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-3728614-1338671881/watcher-3728614-1338671881 -o /tmp/evaluation-result-3728614-1338671881/solver-3728614-1338671881 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728614-1338671881.wbo 

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 3.90 3.22 4/178 31084
/proc/meminfo: memFree=26789376/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=163156 CPUtime=0 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 1147 0 0 0 0 0 0 0 20 0 3 0 333312452 167071744 1092 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 40789 1097 178 433 0 40353 0
[pid=31084/tid=31085] ppid=31082 vsize=163156 CPUtime=0 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 87 0 0 0 0 0 0 0 20 0 3 0 333312453 167071744 1105 33554432000 4194304 5964478 140735146511872 139846959639080 5136490 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=163156 CPUtime=0 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 99 0 0 0 0 0 0 0 20 0 3 0 333312453 167071744 1109 33554432000 4194304 5964478 140735146511872 139846949149224 5139166 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0

[startup+0.0910909 s]
/proc/loadavg: 4.00 3.90 3.22 4/178 31084
/proc/meminfo: memFree=26789376/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=173140 CPUtime=0.16 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 5628 0 0 0 13 3 0 0 20 0 3 0 333312452 177295360 5450 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 43285 5450 206 433 0 42849 0
[pid=31084/tid=31085] ppid=31082 vsize=173140 CPUtime=0.07 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 434 0 0 0 7 0 0 0 20 0 3 0 333312453 177295360 5450 33554432000 4194304 5964478 140735146511872 139846959638568 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=173140 CPUtime=0.07 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 4220 0 0 0 3 4 0 0 20 0 3 0 333312453 177295360 5450 33554432000 4194304 5964478 140735146511872 139846949148360 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 173140

[startup+0.100397 s]
/proc/loadavg: 4.00 3.90 3.22 4/178 31084
/proc/meminfo: memFree=26789376/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=173140 CPUtime=0.17 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 5683 0 0 0 14 3 0 0 20 0 3 0 333312452 177295360 5505 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 43285 5505 206 433 0 42849 0
[pid=31084/tid=31085] ppid=31082 vsize=173140 CPUtime=0.08 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 458 0 0 0 8 0 0 0 20 0 3 0 333312453 177295360 5506 33554432000 4194304 5964478 140735146511872 139846959638568 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=173140 CPUtime=0.08 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 4252 0 0 0 4 4 0 0 20 0 3 0 333312453 177295360 5506 33554432000 4194304 5964478 140735146511872 139846949148360 4392723 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 173140

[startup+0.300345 s]
/proc/loadavg: 4.00 3.90 3.22 4/178 31084
/proc/meminfo: memFree=26789376/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=173140 CPUtime=0.58 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 6527 0 0 0 52 6 0 0 20 0 3 0 333312452 177295360 6349 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 43285 6349 206 433 0 42849 0
[pid=31084/tid=31085] ppid=31082 vsize=173140 CPUtime=0.28 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 927 0 0 0 25 3 0 0 20 0 3 0 333312453 177295360 6349 33554432000 4194304 5964478 140735146511872 139846959638520 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=173140 CPUtime=0.28 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 4626 0 0 0 23 5 0 0 20 0 3 0 333312453 177295360 6349 33554432000 4194304 5964478 140735146511872 139846949148984 4382029 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) 173140

[startup+0.700309 s]
/proc/loadavg: 4.00 3.90 3.22 4/178 31084
/proc/meminfo: memFree=26789376/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=173140 CPUtime=1.37 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 8178 0 0 0 127 10 0 0 20 0 3 0 333312452 177295360 8000 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 43285 8000 206 433 0 42849 0
[pid=31084/tid=31085] ppid=31082 vsize=173140 CPUtime=0.68 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 1792 0 0 0 63 5 0 0 20 0 3 0 333312453 177295360 8000 33554432000 4194304 5964478 140735146511872 139846959638520 4399912 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=173140 CPUtime=0.68 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 5413 0 0 0 61 7 0 0 20 0 3 0 333312453 177295360 8001 33554432000 4194304 5964478 140735146511872 139846949148984 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 173140

