runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1785533-1241915461/watcher-1785533-1241915461 -o /tmp/evaluation-result-1785533-1241915461/solver-1785533-1241915461 -C 5000 -W 6000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=1762150355 HOME/instance-1785533-1241915461.cnf 

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): 6000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 134217728 bytes. The first 1048576 bytes and the last 133169152 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.03 1.02 1.00 3/65 11121
/proc/meminfo: memFree=1849752/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=1592 CPUtime=0
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 183 0 0 0 0 0 0 0 20 0 1 0 219576187 1630208 167 1992294400 134512640 135674940 4294956208 18446744073709551615 135076238 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 398 168 90 283 0 112 0

[startup+0.0135279 s]
/proc/loadavg: 1.03 1.02 1.00 3/65 11121
/proc/meminfo: memFree=1849752/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=1988 CPUtime=0.01
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 288 0 0 0 1 0 0 0 20 0 1 0 219576187 2035712 271 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 497 273 98 283 0 211 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1988

[startup+0.101537 s]
/proc/loadavg: 1.03 1.02 1.00 3/65 11121
/proc/meminfo: memFree=1849752/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=2384 CPUtime=0.09
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 390 0 0 0 9 0 0 0 20 0 1 0 219576187 2441216 373 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 596 373 98 283 0 310 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2384

[startup+0.301559 s]
/proc/loadavg: 1.03 1.02 1.00 3/65 11121
/proc/meminfo: memFree=1849752/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=3440 CPUtime=0.29
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 668 0 0 0 29 0 0 0 22 0 1 0 219576187 3522560 651 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 860 651 98 283 0 574 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3440

[startup+0.701603 s]
/proc/loadavg: 1.03 1.02 1.00 3/65 11121
/proc/meminfo: memFree=1849752/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=5040 CPUtime=0.69
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 1071 0 0 0 69 0 0 0 25 0 1 0 219576187 5160960 1054 1992294400 134512640 135674940 4294956208 18446744073709551615 134564276 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 1260 1054 98 283 0 974 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5040

[startup+1.50169 s]
/proc/loadavg: 1.03 1.02 1.00 2/66 11122
/proc/meminfo: memFree=1844880/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=6144 CPUtime=1.49
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 1343 0 0 0 149 0 0 0 25 0 1 0 219576187 6291456 1326 1992294400 134512640 135674940 4294956208 18446744073709551615 134564773 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 1536 1326 98 283 0 1250 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6144

[startup+3.10187 s]
/proc/loadavg: 1.03 1.02 1.00 2/66 11122
/proc/meminfo: memFree=1844176/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=7200 CPUtime=3.09
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 1590 0 0 0 309 0 0 0 25 0 1 0 219576187 7372800 1573 1992294400 134512640 135674940 4294956208 18446744073709551615 134581583 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 1800 1573 98 283 0 1514 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7200

[startup+6.30123 s]
/proc/loadavg: 1.03 1.02 1.00 2/66 11122
/proc/meminfo: memFree=1841680/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=9184 CPUtime=6.29
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 2090 0 0 0 629 0 0 0 25 0 1 0 219576187 9404416 2073 1992294400 134512640 135674940 4294956208 18446744073709551615 134564611 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 2296 2073 98 283 0 2010 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9184

