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-3727210-1338670785/watcher-3727210-1338670785 -o /tmp/evaluation-result-3727210-1338670785/solver-3727210-1338670785 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727210-1338670785.opb
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.01 2.01 2.15 3/177 2496
/proc/meminfo: memFree=29069492/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=5684 CPUtime=0 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) R 2494 2496 2034 0 -1 4202496 604 0 0 0 0 0 0 0 20 0 1 0 333202875 5820416 556 33554432000 4194304 5964350 140735968030880 140734977293992 4344688 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 1421 556 164 433 0 673 0
[startup+0.0228209 s]
/proc/loadavg: 2.01 2.01 2.15 3/177 2496
/proc/meminfo: memFree=29069492/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=9108 CPUtime=0.02 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) R 2494 2496 2034 0 -1 4202496 1431 0 0 0 2 0 0 0 20 0 1 0 333202875 9326592 1383 33554432000 4194304 5964350 140735968030880 140734977293992 4344688 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 2277 1383 214 433 0 1529 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9108
[startup+0.100172 s]
/proc/loadavg: 2.01 2.01 2.15 3/177 2496
/proc/meminfo: memFree=29069492/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=93788 CPUtime=0.09 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 3284 0 0 0 9 0 0 0 20 0 2 0 333202875 96038912 2924 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 23447 2924 177 433 0 23011 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 93788
[startup+0.300158 s]
/proc/loadavg: 2.01 2.01 2.15 3/177 2496
/proc/meminfo: memFree=29069492/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=93624 CPUtime=0.28 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 5861 0 0 0 28 0 0 0 20 0 2 0 333202875 95870976 5022 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 23406 5022 186 433 0 22970 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 93624
[startup+0.70012 s]
/proc/loadavg: 2.01 2.01 2.15 3/177 2496
/proc/meminfo: memFree=29069492/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=93624 CPUtime=0.68 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 6129 0 0 0 68 0 0 0 20 0 2 0 333202875 95870976 5290 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 23406 5290 186 433 0 22970 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 93624
[startup+1.50022 s]
/proc/loadavg: 2.01 2.01 2.15 3/179 2498
/proc/meminfo: memFree=29045544/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=93624 CPUtime=1.49 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 6712 0 0 0 148 1 0 0 20 0 2 0 333202875 95870976 5873 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 23406 5874 186 433 0 22970 0
[pid=2496/tid=2498] ppid=2494 vsize=93624 CPUtime=1.38 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 3760 0 0 0 138 0 0 0 20 0 2 0 333202885 95870976 5874 33554432000 4194304 5964350 140735968030880 140237816924152 5136340 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) 93624
[startup+3.10023 s]
/proc/loadavg: 2.01 2.01 2.15 3/179 2498
/proc/meminfo: memFree=29039344/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=93624 CPUtime=3.09 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 7651 0 0 0 308 1 0 0 20 0 2 0 333202875 95870976 6812 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 23406 6812 186 433 0 22970 0
[pid=2496/tid=2498] ppid=2494 vsize=93624 CPUtime=2.98 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 4699 0 0 0 298 0 0 0 20 0 2 0 333202885 95870976 6813 33554432000 4194304 5964350 140735968030880 140237816924152 5136340 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) 93624
[startup+6.30031 s]
/proc/loadavg: 2.01 2.01 2.15 3/179 2498
/proc/meminfo: memFree=29021984/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=93624 CPUtime=6.29 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 9882 0 0 0 627 2 0 0 20 0 2 0 333202875 95870976 9043 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 23406 9043 186 433 0 22970 0
[pid=2496/tid=2498] ppid=2494 vsize=93624 CPUtime=6.17 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 6929 0 0 0 616 1 0 0 20 0 2 0 333202885 95870976 9043 33554432000 4194304 5964350 140735968030880 140237816923960 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93624
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.15 3/179 2498
/proc/meminfo: memFree=29003928/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=93624 CPUtime=12.68 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 11492 0 0 0 1266 2 0 0 20 0 2 0 333202875 95870976 10653 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 23406 10653 186 433 0 22970 0
[pid=2496/tid=2498] ppid=2494 vsize=93624 CPUtime=12.55 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 8539 0 0 0 1253 2 0 0 20 0 2 0 333202885 95870976 10653 33554432000 4194304 5964350 140735968030880 140237816923960 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 93624
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.14 3/180 2501
/proc/meminfo: memFree=28981196/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=93624 CPUtime=25.48 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 14697 0 0 0 2544 4 0 0 20 0 2 0 333202875 95870976 13858 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 23406 13858 186 433 0 22970 0
[pid=2496/tid=2498] ppid=2494 vsize=93624 CPUtime=25.32 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 11744 0 0 0 2528 4 0 0 20 0 2 0 333202885 95870976 13858 33554432000 4194304 5964350 140735968030880 140237816924152 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 93624
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.14 3/180 2501
/proc/meminfo: memFree=28910252/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=159160 CPUtime=51.08 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 24188 0 0 0 5099 9 0 0 20 0 2 0 333202875 162979840 23349 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 39790 23349 186 433 0 39354 0
[pid=2496/tid=2498] ppid=2494 vsize=159160 CPUtime=50.85 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 21235 0 0 0 5077 8 0 0 20 0 2 0 333202885 162979840 23349 33554432000 4194304 5964350 140735968030880 140237816924152 4381658 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 159160
[startup+102.307 s]
/proc/loadavg: 2.06 2.02 2.13 3/180 2524
/proc/meminfo: memFree=28832820/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=159884 CPUtime=102.25 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 29681 0 0 0 10214 11 0 0 20 0 2 0 333202875 163721216 28875 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 39971 28875 186 433 0 39535 0
[pid=2496/tid=2498] ppid=2494 vsize=159884 CPUtime=101.9 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 26728 0 0 0 10179 11 0 0 20 0 2 0 333202885 163721216 28875 33554432000 4194304 5964350 140735968030880 140237816924152 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 159884
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.12 3/179 2524
/proc/meminfo: memFree=28752160/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=225780 CPUtime=162.22 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 43375 0 0 0 16206 16 0 0 20 0 2 0 333202875 231198720 43047 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 56445 43047 186 433 0 56009 0
[pid=2496/tid=2498] ppid=2494 vsize=225780 CPUtime=161.72 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 40422 0 0 0 16155 17 0 0 20 0 2 0 333202885 231198720 43047 33554432000 4194304 5964350 140735968030880 140237816923960 4400011 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 225780
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.11 3/179 2525
/proc/meminfo: memFree=28675092/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=225780 CPUtime=222.21 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 52146 0 0 0 22202 19 0 0 20 0 2 0 333202875 231198720 51818 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 56445 51818 186 433 0 56009 0
[pid=2496/tid=2498] ppid=2494 vsize=225780 CPUtime=221.57 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 49193 0 0 0 22135 22 0 0 20 0 2 0 333202885 231198720 51818 33554432000 4194304 5964350 140735968030880 140237816924152 4381916 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 225780
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 2525
/proc/meminfo: memFree=28572096/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=291316 CPUtime=282.2 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 62760 0 0 0 28197 23 0 0 20 0 2 0 333202875 298307584 62434 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 72829 62434 186 433 0 72393 0
[pid=2496/tid=2498] ppid=2494 vsize=291316 CPUtime=281.41 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 59807 0 0 0 28114 27 0 0 20 0 2 0 333202885 298307584 62434 33554432000 4194304 5964350 140735968030880 140237816924152 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 291316
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 2525
/proc/meminfo: memFree=28554404/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=291316 CPUtime=342.17 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 65442 0 0 0 34193 24 0 0 20 0 2 0 333202875 298307584 65099 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 72829 65099 186 433 0 72393 0
[pid=2496/tid=2498] ppid=2494 vsize=291316 CPUtime=341.22 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 62489 0 0 0 34094 28 0 0 20 0 2 0 333202885 298307584 65099 33554432000 4194304 5964350 140735968030880 140237816924152 4381939 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 291316
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 2525
/proc/meminfo: memFree=28533064/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=356852 CPUtime=402.15 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 70718 0 0 0 40190 25 0 0 20 0 2 0 333202875 365416448 70372 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 89213 70372 186 433 0 88777 0
[pid=2496/tid=2498] ppid=2494 vsize=356852 CPUtime=401.06 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 67765 0 0 0 40075 31 0 0 20 0 2 0 333202885 365416448 70372 33554432000 4194304 5964350 140735968030880 140237816924200 4381696 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 356852
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 2525
/proc/meminfo: memFree=28501808/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=356852 CPUtime=462.14 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 2534
/proc/meminfo: memFree=28118248/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=554000 CPUtime=1421.9 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 127182 0 0 0 142141 49 0 0 20 0 2 0 333202875 567296000 126906 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 138500 126906 186 433 0 138064 0
[pid=2496/tid=2498] ppid=2494 vsize=554000 CPUtime=1418.35 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 124229 0 0 0 141765 70 0 0 20 0 2 0 333202885 567296000 126906 33554432000 4194304 5964350 140735968030880 140237816923960 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 554000
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 2535
/proc/meminfo: memFree=28047316/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=554808 CPUtime=1481.88 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 127543 0 0 0 148139 49 0 0 20 0 2 0 333202875 568123392 127267 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 138702 127267 186 433 0 138266 0
[pid=2496/tid=2498] ppid=2494 vsize=554808 CPUtime=1478.19 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 124590 0 0 0 147748 71 0 0 20 0 2 0 333202885 568123392 127267 33554432000 4194304 5964350 140735968030880 140237816923960 4392838 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 554808
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2535
/proc/meminfo: memFree=28046880/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=554808 CPUtime=1541.87 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 127573 0 0 0 154138 49 0 0 20 0 2 0 333202875 568123392 127297 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 138702 127297 186 433 0 138266 0
[pid=2496/tid=2498] ppid=2494 vsize=554808 CPUtime=1538.04 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 124620 0 0 0 153732 72 0 0 20 0 2 0 333202885 568123392 127297 33554432000 4194304 5964350 140735968030880 140237816923960 4381612 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 554808
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2535
/proc/meminfo: memFree=28016376/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=554808 CPUtime=1601.86 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 127573 0 0 0 160137 49 0 0 20 0 2 0 333202875 568123392 127297 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 138702 127297 186 433 0 138266 0
[pid=2496/tid=2498] ppid=2494 vsize=554808 CPUtime=1597.89 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 124620 0 0 0 159716 73 0 0 20 0 2 0 333202885 568123392 127297 33554432000 4194304 5964350 140735968030880 140237816923960 4399774 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 554808
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2535
/proc/meminfo: memFree=27943132/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=554808 CPUtime=1661.85 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 131264 0 0 0 166134 51 0 0 20 0 2 0 333202875 568123392 131037 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 138702 131037 186 433 0 138266 0
[pid=2496/tid=2498] ppid=2494 vsize=554808 CPUtime=1657.72 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 128311 0 0 0 165697 75 0 0 20 0 2 0 333202885 568123392 131037 33554432000 4194304 5964350 140735968030880 140237816924152 4381913 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 554808
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2535
/proc/meminfo: memFree=27853764/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=620344 CPUtime=1721.83 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 147237 0 0 0 172125 58 0 0 20 0 2 0 333202875 635232256 147027 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 155086 147027 186 433 0 154650 0
[pid=2496/tid=2498] ppid=2494 vsize=620344 CPUtime=1717.56 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 144284 0 0 0 171673 83 0 0 20 0 2 0 333202885 635232256 147027 33554432000 4194304 5964350 140735968030880 140237816924152 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 620344
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2536
/proc/meminfo: memFree=27812844/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=620344 CPUtime=1781.82 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 148037 0 0 0 178124 58 0 0 20 0 2 0 333202875 635232256 147827 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 155086 147827 186 433 0 154650 0
[pid=2496/tid=2498] ppid=2494 vsize=620344 CPUtime=1777.41 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 145084 0 0 0 177657 84 0 0 20 0 2 0 333202885 635232256 147827 33554432000 4194304 5964350 140735968030880 140237816924152 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 620344
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 2536
/proc/meminfo: memFree=27801064/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=620344 CPUtime=1791.42 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 148037 0 0 0 179084 58 0 0 20 0 2 0 333202875 635232256 147827 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 155086 147827 186 433 0 154650 0
[pid=2496/tid=2498] ppid=2494 vsize=620344 CPUtime=1786.99 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 145084 0 0 0 178615 84 0 0 20 0 2 0 333202885 635232256 147827 33554432000 4194304 5964350 140735968030880 140237816924152 4400011 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 620344
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2536
/proc/meminfo: memFree=27797220/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=620344 CPUtime=1794.62 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 148037 0 0 0 179404 58 0 0 20 0 2 0 333202875 635232256 147827 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 155086 147827 186 433 0 154650 0
[pid=2496/tid=2498] ppid=2494 vsize=620344 CPUtime=1790.18 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 145084 0 0 0 178934 84 0 0 20 0 2 0 333202885 635232256 147827 33554432000 4194304 5964350 140735968030880 140237816924152 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 620344
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2536
/proc/meminfo: memFree=27795112/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=620344 CPUtime=1797.82 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 148037 0 0 0 179724 58 0 0 20 0 2 0 333202875 635232256 147827 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 155086 147827 186 433 0 154650 0
[pid=2496/tid=2498] ppid=2494 vsize=620344 CPUtime=1793.37 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 145084 0 0 0 179253 84 0 0 20 0 2 0 333202885 635232256 147827 33554432000 4194304 5964350 140735968030880 140237816924152 4382191 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 620344
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2536
/proc/meminfo: memFree=27793872/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=620344 CPUtime=1798.62 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 148037 0 0 0 179804 58 0 0 20 0 2 0 333202875 635232256 147827 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 155086 147827 186 433 0 154650 0
[pid=2496/tid=2498] ppid=2494 vsize=620344 CPUtime=1794.16 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 145084 0 0 0 179332 84 0 0 20 0 2 0 333202885 635232256 147827 33554432000 4194304 5964350 140735968030880 140237816924152 4381939 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.62
Current children cumulated vsize (KiB) 620344
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2574
/proc/meminfo: memFree=28486476/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=620344 CPUtime=1799.02 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 148037 0 0 0 179844 58 0 0 20 0 2 0 333202875 635232256 147827 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 155086 147827 186 433 0 154650 0
[pid=2496/tid=2498] ppid=2494 vsize=620344 CPUtime=1794.57 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 145084 0 0 0 179373 84 0 0 20 0 2 0 333202885 635232256 147827 33554432000 4194304 5964350 140735968030880 140237816924152 4388862 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.02
Current children cumulated vsize (KiB) 620344
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2574
/proc/meminfo: memFree=28486476/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=620344 CPUtime=1799.42 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 148037 0 0 0 179884 58 0 0 20 0 2 0 333202875 635232256 147827 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 155086 147827 186 433 0 154650 0
[pid=2496/tid=2498] ppid=2494 vsize=620344 CPUtime=1794.96 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 145084 0 0 0 179412 84 0 0 20 0 2 0 333202885 635232256 147827 33554432000 4194304 5964350 140735968030880 140237816924152 4381642 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (KiB) 620344
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2574
/proc/meminfo: memFree=28486476/32873844 swapFree=7644/7644
[pid=2496] ppid=2494 vsize=620344 CPUtime=1799.52 cores=0,2,4,6
/proc/2496/stat : 2496 (wbo1.72) S 2494 2496 2034 0 -1 4202496 148037 0 0 0 179894 58 0 0 20 0 2 0 333202875 635232256 147827 33554432000 4194304 5964350 140735968030880 140735968030400 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2496/statm: 155086 147827 186 433 0 154650 0
[pid=2496/tid=2498] ppid=2494 vsize=620344 CPUtime=1795.06 cores=0,2,4,6
/proc/2496/task/2498/stat : 2498 (wbo1.72) R 2494 2496 2034 0 -1 4202560 145084 0 0 0 179422 84 0 0 20 0 2 0 333202885 635232256 147827 33554432000 4194304 5964350 140735968030880 140237816924152 4381612 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (KiB) 620344
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2496 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=330220
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=859869
# CPU time returned by wait4() is 1795.19
# while last known CPU time is 1799.52
#
# 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.52
CPU user time (s): 1798.94
CPU system time (s): 0.58
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 620344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.33
system time used= 0.859869
maximum resident set size= 591320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148040
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= 253
involuntary context switches= 2727
runsolver used 2.89456 second user time and 7.28789 second system time
The end