runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3420905-1306596535/watcher-3420905-1306596535 -o /tmp/evaluation-result-3420905-1306596535/solver-3420905-1306596535 -C 5000 -W 5100 -M 15500 qutersat_release HOME/instance-3420905-1306596535.cnf 1763937772 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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: 0.92 1.21 1.60 2/452 1995
/proc/meminfo: memFree=13604788/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=28644 CPUtime=0 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 687 0 0 0 0 0 0 0 21 0 1 0 752069377 29331456 623 33554432000 4194304 6014671 140737183578208 18446744073709551615 220815930427 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1995/statm: 7161 634 290 445 0 706 0

[startup+0.071556 s]
/proc/loadavg: 0.92 1.21 1.60 2/452 1995
/proc/meminfo: memFree=13604788/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=48048 CPUtime=0.06 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 6154 0 0 0 6 0 0 0 18 0 1 0 752069377 49201152 6090 33554432000 4194304 6014671 140737183578208 18446744073709551615 4778066 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 12012 6092 668 445 0 5557 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 48048

[startup+0.10057 s]
/proc/loadavg: 0.92 1.21 1.60 2/452 1995
/proc/meminfo: memFree=13604788/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=54564 CPUtime=0.09 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 7618 0 0 0 9 0 0 0 18 0 1 0 752069377 55873536 7554 33554432000 4194304 6014671 140737183578208 18446744073709551615 4252419 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 13641 7560 670 445 0 7186 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 54564

[startup+0.300511 s]
/proc/loadavg: 0.92 1.21 1.60 2/452 1995
/proc/meminfo: memFree=13604788/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=65840 CPUtime=0.28 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 8758 0 0 0 28 0 0 0 18 0 1 0 752069377 67420160 8694 33554432000 4194304 6014671 140737183578208 18446744073709551615 4424094 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 16460 8694 720 445 0 10005 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 65840

[startup+0.700438 s]
/proc/loadavg: 0.92 1.21 1.60 2/452 1995
/proc/meminfo: memFree=13604788/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=83736 CPUtime=0.68 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 9327 0 0 0 68 0 0 0 18 0 1 0 752069377 85745664 9263 33554432000 4194304 6014671 140737183578208 18446744073709551615 4424128 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 20934 9263 721 445 0 14479 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 83736

[startup+1.5003 s]
/proc/loadavg: 0.92 1.21 1.60 3/456 2002
/proc/meminfo: memFree=13471256/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=92840 CPUtime=1.49 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 9921 0 0 0 148 1 0 0 19 0 1 0 752069377 95068160 9857 33554432000 4194304 6014671 140737183578208 18446744073709551615 4424451 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 23210 9857 721 445 0 16755 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 92840

[startup+3.10099 s]
/proc/loadavg: 0.92 1.21 1.60 3/456 2002
/proc/meminfo: memFree=13467288/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=92968 CPUtime=3.09 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 9960 0 0 0 308 1 0 0 25 0 1 0 752069377 95199232 9896 33554432000 4194304 6014671 140737183578208 18446744073709551615 4367522 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 23242 9896 725 445 0 16787 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 92968

[startup+6.3004 s]
/proc/loadavg: 1.01 1.22 1.60 3/456 2002
/proc/meminfo: memFree=13461204/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=102288 CPUtime=6.29 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 11346 0 0 0 628 1 0 0 25 0 1 0 752069377 104742912 11282 33554432000 4194304 6014671 140737183578208 18446744073709551615 4372184 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 25572 11282 725 445 0 19117 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 102288

[startup+12.7002 s]
/proc/loadavg: 1.09 1.23 1.60 3/456 2003
/proc/meminfo: memFree=13452612/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=111748 CPUtime=12.69 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 12216 0 0 0 1268 1 0 0 25 0 1 0 752069377 114429952 12152 33554432000 4194304 6014671 140737183578208 18446744073709551615 4423994 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 27937 12152 725 445 0 21482 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 111748

[startup+25.5009 s]
/proc/loadavg: 1.29 1.27 1.61 3/456 2003
/proc/meminfo: memFree=13435620/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=111748 CPUtime=25.49 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 13601 0 0 0 2548 1 0 0 25 0 1 0 752069377 114429952 13537 33554432000 4194304 6014671 140737183578208 18446744073709551615 4537073 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 27937 13537 725 445 0 21482 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 111748

