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-3725863-1338653240/watcher-3725863-1338653240 -o /tmp/evaluation-result-3725863-1338653240/solver-3725863-1338653240 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725863-1338653240.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: 3.84 3.94 3.65 4/180 24148
/proc/meminfo: memFree=28239608/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=4700 CPUtime=0 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) R 24146 24148 22415 0 -1 4202496 442 0 0 0 0 0 0 0 20 0 1 0 331449429 4812800 395 33554432000 4194304 5964478 140736351167968 140733266100360 4344407 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 1175 396 172 433 0 689 0
[startup+0.062815 s]
/proc/loadavg: 3.84 3.94 3.65 4/180 24148
/proc/meminfo: memFree=28239608/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=165304 CPUtime=0.09 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 3291 0 0 0 9 0 0 0 20 0 3 0 331449429 169271296 2248 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 41326 2248 199 433 0 40890 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 165304
[startup+0.100224 s]
/proc/loadavg: 3.84 3.94 3.65 4/180 24148
/proc/meminfo: memFree=28239608/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=165304 CPUtime=0.16 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 3844 0 0 0 16 0 0 0 20 0 3 0 331449429 169271296 2591 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 41326 2591 199 433 0 40890 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 165304
[startup+0.300177 s]
/proc/loadavg: 3.84 3.94 3.65 4/180 24148
/proc/meminfo: memFree=28239608/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=165304 CPUtime=0.56 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 5876 0 0 0 55 1 0 0 20 0 3 0 331449429 169271296 4336 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 41326 4336 199 433 0 40890 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 165304
[startup+0.700186 s]
/proc/loadavg: 3.84 3.94 3.65 4/180 24148
/proc/meminfo: memFree=28239608/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=165304 CPUtime=1.37 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 7884 0 0 0 135 2 0 0 20 0 3 0 331449429 169271296 6343 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 41326 6343 199 433 0 40890 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 165304
[startup+1.50025 s]
/proc/loadavg: 3.84 3.94 3.65 5/183 24191
/proc/meminfo: memFree=28146080/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=165436 CPUtime=2.96 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 9340 0 0 0 294 2 0 0 20 0 3 0 331449429 169406464 7653 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 41359 7653 199 433 0 40923 0
[pid=24148/tid=24150] ppid=24146 vsize=165436 CPUtime=1.46 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 5296 0 0 0 144 2 0 0 20 0 3 0 331449431 169406464 7653 33554432000 4194304 5964478 140736351167968 139729033963880 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=165436 CPUtime=1.46 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 2669 0 0 0 146 0 0 0 20 0 3 0 331449431 169406464 7653 33554432000 4194304 5964478 140736351167968 139729023473736 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 165436
[startup+3.10027 s]
/proc/loadavg: 3.84 3.94 3.65 5/183 24191
/proc/meminfo: memFree=28097828/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=165568 CPUtime=6.16 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 10692 0 0 0 613 3 0 0 20 0 3 0 331449429 169541632 8835 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 41392 8835 199 433 0 40956 0
[pid=24148/tid=24150] ppid=24146 vsize=165568 CPUtime=3.05 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 6177 0 0 0 303 2 0 0 20 0 3 0 331449431 169541632 8835 33554432000 4194304 5964478 140736351167968 139729033963880 4400103 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=165568 CPUtime=3.06 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 3140 0 0 0 305 1 0 0 20 0 3 0 331449431 169541632 8835 33554432000 4194304 5964478 140736351167968 139729023474184 4400056 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 165568
[startup+6.3003 s]
/proc/loadavg: 3.85 3.94 3.66 5/183 24191
/proc/meminfo: memFree=27966636/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=165972 CPUtime=12.56 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 12065 0 0 0 1251 5 0 0 20 0 3 0 331449429 169955328 10208 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 41493 10208 199 433 0 41057 0
[pid=24148/tid=24150] ppid=24146 vsize=165972 CPUtime=6.24 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 6723 0 0 0 622 2 0 0 20 0 3 0 331449431 169955328 10208 33554432000 4194304 5964478 140736351167968 139729033963320 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=165972 CPUtime=6.25 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 3967 0 0 0 623 2 0 0 20 0 3 0 331449431 169955328 10208 33554432000 4194304 5964478 140736351167968 139729023473976 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 165972
[startup+12.7004 s]
/proc/loadavg: 3.86 3.94 3.66 5/183 24191
/proc/meminfo: memFree=27764356/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=166516 CPUtime=25.36 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 15560 0 0 0 2529 7 0 0 20 0 3 0 331449429 170512384 13703 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 41629 13703 199 433 0 41193 0
[pid=24148/tid=24150] ppid=24146 vsize=166516 CPUtime=12.63 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 8886 0 0 0 1260 3 0 0 20 0 3 0 331449431 170512384 13703 33554432000 4194304 5964478 140736351167968 139729033963560 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=166516 CPUtime=12.63 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 5299 0 0 0 1259 4 0 0 20 0 3 0 331449431 170512384 13703 33554432000 4194304 5964478 140736351167968 139729023473976 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 166516
[startup+25.5004 s]
/proc/loadavg: 3.89 3.94 3.66 5/183 24191
/proc/meminfo: memFree=27486488/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=167784 CPUtime=50.94 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 21778 0 0 0 5083 11 0 0 20 0 3 0 331449429 171810816 20226 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 41946 20226 199 433 0 41510 0
[pid=24148/tid=24150] ppid=24146 vsize=167784 CPUtime=25.39 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 13187 0 0 0 2533 6 0 0 20 0 3 0 331449431 171810816 20226 33554432000 4194304 5964478 140736351167968 139729033963320 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=167784 CPUtime=25.39 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 7216 0 0 0 2534 5 0 0 20 0 3 0 331449431 171810816 20226 33554432000 4194304 5964478 140736351167968 139729023473976 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 167784
[startup+51.1004 s]
/proc/loadavg: 3.93 3.94 3.67 5/183 24191
/proc/meminfo: memFree=27074528/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=234864 CPUtime=102.12 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 28088 0 0 0 10195 17 0 0 20 0 3 0 331449429 240500736 26500 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 58716 26500 199 433 0 58280 0
[pid=24148/tid=24150] ppid=24146 vsize=234864 CPUtime=50.91 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 18115 0 0 0 5082 9 0 0 20 0 3 0 331449431 240500736 26500 33554432000 4194304 5964478 140736351167968 139729033963320 4388783 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=234864 CPUtime=50.92 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 8598 0 0 0 5085 7 0 0 20 0 3 0 331449431 240500736 26500 33554432000 4194304 5964478 140736351167968 139729023473736 4400542 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 234864
[startup+102.307 s]
/proc/loadavg: 3.97 3.95 3.68 5/183 24191
/proc/meminfo: memFree=26834044/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=235272 CPUtime=204.5 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 34445 0 0 0 20431 19 0 0 20 0 3 0 331449429 240918528 33860 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 58818 33860 199 433 0 58382 0
[pid=24148/tid=24150] ppid=24146 vsize=235272 CPUtime=101.97 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 24080 0 0 0 10185 12 0 0 20 0 3 0 331449431 240918528 33860 33554432000 4194304 5964478 140736351167968 139729033963424 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=235272 CPUtime=101.99 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 8990 0 0 0 10191 8 0 0 20 0 3 0 331449431 240918528 33860 33554432000 4194304 5964478 140736351167968 139729023474080 4400542 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (KiB) 235272
[startup+162.3 s]
/proc/loadavg: 4.04 3.97 3.71 5/184 24194
/proc/meminfo: memFree=26777388/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=236088 CPUtime=324.48 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 42603 0 0 0 32420 28 0 0 20 0 3 0 331449429 241754112 41794 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 59022 41794 199 433 0 58586 0
[pid=24148/tid=24150] ppid=24146 vsize=236088 CPUtime=161.81 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 29285 0 0 0 16165 16 0 0 20 0 3 0 331449431 241754112 41794 33554432000 4194304 5964478 140736351167968 139729033963560 4379248 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=236088 CPUtime=161.83 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 11943 0 0 0 16168 15 0 0 20 0 3 0 331449431 241754112 41794 33554432000 4194304 5964478 140736351167968 139729023473736 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 236088
[startup+222.3 s]
/proc/loadavg: 4.01 3.97 3.72 5/183 24194
/proc/meminfo: memFree=26732056/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=302184 CPUtime=444.46 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 50123 0 0 0 44413 33 0 0 20 0 3 0 331449429 309436416 49111 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 75546 49111 199 433 0 75110 0
[pid=24148/tid=24150] ppid=24146 vsize=302184 CPUtime=221.66 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 36529 0 0 0 22143 23 0 0 20 0 3 0 331449431 309436416 49111 33554432000 4194304 5964478 140736351167968 139729033963512 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=302184 CPUtime=221.67 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 12219 0 0 0 22151 16 0 0 20 0 3 0 331449431 309436416 49111 33554432000 4194304 5964478 140736351167968 139729023473736 4399975 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (KiB) 302184
[startup+282.3 s]
/proc/loadavg: 4.04 3.99 3.74 5/183 24195
/proc/meminfo: memFree=26678020/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=303084 CPUtime=564.44 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 54941 0 0 0 56405 39 0 0 20 0 3 0 331449429 310358016 53927 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 75771 53927 199 433 0 75335 0
[pid=24148/tid=24150] ppid=24146 vsize=303084 CPUtime=281.51 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 40943 0 0 0 28121 30 0 0 20 0 3 0 331449431 310358016 53927 33554432000 4194304 5964478 140736351167968 139729033963560 4389100 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=303084 CPUtime=281.51 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 12623 0 0 0 28134 17 0 0 20 0 3 0 331449431 310358016 53927 33554432000 4194304 5964478 140736351167968 139729023473736 4400422 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.44
Current children cumulated vsize (KiB) 303084
[startup+342.3 s]
/proc/loadavg: 4.01 3.99 3.75 5/183 24195
/proc/meminfo: memFree=26578724/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=305140 CPUtime=684.42 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 62590 0 0 0 68396 46 0 0 20 0 3 0 331449429 312463360 61572 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 76285 61572 199 433 0 75849 0
[pid=24148/tid=24150] ppid=24146 vsize=305140 CPUtime=341.35 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 47913 0 0 0 34099 36 0 0 20 0 3 0 331449431 312463360 61572 33554432000 4194304 5964478 140736351167968 139729033963424 4400115 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=305140 CPUtime=341.36 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 13302 0 0 0 34117 19 0 0 20 0 3 0 331449431 312463360 61572 33554432000 4194304 5964478 140736351167968 139729023473784 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.42
Current children cumulated vsize (KiB) 305140
[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.76 5/183 24195
/proc/meminfo: memFree=26531384/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=371280 CPUtime=804.4 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 70495 0 0 0 80382 58 0 0 20 0 3 0 331449429 380190720 69471 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 92820 69471 199 433 0 92384 0
[pid=24148/tid=24150] ppid=24146 vsize=371280 CPUtime=401.2 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 52575 0 0 0 40078 42 0 0 20 0 3 0 331449431 380190720 69471 33554432000 4194304 5964478 140736351167968 139729033963512 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=371280 CPUtime=401.2 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 16545 0 0 0 40093 27 0 0 20 0 3 0 331449431 380190720 69471 33554432000 4194304 5964478 140736351167968 139729023473736 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.4
Current children cumulated vsize (KiB) 371280
[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.78 5/183 24195
/proc/meminfo: memFree=26510456/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=371908 CPUtime=924.38 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 75396 0 0 0 92374 64 0 0 20 0 3 0 331449429 380833792 74371 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 92977 74371 199 433 0 92541 0
[pid=24148/tid=24150] ppid=24146 vsize=371908 CPUtime=461.04 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 57313 0 0 0 46055 49 0 0 20 0 3 0 331449431 380833792 74371 33554432000 4194304 5964478 140736351167968 139729033963320 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=371908 CPUtime=461.04 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 16708 0 0 0 46075 29 0 0 20 0 3 0 331449431 380833792 74371 33554432000 4194304 5964478 140736351167968 139729023473736 4399932 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.38
Current children cumulated vsize (KiB) 371908
[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.79 5/183 24195
/proc/meminfo: memFree=26464356/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=439264 CPUtime=1044.37 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 86560 0 0 0 104358 79 0 0 20 0 3 0 331449429 449806336 85527 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 109816 85527 199 433 0 109380 0
[pid=24148/tid=24150] ppid=24146 vsize=439264 CPUtime=520.89 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 65789 0 0 0 52031 58 0 0 20 0 3 0 331449431 449806336 85527 33554432000 4194304 5964478 140736351167968 139729033963560 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=439264 CPUtime=520.88 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 19396 0 0 0 52054 34 0 0 20 0 3 0 331449431 449806336 85527 33554432000 4194304 5964478 140736351167968 139729023473736 4400784 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.37
Current children cumulated vsize (KiB) 439264
[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.80 5/183 24196
/proc/meminfo: memFree=26461532/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=440056 CPUtime=1164.35 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 86787 0 0 0 116356 79 0 0 20 0 3 0 331449429 450617344 85754 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 110014 85754 199 433 0 109578 0
[pid=24148/tid=24150] ppid=24146 vsize=440056 CPUtime=580.74 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 65820 0 0 0 58015 59 0 0 20 0 3 0 331449431 450617344 85754 33554432000 4194304 5964478 140736351167968 139729033963560 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=440056 CPUtime=580.73 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 19592 0 0 0 58038 35 0 0 20 0 3 0 331449431 450617344 85754 33554432000 4194304 5964478 140736351167968 139729023473736 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.35
Current children cumulated vsize (KiB) 440056
[startup+642.3 s]
/proc/loadavg: 4.06 4.00 3.82 5/183 24196
/proc/meminfo: memFree=26409976/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=441240 CPUtime=1284.34 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 87647 0 0 0 128353 81 0 0 20 0 3 0 331449429 451829760 86614 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 110310 86614 199 433 0 109874 0
[pid=24148/tid=24150] ppid=24146 vsize=441240 CPUtime=640.59 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 65966 0 0 0 63999 60 0 0 20 0 3 0 331449431 451829760 86614 33554432000 4194304 5964478 140736351167968 139729033963320 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=441240 CPUtime=640.58 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 20306 0 0 0 64020 38 0 0 20 0 3 0 331449431 451829760 86614 33554432000 4194304 5964478 140736351167968 139729023473976 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.34
Current children cumulated vsize (KiB) 441240
[startup+702.3 s]
/proc/loadavg: 4.02 4.00 3.82 5/183 24196
/proc/meminfo: memFree=26396860/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=442204 CPUtime=1404.31 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 90418 0 0 0 140346 85 0 0 20 0 3 0 331449429 452816896 89378 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 110551 89378 199 433 0 110115 0
[pid=24148/tid=24150] ppid=24146 vsize=442204 CPUtime=700.43 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 67930 0 0 0 69980 63 0 0 20 0 3 0 331449431 452816896 89378 33554432000 4194304 5964478 140736351167968 139729033963320 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=442204 CPUtime=700.41 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 21113 0 0 0 70000 41 0 0 20 0 3 0 331449431 452816896 89378 33554432000 4194304 5964478 140736351167968 139729023473976 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.31
Current children cumulated vsize (KiB) 442204
[startup+762.307 s]
/proc/loadavg: 4.04 4.01 3.83 5/184 24199
/proc/meminfo: memFree=26282892/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=508008 CPUtime=1524.3 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 103612 0 0 0 152327 103 0 0 20 0 3 0 331449429 520200192 102569 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 127002 102569 199 433 0 126566 0
[pid=24148/tid=24150] ppid=24146 vsize=508008 CPUtime=760.28 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 76220 0 0 0 75956 72 0 0 20 0 3 0 331449431 520200192 102569 33554432000 4194304 5964478 140736351167968 139729033963512 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=508008 CPUtime=760.26 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 26017 0 0 0 75974 52 0 0 20 0 3 0 331449431 520200192 102569 33554432000 4194304 5964478 140736351167968 139729023474080 4389179 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.3
Current children cumulated vsize (KiB) 508008
[startup+822.3 s]
/proc/loadavg: 4.01 4.01 3.84 5/183 24199
/proc/meminfo: memFree=26165408/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=575236 CPUtime=1644.27 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 108497 0 0 0 164320 107 0 0 20 0 3 0 331449429 589041664 107445 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 143809 107445 199 433 0 143373 0
[pid=24148/tid=24150] ppid=24146 vsize=575236 CPUtime=820.12 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 80872 0 0 0 81935 77 0 0 20 0 3 0 331449431 589041664 107445 33554432000 4194304 5964478 140736351167968 139729033963512 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=575236 CPUtime=820.1 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 26250 0 0 0 81957 53 0 0 20 0 3 0 331449431 589041664 107445 33554432000 4194304 5964478 140736351167968 139729023473736 4222308 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.27
Current children cumulated vsize (KiB) 575236
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/183 24200
/proc/meminfo: memFree=26059576/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=575784 CPUtime=1764.25 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 109186 0 0 0 176318 107 0 0 20 0 3 0 331449429 589602816 108190 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 143946 108190 199 433 0 143510 0
[pid=24148/tid=24150] ppid=24146 vsize=575784 CPUtime=879.97 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 81447 0 0 0 87919 78 0 0 20 0 3 0 331449431 589602816 108190 33554432000 4194304 5964478 140736351167968 139729033963320 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=575784 CPUtime=879.94 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 26364 0 0 0 87940 54 0 0 20 0 3 0 331449431 589602816 108190 33554432000 4194304 5964478 140736351167968 139729023473736 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.25
Current children cumulated vsize (KiB) 575784
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.2 s]
/proc/loadavg: 4.00 4.00 3.85 5/183 24200
/proc/meminfo: memFree=26041072/32873844 swapFree=7124/7124
[pid=24148] ppid=24146 vsize=575784 CPUtime=1800.04 cores=1,3,5,7
/proc/24148/stat : 24148 (pwbo2.02) S 24146 24148 22415 0 -1 4202496 111040 0 0 0 179894 110 0 0 20 0 3 0 331449429 589602816 110464 33554432000 4194304 5964478 140736351167968 140736351167488 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24148/statm: 143946 110464 199 433 0 143510 0
[pid=24148/tid=24150] ppid=24146 vsize=575784 CPUtime=897.82 cores=1,3,5,7
/proc/24148/task/24150/stat : 24150 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 83279 0 0 0 89701 81 0 0 20 0 3 0 331449431 589602816 110464 33554432000 4194304 5964478 140736351167968 139729033963512 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24148/tid=24151] ppid=24146 vsize=575784 CPUtime=897.79 cores=1,3,5,7
/proc/24148/task/24151/stat : 24151 (pwbo2.02) R 24146 24148 22415 0 -1 4202560 26386 0 0 0 89725 54 0 0 20 0 3 0 331449431 589602816 110464 33554432000 4194304 5964478 140736351167968 139729023473736 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 575784
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24148 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=296225
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=389788
# CPU time returned by wait4() is 1795.69
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.236
CPU time (s): 1800.04
CPU user time (s): 1798.94
CPU system time (s): 1.1
CPU usage (%): 199.952
Max. virtual memory (cumulated for all children) (KiB): 575784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.3
system time used= 1.38979
maximum resident set size= 441864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111042
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= 193
involuntary context switches= 2040
runsolver used 1.86272 second user time and 5.65314 second system time
The end