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-3705260-1338102846/watcher-3705260-1338102846 -o /tmp/evaluation-result-3705260-1338102846/solver-3705260-1338102846 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705260-1338102846.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.08 2.03 2.00 2/176 13061
/proc/meminfo: memFree=27641528/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=83564 CPUtime=0 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 743 0 0 0 0 0 0 0 20 0 2 0 276411428 85569536 695 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 20891 695 189 432 0 20456 0
[pid=13061/tid=13062] ppid=13059 vsize=83564 CPUtime=0 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 276411429 85569536 695 33554432000 4194304 5963574 140737423676720 140735012991880 5142556 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.0876469 s]
/proc/loadavg: 2.08 2.03 2.00 2/176 13061
/proc/meminfo: memFree=27641528/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=83564 CPUtime=0.08 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 980 0 0 0 8 0 0 0 20 0 2 0 276411428 85569536 932 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 20891 932 190 432 0 20456 0
[pid=13061/tid=13062] ppid=13059 vsize=83564 CPUtime=0.07 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 280 0 0 0 7 0 0 0 20 0 2 0 276411429 85569536 932 33554432000 4194304 5963574 140737423676720 140735012991880 18446744073699066186 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 83564
[startup+0.100288 s]
/proc/loadavg: 2.08 2.03 2.00 2/176 13061
/proc/meminfo: memFree=27641528/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=83564 CPUtime=0.09 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 1014 0 0 0 9 0 0 0 20 0 2 0 276411428 85569536 966 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 20891 966 190 432 0 20456 0
[pid=13061/tid=13062] ppid=13059 vsize=83564 CPUtime=0.08 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 314 0 0 0 8 0 0 0 20 0 2 0 276411429 85569536 966 33554432000 4194304 5963574 140737423676720 140735012991880 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83564
[startup+0.30025 s]
/proc/loadavg: 2.08 2.03 2.00 2/176 13061
/proc/meminfo: memFree=27641528/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=83564 CPUtime=0.29 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 1347 0 0 0 29 0 0 0 20 0 2 0 276411428 85569536 1299 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 20891 1299 190 432 0 20456 0
[pid=13061/tid=13062] ppid=13059 vsize=83564 CPUtime=0.28 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 647 0 0 0 28 0 0 0 20 0 2 0 276411429 85569536 1299 33554432000 4194304 5963574 140737423676720 140735012991880 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83564
[startup+0.700252 s]
/proc/loadavg: 2.08 2.03 2.00 2/176 13061
/proc/meminfo: memFree=27641528/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=83708 CPUtime=0.69 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 1631 0 0 0 69 0 0 0 20 0 2 0 276411428 85716992 1583 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 20927 1583 190 432 0 20492 0
[pid=13061/tid=13062] ppid=13059 vsize=83708 CPUtime=0.68 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 931 0 0 0 68 0 0 0 20 0 2 0 276411429 85716992 1583 33554432000 4194304 5963574 140737423676720 140101286995768 4399505 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83708
[startup+1.50025 s]
/proc/loadavg: 2.08 2.03 2.00 3/178 13063
/proc/meminfo: memFree=27633304/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=83708 CPUtime=1.49 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 2198 0 0 0 149 0 0 0 20 0 2 0 276411428 85716992 2150 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 20927 2150 190 432 0 20492 0
[pid=13061/tid=13062] ppid=13059 vsize=83708 CPUtime=1.48 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 1498 0 0 0 148 0 0 0 20 0 2 0 276411429 85716992 2150 33554432000 4194304 5963574 140737423676720 140101286996008 4388692 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) 83708
[startup+3.10026 s]
/proc/loadavg: 2.08 2.03 2.00 3/178 13063
/proc/meminfo: memFree=27630080/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=84212 CPUtime=3.09 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 3073 0 0 0 309 0 0 0 20 0 2 0 276411428 86233088 3025 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 21053 3025 190 432 0 20618 0
[pid=13061/tid=13062] ppid=13059 vsize=84212 CPUtime=3.07 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 2373 0 0 0 307 0 0 0 20 0 2 0 276411429 86233088 3025 33554432000 4194304 5963574 140737423676720 140101286995768 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) 84212
[startup+6.30026 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 13064
/proc/meminfo: memFree=27622772/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=84608 CPUtime=6.29 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 4161 0 0 0 629 0 0 0 20 0 2 0 276411428 86638592 4113 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 21152 4113 190 432 0 20717 0
[pid=13061/tid=13062] ppid=13059 vsize=84608 CPUtime=6.27 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 3461 0 0 0 627 0 0 0 20 0 2 0 276411429 86638592 4113 33554432000 4194304 5963574 140737423676720 140101286995480 4221120 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) 84608
[startup+12.7003 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 13064
/proc/meminfo: memFree=27609840/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=85632 CPUtime=12.68 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 6144 0 0 0 1268 0 0 0 20 0 2 0 276411428 87687168 6096 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 21408 6096 190 432 0 20973 0
[pid=13061/tid=13062] ppid=13059 vsize=85632 CPUtime=12.65 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 5444 0 0 0 1265 0 0 0 20 0 2 0 276411429 87687168 6096 33554432000 4194304 5963574 140737423676720 140101286995480 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85632
[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 13064
/proc/meminfo: memFree=27584064/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=87132 CPUtime=25.48 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 9192 0 0 0 2547 1 0 0 20 0 2 0 276411428 89223168 9144 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 21783 9144 190 432 0 21348 0
[pid=13061/tid=13062] ppid=13059 vsize=87132 CPUtime=25.42 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 8492 0 0 0 2541 1 0 0 20 0 2 0 276411429 89223168 9144 33554432000 4194304 5963574 140737423676720 140101286995480 4378528 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87132
[startup+51.1003 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 13064
/proc/meminfo: memFree=27549120/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=88428 CPUtime=51.07 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 13705 0 0 0 5103 4 0 0 20 0 2 0 276411428 90550272 13683 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 22107 13683 190 432 0 21672 0
[pid=13061/tid=13062] ppid=13059 vsize=88428 CPUtime=50.94 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 13005 0 0 0 5090 4 0 0 20 0 2 0 276411429 90550272 13683 33554432000 4194304 5963574 140737423676720 140101286995480 4399448 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 88428
[startup+102.306 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 13064
/proc/meminfo: memFree=27485148/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=156248 CPUtime=102.26 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 21638 0 0 0 10217 9 0 0 20 0 2 0 276411428 159997952 22438 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 39062 22438 190 432 0 38627 0
[pid=13061/tid=13062] ppid=13059 vsize=156248 CPUtime=102 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 20938 0 0 0 10190 10 0 0 20 0 2 0 276411429 159997952 22438 33554432000 4194304 5963574 140737423676720 140101286995480 4378528 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 156248
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 13064
/proc/meminfo: memFree=27437452/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=158192 CPUtime=162.23 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 27864 0 0 0 16207 16 0 0 20 0 2 0 276411428 161988608 28652 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 39548 28652 190 432 0 39113 0
[pid=13061/tid=13062] ppid=13059 vsize=158192 CPUtime=161.82 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 27164 0 0 0 16164 18 0 0 20 0 2 0 276411429 161988608 28652 33554432000 4194304 5963574 140737423676720 140101286995768 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 158192
[startup+222.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 13064
/proc/meminfo: memFree=27385756/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=160608 CPUtime=222.21 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 34538 0 0 0 22199 22 0 0 20 0 2 0 276411428 164462592 35314 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 40152 35314 190 432 0 39717 0
[pid=13061/tid=13062] ppid=13059 vsize=160608 CPUtime=221.65 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 33838 0 0 0 22140 25 0 0 20 0 2 0 276411429 164462592 35314 33554432000 4194304 5963574 140737423676720 140101286995480 4378852 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 160608
[startup+282.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/179 13064
/proc/meminfo: memFree=27352240/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=226940 CPUtime=282.2 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 38638 0 0 0 28193 27 0 0 20 0 2 0 276411428 232386560 39414 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 56735 39414 190 432 0 56300 0
[pid=13061/tid=13062] ppid=13059 vsize=226940 CPUtime=281.5 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 37938 0 0 0 28119 31 0 0 20 0 2 0 276411429 232386560 39414 33554432000 4194304 5963574 140737423676720 140101286995480 4399474 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 226940
[startup+342.3 s]
/proc/loadavg: 2.11 2.05 2.00 3/179 13065
/proc/meminfo: memFree=27306172/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=229632 CPUtime=342.19 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 45883 0 0 0 34184 35 0 0 20 0 2 0 276411428 235143168 46658 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 57408 46658 190 432 0 56973 0
[pid=13061/tid=13062] ppid=13059 vsize=229632 CPUtime=341.34 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 45183 0 0 0 34094 40 0 0 20 0 2 0 276411429 235143168 46658 33554432000 4194304 5963574 140737423676720 140101286995480 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 229632
[startup+402.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/180 13068
/proc/meminfo: memFree=27266856/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=231080 CPUtime=402.16 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 50611 0 0 0 40175 41 0 0 20 0 2 0 276411428 236625920 51357 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.15 2.07 2.01 3/179 13075
/proc/meminfo: memFree=26786024/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=505396 CPUtime=1421.95 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 106128 0 0 0 142093 102 0 0 20 0 2 0 276411428 517525504 106796 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 126349 106796 190 432 0 125914 0
[pid=13061/tid=13062] ppid=13059 vsize=505396 CPUtime=1418.42 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 105428 0 0 0 141719 123 0 0 20 0 2 0 276411429 517525504 106796 33554432000 4194304 5963574 140737423676720 140101286995480 4399456 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) 505396
[startup+1482.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/179 13075
/proc/meminfo: memFree=26768280/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=505396 CPUtime=1481.93 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 107384 0 0 0 148090 103 0 0 20 0 2 0 276411428 517525504 108052 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 126349 108052 190 432 0 125914 0
[pid=13061/tid=13062] ppid=13059 vsize=505396 CPUtime=1478.26 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 106684 0 0 0 147701 125 0 0 20 0 2 0 276411429 517525504 108052 33554432000 4194304 5963574 140737423676720 140101286995480 4378784 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 505396
[startup+1542.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 13076
/proc/meminfo: memFree=26757192/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=505868 CPUtime=1541.92 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 109161 0 0 0 154086 106 0 0 20 0 2 0 276411428 518008832 109824 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 126467 109824 190 432 0 126032 0
[pid=13061/tid=13062] ppid=13059 vsize=505868 CPUtime=1538.1 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 108461 0 0 0 153681 129 0 0 20 0 2 0 276411429 518008832 109824 33554432000 4194304 5963574 140737423676720 140101286995480 4399456 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) 505868
[startup+1602.3 s]
/proc/loadavg: 2.09 2.06 2.00 3/180 13079
/proc/meminfo: memFree=26732140/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=506028 CPUtime=1601.91 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 111568 0 0 0 160083 108 0 0 20 0 2 0 276411428 518172672 112231 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 126507 112231 190 432 0 126072 0
[pid=13061/tid=13062] ppid=13059 vsize=506028 CPUtime=1597.94 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 110868 0 0 0 159662 132 0 0 20 0 2 0 276411429 518172672 112231 33554432000 4194304 5963574 140737423676720 140101286996008 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 506028
[startup+1662.3 s]
/proc/loadavg: 2.15 2.08 2.01 3/179 13079
/proc/meminfo: memFree=26717644/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=507196 CPUtime=1661.9 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 113677 0 0 0 166080 110 0 0 20 0 2 0 276411428 519368704 114340 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 126799 114340 190 432 0 126364 0
[pid=13061/tid=13062] ppid=13059 vsize=507196 CPUtime=1657.78 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 112977 0 0 0 165643 135 0 0 20 0 2 0 276411429 519368704 114340 33554432000 4194304 5963574 140737423676720 140101286995480 4388706 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 507196
[startup+1722.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/179 13079
/proc/meminfo: memFree=26703312/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=508004 CPUtime=1721.9 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 115037 0 0 0 172078 112 0 0 20 0 2 0 276411428 520196096 115700 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 127001 115700 190 432 0 126566 0
[pid=13061/tid=13062] ppid=13059 vsize=508004 CPUtime=1717.63 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 114337 0 0 0 171625 138 0 0 20 0 2 0 276411429 520196096 115700 33554432000 4194304 5963574 140737423676720 140101286995480 4378832 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) 508004
[startup+1782.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/179 13079
/proc/meminfo: memFree=26689348/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=508164 CPUtime=1781.89 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 115529 0 0 0 178076 113 0 0 20 0 2 0 276411428 520359936 116192 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 127041 116192 190 432 0 126606 0
[pid=13061/tid=13062] ppid=13059 vsize=508164 CPUtime=1777.47 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 114829 0 0 0 177607 140 0 0 20 0 2 0 276411429 520359936 116192 33554432000 4194304 5963574 140737423676720 140101286995480 4399456 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) 508164
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.10 2.07 2.01 3/179 13157
/proc/meminfo: memFree=27169776/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=508164 CPUtime=1791.49 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 116188 0 0 0 179035 114 0 0 20 0 2 0 276411428 520359936 116845 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 127041 116845 190 432 0 126606 0
[pid=13061/tid=13062] ppid=13059 vsize=508164 CPUtime=1787.04 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 115488 0 0 0 178564 140 0 0 20 0 2 0 276411429 520359936 116845 33554432000 4194304 5963574 140737423676720 140101286995480 4399456 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) 508164
[startup+1795.1 s]
/proc/loadavg: 2.17 2.09 2.01 3/179 13157
/proc/meminfo: memFree=27166692/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=508164 CPUtime=1794.69 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 116378 0 0 0 179355 114 0 0 20 0 2 0 276411428 520359936 117035 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 127041 117035 190 432 0 126606 0
[pid=13061/tid=13062] ppid=13059 vsize=508164 CPUtime=1790.23 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 115678 0 0 0 178882 141 0 0 20 0 2 0 276411429 520359936 117035 33554432000 4194304 5963574 140737423676720 140101286995480 4402906 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) 508164
[startup+1798.3 s]
/proc/loadavg: 2.17 2.09 2.01 3/179 13157
/proc/meminfo: memFree=27160552/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=508164 CPUtime=1797.87 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 116569 0 0 0 179673 114 0 0 20 0 2 0 276411428 520359936 117226 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 127041 117226 190 432 0 126606 0
[pid=13061/tid=13062] ppid=13059 vsize=508164 CPUtime=1793.42 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 115869 0 0 0 179201 141 0 0 20 0 2 0 276411429 520359936 117226 33554432000 4194304 5963574 140737423676720 140101286995480 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 508164
[startup+1799.1 s]
/proc/loadavg: 2.17 2.09 2.01 3/179 13157
/proc/meminfo: memFree=27158320/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=508164 CPUtime=1798.67 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 116621 0 0 0 179753 114 0 0 20 0 2 0 276411428 520359936 117278 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 127041 117278 190 432 0 126606 0
[pid=13061/tid=13062] ppid=13059 vsize=508164 CPUtime=1794.22 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 115921 0 0 0 179281 141 0 0 20 0 2 0 276411429 520359936 117278 33554432000 4194304 5963574 140737423676720 140101286996008 4399448 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 508164
[startup+1799.5 s]
/proc/loadavg: 2.16 2.09 2.01 3/179 13157
/proc/meminfo: memFree=27148028/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=508164 CPUtime=1799.08 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 116656 0 0 0 179794 114 0 0 20 0 2 0 276411428 520359936 117313 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 127041 117313 190 432 0 126606 0
[pid=13061/tid=13062] ppid=13059 vsize=508164 CPUtime=1794.62 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 115956 0 0 0 179321 141 0 0 20 0 2 0 276411429 520359936 117313 33554432000 4194304 5963574 140737423676720 140101286995480 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.08
Current children cumulated vsize (KiB) 508164
[startup+1799.9 s]
/proc/loadavg: 2.16 2.09 2.01 3/179 13157
/proc/meminfo: memFree=27148028/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=508164 CPUtime=1799.47 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 116698 0 0 0 179833 114 0 0 20 0 2 0 276411428 520359936 117355 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 127041 117355 190 432 0 126606 0
[pid=13061/tid=13062] ppid=13059 vsize=508164 CPUtime=1795.02 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 115998 0 0 0 179361 141 0 0 20 0 2 0 276411429 520359936 117355 33554432000 4194304 5963574 140737423676720 140101286995480 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 508164
[startup+1800 s]
/proc/loadavg: 2.16 2.09 2.01 3/179 13157
/proc/meminfo: memFree=27148028/32873648 swapFree=6848/6848
[pid=13061] ppid=13059 vsize=508164 CPUtime=1799.56 cores=0,2,4,6
/proc/13061/stat : 13061 (wbo1.7) S 13059 13061 12137 0 -1 4202496 116715 0 0 0 179842 114 0 0 20 0 2 0 276411428 520359936 117364 33554432000 4194304 5963574 140737423676720 140737423676240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13061/statm: 127041 117364 190 432 0 126606 0
[pid=13061/tid=13062] ppid=13059 vsize=508164 CPUtime=1795.11 cores=0,2,4,6
/proc/13061/task/13062/stat : 13062 (wbo1.7) R 13059 13061 12137 0 -1 4202560 116015 0 0 0 179370 141 0 0 20 0 2 0 276411429 520359936 117364 33554432000 4194304 5963574 140737423676720 140101286995480 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 508164
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13061 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=708314
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=425783
# CPU time returned by wait4() is 1795.13
# while last known CPU time is 1799.56
#
# 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.56
CPU user time (s): 1798.42
CPU system time (s): 1.14
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 508164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.71
system time used= 1.42578
maximum resident set size= 469464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116717
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= 196
involuntary context switches= 1854
runsolver used 3.21351 second user time and 7.57285 second system time
The end