[startup+1.50032 s]
/proc/loadavg: 4.00 3.90 3.22 5/181 31087
/proc/meminfo: memFree=26741044/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=173140 CPUtime=2.97 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 11363 0 0 0 276 21 0 0 20 0 3 0 333312452 177295360 11185 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 43285 11185 206 433 0 42849 0
[pid=31084/tid=31085] ppid=31082 vsize=173140 CPUtime=1.47 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 3410 0 0 0 137 10 0 0 20 0 3 0 333312453 177295360 11185 33554432000 4194304 5964478 140735146511872 139846959638328 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=173140 CPUtime=1.47 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 6979 0 0 0 135 12 0 0 20 0 3 0 333312453 177295360 11185 33554432000 4194304 5964478 140735146511872 139846949149032 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 173140

[startup+3.10033 s]
/proc/loadavg: 4.00 3.90 3.22 5/181 31087
/proc/meminfo: memFree=26709300/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=173428 CPUtime=6.16 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 15352 0 0 0 580 36 0 0 20 0 3 0 333312452 177590272 15174 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 43357 15174 206 433 0 42921 0
[pid=31084/tid=31085] ppid=31082 vsize=173428 CPUtime=3.07 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 4939 0 0 0 292 15 0 0 20 0 3 0 333312453 177590272 15175 33554432000 4194304 5964478 140735146511872 139846959638520 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=173428 CPUtime=3.07 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 9440 0 0 0 285 22 0 0 20 0 3 0 333312453 177590272 15175 33554432000 4194304 5964478 140735146511872 139846949148984 4381996 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 173428

[startup+6.30033 s]
/proc/loadavg: 4.00 3.90 3.22 5/181 31087
/proc/meminfo: memFree=26654500/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=173608 CPUtime=12.55 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 22296 0 0 0 1195 60 0 0 20 0 3 0 333312452 177774592 22118 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 43402 22118 206 433 0 42966 0
[pid=31084/tid=31085] ppid=31082 vsize=173608 CPUtime=6.26 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 7610 0 0 0 604 22 0 0 20 0 3 0 333312453 177774592 22118 33554432000 4194304 5964478 140735146511872 139846959638520 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=173608 CPUtime=6.26 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 13712 0 0 0 588 38 0 0 20 0 3 0 333312453 177774592 22118 33554432000 4194304 5964478 140735146511872 139846949148984 4222304 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 173608

[startup+12.7003 s]
/proc/loadavg: 4.00 3.90 3.23 5/181 31087
/proc/meminfo: memFree=26579660/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=239376 CPUtime=25.35 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 35258 0 0 0 2429 106 0 0 20 0 3 0 333312452 245121024 35080 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 59844 35080 206 433 0 59408 0
[pid=31084/tid=31085] ppid=31082 vsize=239376 CPUtime=12.64 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 12425 0 0 0 1227 37 0 0 20 0 3 0 333312453 245121024 35080 33554432000 4194304 5964478 140735146511872 139846959638520 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=239376 CPUtime=12.64 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 21859 0 0 0 1196 68 0 0 20 0 3 0 333312453 245121024 35080 33554432000 4194304 5964478 140735146511872 139846949148984 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 239376

[startup+25.5003 s]
/proc/loadavg: 4.00 3.90 3.24 5/181 31087
/proc/meminfo: memFree=26436936/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=305260 CPUtime=50.94 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 53900 0 0 0 4945 149 0 0 20 0 3 0 333312452 312586240 53722 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 76315 53722 206 433 0 75879 0
[pid=31084/tid=31085] ppid=31082 vsize=305260 CPUtime=25.41 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 19589 0 0 0 2492 49 0 0 20 0 3 0 333312453 312586240 53722 33554432000 4194304 5964478 140735146511872 139846959638520 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=305260 CPUtime=25.41 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 33337 0 0 0 2441 100 0 0 20 0 3 0 333312453 312586240 53722 33554432000 4194304 5964478 140735146511872 139846949148792 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 305260

[startup+51.1003 s]
/proc/loadavg: 4.00 3.91 3.26 5/181 31087
/proc/meminfo: memFree=26263180/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=437124 CPUtime=102.12 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 77996 0 0 0 9985 227 0 0 20 0 3 0 333312452 447614976 77818 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 109281 77818 206 433 0 108845 0
[pid=31084/tid=31085] ppid=31082 vsize=437124 CPUtime=50.94 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 23015 0 0 0 5036 58 0 0 20 0 3 0 333312453 447614976 77818 33554432000 4194304 5964478 140735146511872 139846959638520 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=437124 CPUtime=50.95 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 54007 0 0 0 4926 169 0 0 20 0 3 0 333312453 447614976 77818 33554432000 4194304 5964478 140735146511872 139846949148984 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 437124