[startup+51.1001 s]
/proc/loadavg: 1.53 1.33 1.62 3/456 2004
/proc/meminfo: memFree=13409628/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=111748 CPUtime=51.09 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 15543 0 0 0 5108 1 0 0 25 0 1 0 752069377 114429952 15474 33554432000 4194304 6014671 140737183578208 18446744073709551615 4424090 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 27937 15474 726 445 0 21482 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 111748

[startup+102.317 s]
/proc/loadavg: 1.79 1.43 1.64 3/456 2005
/proc/meminfo: memFree=13357156/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=133904 CPUtime=102.31 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 21264 0 0 0 10229 2 0 0 25 0 1 0 752069377 137117696 21187 33554432000 4194304 6014671 140737183578208 18446744073709551615 4378782 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 33476 21187 726 445 0 27021 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 133904

[startup+162.301 s]
/proc/loadavg: 1.92 1.53 1.65 3/456 2007
/proc/meminfo: memFree=13279648/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=157220 CPUtime=162.29 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 27437 0 0 0 16226 3 0 0 25 0 1 0 752069377 160993280 27360 33554432000 4194304 6014671 140737183578208 18446744073709551615 4424012 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 39305 27360 726 445 0 32850 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 157220

[startup+222.301 s]
/proc/loadavg: 1.97 1.61 1.67 3/456 2008
/proc/meminfo: memFree=13273412/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=157220 CPUtime=222.3 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 31551 0 0 0 22226 4 0 0 25 0 1 0 752069377 160993280 31469 33554432000 4194304 6014671 140737183578208 18446744073709551615 4422722 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 39305 31469 726 445 0 32850 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 157220

[startup+282.301 s]
/proc/loadavg: 1.99 1.68 1.69 3/456 2010
/proc/meminfo: memFree=13228624/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=170012 CPUtime=282.3 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 35595 0 0 0 28225 5 0 0 25 0 1 0 752069377 174092288 35513 33554432000 4194304 6014671 140737183578208 18446744073709551615 4424206 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 42503 35513 726 445 0 36048 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 170012

[startup+342.3 s]
/proc/loadavg: 1.99 1.74 1.71 3/456 2011
/proc/meminfo: memFree=13213836/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=235904 CPUtime=342.3 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 38976 0 0 0 34224 6 0 0 25 0 1 0 752069377 241565696 38862 33554432000 4194304 6014671 140737183578208 18446744073709551615 4424107 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 58976 38862 726 445 0 52521 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 235904

[startup+402.3 s]
/proc/loadavg: 2.13 1.81 1.73 3/456 2013
/proc/meminfo: memFree=13199804/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=235904 CPUtime=402.3 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 40599 0 0 0 40224 6 0 0 25 0 1 0 752069377 241565696 40441 33554432000 4194304 6014671 140737183578208 18446744073709551615 4369616 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 58976 40441 726 445 0 52521 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 235904

[startup+462.3 s]
/proc/loadavg: 2.26 1.89 1.76 3/456 2015
/proc/meminfo: memFree=13168152/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=235904 CPUtime=462.3 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 47720 0 0 0 46223 7 0 0 25 0 1 0 752069377 241565696 47545 33554432000 4194304 6014671 140737183578208 18446744073709551615 4511632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 58976 47545 726 445 0 52521 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 235904

[startup+522.3 s]
/proc/loadavg: 2.16 1.93 1.78 3/456 2016
/proc/meminfo: memFree=13135768/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=292024 CPUtime=522.31 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 52240 0 0 0 52223 8 0 0 25 0 1 0 752069377 299032576 52008 33554432000 4194304 6014671 140737183578208 18446744073709551615 4424206 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 73006 52008 726 445 0 66551 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 292024

[startup+582.3 s]
/proc/loadavg: 2.06 1.94 1.79 3/456 2018
/proc/meminfo: memFree=13113172/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=349092 CPUtime=582.31 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 56897 0 0 0 58222 9 0 0 25 0 1 0 752069377 357470208 56440 33554432000 4194304 6014671 140737183578208 18446744073709551615 4424118 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 87273 56440 726 445 0 80818 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 349092

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=12770896/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=611284 CPUtime=1962.35 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 92964 0 0 0 196219 16 0 0 25 0 1 0 752069377 625954816 88959 33554432000 4194304 6014671 140737183578208 18446744073709551615 4423921 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 152821 88959 753 445 0 146366 0
Current children cumulated CPU time (s) 1962.35
Current children cumulated vsize (KiB) 611284

