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-3725781-1338651410/watcher-3725781-1338651410 -o /tmp/evaluation-result-3725781-1338651410/solver-3725781-1338651410 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725781-1338651410.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 1.00 1.26 2/171 11897
/proc/meminfo: memFree=29158756/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=4376 CPUtime=0 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) R 11895 11897 10378 0 -1 4202496 418 0 0 0 0 0 0 0 20 0 1 0 331265900 4481024 370 33554432000 4194304 5964478 140733869843232 140733983260040 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 1094 371 166 433 0 644 0
[startup+0.032724 s]
/proc/loadavg: 0.92 1.00 1.26 2/171 11897
/proc/meminfo: memFree=29158756/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=164616 CPUtime=0.04 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 1976 0 0 0 4 0 0 0 20 0 3 0 331265900 168566784 1910 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 41154 1913 206 433 0 40718 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 164616
[startup+0.100312 s]
/proc/loadavg: 0.92 1.00 1.26 2/171 11897
/proc/meminfo: memFree=29158756/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=164616 CPUtime=0.17 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 2205 0 0 0 17 0 0 0 20 0 3 0 331265900 168566784 2139 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 41154 2139 206 433 0 40718 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164616
[startup+0.300265 s]
/proc/loadavg: 0.92 1.00 1.26 2/171 11897
/proc/meminfo: memFree=29158756/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=164616 CPUtime=0.57 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 2717 0 0 0 56 1 0 0 20 0 3 0 331265900 168566784 2651 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 41154 2651 206 433 0 40718 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164616
[startup+0.700275 s]
/proc/loadavg: 0.92 1.00 1.26 2/171 11897
/proc/meminfo: memFree=29158756/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=164760 CPUtime=1.36 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 3190 0 0 0 135 1 0 0 20 0 3 0 331265900 168714240 3124 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 41190 3124 206 433 0 40754 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 164760
[startup+1.50032 s]
/proc/loadavg: 0.92 1.00 1.26 4/176 11904
/proc/meminfo: memFree=29106788/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=164832 CPUtime=2.95 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 3802 0 0 0 294 1 0 0 20 0 3 0 331265900 168787968 3736 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 41208 3736 206 433 0 40772 0
[pid=11897/tid=11901] ppid=11895 vsize=164832 CPUtime=1.45 cores=0,2,4,6
/proc/11897/task/11901/stat : 11901 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 1275 0 0 0 145 0 0 0 20 0 3 0 331265901 168787968 3736 33554432000 4194304 5964478 140733869843232 139746026100720 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11897/tid=11902] ppid=11895 vsize=164832 CPUtime=1.47 cores=0,2,4,6
/proc/11897/task/11902/stat : 11902 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 1545 0 0 0 146 1 0 0 20 0 3 0 331265901 168787968 3736 33554432000 4194304 5964478 140733869843232 139746015611184 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 164832
[startup+3.10032 s]
/proc/loadavg: 0.92 1.00 1.26 4/179 11914
/proc/meminfo: memFree=28872236/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=164832 CPUtime=6.14 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 4660 0 0 0 612 2 0 0 20 0 3 0 331265900 168787968 4567 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 41208 4567 206 433 0 40772 0
[pid=11897/tid=11901] ppid=11895 vsize=164832 CPUtime=3.04 cores=0,2,4,6
/proc/11897/task/11901/stat : 11901 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 2049 0 0 0 304 0 0 0 20 0 3 0 331265901 168787968 4567 33554432000 4194304 5964478 140733869843232 139746026100720 4403708 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11897/tid=11902] ppid=11895 vsize=164832 CPUtime=3.06 cores=0,2,4,6
/proc/11897/task/11902/stat : 11902 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 1629 0 0 0 305 1 0 0 20 0 3 0 331265901 168787968 4567 33554432000 4194304 5964478 140733869843232 139746015611184 4403393 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 164832
[startup+6.30035 s]
/proc/loadavg: 1.01 1.02 1.26 4/179 11914
/proc/meminfo: memFree=28308556/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=165264 CPUtime=12.53 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 6045 0 0 0 1248 5 0 0 20 0 3 0 331265900 169230336 5952 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 41316 5952 206 433 0 40880 0
[pid=11897/tid=11901] ppid=11895 vsize=165264 CPUtime=6.23 cores=0,2,4,6
/proc/11897/task/11901/stat : 11901 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 3331 0 0 0 620 3 0 0 20 0 3 0 331265901 169230336 5952 33554432000 4194304 5964478 140733869843232 139746026100776 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11897/tid=11902] ppid=11895 vsize=165264 CPUtime=6.24 cores=0,2,4,6
/proc/11897/task/11902/stat : 11902 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 1732 0 0 0 623 1 0 0 20 0 3 0 331265901 169230336 5952 33554432000 4194304 5964478 140733869843232 139746015611184 4400151 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 165264
[startup+12.7003 s]
/proc/loadavg: 1.25 1.07 1.28 5/181 11916
/proc/meminfo: memFree=27321252/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=165588 CPUtime=25.32 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 8017 0 0 0 2524 8 0 0 20 0 3 0 331265900 169562112 7830 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 41397 7830 206 433 0 40961 0
[pid=11897/tid=11901] ppid=11895 vsize=165588 CPUtime=12.61 cores=0,2,4,6
/proc/11897/task/11901/stat : 11901 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 4533 0 0 0 1256 5 0 0 20 0 3 0 331265901 169562112 7830 33554432000 4194304 5964478 140733869843232 139746026100536 4400519 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11897/tid=11902] ppid=11895 vsize=165588 CPUtime=12.62 cores=0,2,4,6
/proc/11897/task/11902/stat : 11902 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 2502 0 0 0 1260 2 0 0 20 0 3 0 331265901 169562112 7830 33554432000 4194304 5964478 140733869843232 139746015611296 5133767 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 165588
[startup+25.5004 s]
/proc/loadavg: 1.85 1.21 1.32 5/181 11916
/proc/meminfo: memFree=27229076/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=166464 CPUtime=50.9 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 10809 0 0 0 5081 9 0 0 20 0 3 0 331265900 170459136 10769 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 41616 10769 206 433 0 41180 0
[pid=11897/tid=11901] ppid=11895 vsize=166464 CPUtime=25.37 cores=0,2,4,6
/proc/11897/task/11901/stat : 11901 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 6512 0 0 0 2531 6 0 0 20 0 3 0 331265901 170459136 10769 33554432000 4194304 5964478 140733869843232 139746026100720 4399975 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11897/tid=11902] ppid=11895 vsize=166464 CPUtime=25.38 cores=0,2,4,6
/proc/11897/task/11902/stat : 11902 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 3315 0 0 0 2535 3 0 0 20 0 3 0 331265901 170459136 10769 33554432000 4194304 5964478 140733869843232 139746015611240 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 166464
[startup+51.1004 s]
/proc/loadavg: 2.65 1.45 1.40 5/181 11917
/proc/meminfo: memFree=27041744/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=166996 CPUtime=102.06 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 14509 0 0 0 10195 11 0 0 20 0 3 0 331265900 171003904 15760 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 41749 15760 206 433 0 41313 0
[pid=11897/tid=11901] ppid=11895 vsize=166996 CPUtime=50.89 cores=0,2,4,6
/proc/11897/task/11901/stat : 11901 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 9386 0 0 0 5082 7 0 0 20 0 3 0 331265901 171003904 15760 33554432000 4194304 5964478 140733869843232 139746026100640 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11897/tid=11902] ppid=11895 vsize=166996 CPUtime=50.89 cores=0,2,4,6
/proc/11897/task/11902/stat : 11902 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 4141 0 0 0 5086 3 0 0 20 0 3 0 331265901 171003904 15760 33554432000 4194304 5964478 140733869843232 139746015611184 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 166996
[startup+102.307 s]
/proc/loadavg: 3.49 1.86 1.54 5/181 11917
/proc/meminfo: memFree=26824484/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=169276 CPUtime=204.44 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 21935 0 0 0 20423 21 0 0 20 0 3 0 331265900 173338624 23186 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 42319 23186 206 433 0 41883 0
[pid=11897/tid=11901] ppid=11895 vsize=169276 CPUtime=101.96 cores=0,2,4,6
/proc/11897/task/11901/stat : 11901 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 15259 0 0 0 10181 15 0 0 20 0 3 0 331265901 173338624 23186 33554432000 4194304 5964478 140733869843232 139746026100536 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11897/tid=11902] ppid=11895 vsize=169276 CPUtime=101.95 cores=0,2,4,6
/proc/11897/task/11902/stat : 11902 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 5694 0 0 0 10188 7 0 0 20 0 3 0 331265901 173338624 23186 33554432000 4194304 5964478 140733869843232 139746015611296 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.44
Current children cumulated vsize (KiB) 169276
[startup+162.3 s]
/proc/loadavg: 3.89 2.26 1.69 5/181 11917
/proc/meminfo: memFree=26748440/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=235872 CPUtime=324.39 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 28346 0 0 0 32408 31 0 0 20 0 3 0 331265900 241532928 29597 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 58968 29597 206 433 0 58532 0
[pid=11897/tid=11901] ppid=11895 vsize=235872 CPUtime=161.8 cores=0,2,4,6
/proc/11897/task/11901/stat : 11901 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 20490 0 0 0 16157 23 0 0 20 0 3 0 331265901 241532928 29597 33554432000 4194304 5964478 140733869843232 139746026100728 4400519 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11897/tid=11902] ppid=11895 vsize=235872 CPUtime=161.78 cores=0,2,4,6
/proc/11897/task/11902/stat : 11902 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 6874 0 0 0 16167 11 0 0 20 0 3 0 331265901 241532928 29597 33554432000 4194304 5964478 140733869843232 139746015611296 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.39
Current children cumulated vsize (KiB) 235872
[startup+222.3 s]
/proc/loadavg: 4.04 2.59 1.84 5/182 11920
/proc/meminfo: memFree=26563384/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=235704 CPUtime=444.33 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 35574 0 0 0 44389 44 0 0 20 0 3 0 331265900 241360896 35928 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 58926 35928 206 433 0 58490 0
[pid=11897/tid=11901] ppid=11895 vsize=235704 CPUtime=221.64 cores=0,2,4,6
/proc/11897/task/11901/stat : 11901 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 27574 0 0 0 22127 37 0 0 20 0 3 0 331265901 241360896 35928 33554432000 4194304 5964478 140733869843232 139746026100640 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11897/tid=11902] ppid=11895 vsize=235704 CPUtime=221.58 cores=0,2,4,6
/proc/11897/task/11902/stat : 11902 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 7018 0 0 0 22146 12 0 0 20 0 3 0 331265901 241360896 35928 33554432000 4194304 5964478 140733869843232 139746015611184 4400563 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.33
Current children cumulated vsize (KiB) 235704
[startup+282.3 s]
/proc/loadavg: 4.01 2.85 1.97 5/181 11920
/proc/meminfo: memFree=26527460/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=236920 CPUtime=564.25 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 35951 0 0 0 56381 44 0 0 20 0 3 0 331265900 242606080 36305 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 59230 36305 206 433 0 58794 0
[pid=11897/tid=11901] ppid=11895 vsize=236920 CPUtime=281.48 cores=0,2,4,6
/proc/11897/task/11901/stat : 11901 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 27950 0 0 0 28110 38 0 0 20 0 3 0 331265901 242606080 36305 33554432000 4194304 5964478 140733869843232 139746026100640 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11897/tid=11902] ppid=11895 vsize=236920 CPUtime=281.37 cores=0,2,4,6
/proc/11897/task/11902/stat : 11902 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 7019 0 0 0 28124 13 0 0 20 0 3 0 331265901 242606080 36305 33554432000 4194304 5964478 140733869843232 139746015611296 4400024 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.25
Current children cumulated vsize (KiB) 236920
[startup+342.3 s]
/proc/loadavg: 4.00 3.05 2.10 5/181 11920
/proc/meminfo: memFree=26479744/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=236920 CPUtime=684.19 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 36311 0 0 0 68375 44 0 0 20 0 3 0 331265900 242606080 36665 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 59230 36665 206 433 0 58794 0
[pid=11897/tid=11901] ppid=11895 vsize=236920 CPUtime=341.33 cores=0,2,4,6
/proc/11897/task/11901/stat : 11901 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 28281 0 0 0 34093 40 0 0 20 0 3 0 331265901 242606080 36665 33554432000 4194304 5964478 140733869843232 139746026100640 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11897/tid=11902] ppid=11895 vsize=236920 CPUtime=341.17 cores=0,2,4,6
/proc/11897/task/11902/stat : 11902 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 7048 0 0 0 34103 14 0 0 20 0 3 0 331265901 242606080 36665 33554432000 4194304 5964478 140733869843232 139746015611184 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.19
Current children cumulated vsize (KiB) 236920
[startup+402.3 s]
/proc/loadavg: 4.02 3.22 2.21 5/181 11921
/proc/meminfo: memFree=26299028/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=301592 CPUtime=804.16 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 48985 0 0 0 80351 65 0 0 20 0 3 0 331265900 308830208 49274 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 75398 49274 206 433 0 74962 0
[pid=11897/tid=11901] ppid=11895 vsize=301592 CPUtime=401.17 cores=0,2,4,6
/proc/11897/task/11901/stat : 11901 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 40878 0 0 0 40056 61 0 0 20 0 3 0 331265901 308830208 49274 33554432000 4194304 5964478 140733869843232 139746026100600 4400010 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11897/tid=11902] ppid=11895 vsize=301592 CPUtime=401.01 cores=0,2,4,6
/proc/11897/task/11902/stat : 11902 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 7125 0 0 0 40086 15 0 0 20 0 3 0 331265901 308830208 49274 33554432000 4194304 5964478 140733869843232 139746015611184 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.16
Current children cumulated vsize (KiB) 301592
[startup+462.3 s]
/proc/loadavg: 4.05 3.37 2.32 5/181 11921
/proc/meminfo: memFree=26197436/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=301592 CPUtime=924.12 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 49257 0 0 0 92346 66 0 0 20 0 3 0 331265900 308830208 49546 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 75398 49546 206 433 0 74962 0
[pid=11897/tid=11901] ppid=11895 vsize=301592 CPUtime=461.01 cores=0,2,4,6
/proc/11897/task/11901/stat : 11901 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 40973 0 0 0 46040 61 0 0 20 0 3 0 331265901 308830208 49546 33554432000 4194304 5964478 140733869843232 139746026100640 4399975 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11897/tid=11902] ppid=11895 vsize=301592 CPUtime=460.83 cores=0,2,4,6
/proc/11897/task/11902/stat : 11902 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 7302 0 0 0 46066 17 0 0 20 0 3 0 331265901 308830208 49546 33554432000 4194304 5964478 140733869843232 139746015611296 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 924.12
Current children cumulated vsize (KiB) 301592
[startup+522.3 s]
/proc/loadavg: 4.06 3.48 2.42 5/181 11921
/proc/meminfo: memFree=26126976/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=303616 CPUtime=1044.09 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 50253 0 0 0 104340 69 0 0 20 0 3 0 331265900 310902784 50542 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 75904 50542 206 433 0 75468 0
[pid=11897/tid=11901] ppid=11895 vsize=303616 CPUtime=520.85 cores=0,2,4,6
/proc/11897/task/11901/stat : 11901 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 41029 0 0 0 52023 62 0 0 20 0 3 0 331265901 310902784 50542 33554432000 4194304 5964478 140733869843232 139746026100640 4399912 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11897/tid=11902] ppid=11895 vsize=303616 CPUtime=520.67 cores=0,2,4,6
/proc/11897/task/11902/stat : 11902 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 8242 0 0 0 52047 20 0 0 20 0 3 0 331265901 310902784 50542 33554432000 4194304 5964478 140733869843232 139746015611192 4379296 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1044.09
Current children cumulated vsize (KiB) 303616
[startup+582.3 s]
/proc/loadavg: 4.05 3.59 2.52 5/181 11921
/proc/meminfo: memFree=25936416/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=303616 CPUtime=1164.06 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 50410 0 0 0 116337 69 0 0 20 0 3 0 331265900 310902784 50699 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 75904 50699 206 433 0 75468 0
[pid=11897/tid=11901] ppid=11895 vsize=303616 CPUtime=580.7 cores=0,2,4,6
/proc/11897/task/11901/stat : 11901 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 41113 0 0 0 58007 63 0 0 20 0 3 0 331265901 310902784 50699 33554432000 4194304 5964478 140733869843232 139746026100640 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11897/tid=11902] ppid=11895 vsize=303616 CPUtime=580.5 cores=0,2,4,6
/proc/11897/task/11902/stat : 11902 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 8315 0 0 0 58029 21 0 0 20 0 3 0 331265901 310902784 50699 33554432000 4194304 5964478 140733869843232 139746015611296 4399912 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1164.06
Current children cumulated vsize (KiB) 303616
[startup+642.3 s]
/proc/loadavg: 4.10 3.67 2.62 5/181 11921
/proc/meminfo: memFree=25913876/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=303616 CPUtime=1284.05 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 50545 0 0 0 128336 69 0 0 20 0 3 0 331265900 310902784 50834 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 75904 50834 206 433 0 75468 0
[pid=11897/tid=11901] ppid=11895 vsize=303616 CPUtime=640.55 cores=0,2,4,6
/proc/11897/task/11901/stat : 11901 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 41150 0 0 0 63991 64 0 0 20 0 3 0 331265901 310902784 50834 33554432000 4194304 5964478 140733869843232 139746026100640 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11897/tid=11902] ppid=11895 vsize=303616 CPUtime=640.35 cores=0,2,4,6
/proc/11897/task/11902/stat : 11902 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 8413 0 0 0 64013 22 0 0 20 0 3 0 331265901 310902784 50834 33554432000 4194304 5964478 140733869843232 139746015611296 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1284.05
Current children cumulated vsize (KiB) 303616
[startup+702.3 s]
/proc/loadavg: 4.11 3.75 2.71 5/180 11922
/proc/meminfo: memFree=25878828/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=304156 CPUtime=1404.01 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 52130 0 0 0 140328 73 0 0 20 0 3 0 331265900 311455744 52419 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 76039 52419 206 433 0 75603 0
[pid=11897/tid=11901] ppid=11895 vsize=304156 CPUtime=700.38 cores=0,2,4,6
/proc/11897/task/11901/stat : 11901 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 41191 0 0 0 69973 65 0 0 20 0 3 0 331265901 311455744 52419 33554432000 4194304 5964478 140733869843232 139746026100640 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11897/tid=11902] ppid=11895 vsize=304156 CPUtime=700.19 cores=0,2,4,6
/proc/11897/task/11902/stat : 11902 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 9957 0 0 0 69992 27 0 0 20 0 3 0 331265901 311455744 52419 33554432000 4194304 5964478 140733869843232 139746015611296 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1404.01
Current children cumulated vsize (KiB) 304156
[startup+762.307 s]
/proc/loadavg: 4.15 3.82 2.80 5/181 11923
/proc/meminfo: memFree=25854176/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=304472 CPUtime=1524 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 52906 0 0 0 152326 74 0 0 20 0 3 0 331265900 311779328 53195 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 76118 53195 206 433 0 75682 0
[pid=11897/tid=11901] ppid=11895 vsize=304472 CPUtime=760.23 cores=0,2,4,6
/proc/11897/task/11901/stat : 11901 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 41220 0 0 0 75957 66 0 0 20 0 3 0 331265901 311779328 53195 33554432000 4194304 5964478 140733869843232 139746026100640 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11897/tid=11902] ppid=11895 vsize=304472 CPUtime=760.04 cores=0,2,4,6
/proc/11897/task/11902/stat : 11902 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 10704 0 0 0 75975 29 0 0 20 0 3 0 331265901 311779328 53195 33554432000 4194304 5964478 140733869843232 139746015611296 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1524
Current children cumulated vsize (KiB) 304472
[startup+822.3 s]
/proc/loadavg: 4.14 3.87 2.87 5/182 11926
/proc/meminfo: memFree=25830020/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=304616 CPUtime=1643.97 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 53059 0 0 0 164322 75 0 0 20 0 3 0 331265900 311926784 53348 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 76154 53348 206 433 0 75718 0
[pid=11897/tid=11901] ppid=11895 vsize=304616 CPUtime=820.07 cores=0,2,4,6
/proc/11897/task/11901/stat : 11901 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 41278 0 0 0 81940 67 0 0 20 0 3 0 331265901 311926784 53348 33554432000 4194304 5964478 140733869843232 139746026100640 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11897/tid=11902] ppid=11895 vsize=304616 CPUtime=819.87 cores=0,2,4,6
/proc/11897/task/11902/stat : 11902 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 10799 0 0 0 81956 31 0 0 20 0 3 0 331265901 311926784 53348 33554432000 4194304 5964478 140733869843232 139746015611296 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1643.97
Current children cumulated vsize (KiB) 304616
[startup+882.3 s]
/proc/loadavg: 4.13 3.91 2.95 5/181 11926
/proc/meminfo: memFree=25813440/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=304616 CPUtime=1763.94 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 53153 0 0 0 176319 75 0 0 20 0 3 0 331265900 311926784 53442 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 76154 53442 206 433 0 75718 0
[pid=11897/tid=11901] ppid=11895 vsize=304616 CPUtime=879.91 cores=0,2,4,6
/proc/11897/task/11901/stat : 11901 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 41321 0 0 0 87923 68 0 0 20 0 3 0 331265901 311926784 53442 33554432000 4194304 5964478 140733869843232 139746026100640 4400024 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11897/tid=11902] ppid=11895 vsize=304616 CPUtime=879.71 cores=0,2,4,6
/proc/11897/task/11902/stat : 11902 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 10850 0 0 0 87939 32 0 0 20 0 3 0 331265901 311926784 53442 33554432000 4194304 5964478 140733869843232 139746015611296 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1763.94
Current children cumulated vsize (KiB) 304616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 4.09 3.91 2.97 5/181 11926
/proc/meminfo: memFree=25812976/32873844 swapFree=7120/7120
[pid=11897] ppid=11895 vsize=304616 CPUtime=1800.15 cores=0,2,4,6
/proc/11897/stat : 11897 (pwbo2.02) S 11895 11897 10378 0 -1 4202496 53186 0 0 0 179940 75 0 0 20 0 3 0 331265900 311926784 53475 33554432000 4194304 5964478 140733869843232 140733869842752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11897/statm: 76154 53475 206 433 0 75718 0
[pid=11897/tid=11901] ppid=11895 vsize=304616 CPUtime=897.97 cores=0,2,4,6
/proc/11897/task/11901/stat : 11901 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 41354 0 0 0 89729 68 0 0 20 0 3 0 331265901 311926784 53475 33554432000 4194304 5964478 140733869843232 139746026100640 4399986 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11897/tid=11902] ppid=11895 vsize=304616 CPUtime=897.77 cores=0,2,4,6
/proc/11897/task/11902/stat : 11902 (pwbo2.02) R 11895 11897 10378 0 -1 4202560 10850 0 0 0 89745 32 0 0 20 0 3 0 331265901 311926784 53475 33554432000 4194304 5964478 140733869843232 139746015611184 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 304616
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 11897 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=753156
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=31843
# CPU time returned by wait4() is 1795.79
# while last known CPU time is 1800.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.423
CPU time (s): 1800.15
CPU user time (s): 1799.4
CPU system time (s): 0.75
CPU usage (%): 199.923
Max. virtual memory (cumulated for all children) (KiB): 305240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.75
system time used= 1.03184
maximum resident set size= 213904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53187
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= 1020
involuntary context switches= 1856
runsolver used 1.92071 second user time and 4.88526 second system time
The end