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-3500360-1307994189/watcher-3500360-1307994189 -o /var/tmp/evaluation-result-3500360-1307994189/solver-3500360-1307994189 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500360-1307994189.opb
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: 4.02 4.00 3.85 4/179 18557
/proc/meminfo: memFree=24441620/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=8660 CPUtime=0 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) R 18555 18557 17705 0 -1 4202496 420 0 0 0 0 0 0 0 25 0 1 0 989649635 8867840 373 33554432000 4194304 5714118 140736692241264 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18557/statm: 2165 373 166 372 0 250 0
[startup+0.091997 s]
/proc/loadavg: 4.02 4.00 3.85 4/179 18557
/proc/meminfo: memFree=24441620/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=22616 CPUtime=0.08 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) R 18555 18557 17705 0 -1 4202496 4133 0 0 0 8 0 0 0 25 0 1 0 989649635 23158784 4086 33554432000 4194304 5714118 140736692241264 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18557/statm: 5654 4087 427 372 0 3739 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22616
[startup+0.100987 s]
/proc/loadavg: 4.02 4.00 3.85 4/179 18557
/proc/meminfo: memFree=24441620/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=23804 CPUtime=0.09 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) R 18555 18557 17705 0 -1 4202496 4465 0 0 0 9 0 0 0 25 0 1 0 989649635 24375296 4418 33554432000 4194304 5714118 140736692241264 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18557/statm: 5951 4420 455 372 0 4036 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23804
[startup+0.300959 s]
/proc/loadavg: 4.02 4.00 3.85 4/179 18557
/proc/meminfo: memFree=24441620/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=55132 CPUtime=0.29 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) R 18555 18557 17705 0 -1 4202496 12781 0 0 0 28 1 0 0 25 0 1 0 989649635 56455168 12734 33554432000 4194304 5714118 140736692241264 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/18557/statm: 13783 12736 1044 372 0 11868 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55132
[startup+0.700818 s]
/proc/loadavg: 4.02 4.00 3.85 4/179 18557
/proc/meminfo: memFree=24441620/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=217836 CPUtime=0.88 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 33013 0 0 0 82 6 0 0 18 0 3 0 989649635 223064064 31424 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 54459 31424 177 372 0 54084 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 217836
[startup+1.50072 s]
/proc/loadavg: 4.02 4.00 3.85 5/182 18560
/proc/meminfo: memFree=24277320/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=281228 CPUtime=2.47 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 44752 0 0 0 239 8 0 0 18 0 3 0 989649635 287977472 42733 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 70307 42733 178 372 0 69932 0
[pid=18557/tid=18559] ppid=18555 vsize=281228 CPUtime=0.98 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 22160 0 0 0 93 5 0 0 19 0 3 0 989649687 287977472 42733 33554432000 4194304 5714118 140736692241264 18446744073709551615 4956246 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=281228 CPUtime=0.97 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 652 0 0 0 97 0 0 0 21 0 3 0 989649687 287977472 42733 33554432000 4194304 5714118 140736692241264 18446744073709551615 4200634 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 281228
[startup+3.10042 s]
/proc/loadavg: 4.02 4.00 3.85 5/182 18560
/proc/meminfo: memFree=24263252/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=281228 CPUtime=5.68 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 48147 0 0 0 558 10 0 0 18 0 3 0 989649635 287977472 46128 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 70307 46128 179 372 0 69932 0
[pid=18557/tid=18559] ppid=18555 vsize=281228 CPUtime=2.58 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 25536 0 0 0 252 6 0 0 22 0 3 0 989649687 287977472 46128 33554432000 4194304 5714118 140736692241264 18446744073709551615 4200634 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=281228 CPUtime=2.57 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 671 0 0 0 257 0 0 0 25 0 3 0 989649687 287977472 46128 33554432000 4194304 5714118 140736692241264 18446744073709551615 4322999 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.68
Current children cumulated vsize (KiB) 281228
[startup+6.30082 s]
/proc/loadavg: 4.02 4.00 3.85 5/182 18561
/proc/meminfo: memFree=24250852/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=281228 CPUtime=12.07 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 49871 0 0 0 1197 10 0 0 18 0 3 0 989649635 287977472 47852 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 70307 47852 179 372 0 69932 0
[pid=18557/tid=18559] ppid=18555 vsize=281228 CPUtime=5.78 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 27226 0 0 0 571 7 0 0 25 0 3 0 989649687 287977472 47852 33554432000 4194304 5714118 140736692241264 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=281228 CPUtime=5.77 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 705 0 0 0 577 0 0 0 25 0 3 0 989649687 287977472 47852 33554432000 4194304 5714118 140736692241264 18446744073709551615 4322728 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.07
Current children cumulated vsize (KiB) 281228
[startup+12.7006 s]
/proc/loadavg: 4.02 4.00 3.85 5/182 18561
/proc/meminfo: memFree=24238740/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=281228 CPUtime=24.87 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 51605 0 0 0 2476 11 0 0 18 0 3 0 989649635 287977472 49586 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 70307 49586 179 372 0 69932 0
[pid=18557/tid=18559] ppid=18555 vsize=281228 CPUtime=12.17 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 28894 0 0 0 1210 7 0 0 25 0 3 0 989649687 287977472 49586 33554432000 4194304 5714118 140736692241264 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=281228 CPUtime=12.17 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 771 0 0 0 1217 0 0 0 25 0 3 0 989649687 287977472 49586 33554432000 4194304 5714118 140736692241264 18446744073709551615 4200634 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.87
Current children cumulated vsize (KiB) 281228
[startup+25.5012 s]
/proc/loadavg: 4.01 4.00 3.85 5/182 18561
/proc/meminfo: memFree=24231396/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=281228 CPUtime=50.48 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 52749 0 0 0 5034 14 0 0 18 0 3 0 989649635 287977472 50730 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 70307 50730 179 372 0 69932 0
[pid=18557/tid=18559] ppid=18555 vsize=281228 CPUtime=24.98 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 29855 0 0 0 2489 9 0 0 25 0 3 0 989649687 287977472 50730 33554432000 4194304 5714118 140736692241264 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=281228 CPUtime=24.97 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 954 0 0 0 2496 1 0 0 25 0 3 0 989649687 287977472 50730 33554432000 4194304 5714118 140736692241264 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.48
Current children cumulated vsize (KiB) 281228
[startup+51.1004 s]
/proc/loadavg: 4.01 4.00 3.85 5/182 18562
/proc/meminfo: memFree=24222528/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=281228 CPUtime=101.68 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 54287 0 0 0 10150 18 0 0 18 0 3 0 989649635 287977472 52268 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 70307 52268 179 372 0 69932 0
[pid=18557/tid=18559] ppid=18555 vsize=281228 CPUtime=50.58 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 30848 0 0 0 5048 10 0 0 25 0 3 0 989649687 287977472 52268 33554432000 4194304 5714118 140736692241264 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=281228 CPUtime=50.58 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 1499 0 0 0 5053 5 0 0 25 0 3 0 989649687 287977472 52268 33554432000 4194304 5714118 140736692241264 18446744073709551615 4323002 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 281228
[startup+102.307 s]
/proc/loadavg: 4.05 4.01 3.86 5/182 18563
/proc/meminfo: memFree=24202472/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=281228 CPUtime=204.09 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 56782 0 0 0 20383 26 0 0 18 0 3 0 989649635 287977472 54763 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 70307 54763 179 372 0 69932 0
[pid=18557/tid=18559] ppid=18555 vsize=281228 CPUtime=101.78 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 32703 0 0 0 10165 13 0 0 25 0 3 0 989649687 287977472 54763 33554432000 4194304 5714118 140736692241264 18446744073709551615 4956266 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=281228 CPUtime=101.78 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 2139 0 0 0 10169 9 0 0 25 0 3 0 989649687 287977472 54763 33554432000 4194304 5714118 140736692241264 18446744073709551615 4322689 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 281228
[startup+162.3 s]
/proc/loadavg: 4.02 4.00 3.87 5/182 18565
/proc/meminfo: memFree=24189292/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=346764 CPUtime=324.07 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 58505 0 0 0 32372 35 0 0 18 0 3 0 989649635 355086336 56486 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 86691 56486 180 372 0 86316 0
[pid=18557/tid=18559] ppid=18555 vsize=346764 CPUtime=161.77 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 34113 0 0 0 16159 18 0 0 25 0 3 0 989649687 355086336 56486 33554432000 4194304 5714118 140736692241264 18446744073709551615 4200778 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=346764 CPUtime=161.78 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 2452 0 0 0 16164 14 0 0 25 0 3 0 989649687 355086336 56486 33554432000 4194304 5714118 140736692241264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.07
Current children cumulated vsize (KiB) 346764
[startup+222.301 s]
/proc/loadavg: 4.00 4.00 3.87 5/182 18566
/proc/meminfo: memFree=24178184/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=346764 CPUtime=444.08 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 59394 0 0 0 44365 43 0 0 18 0 3 0 989649635 355086336 57375 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 86691 57375 180 372 0 86316 0
[pid=18557/tid=18559] ppid=18555 vsize=346764 CPUtime=221.78 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 34774 0 0 0 22156 22 0 0 25 0 3 0 989649687 355086336 57375 33554432000 4194304 5714118 140736692241264 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=346764 CPUtime=221.78 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 2680 0 0 0 22160 18 0 0 25 0 3 0 989649687 355086336 57375 33554432000 4194304 5714118 140736692241264 18446744073709551615 4200628 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.08
Current children cumulated vsize (KiB) 346764
[startup+282.301 s]
/proc/loadavg: 4.00 4.00 3.88 5/182 18568
/proc/meminfo: memFree=24166608/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=346764 CPUtime=564.09 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 60413 0 0 0 56357 52 0 0 18 0 3 0 989649635 355086336 58394 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 86691 58394 180 372 0 86316 0
[pid=18557/tid=18559] ppid=18555 vsize=346764 CPUtime=281.78 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 35711 0 0 0 28153 25 0 0 25 0 3 0 989649687 355086336 58394 33554432000 4194304 5714118 140736692241264 18446744073709551615 4322968 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=346764 CPUtime=281.78 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 2762 0 0 0 28155 23 0 0 25 0 3 0 989649687 355086336 58394 33554432000 4194304 5714118 140736692241264 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.09
Current children cumulated vsize (KiB) 346764
[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.89 5/182 18570
/proc/meminfo: memFree=24159504/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=346764 CPUtime=684.09 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 60706 0 0 0 68350 59 0 0 18 0 3 0 989649635 355086336 58687 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 86691 58687 180 372 0 86316 0
[pid=18557/tid=18559] ppid=18555 vsize=346764 CPUtime=341.78 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 35711 0 0 0 34150 28 0 0 25 0 3 0 989649687 355086336 58687 33554432000 4194304 5714118 140736692241264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=346764 CPUtime=341.79 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 3055 0 0 0 34151 28 0 0 25 0 3 0 989649687 355086336 58687 33554432000 4194304 5714118 140736692241264 18446744073709551615 4200778 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.09
Current children cumulated vsize (KiB) 346764
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.89 5/182 18571
/proc/meminfo: memFree=24150392/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=346764 CPUtime=804.1 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 61337 0 0 0 80342 68 0 0 18 0 3 0 989649635 355086336 59318 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 86691 59318 180 372 0 86316 0
[pid=18557/tid=18559] ppid=18555 vsize=346764 CPUtime=401.78 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 35713 0 0 0 40146 32 0 0 25 0 3 0 989649687 355086336 59318 33554432000 4194304 5714118 140736692241264 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=346764 CPUtime=401.79 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 3684 0 0 0 40147 32 0 0 25 0 3 0 989649687 355086336 59318 33554432000 4194304 5714118 140736692241264 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.1
Current children cumulated vsize (KiB) 346764
[startup+462.301 s]
/proc/loadavg: 4.00 4.00 3.90 5/182 18573
/proc/meminfo: memFree=24136316/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=346764 CPUtime=924.1 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 61563 0 0 0 92334 76 0 0 18 0 3 0 989649635 355086336 59544 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 86691 59544 180 372 0 86316 0
[pid=18557/tid=18559] ppid=18555 vsize=346764 CPUtime=461.79 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 35713 0 0 0 46142 37 0 0 25 0 3 0 989649687 355086336 59544 33554432000 4194304 5714118 140736692241264 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=346764 CPUtime=461.79 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 3910 0 0 0 46143 36 0 0 25 0 3 0 989649687 355086336 59544 33554432000 4194304 5714118 140736692241264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.1
Current children cumulated vsize (KiB) 346764
[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.90 5/182 18574
/proc/meminfo: memFree=24121248/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=346764 CPUtime=1044.1 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 61916 0 0 0 104327 83 0 0 18 0 3 0 989649635 355086336 59897 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 86691 59897 180 372 0 86316 0
[pid=18557/tid=18559] ppid=18555 vsize=346764 CPUtime=521.79 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 35713 0 0 0 52139 40 0 0 25 0 3 0 989649687 355086336 59897 33554432000 4194304 5714118 140736692241264 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=346764 CPUtime=521.79 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 4263 0 0 0 52139 40 0 0 25 0 3 0 989649687 355086336 59897 33554432000 4194304 5714118 140736692241264 18446744073709551615 4200634 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.1
Current children cumulated vsize (KiB) 346764
[startup+582.301 s]
/proc/loadavg: 4.07 4.02 3.91 5/182 18576
/proc/meminfo: memFree=24113116/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=346764 CPUtime=1164.11 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 61916 0 0 0 116318 93 0 0 18 0 3 0 989649635 355086336 59897 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 86691 59897 180 372 0 86316 0
[pid=18557/tid=18559] ppid=18555 vsize=346764 CPUtime=581.79 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 35713 0 0 0 58135 44 0 0 25 0 3 0 989649687 355086336 59897 33554432000 4194304 5714118 140736692241264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=346764 CPUtime=581.79 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 4263 0 0 0 58134 45 0 0 25 0 3 0 989649687 355086336 59897 33554432000 4194304 5714118 140736692241264 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.11
Current children cumulated vsize (KiB) 346764
[startup+642.3 s]
/proc/loadavg: 4.02 4.01 3.91 5/182 18578
/proc/meminfo: memFree=24107224/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=346764 CPUtime=1284.12 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 61917 0 0 0 128311 101 0 0 18 0 3 0 989649635 355086336 59898 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 86691 59898 180 372 0 86316 0
[pid=18557/tid=18559] ppid=18555 vsize=346764 CPUtime=641.79 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 35713 0 0 0 64131 48 0 0 25 0 3 0 989649687 355086336 59898 33554432000 4194304 5714118 140736692241264 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=346764 CPUtime=641.8 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 4264 0 0 0 64131 49 0 0 25 0 3 0 989649687 355086336 59898 33554432000 4194304 5714118 140736692241264 18446744073709551615 4323002 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.12
Current children cumulated vsize (KiB) 346764
[startup+702.301 s]
/proc/loadavg: 4.01 4.00 3.91 5/182 18579
/proc/meminfo: memFree=24085460/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=346764 CPUtime=1404.12 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 66048 0 0 0 140301 111 0 0 18 0 3 0 989649635 355086336 64029 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 86691 64029 180 372 0 86316 0
[pid=18557/tid=18559] ppid=18555 vsize=346764 CPUtime=701.8 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 39844 0 0 0 70127 53 0 0 25 0 3 0 989649687 355086336 64029 33554432000 4194304 5714118 140736692241264 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=346764 CPUtime=701.8 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 4264 0 0 0 70125 55 0 0 25 0 3 0 989649687 355086336 64029 33554432000 4194304 5714118 140736692241264 18446744073709551615 4305224 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.12
Current children cumulated vsize (KiB) 346764
[startup+762.307 s]
/proc/loadavg: 4.03 4.01 3.92 5/182 18581
/proc/meminfo: memFree=24079932/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=346764 CPUtime=1524.13 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 66048 0 0 0 152293 120 0 0 18 0 3 0 989649635 355086336 64029 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 86691 64029 180 372 0 86316 0
[pid=18557/tid=18559] ppid=18555 vsize=346764 CPUtime=761.8 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 39844 0 0 0 76122 58 0 0 25 0 3 0 989649687 355086336 64029 33554432000 4194304 5714118 140736692241264 18446744073709551615 4305218 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=346764 CPUtime=761.81 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 4264 0 0 0 76122 59 0 0 25 0 3 0 989649687 355086336 64029 33554432000 4194304 5714118 140736692241264 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.13
Current children cumulated vsize (KiB) 346764
[startup+822.3 s]
/proc/loadavg: 4.01 4.01 3.92 5/182 18582
/proc/meminfo: memFree=24064740/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=347248 CPUtime=1644.12 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 66341 0 0 0 164284 128 0 0 18 0 3 0 989649635 355581952 64322 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 86812 64322 180 372 0 86437 0
[pid=18557/tid=18559] ppid=18555 vsize=347248 CPUtime=821.8 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 39844 0 0 0 82118 62 0 0 25 0 3 0 989649687 355581952 64322 33554432000 4194304 5714118 140736692241264 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=347248 CPUtime=821.8 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 4557 0 0 0 82118 62 0 0 25 0 3 0 989649687 355581952 64322 33554432000 4194304 5714118 140736692241264 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.12
Current children cumulated vsize (KiB) 347248
[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 18584
/proc/meminfo: memFree=24058480/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=347248 CPUtime=1764.13 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 66342 0 0 0 176278 135 0 0 18 0 3 0 989649635 355581952 64323 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 86812 64323 180 372 0 86437 0
[pid=18557/tid=18559] ppid=18555 vsize=347248 CPUtime=881.81 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 39844 0 0 0 88114 67 0 0 25 0 3 0 989649687 355581952 64323 33554432000 4194304 5714118 140736692241264 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=347248 CPUtime=881.8 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 4558 0 0 0 88115 65 0 0 25 0 3 0 989649687 355581952 64323 33554432000 4194304 5714118 140736692241264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.13
Current children cumulated vsize (KiB) 347248
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.301 s]
/proc/loadavg: 3.85 3.97 3.91 5/182 18625
/proc/meminfo: memFree=24235188/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=347248 CPUtime=1800.14 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 66342 0 0 0 179877 137 0 0 18 0 3 0 989649635 355581952 64323 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 86812 64323 180 372 0 86437 0
[pid=18557/tid=18559] ppid=18555 vsize=347248 CPUtime=899.8 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 39844 0 0 0 89913 67 0 0 25 0 3 0 989649687 355581952 64323 33554432000 4194304 5714118 140736692241264 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=347248 CPUtime=899.81 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 4558 0 0 0 89915 66 0 0 25 0 3 0 989649687 355581952 64323 33554432000 4194304 5714118 140736692241264 18446744073709551615 4323028 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 347248
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.301 s]
/proc/loadavg: 3.85 3.97 3.91 5/182 18625
/proc/meminfo: memFree=24235188/32950928 swapFree=67054844/67111528
[pid=18557] ppid=18555 vsize=347248 CPUtime=1800.14 cores=1,3,5,7
/proc/18557/stat : 18557 (pwbo1.1) S 18555 18557 17705 0 -1 4202496 66342 0 0 0 179877 137 0 0 18 0 3 0 989649635 355581952 64323 33554432000 4194304 5714118 140736692241264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18557/statm: 86812 64323 180 372 0 86437 0
[pid=18557/tid=18559] ppid=18555 vsize=347248 CPUtime=899.8 cores=1,3,5,7
/proc/18557/task/18559/stat : 18559 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 39844 0 0 0 89913 67 0 0 25 0 3 0 989649687 355581952 64323 33554432000 4194304 5714118 140736692241264 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18557/tid=18560] ppid=18555 vsize=347248 CPUtime=899.81 cores=1,3,5,7
/proc/18557/task/18560/stat : 18560 (pwbo1.1) R 18555 18557 17705 0 -1 4202560 4558 0 0 0 89915 66 0 0 25 0 3 0 989649687 355581952 64323 33554432000 4194304 5714118 140736692241264 18446744073709551615 4323028 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 347248
Child status: 0
Real time (s): 900.325
CPU time (s): 1800.17
CPU user time (s): 1798.79
CPU system time (s): 1.38479
CPU usage (%): 199.947
Max. virtual memory (cumulated for all children) (KiB): 347248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.38479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66346
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= 225
involuntary context switches= 4754
runsolver used 1.62575 second user time and 3.2925 second system time
The end