[startup+2022.3 s]
/proc/loadavg: 2.15 2.03 1.93 3/456 2065
/proc/meminfo: memFree=12765532/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=611284 CPUtime=2022.35 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 93112 0 0 0 202219 16 0 0 25 0 1 0 752069377 625954816 89079 33554432000 4194304 6014671 140737183578208 18446744073709551615 4423921 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 152821 89079 753 445 0 146366 0
Current children cumulated CPU time (s) 2022.35
Current children cumulated vsize (KiB) 611284

[startup+2082.32 s]
/proc/loadavg: 2.28 2.07 1.95 3/456 2067
/proc/meminfo: memFree=12763276/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=611284 CPUtime=2082.37 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 93303 0 0 0 208221 16 0 0 25 0 1 0 752069377 625954816 89241 33554432000 4194304 6014671 140737183578208 18446744073709551615 4424027 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 152821 89241 740 445 0 146366 0
Current children cumulated CPU time (s) 2082.37
Current children cumulated vsize (KiB) 611284

[startup+2142.3 s]
/proc/loadavg: 2.17 2.07 1.95 3/456 2068
/proc/meminfo: memFree=12759524/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=611284 CPUtime=2142.36 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 93607 0 0 0 214219 17 0 0 25 0 1 0 752069377 625954816 89507 33554432000 4194304 6014671 140737183578208 18446744073709551615 4424128 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 152821 89507 740 445 0 146366 0
Current children cumulated CPU time (s) 2142.36
Current children cumulated vsize (KiB) 611284

[startup+2202.3 s]
/proc/loadavg: 2.06 2.06 1.95 3/456 2070
/proc/meminfo: memFree=12751692/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=611284 CPUtime=2202.36 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 93665 0 0 0 220219 17 0 0 25 0 1 0 752069377 625954816 89517 33554432000 4194304 6014671 140737183578208 18446744073709551615 4424090 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 152821 89517 739 445 0 146366 0
Current children cumulated CPU time (s) 2202.36
Current children cumulated vsize (KiB) 611284

[startup+2262.3 s]
/proc/loadavg: 2.02 2.04 1.95 3/456 2072
/proc/meminfo: memFree=12749428/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=611284 CPUtime=2262.36 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 93685 0 0 0 226219 17 0 0 25 0 1 0 752069377 625954816 89510 33554432000 4194304 6014671 140737183578208 18446744073709551615 4423994 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 152821 89510 739 445 0 146366 0
Current children cumulated CPU time (s) 2262.36
Current children cumulated vsize (KiB) 611284