[startup+102.307 s]
/proc/loadavg: 4.00 3.92 3.30 5/181 31087
/proc/meminfo: memFree=25959424/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=569684 CPUtime=204.5 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 109632 0 0 0 20147 303 0 0 20 0 3 0 333312452 583356416 109815 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 142421 109815 206 433 0 141985 0
[pid=31084/tid=31085] ppid=31082 vsize=569684 CPUtime=102.01 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 37034 0 0 0 10104 97 0 0 20 0 3 0 333312453 583356416 109815 33554432000 4194304 5964478 140735146511872 139846959638568 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=569684 CPUtime=102.02 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 71624 0 0 0 9994 208 0 0 20 0 3 0 333312453 583356416 109815 33554432000 4194304 5964478 140735146511872 139846949148744 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (KiB) 569684

[startup+162.3 s]
/proc/loadavg: 4.00 3.93 3.33 5/182 31090
/proc/meminfo: memFree=25678476/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=570256 CPUtime=324.45 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 111777 0 0 0 32138 307 0 0 20 0 3 0 333312452 583942144 112136 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 142564 112136 206 433 0 142128 0
[pid=31084/tid=31085] ppid=31082 vsize=570256 CPUtime=161.84 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 38989 0 0 0 16083 101 0 0 20 0 3 0 333312453 583942144 112136 33554432000 4194304 5964478 140735146511872 139846959638520 4400115 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=570256 CPUtime=161.84 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 71814 0 0 0 15975 209 0 0 20 0 3 0 333312453 583942144 112136 33554432000 4194304 5964478 140735146511872 139846949148744 4400056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.45
Current children cumulated vsize (KiB) 570256

[startup+222.3 s]
/proc/loadavg: 4.00 3.94 3.38 5/181 31090
/proc/meminfo: memFree=25521900/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=702080 CPUtime=444.39 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 145724 0 0 0 44040 399 0 0 20 0 3 0 333312452 718929920 146143 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 175520 146143 206 433 0 175084 0
[pid=31084/tid=31085] ppid=31082 vsize=702080 CPUtime=221.66 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 58600 0 0 0 22021 145 0 0 20 0 3 0 333312453 718929920 146143 33554432000 4194304 5964478 140735146511872 139846959638328 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=702080 CPUtime=221.67 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 86150 0 0 0 21908 259 0 0 20 0 3 0 333312453 718929920 146143 33554432000 4194304 5964478 140735146511872 139846949148984 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.39
Current children cumulated vsize (KiB) 702080

################
# More data... #
################

[pid=31084/tid=31086] ppid=31082 vsize=835772 CPUtime=341.32 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 107482 0 0 0 33797 335 0 0 20 0 3 0 333312453 855830528 181780 33554432000 4194304 5964478 140735146511872 139846949148984 4400432 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.27
Current children cumulated vsize (KiB) 835772

[startup+402.3 s]
/proc/loadavg: 4.00 3.97 3.48 5/181 31091
/proc/meminfo: memFree=25042820/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=902388 CPUtime=804.24 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 200188 0 0 0 79907 517 0 0 20 0 3 0 333312452 924045312 202344 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 225597 202344 206 433 0 225161 0
[pid=31084/tid=31085] ppid=31082 vsize=902388 CPUtime=401.15 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 91708 0 0 0 39922 193 0 0 20 0 3 0 333312453 924045312 202344 33554432000 4194304 5964478 140735146511872 139846959638520 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=902388 CPUtime=401.16 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 107506 0 0 0 39780 336 0 0 20 0 3 0 333312453 924045312 202344 33554432000 4194304 5964478 140735146511872 139846949148984 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.24
Current children cumulated vsize (KiB) 902388

[startup+462.3 s]
/proc/loadavg: 4.00 3.97 3.51 5/181 31091
/proc/meminfo: memFree=25043100/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=902388 CPUtime=924.22 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 200197 0 0 0 91905 517 0 0 20 0 3 0 333312452 924045312 202329 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 225597 202329 206 433 0 225161 0
[pid=31084/tid=31085] ppid=31082 vsize=902388 CPUtime=461 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 91716 0 0 0 45907 193 0 0 20 0 3 0 333312453 924045312 202329 33554432000 4194304 5964478 140735146511872 139846959638552 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=902388 CPUtime=461 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 107507 0 0 0 45764 336 0 0 20 0 3 0 333312453 924045312 202329 33554432000 4194304 5964478 140735146511872 139846949148984 4400056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 924.22
Current children cumulated vsize (KiB) 902388