[startup+12.7019 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 11122
/proc/meminfo: memFree=1840216/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=10788 CPUtime=12.69
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 2490 0 0 0 1269 0 0 0 25 0 1 0 219576187 11046912 2473 1992294400 134512640 135674940 4294956208 18446744073709551615 134555966 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 2697 2473 99 283 0 2411 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10788

[startup+25.5014 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 11122
/proc/meminfo: memFree=1838360/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=12572 CPUtime=25.49
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 2897 0 0 0 2548 1 0 0 25 0 1 0 219576187 12873728 2880 1992294400 134512640 135674940 4294956208 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 3143 2880 99 283 0 2857 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12572

[startup+51.1012 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 11122
/proc/meminfo: memFree=1835864/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=15440 CPUtime=51.08
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 3546 0 0 0 5107 1 0 0 25 0 1 0 219576187 15810560 3529 1992294400 134512640 135674940 4294956208 18446744073709551615 134565820 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 3860 3529 99 283 0 3574 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 15440

[startup+102.306 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 11122
/proc/meminfo: memFree=1831832/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=19872 CPUtime=102.27
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 4526 0 0 0 10226 1 0 0 25 0 1 0 219576187 20348928 4509 1992294400 134512640 135674940 4294956208 18446744073709551615 134564824 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 4968 4509 99 283 0 4682 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 19872

[startup+162.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 11122
/proc/meminfo: memFree=1827800/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=24152 CPUtime=162.25
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 5514 0 0 0 16223 2 0 0 25 0 1 0 219576187 24731648 5497 1992294400 134512640 135674940 4294956208 18446744073709551615 134564711 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 6038 5497 99 283 0 5752 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 24152

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11122
/proc/meminfo: memFree=1825880/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=26624 CPUtime=222.23
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 5977 0 0 0 22221 2 0 0 25 0 1 0 219576187 27262976 5960 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 6656 5960 99 283 0 6370 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 26624

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11122
/proc/meminfo: memFree=1824664/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=27968 CPUtime=282.22
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 6278 0 0 0 28219 3 0 0 25 0 1 0 219576187 28639232 6261 1992294400 134512640 135674940 4294956208 18446744073709551615 134564826 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 6992 6261 99 283 0 6706 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 27968

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11122
/proc/meminfo: memFree=1823896/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=28980 CPUtime=342.2
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 6474 0 0 0 34217 3 0 0 25 0 1 0 219576187 29675520 6457 1992294400 134512640 135674940 4294956208 18446744073709551615 134564731 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 7245 6457 99 283 0 6959 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 28980

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11122
/proc/meminfo: memFree=1823128/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=29652 CPUtime=402.18
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 6682 0 0 0 40215 3 0 0 25 0 1 0 219576187 30363648 6665 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 7413 6665 99 283 0 7127 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 29652

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11122
/proc/meminfo: memFree=1821912/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=31052 CPUtime=462.17
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 6965 0 0 0 46214 3 0 0 25 0 1 0 219576187 31797248 6948 1992294400 134512640 135674940 4294956208 18446744073709551615 134564826 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 7763 6948 99 283 0 7477 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 31052

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11122
/proc/meminfo: memFree=1820952/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=32140 CPUtime=522.16
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 7227 0 0 0 52212 4 0 0 25 0 1 0 219576187 32911360 7210 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 8035 7210 99 283 0 7749 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 32140

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11122
/proc/meminfo: memFree=1820312/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=32884 CPUtime=582.14
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 7358 0 0 0 58210 4 0 0 25 0 1 0 219576187 33673216 7341 1992294400 134512640 135674940 4294956208 18446744073709551615 134564252 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 8221 7341 99 283 0 7935 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 32884

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11122
/proc/meminfo: memFree=1819736/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=33436 CPUtime=642.13
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 7498 0 0 0 64209 4 0 0 25 0 1 0 219576187 34238464 7481 1992294400 134512640 135674940 4294956208 18446744073709551615 134564282 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 8359 7481 99 283 0 8073 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 33436


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

/proc/meminfo: memFree=1799448/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=57768 CPUtime=2381.65
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 12377 0 0 0 238158 7 0 0 25 0 1 0 219576187 59154432 12360 1992294400 134512640 135674940 4294956208 18446744073709551615 134551104 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 14442 12360 99 283 0 14156 0
Current children cumulated CPU time (s) 2381.65
Current children cumulated vsize (KiB) 57768

[startup+2442.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11130
/proc/meminfo: memFree=1799128/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=58152 CPUtime=2441.64
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 12446 0 0 0 244157 7 0 0 25 0 1 0 219576187 59547648 12429 1992294400 134512640 135674940 4294956208 18446744073709551615 134564761 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 14538 12429 99 283 0 14252 0
Current children cumulated CPU time (s) 2441.64
Current children cumulated vsize (KiB) 58152

[startup+2502.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11130
/proc/meminfo: memFree=1798488/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=58992 CPUtime=2501.62
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 12613 0 0 0 250155 7 0 0 25 0 1 0 219576187 60407808 12596 1992294400 134512640 135674940 4294956208 18446744073709551615 134565267 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 14748 12596 99 283 0 14462 0
Current children cumulated CPU time (s) 2501.62
Current children cumulated vsize (KiB) 58992

[startup+2562.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11130
/proc/meminfo: memFree=1797720/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=59832 CPUtime=2561.6
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 12779 0 0 0 256153 7 0 0 25 0 1 0 219576187 61267968 12762 1992294400 134512640 135674940 4294956208 18446744073709551615 134565218 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 14958 12762 99 283 0 14672 0
Current children cumulated CPU time (s) 2561.6
Current children cumulated vsize (KiB) 59832

[startup+2622.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11130
/proc/meminfo: memFree=1797208/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=60408 CPUtime=2621.59
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 12901 0 0 0 262152 7 0 0 25 0 1 0 219576187 61857792 12884 1992294400 134512640 135674940 4294956208 18446744073709551615 134551947 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 15102 12884 99 283 0 14816 0
Current children cumulated CPU time (s) 2621.59
Current children cumulated vsize (KiB) 60408

[startup+2682.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11130
/proc/meminfo: memFree=1796824/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=60936 CPUtime=2681.57
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 12985 0 0 0 268150 7 0 0 25 0 1 0 219576187 62398464 12968 1992294400 134512640 135674940 4294956208 18446744073709551615 134564826 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 15234 12968 99 283 0 14948 0
Current children cumulated CPU time (s) 2681.57
Current children cumulated vsize (KiB) 60936

[startup+2742.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11130
/proc/meminfo: memFree=1796440/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=61332 CPUtime=2741.56
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 13060 0 0 0 274149 7 0 0 25 0 1 0 219576187 62803968 13043 1992294400 134512640 135674940 4294956208 18446744073709551615 134565166 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 15333 13043 99 283 0 15047 0
Current children cumulated CPU time (s) 2741.56
Current children cumulated vsize (KiB) 61332

[startup+2802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11130
/proc/meminfo: memFree=1796312/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=61788 CPUtime=2801.55
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 13134 0 0 0 280147 8 0 0 25 0 1 0 219576187 63270912 13117 1992294400 134512640 135674940 4294956208 18446744073709551615 134559205 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 15447 13117 99 283 0 15161 0
Current children cumulated CPU time (s) 2801.55
Current children cumulated vsize (KiB) 61788

[startup+2862.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11130
/proc/meminfo: memFree=1795736/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=62448 CPUtime=2861.53
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 13267 0 0 0 286145 8 0 0 25 0 1 0 219576187 63946752 13250 1992294400 134512640 135674940 4294956208 18446744073709551615 134564274 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 15612 13250 99 283 0 15326 0
Current children cumulated CPU time (s) 2861.53
Current children cumulated vsize (KiB) 62448

[startup+2922.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11130
/proc/meminfo: memFree=1795480/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=62712 CPUtime=2921.51
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 13316 0 0 0 292143 8 0 0 25 0 1 0 219576187 64217088 13299 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 15678 13299 99 283 0 15392 0
Current children cumulated CPU time (s) 2921.51
Current children cumulated vsize (KiB) 62712

[startup+2982.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11130
/proc/meminfo: memFree=1795352/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=62976 CPUtime=2981.5
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 13360 0 0 0 298142 8 0 0 25 0 1 0 219576187 64487424 13343 1992294400 134512640 135674940 4294956208 18446744073709551615 134564140 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 15744 13343 99 283 0 15458 0
Current children cumulated CPU time (s) 2981.5
Current children cumulated vsize (KiB) 62976

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

[startup+2995.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11130
/proc/meminfo: memFree=1795288/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=62976 CPUtime=2994.29
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 13362 0 0 0 299421 8 0 0 25 0 1 0 219576187 64487424 13345 1992294400 134512640 135674940 4294956208 18446744073709551615 134561283 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 15744 13345 99 283 0 15458 0
Current children cumulated CPU time (s) 2994.29
Current children cumulated vsize (KiB) 62976

[startup+3007.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11130
/proc/meminfo: memFree=1795224/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=62976 CPUtime=3007.09
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 13362 0 0 0 300701 8 0 0 25 0 1 0 219576187 64487424 13345 1992294400 134512640 135674940 4294956208 18446744073709551615 134564826 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 15744 13345 99 283 0 15458 0
Current children cumulated CPU time (s) 3007.09
Current children cumulated vsize (KiB) 62976

[startup+3020.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11130
/proc/meminfo: memFree=1795224/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=62976 CPUtime=3019.89
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 13363 0 0 0 301981 8 0 0 25 0 1 0 219576187 64487424 13346 1992294400 134512640 135674940 4294956208 18446744073709551615 134551120 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 15744 13346 99 283 0 15458 0
Current children cumulated CPU time (s) 3019.89
Current children cumulated vsize (KiB) 62976

[startup+3027.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11130
/proc/meminfo: memFree=1795160/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=63108 CPUtime=3026.29
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 13384 0 0 0 302621 8 0 0 25 0 1 0 219576187 64622592 13367 1992294400 134512640 135674940 4294956208 18446744073709551615 134564291 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 15777 13367 99 283 0 15491 0
Current children cumulated CPU time (s) 3026.29
Current children cumulated vsize (KiB) 63108

[startup+3030.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11130
/proc/meminfo: memFree=1795160/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=63108 CPUtime=3029.48
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 13385 0 0 0 302940 8 0 0 25 0 1 0 219576187 64622592 13368 1992294400 134512640 135674940 4294956208 18446744073709551615 134565166 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 15777 13368 99 283 0 15491 0
Current children cumulated CPU time (s) 3029.48
Current children cumulated vsize (KiB) 63108

[startup+3031.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11130
/proc/meminfo: memFree=1795160/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=63108 CPUtime=3030.29
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 13385 0 0 0 303021 8 0 0 25 0 1 0 219576187 64622592 13368 1992294400 134512640 135674940 4294956208 18446744073709551615 134564854 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 15777 13368 99 283 0 15491 0
Current children cumulated CPU time (s) 3030.29
Current children cumulated vsize (KiB) 63108

[startup+3031.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11130
/proc/meminfo: memFree=1795160/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=63108 CPUtime=3031.08
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 13385 0 0 0 303100 8 0 0 25 0 1 0 219576187 64622592 13368 1992294400 134512640 135674940 4294956208 18446744073709551615 134564854 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 15777 13368 99 283 0 15491 0
Current children cumulated CPU time (s) 3031.08
Current children cumulated vsize (KiB) 63108

[startup+3032.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11130
/proc/meminfo: memFree=1795160/2055920 swapFree=4180400/4192956
[pid=11121] ppid=11119 vsize=63108 CPUtime=3031.48
/proc/11121/stat : 11121 (SApperloT-base) R 11119 11121 11084 0 -1 4194304 13385 0 0 0 303140 8 0 0 25 0 1 0 219576187 64622592 13368 1992294400 134512640 135674940 4294956208 18446744073709551615 134564611 0 0 4096 0 0 0 0 17 1 0 0
/proc/11121/statm: 15777 13368 99 283 0 15491 0
Current children cumulated CPU time (s) 3031.48
Current children cumulated vsize (KiB) 63108

Child status: 0
Real time (s): 3032.36
CPU time (s): 3031.56
CPU user time (s): 3031.46
CPU system time (s): 0.093985
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 63108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3031.46
system time used= 0.093985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13396
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= 4
involuntary context switches= 2642

runsolver used 3.32749 second user time and 6.89895 second system time

The end