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-3713084-1338223906/watcher-3713084-1338223906 -o /tmp/evaluation-result-3713084-1338223906/solver-3713084-1338223906 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3713084-1338223906.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 2.02 2.00 2/177 16365
/proc/meminfo: memFree=28430448/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=3936 CPUtime=0 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) R 16363 16365 12215 0 -1 4202496 483 0 0 0 0 0 0 0 20 0 1 0 288515663 4030464 425 33554432000 4194304 5964318 140734328303200 140735698266872 4297148 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 984 438 167 433 0 548 0
[startup+0.0934449 s]
/proc/loadavg: 2.04 2.02 2.00 2/177 16365
/proc/meminfo: memFree=28430448/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=83820 CPUtime=0.08 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 1614 0 0 0 8 0 0 0 20 0 2 0 288515663 85831680 1451 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 20955 1451 198 433 0 20519 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 83820
[startup+0.100293 s]
/proc/loadavg: 2.04 2.02 2.00 2/177 16365
/proc/meminfo: memFree=28430448/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=83820 CPUtime=0.09 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 1695 0 0 0 9 0 0 0 20 0 2 0 288515663 85831680 1532 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 20955 1532 198 433 0 20519 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83820
[startup+0.300203 s]
/proc/loadavg: 2.04 2.02 2.00 2/177 16365
/proc/meminfo: memFree=28430448/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=83820 CPUtime=0.29 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 2699 0 0 0 29 0 0 0 20 0 2 0 288515663 85831680 2147 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 20955 2147 199 433 0 20519 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83820
[startup+0.700227 s]
/proc/loadavg: 2.04 2.02 2.00 2/177 16365
/proc/meminfo: memFree=28430448/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=85108 CPUtime=0.69 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 4605 0 0 0 68 1 0 0 20 0 2 0 288515663 87150592 2805 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 21277 2805 199 433 0 20841 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85108
[startup+1.50032 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 16367
/proc/meminfo: memFree=28416396/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=85748 CPUtime=1.49 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 8011 0 0 0 147 2 0 0 20 0 2 0 288515663 87805952 4229 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 21437 4229 199 433 0 21001 0
[pid=16365/tid=16367] ppid=16363 vsize=85748 CPUtime=1.48 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 7236 0 0 0 146 2 0 0 20 0 2 0 288515664 87805952 4229 33554432000 4194304 5964318 140734328303200 139908512672088 4400492 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) 85748
[startup+3.10021 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 16367
/proc/meminfo: memFree=28413048/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=83820 CPUtime=3.09 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 8484 0 0 0 307 2 0 0 20 0 2 0 288515663 85831680 4367 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 20955 4367 199 433 0 20519 0
[pid=16365/tid=16367] ppid=16363 vsize=83820 CPUtime=3.08 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 7709 0 0 0 306 2 0 0 20 0 2 0 288515664 85831680 4367 33554432000 4194304 5964318 140734328303200 139908512672696 4221120 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) 83820
[startup+6.30023 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 16367
/proc/meminfo: memFree=28406848/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=83820 CPUtime=6.29 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 9908 0 0 0 627 2 0 0 20 0 2 0 288515663 85831680 5789 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 20955 5789 199 433 0 20519 0
[pid=16365/tid=16367] ppid=16363 vsize=83820 CPUtime=6.26 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 9133 0 0 0 624 2 0 0 20 0 2 0 288515664 85831680 5789 33554432000 4194304 5964318 140734328303200 139908512672280 4403435 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) 83820
[startup+12.7002 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 16367
/proc/meminfo: memFree=28405260/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=83820 CPUtime=12.69 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 10176 0 0 0 1267 2 0 0 20 0 2 0 288515663 85831680 6057 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 20955 6057 199 433 0 20519 0
[pid=16365/tid=16367] ppid=16363 vsize=83820 CPUtime=12.65 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 9401 0 0 0 1263 2 0 0 20 0 2 0 288515664 85831680 6057 33554432000 4194304 5964318 140734328303200 139908512671544 4392621 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) 83820
[startup+25.5003 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 16367
/proc/meminfo: memFree=28387784/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=83820 CPUtime=25.49 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 13683 0 0 0 2546 3 0 0 20 0 2 0 288515663 85831680 9564 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 20955 9564 199 433 0 20519 0
[pid=16365/tid=16367] ppid=16363 vsize=83820 CPUtime=25.41 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 12908 0 0 0 2538 3 0 0 20 0 2 0 288515664 85831680 9564 33554432000 4194304 5964318 140734328303200 139908512671544 4399971 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83820
[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 16367
/proc/meminfo: memFree=28347856/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=149356 CPUtime=51.08 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 22474 0 0 0 5102 6 0 0 20 0 2 0 288515663 152940544 18355 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 37339 18355 199 433 0 36903 0
[pid=16365/tid=16367] ppid=16363 vsize=149356 CPUtime=50.95 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 21699 0 0 0 5089 6 0 0 20 0 2 0 288515664 152940544 18355 33554432000 4194304 5964318 140734328303200 139908512671544 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 149356
[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16368
/proc/meminfo: memFree=28280944/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=150440 CPUtime=102.27 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 35661 0 0 0 10216 11 0 0 20 0 2 0 288515663 154050560 31585 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 37610 31585 199 433 0 37174 0
[pid=16365/tid=16367] ppid=16363 vsize=150440 CPUtime=102.02 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 34886 0 0 0 10190 12 0 0 20 0 2 0 288515664 154050560 31585 33554432000 4194304 5964318 140734328303200 139908512671736 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 150440
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16368
/proc/meminfo: memFree=28229580/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=215976 CPUtime=162.21 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 44836 0 0 0 16206 15 0 0 20 0 2 0 288515663 221159424 40970 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 53994 40970 199 433 0 53558 0
[pid=16365/tid=16367] ppid=16363 vsize=215976 CPUtime=161.81 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 44061 0 0 0 16164 17 0 0 20 0 2 0 288515664 221159424 40970 33554432000 4194304 5964318 140734328303200 139908512671736 4400374 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) 215976
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16368
/proc/meminfo: memFree=28187088/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=215976 CPUtime=222.19 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 50988 0 0 0 22201 18 0 0 20 0 2 0 288515663 221159424 47965 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 53994 47965 199 433 0 53558 0
[pid=16365/tid=16367] ppid=16363 vsize=215976 CPUtime=221.65 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 50213 0 0 0 22144 21 0 0 20 0 2 0 288515664 221159424 47965 33554432000 4194304 5964318 140734328303200 139908512671544 4399995 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 215976
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16407
/proc/meminfo: memFree=28568216/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=283136 CPUtime=282.18 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 59252 0 0 0 28195 23 0 0 20 0 2 0 288515663 289931264 56086 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 70784 56086 199 433 0 70348 0
[pid=16365/tid=16367] ppid=16363 vsize=283136 CPUtime=281.49 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 58477 0 0 0 28122 27 0 0 20 0 2 0 288515664 289931264 56086 33554432000 4194304 5964318 140734328303200 139908512671784 4378896 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) 283136
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16407
/proc/meminfo: memFree=28525992/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=283136 CPUtime=342.14 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 60416 0 0 0 34191 23 0 0 20 0 2 0 288515663 289931264 57528 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 70784 57528 199 433 0 70348 0
[pid=16365/tid=16367] ppid=16363 vsize=283136 CPUtime=341.3 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 59641 0 0 0 34102 28 0 0 20 0 2 0 288515664 289931264 57528 33554432000 4194304 5964318 140734328303200 139908512671544 4399845 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 283136
[startup+402.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 16447
/proc/meminfo: memFree=28564656/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=283136 CPUtime=402.14 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 61240 0 0 0 40190 24 0 0 20 0 2 0 288515663 289931264 58349 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 70784 58349 199 433 0 70348 0
[pid=16365/tid=16367] ppid=16363 vsize=283136 CPUtime=401.15 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 60465 0 0 0 40086 29 0 0 20 0 2 0 288515664 289931264 58349 33554432000 4194304 5964318 140734328303200 139908512671544 4389004 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 283136
[startup+462.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/179 16447
/proc/meminfo: memFree=28532984/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=283136 CPUtime=462.11 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16479
/proc/meminfo: memFree=28181068/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=345964 CPUtime=1421.95 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 70808 0 0 0 142168 27 0 0 20 0 2 0 288515663 354267136 68078 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 86491 68078 199 433 0 86055 0
[pid=16365/tid=16367] ppid=16363 vsize=345964 CPUtime=1418.52 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 70033 0 0 0 141804 48 0 0 20 0 2 0 288515664 354267136 68078 33554432000 4194304 5964318 140734328303200 139908512671544 4399824 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 345964
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16479
/proc/meminfo: memFree=28150812/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=345964 CPUtime=1481.94 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 75332 0 0 0 148164 30 0 0 20 0 2 0 288515663 354267136 72598 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 86491 72598 199 433 0 86055 0
[pid=16365/tid=16367] ppid=16363 vsize=345964 CPUtime=1478.36 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 74557 0 0 0 147784 52 0 0 20 0 2 0 288515664 354267136 72598 33554432000 4194304 5964318 140734328303200 139908512671784 4399824 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 345964
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16479
/proc/meminfo: memFree=28121044/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=345964 CPUtime=1541.92 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 79445 0 0 0 154159 33 0 0 20 0 2 0 288515663 354267136 76699 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 86491 76699 199 433 0 86055 0
[pid=16365/tid=16367] ppid=16363 vsize=345964 CPUtime=1538.21 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 78670 0 0 0 153765 56 0 0 20 0 2 0 288515664 354267136 76699 33554432000 4194304 5964318 140734328303200 139908512671736 4400432 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 345964
[startup+1602.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 16480
/proc/meminfo: memFree=28080040/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=345964 CPUtime=1601.92 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 84797 0 0 0 160156 36 0 0 20 0 2 0 288515663 354267136 82037 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 86491 82037 199 433 0 86055 0
[pid=16365/tid=16367] ppid=16363 vsize=345964 CPUtime=1598.06 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 84022 0 0 0 159746 60 0 0 20 0 2 0 288515664 354267136 82037 33554432000 4194304 5964318 140734328303200 139908512671736 4399824 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 345964
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16480
/proc/meminfo: memFree=28052760/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=411500 CPUtime=1661.91 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 88491 0 0 0 166154 37 0 0 20 0 2 0 288515663 421376000 85713 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 102875 85713 199 433 0 102439 0
[pid=16365/tid=16367] ppid=16363 vsize=411500 CPUtime=1657.9 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 87716 0 0 0 165728 62 0 0 20 0 2 0 288515664 421376000 85713 33554432000 4194304 5964318 140734328303200 139908512671608 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 411500
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16483
/proc/meminfo: memFree=28036632/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=411500 CPUtime=1721.9 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 88755 0 0 0 172153 37 0 0 20 0 2 0 288515663 421376000 85977 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 102875 85977 199 433 0 102439 0
[pid=16365/tid=16367] ppid=16363 vsize=411500 CPUtime=1717.75 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 87980 0 0 0 171712 63 0 0 20 0 2 0 288515664 421376000 85977 33554432000 4194304 5964318 140734328303200 139908512671544 4399824 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 411500
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16483
/proc/meminfo: memFree=28016428/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=411500 CPUtime=1781.89 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 89850 0 0 0 178152 37 0 0 20 0 2 0 288515663 421376000 87071 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 102875 87071 199 433 0 102439 0
[pid=16365/tid=16367] ppid=16363 vsize=411500 CPUtime=1777.6 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 89075 0 0 0 177696 64 0 0 20 0 2 0 288515664 421376000 87071 33554432000 4194304 5964318 140734328303200 139908512671544 4389074 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 411500
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16483
/proc/meminfo: memFree=28012460/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=411500 CPUtime=1791.49 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 90273 0 0 0 179112 37 0 0 20 0 2 0 288515663 421376000 87494 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 102875 87494 199 433 0 102439 0
[pid=16365/tid=16367] ppid=16363 vsize=411500 CPUtime=1787.18 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 89498 0 0 0 178654 64 0 0 20 0 2 0 288515664 421376000 87494 33554432000 4194304 5964318 140734328303200 139908512671544 4400423 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 411500
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16483
/proc/meminfo: memFree=28010972/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=411500 CPUtime=1794.69 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 90287 0 0 0 179432 37 0 0 20 0 2 0 288515663 421376000 87508 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 102875 87508 199 433 0 102439 0
[pid=16365/tid=16367] ppid=16363 vsize=411500 CPUtime=1790.37 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 89512 0 0 0 178973 64 0 0 20 0 2 0 288515664 421376000 87508 33554432000 4194304 5964318 140734328303200 139908512671544 4399824 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 411500
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16483
/proc/meminfo: memFree=28009856/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=411500 CPUtime=1797.89 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 90433 0 0 0 179752 37 0 0 20 0 2 0 288515663 421376000 87654 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 102875 87654 199 433 0 102439 0
[pid=16365/tid=16367] ppid=16363 vsize=411500 CPUtime=1793.56 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 89658 0 0 0 179292 64 0 0 20 0 2 0 288515664 421376000 87654 33554432000 4194304 5964318 140734328303200 139908512671544 4399946 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 411500
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16483
/proc/meminfo: memFree=28009608/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=411500 CPUtime=1798.69 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 90447 0 0 0 179832 37 0 0 20 0 2 0 288515663 421376000 87668 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 102875 87668 199 433 0 102439 0
[pid=16365/tid=16367] ppid=16363 vsize=411500 CPUtime=1794.35 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 89672 0 0 0 179371 64 0 0 20 0 2 0 288515664 421376000 87668 33554432000 4194304 5964318 140734328303200 139908512671544 4399991 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (KiB) 411500
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16483
/proc/meminfo: memFree=28009360/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=411500 CPUtime=1799.09 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 90450 0 0 0 179872 37 0 0 20 0 2 0 288515663 421376000 87671 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 102875 87671 199 433 0 102439 0
[pid=16365/tid=16367] ppid=16363 vsize=411500 CPUtime=1794.76 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 89675 0 0 0 179412 64 0 0 20 0 2 0 288515664 421376000 87671 33554432000 4194304 5964318 140734328303200 139908512671544 4399879 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.09
Current children cumulated vsize (KiB) 411500
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16483
/proc/meminfo: memFree=28009360/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=411500 CPUtime=1799.49 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 90453 0 0 0 179912 37 0 0 20 0 2 0 288515663 421376000 87674 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 102875 87674 199 433 0 102439 0
[pid=16365/tid=16367] ppid=16363 vsize=411500 CPUtime=1795.15 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 89678 0 0 0 179451 64 0 0 20 0 2 0 288515664 421376000 87674 33554432000 4194304 5964318 140734328303200 139908512671544 4399995 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 411500
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16483
/proc/meminfo: memFree=28009360/32873844 swapFree=7116/7116
[pid=16365] ppid=16363 vsize=411500 CPUtime=1799.59 cores=0,2,4,6
/proc/16365/stat : 16365 (wbo1.71) S 16363 16365 12215 0 -1 4202496 90453 0 0 0 179922 37 0 0 20 0 2 0 288515663 421376000 87674 33554432000 4194304 5964318 140734328303200 140734328302720 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16365/statm: 102875 87674 199 433 0 102439 0
[pid=16365/tid=16367] ppid=16363 vsize=411500 CPUtime=1795.25 cores=0,2,4,6
/proc/16365/task/16367/stat : 16367 (wbo1.71) R 16363 16365 12215 0 -1 4202560 89678 0 0 0 179461 64 0 0 20 0 2 0 288515664 421376000 87674 33554432000 4194304 5964318 140734328303200 139908512671544 4400336 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (KiB) 411500
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16365 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=621176
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=659899
# CPU time returned by wait4() is 1795.28
# while last known CPU time is 1799.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.59
CPU user time (s): 1799.22
CPU system time (s): 0.37
CPU usage (%): 99.9767
Max. virtual memory (cumulated for all children) (KiB): 411500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.62
system time used= 0.659899
maximum resident set size= 350704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90455
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= 128
involuntary context switches= 1871
runsolver used 2.68159 second user time and 7.14191 second system time
The end