[startup+522.3 s]
/proc/loadavg: 4.00 3.97 3.54 5/181 31091
/proc/meminfo: memFree=25041888/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=902824 CPUtime=1044.2 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 200295 0 0 0 103903 517 0 0 20 0 3 0 333312452 924491776 202426 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 225706 202426 206 433 0 225270 0
[pid=31084/tid=31085] ppid=31082 vsize=902824 CPUtime=520.84 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 91719 0 0 0 51890 194 0 0 20 0 3 0 333312453 924491776 202426 33554432000 4194304 5964478 140735146511872 139846959638552 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=902824 CPUtime=520.85 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 107602 0 0 0 51748 337 0 0 20 0 3 0 333312453 924491776 202426 33554432000 4194304 5964478 140735146511872 139846949148808 4400103 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1044.2
Current children cumulated vsize (KiB) 902824

[startup+582.3 s]
/proc/loadavg: 4.00 3.97 3.56 5/181 31092
/proc/meminfo: memFree=25028772/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=903608 CPUtime=1164.18 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 200480 0 0 0 115901 517 0 0 20 0 3 0 333312452 925294592 202176 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 225902 202176 206 433 0 225466 0
[pid=31084/tid=31085] ppid=31082 vsize=903608 CPUtime=580.68 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 91742 0 0 0 57873 195 0 0 20 0 3 0 333312453 925294592 202176 33554432000 4194304 5964478 140735146511872 139846959638552 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=903608 CPUtime=580.7 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 107764 0 0 0 57732 338 0 0 20 0 3 0 333312453 925294592 202176 33554432000 4194304 5964478 140735146511872 139846949149016 4379296 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1164.18
Current children cumulated vsize (KiB) 903608

[startup+642.3 s]
/proc/loadavg: 4.00 3.97 3.59 5/181 31092
/proc/meminfo: memFree=24998172/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=903824 CPUtime=1284.18 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 202370 0 0 0 127899 519 0 0 20 0 3 0 333312452 925515776 204066 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 225956 204066 206 433 0 225520 0
[pid=31084/tid=31085] ppid=31082 vsize=903824 CPUtime=640.53 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 93629 0 0 0 63856 197 0 0 20 0 3 0 333312453 925515776 204067 33554432000 4194304 5964478 140735146511872 139846959638520 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=903824 CPUtime=640.55 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 107768 0 0 0 63716 339 0 0 20 0 3 0 333312453 925515776 204067 33554432000 4194304 5964478 140735146511872 139846949149016 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1284.18
Current children cumulated vsize (KiB) 903824

[startup+702.3 s]
/proc/loadavg: 4.04 3.99 3.62 5/181 31092
/proc/meminfo: memFree=24900736/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=971572 CPUtime=1404.15 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 215008 0 0 0 139864 551 0 0 20 0 3 0 333312452 994889728 216704 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 242893 216704 206 433 0 242457 0
[pid=31084/tid=31085] ppid=31082 vsize=971572 CPUtime=700.37 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 106262 0 0 0 69807 230 0 0 20 0 3 0 333312453 994889728 216704 33554432000 4194304 5964478 140735146511872 139846959638328 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=971572 CPUtime=700.39 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 107772 0 0 0 69699 340 0 0 20 0 3 0 333312453 994889728 216704 33554432000 4194304 5964478 140735146511872 139846949149016 4399969 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1404.15
Current children cumulated vsize (KiB) 971572

[startup+762.307 s]
/proc/loadavg: 4.05 4.00 3.64 5/182 31095
/proc/meminfo: memFree=24707936/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=971708 CPUtime=1524.14 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 218861 0 0 0 151852 562 0 0 20 0 3 0 333312452 995028992 220557 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 242927 220557 206 433 0 242491 0
[pid=31084/tid=31085] ppid=31082 vsize=971708 CPUtime=760.22 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 106270 0 0 0 75791 231 0 0 20 0 3 0 333312453 995028992 220557 33554432000 4194304 5964478 140735146511872 139846959638328 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=971708 CPUtime=760.24 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 111617 0 0 0 75672 352 0 0 20 0 3 0 333312453 995028992 220557 33554432000 4194304 5964478 140735146511872 139846949148984 4400006 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1524.14
Current children cumulated vsize (KiB) 971708

