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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877175-1245173076/watcher-1877175-1245173076 -o /tmp/evaluation-result-1877175-1245173076/solver-1877175-1245173076 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877175-1245173076.opb 

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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.24 2.72 3.00 3/86 13857
/proc/meminfo: memFree=54304/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=11076 CPUtime=0
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 263 0 0 0 0 0 0 0 19 0 1 0 184905517 11341824 247 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 2769 247 178 640 0 2037 0

[startup+0.047855 s]
/proc/loadavg: 2.24 2.72 3.00 3/86 13857
/proc/meminfo: memFree=54304/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=11872 CPUtime=0.04
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 525 0 0 0 4 0 0 0 19 0 1 0 184905517 12156928 509 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 2968 509 256 640 0 2236 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11872

[startup+0.101866 s]
/proc/loadavg: 2.24 2.72 3.00 3/86 13857
/proc/meminfo: memFree=54304/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=12444 CPUtime=0.09
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 783 0 0 0 9 0 0 0 19 0 1 0 184905517 12742656 679 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 3111 679 191 640 0 2467 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12444

[startup+0.301906 s]
/proc/loadavg: 2.24 2.72 3.00 3/86 13857
/proc/meminfo: memFree=54304/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=12904 CPUtime=0.29
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 6763 0 0 0 27 2 0 0 21 0 1 0 184905517 13213696 821 1992294400 134512640 137136520 4294956256 18446744073709551615 134710037 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 3226 821 226 640 0 2582 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12904

[startup+0.701988 s]
/proc/loadavg: 2.24 2.72 3.00 3/86 13857
/proc/meminfo: memFree=54304/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=18008 CPUtime=0.69
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 23315 0 0 0 61 8 0 0 25 0 1 0 184905517 18440192 1549 1992294400 134512640 137136520 4294956256 18446744073709551615 135467570 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13857/statm: 4502 1549 286 640 0 3858 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18008

[startup+1.50216 s]
/proc/loadavg: 2.24 2.72 3.00 3/87 13858
/proc/meminfo: memFree=50200/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=17984 CPUtime=1.48
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 28850 0 0 0 138 10 0 0 25 0 1 0 184905517 18415616 1282 1992294400 134512640 137136520 4294956256 18446744073709551615 135436319 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13857/statm: 4496 1282 292 640 0 3852 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 17984

[startup+3.10145 s]
/proc/loadavg: 2.24 2.72 3.00 4/87 13858
/proc/meminfo: memFree=50392/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=18600 CPUtime=3.07
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 50352 0 0 0 287 20 0 0 25 0 1 0 184905517 19046400 1359 1992294400 134512640 137136520 4294956256 18446744073709551615 134732864 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13857/statm: 4650 1359 292 640 0 4006 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 18600

[startup+6.30206 s]
/proc/loadavg: 2.30 2.72 3.00 2/87 13858
/proc/meminfo: memFree=50264/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=13716 CPUtime=6.26
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 122081 0 0 0 572 54 0 0 25 0 1 0 184905517 14045184 1124 1992294400 134512640 137136520 4294956256 18446744073709551615 134748124 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13857/statm: 3429 1124 293 640 0 2785 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 13716

[startup+12.7062 s]
/proc/loadavg: 2.20 2.69 2.99 4/87 13858
/proc/meminfo: memFree=48472/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=19000 CPUtime=12.63
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 311987 0 0 0 1133 130 0 0 25 0 1 0 184905517 19456000 1603 1992294400 134512640 137136520 4294956256 18446744073709551615 135455831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13857/statm: 4750 1603 293 640 0 4106 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 19000

[startup+25.5086 s]
/proc/loadavg: 2.31 2.69 2.98 3/87 13858
/proc/meminfo: memFree=43160/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=20016 CPUtime=25.43
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 773130 0 0 0 2220 323 0 0 25 0 1 0 184905517 20496384 2625 1992294400 134512640 137136520 4294956256 18446744073709551615 135781765 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13857/statm: 5004 2637 293 640 0 4360 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 20016

[startup+51.1016 s]
/proc/loadavg: 2.12 2.62 2.95 4/87 13858
/proc/meminfo: memFree=32344/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=36012 CPUtime=50.92
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 1670012 0 0 0 4394 698 0 0 25 0 1 0 184905517 36876288 5771 1992294400 134512640 137136520 4294956256 18446744073709551615 134838711 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13857/statm: 9003 5771 293 640 0 8359 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 36012

[startup+102.314 s]
/proc/loadavg: 2.35 2.60 2.92 3/87 13858
/proc/meminfo: memFree=17944/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=55760 CPUtime=102.01
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 3052457 0 0 0 8916 1285 0 0 25 0 1 0 184905517 57098240 10857 1992294400 134512640 137136520 4294956256 18446744073709551615 135438666 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13857/statm: 13940 10857 293 640 0 13296 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 55760

