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-3727988-1338653932/watcher-3727988-1338653932 -o /tmp/evaluation-result-3727988-1338653932/solver-3727988-1338653932 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727988-1338653932.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.92 3/177 22486
/proc/meminfo: memFree=27864416/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=4076 CPUtime=0 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) R 22484 22486 19272 0 -1 4202496 483 0 0 0 0 0 0 0 20 0 1 0 331521742 4173824 435 33554432000 4194304 5964350 140734913356016 140734291085528 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 1019 436 175 433 0 537 0
[startup+0.092366 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 22486
/proc/meminfo: memFree=27864416/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=85268 CPUtime=0.08 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 2175 0 0 0 8 0 0 0 20 0 2 0 331521742 87314432 2081 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 21317 2081 194 433 0 20881 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 85268
[startup+0.100201 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 22486
/proc/meminfo: memFree=27864416/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=85268 CPUtime=0.09 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 2175 0 0 0 9 0 0 0 20 0 2 0 331521742 87314432 2081 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 21317 2081 194 433 0 20881 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85268
[startup+0.300113 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 22486
/proc/meminfo: memFree=27864416/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=85268 CPUtime=0.29 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 2326 0 0 0 29 0 0 0 20 0 2 0 331521742 87314432 2232 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 21317 2232 194 433 0 20881 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85268
[startup+0.70011 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 22486
/proc/meminfo: memFree=27864416/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=85268 CPUtime=0.69 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 2607 0 0 0 69 0 0 0 20 0 2 0 331521742 87314432 2513 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 21317 2513 194 433 0 20881 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85268
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22488
/proc/meminfo: memFree=27854024/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=85268 CPUtime=1.48 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 3384 0 0 0 148 0 0 0 20 0 2 0 331521742 87314432 3290 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 21317 3290 194 433 0 20881 0
[pid=22486/tid=22488] ppid=22484 vsize=85268 CPUtime=1.47 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 2253 0 0 0 147 0 0 0 20 0 2 0 331521743 87314432 3290 33554432000 4194304 5964350 140734913356016 140633962592056 4403293 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 85268
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 22488
/proc/meminfo: memFree=27849916/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=85268 CPUtime=3.09 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 4575 0 0 0 308 1 0 0 20 0 2 0 331521742 87314432 4481 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 21317 4481 194 433 0 20881 0
[pid=22486/tid=22488] ppid=22484 vsize=85268 CPUtime=3.07 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 3444 0 0 0 307 0 0 0 20 0 2 0 331521743 87314432 4481 33554432000 4194304 5964350 140734913356016 140633962592248 4400007 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85268
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 22488
/proc/meminfo: memFree=27843848/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=85412 CPUtime=6.28 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 5704 0 0 0 627 1 0 0 20 0 2 0 331521742 87461888 5610 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 21353 5610 194 433 0 20917 0
[pid=22486/tid=22488] ppid=22484 vsize=85412 CPUtime=6.27 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 4573 0 0 0 625 2 0 0 20 0 2 0 331521743 87461888 5610 33554432000 4194304 5964350 140734913356016 140633962592056 4400390 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) 85412
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22489
/proc/meminfo: memFree=27835168/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=85484 CPUtime=12.69 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 7931 0 0 0 1267 2 0 0 20 0 2 0 331521742 87535616 7837 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 21371 7837 194 433 0 20935 0
[pid=22486/tid=22488] ppid=22484 vsize=85484 CPUtime=12.67 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 6800 0 0 0 1265 2 0 0 20 0 2 0 331521743 87535616 7837 33554432000 4194304 5964350 140734913356016 140633962592056 4400007 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 85484
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22489
/proc/meminfo: memFree=27826876/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=85268 CPUtime=25.48 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 9550 0 0 0 2546 2 0 0 20 0 2 0 331521742 87314432 9404 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 21317 9404 194 433 0 20881 0
[pid=22486/tid=22488] ppid=22484 vsize=85268 CPUtime=25.47 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 8419 0 0 0 2544 3 0 0 20 0 2 0 331521743 87314432 9404 33554432000 4194304 5964350 140734913356016 140633962593208 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85268
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22489
/proc/meminfo: memFree=27806788/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=85592 CPUtime=51.07 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 14715 0 0 0 5104 3 0 0 20 0 2 0 331521742 87646208 14569 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 21398 14569 194 433 0 20962 0
[pid=22486/tid=22488] ppid=22484 vsize=85592 CPUtime=51.07 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 13584 0 0 0 5103 4 0 0 20 0 2 0 331521743 87646208 14569 33554432000 4194304 5964350 140734913356016 140633962592056 4399846 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 85592
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 22492
/proc/meminfo: memFree=27767844/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=151288 CPUtime=102.28 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 24220 0 0 0 10220 8 0 0 20 0 2 0 331521742 154918912 24074 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 37822 24074 194 433 0 37386 0
[pid=22486/tid=22488] ppid=22484 vsize=151288 CPUtime=102.27 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 23089 0 0 0 10217 10 0 0 20 0 2 0 331521743 154918912 24074 33554432000 4194304 5964350 140734913356016 140633962592056 4400352 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 151288
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22492
/proc/meminfo: memFree=27737160/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=151528 CPUtime=162.27 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 31966 0 0 0 16215 12 0 0 20 0 2 0 331521742 155164672 31820 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 37882 31820 194 433 0 37446 0
[pid=22486/tid=22488] ppid=22484 vsize=151528 CPUtime=162.27 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 30835 0 0 0 16213 14 0 0 20 0 2 0 331521743 155164672 31820 33554432000 4194304 5964350 140734913356016 140633962592248 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 151528
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22492
/proc/meminfo: memFree=27698224/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=217388 CPUtime=222.25 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 41620 0 0 0 22208 17 0 0 20 0 2 0 331521742 222605312 41453 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 54347 41453 194 433 0 53911 0
[pid=22486/tid=22488] ppid=22484 vsize=217388 CPUtime=222.27 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 40489 0 0 0 22206 21 0 0 20 0 2 0 331521743 222605312 41453 33554432000 4194304 5964350 140734913356016 140633962592056 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 217388
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22492
/proc/meminfo: memFree=27670216/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=217388 CPUtime=282.22 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 46654 0 0 0 28201 21 0 0 20 0 2 0 331521742 222605312 46829 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 54347 46829 194 433 0 53911 0
[pid=22486/tid=22488] ppid=22484 vsize=217388 CPUtime=282.25 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 45523 0 0 0 28199 26 0 0 20 0 2 0 331521743 222605312 46829 33554432000 4194304 5964350 140734913356016 140633962592056 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 217388
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22493
/proc/meminfo: memFree=27632052/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=283932 CPUtime=342.17 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 55500 0 0 0 34189 28 0 0 20 0 2 0 331521742 290746368 56261 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 70983 56261 194 433 0 70547 0
[pid=22486/tid=22488] ppid=22484 vsize=283932 CPUtime=342.21 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 54369 0 0 0 34187 34 0 0 20 0 2 0 331521743 290746368 56261 33554432000 4194304 5964350 140734913356016 140633962592056 4399930 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 283932
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22493
/proc/meminfo: memFree=27611848/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=283932 CPUtime=402.13 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 56703 0 0 0 40185 28 0 0 20 0 2 0 331521742 290746368 58227 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 70983 58227 194 433 0 70547 0
[pid=22486/tid=22488] ppid=22484 vsize=283932 CPUtime=402.19 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 55572 0 0 0 40184 35 0 0 20 0 2 0 331521743 290746368 58227 33554432000 4194304 5964350 140734913356016 140633962592056 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 283932
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 22493
/proc/meminfo: memFree=27512316/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=284904 CPUtime=462.12 cores=1,3,5,7
################
# More data... #
################
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 129269 0 0 0 130112 100 0 0 20 0 2 0 331521743 583073792 132666 33554432000 4194304 5964350 140734913356016 140633962592056 4400007 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 569408
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 1.95 3/179 22553
/proc/meminfo: memFree=27582616/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=574096 CPUtime=1361.84 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 131897 0 0 0 136103 81 0 0 20 0 2 0 331521742 587874304 134470 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 143524 134470 194 433 0 143088 0
[pid=22486/tid=22488] ppid=22484 vsize=574096 CPUtime=1362.08 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 130766 0 0 0 136106 102 0 0 20 0 2 0 331521743 587874304 134470 33554432000 4194304 5964350 140734913356016 140633962592296 4400007 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 574096
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 22553
/proc/meminfo: memFree=27539464/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=645444 CPUtime=1421.84 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 138106 0 0 0 142098 86 0 0 20 0 2 0 331521742 660934656 140675 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 161361 140675 194 433 0 160925 0
[pid=22486/tid=22488] ppid=22484 vsize=645444 CPUtime=1422.09 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 136975 0 0 0 142101 108 0 0 20 0 2 0 331521743 660934656 140675 33554432000 4194304 5964350 140734913356016 140633962592248 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 645444
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22553
/proc/meminfo: memFree=27490856/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=648424 CPUtime=1481.82 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 144443 0 0 0 148092 90 0 0 20 0 2 0 331521742 663986176 146947 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 162106 146947 194 433 0 161670 0
[pid=22486/tid=22488] ppid=22484 vsize=648424 CPUtime=1482.09 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 143312 0 0 0 148096 113 0 0 20 0 2 0 331521743 663986176 146947 33554432000 4194304 5964350 140734913356016 140633962592056 4399835 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 648424
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22554
/proc/meminfo: memFree=27431584/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=652456 CPUtime=1541.82 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 145699 0 0 0 154091 91 0 0 20 0 2 0 331521742 668114944 148182 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 163114 148182 194 433 0 162678 0
[pid=22486/tid=22488] ppid=22484 vsize=652456 CPUtime=1542.09 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 144568 0 0 0 154095 114 0 0 20 0 2 0 331521743 668114944 148182 33554432000 4194304 5964350 140734913356016 140633962592296 4403290 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 652456
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22554
/proc/meminfo: memFree=27377000/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=660580 CPUtime=1601.8 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 149173 0 0 0 160087 93 0 0 20 0 2 0 331521742 676433920 151656 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 165145 151656 194 433 0 164709 0
[pid=22486/tid=22488] ppid=22484 vsize=660580 CPUtime=1602.09 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 148042 0 0 0 160091 118 0 0 20 0 2 0 331521743 676433920 151656 33554432000 4194304 5964350 140734913356016 140633962592248 4399944 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 660580
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22554
/proc/meminfo: memFree=27289360/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=730084 CPUtime=1661.8 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 159799 0 0 0 166073 107 0 0 20 0 2 0 331521742 747606016 162282 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 182521 162282 194 433 0 182085 0
[pid=22486/tid=22488] ppid=22484 vsize=730084 CPUtime=1662.09 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 158668 0 0 0 166077 132 0 0 20 0 2 0 331521743 747606016 162282 33554432000 4194304 5964350 140734913356016 140633962592248 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 730084
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22554
/proc/meminfo: memFree=27223376/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=732412 CPUtime=1721.78 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 162967 0 0 0 172069 109 0 0 20 0 2 0 331521742 749989888 165450 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 183103 165450 194 433 0 182667 0
[pid=22486/tid=22488] ppid=22484 vsize=732412 CPUtime=1722.1 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 161836 0 0 0 172074 136 0 0 20 0 2 0 331521743 749989888 165450 33554432000 4194304 5964350 140734913356016 140633962592296 4400023 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 732412
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22554
/proc/meminfo: memFree=27268368/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=675092 CPUtime=1781.77 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 163379 0 0 0 178067 110 0 0 20 0 2 0 331521742 691294208 154048 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 168773 154048 194 433 0 168337 0
[pid=22486/tid=22488] ppid=22484 vsize=675092 CPUtime=1782.09 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 162248 0 0 0 178071 138 0 0 20 0 2 0 331521743 691294208 154048 33554432000 4194304 5964350 140734913356016 140633962593208 4400007 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 675092
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22554
/proc/meminfo: memFree=27268228/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=675092 CPUtime=1791.37 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 163387 0 0 0 179027 110 0 0 20 0 2 0 331521742 691294208 154152 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 168773 154152 194 433 0 168337 0
[pid=22486/tid=22488] ppid=22484 vsize=675092 CPUtime=1791.69 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 162256 0 0 0 179031 138 0 0 20 0 2 0 331521743 691294208 154152 33554432000 4194304 5964350 140734913356016 140633962593208 4399976 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 675092
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22554
/proc/meminfo: memFree=27268228/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=675092 CPUtime=1794.57 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 163387 0 0 0 179347 110 0 0 20 0 2 0 331521742 691294208 154152 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 168773 154152 194 433 0 168337 0
[pid=22486/tid=22488] ppid=22484 vsize=675092 CPUtime=1794.89 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 162256 0 0 0 179351 138 0 0 20 0 2 0 331521743 691294208 154152 33554432000 4194304 5964350 140734913356016 140633962593208 4400023 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 675092
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22554
/proc/meminfo: memFree=27268104/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=675092 CPUtime=1797.76 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 163387 0 0 0 179666 110 0 0 20 0 2 0 331521742 691294208 154152 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 168773 154152 194 433 0 168337 0
[pid=22486/tid=22488] ppid=22484 vsize=675092 CPUtime=1798.08 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 162256 0 0 0 179670 138 0 0 20 0 2 0 331521743 691294208 154152 33554432000 4194304 5964350 140734913356016 140633962593208 4400707 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.76
Current children cumulated vsize (KiB) 675092
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22554
/proc/meminfo: memFree=27268104/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=675092 CPUtime=1798.56 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 163387 0 0 0 179746 110 0 0 20 0 2 0 331521742 691294208 154152 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 168773 154152 194 433 0 168337 0
[pid=22486/tid=22488] ppid=22484 vsize=675092 CPUtime=1798.88 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 162256 0 0 0 179750 138 0 0 20 0 2 0 331521743 691294208 154152 33554432000 4194304 5964350 140734913356016 140633962593208 4400007 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.56
Current children cumulated vsize (KiB) 675092
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22554
/proc/meminfo: memFree=27268104/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=675092 CPUtime=1798.96 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 163387 0 0 0 179786 110 0 0 20 0 2 0 331521742 691294208 154152 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 168773 154152 194 433 0 168337 0
[pid=22486/tid=22488] ppid=22484 vsize=675092 CPUtime=1799.29 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 162256 0 0 0 179791 138 0 0 20 0 2 0 331521743 691294208 154152 33554432000 4194304 5964350 140734913356016 140633962593208 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.96
Current children cumulated vsize (KiB) 675092
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22554
/proc/meminfo: memFree=27268104/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=675092 CPUtime=1799.35 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) S 22484 22486 19272 0 -1 4202496 163395 0 0 0 179825 110 0 0 20 0 2 0 331521742 691294208 154209 33554432000 4194304 5964350 140734913356016 140734913355536 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 168773 154209 194 433 0 168337 0
[pid=22486/tid=22488] ppid=22484 vsize=675092 CPUtime=1799.68 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202560 162264 0 0 0 179830 138 0 0 20 0 2 0 331521743 691294208 154209 33554432000 4194304 5964350 140734913356016 140633962593208 4400352 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.35
Current children cumulated vsize (KiB) 675092
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 22554
/proc/meminfo: memFree=27268104/32873844 swapFree=7116/7116
[pid=22486] ppid=22484 vsize=0 CPUtime=1799.45 cores=1,3,5,7
/proc/22486/stat : 22486 (wbo1.72) Z 22484 22486 19272 0 -1 4203532 163397 0 0 0 179835 110 0 0 20 0 2 0 331521742 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22486/statm: 0 0 0 0 0 0 0
[pid=22486/tid=22488] ppid=22484 vsize=0 CPUtime=1799.78 cores=1,3,5,7
/proc/22486/task/22488/stat : 22488 (wbo1.72) R 22484 22486 19272 0 -1 4202564 162266 0 0 0 179840 138 0 0 20 0 2 0 331521743 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.81
CPU user time (s): 1798.42
CPU system time (s): 1.39179
CPU usage (%): 99.9892
Max. virtual memory (cumulated for all children) (KiB): 734584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.42
system time used= 1.39179
maximum resident set size= 663492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163397
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= 270
involuntary context switches= 1896
runsolver used 8.73067 second user time and 15.3997 second system time
The end