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-3500053-1307989582/watcher-3500053-1307989582 -o /tmp/evaluation-result-3500053-1307989582/solver-3500053-1307989582 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500053-1307989582.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 30028
/proc/meminfo: memFree=11976652/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=3256 CPUtime=0 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) R 30026 30028 29599 0 -1 4202496 565 0 0 0 0 0 0 0 22 0 1 0 910557853 3334144 518 33554432000 4194304 5714118 140734304192704 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/30028/statm: 814 520 167 372 0 413 0
[startup+0.0818171 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 30028
/proc/meminfo: memFree=11976652/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=136980 CPUtime=0.14 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 2514 0 0 0 14 0 0 0 22 0 3 0 910557853 140267520 2285 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 34245 2286 179 372 0 33870 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 136980
[startup+0.100812 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 30028
/proc/meminfo: memFree=11976652/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=136980 CPUtime=0.18 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 2627 0 0 0 18 0 0 0 22 0 3 0 910557853 140267520 2375 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 34245 2375 179 372 0 33870 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 136980
[startup+0.30078 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 30028
/proc/meminfo: memFree=11976652/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=138268 CPUtime=0.57 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 6532 0 0 0 57 0 0 0 22 0 3 0 910557853 141586432 4274 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 34567 4274 179 372 0 34192 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 138268
[startup+0.700713 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 30028
/proc/meminfo: memFree=11976652/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=136980 CPUtime=1.38 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 14939 0 0 0 136 2 0 0 22 0 3 0 910557853 140267520 7608 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 34245 7608 179 372 0 33870 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 136980
[startup+1.50061 s]
/proc/loadavg: 1.92 1.98 1.99 6/180 30031
/proc/meminfo: memFree=11935448/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=136980 CPUtime=2.97 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 25296 0 0 0 289 8 0 0 22 0 3 0 910557853 140267520 11091 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 34245 11091 179 372 0 33870 0
[pid=30028/tid=30030] ppid=30026 vsize=136980 CPUtime=1.48 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 23433 0 0 0 141 7 0 0 20 0 3 0 910557854 140267520 11091 33554432000 4194304 5714118 140734304192704 18446744073709551615 4968084 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=136980 CPUtime=1.48 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 974 0 0 0 147 1 0 0 25 0 3 0 910557854 140267520 11091 33554432000 4194304 5714118 140734304192704 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 136980
[startup+3.10033 s]
/proc/loadavg: 2.25 2.05 2.02 6/180 30031
/proc/meminfo: memFree=11912880/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=136980 CPUtime=6.17 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 37798 0 0 0 591 26 0 0 22 0 3 0 910557853 140267520 16182 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 34245 16182 179 372 0 33870 0
[pid=30028/tid=30030] ppid=30026 vsize=136980 CPUtime=3.08 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 34195 0 0 0 285 23 0 0 25 0 3 0 910557854 140267520 16182 33554432000 4194304 5714118 140734304192704 18446744073709551615 4973006 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=136980 CPUtime=3.07 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 2714 0 0 0 305 2 0 0 25 0 3 0 910557854 140267520 16182 33554432000 4194304 5714118 140734304192704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 136980
[startup+6.30079 s]
/proc/loadavg: 2.25 2.05 2.02 5/180 30031
/proc/meminfo: memFree=11869432/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=202516 CPUtime=12.57 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 56417 0 0 0 1188 69 0 0 22 0 3 0 910557853 207376384 24085 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 50629 24085 179 372 0 50254 0
[pid=30028/tid=30030] ppid=30026 vsize=202516 CPUtime=6.29 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 51085 0 0 0 564 65 0 0 25 0 3 0 910557854 207376384 24085 33554432000 4194304 5714118 140734304192704 18446744073709551615 4323247 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=202516 CPUtime=6.27 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 4443 0 0 0 623 4 0 0 25 0 3 0 910557854 207376384 24085 33554432000 4194304 5714118 140734304192704 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 202516
[startup+12.7007 s]
/proc/loadavg: 2.39 2.08 2.03 5/180 30031
/proc/meminfo: memFree=11815928/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=202516 CPUtime=25.37 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 83096 0 0 0 2397 140 0 0 22 0 3 0 910557853 207376384 33287 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 50629 33287 179 372 0 50254 0
[pid=30028/tid=30030] ppid=30026 vsize=202516 CPUtime=12.68 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 76280 0 0 0 1136 132 0 0 25 0 3 0 910557854 207376384 33287 33554432000 4194304 5714118 140734304192704 18446744073709551615 4968218 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=202516 CPUtime=12.67 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 5927 0 0 0 1260 7 0 0 25 0 3 0 910557854 207376384 33287 33554432000 4194304 5714118 140734304192704 18446744073709551615 4319720 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 202516
[startup+25.5004 s]
/proc/loadavg: 2.75 2.18 2.06 5/180 30031
/proc/meminfo: memFree=11757472/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=202516 CPUtime=50.97 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 105853 0 0 0 4857 240 0 0 22 0 3 0 910557853 207376384 41682 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 50629 41682 180 372 0 50254 0
[pid=30028/tid=30030] ppid=30026 vsize=202516 CPUtime=25.48 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 95847 0 0 0 2323 225 0 0 25 0 3 0 910557854 207376384 41682 33554432000 4194304 5714118 140734304192704 18446744073709551615 4200291 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=202516 CPUtime=25.47 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 9117 0 0 0 2533 14 0 0 25 0 3 0 910557854 207376384 41682 33554432000 4194304 5714118 140734304192704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 202516
[startup+51.101 s]
/proc/loadavg: 3.17 2.32 2.11 5/180 30032
/proc/meminfo: memFree=11676656/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=268052 CPUtime=102.17 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 146168 0 0 0 9802 415 0 0 22 0 3 0 910557853 274485248 57767 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 67013 57767 180 372 0 66638 0
[pid=30028/tid=30030] ppid=30026 vsize=268052 CPUtime=51.08 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 133986 0 0 0 4713 395 0 0 25 0 3 0 910557854 274485248 57767 33554432000 4194304 5714118 140734304192704 18446744073709551615 4322955 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=268052 CPUtime=51.07 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 11293 0 0 0 5088 19 0 0 25 0 3 0 910557854 274485248 57767 33554432000 4194304 5714118 140734304192704 18446744073709551615 4310854 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 268052
[startup+102.306 s]
/proc/loadavg: 3.67 2.60 2.21 5/180 30033
/proc/meminfo: memFree=11571356/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=333724 CPUtime=204.57 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 194180 0 0 0 19787 670 0 0 22 0 3 0 910557853 341733376 75871 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 83431 75871 180 372 0 83056 0
[pid=30028/tid=30030] ppid=30026 vsize=333724 CPUtime=102.28 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 177931 0 0 0 9596 632 0 0 25 0 3 0 910557854 341733376 75871 33554432000 4194304 5714118 140734304192704 18446744073709551615 4322919 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=333724 CPUtime=102.27 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 15360 0 0 0 10190 37 0 0 25 0 3 0 910557854 341733376 75871 33554432000 4194304 5714118 140734304192704 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.57
Current children cumulated vsize (KiB) 333724
[startup+162.301 s]
/proc/loadavg: 3.87 2.83 2.31 5/180 30035
/proc/meminfo: memFree=11511932/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=399532 CPUtime=324.57 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 209224 0 0 0 31719 738 0 0 22 0 3 0 910557853 409120768 90914 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 99883 90914 180 372 0 99508 0
[pid=30028/tid=30030] ppid=30026 vsize=399532 CPUtime=162.28 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 192902 0 0 0 15558 670 0 0 25 0 3 0 910557854 409120768 90914 33554432000 4194304 5714118 140734304192704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=399532 CPUtime=162.26 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 15433 0 0 0 16159 67 0 0 25 0 3 0 910557854 409120768 90914 33554432000 4194304 5714118 140734304192704 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 324.57
Current children cumulated vsize (KiB) 399532
[startup+222.3 s]
/proc/loadavg: 3.95 3.06 2.42 5/180 30037
/proc/meminfo: memFree=11497784/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=399800 CPUtime=444.56 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 210890 0 0 0 43672 784 0 0 22 0 3 0 910557853 409395200 92347 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 99950 92347 180 372 0 99575 0
[pid=30028/tid=30030] ppid=30026 vsize=399800 CPUtime=222.28 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 194514 0 0 0 21531 697 0 0 25 0 3 0 910557854 409395200 92347 33554432000 4194304 5714118 140734304192704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=399800 CPUtime=222.27 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 15487 0 0 0 22140 87 0 0 25 0 3 0 910557854 409395200 92347 33554432000 4194304 5714118 140734304192704 18446744073709551615 4309446 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 444.56
Current children cumulated vsize (KiB) 399800
[startup+282.301 s]
/proc/loadavg: 3.98 3.21 2.51 5/180 30039
/proc/meminfo: memFree=11275940/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=661944 CPUtime=564.57 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 263289 0 0 0 55621 836 0 0 22 0 3 0 910557853 677830656 144744 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 165486 144744 180 372 0 165111 0
[pid=30028/tid=30030] ppid=30026 vsize=661944 CPUtime=282.27 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 246904 0 0 0 27491 736 0 0 25 0 3 0 910557854 677830656 144744 33554432000 4194304 5714118 140734304192704 18446744073709551615 4319099 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=661944 CPUtime=282.27 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 15496 0 0 0 28128 99 0 0 25 0 3 0 910557854 677830656 144744 33554432000 4194304 5714118 140734304192704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 564.57
Current children cumulated vsize (KiB) 661944
[startup+342.301 s]
/proc/loadavg: 3.99 3.36 2.60 5/180 30040
/proc/meminfo: memFree=11261020/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=661944 CPUtime=684.57 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 263855 0 0 0 67586 871 0 0 22 0 3 0 910557853 677830656 145310 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 165486 145310 180 372 0 165111 0
[pid=30028/tid=30030] ppid=30026 vsize=661944 CPUtime=342.27 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 247470 0 0 0 33467 760 0 0 25 0 3 0 910557854 677830656 145310 33554432000 4194304 5714118 140734304192704 18446744073709551615 4319734 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=661944 CPUtime=342.28 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 15496 0 0 0 34118 110 0 0 25 0 3 0 910557854 677830656 145310 33554432000 4194304 5714118 140734304192704 18446744073709551615 4309504 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.57
Current children cumulated vsize (KiB) 661944
[startup+402.301 s]
/proc/loadavg: 3.99 3.47 2.69 5/180 30041
/proc/meminfo: memFree=11237676/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=661944 CPUtime=804.57 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 269750 0 0 0 79550 907 0 0 22 0 3 0 910557853 677830656 151205 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 165486 151205 180 372 0 165111 0
[pid=30028/tid=30030] ppid=30026 vsize=661944 CPUtime=402.27 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 253365 0 0 0 39444 783 0 0 25 0 3 0 910557854 677830656 151205 33554432000 4194304 5714118 140734304192704 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=661944 CPUtime=402.28 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 15496 0 0 0 40104 124 0 0 25 0 3 0 910557854 677830656 151205 33554432000 4194304 5714118 140734304192704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.57
Current children cumulated vsize (KiB) 661944
[startup+462.301 s]
/proc/loadavg: 3.99 3.56 2.77 5/180 30043
/proc/meminfo: memFree=11081904/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=858840 CPUtime=924.56 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 306574 0 0 0 91482 974 0 0 22 0 3 0 910557853 879452160 188029 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 214710 188029 180 372 0 214335 0
[pid=30028/tid=30030] ppid=30026 vsize=858840 CPUtime=462.26 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 283432 0 0 0 45398 828 0 0 25 0 3 0 910557854 879452160 188029 33554432000 4194304 5714118 140734304192704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=858840 CPUtime=462.27 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 22253 0 0 0 46082 145 0 0 25 0 3 0 910557854 879452160 188029 33554432000 4194304 5714118 140734304192704 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.56
Current children cumulated vsize (KiB) 858840
[startup+522.3 s]
/proc/loadavg: 3.99 3.64 2.84 5/180 30045
/proc/meminfo: memFree=10951204/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=990300 CPUtime=1044.56 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 338329 0 0 0 103417 1039 0 0 22 0 3 0 910557853 1014067200 219784 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 247575 219784 180 372 0 247200 0
[pid=30028/tid=30030] ppid=30026 vsize=990300 CPUtime=522.26 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 312799 0 0 0 51351 875 0 0 25 0 3 0 910557854 1014067200 219784 33554432000 4194304 5714118 140734304192704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=990300 CPUtime=522.27 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 24641 0 0 0 52064 163 0 0 25 0 3 0 910557854 1014067200 219784 33554432000 4194304 5714118 140734304192704 18446744073709551615 4309174 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1044.56
Current children cumulated vsize (KiB) 990300
[startup+582.301 s]
/proc/loadavg: 3.99 3.70 2.91 5/180 30047
/proc/meminfo: memFree=10828556/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=1055836 CPUtime=1164.57 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 366239 0 0 0 115358 1099 0 0 22 0 3 0 910557853 1081176064 247666 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 263959 247666 180 372 0 263584 0
[pid=30028/tid=30030] ppid=30026 vsize=1055836 CPUtime=582.27 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 340691 0 0 0 57313 914 0 0 25 0 3 0 910557854 1081176064 247666 33554432000 4194304 5714118 140734304192704 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=1055836 CPUtime=582.27 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 24659 0 0 0 58043 184 0 0 25 0 3 0 910557854 1081176064 247666 33554432000 4194304 5714118 140734304192704 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1164.57
Current children cumulated vsize (KiB) 1055836
[startup+642.301 s]
/proc/loadavg: 3.99 3.76 2.98 5/180 30048
/proc/meminfo: memFree=10726360/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=1186908 CPUtime=1284.58 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 389860 0 0 0 127298 1160 0 0 22 0 3 0 910557853 1215393792 271284 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 296727 271284 180 372 0 296352 0
[pid=30028/tid=30030] ppid=30026 vsize=1186908 CPUtime=642.28 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 364312 0 0 0 63277 951 0 0 25 0 3 0 910557854 1215393792 271284 33554432000 4194304 5714118 140734304192704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=1186908 CPUtime=642.28 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 24659 0 0 0 64020 208 0 0 25 0 3 0 910557854 1215393792 271284 33554432000 4194304 5714118 140734304192704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1284.58
Current children cumulated vsize (KiB) 1186908
[startup+702.301 s]
/proc/loadavg: 3.99 3.80 3.04 5/180 30049
/proc/meminfo: memFree=10646100/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=1252444 CPUtime=1404.56 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 408822 0 0 0 139251 1205 0 0 22 0 3 0 910557853 1282502656 290246 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 313111 290246 180 372 0 312736 0
[pid=30028/tid=30030] ppid=30026 vsize=1252444 CPUtime=702.28 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 383274 0 0 0 69244 984 0 0 25 0 3 0 910557854 1282502656 290246 33554432000 4194304 5714118 140734304192704 18446744073709551615 4319301 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=1252444 CPUtime=702.27 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 24659 0 0 0 70006 221 0 0 25 0 3 0 910557854 1282502656 290246 33554432000 4194304 5714118 140734304192704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.56
Current children cumulated vsize (KiB) 1252444
[startup+762.307 s]
/proc/loadavg: 3.99 3.83 3.10 5/180 30051
/proc/meminfo: memFree=10558784/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=1317980 CPUtime=1524.58 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 429494 0 0 0 151204 1254 0 0 22 0 3 0 910557853 1349611520 310918 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 329495 310918 180 372 0 329120 0
[pid=30028/tid=30030] ppid=30026 vsize=1317980 CPUtime=762.28 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 403946 0 0 0 75210 1018 0 0 25 0 3 0 910557854 1349611520 310918 33554432000 4194304 5714118 140734304192704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=1317980 CPUtime=762.28 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 24659 0 0 0 75992 236 0 0 25 0 3 0 910557854 1349611520 310918 33554432000 4194304 5714118 140734304192704 18446744073709551615 4309494 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.58
Current children cumulated vsize (KiB) 1317980
[startup+822.3 s]
/proc/loadavg: 3.99 3.86 3.15 5/180 30053
/proc/meminfo: memFree=10477932/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=1383516 CPUtime=1644.57 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 449343 0 0 0 163156 1301 0 0 22 0 3 0 910557853 1416720384 330767 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 345879 330767 180 372 0 345504 0
[pid=30028/tid=30030] ppid=30026 vsize=1383516 CPUtime=822.27 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 423795 0 0 0 81177 1050 0 0 25 0 3 0 910557854 1416720384 330767 33554432000 4194304 5714118 140734304192704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=1383516 CPUtime=822.27 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 24659 0 0 0 81977 250 0 0 25 0 3 0 910557854 1416720384 330767 33554432000 4194304 5714118 140734304192704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.57
Current children cumulated vsize (KiB) 1383516
[startup+882.301 s]
/proc/loadavg: 3.99 3.88 3.20 5/180 30055
/proc/meminfo: memFree=10402408/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=1449052 CPUtime=1764.57 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 468190 0 0 0 175110 1347 0 0 22 0 3 0 910557853 1483829248 349614 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 362263 349614 180 372 0 361888 0
[pid=30028/tid=30030] ppid=30026 vsize=1449052 CPUtime=882.28 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 442642 0 0 0 87145 1083 0 0 25 0 3 0 910557854 1483829248 349614 33554432000 4194304 5714118 140734304192704 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=1449052 CPUtime=882.28 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 24659 0 0 0 87964 264 0 0 25 0 3 0 910557854 1483829248 349614 33554432000 4194304 5714118 140734304192704 18446744073709551615 4309494 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.57
Current children cumulated vsize (KiB) 1449052
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 3.99 3.89 3.21 3/176 30056
/proc/meminfo: memFree=10555320/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=1514588 CPUtime=1800.18 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 473950 0 0 0 178653 1365 0 0 22 0 3 0 910557853 1550938112 355374 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 378647 355374 180 372 0 378272 0
[pid=30028/tid=30030] ppid=30026 vsize=1514588 CPUtime=900.08 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 448402 0 0 0 88914 1094 0 0 25 0 3 0 910557854 1550938112 355374 33554432000 4194304 5714118 140734304192704 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=1514588 CPUtime=900.08 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 24659 0 0 0 89738 270 0 0 25 0 3 0 910557854 1550938112 355374 33554432000 4194304 5714118 140734304192704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 1514588
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.101 s]
/proc/loadavg: 3.99 3.89 3.21 3/176 30056
/proc/meminfo: memFree=10555320/32951132 swapFree=67054624/67111528
[pid=30028] ppid=30026 vsize=1514588 CPUtime=1800.18 cores=1,3,5,7
/proc/30028/stat : 30028 (pwbo1.1) S 30026 30028 29599 0 -1 4202496 473950 0 0 0 178653 1365 0 0 22 0 3 0 910557853 1550938112 355374 33554432000 4194304 5714118 140734304192704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/30028/statm: 378647 355374 180 372 0 378272 0
[pid=30028/tid=30030] ppid=30026 vsize=1514588 CPUtime=900.08 cores=1,3,5,7
/proc/30028/task/30030/stat : 30030 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 448402 0 0 0 88914 1094 0 0 25 0 3 0 910557854 1550938112 355374 33554432000 4194304 5714118 140734304192704 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=30028/tid=30031] ppid=30026 vsize=1514588 CPUtime=900.08 cores=1,3,5,7
/proc/30028/task/30031/stat : 30031 (pwbo1.1) R 30026 30028 29599 0 -1 4202560 24659 0 0 0 89738 270 0 0 25 0 3 0 910557854 1550938112 355374 33554432000 4194304 5714118 140734304192704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 1514588
Child status: 0
Real time (s): 900.161
CPU time (s): 1800.25
CPU user time (s): 1786.55
CPU system time (s): 13.7009
CPU usage (%): 199.992
Max. virtual memory (cumulated for all children) (KiB): 1514588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.55
system time used= 13.7009
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 473956
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= 248
involuntary context switches= 5365
runsolver used 1.3118 second user time and 2.86156 second system time
The end