[startup+162.302 s]
/proc/loadavg: 2.15 2.50 2.87 3/87 13858
/proc/meminfo: memFree=17688/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=58304 CPUtime=161.92
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 4082815 0 0 0 14438 1754 0 0 25 0 1 0 184905517 59703296 11747 1992294400 134512640 137136520 4294956256 18446744073709551615 135402613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13857/statm: 14674 11750 293 640 0 14030 0
Current children cumulated CPU time (s) 161.92
Current children cumulated vsize (KiB) 58304

[startup+222.301 s]
/proc/loadavg: 1.94 2.37 2.80 3/87 13858
/proc/meminfo: memFree=17944/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=72072 CPUtime=221.89
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 5275007 0 0 0 19906 2283 0 0 25 0 1 0 184905517 73801728 14933 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13857/statm: 18018 14933 293 640 0 17374 0
Current children cumulated CPU time (s) 221.89
Current children cumulated vsize (KiB) 72072

[startup+282.301 s]
/proc/loadavg: 2.35 2.40 2.78 4/87 13858
/proc/meminfo: memFree=18520/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=74624 CPUtime=281.87
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 6102678 0 0 0 25536 2651 0 0 25 0 1 0 184905517 76414976 16351 1992294400 134512640 137136520 4294956256 18446744073709551615 134606742 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13857/statm: 18656 16351 293 640 0 18012 0
Current children cumulated CPU time (s) 281.87
Current children cumulated vsize (KiB) 74624

[startup+342.314 s]
/proc/loadavg: 2.38 2.40 2.75 3/87 13858
/proc/meminfo: memFree=17368/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=79312 CPUtime=341.86
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 6527100 0 0 0 31333 2853 0 0 25 0 1 0 184905517 81215488 16724 1992294400 134512640 137136520 4294956256 18446744073709551615 134728833 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13857/statm: 19828 16724 293 640 0 19184 0
Current children cumulated CPU time (s) 341.86
Current children cumulated vsize (KiB) 79312

[startup+402.306 s]
/proc/loadavg: 2.36 2.38 2.72 4/87 13858
/proc/meminfo: memFree=17624/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=77928 CPUtime=401.8
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 7178876 0 0 0 37025 3155 0 0 25 0 1 0 184905517 79798272 16663 1992294400 134512640 137136520 4294956256 18446744073709551615 135377301 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13857/statm: 19482 16663 293 640 0 18838 0
Current children cumulated CPU time (s) 401.8
Current children cumulated vsize (KiB) 77928

[startup+462.302 s]
/proc/loadavg: 2.44 2.39 2.70 3/87 13858
/proc/meminfo: memFree=17688/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=75544 CPUtime=461.78
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 7650600 0 0 0 42801 3377 0 0 25 0 1 0 184905517 77357056 16581 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13857/statm: 18886 16581 293 640 0 18242 0
Current children cumulated CPU time (s) 461.78
Current children cumulated vsize (KiB) 75544

[startup+522.302 s]
/proc/loadavg: 2.21 2.33 2.66 4/87 13858
/proc/meminfo: memFree=18840/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=89568 CPUtime=521.46
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 8744960 0 0 0 48292 3854 0 0 25 0 1 0 184905517 91717632 19256 1992294400 134512640 137136520 4294956256 18446744073709551615 134728830 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13857/statm: 22392 19256 293 640 0 21748 0
Current children cumulated CPU time (s) 521.46
Current children cumulated vsize (KiB) 89568

[startup+582.301 s]
/proc/loadavg: 2.33 2.34 2.64 4/87 13858
/proc/meminfo: memFree=16856/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=91036 CPUtime=580.97
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 9497053 0 0 0 53887 4210 0 0 25 0 1 0 184905517 93220864 19644 1992294400 134512640 137136520 4294956256 18446744073709551615 134847265 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13857/statm: 22759 19644 293 640 0 22115 0
Current children cumulated CPU time (s) 580.97
Current children cumulated vsize (KiB) 91036

[startup+642.302 s]
/proc/loadavg: 2.22 2.32 2.61 2/87 13858
/proc/meminfo: memFree=16856/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=89676 CPUtime=640.77
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 9822530 0 0 0 59706 4371 0 0 25 0 1 0 184905517 91828224 19625 1992294400 134512640 137136520 4294956256 18446744073709551615 134728837 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 22419 19625 293 640 0 21775 0
Current children cumulated CPU time (s) 640.77
Current children cumulated vsize (KiB) 89676

[startup+702.302 s]

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

