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-3712863-1338192925/watcher-3712863-1338192925 -o /tmp/evaluation-result-3712863-1338192925/solver-3712863-1338192925 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3712863-1338192925.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.05 2.02 1.93 2/177 22343
/proc/meminfo: memFree=28634864/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=4372 CPUtime=0 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) R 22341 22343 22137 0 -1 4202496 578 0 0 0 0 0 0 0 20 0 1 0 285418455 4476928 530 33554432000 4194304 5964318 140734461899616 140736473507752 4344800 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 1093 530 170 433 0 634 0
[startup+0.100694 s]
/proc/loadavg: 2.05 2.02 1.93 2/177 22343
/proc/meminfo: memFree=28634864/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=85060 CPUtime=0.09 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 2010 0 0 0 9 0 0 0 20 0 2 0 285418455 87101440 1852 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 21265 1852 194 433 0 20829 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85060
[startup+0.200176 s]
/proc/loadavg: 2.05 2.02 1.93 2/177 22343
/proc/meminfo: memFree=28634864/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=85060 CPUtime=0.19 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 2249 0 0 0 19 0 0 0 20 0 2 0 285418455 87101440 2091 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 21265 2091 194 433 0 20829 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 85060
[startup+0.300137 s]
/proc/loadavg: 2.05 2.02 1.93 2/177 22343
/proc/meminfo: memFree=28634864/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=85060 CPUtime=0.29 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 2506 0 0 0 29 0 0 0 20 0 2 0 285418455 87101440 2348 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 21265 2348 194 433 0 20829 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85060
[startup+0.700112 s]
/proc/loadavg: 2.05 2.02 1.93 2/177 22343
/proc/meminfo: memFree=28634864/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=85060 CPUtime=0.69 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 3416 0 0 0 68 1 0 0 20 0 2 0 285418455 87101440 3258 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 21265 3258 194 433 0 20829 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85060
[startup+1.50013 s]
/proc/loadavg: 2.05 2.02 1.93 3/179 22345
/proc/meminfo: memFree=28618820/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=85060 CPUtime=1.49 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 5011 0 0 0 148 1 0 0 20 0 2 0 285418455 87101440 4853 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 21265 4853 194 433 0 20829 0
[pid=22343/tid=22345] ppid=22341 vsize=85060 CPUtime=1.47 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 3897 0 0 0 146 1 0 0 20 0 2 0 285418456 87101440 4853 33554432000 4194304 5964318 140734461899616 139847516035064 5136324 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85060
[startup+3.10015 s]
/proc/loadavg: 2.05 2.02 1.93 3/179 22345
/proc/meminfo: memFree=28610256/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=85060 CPUtime=3.09 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 7241 0 0 0 307 2 0 0 20 0 2 0 285418455 87101440 7083 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 21265 7083 194 433 0 20829 0
[pid=22343/tid=22345] ppid=22341 vsize=85060 CPUtime=3.07 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 6127 0 0 0 305 2 0 0 20 0 2 0 285418456 87101440 7083 33554432000 4194304 5964318 140734461899616 139847516035064 4381925 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85060
[startup+6.30021 s]
/proc/loadavg: 2.05 2.02 1.93 3/179 22345
/proc/meminfo: memFree=28600460/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=85060 CPUtime=6.28 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 8494 0 0 0 626 2 0 0 20 0 2 0 285418455 87101440 8336 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 21265 8336 194 433 0 20829 0
[pid=22343/tid=22345] ppid=22341 vsize=85060 CPUtime=6.28 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 7380 0 0 0 625 3 0 0 20 0 2 0 285418456 87101440 8336 33554432000 4194304 5964318 140734461899616 139847516035064 4390875 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 85060
[startup+12.7002 s]
/proc/loadavg: 2.04 2.02 1.93 3/179 22345
/proc/meminfo: memFree=28584196/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=85276 CPUtime=12.68 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 12665 0 0 0 1265 3 0 0 20 0 2 0 285418455 87322624 12507 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 21319 12507 194 433 0 20883 0
[pid=22343/tid=22345] ppid=22341 vsize=85276 CPUtime=12.68 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 11551 0 0 0 1264 4 0 0 20 0 2 0 285418456 87322624 12507 33554432000 4194304 5964318 140734461899616 139847516035064 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85276
[startup+25.5003 s]
/proc/loadavg: 2.03 2.02 1.93 3/179 22345
/proc/meminfo: memFree=28550776/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=150920 CPUtime=25.49 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 20009 0 0 0 2543 6 0 0 20 0 2 0 285418455 154542080 19851 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 37730 19851 194 433 0 37294 0
[pid=22343/tid=22345] ppid=22341 vsize=150920 CPUtime=25.47 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 18895 0 0 0 2541 6 0 0 20 0 2 0 285418456 154542080 19851 33554432000 4194304 5964318 140734461899616 139847516035064 4399971 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 150920
[startup+51.1003 s]
/proc/loadavg: 2.08 2.03 1.93 3/179 22345
/proc/meminfo: memFree=28526220/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=151080 CPUtime=51.08 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 25277 0 0 0 5101 7 0 0 20 0 2 0 285418455 154705920 25119 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 37770 25119 194 433 0 37334 0
[pid=22343/tid=22345] ppid=22341 vsize=151080 CPUtime=51.07 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 24163 0 0 0 5099 8 0 0 20 0 2 0 285418456 154705920 25119 33554432000 4194304 5964318 140734461899616 139847516034872 4399991 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 151080
[startup+102.3 s]
/proc/loadavg: 2.08 2.04 1.94 3/179 22345
/proc/meminfo: memFree=28459644/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=216856 CPUtime=102.27 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 39732 0 0 0 10214 13 0 0 20 0 2 0 285418455 222060544 39766 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 54214 39766 194 433 0 53778 0
[pid=22343/tid=22345] ppid=22341 vsize=216856 CPUtime=102.25 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 38618 0 0 0 10211 14 0 0 20 0 2 0 285418456 222060544 39766 33554432000 4194304 5964318 140734461899616 139847516035112 4400019 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 216856
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 1.94 3/179 22345
/proc/meminfo: memFree=28399304/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=282392 CPUtime=162.22 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 51584 0 0 0 16203 19 0 0 20 0 2 0 285418455 289169408 51649 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 70598 51649 194 433 0 70162 0
[pid=22343/tid=22345] ppid=22341 vsize=282392 CPUtime=162.21 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 50470 0 0 0 16200 21 0 0 20 0 2 0 285418456 289169408 51649 33554432000 4194304 5964318 140734461899616 139847516035064 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 282392
[startup+222.307 s]
/proc/loadavg: 2.01 2.02 1.94 3/179 22346
/proc/meminfo: memFree=28263640/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=347928 CPUtime=222.2 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 79312 0 0 0 22192 28 0 0 20 0 2 0 285418455 356278272 79864 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 86982 79864 194 433 0 86546 0
[pid=22343/tid=22345] ppid=22341 vsize=347928 CPUtime=222.2 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 78198 0 0 0 22189 31 0 0 20 0 2 0 285418456 356278272 79864 33554432000 4194304 5964318 140734461899616 139847516035064 4399991 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 347928
[startup+282.3 s]
/proc/loadavg: 2.13 2.05 1.95 3/180 22349
/proc/meminfo: memFree=28144360/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=479216 CPUtime=282.18 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 104228 0 0 0 28182 36 0 0 20 0 2 0 285418455 490717184 104780 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 119804 104780 194 433 0 119368 0
[pid=22343/tid=22345] ppid=22341 vsize=479216 CPUtime=282.19 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 103114 0 0 0 28178 41 0 0 20 0 2 0 285418456 490717184 104780 33554432000 4194304 5964318 140734461899616 139847516035064 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 479216
[startup+342.3 s]
/proc/loadavg: 2.09 2.05 1.95 3/179 22349
/proc/meminfo: memFree=28143820/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=479576 CPUtime=342.16 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 104260 0 0 0 34180 36 0 0 20 0 2 0 285418455 491085824 104155 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 119894 104155 194 433 0 119458 0
[pid=22343/tid=22345] ppid=22341 vsize=479576 CPUtime=342.18 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 103146 0 0 0 34176 42 0 0 20 0 2 0 285418456 491085824 104155 33554432000 4194304 5964318 140734461899616 139847516035096 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 479576
[startup+402.3 s]
/proc/loadavg: 2.03 2.04 1.95 3/179 22349
/proc/meminfo: memFree=28140580/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=479576 CPUtime=402.13 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 105315 0 0 0 40176 37 0 0 20 0 2 0 285418455 491085824 105294 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 119894 105294 194 433 0 119458 0
[pid=22343/tid=22345] ppid=22341 vsize=479576 CPUtime=402.15 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 104201 0 0 0 40172 43 0 0 20 0 2 0 285418456 491085824 105294 33554432000 4194304 5964318 140734461899616 139847516035064 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 479576
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/179 22349
/proc/meminfo: memFree=28129100/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=479576 CPUtime=462.12 cores=0,2,4,6
################
# More data... #
################
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 195108 0 0 0 124126 86 0 0 20 0 2 0 285418456 829173760 195812 33554432000 4194304 5964318 140734461899616 139847516035064 4399942 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 809740
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/179 22394
/proc/meminfo: memFree=27517020/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=809740 CPUtime=1301.96 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 196267 0 0 0 130129 67 0 0 20 0 2 0 285418455 829173760 195510 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 202435 195510 194 433 0 201999 0
[pid=22343/tid=22345] ppid=22341 vsize=809740 CPUtime=1302.1 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 195153 0 0 0 130123 87 0 0 20 0 2 0 285418456 829173760 195510 33554432000 4194304 5964318 140734461899616 139847516035096 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 809740
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/179 22394
/proc/meminfo: memFree=27475592/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=809740 CPUtime=1361.95 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 196271 0 0 0 136128 67 0 0 20 0 2 0 285418455 829173760 195510 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 202435 195510 194 433 0 201999 0
[pid=22343/tid=22345] ppid=22341 vsize=809740 CPUtime=1362.1 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 195157 0 0 0 136122 88 0 0 20 0 2 0 285418456 829173760 195510 33554432000 4194304 5964318 140734461899616 139847516035096 4399960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 809740
[startup+1422.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 22395
/proc/meminfo: memFree=27478196/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=809740 CPUtime=1421.94 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 196271 0 0 0 142127 67 0 0 20 0 2 0 285418455 829173760 195510 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 202435 195510 194 433 0 201999 0
[pid=22343/tid=22345] ppid=22341 vsize=809740 CPUtime=1422.11 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 195157 0 0 0 142122 89 0 0 20 0 2 0 285418456 829173760 195510 33554432000 4194304 5964318 140734461899616 139847516035096 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 809740
[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 22398
/proc/meminfo: memFree=27477664/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=809740 CPUtime=1481.93 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 196271 0 0 0 148126 67 0 0 20 0 2 0 285418455 829173760 195510 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 202435 195510 194 433 0 201999 0
[pid=22343/tid=22345] ppid=22341 vsize=809740 CPUtime=1482.1 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 195157 0 0 0 148120 90 0 0 20 0 2 0 285418456 829173760 195510 33554432000 4194304 5964318 140734461899616 139847516035096 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 809740
[startup+1542.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22398
/proc/meminfo: memFree=27478328/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=809740 CPUtime=1541.93 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 196271 0 0 0 154126 67 0 0 20 0 2 0 285418455 829173760 195510 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 202435 195510 194 433 0 201999 0
[pid=22343/tid=22345] ppid=22341 vsize=809740 CPUtime=1542.1 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 195157 0 0 0 154119 91 0 0 20 0 2 0 285418456 829173760 195510 33554432000 4194304 5964318 140734461899616 139847516035096 4381864 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 809740
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 22398
/proc/meminfo: memFree=27472376/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=809740 CPUtime=1601.91 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 197894 0 0 0 160123 68 0 0 20 0 2 0 285418455 829173760 197133 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 202435 197133 194 433 0 201999 0
[pid=22343/tid=22345] ppid=22341 vsize=809740 CPUtime=1602.1 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 196780 0 0 0 160118 92 0 0 20 0 2 0 285418456 829173760 197133 33554432000 4194304 5964318 140734461899616 139847516035064 4400019 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 809740
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22398
/proc/meminfo: memFree=27471872/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=809740 CPUtime=1661.9 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 197894 0 0 0 166122 68 0 0 20 0 2 0 285418455 829173760 197133 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 202435 197133 194 433 0 201999 0
[pid=22343/tid=22345] ppid=22341 vsize=809740 CPUtime=1662.1 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 196780 0 0 0 166117 93 0 0 20 0 2 0 285418456 829173760 197133 33554432000 4194304 5964318 140734461899616 139847516035064 4399995 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 809740
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22399
/proc/meminfo: memFree=27476816/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=809740 CPUtime=1721.9 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 197894 0 0 0 172122 68 0 0 20 0 2 0 285418455 829173760 195510 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 202435 195510 194 433 0 201999 0
[pid=22343/tid=22345] ppid=22341 vsize=809740 CPUtime=1722.1 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 196780 0 0 0 172116 94 0 0 20 0 2 0 285418456 829173760 195510 33554432000 4194304 5964318 140734461899616 139847516035096 4399971 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 809740
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22399
/proc/meminfo: memFree=27476300/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=809740 CPUtime=1781.89 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 197894 0 0 0 178121 68 0 0 20 0 2 0 285418455 829173760 195510 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 202435 195510 194 433 0 201999 0
[pid=22343/tid=22345] ppid=22341 vsize=809740 CPUtime=1782.09 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 196780 0 0 0 178114 95 0 0 20 0 2 0 285418456 829173760 195510 33554432000 4194304 5964318 140734461899616 139847516035096 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 809740
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22399
/proc/meminfo: memFree=27476788/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=809740 CPUtime=1791.59 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 197894 0 0 0 179091 68 0 0 20 0 2 0 285418455 829173760 195510 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 202435 195510 194 433 0 201999 0
[pid=22343/tid=22345] ppid=22341 vsize=809740 CPUtime=1791.8 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 196780 0 0 0 179085 95 0 0 20 0 2 0 285418456 829173760 195510 33554432000 4194304 5964318 140734461899616 139847516035096 4399991 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 809740
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22399
/proc/meminfo: memFree=27476532/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=809740 CPUtime=1794.79 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 197894 0 0 0 179411 68 0 0 20 0 2 0 285418455 829173760 195510 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 202435 195510 194 433 0 201999 0
[pid=22343/tid=22345] ppid=22341 vsize=809740 CPUtime=1795 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 196780 0 0 0 179405 95 0 0 20 0 2 0 285418456 829173760 195510 33554432000 4194304 5964318 140734461899616 139847516035096 4400019 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 809740
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22399
/proc/meminfo: memFree=27476656/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=809740 CPUtime=1797.98 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 197894 0 0 0 179730 68 0 0 20 0 2 0 285418455 829173760 195510 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 202435 195510 194 433 0 201999 0
[pid=22343/tid=22345] ppid=22341 vsize=809740 CPUtime=1798.19 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 196780 0 0 0 179724 95 0 0 20 0 2 0 285418456 829173760 195510 33554432000 4194304 5964318 140734461899616 139847516035096 4400010 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 809740
[startup+1799.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22399
/proc/meminfo: memFree=27476656/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=809740 CPUtime=1798.78 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 197894 0 0 0 179810 68 0 0 20 0 2 0 285418455 829173760 195510 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 202435 195510 194 433 0 201999 0
[pid=22343/tid=22345] ppid=22341 vsize=809740 CPUtime=1798.99 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 196780 0 0 0 179804 95 0 0 20 0 2 0 285418456 829173760 195510 33554432000 4194304 5964318 140734461899616 139847516035096 4381933 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.78
Current children cumulated vsize (KiB) 809740
[startup+1799.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22399
/proc/meminfo: memFree=27476656/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=809740 CPUtime=1799.19 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 197894 0 0 0 179851 68 0 0 20 0 2 0 285418455 829173760 195510 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 202435 195510 194 433 0 201999 0
[pid=22343/tid=22345] ppid=22341 vsize=809740 CPUtime=1799.4 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 196780 0 0 0 179845 95 0 0 20 0 2 0 285418456 829173760 195510 33554432000 4194304 5964318 140734461899616 139847516035096 4403247 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.19
Current children cumulated vsize (KiB) 809740
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22399
/proc/meminfo: memFree=27476656/32873648 swapFree=7372/7372
[pid=22343] ppid=22341 vsize=809740 CPUtime=1799.58 cores=0,2,4,6
/proc/22343/stat : 22343 (wbo1.71) S 22341 22343 22137 0 -1 4202496 197894 0 0 0 179890 68 0 0 20 0 2 0 285418455 829173760 195510 33554432000 4194304 5964318 140734461899616 140734461899136 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22343/statm: 202435 195510 194 433 0 201999 0
[pid=22343/tid=22345] ppid=22341 vsize=809740 CPUtime=1799.79 cores=0,2,4,6
/proc/22343/task/22345/stat : 22345 (wbo1.71) R 22341 22343 22137 0 -1 4202560 196780 0 0 0 179884 95 0 0 20 0 2 0 285418456 829173760 195510 33554432000 4194304 5964318 140734461899616 139847516035096 4399991 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (KiB) 809740
Child status: 255
Real time (s): 1800
CPU time (s): 1799.83
CPU user time (s): 1798.86
CPU system time (s): 0.964853
CPU usage (%): 99.9903
Max. virtual memory (cumulated for all children) (KiB): 809740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 0.964853
maximum resident set size= 788532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197897
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= 211
involuntary context switches= 2313
runsolver used 2.6046 second user time and 7.2169 second system time
The end