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 /var/tmp/evaluation-result-3500354-1307994173/watcher-3500354-1307994173 -o /var/tmp/evaluation-result-3500354-1307994173/solver-3500354-1307994173 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500354-1307994173.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: 4.01 4.00 3.92 2/175 12298
/proc/meminfo: memFree=8308948/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=5644 CPUtime=0 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) R 12296 12298 11319 0 -1 4202496 434 0 0 0 0 0 0 0 25 0 1 0 989648046 5779456 386 33554432000 4194304 5714118 140737232227488 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12298/statm: 1411 386 166 372 0 283 0
[startup+0.057317 s]
/proc/loadavg: 4.01 4.00 3.92 2/175 12298
/proc/meminfo: memFree=8308948/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=13300 CPUtime=0.05 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) R 12296 12298 11319 0 -1 4202496 2512 0 0 0 5 0 0 0 25 0 1 0 989648046 13619200 2464 33554432000 4194304 5714118 140737232227488 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12298/statm: 3325 2465 311 372 0 2197 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13300
[startup+0.10031 s]
/proc/loadavg: 4.01 4.00 3.92 2/175 12298
/proc/meminfo: memFree=8308948/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=19732 CPUtime=0.09 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) R 12296 12298 11319 0 -1 4202496 4195 0 0 0 9 0 0 0 25 0 1 0 989648046 20205568 4147 33554432000 4194304 5714118 140737232227488 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12298/statm: 4933 4148 425 372 0 3805 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19732
[startup+0.300202 s]
/proc/loadavg: 4.01 4.00 3.92 2/175 12298
/proc/meminfo: memFree=8308948/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=176172 CPUtime=0.31 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 13112 0 0 0 29 2 0 0 25 0 3 0 989648046 180400128 12311 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 44043 12314 176 372 0 43668 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 176172
[startup+0.701131 s]
/proc/loadavg: 4.01 4.00 3.92 2/175 12298
/proc/meminfo: memFree=8308948/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=175404 CPUtime=1.1 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 22452 0 0 0 106 4 0 0 25 0 3 0 989648046 179613696 21475 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 43851 21475 178 372 0 43476 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 175404
[startup+1.50099 s]
/proc/loadavg: 3.85 3.97 3.91 4/175 12405
/proc/meminfo: memFree=8225408/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=175404 CPUtime=2.7 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 24553 0 0 0 265 5 0 0 25 0 3 0 989648046 179613696 23576 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 43851 23576 179 372 0 43476 0
[pid=12298/tid=12316] ppid=12296 vsize=175404 CPUtime=1.21 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 12919 0 0 0 118 3 0 0 25 0 3 0 989648074 179613696 23576 33554432000 4194304 5714118 140737232227488 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=175404 CPUtime=1.2 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 348 0 0 0 120 0 0 0 19 0 3 0 989648074 179613696 23576 33554432000 4194304 5714118 140737232227488 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 175404
[startup+3.10065 s]
/proc/loadavg: 3.85 3.97 3.91 5/182 12421
/proc/meminfo: memFree=8071348/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=175404 CPUtime=5.9 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 25439 0 0 0 585 5 0 0 25 0 3 0 989648046 179613696 24462 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 43851 24462 179 372 0 43476 0
[pid=12298/tid=12316] ppid=12296 vsize=175404 CPUtime=2.81 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 13765 0 0 0 278 3 0 0 25 0 3 0 989648074 179613696 24462 33554432000 4194304 5714118 140737232227488 18446744073709551615 4323028 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=175404 CPUtime=2.8 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 388 0 0 0 280 0 0 0 23 0 3 0 989648074 179613696 24462 33554432000 4194304 5714118 140737232227488 18446744073709551615 4309446 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 175404
[startup+6.30116 s]
/proc/loadavg: 3.85 3.97 3.91 5/182 12421
/proc/meminfo: memFree=8045584/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=175404 CPUtime=12.3 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 26426 0 0 0 1224 6 0 0 25 0 3 0 989648046 179613696 25449 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 43851 25449 179 372 0 43476 0
[pid=12298/tid=12316] ppid=12296 vsize=175404 CPUtime=6.01 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 14619 0 0 0 597 4 0 0 25 0 3 0 989648074 179613696 25449 33554432000 4194304 5714118 140737232227488 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=175404 CPUtime=6 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 521 0 0 0 599 1 0 0 25 0 3 0 989648074 179613696 25449 33554432000 4194304 5714118 140737232227488 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 175404
[startup+12.7011 s]
/proc/loadavg: 3.87 3.97 3.91 5/182 12421
/proc/meminfo: memFree=8036824/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=175404 CPUtime=25.1 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 27007 0 0 0 2503 7 0 0 25 0 3 0 989648046 179613696 26030 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 43851 26030 179 372 0 43476 0
[pid=12298/tid=12316] ppid=12296 vsize=175404 CPUtime=12.41 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 15123 0 0 0 1237 4 0 0 25 0 3 0 989648074 179613696 26030 33554432000 4194304 5714118 140737232227488 18446744073709551615 4200778 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=175404 CPUtime=12.4 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 598 0 0 0 1239 1 0 0 25 0 3 0 989648074 179613696 26030 33554432000 4194304 5714118 140737232227488 18446744073709551615 4200778 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 175404
[startup+25.5008 s]
/proc/loadavg: 3.89 3.97 3.91 5/182 12422
/proc/meminfo: memFree=8029252/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=175404 CPUtime=50.7 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 27971 0 0 0 5061 9 0 0 25 0 3 0 989648046 179613696 26994 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 43851 26994 179 372 0 43476 0
[pid=12298/tid=12316] ppid=12296 vsize=175404 CPUtime=25.21 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 15628 0 0 0 2517 4 0 0 25 0 3 0 989648074 179613696 26994 33554432000 4194304 5714118 140737232227488 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=175404 CPUtime=25.2 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 1057 0 0 0 2517 3 0 0 25 0 3 0 989648074 179613696 26994 33554432000 4194304 5714118 140737232227488 18446744073709551615 4323026 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 175404
[startup+51.1003 s]
/proc/loadavg: 3.93 3.97 3.91 5/182 12422
/proc/meminfo: memFree=7981068/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=259864 CPUtime=101.9 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 39338 0 0 0 10170 20 0 0 25 0 3 0 989648046 266100736 38260 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 64966 38260 179 372 0 64591 0
[pid=12298/tid=12316] ppid=12296 vsize=259864 CPUtime=50.81 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 16883 0 0 0 5076 5 0 0 25 0 3 0 989648074 266100736 38260 33554432000 4194304 5714118 140737232227488 18446744073709551615 4976397 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=259864 CPUtime=50.8 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 11169 0 0 0 5067 13 0 0 25 0 3 0 989648074 266100736 38260 33554432000 4194304 5714118 140737232227488 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 259864
[startup+102.306 s]
/proc/loadavg: 3.97 3.97 3.91 5/182 12424
/proc/meminfo: memFree=7960204/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=260132 CPUtime=204.32 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 42477 0 0 0 20399 33 0 0 25 0 3 0 989648046 266375168 41399 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 65033 41399 180 372 0 64658 0
[pid=12298/tid=12316] ppid=12296 vsize=260132 CPUtime=102.02 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 17824 0 0 0 10193 9 0 0 25 0 3 0 989648074 266375168 41399 33554432000 4194304 5714118 140737232227488 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=260132 CPUtime=102.01 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 13367 0 0 0 10179 22 0 0 25 0 3 0 989648074 266375168 41399 33554432000 4194304 5714118 140737232227488 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.32
Current children cumulated vsize (KiB) 260132
[startup+162.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12425
/proc/meminfo: memFree=7950472/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=260372 CPUtime=324.31 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 44557 0 0 0 32383 48 0 0 25 0 3 0 989648046 266620928 43479 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 65093 43479 180 372 0 64718 0
[pid=12298/tid=12316] ppid=12296 vsize=260372 CPUtime=162.01 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 17825 0 0 0 16189 12 0 0 25 0 3 0 989648074 266620928 43479 33554432000 4194304 5714118 140737232227488 18446744073709551615 4200634 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=260372 CPUtime=162.01 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 15446 0 0 0 16167 34 0 0 25 0 3 0 989648074 266620928 43479 33554432000 4194304 5714118 140737232227488 18446744073709551615 4305224 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.31
Current children cumulated vsize (KiB) 260372
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12427
/proc/meminfo: memFree=7926472/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=260732 CPUtime=444.31 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 48655 0 0 0 44369 62 0 0 25 0 3 0 989648046 266989568 47577 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 65183 47577 180 372 0 64808 0
[pid=12298/tid=12316] ppid=12296 vsize=260732 CPUtime=222.01 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 19672 0 0 0 22185 16 0 0 25 0 3 0 989648074 266989568 47577 33554432000 4194304 5714118 140737232227488 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=260732 CPUtime=222.01 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 17697 0 0 0 22157 44 0 0 25 0 3 0 989648074 266989568 47577 33554432000 4194304 5714118 140737232227488 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.31
Current children cumulated vsize (KiB) 260732
[startup+282.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12429
/proc/meminfo: memFree=7916132/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=260732 CPUtime=564.32 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 50637 0 0 0 56355 77 0 0 25 0 3 0 989648046 266989568 49559 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 65183 49559 180 372 0 64808 0
[pid=12298/tid=12316] ppid=12296 vsize=260732 CPUtime=282.02 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 19672 0 0 0 28180 22 0 0 25 0 3 0 989648074 266989568 49559 33554432000 4194304 5714118 140737232227488 18446744073709551615 4200634 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=260732 CPUtime=282.01 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 19679 0 0 0 28148 53 0 0 25 0 3 0 989648074 266989568 49559 33554432000 4194304 5714118 140737232227488 18446744073709551615 4322669 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.32
Current children cumulated vsize (KiB) 260732
[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12430
/proc/meminfo: memFree=7905408/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=326808 CPUtime=684.31 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 52654 0 0 0 68342 89 0 0 25 0 3 0 989648046 334651392 51576 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 81702 51576 180 372 0 81327 0
[pid=12298/tid=12316] ppid=12296 vsize=326808 CPUtime=342.01 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 19882 0 0 0 34175 26 0 0 25 0 3 0 989648074 334651392 51576 33554432000 4194304 5714118 140737232227488 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=326808 CPUtime=342.01 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 21486 0 0 0 34140 61 0 0 25 0 3 0 989648074 334651392 51576 33554432000 4194304 5714118 140737232227488 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 684.31
Current children cumulated vsize (KiB) 326808
[startup+402.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12432
/proc/meminfo: memFree=7897908/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=326808 CPUtime=804.32 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 54202 0 0 0 80332 100 0 0 25 0 3 0 989648046 334651392 53124 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 81702 53124 180 372 0 81327 0
[pid=12298/tid=12316] ppid=12296 vsize=326808 CPUtime=402.02 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 19882 0 0 0 40172 30 0 0 25 0 3 0 989648074 334651392 53124 33554432000 4194304 5714118 140737232227488 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=326808 CPUtime=402.01 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 23034 0 0 0 40133 68 0 0 25 0 3 0 989648074 334651392 53124 33554432000 4194304 5714118 140737232227488 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.32
Current children cumulated vsize (KiB) 326808
[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12433
/proc/meminfo: memFree=7892656/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=327832 CPUtime=924.32 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 55453 0 0 0 92322 110 0 0 25 0 3 0 989648046 335699968 54375 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 81958 54375 180 372 0 81583 0
[pid=12298/tid=12316] ppid=12296 vsize=327832 CPUtime=462.01 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 19882 0 0 0 46168 33 0 0 25 0 3 0 989648074 335699968 54375 33554432000 4194304 5714118 140737232227488 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=327832 CPUtime=462.01 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 24285 0 0 0 46127 74 0 0 25 0 3 0 989648074 335699968 54375 33554432000 4194304 5714118 140737232227488 18446744073709551615 4200778 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.32
Current children cumulated vsize (KiB) 327832
[startup+522.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12435
/proc/meminfo: memFree=7876864/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=327832 CPUtime=1044.32 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 59331 0 0 0 104309 123 0 0 25 0 3 0 989648046 335699968 58253 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 81958 58253 180 372 0 81583 0
[pid=12298/tid=12316] ppid=12296 vsize=327832 CPUtime=522.02 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 21911 0 0 0 52164 38 0 0 25 0 3 0 989648074 335699968 58253 33554432000 4194304 5714118 140737232227488 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=327832 CPUtime=522.01 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 26134 0 0 0 52118 83 0 0 25 0 3 0 989648074 335699968 58253 33554432000 4194304 5714118 140737232227488 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.32
Current children cumulated vsize (KiB) 327832
Solver just ended. Dumping a history of the last processes samples
[startup+537.501 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 12435
/proc/meminfo: memFree=7864580/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=327832 CPUtime=1074.73 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 59752 0 0 0 107347 126 0 0 25 0 3 0 989648046 335699968 58674 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 81958 58674 180 372 0 81583 0
[pid=12298/tid=12316] ppid=12296 vsize=327832 CPUtime=537.22 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 21911 0 0 0 53683 39 0 0 25 0 3 0 989648074 335699968 58674 33554432000 4194304 5714118 140737232227488 18446744073709551615 4200634 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=327832 CPUtime=537.22 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 26555 0 0 0 53637 85 0 0 25 0 3 0 989648074 335699968 58674 33554432000 4194304 5714118 140737232227488 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1074.73
Current children cumulated vsize (KiB) 327832
[startup+550.301 s]
/proc/loadavg: 4.07 3.99 3.91 5/182 12436
/proc/meminfo: memFree=7863196/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=327832 CPUtime=1100.32 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 60101 0 0 0 109903 129 0 0 25 0 3 0 989648046 335699968 59023 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 81958 59023 180 372 0 81583 0
[pid=12298/tid=12316] ppid=12296 vsize=327832 CPUtime=550.02 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 21911 0 0 0 54962 40 0 0 25 0 3 0 989648074 335699968 59023 33554432000 4194304 5714118 140737232227488 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=327832 CPUtime=550.02 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 26904 0 0 0 54915 87 0 0 25 0 3 0 989648074 335699968 59023 33554432000 4194304 5714118 140737232227488 18446744073709551615 4305224 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1100.32
Current children cumulated vsize (KiB) 327832
[startup+556.701 s]
/proc/loadavg: 4.06 3.99 3.91 5/182 12436
/proc/meminfo: memFree=7862320/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=327832 CPUtime=1113.13 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 60286 0 0 0 111182 131 0 0 25 0 3 0 989648046 335699968 59208 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 81958 59208 180 372 0 81583 0
[pid=12298/tid=12316] ppid=12296 vsize=327832 CPUtime=556.42 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 21911 0 0 0 55601 41 0 0 25 0 3 0 989648074 335699968 59208 33554432000 4194304 5714118 140737232227488 18446744073709551615 4200634 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=327832 CPUtime=556.41 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 27089 0 0 0 55553 88 0 0 25 0 3 0 989648074 335699968 59208 33554432000 4194304 5714118 140737232227488 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1113.13
Current children cumulated vsize (KiB) 327832
[startup+559.906 s]
/proc/loadavg: 4.06 3.99 3.91 5/182 12436
/proc/meminfo: memFree=7861948/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=327832 CPUtime=1119.54 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 60377 0 0 0 111822 132 0 0 25 0 3 0 989648046 335699968 59299 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 81958 59299 180 372 0 81583 0
[pid=12298/tid=12316] ppid=12296 vsize=327832 CPUtime=559.62 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 21911 0 0 0 55921 41 0 0 25 0 3 0 989648074 335699968 59299 33554432000 4194304 5714118 140737232227488 18446744073709551615 4200778 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=327832 CPUtime=559.62 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 27180 0 0 0 55873 89 0 0 25 0 3 0 989648074 335699968 59299 33554432000 4194304 5714118 140737232227488 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1119.54
Current children cumulated vsize (KiB) 327832
[startup+563.101 s]
/proc/loadavg: 4.06 3.99 3.91 5/182 12436
/proc/meminfo: memFree=7861576/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=327832 CPUtime=1125.94 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 60478 0 0 0 112461 133 0 0 25 0 3 0 989648046 335699968 59400 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 81958 59400 180 372 0 81583 0
[pid=12298/tid=12316] ppid=12296 vsize=327832 CPUtime=562.82 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 21911 0 0 0 56241 41 0 0 25 0 3 0 989648074 335699968 59400 33554432000 4194304 5714118 140737232227488 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=327832 CPUtime=562.81 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 27281 0 0 0 56192 89 0 0 25 0 3 0 989648074 335699968 59400 33554432000 4194304 5714118 140737232227488 18446744073709551615 4322999 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1125.94
Current children cumulated vsize (KiB) 327832
[startup+564.7 s]
/proc/loadavg: 4.06 3.99 3.91 5/182 12436
/proc/meminfo: memFree=7861452/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=327832 CPUtime=1129.13 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 60511 0 0 0 112780 133 0 0 25 0 3 0 989648046 335699968 59433 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 81958 59433 180 372 0 81583 0
[pid=12298/tid=12316] ppid=12296 vsize=327832 CPUtime=564.42 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 21911 0 0 0 56401 41 0 0 25 0 3 0 989648074 335699968 59433 33554432000 4194304 5714118 140737232227488 18446744073709551615 4969505 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=327832 CPUtime=564.41 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 27314 0 0 0 56352 89 0 0 25 0 3 0 989648074 335699968 59433 33554432000 4194304 5714118 140737232227488 18446744073709551615 4300160 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1129.13
Current children cumulated vsize (KiB) 327832
[startup+565.1 s]
/proc/loadavg: 4.06 3.99 3.91 5/182 12436
/proc/meminfo: memFree=7861452/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=327832 CPUtime=1129.93 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) S 12296 12298 11319 0 -1 4202496 60511 0 0 0 112860 133 0 0 25 0 3 0 989648046 335699968 59433 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 81958 59433 180 372 0 81583 0
[pid=12298/tid=12316] ppid=12296 vsize=327832 CPUtime=564.82 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 21911 0 0 0 56441 41 0 0 25 0 3 0 989648074 335699968 59433 33554432000 4194304 5714118 140737232227488 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=327832 CPUtime=564.81 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4202560 27314 0 0 0 56392 89 0 0 25 0 3 0 989648074 335699968 59433 33554432000 4194304 5714118 140737232227488 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1129.93
Current children cumulated vsize (KiB) 327832
[startup+565.3 s]
/proc/loadavg: 4.06 3.99 3.91 4/182 12436
/proc/meminfo: memFree=7703476/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=327832 CPUtime=1130.14 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) D 12296 12298 11319 0 -1 4203524 60511 0 0 0 112862 152 0 0 18 0 3 0 989648046 335699968 59433 33554432000 4194304 5714118 140737232227488 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 81958 59433 180 372 0 81583 0
[pid=12298/tid=12316] ppid=12296 vsize=327832 CPUtime=564.83 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) D 12296 12298 11319 0 -1 4203588 21911 0 0 0 56442 41 0 0 25 0 3 0 989648074 335699968 59433 33554432000 4194304 5714118 140737232227488 18446744073709551615 4305224 0 0 4096 16387 18446744071562337734 0 0 -1 0 0 0 0
[pid=12298/tid=12317] ppid=12296 vsize=327832 CPUtime=565.02 cores=0,2,4,6
/proc/12298/task/12317/stat : 12317 (pwbo1.1) R 12296 12298 11319 0 -1 4204096 27314 0 0 0 56393 109 0 0 25 0 3 0 989648074 335699968 59433 33554432000 4194304 5714118 140737232227488 18446744073709551615 47744163556464 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1130.14
Current children cumulated vsize (KiB) 327832
[startup+565.407 s]
/proc/loadavg: 4.06 3.99 3.91 4/182 12436
/proc/meminfo: memFree=7703476/32950940 swapFree=67053420/67111528
[pid=12298] ppid=12296 vsize=0 CPUtime=1130.24 cores=0,2,4,6
/proc/12298/stat : 12298 (pwbo1.1) Z 12296 12298 11319 0 -1 4203548 60511 0 0 0 112862 162 0 0 18 0 2 0 989648046 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/12298/statm: 0 0 0 0 0 0 0
[pid=12298/tid=12316] ppid=12296 vsize=0 CPUtime=564.84 cores=0,2,4,6
/proc/12298/task/12316/stat : 12316 (pwbo1.1) R 12296 12298 11319 0 -1 4203588 21911 0 0 0 56442 42 0 0 23 0 2 0 989648074 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1130.24
Current children cumulated vsize (KiB) 0
Child ended because it received signal 11 (SIGSEGV)
Child dumped core
Real time (s): 565.416
CPU time (s): 1130.26
CPU user time (s): 1128.62
CPU system time (s): 1.63675
CPU usage (%): 199.898
Max. virtual memory (cumulated for all children) (KiB): 327832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1128.62
system time used= 1.63675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60511
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= 17
involuntary context switches= 1477
runsolver used 0.813876 second user time and 1.78573 second system time
The end