runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3720791-1338513673/watcher-3720791-1338513673 -o /tmp/evaluation-result-3720791-1338513673/solver-3720791-1338513673 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720791-1338513673.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 22560
/proc/meminfo: memFree=27970944/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=3104 CPUtime=0 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 317491652 3178496 263 33554432000 134512640 134579096 4290703392 4290570740 2331407 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22560/statm: 776 263 221 17 0 82 0
[startup+0.104629 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 22560
/proc/meminfo: memFree=27970944/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=5744 CPUtime=0.09 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 972 0 0 0 9 0 0 0 20 0 1 0 317491652 5881856 909 33554432000 134512640 134579096 4290703392 4290702352 134532440 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22560/statm: 1436 909 227 17 0 742 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5744
[startup+0.200217 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 22560
/proc/meminfo: memFree=27970944/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=6948 CPUtime=0.19 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 1271 0 0 0 19 0 0 0 20 0 1 0 317491652 7114752 1208 33554432000 134512640 134579096 4290703392 4290702212 134556204 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22560/statm: 1737 1208 229 17 0 1043 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6948
[startup+0.300209 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 22560
/proc/meminfo: memFree=27970944/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=6948 CPUtime=0.29 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 1272 0 0 0 29 0 0 0 20 0 1 0 317491652 7114752 1209 33554432000 134512640 134579096 4290703392 4290702212 134556221 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22560/statm: 1737 1209 229 17 0 1043 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6948
[startup+0.700179 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 22560
/proc/meminfo: memFree=27970944/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=7496 CPUtime=0.69 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 1388 0 0 0 69 0 0 0 20 0 1 0 317491652 7675904 1325 33554432000 134512640 134579096 4290703392 4290702048 134522733 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22560/statm: 1874 1325 229 17 0 1180 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7496
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 22561
/proc/meminfo: memFree=27966604/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=8276 CPUtime=1.49 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 1599 0 0 0 149 0 0 0 20 0 1 0 317491652 8474624 1536 33554432000 134512640 134579096 4290703392 4290702320 134559346 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22560/statm: 2069 1536 229 17 0 1375 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8276
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 22561
/proc/meminfo: memFree=27964480/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=10384 CPUtime=3.09 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 2127 0 0 0 309 0 0 0 20 0 1 0 317491652 10633216 2072 33554432000 134512640 134579096 4290703392 4290702224 134517919 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22560/statm: 2596 2072 229 17 0 1902 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10384
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 22561
/proc/meminfo: memFree=27960136/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=14352 CPUtime=6.29 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 3131 0 0 0 629 0 0 0 20 0 1 0 317491652 14696448 3076 33554432000 134512640 134579096 4290703392 4290702224 134517908 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 3588 3076 229 17 0 2894 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14352
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 22561
/proc/meminfo: memFree=27955820/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=17028 CPUtime=12.68 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 3832 0 0 0 1268 0 0 0 20 0 1 0 317491652 17436672 3746 33554432000 134512640 134579096 4290703392 4290702292 134527547 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 4257 3746 229 17 0 3563 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17028
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 22561
/proc/meminfo: memFree=27946032/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=27056 CPUtime=25.48 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 6498 0 0 0 2547 1 0 0 20 0 1 0 317491652 27705344 6247 33554432000 134512640 134579096 4290703392 4290702212 134556290 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 6764 6247 229 17 0 6070 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27056
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 22561
/proc/meminfo: memFree=27933260/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=40160 CPUtime=51.08 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 10012 0 0 0 5106 2 0 0 20 0 1 0 317491652 41123840 9505 33554432000 134512640 134579096 4290703392 4290702224 134517867 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 10040 9505 229 17 0 9346 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 40160
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 22562
/proc/meminfo: memFree=27928424/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=44608 CPUtime=102.27 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 11712 0 0 0 10225 2 0 0 20 0 1 0 317491652 45678592 10620 33554432000 134512640 134579096 4290703392 4290702224 134517872 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 11152 10620 229 17 0 10458 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 44608
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 22562
/proc/meminfo: memFree=27898312/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=51352 CPUtime=162.24 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 13524 0 0 0 16222 2 0 0 20 0 1 0 317491652 52584448 12327 33554432000 134512640 134579096 4290703392 4290702256 134520196 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 12838 12327 229 17 0 12144 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 51352
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 22562
/proc/meminfo: memFree=27831972/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=73728 CPUtime=222.25 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 19206 0 0 0 22222 3 0 0 20 0 1 0 317491652 75497472 17910 33554432000 134512640 134579096 4290703392 4290702212 134556411 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 18432 17910 229 17 0 17738 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 73728
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 22562
/proc/meminfo: memFree=27824236/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=80504 CPUtime=282.23 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 20962 0 0 0 28220 3 0 0 20 0 1 0 317491652 82436096 19609 33554432000 134512640 134579096 4290703392 4290702224 134517933 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 20126 19609 229 17 0 19432 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 80504
[startup+342.3 s]
/proc/loadavg: 2.06 2.02 1.98 3/178 22562
/proc/meminfo: memFree=27824320/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=80504 CPUtime=342.21 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 20972 0 0 0 34218 3 0 0 20 0 1 0 317491652 82436096 19609 33554432000 134512640 134579096 4290703392 4290702048 134522706 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 20126 19609 229 17 0 19432 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 80504
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 22563
/proc/meminfo: memFree=27812912/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=80504 CPUtime=402.2 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 20972 0 0 0 40217 3 0 0 20 0 1 0 317491652 82436096 19609 33554432000 134512640 134579096 4290703392 4290702048 134522706 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 20126 19609 229 17 0 19432 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 80504
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/178 22563
/proc/meminfo: memFree=27758228/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=79860 CPUtime=462.19 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 20972 0 0 0 46216 3 0 0 20 0 1 0 317491652 81776640 19454 33554432000 134512640 134579096 4290703392 4290702048 134522754 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 19965 19454 229 17 0 19271 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 79860
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 22563
/proc/meminfo: memFree=27705532/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=79852 CPUtime=522.19 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 20972 0 0 0 52216 3 0 0 20 0 1 0 317491652 81768448 19452 33554432000 134512640 134579096 4290703392 4290702208 134519100 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 19963 19452 229 17 0 19269 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 79852
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 22566
/proc/meminfo: memFree=27655456/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=79852 CPUtime=582.18 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 20972 0 0 0 58215 3 0 0 20 0 1 0 317491652 81768448 19452 33554432000 134512640 134579096 4290703392 4290702208 134519064 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 19963 19452 229 17 0 19269 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 79852
[startup+642.3 s]
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 22567
/proc/meminfo: memFree=27482832/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=112572 CPUtime=882.14 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 29656 0 0 0 88209 5 0 0 20 0 1 0 317491652 115273728 27631 33554432000 134512640 134579096 4290703392 4290702224 134517896 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 28143 27631 229 17 0 27449 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 112572
[startup+942.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/178 22567
/proc/meminfo: memFree=27482828/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=112572 CPUtime=942.12 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 29657 0 0 0 94207 5 0 0 20 0 1 0 317491652 115273728 27632 33554432000 134512640 134579096 4290703392 4290702208 134519100 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 28143 27632 229 17 0 27449 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 112572
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 22568
/proc/meminfo: memFree=27481092/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=112572 CPUtime=1002.11 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 29657 0 0 0 100206 5 0 0 20 0 1 0 317491652 115273728 27632 33554432000 134512640 134579096 4290703392 4290702224 134517903 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 28143 27632 229 17 0 27449 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 112572
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 22568
/proc/meminfo: memFree=27480816/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=112572 CPUtime=1062.1 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 29658 0 0 0 106205 5 0 0 20 0 1 0 317491652 115273728 27632 33554432000 134512640 134579096 4290703392 4290702272 134557359 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 28143 27632 229 17 0 27449 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 112572
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 22568
/proc/meminfo: memFree=27480196/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=112572 CPUtime=1122.09 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 29658 0 0 0 112204 5 0 0 20 0 1 0 317491652 115273728 27632 33554432000 134512640 134579096 4290703392 4290702048 134522754 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 28143 27632 229 17 0 27449 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 112572
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 22571
/proc/meminfo: memFree=27479320/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=112572 CPUtime=1182.08 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 29658 0 0 0 118203 5 0 0 20 0 1 0 317491652 115273728 27632 33554432000 134512640 134579096 4290703392 4290702208 134519095 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 28143 27632 229 17 0 27449 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 112572
[startup+1242.3 s]
/proc/loadavg: 2.17 2.06 2.00 3/178 22773
/proc/meminfo: memFree=27460728/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=112572 CPUtime=1242.07 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 29658 0 0 0 124202 5 0 0 20 0 1 0 317491652 115273728 27632 33554432000 134512640 134579096 4290703392 4290702048 134522742 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 28143 27632 229 17 0 27449 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 112572
[startup+1302.3 s]
/proc/loadavg: 2.11 2.06 2.00 3/177 22774
/proc/meminfo: memFree=27460364/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=112572 CPUtime=1302.07 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 29658 0 0 0 130202 5 0 0 20 0 1 0 317491652 115273728 27632 33554432000 134512640 134579096 4290703392 4290702192 134528544 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 28143 27632 229 17 0 27449 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 112572
[startup+1362.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 22823
/proc/meminfo: memFree=28021656/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=112572 CPUtime=1362.05 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 29658 0 0 0 136200 5 0 0 20 0 1 0 317491652 115273728 27632 33554432000 134512640 134579096 4290703392 4290702224 134517933 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 28143 27632 229 17 0 27449 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 112572
[startup+1422.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/177 22823
/proc/meminfo: memFree=27991804/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=112572 CPUtime=1422.05 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 29658 0 0 0 142200 5 0 0 20 0 1 0 317491652 115273728 27632 33554432000 134512640 134579096 4290703392 4290702240 134528360 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 28143 27632 229 17 0 27449 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 112572
[startup+1482.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 22823
/proc/meminfo: memFree=27957836/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=112572 CPUtime=1482.04 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 29658 0 0 0 148199 5 0 0 20 0 1 0 317491652 115273728 27632 33554432000 134512640 134579096 4290703392 4290702212 134556388 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 28143 27632 229 17 0 27449 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 112572
[startup+1542.31 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 22823
/proc/meminfo: memFree=27936016/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=123704 CPUtime=1542.04 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 32419 0 0 0 154198 6 0 0 20 0 1 0 317491652 126672896 30393 33554432000 134512640 134579096 4290703392 4290702212 134556218 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 30926 30393 229 17 0 30232 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 123704
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 22824
/proc/meminfo: memFree=27925328/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=133112 CPUtime=1602.02 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 34802 0 0 0 160196 6 0 0 20 0 1 0 317491652 136306688 32747 33554432000 134512640 134579096 4290703392 4290702208 134519093 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 33278 32747 229 17 0 32584 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 133112
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 22824
/proc/meminfo: memFree=27925328/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=133112 CPUtime=1662.01 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 34802 0 0 0 166195 6 0 0 20 0 1 0 317491652 136306688 32747 33554432000 134512640 134579096 4290703392 4290702048 134524544 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 33278 32747 229 17 0 32584 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 133112
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 22824
/proc/meminfo: memFree=27913724/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=133112 CPUtime=1722 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 34803 0 0 0 172194 6 0 0 20 0 1 0 317491652 136306688 32747 33554432000 134512640 134579096 4290703392 4290701728 134532840 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 33278 32747 229 17 0 32584 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 133112
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 22827
/proc/meminfo: memFree=27879724/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=146284 CPUtime=1782 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 38313 0 0 0 178193 7 0 0 20 0 1 0 317491652 149794816 36048 33554432000 134512640 134579096 4290703392 4290702048 134522726 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 36571 36048 229 17 0 35877 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 146284
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22827
/proc/meminfo: memFree=27869936/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=146284 CPUtime=1800.1 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 38313 0 0 0 180003 7 0 0 20 0 1 0 317491652 149794816 36048 33554432000 134512640 134579096 4290703392 4290702048 134522754 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 36571 36048 229 17 0 35877 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 146284
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22827
/proc/meminfo: memFree=27869936/32873844 swapFree=7628/7628
[pid=22560] ppid=22558 vsize=146284 CPUtime=1800.1 cores=0,2,4,6
/proc/22560/stat : 22560 (Pueblo) R 22558 22560 21713 0 -1 4202496 38313 0 0 0 180003 7 0 0 20 0 1 0 317491652 149794816 36048 33554432000 134512640 134579096 4290703392 4290702048 134522754 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22560/statm: 36571 36048 229 17 0 35877 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 146284
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1800.03
CPU system time (s): 0.073988
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 146284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.073988
maximum resident set size= 144192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38313
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36
involuntary context switches= 1948
runsolver used 3.3005 second user time and 8.41372 second system time
The end