/proc/meminfo: memFree=33528/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=96188 CPUtime=1120.26
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 11880820 0 0 0 106696 5330 0 0 25 0 1 0 184905517 98496512 21742 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 24047 21742 293 640 0 23403 0
Current children cumulated CPU time (s) 1120.26
Current children cumulated vsize (KiB) 96188

[startup+1182.3 s]
/proc/loadavg: 1.00 1.22 1.90 2/66 13858
/proc/meminfo: memFree=33656/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=98860 CPUtime=1180.23
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 12455644 0 0 0 112432 5591 0 0 25 0 1 0 184905517 101232640 21830 1992294400 134512640 137136520 4294956256 18446744073709551615 135387467 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 24815 21830 293 640 0 24171 0
Current children cumulated CPU time (s) 1180.23
Current children cumulated vsize (KiB) 98860

[startup+1242.3 s]
/proc/loadavg: 1.00 1.18 1.84 2/66 13858
/proc/meminfo: memFree=33592/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=99284 CPUtime=1240.21
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 13035783 0 0 0 118154 5867 0 0 25 0 1 0 184905517 101666816 21835 1992294400 134512640 137136520 4294956256 18446744073709551615 134847297 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 24821 21835 293 640 0 24177 0
Current children cumulated CPU time (s) 1240.21
Current children cumulated vsize (KiB) 99284

[startup+1302.3 s]
/proc/loadavg: 1.00 1.14 1.78 2/66 13858
/proc/meminfo: memFree=33656/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=99232 CPUtime=1300.17
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 13606033 0 0 0 123891 6126 0 0 25 0 1 0 184905517 101613568 21823 1992294400 134512640 137136520 4294956256 18446744073709551615 134847267 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 24808 21823 293 640 0 24164 0
Current children cumulated CPU time (s) 1300.17
Current children cumulated vsize (KiB) 99232

[startup+1362.3 s]
/proc/loadavg: 1.00 1.11 1.73 2/66 13858
/proc/meminfo: memFree=33720/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=96132 CPUtime=1360.15
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 14173451 0 0 0 129629 6386 0 0 25 0 1 0 184905517 98439168 21728 1992294400 134512640 137136520 4294956256 18446744073709551615 134573092 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 24033 21728 293 640 0 23389 0
Current children cumulated CPU time (s) 1360.15
Current children cumulated vsize (KiB) 96132

[startup+1422.31 s]
/proc/loadavg: 1.00 1.09 1.68 2/66 13858
/proc/meminfo: memFree=33720/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=96112 CPUtime=1420.12
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 14555462 0 0 0 135452 6560 0 0 25 0 1 0 184905517 98418688 21723 1992294400 134512640 137136520 4294956256 18446744073709551615 134710999 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 24028 21723 293 640 0 23384 0
Current children cumulated CPU time (s) 1420.12
Current children cumulated vsize (KiB) 96112

[startup+1482.3 s]
/proc/loadavg: 1.00 1.07 1.64 2/66 13858
/proc/meminfo: memFree=33784/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=98892 CPUtime=1480.08
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 14888847 0 0 0 141293 6715 0 0 25 0 1 0 184905517 101265408 21758 1992294400 134512640 137136520 4294956256 18446744073709551615 134845943 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 24723 21758 293 640 0 24079 0
Current children cumulated CPU time (s) 1480.08
Current children cumulated vsize (KiB) 98892

[startup+1542.3 s]
/proc/loadavg: 1.00 1.06 1.60 2/66 13858
/proc/meminfo: memFree=33848/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=99288 CPUtime=1540.05
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 15239559 0 0 0 147121 6884 0 0 25 0 1 0 184905517 101670912 21797 1992294400 134512640 137136520 4294956256 18446744073709551615 135471103 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 24822 21797 293 640 0 24178 0
Current children cumulated CPU time (s) 1540.05
Current children cumulated vsize (KiB) 99288

[startup+1602.3 s]
/proc/loadavg: 1.00 1.04 1.55 2/66 13858
/proc/meminfo: memFree=33784/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=98092 CPUtime=1600.02
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 15593958 0 0 0 152948 7054 0 0 25 0 1 0 184905517 100446208 21742 1992294400 134512640 137136520 4294956256 18446744073709551615 135377312 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 24523 21742 293 640 0 23879 0
Current children cumulated CPU time (s) 1600.02
Current children cumulated vsize (KiB) 98092

