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-3703742-1338094400/watcher-3703742-1338094400 -o /tmp/evaluation-result-3703742-1338094400/solver-3703742-1338094400 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703742-1338094400.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: 4.00 4.00 3.93 2/174 18935
/proc/meminfo: memFree=31335548/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=162360 CPUtime=0 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 808 0 0 0 0 0 0 0 20 0 3 0 275564543 166256640 758 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 40590 758 193 433 0 40154 0
[pid=18935/tid=18936] ppid=18933 vsize=162360 CPUtime=0 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 3 0 275564544 166256640 758 33554432000 4194304 5965102 140737271227664 140733326187336 5137146 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=162360 CPUtime=0 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 3 0 275564544 166256640 758 33554432000 4194304 5965102 140737271227664 140733326187336 5137146 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.023348 s]
/proc/loadavg: 4.00 4.00 3.93 2/174 18935
/proc/meminfo: memFree=31335548/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=162360 CPUtime=0.03 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 901 0 0 0 3 0 0 0 20 0 3 0 275564543 166256640 851 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 40590 851 195 433 0 40154 0
[pid=18935/tid=18936] ppid=18933 vsize=162360 CPUtime=0 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 3 0 275564544 166256640 851 33554432000 4194304 5965102 140737271227664 139955285976888 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=162360 CPUtime=0 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 3 0 275564544 166256640 851 33554432000 4194304 5965102 140737271227664 139955275487544 4222240 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 162360
[startup+0.100348 s]
/proc/loadavg: 4.00 4.00 3.93 2/174 18935
/proc/meminfo: memFree=31335548/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=162360 CPUtime=0.18 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 1231 0 0 0 18 0 0 0 20 0 3 0 275564543 166256640 1181 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 40590 1181 195 433 0 40154 0
[pid=18935/tid=18936] ppid=18933 vsize=162360 CPUtime=0.08 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 273 0 0 0 8 0 0 0 20 0 3 0 275564544 166256640 1181 33554432000 4194304 5965102 140737271227664 139955285976600 4394025 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=162360 CPUtime=0.08 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 207 0 0 0 8 0 0 0 20 0 3 0 275564544 166256640 1181 33554432000 4194304 5965102 140737271227664 139955275487480 4374065 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162360
[startup+0.300314 s]
/proc/loadavg: 4.00 4.00 3.93 2/174 18935
/proc/meminfo: memFree=31335548/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=162360 CPUtime=0.58 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 1845 0 0 0 57 1 0 0 20 0 3 0 275564543 166256640 1795 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 40590 1795 195 433 0 40154 0
[pid=18935/tid=18936] ppid=18933 vsize=162360 CPUtime=0.28 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 645 0 0 0 27 1 0 0 20 0 3 0 275564544 166256640 1795 33554432000 4194304 5965102 140737271227664 139955285977128 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=162360 CPUtime=0.28 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 449 0 0 0 28 0 0 0 20 0 3 0 275564544 166256640 1796 33554432000 4194304 5965102 140737271227664 139955275487592 4401131 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162360
[startup+0.700331 s]
/proc/loadavg: 4.00 4.00 3.93 2/174 18935
/proc/meminfo: memFree=31335548/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=162648 CPUtime=1.38 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 2361 0 0 0 136 2 0 0 20 0 3 0 275564543 166551552 2311 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 40662 2311 195 433 0 40226 0
[pid=18935/tid=18936] ppid=18933 vsize=162648 CPUtime=0.68 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 960 0 0 0 66 2 0 0 20 0 3 0 275564544 166551552 2311 33554432000 4194304 5965102 140737271227664 139955285976888 4404416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=162648 CPUtime=0.68 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 650 0 0 0 68 0 0 0 20 0 3 0 275564544 166551552 2311 33554432000 4194304 5965102 140737271227664 139955275487592 4401668 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162648
[startup+1.50029 s]
/proc/loadavg: 3.84 3.97 3.91 5/181 18978
/proc/meminfo: memFree=31323788/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=162648 CPUtime=2.99 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 3195 0 0 0 296 3 0 0 20 0 3 0 275564543 166551552 3145 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 40662 3145 195 433 0 40226 0
[pid=18935/tid=18936] ppid=18933 vsize=162648 CPUtime=1.49 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 1556 0 0 0 146 3 0 0 20 0 3 0 275564544 166551552 3145 33554432000 4194304 5965102 140737271227664 139955285977080 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=162648 CPUtime=1.48 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 888 0 0 0 148 0 0 0 20 0 3 0 275564544 166551552 3145 33554432000 4194304 5965102 140737271227664 139955275487352 4390200 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 162648
[startup+3.10029 s]
/proc/loadavg: 3.84 3.97 3.91 5/181 18978
/proc/meminfo: memFree=31310652/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=163080 CPUtime=6.18 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 4660 0 0 0 615 3 0 0 20 0 3 0 275564543 166993920 4610 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 40770 4610 195 433 0 40334 0
[pid=18935/tid=18936] ppid=18933 vsize=163080 CPUtime=3.08 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 2552 0 0 0 305 3 0 0 20 0 3 0 275564544 166993920 4610 33554432000 4194304 5965102 140737271227664 139955285976600 4390116 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=163080 CPUtime=3.07 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 1357 0 0 0 307 0 0 0 20 0 3 0 275564544 166993920 4610 33554432000 4194304 5965102 140737271227664 139955275487352 4390187 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 163080
[startup+6.30036 s]
/proc/loadavg: 3.84 3.97 3.91 5/180 18978
/proc/meminfo: memFree=31286976/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=163584 CPUtime=12.58 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 6525 0 0 0 1250 8 0 0 20 0 3 0 275564543 167510016 6511 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 40896 6511 195 433 0 40460 0
[pid=18935/tid=18936] ppid=18933 vsize=163584 CPUtime=6.26 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 3784 0 0 0 621 5 0 0 20 0 3 0 275564544 167510016 6511 33554432000 4194304 5965102 140737271227664 139955285976888 4404732 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=163584 CPUtime=6.26 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 1990 0 0 0 624 2 0 0 20 0 3 0 275564544 167510016 6511 33554432000 4194304 5965102 140737271227664 139955275487352 4401041 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 163584
[startup+12.7003 s]
/proc/loadavg: 3.87 3.97 3.91 5/181 18979
/proc/meminfo: memFree=31264812/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=165056 CPUtime=25.37 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 9271 0 0 0 2525 12 0 0 20 0 3 0 275564543 169017344 9257 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 41264 9257 195 433 0 40828 0
[pid=18935/tid=18936] ppid=18933 vsize=165056 CPUtime=12.64 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 5910 0 0 0 1256 8 0 0 20 0 3 0 275564544 169017344 9257 33554432000 4194304 5965102 140737271227664 139955285977128 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=165056 CPUtime=12.65 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 2610 0 0 0 1262 3 0 0 20 0 3 0 275564544 169017344 9257 33554432000 4194304 5965102 140737271227664 139955275487352 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 165056
[startup+25.5004 s]
/proc/loadavg: 3.89 3.97 3.91 5/181 18979
/proc/meminfo: memFree=31221668/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=168632 CPUtime=50.97 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 12982 0 0 0 5077 20 0 0 20 0 3 0 275564543 172679168 12994 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 42158 12994 195 433 0 41722 0
[pid=18935/tid=18936] ppid=18933 vsize=168632 CPUtime=25.41 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 8823 0 0 0 2526 15 0 0 20 0 3 0 275564544 172679168 12994 33554432000 4194304 5965102 140737271227664 139955285976600 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=168632 CPUtime=25.41 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 3408 0 0 0 2536 5 0 0 20 0 3 0 275564544 172679168 12994 33554432000 4194304 5965102 140737271227664 139955275487064 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 168632
[startup+51.1004 s]
/proc/loadavg: 3.92 3.97 3.91 5/181 18979
/proc/meminfo: memFree=31178244/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=172608 CPUtime=102.16 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 17909 0 0 0 10184 32 0 0 20 0 3 0 275564543 176750592 19628 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 43152 19628 195 433 0 42716 0
[pid=18935/tid=18936] ppid=18933 vsize=172608 CPUtime=50.94 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 12818 0 0 0 5069 25 0 0 20 0 3 0 275564544 176750592 19628 33554432000 4194304 5965102 140737271227664 139955285976600 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=172608 CPUtime=50.95 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 4340 0 0 0 5088 7 0 0 20 0 3 0 275564544 176750592 19628 33554432000 4194304 5965102 140737271227664 139955275487592 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 172608
[startup+102.306 s]
/proc/loadavg: 3.97 3.97 3.91 5/181 18979
/proc/meminfo: memFree=31101844/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=244524 CPUtime=204.55 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 26008 0 0 0 20400 55 0 0 20 0 3 0 275564543 250392576 27727 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 61131 27727 195 433 0 60695 0
[pid=18935/tid=18936] ppid=18933 vsize=244524 CPUtime=102.01 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 19347 0 0 0 10156 45 0 0 20 0 3 0 275564544 250392576 27727 33554432000 4194304 5965102 140737271227664 139955285976600 5136313 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=244524 CPUtime=102.02 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 5910 0 0 0 10190 12 0 0 20 0 3 0 275564544 250392576 27727 33554432000 4194304 5965102 140737271227664 139955275487592 4380351 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 244524
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 18979
/proc/meminfo: memFree=31045188/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=248668 CPUtime=324.5 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 32743 0 0 0 32381 69 0 0 20 0 3 0 275564543 254636032 34471 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 62167 34471 195 433 0 61731 0
[pid=18935/tid=18936] ppid=18933 vsize=248668 CPUtime=161.83 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 25419 0 0 0 16125 58 0 0 20 0 3 0 275564544 254636032 34471 33554432000 4194304 5965102 140737271227664 139955285977128 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=248668 CPUtime=161.86 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 6573 0 0 0 16172 14 0 0 20 0 3 0 275564544 254636032 34471 33554432000 4194304 5965102 140737271227664 139955275487064 4401046 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.5
Current children cumulated vsize (KiB) 248668
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 18979
/proc/meminfo: memFree=30991376/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=253372 CPUtime=444.45 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 39598 0 0 0 44359 86 0 0 20 0 3 0 275564543 259452928 41217 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 63343 41217 195 433 0 62907 0
[pid=18935/tid=18936] ppid=18933 vsize=253372 CPUtime=221.64 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 30882 0 0 0 22093 71 0 0 20 0 3 0 275564544 259452928 41217 33554432000 4194304 5965102 140737271227664 139955285976888 4401559 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=253372 CPUtime=221.7 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 7965 0 0 0 22150 20 0 0 20 0 3 0 275564544 259452928 41217 33554432000 4194304 5965102 140737271227664 139955275487064 4380032 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 253372
################
# More data... #
################
[pid=18935/tid=18937] ppid=18933 vsize=325652 CPUtime=341.4 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 9237 0 0 0 34116 24 0 0 20 0 3 0 275564544 333467648 52790 33554432000 4194304 5965102 140737271227664 139955275487592 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.42
Current children cumulated vsize (KiB) 325652
[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 18980
/proc/meminfo: memFree=30868448/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=327484 CPUtime=804.38 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 56723 0 0 0 80316 122 0 0 20 0 3 0 275564543 335343616 58327 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 81871 58327 195 433 0 81435 0
[pid=18935/tid=18936] ppid=18933 vsize=327484 CPUtime=401.15 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 46522 0 0 0 40008 107 0 0 20 0 3 0 275564544 335343616 58327 33554432000 4194304 5965102 140737271227664 139955285977128 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=327484 CPUtime=401.24 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 9450 0 0 0 40098 26 0 0 20 0 3 0 275564544 335343616 58327 33554432000 4194304 5965102 140737271227664 139955275487592 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.38
Current children cumulated vsize (KiB) 327484
[startup+462.3 s]
/proc/loadavg: 4.03 3.99 3.92 5/182 19005
/proc/meminfo: memFree=30824760/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=330132 CPUtime=924.35 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 62450 0 0 0 92297 138 0 0 20 0 3 0 275564543 338055168 64046 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 82533 64046 195 433 0 82097 0
[pid=18935/tid=18936] ppid=18933 vsize=330132 CPUtime=460.98 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 51559 0 0 0 45977 121 0 0 20 0 3 0 275564544 338055168 64046 33554432000 4194304 5965102 140737271227664 139955285976600 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=330132 CPUtime=461.09 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 10140 0 0 0 46080 29 0 0 20 0 3 0 275564544 338055168 64046 33554432000 4194304 5965102 140737271227664 139955275487592 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 924.35
Current children cumulated vsize (KiB) 330132
[startup+522.3 s]
/proc/loadavg: 4.01 3.99 3.92 5/181 19005
/proc/meminfo: memFree=30804412/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=396440 CPUtime=1044.32 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 65728 0 0 0 104287 145 0 0 20 0 3 0 275564543 405954560 67318 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 99110 67318 195 433 0 98674 0
[pid=18935/tid=18936] ppid=18933 vsize=396440 CPUtime=520.82 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 54354 0 0 0 51954 128 0 0 20 0 3 0 275564544 405954560 67318 33554432000 4194304 5965102 140737271227664 139955285977128 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=396440 CPUtime=520.93 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 10623 0 0 0 52062 31 0 0 20 0 3 0 275564544 405954560 67318 33554432000 4194304 5965102 140737271227664 139955275487592 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1044.32
Current children cumulated vsize (KiB) 396440
[startup+582.3 s]
/proc/loadavg: 4.08 4.00 3.93 5/181 19005
/proc/meminfo: memFree=30762708/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=398388 CPUtime=1164.3 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 68860 0 0 0 116280 150 0 0 20 0 3 0 275564543 407949312 70450 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 99597 70450 195 433 0 99161 0
[pid=18935/tid=18936] ppid=18933 vsize=398388 CPUtime=580.66 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 57184 0 0 0 57932 134 0 0 20 0 3 0 275564544 407949312 70450 33554432000 4194304 5965102 140737271227664 139955285977128 4380032 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=398388 CPUtime=580.78 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 10925 0 0 0 58046 32 0 0 20 0 3 0 275564544 407949312 70450 33554432000 4194304 5965102 140737271227664 139955275487592 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1164.3
Current children cumulated vsize (KiB) 398388
[startup+642.3 s]
/proc/loadavg: 4.03 4.00 3.93 5/181 19006
/proc/meminfo: memFree=30733940/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=400568 CPUtime=1284.29 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 72922 0 0 0 128270 159 0 0 20 0 3 0 275564543 410181632 74512 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 100142 74512 195 433 0 99706 0
[pid=18935/tid=18936] ppid=18933 vsize=400568 CPUtime=640.51 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 60967 0 0 0 63908 143 0 0 20 0 3 0 275564544 410181632 74512 33554432000 4194304 5965102 140737271227664 139955285976600 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=400568 CPUtime=640.63 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 11204 0 0 0 64030 33 0 0 20 0 3 0 275564544 410181632 74512 33554432000 4194304 5965102 140737271227664 139955275487592 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1284.29
Current children cumulated vsize (KiB) 400568
[startup+702.3 s]
/proc/loadavg: 4.01 4.00 3.93 5/181 19006
/proc/meminfo: memFree=30695388/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=402076 CPUtime=1404.24 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 78841 0 0 0 140256 168 0 0 20 0 3 0 275564543 411725824 80416 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 100519 80416 195 433 0 100083 0
[pid=18935/tid=18936] ppid=18933 vsize=402076 CPUtime=700.32 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 65930 0 0 0 69880 152 0 0 20 0 3 0 275564544 411725824 80416 33554432000 4194304 5965102 140737271227664 139955285976600 4380288 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=402076 CPUtime=700.47 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 12160 0 0 0 70012 35 0 0 20 0 3 0 275564544 411725824 80416 33554432000 4194304 5965102 140737271227664 139955275487064 4400978 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1404.24
Current children cumulated vsize (KiB) 402076
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 19006
/proc/meminfo: memFree=30664284/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=405660 CPUtime=1524.2 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 82827 0 0 0 152247 173 0 0 20 0 3 0 275564543 415395840 84382 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 101415 84382 195 433 0 100979 0
[pid=18935/tid=18936] ppid=18933 vsize=405660 CPUtime=760.14 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 69366 0 0 0 75857 157 0 0 20 0 3 0 275564544 415395840 84382 33554432000 4194304 5965102 140737271227664 139955285976600 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=405660 CPUtime=760.32 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 12710 0 0 0 75995 37 0 0 20 0 3 0 275564544 415395840 84382 33554432000 4194304 5965102 140737271227664 139955275487352 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1524.2
Current children cumulated vsize (KiB) 405660
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 19006
/proc/meminfo: memFree=30629192/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=472748 CPUtime=1644.18 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 86406 0 0 0 164240 178 0 0 20 0 3 0 275564543 484093952 87961 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 118187 87961 195 433 0 117751 0
[pid=18935/tid=18936] ppid=18933 vsize=472748 CPUtime=819.98 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 72237 0 0 0 81836 162 0 0 20 0 3 0 275564544 484093952 87961 33554432000 4194304 5965102 140737271227664 139955285976600 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=472748 CPUtime=820.16 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 13418 0 0 0 81977 39 0 0 20 0 3 0 275564544 484093952 87961 33554432000 4194304 5965102 140737271227664 139955275487352 4401050 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1644.18
Current children cumulated vsize (KiB) 472748
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 19006
/proc/meminfo: memFree=30613116/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=473652 CPUtime=1764.15 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 89245 0 0 0 176233 182 0 0 20 0 3 0 275564543 485019648 90797 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 118413 90797 195 433 0 117977 0
[pid=18935/tid=18936] ppid=18933 vsize=473652 CPUtime=879.82 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 75024 0 0 0 87815 167 0 0 20 0 3 0 275564544 485019648 90797 33554432000 4194304 5965102 140737271227664 139955285976600 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=473652 CPUtime=880.01 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 13470 0 0 0 87961 40 0 0 20 0 3 0 275564544 485019648 90797 33554432000 4194304 5965102 140737271227664 139955275487352 4401559 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1764.15
Current children cumulated vsize (KiB) 473652
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.07 4.02 3.93 5/181 19006
/proc/meminfo: memFree=30607816/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=473652 CPUtime=1800.15 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 90512 0 0 0 179830 185 0 0 20 0 3 0 275564543 485019648 92064 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 118413 92064 195 433 0 117977 0
[pid=18935/tid=18936] ppid=18933 vsize=473652 CPUtime=897.78 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 76291 0 0 0 89608 170 0 0 20 0 3 0 275564544 485019648 92064 33554432000 4194304 5965102 140737271227664 139955285976600 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=473652 CPUtime=897.97 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 13470 0 0 0 89757 40 0 0 20 0 3 0 275564544 485019648 92064 33554432000 4194304 5965102 140737271227664 139955275487352 4400960 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) 473652
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: 4.07 4.02 3.93 5/181 19006
/proc/meminfo: memFree=30607816/32873844 swapFree=6080/6080
[pid=18935] ppid=18933 vsize=473652 CPUtime=1800.15 cores=0,2,4,6
/proc/18935/stat : 18935 (pwbo2.0) S 18933 18935 18125 0 -1 4202496 90512 0 0 0 179830 185 0 0 20 0 3 0 275564543 485019648 92064 33554432000 4194304 5965102 140737271227664 140737271227184 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18935/statm: 118413 92064 195 433 0 117977 0
[pid=18935/tid=18936] ppid=18933 vsize=473652 CPUtime=897.78 cores=0,2,4,6
/proc/18935/task/18936/stat : 18936 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 76291 0 0 0 89608 170 0 0 20 0 3 0 275564544 485019648 92064 33554432000 4194304 5965102 140737271227664 139955285976600 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=18935/tid=18937] ppid=18933 vsize=473652 CPUtime=897.97 cores=0,2,4,6
/proc/18935/task/18937/stat : 18937 (pwbo2.0) R 18933 18935 18125 0 -1 4202560 13470 0 0 0 89757 40 0 0 20 0 3 0 275564544 485019648 92064 33554432000 4194304 5965102 140737271227664 139955275487352 4400960 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) 473652
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18935 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=659322
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=129676
# 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.32
CPU time (s): 1800.15
CPU user time (s): 1798.3
CPU system time (s): 1.85
CPU usage (%): 199.946
Max. virtual memory (cumulated for all children) (KiB): 473652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.66
system time used= 2.12968
maximum resident set size= 368264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90514
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= 181
involuntary context switches= 2072
runsolver used 1.75973 second user time and 5.04523 second system time
The end