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-3728314-1338676160/watcher-3728314-1338676160 -o /tmp/evaluation-result-3728314-1338676160/solver-3728314-1338676160 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=wbo HOME/instance-3728314-1338676160.wbo
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.04 3.21 3.63 2/173 29705
/proc/meminfo: memFree=27847488/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=83984 CPUtime=0 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 958 0 0 0 0 0 0 0 20 0 2 0 333741925 85999616 901 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 20996 908 182 433 0 20560 0
[pid=29705/tid=29709] ppid=29703 vsize=83984 CPUtime=0 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 180 0 0 0 0 0 0 0 20 0 2 0 333741926 85999616 913 33554432000 4194304 5964350 140735375124256 140735716023160 4395119 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.0267191 s]
/proc/loadavg: 2.04 3.21 3.63 2/173 29705
/proc/meminfo: memFree=27847488/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=83984 CPUtime=0.02 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 1110 0 0 0 2 0 0 0 20 0 2 0 333741925 85999616 1053 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 20996 1053 190 433 0 20560 0
[pid=29705/tid=29709] ppid=29703 vsize=83984 CPUtime=0.01 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 320 0 0 0 1 0 0 0 20 0 2 0 333741926 85999616 1053 33554432000 4194304 5964350 140735375124256 140735716023160 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 83984
[startup+0.100292 s]
/proc/loadavg: 2.04 3.21 3.63 2/173 29705
/proc/meminfo: memFree=27847488/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=83984 CPUtime=0.09 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 1330 0 0 0 9 0 0 0 20 0 2 0 333741925 85999616 1273 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 20996 1273 190 433 0 20560 0
[pid=29705/tid=29709] ppid=29703 vsize=83984 CPUtime=0.08 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 540 0 0 0 8 0 0 0 20 0 2 0 333741926 85999616 1273 33554432000 4194304 5964350 140735375124256 140735716023160 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83984
[startup+0.300208 s]
/proc/loadavg: 2.04 3.21 3.63 2/173 29705
/proc/meminfo: memFree=27847488/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=83984 CPUtime=0.29 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 1861 0 0 0 29 0 0 0 20 0 2 0 333741925 85999616 1804 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 20996 1804 190 433 0 20560 0
[pid=29705/tid=29709] ppid=29703 vsize=83984 CPUtime=0.28 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 1071 0 0 0 28 0 0 0 20 0 2 0 333741926 85999616 1804 33554432000 4194304 5964350 140735375124256 140735716023160 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83984
[startup+0.700129 s]
/proc/loadavg: 2.04 3.21 3.63 2/173 29705
/proc/meminfo: memFree=27847488/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=83984 CPUtime=0.69 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 2839 0 0 0 68 1 0 0 20 0 2 0 333741925 85999616 2782 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 20996 2782 190 433 0 20560 0
[pid=29705/tid=29709] ppid=29703 vsize=83984 CPUtime=0.68 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 2049 0 0 0 68 0 0 0 20 0 2 0 333741926 85999616 2782 33554432000 4194304 5964350 140735375124256 140278731728888 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83984
[startup+1.50013 s]
/proc/loadavg: 2.04 3.21 3.63 3/179 29739
/proc/meminfo: memFree=27826692/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=83984 CPUtime=1.49 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 4256 0 0 0 148 1 0 0 20 0 2 0 333741925 85999616 4199 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 20996 4199 190 433 0 20560 0
[pid=29705/tid=29709] ppid=29703 vsize=83984 CPUtime=1.48 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 3466 0 0 0 147 1 0 0 20 0 2 0 333741926 85999616 4199 33554432000 4194304 5964350 140735375124256 140278731728888 4400355 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83984
[startup+3.10016 s]
/proc/loadavg: 2.04 3.21 3.63 3/179 29739
/proc/meminfo: memFree=27815284/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=83984 CPUtime=3.09 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 6899 0 0 0 307 2 0 0 20 0 2 0 333741925 85999616 6842 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 20996 6842 190 433 0 20560 0
[pid=29705/tid=29709] ppid=29703 vsize=83984 CPUtime=3.08 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 6109 0 0 0 305 3 0 0 20 0 2 0 333741926 85999616 6842 33554432000 4194304 5964350 140735375124256 140278731728888 4400352 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83984
[startup+6.30015 s]
/proc/loadavg: 2.03 3.19 3.62 3/179 29739
/proc/meminfo: memFree=27796384/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=84128 CPUtime=6.29 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 8029 0 0 0 626 3 0 0 20 0 2 0 333741925 86147072 7972 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 21032 7972 190 433 0 20596 0
[pid=29705/tid=29709] ppid=29703 vsize=84128 CPUtime=6.28 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 7239 0 0 0 625 3 0 0 20 0 2 0 333741926 86147072 7972 33554432000 4194304 5964350 140735375124256 140278731728888 4399998 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84128
[startup+12.7003 s]
/proc/loadavg: 2.03 3.17 3.62 3/179 29739
/proc/meminfo: memFree=27777240/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=84200 CPUtime=12.69 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 10547 0 0 0 1265 4 0 0 20 0 2 0 333741925 86220800 10486 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 21050 10486 190 433 0 20614 0
[pid=29705/tid=29709] ppid=29703 vsize=84200 CPUtime=12.67 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 9757 0 0 0 1263 4 0 0 20 0 2 0 333741926 86220800 10486 33554432000 4194304 5964350 140735375124256 140278731728696 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84200
[startup+25.5003 s]
/proc/loadavg: 2.09 3.13 3.60 3/179 29739
/proc/meminfo: memFree=27753648/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=84200 CPUtime=25.48 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 16589 0 0 0 2543 5 0 0 20 0 2 0 333741925 86220800 16526 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 21050 16526 190 433 0 20614 0
[pid=29705/tid=29709] ppid=29703 vsize=84200 CPUtime=25.47 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 15799 0 0 0 2542 5 0 0 20 0 2 0 333741926 86220800 16526 33554432000 4194304 5964350 140735375124256 140278731728696 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84200
[startup+51.1003 s]
/proc/loadavg: 2.06 3.04 3.55 3/180 29742
/proc/meminfo: memFree=27691300/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=150132 CPUtime=51.06 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 26574 0 0 0 5099 7 0 0 20 0 2 0 333741925 153735168 27461 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 37533 27461 190 433 0 37097 0
[pid=29705/tid=29709] ppid=29703 vsize=150132 CPUtime=51.06 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 25784 0 0 0 5098 8 0 0 20 0 2 0 333741926 153735168 27461 33554432000 4194304 5964350 140735375124256 140278731728888 4399976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 150132
[startup+102.306 s]
/proc/loadavg: 2.02 2.88 3.47 3/179 29743
/proc/meminfo: memFree=27580816/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=216692 CPUtime=102.25 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 41337 0 0 0 10213 12 0 0 20 0 2 0 333741925 221892608 42224 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 54173 42224 190 433 0 53737 0
[pid=29705/tid=29709] ppid=29703 vsize=216692 CPUtime=102.27 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 40547 0 0 0 10213 14 0 0 20 0 2 0 333741926 221892608 42224 33554432000 4194304 5964350 140735375124256 140278731728936 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 216692
[startup+162.3 s]
/proc/loadavg: 2.01 2.72 3.37 3/179 29743
/proc/meminfo: memFree=27518240/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=217736 CPUtime=162.21 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 48633 0 0 0 16207 14 0 0 20 0 2 0 333741925 222961664 49492 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 54434 49492 190 433 0 53998 0
[pid=29705/tid=29709] ppid=29703 vsize=217736 CPUtime=162.24 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 47843 0 0 0 16207 17 0 0 20 0 2 0 333741926 222961664 49492 33554432000 4194304 5964350 140735375124256 140278731728936 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 217736
[startup+222.3 s]
/proc/loadavg: 2.00 2.58 3.28 3/179 29743
/proc/meminfo: memFree=27454456/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=283728 CPUtime=222.18 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 59653 0 0 0 22199 19 0 0 20 0 2 0 333741925 290537472 60494 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 70932 60494 190 433 0 70496 0
[pid=29705/tid=29709] ppid=29703 vsize=283728 CPUtime=222.22 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 58863 0 0 0 22199 23 0 0 20 0 2 0 333741926 290537472 60494 33554432000 4194304 5964350 140735375124256 140278731728888 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 283728
[startup+282.3 s]
/proc/loadavg: 2.00 2.47 3.20 3/179 29743
/proc/meminfo: memFree=27441276/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=283728 CPUtime=282.18 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 59959 0 0 0 28198 20 0 0 20 0 2 0 333741925 290537472 60800 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 70932 60800 190 433 0 70496 0
[pid=29705/tid=29709] ppid=29703 vsize=283728 CPUtime=282.22 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 59169 0 0 0 28198 24 0 0 20 0 2 0 333741926 290537472 60800 33554432000 4194304 5964350 140735375124256 140278731728888 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 283728
[startup+342.3 s]
/proc/loadavg: 2.00 2.38 3.12 3/179 29743
/proc/meminfo: memFree=27366468/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=350108 CPUtime=342.16 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 72350 0 0 0 34192 24 0 0 20 0 2 0 333741925 358510592 73191 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 87527 73191 190 433 0 87091 0
[pid=29705/tid=29709] ppid=29703 vsize=350108 CPUtime=342.23 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 71560 0 0 0 34193 30 0 0 20 0 2 0 333741926 358510592 73191 33554432000 4194304 5964350 140735375124256 140278731728888 4400321 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 350108
[startup+402.3 s]
/proc/loadavg: 2.00 2.31 3.05 3/179 29744
/proc/meminfo: memFree=27311664/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=350288 CPUtime=402.13 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 72434 0 0 0 40189 24 0 0 20 0 2 0 333741925 358694912 73266 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
################
# More data... #
################
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 126429 0 0 0 130146 75 0 0 20 0 2 0 333741926 563978240 127926 33554432000 4194304 5964350 140735375124256 140278731728696 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 550760
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.35 3/179 29754
/proc/meminfo: memFree=26741564/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=551084 CPUtime=1361.93 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 127291 0 0 0 136138 55 0 0 20 0 2 0 333741925 564310016 127986 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 137771 127986 190 433 0 137335 0
[pid=29705/tid=29709] ppid=29703 vsize=551084 CPUtime=1362.2 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 126501 0 0 0 136144 76 0 0 20 0 2 0 333741926 564310016 127986 33554432000 4194304 5964350 140735375124256 140278731728696 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 551084
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.32 3/179 29754
/proc/meminfo: memFree=26652612/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=551408 CPUtime=1421.91 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 127375 0 0 0 142136 55 0 0 20 0 2 0 333741925 564641792 128049 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 137852 128049 190 433 0 137416 0
[pid=29705/tid=29709] ppid=29703 vsize=551408 CPUtime=1422.19 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 126585 0 0 0 142142 77 0 0 20 0 2 0 333741926 564641792 128049 33554432000 4194304 5964350 140735375124256 140278731728696 4400035 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 551408
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.30 3/179 29754
/proc/meminfo: memFree=26652364/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=551732 CPUtime=1481.9 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 127440 0 0 0 148135 55 0 0 20 0 2 0 333741925 564973568 128114 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 137933 128114 190 433 0 137497 0
[pid=29705/tid=29709] ppid=29703 vsize=551732 CPUtime=1482.19 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 126650 0 0 0 148141 78 0 0 20 0 2 0 333741926 564973568 128114 33554432000 4194304 5964350 140735375124256 140278731728696 4400035 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 551732
[startup+1542.3 s]
/proc/loadavg: 2.13 2.03 2.29 3/179 29754
/proc/meminfo: memFree=26652240/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=551804 CPUtime=1541.89 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 127451 0 0 0 154134 55 0 0 20 0 2 0 333741925 565047296 128125 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 137951 128125 190 433 0 137515 0
[pid=29705/tid=29709] ppid=29703 vsize=551804 CPUtime=1542.19 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 126661 0 0 0 154140 79 0 0 20 0 2 0 333741926 565047296 128125 33554432000 4194304 5964350 140735375124256 140278731728936 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 551804
[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 2.27 3/179 29755
/proc/meminfo: memFree=26652116/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=552020 CPUtime=1601.88 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 127492 0 0 0 160133 55 0 0 20 0 2 0 333741925 565268480 128166 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 138005 128166 190 433 0 137569 0
[pid=29705/tid=29709] ppid=29703 vsize=552020 CPUtime=1602.19 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 126702 0 0 0 160139 80 0 0 20 0 2 0 333741926 565268480 128166 33554432000 4194304 5964350 140735375124256 140278731728696 4400017 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 552020
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.25 3/179 29755
/proc/meminfo: memFree=26630044/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=552180 CPUtime=1661.87 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 133218 0 0 0 166130 57 0 0 20 0 2 0 333741925 565432320 133892 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 138045 133892 190 433 0 137609 0
[pid=29705/tid=29709] ppid=29703 vsize=552180 CPUtime=1662.19 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 132428 0 0 0 166136 83 0 0 20 0 2 0 333741926 565432320 133892 33554432000 4194304 5964350 140735375124256 140278731728888 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 552180
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.23 3/179 29755
/proc/meminfo: memFree=26545096/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=683828 CPUtime=1721.86 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 153423 0 0 0 172117 69 0 0 20 0 2 0 333741925 700239872 154097 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 170957 154097 190 433 0 170521 0
[pid=29705/tid=29709] ppid=29703 vsize=683828 CPUtime=1722.2 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 152633 0 0 0 172124 96 0 0 20 0 2 0 333741926 700239872 154097 33554432000 4194304 5964350 140735375124256 140278731728888 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 683828
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.22 3/179 29755
/proc/meminfo: memFree=26517244/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=683900 CPUtime=1781.86 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 159889 0 0 0 178112 74 0 0 20 0 2 0 333741925 700313600 160563 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 170975 160563 190 433 0 170539 0
[pid=29705/tid=29709] ppid=29703 vsize=683900 CPUtime=1782.2 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 159099 0 0 0 178118 102 0 0 20 0 2 0 333741926 700313600 160563 33554432000 4194304 5964350 140735375124256 140278731728888 4399998 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 683900
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.03 2.02 2.22 3/179 29755
/proc/meminfo: memFree=26517104/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=683900 CPUtime=1791.46 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 159889 0 0 0 179072 74 0 0 20 0 2 0 333741925 700313600 160563 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 170975 160563 190 433 0 170539 0
[pid=29705/tid=29709] ppid=29703 vsize=683900 CPUtime=1791.8 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 159099 0 0 0 179078 102 0 0 20 0 2 0 333741926 700313600 160563 33554432000 4194304 5964350 140735375124256 140278731728888 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 683900
[startup+1795.1 s]
/proc/loadavg: 2.03 2.02 2.21 3/179 29755
/proc/meminfo: memFree=26517104/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=683900 CPUtime=1794.66 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 159889 0 0 0 179392 74 0 0 20 0 2 0 333741925 700313600 160563 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 170975 160563 190 433 0 170539 0
[pid=29705/tid=29709] ppid=29703 vsize=683900 CPUtime=1795 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 159099 0 0 0 179398 102 0 0 20 0 2 0 333741926 700313600 160563 33554432000 4194304 5964350 140735375124256 140278731728888 4400017 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 683900
[startup+1798.3 s]
/proc/loadavg: 2.03 2.02 2.21 3/179 29755
/proc/meminfo: memFree=26517228/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=683900 CPUtime=1797.85 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 159889 0 0 0 179711 74 0 0 20 0 2 0 333741925 700313600 160563 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 170975 160563 190 433 0 170539 0
[pid=29705/tid=29709] ppid=29703 vsize=683900 CPUtime=1798.2 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 159099 0 0 0 179718 102 0 0 20 0 2 0 333741926 700313600 160563 33554432000 4194304 5964350 140735375124256 140278731728888 4400009 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 683900
[startup+1799.1 s]
/proc/loadavg: 2.03 2.02 2.21 3/179 29755
/proc/meminfo: memFree=26517228/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=683900 CPUtime=1798.65 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 159889 0 0 0 179791 74 0 0 20 0 2 0 333741925 700313600 160563 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 170975 160563 190 433 0 170539 0
[pid=29705/tid=29709] ppid=29703 vsize=683900 CPUtime=1799 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 159099 0 0 0 179798 102 0 0 20 0 2 0 333741926 700313600 160563 33554432000 4194304 5964350 140735375124256 140278731728888 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (KiB) 683900
[startup+1799.5 s]
/proc/loadavg: 2.03 2.02 2.21 3/179 29755
/proc/meminfo: memFree=26517228/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=683900 CPUtime=1799.06 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 159889 0 0 0 179832 74 0 0 20 0 2 0 333741925 700313600 160563 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 170975 160563 190 433 0 170539 0
[pid=29705/tid=29709] ppid=29703 vsize=683900 CPUtime=1799.4 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 159099 0 0 0 179838 102 0 0 20 0 2 0 333741926 700313600 160563 33554432000 4194304 5964350 140735375124256 140278731728888 4400017 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 683900
[startup+1799.9 s]
/proc/loadavg: 2.03 2.02 2.21 3/179 29755
/proc/meminfo: memFree=26517228/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=683900 CPUtime=1799.45 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 159889 0 0 0 179871 74 0 0 20 0 2 0 333741925 700313600 160563 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 170975 160563 190 433 0 170539 0
[pid=29705/tid=29709] ppid=29703 vsize=683900 CPUtime=1799.8 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 159099 0 0 0 179878 102 0 0 20 0 2 0 333741926 700313600 160563 33554432000 4194304 5964350 140735375124256 140278731728888 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (KiB) 683900
[startup+1800 s]
/proc/loadavg: 2.03 2.02 2.21 3/179 29755
/proc/meminfo: memFree=26517228/32873648 swapFree=7112/7112
[pid=29705] ppid=29703 vsize=683900 CPUtime=1799.55 cores=0,2,4,6
/proc/29705/stat : 29705 (wbo1.72) S 29703 29705 28397 0 -1 4202496 159889 0 0 0 179881 74 0 0 20 0 2 0 333741925 700313600 160563 33554432000 4194304 5964350 140735375124256 140735375123776 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29705/statm: 170975 160563 190 433 0 170539 0
[pid=29705/tid=29709] ppid=29703 vsize=683900 CPUtime=1799.9 cores=0,2,4,6
/proc/29705/task/29709/stat : 29709 (wbo1.72) R 29703 29705 28397 0 -1 4202560 159099 0 0 0 179888 102 0 0 20 0 2 0 333741926 700313600 160563 33554432000 4194304 5964350 140735375124256 140278731728888 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (KiB) 683900
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.93
CPU user time (s): 1798.89
CPU system time (s): 1.04384
CPU usage (%): 99.9955
Max. virtual memory (cumulated for all children) (KiB): 683900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.89
system time used= 1.04384
maximum resident set size= 642264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159892
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= 220
involuntary context switches= 1844
runsolver used 2.66059 second user time and 7.2319 second system time
The end