[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/456 2073
/proc/meminfo: memFree=12744820/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=611284 CPUtime=2322.36 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 93909 0 0 0 232219 17 0 0 25 0 1 0 752069377 625954816 89703 33554432000 4194304 6014671 140737183578208 18446744073709551615 4424035 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 152821 89703 736 445 0 146366 0
Current children cumulated CPU time (s) 2322.36
Current children cumulated vsize (KiB) 611284

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/456 2075
/proc/meminfo: memFree=12739964/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=611284 CPUtime=2382.36 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 93952 0 0 0 238219 17 0 0 25 0 1 0 752069377 625954816 89714 33554432000 4194304 6014671 140737183578208 18446744073709551615 4620828 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 152821 89714 736 445 0 146366 0
Current children cumulated CPU time (s) 2382.36
Current children cumulated vsize (KiB) 611284

[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/456 2076
/proc/meminfo: memFree=12726552/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=611284 CPUtime=2442.36 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 96850 0 0 0 244219 17 0 0 25 0 1 0 752069377 625954816 92577 33554432000 4194304 6014671 140737183578208 18446744073709551615 4424206 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 152821 92577 735 445 0 146366 0
Current children cumulated CPU time (s) 2442.36
Current children cumulated vsize (KiB) 611284

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/456 2078
/proc/meminfo: memFree=12713508/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=687884 CPUtime=2502.36 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 100329 0 0 0 250218 18 0 0 25 0 1 0 752069377 704393216 96021 33554432000 4194304 6014671 140737183578208 18446744073709551615 4423994 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 171971 96021 735 445 0 165516 0
Current children cumulated CPU time (s) 2502.36
Current children cumulated vsize (KiB) 687884

Solver just ended. Dumping a history of the last processes samples

[startup+2508.7 s]
/proc/loadavg: 2.00 2.01 1.95 3/456 2078
/proc/meminfo: memFree=12713384/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=687884 CPUtime=2508.76 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 100329 0 0 0 250858 18 0 0 25 0 1 0 752069377 704393216 95982 33554432000 4194304 6014671 140737183578208 18446744073709551615 4422589 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 171971 95982 735 445 0 165516 0
Current children cumulated CPU time (s) 2508.76
Current children cumulated vsize (KiB) 687884

[startup+2521.5 s]
/proc/loadavg: 2.00 2.01 1.95 3/456 2079
/proc/meminfo: memFree=12713376/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=687884 CPUtime=2521.56 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 100329 0 0 0 252138 18 0 0 25 0 1 0 752069377 704393216 95982 33554432000 4194304 6014671 140737183578208 18446744073709551615 4424451 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 171971 95982 735 445 0 165516 0
Current children cumulated CPU time (s) 2521.56
Current children cumulated vsize (KiB) 687884

[startup+2534.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/456 2079
/proc/meminfo: memFree=12711888/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=687884 CPUtime=2534.36 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 100330 0 0 0 253418 18 0 0 25 0 1 0 752069377 704393216 95983 33554432000 4194304 6014671 140737183578208 18446744073709551615 4377948 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 171971 95983 735 445 0 165516 0
Current children cumulated CPU time (s) 2534.36
Current children cumulated vsize (KiB) 687884

[startup+2537.5 s]
/proc/loadavg: 2.00 2.01 1.95 3/456 2079
/proc/meminfo: memFree=12711764/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=687884 CPUtime=2537.56 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 100330 0 0 0 253738 18 0 0 25 0 1 0 752069377 704393216 95983 33554432000 4194304 6014671 140737183578208 18446744073709551615 4424154 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 171971 95983 735 445 0 165516 0
Current children cumulated CPU time (s) 2537.56
Current children cumulated vsize (KiB) 687884

[startup+2539.1 s]
/proc/loadavg: 2.00 2.01 1.95 3/456 2079
/proc/meminfo: memFree=12711884/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=687884 CPUtime=2539.16 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 100330 0 0 0 253898 18 0 0 25 0 1 0 752069377 704393216 95983 33554432000 4194304 6014671 140737183578208 18446744073709551615 4423994 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 171971 95983 735 445 0 165516 0
Current children cumulated CPU time (s) 2539.16
Current children cumulated vsize (KiB) 687884

[startup+2540.7 s]
/proc/loadavg: 2.00 2.01 1.95 3/456 2079
/proc/meminfo: memFree=12711884/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=687884 CPUtime=2540.76 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 100330 0 0 0 254058 18 0 0 25 0 1 0 752069377 704393216 95983 33554432000 4194304 6014671 140737183578208 18446744073709551615 4423950 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 171971 95983 735 445 0 165516 0
Current children cumulated CPU time (s) 2540.76
Current children cumulated vsize (KiB) 687884

[startup+2541.1 s]
/proc/loadavg: 2.00 2.01 1.95 3/456 2079
/proc/meminfo: memFree=12711884/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=687884 CPUtime=2541.16 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 100330 0 0 0 254098 18 0 0 25 0 1 0 752069377 704393216 95983 33554432000 4194304 6014671 140737183578208 18446744073709551615 4424459 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 171971 95983 735 445 0 165516 0
Current children cumulated CPU time (s) 2541.16
Current children cumulated vsize (KiB) 687884

[startup+2541.5 s]
/proc/loadavg: 2.00 2.01 1.95 3/456 2079
/proc/meminfo: memFree=12711884/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=687884 CPUtime=2541.56 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202496 100330 0 0 0 254138 18 0 0 25 0 1 0 752069377 704393216 95983 33554432000 4194304 6014671 140737183578208 18446744073709551615 4423994 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/1995/statm: 171971 95983 735 445 0 165516 0
Current children cumulated CPU time (s) 2541.56
Current children cumulated vsize (KiB) 687884

[startup+2541.6 s]
/proc/loadavg: 2.00 2.01 1.95 3/456 2079
/proc/meminfo: memFree=12711884/32951124 swapFree=63485464/67111528
[pid=1995] ppid=1993 vsize=0 CPUtime=2541.67 cores=1,3,5,7
/proc/1995/stat : 1995 (qutersat_releas) R 1993 1995 1114 0 -1 4202500 100339 0 0 0 254148 19 0 0 25 0 1 0 752069377 0 0 33554432000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 1 0 0 0
/proc/1995/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2541.67
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 2541.61
CPU time (s): 2541.68
CPU user time (s): 2541.48
CPU system time (s): 0.201969
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 687884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2541.48
system time used= 0.201969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100339
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= 15
involuntary context switches= 4009

runsolver used 10.6804 second user time and 26.298 second system time

The end