[startup+1662.3 s]
/proc/loadavg: 1.00 1.03 1.52 2/66 13858
/proc/meminfo: memFree=29240/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=104224 CPUtime=1659.97
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 16495895 0 0 0 158550 7447 0 0 25 0 1 0 184905517 106725376 22979 1992294400 134512640 137136520 4294956256 18446744073709551615 134728833 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 26056 22979 293 640 0 25412 0
Current children cumulated CPU time (s) 1659.97
Current children cumulated vsize (KiB) 104224

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.48 2/66 13858
/proc/meminfo: memFree=29048/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=100872 CPUtime=1719.95
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 17250210 0 0 0 164211 7784 0 0 25 0 1 0 184905517 103292928 22861 1992294400 134512640 137136520 4294956256 18446744073709551615 135781765 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 25218 22866 293 640 0 24574 0
Current children cumulated CPU time (s) 1719.95
Current children cumulated vsize (KiB) 100872

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.45 2/66 13858
/proc/meminfo: memFree=28920/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=102780 CPUtime=1779.91
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 17849664 0 0 0 169937 8054 0 0 25 0 1 0 184905517 105246720 22909 1992294400 134512640 137136520 4294956256 18446744073709551615 135379648 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 25695 22911 293 640 0 25051 0
Current children cumulated CPU time (s) 1779.91
Current children cumulated vsize (KiB) 102780

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.02 1.44 2/66 13858
/proc/meminfo: memFree=29176/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=102800 CPUtime=1789.51
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 17945258 0 0 0 170853 8098 0 0 25 0 1 0 184905517 105267200 22910 1992294400 134512640 137136520 4294956256 18446744073709551615 135410665 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 25700 22910 293 640 0 25056 0
Current children cumulated CPU time (s) 1789.51
Current children cumulated vsize (KiB) 102800

[startup+1795.1 s]
/proc/loadavg: 1.00 1.02 1.44 2/66 13858
/proc/meminfo: memFree=28984/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=103628 CPUtime=1792.7
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 17976443 0 0 0 171156 8114 0 0 25 0 1 0 184905517 106115072 22927 1992294400 134512640 137136520 4294956256 18446744073709551615 135454610 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 25907 22927 293 640 0 25263 0
Current children cumulated CPU time (s) 1792.7
Current children cumulated vsize (KiB) 103628

[startup+1798.3 s]
/proc/loadavg: 1.00 1.02 1.44 2/66 13858
/proc/meminfo: memFree=29112/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=103592 CPUtime=1795.9
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 18007823 0 0 0 171461 8129 0 0 25 0 1 0 184905517 106078208 22927 1992294400 134512640 137136520 4294956256 18446744073709551615 134728837 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 25898 22927 293 640 0 25254 0
Current children cumulated CPU time (s) 1795.9
Current children cumulated vsize (KiB) 103592

[startup+1799.1 s]
/proc/loadavg: 1.00 1.02 1.44 2/66 13858
/proc/meminfo: memFree=28984/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=102812 CPUtime=1796.7
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 18015653 0 0 0 171536 8134 0 0 25 0 1 0 184905517 105279488 22915 1992294400 134512640 137136520 4294956256 18446744073709551615 135407547 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 25703 22919 293 640 0 25059 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 102812

[startup+1799.9 s]
/proc/loadavg: 1.00 1.02 1.44 2/66 13858
/proc/meminfo: memFree=28984/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=102804 CPUtime=1797.5
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 18023490 0 0 0 171613 8137 0 0 25 0 1 0 184905517 105271296 22909 1992294400 134512640 137136520 4294956256 18446744073709551615 135402625 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 25701 22909 293 640 0 25057 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (KiB) 102804

[startup+1800.3 s]
/proc/loadavg: 1.00 1.02 1.44 2/66 13858
/proc/meminfo: memFree=28984/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=100864 CPUtime=1797.91
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 18027353 0 0 0 171651 8140 0 0 25 0 1 0 184905517 103284736 22879 1992294400 134512640 137136520 4294956256 18446744073709551615 135781765 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 25216 22879 293 640 0 24572 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 100864

[startup+1800.4 s]
/proc/loadavg: 1.00 1.02 1.44 2/66 13858
/proc/meminfo: memFree=28984/2055920 swapFree=4178232/4192956
[pid=13857] ppid=13855 vsize=102808 CPUtime=1798
/proc/13857/stat : 13857 (bsolo) R 13855 13857 13814 0 -1 4194304 18028351 0 0 0 171660 8140 0 0 25 0 1 0 184905517 105275392 22911 1992294400 134512640 137136520 4294956256 18446744073709551615 134731914 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13857/statm: 25702 22911 293 640 0 25058 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 102808

Child status: 0
Real time (s): 1800.48
CPU time (s): 1798.09
CPU user time (s): 1716.66
CPU system time (s): 81.4236
CPU usage (%): 99.8672
Max. virtual memory (cumulated for all children) (KiB): 104972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1716.66
system time used= 81.4236
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18028852
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= 2
involuntary context switches= 9148

runsolver used 2.35864 second user time and 5.45817 second system time

The end