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-3712735-1338204003/watcher-3712735-1338204003 -o /tmp/evaluation-result-3712735-1338204003/solver-3712735-1338204003 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712735-1338204003.wbo
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.84 3.97 3.99 4/179 23033
/proc/meminfo: memFree=27589604/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=4432 CPUtime=0 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) R 23031 23033 20320 0 -1 4202496 408 0 0 0 0 0 0 0 20 0 1 0 286524384 4538368 361 33554432000 4194304 5964478 140735875420064 140737105445560 5367053 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 1108 361 165 433 0 648 0
[startup+0.043178 s]
/proc/loadavg: 3.84 3.97 3.99 4/179 23033
/proc/meminfo: memFree=27589604/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=164272 CPUtime=0.06 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 2489 0 0 0 5 1 0 0 20 0 3 0 286524384 168214528 2115 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 41068 2115 198 433 0 40632 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 164272
[startup+0.10019 s]
/proc/loadavg: 3.84 3.97 3.99 4/179 23033
/proc/meminfo: memFree=27589604/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=164272 CPUtime=0.16 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 3524 0 0 0 15 1 0 0 20 0 3 0 286524384 168214528 2478 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 41068 2478 198 433 0 40632 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 164272
[startup+0.300137 s]
/proc/loadavg: 3.84 3.97 3.99 4/179 23033
/proc/meminfo: memFree=27589604/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=164272 CPUtime=0.57 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 5718 0 0 0 54 3 0 0 20 0 3 0 286524384 168214528 3758 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 41068 3758 198 433 0 40632 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164272
[startup+0.70014 s]
/proc/loadavg: 3.84 3.97 3.99 4/179 23033
/proc/meminfo: memFree=27589604/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=164272 CPUtime=1.36 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 7564 0 0 0 131 5 0 0 20 0 3 0 286524384 168214528 4735 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 41068 4735 198 433 0 40632 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 164272
[startup+1.50028 s]
/proc/loadavg: 3.84 3.97 3.99 5/182 23036
/proc/meminfo: memFree=27568964/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=164272 CPUtime=2.96 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 10110 0 0 0 287 9 0 0 20 0 3 0 286524384 168214528 6467 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 41068 6467 198 433 0 40632 0
[pid=23033/tid=23035] ppid=23031 vsize=164272 CPUtime=1.47 cores=0,2,4,6
/proc/23033/task/23035/stat : 23035 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 3644 0 0 0 139 8 0 0 20 0 3 0 286524386 168214528 6467 33554432000 4194304 5964478 140735875420064 140117866244160 4400612 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=164272 CPUtime=1.46 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 5374 0 0 0 146 0 0 0 20 0 3 0 286524386 168214528 6467 33554432000 4194304 5964478 140735875420064 140117855754904 4403701 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 164272
[startup+3.10027 s]
/proc/loadavg: 3.84 3.97 3.99 5/182 23036
/proc/meminfo: memFree=27559052/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=164272 CPUtime=6.15 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 12026 0 0 0 606 9 0 0 20 0 3 0 286524384 168214528 7779 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 41068 7779 198 433 0 40632 0
[pid=23033/tid=23035] ppid=23031 vsize=164272 CPUtime=3.07 cores=0,2,4,6
/proc/23033/task/23035/stat : 23035 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 4512 0 0 0 298 9 0 0 20 0 3 0 286524386 168214528 7779 33554432000 4194304 5964478 140735875420064 140117866244088 4399930 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=164272 CPUtime=3.06 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 6422 0 0 0 306 0 0 0 20 0 3 0 286524386 168214528 7779 33554432000 4194304 5964478 140735875420064 140117855754904 4403676 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 164272
[startup+6.30029 s]
/proc/loadavg: 3.85 3.97 3.99 3/178 23037
/proc/meminfo: memFree=29865992/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=164272 CPUtime=12.55 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 18691 0 0 0 1237 18 0 0 20 0 3 0 286524384 168214528 13999 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 41068 13999 198 433 0 40632 0
[pid=23033/tid=23035] ppid=23031 vsize=164272 CPUtime=6.27 cores=0,2,4,6
/proc/23033/task/23035/stat : 23035 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 9982 0 0 0 609 18 0 0 20 0 3 0 286524386 168214528 13999 33554432000 4194304 5964478 140735875420064 140117866244088 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=164272 CPUtime=6.26 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 7617 0 0 0 624 2 0 0 20 0 3 0 286524386 168214528 13999 33554432000 4194304 5964478 140735875420064 140117855754904 4403692 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 164272
[startup+12.7003 s]
/proc/loadavg: 3.86 3.97 3.99 5/182 23077
/proc/meminfo: memFree=29789480/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=164536 CPUtime=25.36 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 24576 0 0 0 2515 21 0 0 20 0 3 0 286524384 168484864 19780 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 41134 19780 198 433 0 40698 0
[pid=23033/tid=23035] ppid=23031 vsize=164536 CPUtime=12.67 cores=0,2,4,6
/proc/23033/task/23035/stat : 23035 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 15183 0 0 0 1247 20 0 0 20 0 3 0 286524386 168484864 19780 33554432000 4194304 5964478 140735875420064 140117866244088 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=164536 CPUtime=12.66 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 8301 0 0 0 1264 2 0 0 20 0 3 0 286524386 168484864 19780 33554432000 4194304 5964478 140735875420064 140117855754464 4403697 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 164536
[startup+25.5003 s]
/proc/loadavg: 3.89 3.97 3.99 5/182 23077
/proc/meminfo: memFree=29522320/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=230888 CPUtime=50.93 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 48284 0 0 0 5066 27 0 0 20 0 3 0 286524384 236429312 42996 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 57722 42996 198 433 0 57286 0
[pid=23033/tid=23035] ppid=23031 vsize=230888 CPUtime=25.46 cores=0,2,4,6
/proc/23033/task/23035/stat : 23035 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 30035 0 0 0 2522 24 0 0 20 0 3 0 286524386 236429312 42996 33554432000 4194304 5964478 140735875420064 140117866244088 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=230888 CPUtime=25.45 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 17157 0 0 0 2541 4 0 0 20 0 3 0 286524386 236429312 42996 33554432000 4194304 5964478 140735875420064 140117855754552 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 230888
[startup+51.1003 s]
/proc/loadavg: 4.00 3.99 3.99 5/182 23077
/proc/meminfo: memFree=29123828/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=495212 CPUtime=102.1 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 106397 0 0 0 10166 44 0 0 20 0 3 0 286524384 507097088 101110 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 123803 101110 198 433 0 123367 0
[pid=23033/tid=23035] ppid=23031 vsize=495212 CPUtime=51.05 cores=0,2,4,6
/proc/23033/task/23035/stat : 23035 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 50866 0 0 0 5073 32 0 0 20 0 3 0 286524386 507097088 101110 33554432000 4194304 5964478 140735875420064 140117866244088 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=495212 CPUtime=51.05 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 54439 0 0 0 5092 13 0 0 20 0 3 0 286524386 507097088 101110 33554432000 4194304 5964478 140735875420064 140117855754552 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 495212
[startup+102.306 s]
/proc/loadavg: 4.04 4.00 4.00 5/181 23077
/proc/meminfo: memFree=28778276/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=628224 CPUtime=204.47 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 140579 0 0 0 20391 56 0 0 20 0 3 0 286524384 643301376 135286 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 157056 135286 198 433 0 156620 0
[pid=23033/tid=23035] ppid=23031 vsize=628224 CPUtime=102.22 cores=0,2,4,6
/proc/23033/task/23035/stat : 23035 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 73905 0 0 0 10181 41 0 0 20 0 3 0 286524386 643301376 135286 33554432000 4194304 5964478 140735875420064 140117866244088 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=628224 CPUtime=102.26 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 65582 0 0 0 10208 18 0 0 20 0 3 0 286524386 643301376 135286 33554432000 4194304 5964478 140735875420064 140117855754552 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.47
Current children cumulated vsize (KiB) 628224
[startup+162.3 s]
/proc/loadavg: 4.05 4.01 4.00 5/181 23078
/proc/meminfo: memFree=28310348/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=892048 CPUtime=324.39 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 193300 0 0 0 32366 73 0 0 20 0 3 0 286524384 913457152 187818 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 223012 187818 198 433 0 222576 0
[pid=23033/tid=23035] ppid=23031 vsize=892048 CPUtime=162.2 cores=0,2,4,6
/proc/23033/task/23035/stat : 23035 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 102105 0 0 0 16169 51 0 0 20 0 3 0 286524386 913457152 187818 33554432000 4194304 5964478 140735875420064 140117866244120 4391385 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=892048 CPUtime=162.23 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 90103 0 0 0 16196 27 0 0 20 0 3 0 286524386 913457152 187818 33554432000 4194304 5964478 140735875420064 140117855754312 4400062 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.39
Current children cumulated vsize (KiB) 892048
[startup+222.3 s]
/proc/loadavg: 4.02 4.01 4.00 5/181 23078
/proc/meminfo: memFree=28083268/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=958468 CPUtime=444.32 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 227533 0 0 0 44346 86 0 0 20 0 3 0 286524384 981471232 222018 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 239617 222018 198 433 0 239181 0
[pid=23033/tid=23035] ppid=23031 vsize=958468 CPUtime=222.2 cores=0,2,4,6
/proc/23033/task/23035/stat : 23035 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 124316 0 0 0 22159 61 0 0 20 0 3 0 286524386 981471232 222018 33554432000 4194304 5964478 140735875420064 140117866244088 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=958468 CPUtime=222.2 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 102125 0 0 0 22188 32 0 0 20 0 3 0 286524386 981471232 222018 33554432000 4194304 5964478 140735875420064 140117855754552 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.32
Current children cumulated vsize (KiB) 958468
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23078
/proc/meminfo: memFree=27719688/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=1222116 CPUtime=564.3 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 291938 0 0 0 56316 114 0 0 20 0 3 0 286524384 1251446784 287570 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 305529 287570 198 433 0 305093 0
[pid=23033/tid=23035] ppid=23031 vsize=1222116 CPUtime=282.2 cores=0,2,4,6
/proc/23033/task/23035/stat : 23035 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 174553 0 0 0 28135 85 0 0 20 0 3 0 286524386 1251446784 287570 33554432000 4194304 5964478 140735875420064 140117866244088 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=1222116 CPUtime=282.2 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 116293 0 0 0 28181 39 0 0 20 0 3 0 286524386 1251446784 287570 33554432000 4194304 5964478 140735875420064 140117855754312 4400040 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.3
Current children cumulated vsize (KiB) 1222116
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23078
/proc/meminfo: memFree=27355912/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=1485572 CPUtime=684.28 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 355432 0 0 0 68281 147 0 0 20 0 3 0 286524384 1521225728 351008 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 371393 351008 198 433 0 370957 0
[pid=23033/tid=23035] ppid=23031 vsize=1485572 CPUtime=342.2 cores=0,2,4,6
/proc/23033/task/23035/stat : 23035 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 209074 0 0 0 34114 106 0 0 20 0 3 0 286524386 1521225728 351008 33554432000 4194304 5964478 140735875420064 140117866244088 4400073 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=1485572 CPUtime=342.21 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 145266 0 0 0 34169 52 0 0 20 0 3 0 286524386 1521225728 351008 33554432000 4194304 5964478 140735875420064 140117855754584 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 684.28
Current children cumulated vsize (KiB) 1485572
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23078
/proc/meminfo: memFree=27207516/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=1485572 CPUtime=804.26 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 355443 0 0 0 80279 147 0 0 20 0 3 0 286524384 1521225728 351019 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 371393 351019 198 433 0 370957 0
[pid=23033/tid=23035] ppid=23031 vsize=1485572 CPUtime=402.21 cores=0,2,4,6
/proc/23033/task/23035/stat : 23035 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 209078 0 0 0 40114 107 0 0 20 0 3 0 286524386 1521225728 351019 33554432000 4194304 5964478 140735875420064 140117866244088 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=1485572 CPUtime=402.21 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 145273 0 0 0 40168 53 0 0 20 0 3 0 286524386 1521225728 351019 33554432000 4194304 5964478 140735875420064 140117855754584 4400062 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 804.26
Current children cumulated vsize (KiB) 1485572
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/182 23080
/proc/meminfo: memFree=27049940/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=1486140 CPUtime=924.24 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 355581 0 0 0 92277 147 0 0 20 0 3 0 286524384 1521807360 351157 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 371535 351157 198 433 0 371099 0
[pid=23033/tid=23035] ppid=23031 vsize=1486140 CPUtime=462.21 cores=0,2,4,6
/proc/23033/task/23035/stat : 23035 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 209081 0 0 0 46113 108 0 0 20 0 3 0 286524386 1521807360 351157 33554432000 4194304 5964478 140735875420064 140117866244000 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=1486140 CPUtime=462.21 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 145408 0 0 0 46167 54 0 0 20 0 3 0 286524386 1521807360 351157 33554432000 4194304 5964478 140735875420064 140117855754656 4400040 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 924.24
Current children cumulated vsize (KiB) 1486140
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23080
/proc/meminfo: memFree=26866580/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=1552504 CPUtime=1044.22 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 371682 0 0 0 104269 153 0 0 20 0 3 0 286524384 1589764096 367258 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 388126 367258 198 433 0 387690 0
[pid=23033/tid=23035] ppid=23031 vsize=1552504 CPUtime=522.21 cores=0,2,4,6
/proc/23033/task/23035/stat : 23035 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 209106 0 0 0 52113 108 0 0 20 0 3 0 286524386 1589764096 367258 33554432000 4194304 5964478 140735875420064 140117866244000 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=1552504 CPUtime=522.22 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 161484 0 0 0 52162 60 0 0 20 0 3 0 286524386 1589764096 367258 33554432000 4194304 5964478 140735875420064 140117855754552 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1044.22
Current children cumulated vsize (KiB) 1552504
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23080
/proc/meminfo: memFree=26522636/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=1683860 CPUtime=1164.21 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 399120 0 0 0 116239 182 0 0 20 0 3 0 286524384 1724272640 394696 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 420965 394696 198 433 0 420529 0
[pid=23033/tid=23035] ppid=23031 vsize=1683860 CPUtime=582.22 cores=0,2,4,6
/proc/23033/task/23035/stat : 23035 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 236442 0 0 0 58084 138 0 0 20 0 3 0 286524386 1724272640 394696 33554432000 4194304 5964478 140735875420064 140117866244088 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=1683860 CPUtime=582.22 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 161586 0 0 0 58161 61 0 0 20 0 3 0 286524386 1724272640 394696 33554432000 4194304 5964478 140735875420064 140117855754312 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1164.21
Current children cumulated vsize (KiB) 1683860
[startup+642.3 s]
/proc/loadavg: 4.04 4.01 4.00 5/182 23083
/proc/meminfo: memFree=26341648/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=1881492 CPUtime=1284.2 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 441992 0 0 0 128194 226 0 0 20 0 3 0 286524384 1926647808 436847 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 470373 436847 198 433 0 469937 0
[pid=23033/tid=23035] ppid=23031 vsize=1881492 CPUtime=642.23 cores=0,2,4,6
/proc/23033/task/23035/stat : 23035 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 279262 0 0 0 64041 182 0 0 20 0 3 0 286524386 1926647808 436847 33554432000 4194304 5964478 140735875420064 140117866244232 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=1881492 CPUtime=642.23 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 161638 0 0 0 64161 62 0 0 20 0 3 0 286524386 1926647808 436847 33554432000 4194304 5964478 140735875420064 140117855754584 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1284.2
Current children cumulated vsize (KiB) 1881492
[startup+702.3 s]
/proc/loadavg: 4.01 4.01 4.00 5/181 23083
/proc/meminfo: memFree=26237664/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=1947168 CPUtime=1404.17 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 468048 0 0 0 140169 248 0 0 20 0 3 0 286524384 1993900032 462903 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 486792 462903 198 433 0 486356 0
[pid=23033/tid=23035] ppid=23031 vsize=1947168 CPUtime=702.22 cores=0,2,4,6
/proc/23033/task/23035/stat : 23035 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 305246 0 0 0 70016 206 0 0 20 0 3 0 286524386 1993900032 462903 33554432000 4194304 5964478 140735875420064 140117866244088 4400062 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=1947168 CPUtime=702.22 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 161710 0 0 0 70159 63 0 0 20 0 3 0 286524386 1993900032 462903 33554432000 4194304 5964478 140735875420064 140117855754312 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1404.17
Current children cumulated vsize (KiB) 1947168
[startup+762.306 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23084
/proc/meminfo: memFree=25988456/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=2144228 CPUtime=1524.16 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 510722 0 0 0 152140 276 0 0 20 0 3 0 286524384 2195689472 505577 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 536057 505577 198 433 0 535621 0
[pid=23033/tid=23035] ppid=23031 vsize=2144228 CPUtime=762.23 cores=0,2,4,6
/proc/23033/task/23035/stat : 23035 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 332036 0 0 0 75997 226 0 0 20 0 3 0 286524386 2195689472 505577 33554432000 4194304 5964478 140735875420064 140117866244088 4220678 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=2144228 CPUtime=762.23 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 177594 0 0 0 76150 73 0 0 20 0 3 0 286524386 2195689472 505577 33554432000 4194304 5964478 140735875420064 140117855754656 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1524.16
Current children cumulated vsize (KiB) 2144228
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23084
/proc/meminfo: memFree=25894740/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=2210096 CPUtime=1644.13 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 534400 0 0 0 164121 292 0 0 20 0 3 0 286524384 2263138304 529255 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 552524 529255 198 433 0 552088 0
[pid=23033/tid=23035] ppid=23031 vsize=2210096 CPUtime=822.23 cores=0,2,4,6
/proc/23033/task/23035/stat : 23035 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 355640 0 0 0 81980 243 0 0 20 0 3 0 286524386 2263138304 529255 33554432000 4194304 5964478 140735875420064 140117866244088 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=2210096 CPUtime=822.23 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 177668 0 0 0 82149 74 0 0 20 0 3 0 286524386 2263138304 529255 33554432000 4194304 5964478 140735875420064 140117855754312 4400075 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1644.13
Current children cumulated vsize (KiB) 2210096
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23084
/proc/meminfo: memFree=25550396/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=2472668 CPUtime=1764.1 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 592373 0 0 0 176070 340 0 0 20 0 3 0 286524384 2532012032 587558 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 618167 587558 198 433 0 617731 0
[pid=23033/tid=23035] ppid=23031 vsize=2472668 CPUtime=882.23 cores=0,2,4,6
/proc/23033/task/23035/stat : 23035 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 382004 0 0 0 87945 278 0 0 20 0 3 0 286524386 2532012032 587558 33554432000 4194304 5964478 140735875420064 140117866244088 4400062 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=2472668 CPUtime=882.22 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 209277 0 0 0 88133 89 0 0 20 0 3 0 286524386 2532012032 587558 33554432000 4194304 5964478 140735875420064 140117855754552 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1764.1
Current children cumulated vsize (KiB) 2472668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23084
/proc/meminfo: memFree=25443724/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=2473492 CPUtime=1800.1 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) S 23031 23033 20320 0 -1 4202496 612685 0 0 0 179659 351 0 0 20 0 3 0 286524384 2532855808 607869 33554432000 4194304 5964478 140735875420064 140735875419584 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 618373 607869 198 433 0 617937 0
[pid=23033/tid=23035] ppid=23031 vsize=2473492 CPUtime=900.24 cores=0,2,4,6
/proc/23033/task/23035/stat : 23035 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 389886 0 0 0 89741 283 0 0 20 0 3 0 286524386 2532855808 607869 33554432000 4194304 5964478 140735875420064 140117866244088 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=2473492 CPUtime=900.22 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4202560 221707 0 0 0 89927 95 0 0 20 0 3 0 286524386 2532855808 607869 33554432000 4194304 5964478 140735875420064 140117855754552 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 2473492
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.411 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 23084
/proc/meminfo: memFree=25443724/32873648 swapFree=7368/7368
[pid=23033] ppid=23031 vsize=0 CPUtime=1800.39 cores=0,2,4,6
/proc/23033/stat : 23033 (pwbo2.01) Z 23031 23033 20320 0 -1 4202508 612686 0 0 0 179664 375 0 0 20 0 2 0 286524384 0 0 33554432000 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23033/statm: 0 0 0 0 0 0 0
[pid=23033/tid=23036] ppid=23031 vsize=0 CPUtime=900.33 cores=0,2,4,6
/proc/23033/task/23036/stat : 23036 (pwbo2.01) R 23031 23033 20320 0 -1 4203588 221707 0 0 0 89928 105 0 0 20 0 2 0 286524386 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 900.466
CPU time (s): 1800.66
CPU user time (s): 1796.71
CPU system time (s): 3.9524
CPU usage (%): 199.97
Max. virtual memory (cumulated for all children) (KiB): 2473492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.71
system time used= 3.9524
maximum resident set size= 2431480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 612686
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= 846
involuntary context switches= 2211
runsolver used 1.79073 second user time and 4.91425 second system time
The end