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-3727334-1338656923/watcher-3727334-1338656923 -o /tmp/evaluation-result-3727334-1338656923/solver-3727334-1338656923 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727334-1338656923.opb
running on 4 cores: 1,3,5,7
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.94 3/177 21757
/proc/meminfo: memFree=26603012/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=3208 CPUtime=0 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) R 21755 21757 19663 0 -1 4202496 307 0 0 0 0 0 0 0 20 0 1 0 331819652 3284992 259 33554432000 4194304 5964350 140734012716528 140736194940648 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 802 259 167 433 0 349 0
[startup+0.0307331 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 21757
/proc/meminfo: memFree=26603012/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=83816 CPUtime=0.02 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 983 0 0 0 2 0 0 0 20 0 2 0 331819652 85827584 918 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 20954 918 187 433 0 20518 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 83816
[startup+0.100151 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 21757
/proc/meminfo: memFree=26603012/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=83816 CPUtime=0.09 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 1108 0 0 0 9 0 0 0 20 0 2 0 331819652 85827584 1043 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 20954 1043 187 433 0 20518 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83816
[startup+0.300113 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 21757
/proc/meminfo: memFree=26603012/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=83816 CPUtime=0.29 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 1388 0 0 0 29 0 0 0 20 0 2 0 331819652 85827584 1323 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 20954 1323 192 433 0 20518 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83816
[startup+0.700111 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 21757
/proc/meminfo: memFree=26603012/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=83816 CPUtime=0.69 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 1685 0 0 0 69 0 0 0 20 0 2 0 331819652 85827584 1620 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 20954 1620 192 433 0 20518 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83816
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21759
/proc/meminfo: memFree=26595688/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=83816 CPUtime=1.49 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 2148 0 0 0 149 0 0 0 20 0 2 0 331819652 85827584 2083 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 20954 2083 192 433 0 20518 0
[pid=21757/tid=21759] ppid=21755 vsize=83816 CPUtime=1.47 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 1373 0 0 0 147 0 0 0 20 0 2 0 331819653 85827584 2083 33554432000 4194304 5964350 140734012716528 140674419921216 4588928 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83816
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21759
/proc/meminfo: memFree=26593828/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=83960 CPUtime=3.08 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 2880 0 0 0 308 0 0 0 20 0 2 0 331819652 85975040 2815 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 20990 2815 192 433 0 20554 0
[pid=21757/tid=21759] ppid=21755 vsize=83960 CPUtime=3.07 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 2105 0 0 0 307 0 0 0 20 0 2 0 331819653 85975040 2815 33554432000 4194304 5964350 140734012716528 140674419931672 4388246 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 83960
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21798
/proc/meminfo: memFree=27222096/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=84032 CPUtime=6.28 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 5285 0 0 0 627 1 0 0 20 0 2 0 331819652 86048768 5220 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 21008 5220 192 433 0 20572 0
[pid=21757/tid=21759] ppid=21755 vsize=84032 CPUtime=6.27 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 4510 0 0 0 626 1 0 0 20 0 2 0 331819653 86048768 5220 33554432000 4194304 5964350 140734012716528 140674419931128 5139038 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84032
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 21798
/proc/meminfo: memFree=27197440/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=84444 CPUtime=12.68 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 10071 0 0 0 1266 2 0 0 20 0 2 0 331819652 86470656 10006 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 21111 10006 192 433 0 20675 0
[pid=21757/tid=21759] ppid=21755 vsize=84444 CPUtime=12.67 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 9296 0 0 0 1264 3 0 0 20 0 2 0 331819653 86470656 10006 33554432000 4194304 5964350 140734012716528 140674419930936 4400007 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84444
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21799
/proc/meminfo: memFree=27167952/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=84876 CPUtime=25.48 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 12842 0 0 0 2544 4 0 0 20 0 2 0 331819652 86913024 12771 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 21219 12771 192 433 0 20783 0
[pid=21757/tid=21759] ppid=21755 vsize=84876 CPUtime=25.47 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 12067 0 0 0 2542 5 0 0 20 0 2 0 331819653 86913024 12771 33554432000 4194304 5964350 140734012716528 140674419930936 4391317 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84876
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 21799
/proc/meminfo: memFree=27150116/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=83816 CPUtime=51.05 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 16055 0 0 0 5100 5 0 0 20 0 2 0 331819652 85827584 15643 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 20954 15643 192 433 0 20518 0
[pid=21757/tid=21759] ppid=21755 vsize=83816 CPUtime=51.05 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 15280 0 0 0 5099 6 0 0 20 0 2 0 331819653 85827584 15643 33554432000 4194304 5964350 140734012716528 140674419931672 4400011 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 83816
[startup+102.306 s]
/proc/loadavg: 2.04 2.01 1.95 3/180 21802
/proc/meminfo: memFree=27059160/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=149352 CPUtime=102.25 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 31566 0 0 0 10214 11 0 0 20 0 2 0 331819652 152936448 31516 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 37338 31516 192 433 0 36902 0
[pid=21757/tid=21759] ppid=21755 vsize=149352 CPUtime=102.25 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 30791 0 0 0 10212 13 0 0 20 0 2 0 331819653 152936448 31516 33554432000 4194304 5964350 140734012716528 140674419931176 4399996 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 149352
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 21802
/proc/meminfo: memFree=26961680/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=215972 CPUtime=162.2 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 48222 0 0 0 16203 17 0 0 20 0 2 0 331819652 221155328 48556 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 53993 48556 192 433 0 53557 0
[pid=21757/tid=21759] ppid=21755 vsize=215972 CPUtime=162.2 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 47447 0 0 0 16201 19 0 0 20 0 2 0 331819653 221155328 48556 33554432000 4194304 5964350 140734012716528 140674419930936 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 215972
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21802
/proc/meminfo: memFree=26905496/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=281508 CPUtime=222.17 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 57570 0 0 0 22197 20 0 0 20 0 2 0 331819652 288264192 58148 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 70377 58148 192 433 0 69941 0
[pid=21757/tid=21759] ppid=21755 vsize=281508 CPUtime=222.19 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 56795 0 0 0 22195 24 0 0 20 0 2 0 331819653 288264192 58148 33554432000 4194304 5964350 140734012716528 140674419931128 4400011 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 281508
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21802
/proc/meminfo: memFree=26808488/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=347584 CPUtime=282.17 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 75019 0 0 0 28190 27 0 0 20 0 2 0 331819652 355926016 76101 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 86896 76101 192 433 0 86460 0
[pid=21757/tid=21759] ppid=21755 vsize=347584 CPUtime=282.19 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 74244 0 0 0 28187 32 0 0 20 0 2 0 331819653 355926016 76101 33554432000 4194304 5964350 140734012716528 140674419931128 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 347584
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/179 21803
/proc/meminfo: memFree=26801592/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=347584 CPUtime=342.15 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 76065 0 0 0 34188 27 0 0 20 0 2 0 331819652 355926016 77241 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 86896 77241 192 433 0 86460 0
[pid=21757/tid=21759] ppid=21755 vsize=347584 CPUtime=342.19 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 75290 0 0 0 34186 33 0 0 20 0 2 0 331819653 355926016 77241 33554432000 4194304 5964350 140734012716528 140674419930936 4400436 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 347584
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 21803
/proc/meminfo: memFree=26751216/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=413120 CPUtime=402.11 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 88842 0 0 0 40176 35 0 0 20 0 2 0 331819652 423034880 90301 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 103280 90301 192 433 0 102844 0
[pid=21757/tid=21759] ppid=21755 vsize=413120 CPUtime=402.15 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 88067 0 0 0 40174 41 0 0 20 0 2 0 331819653 423034880 90301 33554432000 4194304 5964350 140734012716528 140674419931176 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 413120
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 21803
/proc/meminfo: memFree=26686792/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=478656 CPUtime=462.1 cores=1,3,5,7
################
# More data... #
################
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 186922 0 0 0 130088 121 0 0 20 0 2 0 331819653 826515456 190427 33554432000 4194304 5964350 140734012716528 140674419930936 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 807144
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21813
/proc/meminfo: memFree=26069940/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=804712 CPUtime=1361.83 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 191302 0 0 0 136077 106 0 0 20 0 2 0 331819652 824025088 193821 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 201178 193821 192 433 0 200742 0
[pid=21757/tid=21759] ppid=21755 vsize=804712 CPUtime=1362.07 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 190527 0 0 0 136081 126 0 0 20 0 2 0 331819653 824025088 193821 33554432000 4194304 5964350 140734012716528 140674419932088 4389043 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 804712
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21813
/proc/meminfo: memFree=26069076/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=804712 CPUtime=1421.83 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 191304 0 0 0 142077 106 0 0 20 0 2 0 331819652 824025088 191689 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 201178 191689 192 433 0 200742 0
[pid=21757/tid=21759] ppid=21755 vsize=804712 CPUtime=1422.08 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 190529 0 0 0 142080 128 0 0 20 0 2 0 331819653 824025088 191689 33554432000 4194304 5964350 140734012716528 140674419931976 4403290 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 804712
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21813
/proc/meminfo: memFree=26055808/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=804712 CPUtime=1481.81 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 191371 0 0 0 148075 106 0 0 20 0 2 0 331819652 824025088 191756 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 201178 191756 192 433 0 200742 0
[pid=21757/tid=21759] ppid=21755 vsize=804712 CPUtime=1482.07 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 190596 0 0 0 148078 129 0 0 20 0 2 0 331819653 824025088 191756 33554432000 4194304 5964350 140734012716528 140674419931976 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 804712
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21814
/proc/meminfo: memFree=26017492/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=804712 CPUtime=1541.8 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 191497 0 0 0 154074 106 0 0 20 0 2 0 331819652 824025088 191882 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 201178 191882 192 433 0 200742 0
[pid=21757/tid=21759] ppid=21755 vsize=804712 CPUtime=1542.08 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 190722 0 0 0 154078 130 0 0 20 0 2 0 331819653 824025088 191882 33554432000 4194304 5964350 140734012716528 140674419931976 4400023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 804712
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21814
/proc/meminfo: memFree=26010920/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=804712 CPUtime=1601.79 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 191522 0 0 0 160073 106 0 0 20 0 2 0 331819652 824025088 191907 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 201178 191907 192 433 0 200742 0
[pid=21757/tid=21759] ppid=21755 vsize=804712 CPUtime=1602.08 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 190747 0 0 0 160077 131 0 0 20 0 2 0 331819653 824025088 191907 33554432000 4194304 5964350 140734012716528 140674419931976 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 804712
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21814
/proc/meminfo: memFree=26008284/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=804712 CPUtime=1661.78 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 191564 0 0 0 166072 106 0 0 20 0 2 0 331819652 824025088 191943 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 201178 191943 192 433 0 200742 0
[pid=21757/tid=21759] ppid=21755 vsize=804712 CPUtime=1662.08 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 190789 0 0 0 166076 132 0 0 20 0 2 0 331819653 824025088 191943 33554432000 4194304 5964350 140734012716528 140674419931976 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 804712
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21814
/proc/meminfo: memFree=26002748/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=804712 CPUtime=1721.77 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 191564 0 0 0 172071 106 0 0 20 0 2 0 331819652 824025088 191943 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 201178 191943 192 433 0 200742 0
[pid=21757/tid=21759] ppid=21755 vsize=804712 CPUtime=1722.09 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 190789 0 0 0 172076 133 0 0 20 0 2 0 331819653 824025088 191943 33554432000 4194304 5964350 140734012716528 140674419931976 4399930 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 804712
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21814
/proc/meminfo: memFree=25988868/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=804712 CPUtime=1781.76 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 191566 0 0 0 178070 106 0 0 20 0 2 0 331819652 824025088 191945 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 201178 191945 192 433 0 200742 0
[pid=21757/tid=21759] ppid=21755 vsize=804712 CPUtime=1782.09 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 190791 0 0 0 178075 134 0 0 20 0 2 0 331819653 824025088 191945 33554432000 4194304 5964350 140734012716528 140674419931976 4399889 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 804712
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21814
/proc/meminfo: memFree=25988248/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=804712 CPUtime=1791.37 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 191566 0 0 0 179031 106 0 0 20 0 2 0 331819652 824025088 191945 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 201178 191945 192 433 0 200742 0
[pid=21757/tid=21759] ppid=21755 vsize=804712 CPUtime=1791.7 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 190791 0 0 0 179036 134 0 0 20 0 2 0 331819653 824025088 191945 33554432000 4194304 5964350 140734012716528 140674419931976 4389052 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 804712
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21814
/proc/meminfo: memFree=25988248/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=804712 CPUtime=1794.57 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 191566 0 0 0 179351 106 0 0 20 0 2 0 331819652 824025088 191945 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 201178 191945 192 433 0 200742 0
[pid=21757/tid=21759] ppid=21755 vsize=804712 CPUtime=1794.9 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 190791 0 0 0 179356 134 0 0 20 0 2 0 331819653 824025088 191945 33554432000 4194304 5964350 140734012716528 140674419931976 4388148 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 804712
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21814
/proc/meminfo: memFree=25988000/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=804712 CPUtime=1797.76 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 191566 0 0 0 179670 106 0 0 20 0 2 0 331819652 824025088 191945 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 201178 191945 192 433 0 200742 0
[pid=21757/tid=21759] ppid=21755 vsize=804712 CPUtime=1798.09 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 190791 0 0 0 179675 134 0 0 20 0 2 0 331819653 824025088 191945 33554432000 4194304 5964350 140734012716528 140674419931976 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.76
Current children cumulated vsize (KiB) 804712
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21814
/proc/meminfo: memFree=25987876/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=804712 CPUtime=1798.56 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 191566 0 0 0 179750 106 0 0 20 0 2 0 331819652 824025088 191945 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 201178 191945 192 433 0 200742 0
[pid=21757/tid=21759] ppid=21755 vsize=804712 CPUtime=1798.89 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 190791 0 0 0 179755 134 0 0 20 0 2 0 331819653 824025088 191945 33554432000 4194304 5964350 140734012716528 140674419931976 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.56
Current children cumulated vsize (KiB) 804712
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21814
/proc/meminfo: memFree=25987876/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=804712 CPUtime=1798.97 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 191566 0 0 0 179791 106 0 0 20 0 2 0 331819652 824025088 191945 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 201178 191945 192 433 0 200742 0
[pid=21757/tid=21759] ppid=21755 vsize=804712 CPUtime=1799.3 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 190791 0 0 0 179796 134 0 0 20 0 2 0 331819653 824025088 191945 33554432000 4194304 5964350 140734012716528 140674419931976 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.97
Current children cumulated vsize (KiB) 804712
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21814
/proc/meminfo: memFree=25987876/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=804712 CPUtime=1799.36 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 191566 0 0 0 179830 106 0 0 20 0 2 0 331819652 824025088 191945 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 201178 191945 192 433 0 200742 0
[pid=21757/tid=21759] ppid=21755 vsize=804712 CPUtime=1799.69 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 190791 0 0 0 179835 134 0 0 20 0 2 0 331819653 824025088 191945 33554432000 4194304 5964350 140734012716528 140674419931976 4400355 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.36
Current children cumulated vsize (KiB) 804712
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 21814
/proc/meminfo: memFree=25987876/32873648 swapFree=7120/7120
[pid=21757] ppid=21755 vsize=804712 CPUtime=1799.46 cores=1,3,5,7
/proc/21757/stat : 21757 (wbo1.72) S 21755 21757 19663 0 -1 4202496 191566 0 0 0 179840 106 0 0 20 0 2 0 331819652 824025088 191945 33554432000 4194304 5964350 140734012716528 140734012716048 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21757/statm: 201178 191945 192 433 0 200742 0
[pid=21757/tid=21759] ppid=21755 vsize=804712 CPUtime=1799.79 cores=1,3,5,7
/proc/21757/task/21759/stat : 21759 (wbo1.72) R 21755 21757 19663 0 -1 4202560 190791 0 0 0 179845 134 0 0 20 0 2 0 331819653 824025088 191945 33554432000 4194304 5964350 140734012716528 140674419931976 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 804712
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.83
CPU user time (s): 1798.47
CPU system time (s): 1.35579
CPU usage (%): 99.9899
Max. virtual memory (cumulated for all children) (KiB): 807144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.47
system time used= 1.35579
maximum resident set size= 777404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191568
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= 339
involuntary context switches= 2213
runsolver used 5.98109 second user time and 15.6986 second system time
The end