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-3713123-1338208316/watcher-3713123-1338208316 -o /tmp/evaluation-result-3713123-1338208316/solver-3713123-1338208316 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3713123-1338208316.wbo
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 2.00 3/177 1300
/proc/meminfo: memFree=27208584/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=3520 CPUtime=0 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) R 1298 1300 32463 0 -1 4202496 391 0 0 0 0 0 0 0 20 0 1 0 286958865 3604480 343 33554432000 4194304 5964318 140734444991680 140736447461432 4344327 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 880 343 163 433 0 435 0
[pid=1300/tid=1301] ppid=1298 vsize=84192 CPUtime=0 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 2 0 286958866 86212608 813 33554432000 4194304 5964318 140734444991680 140736447461432 5136394 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0531009 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1300
/proc/meminfo: memFree=27208584/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=84192 CPUtime=0.04 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 1280 0 0 0 4 0 0 0 20 0 2 0 286958865 86212608 1223 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 21048 1223 194 433 0 20612 0
[pid=1300/tid=1301] ppid=1298 vsize=84192 CPUtime=0.03 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 424 0 0 0 3 0 0 0 20 0 2 0 286958866 86212608 1223 33554432000 4194304 5964318 140734444991680 140729391728632 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 84192
[startup+0.100286 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1300
/proc/meminfo: memFree=27208584/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=84192 CPUtime=0.09 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 1430 0 0 0 9 0 0 0 20 0 2 0 286958865 86212608 1373 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 21048 1373 194 433 0 20612 0
[pid=1300/tid=1301] ppid=1298 vsize=84192 CPUtime=0.08 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 574 0 0 0 8 0 0 0 20 0 2 0 286958866 86212608 1373 33554432000 4194304 5964318 140734444991680 140729391728632 5136324 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) 84192
[startup+0.300253 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1300
/proc/meminfo: memFree=27208584/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=84192 CPUtime=0.29 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 1942 0 0 0 29 0 0 0 20 0 2 0 286958865 86212608 1885 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 21048 1885 194 433 0 20612 0
[pid=1300/tid=1301] ppid=1298 vsize=84192 CPUtime=0.28 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 1086 0 0 0 28 0 0 0 20 0 2 0 286958866 86212608 1885 33554432000 4194304 5964318 140734444991680 140729391728632 5136324 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) 84192
[startup+0.700251 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1300
/proc/meminfo: memFree=27208584/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=84192 CPUtime=0.69 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 2793 0 0 0 69 0 0 0 20 0 2 0 286958865 86212608 2736 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 21048 2736 194 433 0 20612 0
[pid=1300/tid=1301] ppid=1298 vsize=84192 CPUtime=0.68 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 1937 0 0 0 68 0 0 0 20 0 2 0 286958866 86212608 2736 33554432000 4194304 5964318 140734444991680 140729391728632 5136324 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) 84192
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1302
/proc/meminfo: memFree=27195780/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=84336 CPUtime=1.49 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 4313 0 0 0 149 0 0 0 20 0 2 0 286958865 86360064 4256 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 21084 4256 194 433 0 20648 0
[pid=1300/tid=1301] ppid=1298 vsize=84336 CPUtime=1.47 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 3457 0 0 0 147 0 0 0 20 0 2 0 286958866 86360064 4256 33554432000 4194304 5964318 140734444991680 140729391728680 5136324 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) 84336
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1302
/proc/meminfo: memFree=27191308/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=84336 CPUtime=3.08 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 5213 0 0 0 308 0 0 0 20 0 2 0 286958865 86360064 5156 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 21084 5156 194 433 0 20648 0
[pid=1300/tid=1301] ppid=1298 vsize=84336 CPUtime=3.07 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 4357 0 0 0 307 0 0 0 20 0 2 0 286958866 86360064 5156 33554432000 4194304 5964318 140734444991680 140729391728632 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84336
[startup+6.30025 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 1302
/proc/meminfo: memFree=27177952/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=84408 CPUtime=6.29 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 7689 0 0 0 627 2 0 0 20 0 2 0 286958865 86433792 7632 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 21102 7632 194 433 0 20666 0
[pid=1300/tid=1301] ppid=1298 vsize=84408 CPUtime=6.26 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 6833 0 0 0 625 1 0 0 20 0 2 0 286958866 86433792 7632 33554432000 4194304 5964318 140734444991680 140729391728440 4221120 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) 84408
[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 1302
/proc/meminfo: memFree=27158556/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=84408 CPUtime=12.69 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 12089 0 0 0 1266 3 0 0 20 0 2 0 286958865 86433792 12032 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 21102 12032 194 433 0 20666 0
[pid=1300/tid=1301] ppid=1298 vsize=84408 CPUtime=12.65 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 11233 0 0 0 1262 3 0 0 20 0 2 0 286958866 86433792 12032 33554432000 4194304 5964318 140734444991680 140729391728632 4399995 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84408
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 1302
/proc/meminfo: memFree=27138696/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=84516 CPUtime=25.49 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 16978 0 0 0 2544 5 0 0 20 0 2 0 286958865 86544384 16921 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 21129 16921 194 433 0 20693 0
[pid=1300/tid=1301] ppid=1298 vsize=84516 CPUtime=25.41 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 16122 0 0 0 2536 5 0 0 20 0 2 0 286958866 86544384 16921 33554432000 4194304 5964318 140734444991680 140729391728632 4381464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84516
[startup+51.1003 s]
/proc/loadavg: 2.04 2.02 2.00 3/180 1303
/proc/meminfo: memFree=27095596/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=150356 CPUtime=51.08 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 27240 0 0 0 5099 9 0 0 20 0 2 0 286958865 153964544 27183 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 37589 27183 194 433 0 37153 0
[pid=1300/tid=1301] ppid=1298 vsize=150356 CPUtime=50.94 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 26384 0 0 0 5085 9 0 0 20 0 2 0 286958866 153964544 27183 33554432000 4194304 5964318 140734444991680 140729391728632 4221120 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) 150356
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 1303
/proc/meminfo: memFree=27052272/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=215892 CPUtime=102.25 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 36365 0 0 0 10213 12 0 0 20 0 2 0 286958865 221073408 36343 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 53973 36343 194 433 0 53537 0
[pid=1300/tid=1301] ppid=1298 vsize=215892 CPUtime=101.99 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 35509 0 0 0 10186 13 0 0 20 0 2 0 286958866 221073408 36343 33554432000 4194304 5964318 140734444991680 140729391728632 4399991 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) 215892
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1303
/proc/meminfo: memFree=27045892/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=216132 CPUtime=162.22 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 36583 0 0 0 16210 12 0 0 20 0 2 0 286958865 221319168 37252 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 54033 37252 194 433 0 53597 0
[pid=1300/tid=1301] ppid=1298 vsize=216132 CPUtime=161.81 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 35727 0 0 0 16167 14 0 0 20 0 2 0 286958866 221319168 37252 33554432000 4194304 5964318 140734444991680 140729391728440 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 216132
[startup+222.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 1303
/proc/meminfo: memFree=26995276/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=217788 CPUtime=222.21 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 48350 0 0 0 22204 17 0 0 20 0 2 0 286958865 223014912 49019 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 54447 49019 194 433 0 54011 0
[pid=1300/tid=1301] ppid=1298 vsize=217788 CPUtime=221.65 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 47494 0 0 0 22145 20 0 0 20 0 2 0 286958866 223014912 49019 33554432000 4194304 5964318 140734444991680 140729391728632 4400019 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 217788
[startup+282.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 1304
/proc/meminfo: memFree=26970844/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=283684 CPUtime=282.2 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 54323 0 0 0 28200 20 0 0 20 0 2 0 286958865 290492416 55108 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 70921 55108 194 433 0 70485 0
[pid=1300/tid=1301] ppid=1298 vsize=283684 CPUtime=281.49 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 53467 0 0 0 28126 23 0 0 20 0 2 0 286958866 290492416 55108 33554432000 4194304 5964318 140734444991680 140729391728632 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 283684
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 1304
/proc/meminfo: memFree=26883764/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=350012 CPUtime=342.18 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 73244 0 0 0 34190 28 0 0 20 0 2 0 286958865 358412288 74094 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 87503 74094 194 433 0 87067 0
[pid=1300/tid=1301] ppid=1298 vsize=350012 CPUtime=341.32 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 72388 0 0 0 34100 32 0 0 20 0 2 0 286958866 358412288 74094 33554432000 4194304 5964318 140734444991680 140729391728632 4399995 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 350012
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 1304
/proc/meminfo: memFree=26839672/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=418284 CPUtime=402.17 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 84299 0 0 0 40182 35 0 0 20 0 2 0 286958865 428322816 85149 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 1354
/proc/meminfo: memFree=26551344/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=555600 CPUtime=1421.97 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 126397 0 0 0 142134 63 0 0 20 0 2 0 286958865 568934400 126381 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 138900 126381 194 433 0 138464 0
[pid=1300/tid=1301] ppid=1298 vsize=555600 CPUtime=1418.44 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 125541 0 0 0 141761 83 0 0 20 0 2 0 286958866 568934400 126381 33554432000 4194304 5964318 140734444991680 140729391728632 4399982 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 555600
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 1354
/proc/meminfo: memFree=26484164/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=622396 CPUtime=1481.95 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 135434 0 0 0 148127 68 0 0 20 0 2 0 286958865 637333504 135418 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 155599 135418 194 433 0 155163 0
[pid=1300/tid=1301] ppid=1298 vsize=622396 CPUtime=1478.28 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 134578 0 0 0 147738 90 0 0 20 0 2 0 286958866 637333504 135418 33554432000 4194304 5964318 140734444991680 140729391728632 4399960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 622396
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1355
/proc/meminfo: memFree=26435220/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=622900 CPUtime=1541.94 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 142809 0 0 0 154120 74 0 0 20 0 2 0 286958865 637849600 142790 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 155725 142790 194 433 0 155289 0
[pid=1300/tid=1301] ppid=1298 vsize=622900 CPUtime=1538.11 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 141953 0 0 0 153714 97 0 0 20 0 2 0 286958866 637849600 142790 33554432000 4194304 5964318 140734444991680 140729391728632 4399995 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 622900
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1355
/proc/meminfo: memFree=26370532/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=624948 CPUtime=1601.92 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 149981 0 0 0 160113 79 0 0 20 0 2 0 286958865 639946752 150000 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 156237 150000 194 433 0 155801 0
[pid=1300/tid=1301] ppid=1298 vsize=624948 CPUtime=1597.94 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 149125 0 0 0 159691 103 0 0 20 0 2 0 286958866 639946752 150000 33554432000 4194304 5964318 140734444991680 140729391728632 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 624948
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1355
/proc/meminfo: memFree=26307828/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=692908 CPUtime=1661.9 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 157674 0 0 0 166106 84 0 0 20 0 2 0 286958865 709537792 157691 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 173227 157691 194 433 0 172791 0
[pid=1300/tid=1301] ppid=1298 vsize=692908 CPUtime=1657.77 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 156818 0 0 0 165668 109 0 0 20 0 2 0 286958866 709537792 157691 33554432000 4194304 5964318 140734444991680 140729391728632 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 692908
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1360
/proc/meminfo: memFree=26270688/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=693364 CPUtime=1721.89 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 159969 0 0 0 172103 86 0 0 20 0 2 0 286958865 710004736 159983 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 173341 159983 194 433 0 172905 0
[pid=1300/tid=1301] ppid=1298 vsize=693364 CPUtime=1717.62 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 159113 0 0 0 171650 112 0 0 20 0 2 0 286958866 710004736 159983 33554432000 4194304 5964318 140734444991680 140729391728680 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 693364
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 1384
/proc/meminfo: memFree=26269840/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=693796 CPUtime=1781.89 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 160089 0 0 0 178102 87 0 0 20 0 2 0 286958865 710447104 160103 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 173449 160103 194 433 0 173013 0
[pid=1300/tid=1301] ppid=1298 vsize=693796 CPUtime=1777.46 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 159233 0 0 0 177633 113 0 0 20 0 2 0 286958866 710447104 160103 33554432000 4194304 5964318 140734444991680 140729391728680 4399982 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 693796
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 1384
/proc/meminfo: memFree=26269772/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=693904 CPUtime=1791.49 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 160105 0 0 0 179062 87 0 0 20 0 2 0 286958865 710557696 160119 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 173476 160119 194 433 0 173040 0
[pid=1300/tid=1301] ppid=1298 vsize=693904 CPUtime=1787.04 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 159249 0 0 0 178591 113 0 0 20 0 2 0 286958866 710557696 160119 33554432000 4194304 5964318 140734444991680 140729391728680 4381878 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 693904
[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 1384
/proc/meminfo: memFree=26269780/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=693904 CPUtime=1794.69 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 160113 0 0 0 179382 87 0 0 20 0 2 0 286958865 710557696 160127 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 173476 160127 194 433 0 173040 0
[pid=1300/tid=1301] ppid=1298 vsize=693904 CPUtime=1790.23 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 159257 0 0 0 178910 113 0 0 20 0 2 0 286958866 710557696 160127 33554432000 4194304 5964318 140734444991680 140729391728680 4400019 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 693904
[startup+1798.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 1386
/proc/meminfo: memFree=26269648/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=694084 CPUtime=1797.88 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 160146 0 0 0 179701 87 0 0 20 0 2 0 286958865 710742016 160160 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 173521 160160 194 433 0 173085 0
[pid=1300/tid=1301] ppid=1298 vsize=694084 CPUtime=1793.42 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 159290 0 0 0 179229 113 0 0 20 0 2 0 286958866 710742016 160160 33554432000 4194304 5964318 140734444991680 140729391728680 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 694084
[startup+1799.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 1386
/proc/meminfo: memFree=26269648/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=694084 CPUtime=1798.68 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 160148 0 0 0 179781 87 0 0 20 0 2 0 286958865 710742016 160162 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 173521 160162 194 433 0 173085 0
[pid=1300/tid=1301] ppid=1298 vsize=694084 CPUtime=1794.21 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 159292 0 0 0 179308 113 0 0 20 0 2 0 286958866 710742016 160162 33554432000 4194304 5964318 140734444991680 140729391728680 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (KiB) 694084
[startup+1799.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 1386
/proc/meminfo: memFree=26269648/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=694084 CPUtime=1799.09 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 160149 0 0 0 179822 87 0 0 20 0 2 0 286958865 710742016 160163 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 173521 160163 194 433 0 173085 0
[pid=1300/tid=1301] ppid=1298 vsize=694084 CPUtime=1794.62 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 159293 0 0 0 179349 113 0 0 20 0 2 0 286958866 710742016 160163 33554432000 4194304 5964318 140734444991680 140729391728680 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.09
Current children cumulated vsize (KiB) 694084
[startup+1799.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 1386
/proc/meminfo: memFree=26269648/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=694084 CPUtime=1799.48 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 160151 0 0 0 179861 87 0 0 20 0 2 0 286958865 710742016 160165 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 173521 160165 194 433 0 173085 0
[pid=1300/tid=1301] ppid=1298 vsize=694084 CPUtime=1795.01 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 159295 0 0 0 179388 113 0 0 20 0 2 0 286958866 710742016 160165 33554432000 4194304 5964318 140734444991680 140729391728680 4400001 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 694084
[startup+1800 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 1386
/proc/meminfo: memFree=26269648/32873648 swapFree=6336/6336
[pid=1300] ppid=1298 vsize=694084 CPUtime=1799.58 cores=1,3,5,7
/proc/1300/stat : 1300 (wbo1.71) S 1298 1300 32463 0 -1 4202496 160153 0 0 0 179871 87 0 0 20 0 2 0 286958865 710742016 160167 33554432000 4194304 5964318 140734444991680 140734444991200 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1300/statm: 173521 160167 194 433 0 173085 0
[pid=1300/tid=1301] ppid=1298 vsize=694084 CPUtime=1795.11 cores=1,3,5,7
/proc/1300/task/1301/stat : 1301 (wbo1.71) R 1298 1300 32463 0 -1 4202560 159297 0 0 0 179398 113 0 0 20 0 2 0 286958866 710742016 160167 33554432000 4194304 5964318 140734444991680 140729391728680 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (KiB) 694084
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1300 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=999270
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=149825
# CPU time returned by wait4() is 1795.15
# while last known CPU time is 1799.58
#
# 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.58
CPU user time (s): 1798.71
CPU system time (s): 0.87
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 694084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794
system time used= 1.14982
maximum resident set size= 640680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160156
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= 229
involuntary context switches= 1904
runsolver used 2.73058 second user time and 7.09192 second system time
The end