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-3725874-1338651838/watcher-3725874-1338651838 -o /tmp/evaluation-result-3725874-1338651838/solver-3725874-1338651838 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725874-1338651838.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: 1.00 1.19 1.58 4/175 27512
/proc/meminfo: memFree=26828040/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=4364 CPUtime=0 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) R 27510 27512 25747 0 -1 4202496 408 0 0 0 0 0 0 0 20 0 1 0 331308223 4468736 361 33554432000 4194304 5964478 140734321024352 140733345362776 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 1091 361 164 433 0 644 0
[startup+0.0933739 s]
/proc/loadavg: 1.00 1.19 1.58 4/175 27512
/proc/meminfo: memFree=26828040/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=165804 CPUtime=0.17 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 3070 0 0 0 16 1 0 0 20 0 3 0 331308223 169783296 3011 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 41451 3011 203 433 0 41015 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 165804
[startup+0.100192 s]
/proc/loadavg: 1.00 1.19 1.58 4/175 27512
/proc/meminfo: memFree=26828040/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=165804 CPUtime=0.18 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 3109 0 0 0 17 1 0 0 20 0 3 0 331308223 169783296 3050 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 41451 3050 203 433 0 41015 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 165804
[startup+0.300145 s]
/proc/loadavg: 1.00 1.19 1.58 4/175 27512
/proc/meminfo: memFree=26828040/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=165804 CPUtime=0.58 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 3474 0 0 0 57 1 0 0 20 0 3 0 331308223 169783296 3415 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 41451 3415 203 433 0 41015 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 165804
[startup+0.700138 s]
/proc/loadavg: 1.00 1.19 1.58 4/175 27512
/proc/meminfo: memFree=26828040/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=165804 CPUtime=1.38 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 4411 0 0 0 136 2 0 0 20 0 3 0 331308223 169783296 4352 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 41451 4352 203 433 0 41015 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 165804
[startup+1.50024 s]
/proc/loadavg: 1.24 1.23 1.59 6/181 27518
/proc/meminfo: memFree=26791380/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=165804 CPUtime=2.97 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 5291 0 0 0 295 2 0 0 20 0 3 0 331308223 169783296 5206 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 41451 5206 203 433 0 41015 0
[pid=27512/tid=27517] ppid=27510 vsize=165804 CPUtime=1.47 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 2225 0 0 0 147 0 0 0 20 0 3 0 331308223 169783296 5206 33554432000 4194304 5964478 140734321024352 139826476002232 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=165804 CPUtime=1.47 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 2159 0 0 0 146 1 0 0 20 0 3 0 331308223 169783296 5206 33554432000 4194304 5964478 140734321024352 139826465511672 4400740 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 165804
[startup+3.10027 s]
/proc/loadavg: 1.24 1.23 1.59 6/181 27518
/proc/meminfo: memFree=26779196/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=165804 CPUtime=6.17 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 6915 0 0 0 615 2 0 0 20 0 3 0 331308223 169783296 6830 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 41451 6831 203 433 0 41015 0
[pid=27512/tid=27517] ppid=27510 vsize=165804 CPUtime=3.07 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 3409 0 0 0 306 1 0 0 20 0 3 0 331308223 169783296 6831 33554432000 4194304 5964478 140734321024352 139826476001080 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=165804 CPUtime=3.06 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 2600 0 0 0 305 1 0 0 20 0 3 0 331308223 169783296 6831 33554432000 4194304 5964478 140734321024352 139826465511880 5136420 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 165804
[startup+6.30027 s]
/proc/loadavg: 1.46 1.28 1.60 6/181 27518
/proc/meminfo: memFree=26745584/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=165804 CPUtime=12.57 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 10195 0 0 0 1254 3 0 0 20 0 3 0 331308223 169783296 10071 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 41451 10071 203 433 0 41015 0
[pid=27512/tid=27517] ppid=27510 vsize=165804 CPUtime=6.26 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 4553 0 0 0 625 1 0 0 20 0 3 0 331308223 169783296 10071 33554432000 4194304 5964478 140734321024352 139826476001816 4399915 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=165804 CPUtime=6.25 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 4735 0 0 0 624 1 0 0 20 0 3 0 331308223 169783296 10071 33554432000 4194304 5964478 140734321024352 139826465511736 4400109 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 165804
[startup+12.7003 s]
/proc/loadavg: 1.74 1.34 1.62 6/181 27518
/proc/meminfo: memFree=26719600/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=166452 CPUtime=25.37 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 15552 0 0 0 2531 6 0 0 20 0 3 0 331308223 170446848 15428 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 41613 15428 203 433 0 41177 0
[pid=27512/tid=27517] ppid=27510 vsize=166452 CPUtime=12.64 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 7252 0 0 0 1262 2 0 0 20 0 3 0 331308223 170446848 15428 33554432000 4194304 5964478 140734321024352 139826476001272 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=166452 CPUtime=12.63 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 7393 0 0 0 1260 3 0 0 20 0 3 0 331308223 170446848 15428 33554432000 4194304 5964478 140734321024352 139826465511784 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 166452
[startup+25.5003 s]
/proc/loadavg: 2.09 1.43 1.64 6/181 27518
/proc/meminfo: memFree=26666876/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=166128 CPUtime=50.96 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 20473 0 0 0 5088 8 0 0 20 0 3 0 331308223 170115072 20268 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 41532 20268 203 433 0 41096 0
[pid=27512/tid=27517] ppid=27510 vsize=166128 CPUtime=25.41 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 9501 0 0 0 2538 3 0 0 20 0 3 0 331308223 170115072 20268 33554432000 4194304 5964478 140734321024352 139826476001208 4400490 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=166128 CPUtime=25.4 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 10065 0 0 0 2536 4 0 0 20 0 3 0 331308223 170115072 20268 33554432000 4194304 5964478 140734321024352 139826465511784 4399915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 166128
[startup+51.1004 s]
/proc/loadavg: 2.84 1.67 1.72 6/181 27518
/proc/meminfo: memFree=26577936/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=298324 CPUtime=102.16 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 35198 0 0 0 10200 16 0 0 20 0 3 0 331308223 305483776 34993 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 74581 34993 203 433 0 74145 0
[pid=27512/tid=27517] ppid=27510 vsize=298324 CPUtime=50.94 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 17110 0 0 0 5087 7 0 0 20 0 3 0 331308223 305483776 34993 33554432000 4194304 5964478 140734321024352 139826476001080 5133963 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=298324 CPUtime=50.93 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 17181 0 0 0 5085 8 0 0 20 0 3 0 331308223 305483776 34993 33554432000 4194304 5964478 140734321024352 139826465511688 4400038 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 298324
[startup+102.307 s]
/proc/loadavg: 3.50 2.03 1.83 6/181 27518
/proc/meminfo: memFree=26384252/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=298684 CPUtime=204.54 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 59645 0 0 0 20425 29 0 0 20 0 3 0 331308223 305852416 59836 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 74671 59836 203 433 0 74235 0
[pid=27512/tid=27517] ppid=27510 vsize=298684 CPUtime=102.01 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 32054 0 0 0 10185 16 0 0 20 0 3 0 331308223 305852416 59836 33554432000 4194304 5964478 140734321024352 139826476001320 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=298684 CPUtime=102 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 26684 0 0 0 10186 14 0 0 20 0 3 0 331308223 305852416 59836 33554432000 4194304 5964478 140734321024352 139826465511784 4400153 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 298684
[startup+162.3 s]
/proc/loadavg: 3.81 2.38 1.97 6/181 27518
/proc/meminfo: memFree=26228412/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=430656 CPUtime=324.46 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 79633 0 0 0 32402 44 0 0 20 0 3 0 331308223 440991744 79925 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 107664 79925 203 433 0 107228 0
[pid=27512/tid=27517] ppid=27510 vsize=430656 CPUtime=161.83 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 41687 0 0 0 16158 25 0 0 20 0 3 0 331308223 440991744 79925 33554432000 4194304 5964478 140734321024352 139826476001080 4400831 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=430656 CPUtime=161.82 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 37039 0 0 0 16160 22 0 0 20 0 3 0 331308223 440991744 79925 33554432000 4194304 5964478 140734321024352 139826465511736 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.46
Current children cumulated vsize (KiB) 430656
[startup+222.3 s]
/proc/loadavg: 3.93 2.67 2.09 6/181 27519
/proc/meminfo: memFree=26050996/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=496192 CPUtime=444.42 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 106507 0 0 0 44376 66 0 0 20 0 3 0 331308223 508100608 106805 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 124048 106805 203 433 0 123612 0
[pid=27512/tid=27517] ppid=27510 vsize=496192 CPUtime=221.65 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 56600 0 0 0 22127 38 0 0 20 0 3 0 331308223 508100608 106805 33554432000 4194304 5964478 140734321024352 139826476001320 4389160 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=496192 CPUtime=221.64 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 49000 0 0 0 22131 33 0 0 20 0 3 0 331308223 508100608 106805 33554432000 4194304 5964478 140734321024352 139826465511784 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.42
Current children cumulated vsize (KiB) 496192
[startup+282.3 s]
/proc/loadavg: 3.97 2.91 2.21 6/181 27519
/proc/meminfo: memFree=25929476/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=627264 CPUtime=564.38 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 127285 0 0 0 56355 83 0 0 20 0 3 0 331308223 642318336 128765 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 156816 128765 203 433 0 156380 0
[pid=27512/tid=27517] ppid=27510 vsize=627264 CPUtime=281.5 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 67351 0 0 0 28103 47 0 0 20 0 3 0 331308223 642318336 128765 33554432000 4194304 5964478 140734321024352 139826476001320 4400608 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=627264 CPUtime=281.47 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 59027 0 0 0 28104 43 0 0 20 0 3 0 331308223 642318336 128765 33554432000 4194304 5964478 140734321024352 139826465511736 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.38
Current children cumulated vsize (KiB) 627264
[startup+342.3 s]
/proc/loadavg: 3.99 3.11 2.32 6/181 27519
/proc/meminfo: memFree=25859816/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=627804 CPUtime=684.37 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 132720 0 0 0 68349 88 0 0 20 0 3 0 331308223 642871296 134200 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 156951 134200 203 433 0 156515 0
################
# More data... #
################
[pid=27512/tid=27518] ppid=27510 vsize=627804 CPUtime=341.31 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 59027 0 0 0 34087 44 0 0 20 0 3 0 331308223 642871296 134200 33554432000 4194304 5964478 140734321024352 139826465511736 4403343 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.37
Current children cumulated vsize (KiB) 627804
[startup+402.3 s]
/proc/loadavg: 3.99 3.27 2.42 6/182 27522
/proc/meminfo: memFree=25819376/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=627804 CPUtime=804.34 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 136469 0 0 0 80343 91 0 0 20 0 3 0 331308223 642871296 137941 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 156951 137941 203 433 0 156515 0
[pid=27512/tid=27517] ppid=27510 vsize=627804 CPUtime=401.19 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 76535 0 0 0 40062 57 0 0 20 0 3 0 331308223 642871296 137941 33554432000 4194304 5964478 140734321024352 139826476001080 4379232 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=627804 CPUtime=401.15 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 59027 0 0 0 40070 45 0 0 20 0 3 0 331308223 642871296 137941 33554432000 4194304 5964478 140734321024352 139826465511736 4388245 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.34
Current children cumulated vsize (KiB) 627804
[startup+462.3 s]
/proc/loadavg: 3.99 3.40 2.52 6/181 27522
/proc/meminfo: memFree=25729720/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=693340 CPUtime=924.33 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 141542 0 0 0 92337 96 0 0 20 0 3 0 331308223 709980160 143014 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 173335 143014 203 433 0 172899 0
[pid=27512/tid=27517] ppid=27510 vsize=693340 CPUtime=461.04 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 81608 0 0 0 46042 62 0 0 20 0 3 0 331308223 709980160 143014 33554432000 4194304 5964478 140734321024352 139826476001080 4400422 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=693340 CPUtime=461 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 59027 0 0 0 46054 46 0 0 20 0 3 0 331308223 709980160 143014 33554432000 4194304 5964478 140734321024352 139826465511736 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.33
Current children cumulated vsize (KiB) 693340
[startup+522.3 s]
/proc/loadavg: 3.99 3.50 2.61 6/181 27523
/proc/meminfo: memFree=25651068/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=694064 CPUtime=1044.29 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 150345 0 0 0 104325 104 0 0 20 0 3 0 331308223 710721536 151930 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 173516 151930 203 433 0 173080 0
[pid=27512/tid=27517] ppid=27510 vsize=694064 CPUtime=520.87 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 90186 0 0 0 52015 72 0 0 20 0 3 0 331308223 710721536 151930 33554432000 4194304 5964478 140734321024352 139826476001144 4400018 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=694064 CPUtime=520.84 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 59252 0 0 0 52038 46 0 0 20 0 3 0 331308223 710721536 151930 33554432000 4194304 5964478 140734321024352 139826465511736 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.29
Current children cumulated vsize (KiB) 694064
[startup+582.3 s]
/proc/loadavg: 3.99 3.59 2.69 6/181 27523
/proc/meminfo: memFree=25546936/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=760324 CPUtime=1164.24 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 159446 0 0 0 116311 113 0 0 20 0 3 0 331308223 778571776 161857 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 190081 161857 203 433 0 189645 0
[pid=27512/tid=27517] ppid=27510 vsize=760324 CPUtime=580.68 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 99092 0 0 0 57987 81 0 0 20 0 3 0 331308223 778571776 161857 33554432000 4194304 5964478 140734321024352 139826476001320 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=760324 CPUtime=580.68 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 59447 0 0 0 58021 47 0 0 20 0 3 0 331308223 778571776 161857 33554432000 4194304 5964478 140734321024352 139826465511736 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.24
Current children cumulated vsize (KiB) 760324
[startup+642.3 s]
/proc/loadavg: 3.99 3.66 2.77 6/181 27523
/proc/meminfo: memFree=25502944/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=760324 CPUtime=1284.19 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 169561 0 0 0 128296 123 0 0 20 0 3 0 331308223 778571776 171991 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 190081 171991 203 433 0 189645 0
[pid=27512/tid=27517] ppid=27510 vsize=760324 CPUtime=640.51 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 103162 0 0 0 63965 86 0 0 20 0 3 0 331308223 778571776 171991 33554432000 4194304 5964478 140734321024352 139826476001272 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=760324 CPUtime=640.52 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 65492 0 0 0 63998 54 0 0 20 0 3 0 331308223 778571776 171991 33554432000 4194304 5964478 140734321024352 139826465511736 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.19
Current children cumulated vsize (KiB) 760324
[startup+702.3 s]
/proc/loadavg: 3.99 3.72 2.84 6/181 27523
/proc/meminfo: memFree=25394844/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=826668 CPUtime=1404.11 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 189916 0 0 0 140271 140 0 0 20 0 3 0 331308223 846508032 192349 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 206667 192349 203 433 0 206231 0
[pid=27512/tid=27517] ppid=27510 vsize=826668 CPUtime=700.32 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 111609 0 0 0 69938 94 0 0 20 0 3 0 331308223 846508032 192349 33554432000 4194304 5964478 140734321024352 139826476001144 4400632 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=826668 CPUtime=700.34 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 77400 0 0 0 69968 66 0 0 20 0 3 0 331308223 846508032 192349 33554432000 4194304 5964478 140734321024352 139826465511544 4400001 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.11
Current children cumulated vsize (KiB) 826668
[startup+762.307 s]
/proc/loadavg: 3.99 3.77 2.91 6/181 27523
/proc/meminfo: memFree=25342952/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=826668 CPUtime=1524.1 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 192140 0 0 0 152267 143 0 0 20 0 3 0 331308223 846508032 194547 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 206667 194547 203 433 0 206231 0
[pid=27512/tid=27517] ppid=27510 vsize=826668 CPUtime=760.17 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 113803 0 0 0 75920 97 0 0 20 0 3 0 331308223 846508032 194547 33554432000 4194304 5964478 140734321024352 139826476001320 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=826668 CPUtime=760.16 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 77430 0 0 0 75949 67 0 0 20 0 3 0 331308223 846508032 194547 33554432000 4194304 5964478 140734321024352 139826465511544 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.1
Current children cumulated vsize (KiB) 826668
[startup+822.3 s]
/proc/loadavg: 3.99 3.81 2.98 6/181 27524
/proc/meminfo: memFree=25268924/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=892204 CPUtime=1644.06 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 198965 0 0 0 164258 148 0 0 20 0 3 0 331308223 913616896 201372 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 223051 201372 203 433 0 222615 0
[pid=27512/tid=27517] ppid=27510 vsize=892204 CPUtime=820.01 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 120628 0 0 0 81897 104 0 0 20 0 3 0 331308223 913616896 201372 33554432000 4194304 5964478 140734321024352 139826476001320 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=892204 CPUtime=820 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 77430 0 0 0 81932 68 0 0 20 0 3 0 331308223 913616896 201372 33554432000 4194304 5964478 140734321024352 139826465511544 4400109 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.06
Current children cumulated vsize (KiB) 892204
[startup+882.3 s]
/proc/loadavg: 3.99 3.84 3.04 6/181 27524
/proc/meminfo: memFree=25243504/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=892204 CPUtime=1764.04 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 205113 0 0 0 176249 155 0 0 20 0 3 0 331308223 913616896 207519 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 223051 207519 203 433 0 222615 0
[pid=27512/tid=27517] ppid=27510 vsize=892204 CPUtime=879.86 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 126776 0 0 0 87874 112 0 0 20 0 3 0 331308223 913616896 207519 33554432000 4194304 5964478 140734321024352 139826476001272 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=892204 CPUtime=879.84 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 77430 0 0 0 87915 69 0 0 20 0 3 0 331308223 913616896 207519 33554432000 4194304 5964478 140734321024352 139826465511544 4389147 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.04
Current children cumulated vsize (KiB) 892204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 3.99 3.85 3.05 6/181 27524
/proc/meminfo: memFree=25240032/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=892204 CPUtime=1800.05 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 205972 0 0 0 179849 156 0 0 20 0 3 0 331308223 913616896 208378 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 223051 208378 203 433 0 222615 0
[pid=27512/tid=27517] ppid=27510 vsize=892204 CPUtime=897.82 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 127635 0 0 0 89669 113 0 0 20 0 3 0 331308223 913616896 208378 33554432000 4194304 5964478 140734321024352 139826476001080 4400109 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=892204 CPUtime=897.8 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 77430 0 0 0 89711 69 0 0 20 0 3 0 331308223 913616896 208378 33554432000 4194304 5964478 140734321024352 139826465511544 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 892204
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: 3.99 3.85 3.05 6/181 27524
/proc/meminfo: memFree=25240032/32873844 swapFree=7628/7628
[pid=27512] ppid=27510 vsize=892204 CPUtime=1800.05 cores=0,2,4,6
/proc/27512/stat : 27512 (pwbo2.02) S 27510 27512 25747 0 -1 4202496 205972 0 0 0 179849 156 0 0 20 0 3 0 331308223 913616896 208378 33554432000 4194304 5964478 140734321024352 140734321023872 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27512/statm: 223051 208378 203 433 0 222615 0
[pid=27512/tid=27517] ppid=27510 vsize=892204 CPUtime=897.82 cores=0,2,4,6
/proc/27512/task/27517/stat : 27517 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 127635 0 0 0 89669 113 0 0 20 0 3 0 331308223 913616896 208378 33554432000 4194304 5964478 140734321024352 139826476001080 4400109 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=27512/tid=27518] ppid=27510 vsize=892204 CPUtime=897.8 cores=0,2,4,6
/proc/27512/task/27518/stat : 27518 (pwbo2.02) R 27510 27512 25747 0 -1 4202560 77430 0 0 0 89711 69 0 0 20 0 3 0 331308223 913616896 208378 33554432000 4194304 5964478 140734321024352 139826465511544 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 892204
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27512 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=821297
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=852718
# CPU time returned by wait4() is 1795.67
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.328
CPU time (s): 1800.05
CPU user time (s): 1798.49
CPU system time (s): 1.56
CPU usage (%): 199.933
Max. virtual memory (cumulated for all children) (KiB): 892204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.82
system time used= 1.85272
maximum resident set size= 833516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205973
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= 676
involuntary context switches= 1938
runsolver used 1.57276 second user time and 5.30319 second system time
The end