[startup+822.3 s]
/proc/loadavg: 4.02 4.00 3.66 5/181 31095
/proc/meminfo: memFree=24470884/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=1038360 CPUtime=1644.11 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 238361 0 0 0 163785 626 0 0 20 0 3 0 333312452 1063280640 240057 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 259590 240057 206 433 0 259154 0
[pid=31084/tid=31085] ppid=31082 vsize=1038360 CPUtime=820.05 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 106276 0 0 0 81773 232 0 0 20 0 3 0 333312453 1063280640 240057 33554432000 4194304 5964478 140735146511872 139846959638328 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=1038360 CPUtime=820.08 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 131111 0 0 0 81591 417 0 0 20 0 3 0 333312453 1063280640 240057 33554432000 4194304 5964478 140735146511872 139846949149032 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1644.11
Current children cumulated vsize (KiB) 1038360

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.68 5/181 31096
/proc/meminfo: memFree=24317528/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=1105492 CPUtime=1764.09 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 258559 0 0 0 175727 682 0 0 20 0 3 0 333312452 1132023808 260255 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 276373 260255 206 433 0 275937 0
[pid=31084/tid=31085] ppid=31082 vsize=1105492 CPUtime=879.9 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 109619 0 0 0 87751 239 0 0 20 0 3 0 333312453 1132023808 260255 33554432000 4194304 5964478 140735146511872 139846959638520 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=1105492 CPUtime=879.93 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 147966 0 0 0 87526 467 0 0 20 0 3 0 333312453 1132023808 260255 33554432000 4194304 5964478 140735146511872 139846949148984 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1764.09
Current children cumulated vsize (KiB) 1105492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.68 3/178 31097
/proc/meminfo: memFree=25720888/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=1106320 CPUtime=1800.1 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 267575 0 0 0 179320 690 0 0 20 0 3 0 333312452 1132871680 269271 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 276580 269271 206 433 0 276144 0
[pid=31084/tid=31085] ppid=31082 vsize=1106320 CPUtime=897.86 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 114954 0 0 0 89541 245 0 0 20 0 3 0 333312453 1132871680 269271 33554432000 4194304 5964478 140735146511872 139846959638520 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=1106320 CPUtime=897.89 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 151647 0 0 0 89319 470 0 0 20 0 3 0 333312453 1132871680 269271 33554432000 4194304 5964478 140735146511872 139846949148984 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1106320

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.00 4.00 3.68 3/178 31097
/proc/meminfo: memFree=25720888/32873844 swapFree=7628/7628
[pid=31084] ppid=31082 vsize=1106320 CPUtime=1800.1 cores=0,2,4,6
/proc/31084/stat : 31084 (pwbo2.02) S 31082 31084 30325 0 -1 4202496 267575 0 0 0 179320 690 0 0 20 0 3 0 333312452 1132871680 269271 33554432000 4194304 5964478 140735146511872 140735146511392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31084/statm: 276580 269271 206 433 0 276144 0
[pid=31084/tid=31085] ppid=31082 vsize=1106320 CPUtime=897.86 cores=0,2,4,6
/proc/31084/task/31085/stat : 31085 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 114954 0 0 0 89541 245 0 0 20 0 3 0 333312453 1132871680 269271 33554432000 4194304 5964478 140735146511872 139846959638520 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=31084/tid=31086] ppid=31082 vsize=1106320 CPUtime=897.89 cores=0,2,4,6
/proc/31084/task/31086/stat : 31086 (pwbo2.02) R 31082 31084 30325 0 -1 4202560 151647 0 0 0 89319 470 0 0 20 0 3 0 333312453 1132871680 269271 33554432000 4194304 5964478 140735146511872 139846949148984 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1106320

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31084 and gives
#  childrusage.ru_utime.tv_sec=1788
#  childrusage.ru_utime.tv_usec=622088
#  childrusage.ru_stime.tv_sec=7
#  childrusage.ru_stime.tv_usec=209903
# CPU time returned by wait4() is 1795.83
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.353
CPU time (s): 1800.1
CPU user time (s): 1793.2
CPU system time (s): 6.9
CPU usage (%): 199.933
Max. virtual memory (cumulated for all children) (KiB): 1106320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.62
system time used= 7.2099
maximum resident set size= 1077100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267579
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= 1003
involuntary context switches= 1951

runsolver used 2.18067 second user time and 4.6353 second system time

The end