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-3703594-1338088487/watcher-3703594-1338088487 -o /tmp/evaluation-result-3703594-1338088487/solver-3703594-1338088487 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703594-1338088487.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.01 1.13 1.50 4/174 11481
/proc/meminfo: memFree=31283376/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/11481/stat : 11481 (runsolver) D 11476 11481 11438 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 274977288 12095488 50 33554432000 4194304 5436572 140733519736992 140733519733288 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/11481/statm: 2953 50 31 304 0 2645 0
[startup+0.052939 s]
/proc/loadavg: 1.01 1.13 1.50 4/174 11481
/proc/meminfo: memFree=31283376/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=171576 CPUtime=0.07 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 5026 0 0 0 6 1 0 0 20 0 3 0 274977288 175693824 4902 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 42894 4906 202 433 0 42458 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 171576
[startup+0.100222 s]
/proc/loadavg: 1.01 1.13 1.50 4/174 11481
/proc/meminfo: memFree=31283376/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=181848 CPUtime=0.16 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 8955 0 0 0 13 3 0 0 20 0 3 0 274977288 186212352 8791 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 45462 8791 202 433 0 45026 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 181848
[startup+0.300173 s]
/proc/loadavg: 1.01 1.13 1.50 4/174 11481
/proc/meminfo: memFree=31283376/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=182148 CPUtime=0.56 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 9471 0 0 0 53 3 0 0 20 0 3 0 274977288 186519552 9305 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 45537 9305 204 433 0 45101 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 182148
[startup+0.700174 s]
/proc/loadavg: 1.01 1.13 1.50 4/174 11481
/proc/meminfo: memFree=31283376/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=182148 CPUtime=1.36 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 10415 0 0 0 133 3 0 0 20 0 3 0 274977288 186519552 9749 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 45537 9749 205 433 0 45101 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 182148
[startup+1.50036 s]
/proc/loadavg: 1.01 1.13 1.50 6/180 11487
/proc/meminfo: memFree=31200656/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=182316 CPUtime=2.96 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 12853 0 0 0 292 4 0 0 20 0 3 0 274977288 186691584 11023 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 45579 11023 205 433 0 45143 0
[pid=11481/tid=11484] ppid=11476 vsize=182316 CPUtime=1.46 cores=0,2,4,6
/proc/11481/task/11484/stat : 11484 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 3943 0 0 0 146 0 0 0 20 0 3 0 274977290 186691584 11023 33554432000 4194304 5965102 140734348034272 140536193382936 5139774 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11481/tid=11485] ppid=11476 vsize=182316 CPUtime=1.46 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 7785 0 0 0 143 3 0 0 20 0 3 0 274977290 186691584 11023 33554432000 4194304 5965102 140734348034272 140536182892904 4404383 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 182316
[startup+3.10036 s]
/proc/loadavg: 1.25 1.18 1.51 6/180 11487
/proc/meminfo: memFree=31186000/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=182316 CPUtime=6.15 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 18202 0 0 0 610 5 0 0 20 0 3 0 274977288 186691584 13940 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 45579 13940 206 433 0 45143 0
[pid=11481/tid=11484] ppid=11476 vsize=182316 CPUtime=3.05 cores=0,2,4,6
/proc/11481/task/11484/stat : 11484 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 9004 0 0 0 304 1 0 0 20 0 3 0 274977290 186691584 13940 33554432000 4194304 5965102 140734348034272 140536193382936 4401050 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11481/tid=11485] ppid=11476 vsize=182316 CPUtime=3.06 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 8073 0 0 0 303 3 0 0 20 0 3 0 274977290 186691584 13940 33554432000 4194304 5965102 140734348034272 140536182892856 4400981 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 182316
[startup+6.30036 s]
/proc/loadavg: 1.25 1.18 1.51 6/180 11487
/proc/meminfo: memFree=31156240/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=182604 CPUtime=12.55 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 21485 0 0 0 1248 7 0 0 20 0 3 0 274977288 186986496 16976 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 45651 16976 206 433 0 45215 0
[pid=11481/tid=11484] ppid=11476 vsize=182604 CPUtime=6.24 cores=0,2,4,6
/proc/11481/task/11484/stat : 11484 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 11378 0 0 0 621 3 0 0 20 0 3 0 274977290 186986496 16976 33554432000 4194304 5965102 140734348034272 140536193382440 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11481/tid=11485] ppid=11476 vsize=182604 CPUtime=6.25 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 8982 0 0 0 621 4 0 0 20 0 3 0 274977290 186986496 16976 33554432000 4194304 5965102 140734348034272 140536182892792 4400894 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 182604
[startup+12.7004 s]
/proc/loadavg: 1.67 1.27 1.54 6/180 11487
/proc/meminfo: memFree=31108200/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=182928 CPUtime=25.35 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 27932 0 0 0 2525 10 0 0 20 0 3 0 274977288 187318272 23423 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 45732 23423 206 433 0 45296 0
[pid=11481/tid=11484] ppid=11476 vsize=182928 CPUtime=12.63 cores=0,2,4,6
/proc/11481/task/11484/stat : 11484 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 15605 0 0 0 1258 5 0 0 20 0 3 0 274977290 187318272 23423 33554432000 4194304 5965102 140734348034272 140536193382392 4401137 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11481/tid=11485] ppid=11476 vsize=182928 CPUtime=12.63 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 11202 0 0 0 1258 5 0 0 20 0 3 0 274977290 187318272 23423 33554432000 4194304 5965102 140734348034272 140536182892856 4400955 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 182928
[startup+25.5004 s]
/proc/loadavg: 2.03 1.36 1.56 6/181 11488
/proc/meminfo: memFree=31051596/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=183412 CPUtime=50.94 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 36018 0 0 0 5079 15 0 0 20 0 3 0 274977288 187813888 31666 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 45853 31666 206 433 0 45417 0
[pid=11481/tid=11484] ppid=11476 vsize=183412 CPUtime=25.39 cores=0,2,4,6
/proc/11481/task/11484/stat : 11484 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 19973 0 0 0 2532 7 0 0 20 0 3 0 274977290 187813888 31666 33554432000 4194304 5965102 140734348034272 140536193382392 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11481/tid=11485] ppid=11476 vsize=183412 CPUtime=25.4 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 14920 0 0 0 2533 7 0 0 20 0 3 0 274977290 187813888 31666 33554432000 4194304 5965102 140734348034272 140536182892856 4401050 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 183412
[startup+51.1004 s]
/proc/loadavg: 2.70 1.57 1.63 6/181 11488
/proc/meminfo: memFree=30952620/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=314112 CPUtime=102.13 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 45344 0 0 0 10191 22 0 0 20 0 3 0 274977288 321650688 40838 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 78528 40838 206 433 0 78092 0
[pid=11481/tid=11484] ppid=11476 vsize=314112 CPUtime=50.92 cores=0,2,4,6
/proc/11481/task/11484/stat : 11484 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 22858 0 0 0 5084 8 0 0 20 0 3 0 274977290 321650688 40838 33554432000 4194304 5965102 140734348034272 140536193382760 4390210 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11481/tid=11485] ppid=11476 vsize=314112 CPUtime=50.93 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 21361 0 0 0 5080 13 0 0 20 0 3 0 274977290 321650688 40838 33554432000 4194304 5965102 140734348034272 140536182892856 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 314112
[startup+102.307 s]
/proc/loadavg: 3.57 2.00 1.77 6/181 11488
/proc/meminfo: memFree=30821404/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=315196 CPUtime=204.5 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 67943 0 0 0 20413 37 0 0 20 0 3 0 274977288 322760704 63667 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 78799 63667 206 433 0 78363 0
[pid=11481/tid=11484] ppid=11476 vsize=315196 CPUtime=101.99 cores=0,2,4,6
/proc/11481/task/11484/stat : 11484 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 33925 0 0 0 10184 15 0 0 20 0 3 0 274977290 322760704 63667 33554432000 4194304 5965102 140734348034272 140536193382392 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11481/tid=11485] ppid=11476 vsize=315196 CPUtime=101.97 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 32893 0 0 0 10174 23 0 0 20 0 3 0 274977290 322760704 63667 33554432000 4194304 5965102 140734348034272 140536182893000 4400955 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (KiB) 315196
[startup+162.3 s]
/proc/loadavg: 3.83 2.34 1.90 6/181 11488
/proc/meminfo: memFree=30678792/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=380732 CPUtime=324.48 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 80131 0 0 0 32402 46 0 0 20 0 3 0 274977288 389869568 77054 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 95183 77054 206 433 0 94747 0
[pid=11481/tid=11484] ppid=11476 vsize=380732 CPUtime=161.83 cores=0,2,4,6
/proc/11481/task/11484/stat : 11484 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 46113 0 0 0 16158 25 0 0 20 0 3 0 274977290 389869568 77054 33554432000 4194304 5965102 140734348034272 140536193382392 4400894 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11481/tid=11485] ppid=11476 vsize=380732 CPUtime=161.81 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 32893 0 0 0 16157 24 0 0 20 0 3 0 274977290 389869568 77054 33554432000 4194304 5965102 140734348034272 140536182893000 4404345 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 380732
[startup+222.3 s]
/proc/loadavg: 4.02 2.69 2.05 6/181 11489
/proc/meminfo: memFree=30423488/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=578240 CPUtime=444.45 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 115944 0 0 0 44374 71 0 0 20 0 3 0 274977288 592117760 112867 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 144560 112867 206 433 0 144124 0
[pid=11481/tid=11484] ppid=11476 vsize=578240 CPUtime=221.67 cores=0,2,4,6
/proc/11481/task/11484/stat : 11484 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 60402 0 0 0 22132 35 0 0 20 0 3 0 274977290 592117760 112867 33554432000 4194304 5965102 140734348034272 140536193382200 4389883 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11481/tid=11485] ppid=11476 vsize=578240 CPUtime=221.65 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 54417 0 0 0 22123 42 0 0 20 0 3 0 274977290 592117760 112867 33554432000 4194304 5965102 140734348034272 140536182892856 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 578240
[startup+282.3 s]
/proc/loadavg: 4.00 2.91 2.16 6/181 11489
/proc/meminfo: memFree=30183284/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=710120 CPUtime=564.44 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 149959 0 0 0 56345 99 0 0 20 0 3 0 274977288 727162880 146882 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 177530 146882 206 433 0 177094 0
[pid=11481/tid=11484] ppid=11476 vsize=710120 CPUtime=281.52 cores=0,2,4,6
/proc/11481/task/11484/stat : 11484 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 72447 0 0 0 28107 45 0 0 20 0 3 0 274977290 727162880 146882 33554432000 4194304 5965102 140734348034272 140536193382200 4401015 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11481/tid=11485] ppid=11476 vsize=710120 CPUtime=281.49 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 76387 0 0 0 28088 61 0 0 20 0 3 0 274977290 727162880 146882 33554432000 4194304 5965102 140734348034272 140536182892856 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.44
Current children cumulated vsize (KiB) 710120
[startup+342.3 s]
/proc/loadavg: 4.00 3.10 2.27 6/182 11492
/proc/meminfo: memFree=30041936/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=710120 CPUtime=684.4 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 158721 0 0 0 68335 105 0 0 20 0 3 0 274977288 727162880 155898 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 177530 155898 206 433 0 177094 0
################
# More data... #
################
[pid=11481/tid=11485] ppid=11476 vsize=710120 CPUtime=341.32 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 83782 0 0 0 34064 68 0 0 20 0 3 0 274977290 727162880 155898 33554432000 4194304 5965102 140734348034272 140536182892856 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.4
Current children cumulated vsize (KiB) 710120
[startup+402.3 s]
/proc/loadavg: 4.00 3.26 2.37 6/181 11492
/proc/meminfo: memFree=29901480/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=710660 CPUtime=804.35 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 170560 0 0 0 80323 112 0 0 20 0 3 0 274977288 727715840 167859 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 177665 167859 206 433 0 177229 0
[pid=11481/tid=11484] ppid=11476 vsize=710660 CPUtime=401.18 cores=0,2,4,6
/proc/11481/task/11484/stat : 11484 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 85637 0 0 0 40064 54 0 0 20 0 3 0 274977290 727715840 167859 33554432000 4194304 5965102 140734348034272 140536193382200 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11481/tid=11485] ppid=11476 vsize=710660 CPUtime=401.15 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 83798 0 0 0 40046 69 0 0 20 0 3 0 274977290 727715840 167859 33554432000 4194304 5965102 140734348034272 140536182892856 4404383 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.35
Current children cumulated vsize (KiB) 710660
[startup+462.3 s]
/proc/loadavg: 4.00 3.39 2.47 6/181 11492
/proc/meminfo: memFree=29738448/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=776196 CPUtime=924.3 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 183044 0 0 0 92309 121 0 0 20 0 3 0 274977288 794824704 180370 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 194049 180370 206 433 0 193613 0
[pid=11481/tid=11484] ppid=11476 vsize=776196 CPUtime=461.01 cores=0,2,4,6
/proc/11481/task/11484/stat : 11484 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 97166 0 0 0 46038 63 0 0 20 0 3 0 274977290 794824704 180370 33554432000 4194304 5965102 140734348034272 140536193382200 4401582 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11481/tid=11485] ppid=11476 vsize=776196 CPUtime=460.98 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 84753 0 0 0 46029 69 0 0 20 0 3 0 274977290 794824704 180370 33554432000 4194304 5965102 140734348034272 140536182892856 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.3
Current children cumulated vsize (KiB) 776196
[startup+522.3 s]
/proc/loadavg: 4.00 3.50 2.57 6/181 11493
/proc/meminfo: memFree=29594512/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=907268 CPUtime=1044.26 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 203943 0 0 0 104286 140 0 0 20 0 3 0 274977288 929042432 201281 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 226817 201281 206 433 0 226381 0
[pid=11481/tid=11484] ppid=11476 vsize=907268 CPUtime=520.84 cores=0,2,4,6
/proc/11481/task/11484/stat : 11484 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 97969 0 0 0 52020 64 0 0 20 0 3 0 274977290 929042432 201281 33554432000 4194304 5965102 140734348034272 140536193382200 4390140 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11481/tid=11485] ppid=11476 vsize=907268 CPUtime=520.8 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 104849 0 0 0 51991 89 0 0 20 0 3 0 274977290 929042432 201281 33554432000 4194304 5965102 140734348034272 140536182892856 4401559 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.26
Current children cumulated vsize (KiB) 907268
[startup+582.3 s]
/proc/loadavg: 4.00 3.59 2.65 6/181 11493
/proc/meminfo: memFree=29446980/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=1039556 CPUtime=1164.21 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 236676 0 0 0 116256 165 0 0 20 0 3 0 274977288 1064505344 234011 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 259889 234011 206 433 0 259453 0
[pid=11481/tid=11484] ppid=11476 vsize=1039556 CPUtime=580.66 cores=0,2,4,6
/proc/11481/task/11484/stat : 11484 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 108321 0 0 0 57996 70 0 0 20 0 3 0 274977290 1064505344 234011 33554432000 4194304 5965102 140734348034272 140536193382392 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11481/tid=11485] ppid=11476 vsize=1039556 CPUtime=580.62 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 127230 0 0 0 57952 110 0 0 20 0 3 0 274977290 1064505344 234011 33554432000 4194304 5965102 140734348034272 140536182892856 4400978 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.21
Current children cumulated vsize (KiB) 1039556
[startup+642.3 s]
/proc/loadavg: 4.00 3.67 2.74 6/181 11493
/proc/meminfo: memFree=29343660/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=1105092 CPUtime=1284.19 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 261385 0 0 0 128232 187 0 0 20 0 3 0 274977288 1131614208 258706 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 276273 258706 206 433 0 275837 0
[pid=11481/tid=11484] ppid=11476 vsize=1105092 CPUtime=640.52 cores=0,2,4,6
/proc/11481/task/11484/stat : 11484 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 112819 0 0 0 63978 74 0 0 20 0 3 0 274977290 1131614208 258706 33554432000 4194304 5965102 140734348034272 140536193382200 4390200 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11481/tid=11485] ppid=11476 vsize=1105092 CPUtime=640.46 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 147441 0 0 0 63915 131 0 0 20 0 3 0 274977290 1131614208 258706 33554432000 4194304 5965102 140734348034272 140536182892856 4432923 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) 1105092
[startup+702.3 s]
/proc/loadavg: 4.00 3.72 2.81 6/181 11493
/proc/meminfo: memFree=29246372/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=1170628 CPUtime=1404.16 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 277264 0 0 0 140219 197 0 0 20 0 3 0 274977288 1198723072 274576 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 292657 274576 206 433 0 292221 0
[pid=11481/tid=11484] ppid=11476 vsize=1170628 CPUtime=700.36 cores=0,2,4,6
/proc/11481/task/11484/stat : 11484 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 128698 0 0 0 69951 85 0 0 20 0 3 0 274977290 1198723072 274576 33554432000 4194304 5965102 140734348034272 140536193382200 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11481/tid=11485] ppid=11476 vsize=1170628 CPUtime=700.3 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 147441 0 0 0 69898 132 0 0 20 0 3 0 274977290 1198723072 274576 33554432000 4194304 5965102 140734348034272 140536182892856 4400894 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.16
Current children cumulated vsize (KiB) 1170628
[startup+762.307 s]
/proc/loadavg: 4.00 3.77 2.89 6/181 11493
/proc/meminfo: memFree=29174480/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=1170628 CPUtime=1524.16 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 278943 0 0 0 152217 199 0 0 20 0 3 0 274977288 1198723072 276255 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 292657 276255 206 433 0 292221 0
[pid=11481/tid=11484] ppid=11476 vsize=1170628 CPUtime=760.21 cores=0,2,4,6
/proc/11481/task/11484/stat : 11484 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 130377 0 0 0 75933 88 0 0 20 0 3 0 274977290 1198723072 276255 33554432000 4194304 5965102 140734348034272 140536193382440 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11481/tid=11485] ppid=11476 vsize=1170628 CPUtime=760.15 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 147441 0 0 0 75882 133 0 0 20 0 3 0 274977290 1198723072 276255 33554432000 4194304 5965102 140734348034272 140536182892856 4393903 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.16
Current children cumulated vsize (KiB) 1170628
[startup+822.3 s]
/proc/loadavg: 4.00 3.81 2.95 6/181 11494
/proc/meminfo: memFree=29122616/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=1236164 CPUtime=1644.13 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 286420 0 0 0 164207 206 0 0 20 0 3 0 274977288 1265831936 283732 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 309041 283732 206 433 0 308605 0
[pid=11481/tid=11484] ppid=11476 vsize=1236164 CPUtime=820.05 cores=0,2,4,6
/proc/11481/task/11484/stat : 11484 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 137854 0 0 0 81909 96 0 0 20 0 3 0 274977290 1265831936 283732 33554432000 4194304 5965102 140734348034272 140536193382200 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11481/tid=11485] ppid=11476 vsize=1236164 CPUtime=819.98 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 147441 0 0 0 81864 134 0 0 20 0 3 0 274977290 1265831936 283732 33554432000 4194304 5965102 140734348034272 140536182892856 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.13
Current children cumulated vsize (KiB) 1236164
[startup+882.3 s]
/proc/loadavg: 4.00 3.84 3.01 6/181 11494
/proc/meminfo: memFree=29000132/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=1236164 CPUtime=1764.11 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 286571 0 0 0 176205 206 0 0 20 0 3 0 274977288 1265831936 283882 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 309041 283882 206 433 0 308605 0
[pid=11481/tid=11484] ppid=11476 vsize=1236164 CPUtime=879.9 cores=0,2,4,6
/proc/11481/task/11484/stat : 11484 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 138005 0 0 0 87893 97 0 0 20 0 3 0 274977290 1265831936 283882 33554432000 4194304 5965102 140734348034272 140536193382200 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11481/tid=11485] ppid=11476 vsize=1236164 CPUtime=879.83 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 147441 0 0 0 87848 135 0 0 20 0 3 0 274977290 1265831936 283882 33554432000 4194304 5965102 140734348034272 140536182892856 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.11
Current children cumulated vsize (KiB) 1236164
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 3.85 3.03 6/181 11494
/proc/meminfo: memFree=28980384/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=1236164 CPUtime=1800.11 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 286875 0 0 0 179805 206 0 0 20 0 3 0 274977288 1265831936 284185 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 309041 284185 206 433 0 308605 0
[pid=11481/tid=11484] ppid=11476 vsize=1236164 CPUtime=897.86 cores=0,2,4,6
/proc/11481/task/11484/stat : 11484 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 138309 0 0 0 89689 97 0 0 20 0 3 0 274977290 1265831936 284185 33554432000 4194304 5965102 140734348034272 140536193382200 4401472 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11481/tid=11485] ppid=11476 vsize=1236164 CPUtime=897.79 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 147441 0 0 0 89644 135 0 0 20 0 3 0 274977290 1265831936 284185 33554432000 4194304 5965102 140734348034272 140536182892856 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 1236164
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 3.85 3.03 6/181 11494
/proc/meminfo: memFree=28980384/32873844 swapFree=7364/7364
[pid=11481] ppid=11476 vsize=1236164 CPUtime=1800.11 cores=0,2,4,6
/proc/11481/stat : 11481 (pwbo2.0) S 11476 11481 11438 0 -1 4202496 286875 0 0 0 179805 206 0 0 20 0 3 0 274977288 1265831936 284185 33554432000 4194304 5965102 140734348034272 140734348033792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11481/statm: 309041 284185 206 433 0 308605 0
[pid=11481/tid=11484] ppid=11476 vsize=1236164 CPUtime=897.86 cores=0,2,4,6
/proc/11481/task/11484/stat : 11484 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 138309 0 0 0 89689 97 0 0 20 0 3 0 274977290 1265831936 284185 33554432000 4194304 5965102 140734348034272 140536193382200 4401472 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11481/tid=11485] ppid=11476 vsize=1236164 CPUtime=897.79 cores=0,2,4,6
/proc/11481/task/11485/stat : 11485 (pwbo2.0) R 11476 11481 11438 0 -1 4202560 147441 0 0 0 89644 135 0 0 20 0 3 0 274977290 1265831936 284185 33554432000 4194304 5965102 140734348034272 140536182892856 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 1236164
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11481 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=348369
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=380638
# CPU time returned by wait4() is 1795.73
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.355
CPU time (s): 1800.11
CPU user time (s): 1798.05
CPU system time (s): 2.06
CPU usage (%): 199.933
Max. virtual memory (cumulated for all children) (KiB): 1236164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.35
system time used= 2.38064
maximum resident set size= 1136748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286877
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= 838
involuntary context switches= 1902
runsolver used 1.86272 second user time and 5.50316 second system time
The end