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-3704347-1338097950/watcher-3704347-1338097950 -o /tmp/evaluation-result-3704347-1338097950/solver-3704347-1338097950 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704347-1338097950.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: 1.95 2.01 1.99 3/177 10673
/proc/meminfo: memFree=30939132/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=40416 CPUtime=0 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) R 10671 10673 9022 0 -1 4202496 320 0 0 0 0 0 0 0 20 0 1 0 275923687 41385984 273 33554432000 4194304 5965102 140733657671600 140737406690360 5179915 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 10104 273 173 433 0 350 0
[startup+0.084086 s]
/proc/loadavg: 1.95 2.01 1.99 3/177 10673
/proc/meminfo: memFree=30939132/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=44024 CPUtime=0.07 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) R 10671 10673 9022 0 -1 4202496 1476 0 0 0 7 0 0 0 20 0 1 0 275923687 45080576 1429 33554432000 4194304 5965102 140733657671600 140737406690360 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 11006 1430 462 433 0 1252 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 44024
[startup+0.100299 s]
/proc/loadavg: 1.95 2.01 1.99 3/177 10673
/proc/meminfo: memFree=30939132/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=44864 CPUtime=0.09 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) R 10671 10673 9022 0 -1 4202496 1752 0 0 0 9 0 0 0 20 0 1 0 275923687 45940736 1672 33554432000 4194304 5965102 140733657671600 140737406690360 4350875 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 11216 1672 523 433 0 1462 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44864
[startup+0.300271 s]
/proc/loadavg: 1.95 2.01 1.99 3/177 10673
/proc/meminfo: memFree=30939132/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=53608 CPUtime=0.29 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) R 10671 10673 9022 0 -1 4202496 4701 0 0 0 29 0 0 0 20 0 1 0 275923687 54894592 4556 33554432000 4194304 5965102 140733657671600 140737406690360 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 13402 4556 1266 433 0 3648 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53608
[startup+0.70027 s]
/proc/loadavg: 1.95 2.01 1.99 3/177 10673
/proc/meminfo: memFree=30939132/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=70596 CPUtime=0.69 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) R 10671 10673 9022 0 -1 4202496 10513 0 0 0 68 1 0 0 20 0 1 0 275923687 72290304 10239 33554432000 4194304 5965102 140733657671600 140737406690360 4351027 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 17649 10240 2760 433 0 7895 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 70596
[startup+1.50028 s]
/proc/loadavg: 1.95 2.01 1.99 3/178 10674
/proc/meminfo: memFree=30895708/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=106520 CPUtime=1.49 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) R 10671 10673 9022 0 -1 4202496 22046 0 0 0 147 2 0 0 20 0 1 0 275923687 109076480 21513 33554432000 4194304 5965102 140733657671600 140733657669544 4351027 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 26630 21514 5838 433 0 16876 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106520
[startup+3.10019 s]
/proc/loadavg: 1.95 2.01 1.99 3/178 10674
/proc/meminfo: memFree=30851252/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=187620 CPUtime=3.09 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 45575 0 0 0 303 6 0 0 20 0 2 0 275923687 192122880 36233 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 46905 36233 178 433 0 46469 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 187620
[startup+6.30035 s]
/proc/loadavg: 1.95 2.01 1.99 3/179 10675
/proc/meminfo: memFree=30730528/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=250424 CPUtime=6.29 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 62418 0 0 0 620 9 0 0 20 0 2 0 275923687 256434176 51405 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 62606 51405 191 433 0 62170 0
[pid=10673/tid=10675] ppid=10671 vsize=250424 CPUtime=3.79 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 26822 0 0 0 374 5 0 0 20 0 2 0 275923936 256434176 51405 33554432000 4194304 5965102 140733657671600 139821374760760 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 250424
[startup+12.7004 s]
/proc/loadavg: 1.95 2.01 1.99 3/179 10675
/proc/meminfo: memFree=30723592/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=250424 CPUtime=12.68 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 62943 0 0 0 1259 9 0 0 20 0 2 0 275923687 256434176 51930 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 62606 51930 191 433 0 62170 0
[pid=10673/tid=10675] ppid=10671 vsize=250424 CPUtime=10.2 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 27347 0 0 0 1014 6 0 0 20 0 2 0 275923936 256434176 51930 33554432000 4194304 5965102 140733657671600 139821374760760 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 250424
[startup+25.5004 s]
/proc/loadavg: 1.96 2.01 1.99 3/179 10675
/proc/meminfo: memFree=30720680/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=250424 CPUtime=25.48 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 63363 0 0 0 2539 9 0 0 20 0 2 0 275923687 256434176 52350 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 62606 52350 191 433 0 62170 0
[pid=10673/tid=10675] ppid=10671 vsize=250424 CPUtime=22.99 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 27767 0 0 0 2293 6 0 0 20 0 2 0 275923936 256434176 52350 33554432000 4194304 5965102 140733657671600 139821374760760 4374495 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 250424
[startup+51.1004 s]
/proc/loadavg: 1.98 2.01 1.99 3/179 10675
/proc/meminfo: memFree=30717284/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=250424 CPUtime=51.08 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 63915 0 0 0 5097 11 0 0 20 0 2 0 275923687 256434176 52902 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 62606 52902 191 433 0 62170 0
[pid=10673/tid=10675] ppid=10671 vsize=250424 CPUtime=48.59 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 28319 0 0 0 4852 7 0 0 20 0 2 0 275923936 256434176 52902 33554432000 4194304 5965102 140733657671600 139821374760760 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 250424
[startup+102.307 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 10676
/proc/meminfo: memFree=30690308/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=315960 CPUtime=102.28 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 70514 0 0 0 10212 16 0 0 20 0 2 0 275923687 323543040 59501 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 78990 59501 191 433 0 78554 0
[pid=10673/tid=10675] ppid=10671 vsize=315960 CPUtime=99.8 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 34918 0 0 0 9966 14 0 0 20 0 2 0 275923936 323543040 59501 33554432000 4194304 5965102 140733657671600 139821374760760 4404767 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 315960
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 10676
/proc/meminfo: memFree=30621116/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=315960 CPUtime=162.26 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 81180 0 0 0 16204 22 0 0 20 0 2 0 275923687 323543040 70167 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 78990 70167 191 433 0 78554 0
[pid=10673/tid=10675] ppid=10671 vsize=315960 CPUtime=159.79 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 45584 0 0 0 15958 21 0 0 20 0 2 0 275923936 323543040 70167 33554432000 4194304 5965102 140733657671600 139821374760760 4404416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 315960
[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 10715
/proc/meminfo: memFree=30615788/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=381496 CPUtime=222.25 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 91337 0 0 0 22197 28 0 0 20 0 2 0 275923687 390651904 80835 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 95374 80835 191 433 0 94938 0
[pid=10673/tid=10675] ppid=10671 vsize=381496 CPUtime=219.79 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 55741 0 0 0 21951 28 0 0 20 0 2 0 275923936 390651904 80835 33554432000 4194304 5965102 140733657671600 139821374760952 4222330 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 381496
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 10715
/proc/meminfo: memFree=30540300/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=447032 CPUtime=282.23 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 101913 0 0 0 28188 35 0 0 20 0 2 0 275923687 457760768 92700 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 111758 92700 191 433 0 111322 0
[pid=10673/tid=10675] ppid=10671 vsize=447032 CPUtime=279.77 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 66317 0 0 0 27941 36 0 0 20 0 2 0 275923936 457760768 92700 33554432000 4194304 5965102 140733657671600 139821374760888 4401568 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 447032
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10715
/proc/meminfo: memFree=30472940/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=447032 CPUtime=342.2 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 110074 0 0 0 34178 42 0 0 20 0 2 0 275923687 457760768 101349 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 111758 101349 191 433 0 111322 0
[pid=10673/tid=10675] ppid=10671 vsize=447032 CPUtime=339.74 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 74478 0 0 0 33931 43 0 0 20 0 2 0 275923936 457760768 101349 33554432000 4194304 5965102 140733657671600 139821374761000 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 447032
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10715
/proc/meminfo: memFree=30415192/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=512568 CPUtime=402.15 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 116892 0 0 0 40166 49 0 0 20 0 2 0 275923687 524869632 108205 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 128142 108205 191 433 0 127706 0
[pid=10673/tid=10675] ppid=10671 vsize=512568 CPUtime=399.7 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 81296 0 0 0 39918 52 0 0 20 0 2 0 275923936 524869632 108205 33554432000 4194304 5965102 140733657671600 139821374760952 4404410 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 512568
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 10719
/proc/meminfo: memFree=30361032/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=512568 CPUtime=462.13 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 122919 0 0 0 46158 55 0 0 20 0 2 0 275923687 524869632 115387 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 128142 115387 191 433 0 127706 0
[pid=10673/tid=10675] ppid=10671 vsize=512568 CPUtime=459.68 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 87323 0 0 0 45911 57 0 0 20 0 2 0 275923936 524869632 115387 33554432000 4194304 5965102 140733657671600 139821374761000 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 135061 0 0 0 129831 130 0 0 20 0 2 0 275923936 726196224 165287 33554432000 4194304 5965102 140733657671600 139821374761000 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 709176
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10749
/proc/meminfo: memFree=29861116/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=709176 CPUtime=1361.93 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 173370 0 0 0 136076 117 0 0 20 0 2 0 275923687 726196224 168000 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 177294 168000 191 433 0 176858 0
[pid=10673/tid=10675] ppid=10671 vsize=709176 CPUtime=1359.6 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 137774 0 0 0 135826 134 0 0 20 0 2 0 275923936 726196224 168000 33554432000 4194304 5965102 140733657671600 139821374760952 4401064 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 709176
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10749
/proc/meminfo: memFree=29835820/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=709176 CPUtime=1421.93 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 176513 0 0 0 142073 120 0 0 20 0 2 0 275923687 726196224 171143 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 177294 171143 191 433 0 176858 0
[pid=10673/tid=10675] ppid=10671 vsize=709176 CPUtime=1419.61 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 140917 0 0 0 141823 138 0 0 20 0 2 0 275923936 726196224 171143 33554432000 4194304 5965102 140733657671600 139821374760968 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 709176
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10749
/proc/meminfo: memFree=29814616/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=774712 CPUtime=1481.91 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 178748 0 0 0 148069 122 0 0 20 0 2 0 275923687 793305088 173378 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 193678 173378 191 433 0 193242 0
[pid=10673/tid=10675] ppid=10671 vsize=774712 CPUtime=1479.6 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 143152 0 0 0 147819 141 0 0 20 0 2 0 275923936 793305088 173378 33554432000 4194304 5965102 140733657671600 139821374761000 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 774712
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10749
/proc/meminfo: memFree=29789816/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=774712 CPUtime=1541.9 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 181495 0 0 0 154066 124 0 0 20 0 2 0 275923687 793305088 176125 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 193678 176125 191 433 0 193242 0
[pid=10673/tid=10675] ppid=10671 vsize=774712 CPUtime=1539.6 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 145899 0 0 0 153816 144 0 0 20 0 2 0 275923936 793305088 176125 33554432000 4194304 5965102 140733657671600 139821374760760 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 774712
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10749
/proc/meminfo: memFree=29766008/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=774712 CPUtime=1601.9 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 183513 0 0 0 160063 127 0 0 20 0 2 0 275923687 793305088 178143 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 193678 178143 191 433 0 193242 0
[pid=10673/tid=10675] ppid=10671 vsize=774712 CPUtime=1599.6 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 147917 0 0 0 159812 148 0 0 20 0 2 0 275923936 793305088 178143 33554432000 4194304 5965102 140733657671600 139821374761000 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 774712
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 10753
/proc/meminfo: memFree=29738652/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=774712 CPUtime=1661.86 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 185336 0 0 0 166057 129 0 0 20 0 2 0 275923687 793305088 180314 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 193678 180314 191 433 0 193242 0
[pid=10673/tid=10675] ppid=10671 vsize=774712 CPUtime=1659.57 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 149740 0 0 0 165806 151 0 0 20 0 2 0 275923936 793305088 180314 33554432000 4194304 5965102 140733657671600 139821374760952 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 774712
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 10753
/proc/meminfo: memFree=29718996/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=774712 CPUtime=1721.83 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 187263 0 0 0 172050 133 0 0 20 0 2 0 275923687 793305088 182839 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 193678 182839 191 433 0 193242 0
[pid=10673/tid=10675] ppid=10671 vsize=774712 CPUtime=1719.54 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 151667 0 0 0 171799 155 0 0 20 0 2 0 275923936 793305088 182839 33554432000 4194304 5965102 140733657671600 139821374760952 4394008 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 774712
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 10753
/proc/meminfo: memFree=29701632/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=774712 CPUtime=1781.81 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 189384 0 0 0 178046 135 0 0 20 0 2 0 275923687 793305088 184968 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 193678 184968 191 433 0 193242 0
[pid=10673/tid=10675] ppid=10671 vsize=774712 CPUtime=1779.54 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 153788 0 0 0 177795 159 0 0 20 0 2 0 275923936 793305088 184968 33554432000 4194304 5965102 140733657671600 139821374760952 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 774712
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 10753
/proc/meminfo: memFree=29689532/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=787016 CPUtime=1791.41 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 189487 0 0 0 179006 135 0 0 20 0 2 0 275923687 805904384 187626 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 196754 187626 191 433 0 196318 0
[pid=10673/tid=10675] ppid=10671 vsize=787016 CPUtime=1789.15 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 153891 0 0 0 178756 159 0 0 20 0 2 0 275923936 805904384 187626 33554432000 4194304 5965102 140733657671600 139821374760888 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 787016
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 10753
/proc/meminfo: memFree=29688168/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=787016 CPUtime=1794.61 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 189489 0 0 0 179326 135 0 0 20 0 2 0 275923687 805904384 187628 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 196754 187628 191 433 0 196318 0
[pid=10673/tid=10675] ppid=10671 vsize=787016 CPUtime=1792.35 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 153893 0 0 0 179076 159 0 0 20 0 2 0 275923936 805904384 187628 33554432000 4194304 5965102 140733657671600 139821374760888 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 787016
[startup+1798.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 10753
/proc/meminfo: memFree=29688044/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=787016 CPUtime=1797.81 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 189493 0 0 0 179646 135 0 0 20 0 2 0 275923687 805904384 187632 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 196754 187632 191 433 0 196318 0
[pid=10673/tid=10675] ppid=10671 vsize=787016 CPUtime=1795.54 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 153897 0 0 0 179395 159 0 0 20 0 2 0 275923936 805904384 187632 33554432000 4194304 5965102 140733657671600 139821374760888 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 787016
[startup+1799.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 10753
/proc/meminfo: memFree=29687796/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=787016 CPUtime=1798.61 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 189493 0 0 0 179726 135 0 0 20 0 2 0 275923687 805904384 187632 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 196754 187632 191 433 0 196318 0
[pid=10673/tid=10675] ppid=10671 vsize=787016 CPUtime=1796.34 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 153897 0 0 0 179475 159 0 0 20 0 2 0 275923936 805904384 187632 33554432000 4194304 5965102 140733657671600 139821374760888 4401109 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 787016
[startup+1799.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 10753
/proc/meminfo: memFree=29687548/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=787016 CPUtime=1799.01 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 189496 0 0 0 179766 135 0 0 20 0 2 0 275923687 805904384 187635 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 196754 187635 191 433 0 196318 0
[pid=10673/tid=10675] ppid=10671 vsize=787016 CPUtime=1796.75 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 153900 0 0 0 179516 159 0 0 20 0 2 0 275923936 805904384 187635 33554432000 4194304 5965102 140733657671600 139821374760888 4404416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 787016
[startup+1799.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 10753
/proc/meminfo: memFree=29687548/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=787016 CPUtime=1799.41 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 189498 0 0 0 179806 135 0 0 20 0 2 0 275923687 805904384 187637 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 196754 187637 191 433 0 196318 0
[pid=10673/tid=10675] ppid=10671 vsize=787016 CPUtime=1797.14 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 153902 0 0 0 179555 159 0 0 20 0 2 0 275923936 805904384 187637 33554432000 4194304 5965102 140733657671600 139821374760888 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 787016
[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 10753
/proc/meminfo: memFree=29687548/32873844 swapFree=7108/7108
[pid=10673] ppid=10671 vsize=787016 CPUtime=1799.51 cores=1,3,5,7
/proc/10673/stat : 10673 (pwbo2.0) S 10671 10673 9022 0 -1 4202496 189498 0 0 0 179816 135 0 0 20 0 2 0 275923687 805904384 187637 33554432000 4194304 5965102 140733657671600 140733657671120 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10673/statm: 196754 187637 191 433 0 196318 0
[pid=10673/tid=10675] ppid=10671 vsize=787016 CPUtime=1797.24 cores=1,3,5,7
/proc/10673/task/10675/stat : 10675 (pwbo2.0) R 10671 10673 9022 0 -1 4202560 153902 0 0 0 179565 159 0 0 20 0 2 0 275923936 805904384 187637 33554432000 4194304 5965102 140733657671600 139821374760888 4404410 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 787016
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.76
CPU user time (s): 1798.11
CPU system time (s): 1.64775
CPU usage (%): 99.986
Max. virtual memory (cumulated for all children) (KiB): 787016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.11
system time used= 1.64775
maximum resident set size= 750560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189501
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= 279
involuntary context switches= 1851
runsolver used 3.59545 second user time and 9.29759 second system time
The end