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-3712738-1338203107/watcher-3712738-1338203107 -o /tmp/evaluation-result-3712738-1338203107/solver-3712738-1338203107 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712738-1338203107.wbo
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: 3.99 4.02 4.00 4/178 22983
/proc/meminfo: memFree=29860136/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=4432 CPUtime=0 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) R 22981 22983 20320 0 -1 4202496 411 0 0 0 0 0 0 0 20 0 1 0 286434836 4538368 364 33554432000 4194304 5964478 140735111255376 140735111253624 4395183 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 1108 364 166 433 0 648 0
[startup+0.0534249 s]
/proc/loadavg: 3.99 4.02 4.00 4/178 22983
/proc/meminfo: memFree=29860136/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=164272 CPUtime=0.08 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 2544 0 0 0 8 0 0 0 20 0 3 0 286434836 168214528 2232 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 41068 2232 198 433 0 40632 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 164272
[startup+0.100187 s]
/proc/loadavg: 3.99 4.02 4.00 4/178 22983
/proc/meminfo: memFree=29860136/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=164272 CPUtime=0.17 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 2980 0 0 0 17 0 0 0 20 0 3 0 286434836 168214528 2462 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 41068 2462 198 433 0 40632 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164272
[startup+0.300087 s]
/proc/loadavg: 3.99 4.02 4.00 4/178 22983
/proc/meminfo: memFree=29860136/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=164272 CPUtime=0.57 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 4447 0 0 0 57 0 0 0 20 0 3 0 286434836 168214528 3314 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 41068 3314 198 433 0 40632 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164272
[startup+0.700147 s]
/proc/loadavg: 3.99 4.02 4.00 4/178 22983
/proc/meminfo: memFree=29860136/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=164272 CPUtime=1.37 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 6758 0 0 0 136 1 0 0 20 0 3 0 286434836 168214528 4699 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 41068 4699 198 433 0 40632 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 164272
[startup+1.50028 s]
/proc/loadavg: 3.99 4.02 4.00 5/181 22986
/proc/meminfo: memFree=29829692/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=164272 CPUtime=2.97 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 9983 0 0 0 295 2 0 0 20 0 3 0 286434836 168214528 6486 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 41068 6486 198 433 0 40632 0
[pid=22983/tid=22985] ppid=22981 vsize=164272 CPUtime=1.46 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 3211 0 0 0 146 0 0 0 20 0 3 0 286434837 168214528 6486 33554432000 4194304 5964478 140735111255376 140113004091384 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=164272 CPUtime=1.47 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 5682 0 0 0 146 1 0 0 20 0 3 0 286434837 168214528 6486 33554432000 4194304 5964478 140735111255376 140112993602200 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 164272
[startup+3.10027 s]
/proc/loadavg: 3.99 4.02 4.00 5/181 22986
/proc/meminfo: memFree=29804412/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=164272 CPUtime=6.16 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 15295 0 0 0 613 3 0 0 20 0 3 0 286434836 168214528 10310 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 41068 10336 198 433 0 40632 0
[pid=22983/tid=22985] ppid=22981 vsize=164272 CPUtime=3.06 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 6358 0 0 0 304 2 0 0 20 0 3 0 286434837 168214528 10350 33554432000 4194304 5964478 140735111255376 140113004091384 4400081 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=164272 CPUtime=3.07 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 7900 0 0 0 306 1 0 0 20 0 3 0 286434837 168214528 10363 33554432000 4194304 5964478 140735111255376 140112993602200 5179688 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 164272
[startup+6.30029 s]
/proc/loadavg: 4.07 4.03 4.01 5/181 22986
/proc/meminfo: memFree=29741836/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=164272 CPUtime=12.56 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 22721 0 0 0 1251 5 0 0 20 0 3 0 286434836 168214528 17349 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 41068 17349 198 433 0 40632 0
[pid=22983/tid=22985] ppid=22981 vsize=164272 CPUtime=6.26 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 12460 0 0 0 622 4 0 0 20 0 3 0 286434837 168214528 17349 33554432000 4194304 5964478 140735111255376 140113004091296 4390216 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=164272 CPUtime=6.28 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 9171 0 0 0 626 2 0 0 20 0 3 0 286434837 168214528 17349 33554432000 4194304 5964478 140735111255376 140112993601840 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 164272
[startup+12.7003 s]
/proc/loadavg: 4.06 4.03 4.00 5/181 22986
/proc/meminfo: memFree=29600308/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=230480 CPUtime=25.36 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 37832 0 0 0 2527 9 0 0 20 0 3 0 286434836 236011520 32253 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 57620 32253 198 433 0 57184 0
[pid=22983/tid=22985] ppid=22981 vsize=230480 CPUtime=12.66 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 24240 0 0 0 1259 7 0 0 20 0 3 0 286434837 236011520 32253 33554432000 4194304 5964478 140735111255376 140113004091488 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=230480 CPUtime=12.68 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 12502 0 0 0 1265 3 0 0 20 0 3 0 286434837 236011520 32253 33554432000 4194304 5964478 140735111255376 140112993601848 4400081 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 230480
[startup+25.5003 s]
/proc/loadavg: 4.05 4.03 4.00 5/181 22986
/proc/meminfo: memFree=29342052/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=362672 CPUtime=50.96 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 76382 0 0 0 5077 19 0 0 20 0 3 0 286434836 371376128 70803 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 90668 70805 198 433 0 90232 0
[pid=22983/tid=22985] ppid=22981 vsize=362672 CPUtime=25.46 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 39041 0 0 0 2535 11 0 0 20 0 3 0 286434837 371376128 70805 33554432000 4194304 5964478 140735111255376 140113004091384 4222464 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=362672 CPUtime=25.47 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 36253 0 0 0 2538 9 0 0 20 0 3 0 286434837 371376128 70805 33554432000 4194304 5964478 140735111255376 140112993601848 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 362672
[startup+51.1003 s]
/proc/loadavg: 4.03 4.03 4.00 5/181 22986
/proc/meminfo: memFree=29030144/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=561352 CPUtime=102.15 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 127363 0 0 0 10179 36 0 0 20 0 3 0 286434836 574824448 121784 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 140338 121784 198 433 0 139902 0
[pid=22983/tid=22985] ppid=22981 vsize=561352 CPUtime=51.05 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 63483 0 0 0 5085 20 0 0 20 0 3 0 286434837 574824448 121784 33554432000 4194304 5964478 140735111255376 140113004091384 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=561352 CPUtime=51.07 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 62790 0 0 0 5090 17 0 0 20 0 3 0 286434837 574824448 121784 33554432000 4194304 5964478 140735111255376 140112993601608 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 561352
[startup+102.307 s]
/proc/loadavg: 4.01 4.02 4.00 5/181 22986
/proc/meminfo: memFree=28727504/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=760180 CPUtime=204.54 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 169132 0 0 0 20404 50 0 0 20 0 3 0 286434836 778424320 163467 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 190045 163467 198 433 0 189609 0
[pid=22983/tid=22985] ppid=22981 vsize=760180 CPUtime=102.26 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 77141 0 0 0 10200 26 0 0 20 0 3 0 286434837 778424320 163467 33554432000 4194304 5964478 140735111255376 140113004091416 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=760180 CPUtime=102.28 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 90901 0 0 0 10200 28 0 0 20 0 3 0 286434837 778424320 163467 33554432000 4194304 5964478 140735111255376 140112993601608 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 760180
[startup+162.3 s]
/proc/loadavg: 4.00 4.02 4.00 5/181 22987
/proc/meminfo: memFree=28210516/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=957836 CPUtime=324.5 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 218173 0 0 0 32383 67 0 0 20 0 3 0 286434836 980824064 212547 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 239459 212547 198 433 0 239023 0
[pid=22983/tid=22985] ppid=22981 vsize=957836 CPUtime=162.24 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 101874 0 0 0 16188 36 0 0 20 0 3 0 286434837 980824064 212547 33554432000 4194304 5964478 140735111255376 140113004091384 4388245 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=957836 CPUtime=162.26 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 115209 0 0 0 16190 36 0 0 20 0 3 0 286434837 980824064 212547 33554432000 4194304 5964478 140735111255376 140112993601608 4400081 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.5
Current children cumulated vsize (KiB) 957836
[startup+222.3 s]
/proc/loadavg: 4.00 4.01 4.00 5/181 22987
/proc/meminfo: memFree=28065728/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=958564 CPUtime=444.45 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 226722 0 0 0 44376 69 0 0 20 0 3 0 286434836 981569536 220984 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 239641 220984 198 433 0 239205 0
[pid=22983/tid=22985] ppid=22981 vsize=958564 CPUtime=222.22 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 110220 0 0 0 22183 39 0 0 20 0 3 0 286434837 981569536 220984 33554432000 4194304 5964478 140735111255376 140113004091296 4400081 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=958564 CPUtime=222.25 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 115412 0 0 0 22187 38 0 0 20 0 3 0 286434837 981569536 220984 33554432000 4194304 5964478 140735111255376 140112993601952 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.45
Current children cumulated vsize (KiB) 958564
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22987
/proc/meminfo: memFree=27514288/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=1221788 CPUtime=564.39 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 297807 0 0 0 56343 96 0 0 20 0 3 0 286434836 1251110912 292037 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 305447 292037 198 433 0 305011 0
[pid=22983/tid=22985] ppid=22981 vsize=1221788 CPUtime=282.18 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 159385 0 0 0 28158 60 0 0 20 0 3 0 286434837 1251110912 292037 33554432000 4194304 5964478 140735111255376 140113004091384 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=1221788 CPUtime=282.24 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 137332 0 0 0 28179 45 0 0 20 0 3 0 286434837 1251110912 292037 33554432000 4194304 5964478 140735111255376 140112993601848 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.39
Current children cumulated vsize (KiB) 1221788
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/182 22990
/proc/meminfo: memFree=27111836/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=1550636 CPUtime=684.34 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 361377 0 0 0 68310 124 0 0 20 0 3 0 286434836 1587851264 355460 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 387659 355460 198 433 0 387223 0
[pid=22983/tid=22985] ppid=22981 vsize=1550636 CPUtime=342.16 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 197192 0 0 0 34137 79 0 0 20 0 3 0 286434837 1587851264 355460 33554432000 4194304 5964478 140735111255376 140113004091384 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=1550636 CPUtime=342.2 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 163095 0 0 0 34163 57 0 0 20 0 3 0 286434837 1587851264 355460 33554432000 4194304 5964478 140735111255376 140112993601880 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.34
Current children cumulated vsize (KiB) 1550636
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22990
/proc/meminfo: memFree=27041400/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=1551172 CPUtime=804.29 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 361575 0 0 0 80305 124 0 0 20 0 3 0 286434836 1588400128 355618 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 387793 355618 198 433 0 387357 0
[pid=22983/tid=22985] ppid=22981 vsize=1551172 CPUtime=402.12 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 197250 0 0 0 40132 80 0 0 20 0 3 0 286434837 1588400128 355618 33554432000 4194304 5964478 140735111255376 140113004091384 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=1551172 CPUtime=402.2 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 163235 0 0 0 40162 58 0 0 20 0 3 0 286434837 1588400128 355618 33554432000 4194304 5964478 140735111255376 140112993601608 5134471 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.29
Current children cumulated vsize (KiB) 1551172
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22991
/proc/meminfo: memFree=27030928/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=1551676 CPUtime=924.24 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 361731 0 0 0 92300 124 0 0 20 0 3 0 286434836 1588916224 355732 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 387919 355732 198 433 0 387483 0
[pid=22983/tid=22985] ppid=22981 vsize=1551676 CPUtime=462.1 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 197277 0 0 0 46129 81 0 0 20 0 3 0 286434837 1588916224 355732 33554432000 4194304 5964478 140735111255376 140113004091384 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=1551676 CPUtime=462.19 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 163364 0 0 0 46160 59 0 0 20 0 3 0 286434837 1588916224 355732 33554432000 4194304 5964478 140735111255376 140112993601608 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.24
Current children cumulated vsize (KiB) 1551676
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22991
/proc/meminfo: memFree=26921688/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=1617752 CPUtime=1044.19 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 384180 0 0 0 104284 135 0 0 20 0 3 0 286434836 1656578048 378135 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 404438 378135 198 433 0 404002 0
[pid=22983/tid=22985] ppid=22981 vsize=1617752 CPUtime=522.08 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 197332 0 0 0 52127 81 0 0 20 0 3 0 286434837 1656578048 378135 33554432000 4194304 5964478 140735111255376 140113004091384 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=1617752 CPUtime=522.17 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 185758 0 0 0 52147 70 0 0 20 0 3 0 286434837 1656578048 378135 33554432000 4194304 5964478 140735111255376 140112993601848 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.19
Current children cumulated vsize (KiB) 1617752
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22991
/proc/meminfo: memFree=26749484/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=1618888 CPUtime=1164.15 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 396745 0 0 0 116261 154 0 0 20 0 3 0 286434836 1657741312 386034 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 404722 386034 198 433 0 404286 0
[pid=22983/tid=22985] ppid=22981 vsize=1618888 CPUtime=582.08 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 209585 0 0 0 58108 100 0 0 20 0 3 0 286434837 1657741312 386034 33554432000 4194304 5964478 140735111255376 140113004091384 4400053 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=1618888 CPUtime=582.14 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 186070 0 0 0 58143 71 0 0 20 0 3 0 286434837 1657741312 386034 33554432000 4194304 5964478 140735111255376 140112993601952 4400051 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.15
Current children cumulated vsize (KiB) 1618888
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22991
/proc/meminfo: memFree=26413552/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=1816488 CPUtime=1284.12 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 436206 0 0 0 128209 203 0 0 20 0 3 0 286434836 1860083712 426702 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 454122 426702 198 433 0 453686 0
[pid=22983/tid=22985] ppid=22981 vsize=1816488 CPUtime=642.07 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 248951 0 0 0 64057 150 0 0 20 0 3 0 286434837 1860083712 426702 33554432000 4194304 5964478 140735111255376 140113004091384 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=1816488 CPUtime=642.15 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 186165 0 0 0 64143 72 0 0 20 0 3 0 286434837 1860083712 426702 33554432000 4194304 5964478 140735111255376 140112993601608 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.12
Current children cumulated vsize (KiB) 1816488
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22991
/proc/meminfo: memFree=26121064/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=1948716 CPUtime=1404.08 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 479546 0 0 0 140157 251 0 0 20 0 3 0 286434836 1995485184 470042 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 487179 470042 198 433 0 486743 0
[pid=22983/tid=22985] ppid=22981 vsize=1948716 CPUtime=702.07 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 292217 0 0 0 70008 199 0 0 20 0 3 0 286434837 1995485184 470042 33554432000 4194304 5964478 140735111255376 140113004091384 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=1948716 CPUtime=702.14 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 186239 0 0 0 70141 73 0 0 20 0 3 0 286434837 1995485184 470042 33554432000 4194304 5964478 140735111255376 140112993601608 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.08
Current children cumulated vsize (KiB) 1948716
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22992
/proc/meminfo: memFree=25692304/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=2080024 CPUtime=1524.08 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 505291 0 0 0 152128 280 0 0 20 0 3 0 286434836 2129944576 495787 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 520006 495787 198 433 0 519570 0
[pid=22983/tid=22985] ppid=22981 vsize=2080024 CPUtime=762.08 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 317890 0 0 0 75978 230 0 0 20 0 3 0 286434837 2129944576 495787 33554432000 4194304 5964478 140735111255376 140113004091384 4400081 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=2080024 CPUtime=762.15 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 186311 0 0 0 76141 74 0 0 20 0 3 0 286434837 2129944576 495787 33554432000 4194304 5964478 140735111255376 140112993601608 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.08
Current children cumulated vsize (KiB) 2080024
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22992
/proc/meminfo: memFree=25293424/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=2277604 CPUtime=1644.05 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 556242 0 0 0 164086 319 0 0 20 0 3 0 286434836 2332266496 546738 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 569401 546738 198 433 0 568965 0
[pid=22983/tid=22985] ppid=22981 vsize=2277604 CPUtime=822.07 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 346931 0 0 0 81947 260 0 0 20 0 3 0 286434837 2332266496 546738 33554432000 4194304 5964478 140735111255376 140113004091384 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=2277604 CPUtime=822.14 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 208221 0 0 0 82130 84 0 0 20 0 3 0 286434837 2332266496 546738 33554432000 4194304 5964478 140735111255376 140112993601848 4400002 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.05
Current children cumulated vsize (KiB) 2277604
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22992
/proc/meminfo: memFree=25050288/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=2409856 CPUtime=1764.03 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 589369 0 0 0 176058 345 0 0 20 0 3 0 286434836 2467692544 579865 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 602464 579865 198 433 0 602028 0
[pid=22983/tid=22985] ppid=22981 vsize=2409856 CPUtime=882.08 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 358541 0 0 0 87931 277 0 0 20 0 3 0 286434837 2467692544 579865 33554432000 4194304 5964478 140735111255376 140113004091384 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=2409856 CPUtime=882.14 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 229738 0 0 0 88119 95 0 0 20 0 3 0 286434837 2467692544 579865 33554432000 4194304 5964478 140735111255376 140112993601608 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.03
Current children cumulated vsize (KiB) 2409856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 3.85 3.97 3.99 5/182 23036
/proc/meminfo: memFree=27543260/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=2410212 CPUtime=1800.03 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 589444 0 0 0 179658 345 0 0 20 0 3 0 286434836 2468057088 580481 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 602553 580481 198 433 0 602117 0
[pid=22983/tid=22985] ppid=22981 vsize=2410212 CPUtime=900.08 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 358552 0 0 0 89730 278 0 0 20 0 3 0 286434837 2468057088 580481 33554432000 4194304 5964478 140735111255376 140113004091384 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=2410212 CPUtime=900.14 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 229802 0 0 0 89919 95 0 0 20 0 3 0 286434837 2468057088 580481 33554432000 4194304 5964478 140735111255376 140112993601608 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2410212
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.85 3.97 3.99 5/182 23036
/proc/meminfo: memFree=27543260/32873648 swapFree=7368/7368
[pid=22983] ppid=22981 vsize=2410212 CPUtime=1800.03 cores=1,3,5,7
/proc/22983/stat : 22983 (pwbo2.01) S 22981 22983 20320 0 -1 4202496 589444 0 0 0 179658 345 0 0 20 0 3 0 286434836 2468057088 580481 33554432000 4194304 5964478 140735111255376 140735111254896 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22983/statm: 602553 580481 198 433 0 602117 0
[pid=22983/tid=22985] ppid=22981 vsize=2410212 CPUtime=900.08 cores=1,3,5,7
/proc/22983/task/22985/stat : 22985 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 358552 0 0 0 89730 278 0 0 20 0 3 0 286434837 2468057088 580481 33554432000 4194304 5964478 140735111255376 140113004091384 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22983/tid=22986] ppid=22981 vsize=2410212 CPUtime=900.14 cores=1,3,5,7
/proc/22983/task/22986/stat : 22986 (pwbo2.01) R 22981 22983 20320 0 -1 4202560 229802 0 0 0 89919 95 0 0 20 0 3 0 286434837 2468057088 580481 33554432000 4194304 5964478 140735111255376 140112993601608 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2410212
Child status: 0
Real time (s): 900.409
CPU time (s): 1800.38
CPU user time (s): 1796.54
CPU system time (s): 3.84042
CPU usage (%): 199.951
Max. virtual memory (cumulated for all children) (KiB): 2410212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.54
system time used= 3.84042
maximum resident set size= 2321932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 589446
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= 1237
involuntary context switches= 2318
runsolver used 1.86172 second user time and 5.20421 second system time
The end