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-3712484-1338196674/watcher-3712484-1338196674 -o /tmp/evaluation-result-3712484-1338196674/solver-3712484-1338196674 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712484-1338196674.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: 3.95 3.93 3.44 4/178 15315
/proc/meminfo: memFree=31163668/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=4156 CPUtime=0 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) R 15313 15315 14514 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 285792912 4255744 303 33554432000 4194304 5964478 140734535113552 140734710104536 4419519 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 1039 303 164 433 0 581 0
[startup+0.0852151 s]
/proc/loadavg: 3.95 3.93 3.44 4/178 15315
/proc/meminfo: memFree=31163668/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=163272 CPUtime=0.15 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 1835 0 0 0 15 0 0 0 20 0 3 0 285792912 167190528 1637 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 40818 1637 199 433 0 40382 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 163272
[startup+0.100174 s]
/proc/loadavg: 3.95 3.93 3.44 4/178 15315
/proc/meminfo: memFree=31163668/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=163272 CPUtime=0.18 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 1898 0 0 0 18 0 0 0 20 0 3 0 285792912 167190528 1700 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 40818 1700 199 433 0 40382 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163272
[startup+0.300118 s]
/proc/loadavg: 3.95 3.93 3.44 4/178 15315
/proc/meminfo: memFree=31163668/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=163272 CPUtime=0.57 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 2765 0 0 0 57 0 0 0 20 0 3 0 285792912 167190528 2460 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 40818 2460 199 433 0 40382 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 163272
[startup+0.700135 s]
/proc/loadavg: 3.95 3.93 3.44 4/178 15315
/proc/meminfo: memFree=31163668/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=163536 CPUtime=1.38 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 3634 0 0 0 137 1 0 0 20 0 3 0 285792912 167460864 3282 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 40884 3282 199 433 0 40448 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 163536
[startup+1.50018 s]
/proc/loadavg: 3.95 3.93 3.44 5/181 15318
/proc/meminfo: memFree=31143316/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=163668 CPUtime=2.97 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 4558 0 0 0 296 1 0 0 20 0 3 0 285792912 167596032 4191 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 40917 4191 199 433 0 40481 0
[pid=15315/tid=15317] ppid=15313 vsize=163668 CPUtime=1.47 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 2252 0 0 0 145 2 0 0 20 0 3 0 285792913 167596032 4191 33554432000 4194304 5964478 140734535113552 140409655674864 5136404 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15315/tid=15318] ppid=15313 vsize=163668 CPUtime=1.47 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 1350 0 0 0 147 0 0 0 20 0 3 0 285792913 167596032 4192 33554432000 4194304 5964478 140734535113552 140409645185328 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 163668
[startup+3.10029 s]
/proc/loadavg: 3.95 3.93 3.44 5/181 15318
/proc/meminfo: memFree=31130916/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=164064 CPUtime=6.17 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 7027 0 0 0 615 2 0 0 20 0 3 0 285792912 168001536 6660 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 41016 6660 199 433 0 40580 0
[pid=15315/tid=15317] ppid=15313 vsize=164064 CPUtime=3.06 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 3710 0 0 0 304 2 0 0 20 0 3 0 285792913 168001536 6660 33554432000 4194304 5964478 140734535113552 140409655674920 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15315/tid=15318] ppid=15313 vsize=164064 CPUtime=3.06 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 2360 0 0 0 306 0 0 0 20 0 3 0 285792913 168001536 6660 33554432000 4194304 5964478 140734535113552 140409645185336 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164064
[startup+6.3003 s]
/proc/loadavg: 3.96 3.93 3.44 5/181 15318
/proc/meminfo: memFree=31073900/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=164932 CPUtime=12.57 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 12954 0 0 0 1252 5 0 0 20 0 3 0 285792912 168890368 12587 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 41233 12587 199 433 0 40797 0
[pid=15315/tid=15317] ppid=15313 vsize=164932 CPUtime=6.25 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 7630 0 0 0 622 3 0 0 20 0 3 0 285792913 168890368 12587 33554432000 4194304 5964478 140734535113552 140409655674920 4392946 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15315/tid=15318] ppid=15313 vsize=164932 CPUtime=6.25 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 4368 0 0 0 624 1 0 0 20 0 3 0 285792913 168890368 12588 33554432000 4194304 5964478 140734535113552 140409645185336 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164932
[startup+12.7003 s]
/proc/loadavg: 3.96 3.93 3.45 5/181 15318
/proc/meminfo: memFree=30989104/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=166292 CPUtime=25.37 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 23272 0 0 0 2527 10 0 0 20 0 3 0 285792912 170283008 22905 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 41573 22905 199 433 0 41137 0
[pid=15315/tid=15317] ppid=15313 vsize=166292 CPUtime=12.64 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 12626 0 0 0 1258 6 0 0 20 0 3 0 285792913 170283008 22905 33554432000 4194304 5964478 140734535113552 140409655674872 5136404 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15315/tid=15318] ppid=15313 vsize=166292 CPUtime=12.64 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 9689 0 0 0 1261 3 0 0 20 0 3 0 285792913 170283008 22905 33554432000 4194304 5964478 140734535113552 140409645185336 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 166292
[startup+25.5003 s]
/proc/loadavg: 3.97 3.93 3.45 5/181 15318
/proc/meminfo: memFree=30891672/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=298356 CPUtime=50.96 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 39142 0 0 0 5079 17 0 0 20 0 3 0 285792912 305516544 38775 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 74589 38775 199 433 0 74153 0
[pid=15315/tid=15317] ppid=15313 vsize=298356 CPUtime=25.4 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 20237 0 0 0 2531 9 0 0 20 0 3 0 285792913 305516544 38775 33554432000 4194304 5964478 140734535113552 140409655674976 4400419 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15315/tid=15318] ppid=15313 vsize=298356 CPUtime=25.4 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 17948 0 0 0 2533 7 0 0 20 0 3 0 285792913 305516544 38775 33554432000 4194304 5964478 140734535113552 140409645185096 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 298356
[startup+51.1003 s]
/proc/loadavg: 3.98 3.94 3.47 5/181 15318
/proc/meminfo: memFree=30788960/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=299976 CPUtime=102.13 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 54108 0 0 0 10188 25 0 0 20 0 3 0 285792912 307175424 53736 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 74994 53736 199 433 0 74558 0
[pid=15315/tid=15317] ppid=15313 vsize=299976 CPUtime=50.93 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 29660 0 0 0 5078 15 0 0 20 0 3 0 285792913 307175424 53736 33554432000 4194304 5964478 140734535113552 140409655674784 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15315/tid=15318] ppid=15313 vsize=299976 CPUtime=50.91 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 23491 0 0 0 5082 9 0 0 20 0 3 0 285792913 307175424 53736 33554432000 4194304 5964478 140734535113552 140409645185440 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 299976
[startup+102.307 s]
/proc/loadavg: 3.99 3.95 3.49 5/181 15318
/proc/meminfo: memFree=30464000/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=366452 CPUtime=204.49 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 71579 0 0 0 20413 36 0 0 20 0 3 0 285792912 375246848 71202 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 91613 71202 199 433 0 91177 0
[pid=15315/tid=15317] ppid=15313 vsize=366452 CPUtime=101.98 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 45823 0 0 0 10172 26 0 0 20 0 3 0 285792913 375246848 71202 33554432000 4194304 5964478 140734535113552 140409655674784 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15315/tid=15318] ppid=15313 vsize=366452 CPUtime=101.97 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 24799 0 0 0 10186 11 0 0 20 0 3 0 285792913 375246848 71202 33554432000 4194304 5964478 140734535113552 140409645185328 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.49
Current children cumulated vsize (KiB) 366452
[startup+162.3 s]
/proc/loadavg: 3.99 3.95 3.52 5/182 15322
/proc/meminfo: memFree=30289048/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=432780 CPUtime=324.43 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 97111 0 0 0 32388 55 0 0 20 0 3 0 285792912 443166720 97810 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 108195 97810 199 433 0 107759 0
[pid=15315/tid=15317] ppid=15313 vsize=432780 CPUtime=161.79 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 63265 0 0 0 16139 40 0 0 20 0 3 0 285792913 443166720 97810 33554432000 4194304 5964478 140734535113552 140409655674872 5136404 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15315/tid=15318] ppid=15313 vsize=432780 CPUtime=161.81 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 32889 0 0 0 16163 18 0 0 20 0 3 0 285792913 443166720 97810 33554432000 4194304 5964478 140734535113552 140409645185336 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.43
Current children cumulated vsize (KiB) 432780
[startup+222.3 s]
/proc/loadavg: 3.99 3.96 3.55 5/181 15322
/proc/meminfo: memFree=30127340/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=566824 CPUtime=444.41 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 111521 0 0 0 44375 66 0 0 20 0 3 0 285792912 580427776 112076 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 141706 112076 199 433 0 141270 0
[pid=15315/tid=15317] ppid=15313 vsize=566824 CPUtime=221.64 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 73304 0 0 0 22114 50 0 0 20 0 3 0 285792913 580427776 112076 33554432000 4194304 5964478 140734535113552 140409655674784 4400081 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15315/tid=15318] ppid=15313 vsize=566824 CPUtime=221.66 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 37260 0 0 0 22144 22 0 0 20 0 3 0 285792913 580427776 112076 33554432000 4194304 5964478 140734535113552 140409645185440 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.41
Current children cumulated vsize (KiB) 566824
[startup+282.3 s]
/proc/loadavg: 3.99 3.96 3.57 5/181 15362
/proc/meminfo: memFree=30820904/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=568692 CPUtime=564.39 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 122173 0 0 0 56364 75 0 0 20 0 3 0 285792912 582340608 122728 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 142173 122728 199 433 0 141737 0
[pid=15315/tid=15317] ppid=15313 vsize=568692 CPUtime=281.48 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 73343 0 0 0 28097 51 0 0 20 0 3 0 285792913 582340608 122728 33554432000 4194304 5964478 140734535113552 140409655674784 4399922 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15315/tid=15318] ppid=15313 vsize=568692 CPUtime=281.5 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 47873 0 0 0 28118 32 0 0 20 0 3 0 285792913 582340608 122728 33554432000 4194304 5964478 140734535113552 140409645185096 4399962 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.39
Current children cumulated vsize (KiB) 568692
[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.60 5/181 15362
/proc/meminfo: memFree=30515348/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=636248 CPUtime=684.33 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 138900 0 0 0 68342 91 0 0 20 0 3 0 285792912 651517952 139921 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 159062 139921 199 433 0 158626 0
################
# More data... #
################
[pid=15315/tid=15318] ppid=15313 vsize=636248 CPUtime=341.34 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 50852 0 0 0 34100 34 0 0 20 0 3 0 285792913 651517952 139921 33554432000 4194304 5964478 140734535113552 140409645185336 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.33
Current children cumulated vsize (KiB) 636248
[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.62 5/181 15362
/proc/meminfo: memFree=30230920/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=768176 CPUtime=804.28 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 158283 0 0 0 80316 112 0 0 20 0 3 0 285792912 786612224 159182 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 192044 159182 199 433 0 191608 0
[pid=15315/tid=15317] ppid=15313 vsize=768176 CPUtime=401.12 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 101666 0 0 0 40027 85 0 0 20 0 3 0 285792913 786612224 159182 33554432000 4194304 5964478 140734535113552 140409655674872 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15315/tid=15318] ppid=15313 vsize=768176 CPUtime=401.16 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 55660 0 0 0 40078 38 0 0 20 0 3 0 285792913 786612224 159182 33554432000 4194304 5964478 140734535113552 140409645185440 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.28
Current children cumulated vsize (KiB) 768176
[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.64 5/180 15362
/proc/meminfo: memFree=30024612/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=770932 CPUtime=924.2 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 171795 0 0 0 92293 127 0 0 20 0 3 0 285792912 789434368 172607 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 192733 172607 199 433 0 192297 0
[pid=15315/tid=15317] ppid=15313 vsize=770932 CPUtime=460.95 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 114936 0 0 0 45995 100 0 0 20 0 3 0 285792913 789434368 172607 33554432000 4194304 5964478 140734535113552 140409655674872 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15315/tid=15318] ppid=15313 vsize=770932 CPUtime=460.98 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 55902 0 0 0 46059 39 0 0 20 0 3 0 285792913 789434368 172607 33554432000 4194304 5964478 140734535113552 140409645185328 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.2
Current children cumulated vsize (KiB) 770932
[startup+522.3 s]
/proc/loadavg: 3.99 3.97 3.66 5/181 15363
/proc/meminfo: memFree=29817372/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=840064 CPUtime=1044.19 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 191787 0 0 0 104273 146 0 0 20 0 3 0 285792912 860225536 192594 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 210016 192594 199 433 0 209580 0
[pid=15315/tid=15317] ppid=15313 vsize=840064 CPUtime=520.79 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 124362 0 0 0 51968 111 0 0 20 0 3 0 285792913 860225536 192594 33554432000 4194304 5964478 140734535113552 140409655674872 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15315/tid=15318] ppid=15313 vsize=840064 CPUtime=520.82 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 66468 0 0 0 52034 48 0 0 20 0 3 0 285792913 860225536 192594 33554432000 4194304 5964478 140734535113552 140409645185096 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.19
Current children cumulated vsize (KiB) 840064
[startup+582.3 s]
/proc/loadavg: 3.99 3.97 3.68 5/182 15364
/proc/meminfo: memFree=29630996/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=972356 CPUtime=1164.17 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 212067 0 0 0 116253 164 0 0 20 0 3 0 285792912 995692544 212873 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 243089 212873 199 433 0 242653 0
[pid=15315/tid=15317] ppid=15313 vsize=972356 CPUtime=580.64 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 133976 0 0 0 57941 123 0 0 20 0 3 0 285792913 995692544 212873 33554432000 4194304 5964478 140734535113552 140409655674872 4400062 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15315/tid=15318] ppid=15313 vsize=972356 CPUtime=580.66 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 77134 0 0 0 58010 56 0 0 20 0 3 0 285792913 995692544 212873 33554432000 4194304 5964478 140734535113552 140409645185440 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.17
Current children cumulated vsize (KiB) 972356
[startup+642.3 s]
/proc/loadavg: 3.99 3.97 3.69 5/181 15364
/proc/meminfo: memFree=29565032/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=973376 CPUtime=1284.17 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 223452 0 0 0 128240 177 0 0 20 0 3 0 285792912 996737024 224258 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 243344 224258 199 433 0 242908 0
[pid=15315/tid=15317] ppid=15313 vsize=973376 CPUtime=640.49 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 145317 0 0 0 63912 137 0 0 20 0 3 0 285792913 996737024 224258 33554432000 4194304 5964478 140734535113552 140409655674872 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15315/tid=15318] ppid=15313 vsize=973376 CPUtime=640.52 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 77178 0 0 0 63995 57 0 0 20 0 3 0 285792913 996737024 224258 33554432000 4194304 5964478 140734535113552 140409645185096 4399953 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.17
Current children cumulated vsize (KiB) 973376
[startup+702.3 s]
/proc/loadavg: 3.99 3.97 3.71 5/181 15364
/proc/meminfo: memFree=29434304/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=1040636 CPUtime=1404.13 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 233636 0 0 0 140225 188 0 0 20 0 3 0 285792912 1065611264 234442 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 260159 234442 199 433 0 259723 0
[pid=15315/tid=15317] ppid=15313 vsize=1040636 CPUtime=700.33 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 155389 0 0 0 69884 149 0 0 20 0 3 0 285792913 1065611264 234442 33554432000 4194304 5964478 140734535113552 140409655674872 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15315/tid=15318] ppid=15313 vsize=1040636 CPUtime=700.35 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 77290 0 0 0 69977 58 0 0 20 0 3 0 285792913 1065611264 234442 33554432000 4194304 5964478 140734535113552 140409645185096 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.13
Current children cumulated vsize (KiB) 1040636
[startup+762.307 s]
/proc/loadavg: 3.99 3.97 3.73 5/182 15367
/proc/meminfo: memFree=29362532/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=1107280 CPUtime=1524.12 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 251349 0 0 0 152207 205 0 0 20 0 3 0 285792912 1133854720 252155 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 276820 252155 199 433 0 276384 0
[pid=15315/tid=15317] ppid=15313 vsize=1107280 CPUtime=760.18 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 163702 0 0 0 75860 158 0 0 20 0 3 0 285792913 1133854720 252155 33554432000 4194304 5964478 140734535113552 140409655674872 4399907 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15315/tid=15318] ppid=15313 vsize=1107280 CPUtime=760.21 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 86690 0 0 0 75953 68 0 0 20 0 3 0 285792913 1133854720 252155 33554432000 4194304 5964478 140734535113552 140409645185328 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.12
Current children cumulated vsize (KiB) 1107280
[startup+822.3 s]
/proc/loadavg: 3.99 3.97 3.74 5/181 15368
/proc/meminfo: memFree=29258036/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=1175480 CPUtime=1644.09 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 259790 0 0 0 164194 215 0 0 20 0 3 0 285792912 1203691520 260595 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 293870 260595 199 433 0 293434 0
[pid=15315/tid=15317] ppid=15313 vsize=1175480 CPUtime=820.02 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 171945 0 0 0 81833 169 0 0 20 0 3 0 285792913 1203691520 260595 33554432000 4194304 5964478 140734535113552 140409655674872 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15315/tid=15318] ppid=15313 vsize=1175480 CPUtime=820.05 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 86888 0 0 0 81936 69 0 0 20 0 3 0 285792913 1203691520 260595 33554432000 4194304 5964478 140734535113552 140409645185096 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.09
Current children cumulated vsize (KiB) 1175480
[startup+882.3 s]
/proc/loadavg: 3.99 3.97 3.75 5/181 15368
/proc/meminfo: memFree=29109884/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=1178668 CPUtime=1764.08 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 277743 0 0 0 176174 234 0 0 20 0 3 0 285792912 1206956032 278548 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 294667 278548 199 433 0 294231 0
[pid=15315/tid=15317] ppid=15313 vsize=1178668 CPUtime=879.87 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 181830 0 0 0 87805 182 0 0 20 0 3 0 285792913 1206956032 278548 33554432000 4194304 5964478 140734535113552 140409655674872 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15315/tid=15318] ppid=15313 vsize=1178668 CPUtime=879.89 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 94956 0 0 0 87913 76 0 0 20 0 3 0 285792913 1206956032 278548 33554432000 4194304 5964478 140734535113552 140409645185336 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.08
Current children cumulated vsize (KiB) 1178668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 3.99 3.97 3.76 5/181 15368
/proc/meminfo: memFree=29036196/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=1244808 CPUtime=1800.08 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 280935 0 0 0 179770 238 0 0 20 0 3 0 285792912 1274683392 281740 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 311202 281740 199 433 0 310766 0
[pid=15315/tid=15317] ppid=15313 vsize=1244808 CPUtime=897.83 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 184977 0 0 0 89596 187 0 0 20 0 3 0 285792913 1274683392 281740 33554432000 4194304 5964478 140734535113552 140409655674872 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15315/tid=15318] ppid=15313 vsize=1244808 CPUtime=897.85 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 95001 0 0 0 89709 76 0 0 20 0 3 0 285792913 1274683392 281740 33554432000 4194304 5964478 140734535113552 140409645185096 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1244808
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 3.99 3.97 3.76 5/181 15368
/proc/meminfo: memFree=29036196/32873648 swapFree=7116/7116
[pid=15315] ppid=15313 vsize=1244808 CPUtime=1800.08 cores=1,3,5,7
/proc/15315/stat : 15315 (pwbo2.01) S 15313 15315 14514 0 -1 4202496 280935 0 0 0 179770 238 0 0 20 0 3 0 285792912 1274683392 281740 33554432000 4194304 5964478 140734535113552 140734535113072 4546669 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15315/statm: 311202 281740 199 433 0 310766 0
[pid=15315/tid=15317] ppid=15313 vsize=1244808 CPUtime=897.83 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 184977 0 0 0 89596 187 0 0 20 0 3 0 285792913 1274683392 281740 33554432000 4194304 5964478 140734535113552 140409655674872 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15315/tid=15318] ppid=15313 vsize=1244808 CPUtime=897.85 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (pwbo2.01) R 15313 15315 14514 0 -1 4202560 95001 0 0 0 89709 76 0 0 20 0 3 0 285792913 1274683392 281740 33554432000 4194304 5964478 140734535113552 140409645185096 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1244808
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15315 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=85409
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=692590
# CPU time returned by wait4() is 1795.78
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.352
CPU time (s): 1800.08
CPU user time (s): 1797.7
CPU system time (s): 2.38
CPU usage (%): 199.931
Max. virtual memory (cumulated for all children) (KiB): 1244808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.09
system time used= 2.69259
maximum resident set size= 1126968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280937
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= 813
involuntary context switches= 2020
runsolver used 1.67075 second user time and 5.32519 second system time
The end