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-3727343-1338656749/watcher-3727343-1338656749 -o /tmp/evaluation-result-3727343-1338656749/solver-3727343-1338656749 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727343-1338656749.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.95 2/174 2862
/proc/meminfo: memFree=30888456/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=18136 CPUtime=0 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 731 0 0 0 0 0 0 0 20 0 2 0 331800808 18571264 673 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 20918 674 168 433 0 20482 0
[pid=2862/tid=2863] ppid=2860 vsize=83672 CPUtime=0 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 2 0 331800808 85680128 688 33554432000 4194304 5964350 140735855822656 140735855822072 5136410 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.030729 s]
/proc/loadavg: 2.00 2.00 1.95 2/174 2862
/proc/meminfo: memFree=30888456/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=83672 CPUtime=0.02 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 880 0 0 0 2 0 0 0 20 0 2 0 331800808 85680128 822 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 20918 822 190 433 0 20482 0
[pid=2862/tid=2863] ppid=2860 vsize=83672 CPUtime=0.01 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 149 0 0 0 1 0 0 0 20 0 2 0 331800808 85680128 822 33554432000 4194304 5964350 140735855822656 140735855822072 4419376 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 83672
[startup+0.100251 s]
/proc/loadavg: 2.00 2.00 1.95 2/174 2862
/proc/meminfo: memFree=30888456/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=83672 CPUtime=0.09 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 1027 0 0 0 9 0 0 0 20 0 2 0 331800808 85680128 969 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 20918 969 192 433 0 20482 0
[pid=2862/tid=2863] ppid=2860 vsize=83672 CPUtime=0.08 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 296 0 0 0 8 0 0 0 20 0 2 0 331800808 85680128 969 33554432000 4194304 5964350 140735855822656 140735855822072 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83672
[startup+0.300193 s]
/proc/loadavg: 2.00 2.00 1.95 2/174 2862
/proc/meminfo: memFree=30888456/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=83672 CPUtime=0.29 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 1294 0 0 0 29 0 0 0 20 0 2 0 331800808 85680128 1236 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 20918 1236 192 433 0 20482 0
[pid=2862/tid=2863] ppid=2860 vsize=83672 CPUtime=0.28 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 563 0 0 0 28 0 0 0 20 0 2 0 331800808 85680128 1236 33554432000 4194304 5964350 140735855822656 140735855822072 4373293 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83672
[startup+0.701053 s]
/proc/loadavg: 2.00 2.00 1.95 2/174 2862
/proc/meminfo: memFree=30888456/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=83672 CPUtime=0.69 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 1692 0 0 0 69 0 0 0 20 0 2 0 331800808 85680128 1634 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 20918 1634 192 433 0 20482 0
[pid=2862/tid=2863] ppid=2860 vsize=83672 CPUtime=0.68 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 961 0 0 0 68 0 0 0 20 0 2 0 331800808 85680128 1634 33554432000 4194304 5964350 140735855822656 139731503118136 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83672
[startup+1.50076 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 2903
/proc/meminfo: memFree=30877952/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=83672 CPUtime=1.49 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 2322 0 0 0 149 0 0 0 20 0 2 0 331800808 85680128 2238 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 20918 2238 192 433 0 20482 0
[pid=2862/tid=2863] ppid=2860 vsize=83672 CPUtime=1.48 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 1591 0 0 0 148 0 0 0 20 0 2 0 331800808 85680128 2238 33554432000 4194304 5964350 140735855822656 139731503118136 4389052 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83672
[startup+3.10106 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 2903
/proc/meminfo: memFree=30873000/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=83888 CPUtime=3.09 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 3041 0 0 0 309 0 0 0 20 0 2 0 331800808 85901312 2957 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 20972 2957 192 433 0 20536 0
[pid=2862/tid=2863] ppid=2860 vsize=83888 CPUtime=3.07 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 2310 0 0 0 307 0 0 0 20 0 2 0 331800808 85901312 2957 33554432000 4194304 5964350 140735855822656 139731503118376 4400023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83888
[startup+6.30107 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 2903
/proc/meminfo: memFree=30859004/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=83996 CPUtime=6.29 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 5302 0 0 0 628 1 0 0 20 0 2 0 331800808 86011904 5218 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 20999 5218 192 433 0 20563 0
[pid=2862/tid=2863] ppid=2860 vsize=83996 CPUtime=6.26 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 4571 0 0 0 625 1 0 0 20 0 2 0 331800808 86011904 5218 33554432000 4194304 5964350 140735855822656 139731503118136 4388461 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83996
[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 2903
/proc/meminfo: memFree=30846552/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=83672 CPUtime=12.68 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 6672 0 0 0 1267 1 0 0 20 0 2 0 331800808 85680128 6989 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 20918 6989 192 433 0 20482 0
[pid=2862/tid=2863] ppid=2860 vsize=83672 CPUtime=12.64 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 5941 0 0 0 1263 1 0 0 20 0 2 0 331800808 85680128 6989 33554432000 4194304 5964350 140735855822656 139731503119288 4391317 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 83672
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 2903
/proc/meminfo: memFree=30830208/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=84156 CPUtime=25.48 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 8986 0 0 0 2546 2 0 0 20 0 2 0 331800808 86175744 9303 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 21039 9303 192 433 0 20603 0
[pid=2862/tid=2863] ppid=2860 vsize=84156 CPUtime=25.41 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 8255 0 0 0 2539 2 0 0 20 0 2 0 331800808 86175744 9303 33554432000 4194304 5964350 140735855822656 139731503118136 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84156
[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 2903
/proc/meminfo: memFree=30784128/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=84396 CPUtime=51.08 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 14649 0 0 0 5105 3 0 0 20 0 2 0 331800808 86421504 14966 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 21099 14966 192 433 0 20663 0
[pid=2862/tid=2863] ppid=2860 vsize=84396 CPUtime=50.95 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 13918 0 0 0 5092 3 0 0 20 0 2 0 331800808 86421504 14966 33554432000 4194304 5964350 140735855822656 139731503118136 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84396
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 2903
/proc/meminfo: memFree=30726156/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=149932 CPUtime=102.25 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 24408 0 0 0 10218 7 0 0 20 0 2 0 331800808 153530368 24813 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 37483 24813 192 433 0 37047 0
[pid=2862/tid=2863] ppid=2860 vsize=149932 CPUtime=102 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 23677 0 0 0 10192 8 0 0 20 0 2 0 331800808 153530368 24813 33554432000 4194304 5964350 140735855822656 139731503118136 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 149932
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 2903
/proc/meminfo: memFree=30663988/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=215828 CPUtime=162.24 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 36996 0 0 0 16210 14 0 0 20 0 2 0 331800808 221007872 37427 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 53957 37427 192 433 0 53521 0
[pid=2862/tid=2863] ppid=2860 vsize=215828 CPUtime=161.83 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 36265 0 0 0 16168 15 0 0 20 0 2 0 331800808 221007872 37427 33554432000 4194304 5964350 140735855822656 139731503118136 4400321 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 215828
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 2904
/proc/meminfo: memFree=30610612/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=215828 CPUtime=222.22 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 44467 0 0 0 22204 18 0 0 20 0 2 0 331800808 221007872 44905 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 53957 44905 192 433 0 53521 0
[pid=2862/tid=2863] ppid=2860 vsize=215828 CPUtime=221.67 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 43736 0 0 0 22146 21 0 0 20 0 2 0 331800808 221007872 44905 33554432000 4194304 5964350 140735855822656 139731503118328 4378912 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 215828
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 2907
/proc/meminfo: memFree=30582392/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=281904 CPUtime=282.16 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 51474 0 0 0 28194 22 0 0 20 0 2 0 331800808 288669696 52261 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 70476 52261 192 433 0 70040 0
[pid=2862/tid=2863] ppid=2860 vsize=281904 CPUtime=281.48 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 50743 0 0 0 28122 26 0 0 20 0 2 0 331800808 288669696 52261 33554432000 4194304 5964350 140735855822656 139731503118328 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 281904
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 2907
/proc/meminfo: memFree=30556208/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=281904 CPUtime=342.15 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 57483 0 0 0 34188 27 0 0 20 0 2 0 331800808 288669696 58822 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 70476 58822 192 433 0 70040 0
[pid=2862/tid=2863] ppid=2860 vsize=281904 CPUtime=341.32 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 56752 0 0 0 34100 32 0 0 20 0 2 0 331800808 288669696 58822 33554432000 4194304 5964350 140735855822656 139731503118136 4400581 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 281904
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 2907
/proc/meminfo: memFree=30508384/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=347440 CPUtime=402.14 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 67905 0 0 0 40181 33 0 0 20 0 2 0 331800808 355778560 69244 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2915
/proc/meminfo: memFree=30177992/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=542424 CPUtime=1421.9 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 121931 0 0 0 142118 72 0 0 20 0 2 0 331800808 555442176 123344 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 135606 123344 192 433 0 135170 0
[pid=2862/tid=2863] ppid=2860 vsize=542424 CPUtime=1418.46 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 121200 0 0 0 141753 93 0 0 20 0 2 0 331800808 555442176 123344 33554432000 4194304 5964350 140735855822656 139731503119288 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 542424
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/180 2918
/proc/meminfo: memFree=30164016/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=542424 CPUtime=1481.88 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 121948 0 0 0 148116 72 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 135606 123361 192 433 0 135170 0
[pid=2862/tid=2863] ppid=2860 vsize=542424 CPUtime=1478.3 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 121217 0 0 0 147736 94 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 139731503119288 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 542424
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2918
/proc/meminfo: memFree=30144200/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=542424 CPUtime=1541.87 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 121948 0 0 0 154115 72 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 135606 123361 192 433 0 135170 0
[pid=2862/tid=2863] ppid=2860 vsize=542424 CPUtime=1538.15 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 121217 0 0 0 153720 95 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 139731503119288 4400023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 542424
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2918
/proc/meminfo: memFree=30142460/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=542424 CPUtime=1601.86 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 121948 0 0 0 160114 72 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 135606 123361 192 433 0 135170 0
[pid=2862/tid=2863] ppid=2860 vsize=542424 CPUtime=1598 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 121217 0 0 0 159704 96 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 139731503119288 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 542424
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2918
/proc/meminfo: memFree=30123724/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=542424 CPUtime=1661.85 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 121948 0 0 0 166113 72 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 135606 123361 192 433 0 135170 0
[pid=2862/tid=2863] ppid=2860 vsize=542424 CPUtime=1657.84 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 121217 0 0 0 165687 97 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 139731503119288 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 542424
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2919
/proc/meminfo: memFree=30117028/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=542424 CPUtime=1721.84 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 121948 0 0 0 172112 72 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 135606 123361 192 433 0 135170 0
[pid=2862/tid=2863] ppid=2860 vsize=542424 CPUtime=1717.69 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 121217 0 0 0 171671 98 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 139731503119288 4399921 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 542424
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2919
/proc/meminfo: memFree=30114792/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=542424 CPUtime=1781.83 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 121950 0 0 0 178111 72 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 135606 123361 192 433 0 135170 0
[pid=2862/tid=2863] ppid=2860 vsize=542424 CPUtime=1777.53 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 121219 0 0 0 177654 99 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 139731503119288 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 542424
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2919
/proc/meminfo: memFree=30114544/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=542424 CPUtime=1791.44 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 121950 0 0 0 179072 72 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 135606 123361 192 433 0 135170 0
[pid=2862/tid=2863] ppid=2860 vsize=542424 CPUtime=1787.12 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 121219 0 0 0 178613 99 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 139731503119288 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 542424
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2919
/proc/meminfo: memFree=30114392/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=542424 CPUtime=1794.64 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 121950 0 0 0 179392 72 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 135606 123361 192 433 0 135170 0
[pid=2862/tid=2863] ppid=2860 vsize=542424 CPUtime=1790.31 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 121219 0 0 0 178932 99 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 139731503119288 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 542424
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2919
/proc/meminfo: memFree=30114144/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=542424 CPUtime=1797.83 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 121950 0 0 0 179711 72 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 135606 123361 192 433 0 135170 0
[pid=2862/tid=2863] ppid=2860 vsize=542424 CPUtime=1793.49 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 121219 0 0 0 179250 99 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 139731503119288 4399944 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 542424
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2919
/proc/meminfo: memFree=30114020/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=542424 CPUtime=1798.63 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 121950 0 0 0 179791 72 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 135606 123361 192 433 0 135170 0
[pid=2862/tid=2863] ppid=2860 vsize=542424 CPUtime=1794.29 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 121219 0 0 0 179330 99 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 139731503119288 4400011 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (KiB) 542424
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2919
/proc/meminfo: memFree=30113896/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=542424 CPUtime=1799.04 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 121950 0 0 0 179832 72 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 135606 123361 192 433 0 135170 0
[pid=2862/tid=2863] ppid=2860 vsize=542424 CPUtime=1794.7 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 121219 0 0 0 179371 99 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 139731503119288 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.04
Current children cumulated vsize (KiB) 542424
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2919
/proc/meminfo: memFree=30113896/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=542424 CPUtime=1799.43 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 121950 0 0 0 179871 72 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 135606 123361 192 433 0 135170 0
[pid=2862/tid=2863] ppid=2860 vsize=542424 CPUtime=1795.09 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 121219 0 0 0 179410 99 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 139731503119288 4400009 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (KiB) 542424
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 2919
/proc/meminfo: memFree=30113896/32873648 swapFree=6860/6860
[pid=2862] ppid=2860 vsize=542424 CPUtime=1799.53 cores=1,3,5,7
/proc/2862/stat : 2862 (wbo1.72) S 2860 2862 986 0 -1 4202496 121950 0 0 0 179881 72 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 140735855822176 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2862/statm: 135606 123361 192 433 0 135170 0
[pid=2862/tid=2863] ppid=2860 vsize=542424 CPUtime=1795.19 cores=1,3,5,7
/proc/2862/task/2863/stat : 2863 (wbo1.72) R 2860 2862 986 0 -1 4202560 121219 0 0 0 179420 99 0 0 20 0 2 0 331800808 555442176 123361 33554432000 4194304 5964350 140735855822656 139731503119288 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 542424
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2862 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=210238
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=2847
# CPU time returned by wait4() is 1795.21
# while last known CPU time is 1799.53
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800
CPU time (s): 1799.53
CPU user time (s): 1798.81
CPU system time (s): 0.72
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 546464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.21
system time used= 1.00285
maximum resident set size= 496432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121952
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= 219
involuntary context switches= 1974
runsolver used 3.08553 second user time and 8.74667 second system time
The end