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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880079-1245236327/watcher-1880079-1245236327 -o /tmp/evaluation-result-1880079-1245236327/solver-1880079-1245236327 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880079-1245236327.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: 0.00 0.00 0.00 3/65 14648
/proc/meminfo: memFree=1288624/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=12612 CPUtime=0
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 191230686 12914688 248 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 3153 248 175 640 0 2037 0

[startup+0.0800779 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 14648
/proc/meminfo: memFree=1288624/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=15088 CPUtime=0.07
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 1040 0 0 0 7 0 0 0 20 0 1 0 191230686 15450112 1024 1992294400 134512640 137136520 4294956256 18446744073709551615 136523262 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 3772 1025 323 640 0 2656 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15088

[startup+0.10108 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 14648
/proc/meminfo: memFree=1288624/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=15776 CPUtime=0.09
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 1254 0 0 0 9 0 0 0 20 0 1 0 191230686 16154624 1238 1992294400 134512640 137136520 4294956256 18446744073709551615 136394375 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 3944 1238 364 640 0 2828 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15776

[startup+0.301101 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 14648
/proc/meminfo: memFree=1288624/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=22388 CPUtime=0.29
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 3648 0 0 0 28 1 0 0 22 0 1 0 191230686 22925312 3160 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 5597 3160 188 640 0 4953 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22388

[startup+0.701145 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 14648
/proc/meminfo: memFree=1288624/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=24900 CPUtime=0.69
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 4298 0 0 0 66 3 0 0 25 0 1 0 191230686 25497600 3810 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 6225 3810 190 640 0 5581 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24900

[startup+1.50123 s]
/proc/loadavg: 0.00 0.00 0.00 2/66 14649
/proc/meminfo: memFree=1274088/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=24900 CPUtime=1.49
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 4298 0 0 0 144 5 0 0 25 0 1 0 191230686 25497600 3810 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 6225 3810 190 640 0 5581 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24900

[startup+3.10141 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 14649
/proc/meminfo: memFree=1273960/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=29264 CPUtime=3.09
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 6598 0 0 0 300 9 0 0 25 0 1 0 191230686 29966336 4902 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 7316 4902 196 640 0 6672 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29264

[startup+6.30176 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 14649
/proc/meminfo: memFree=1259240/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=42608 CPUtime=6.28
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 9915 0 0 0 618 10 0 0 25 0 1 0 191230686 43630592 8219 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 10652 8219 196 640 0 10008 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 42608

[startup+12.7015 s]
/proc/loadavg: 0.22 0.05 0.02 2/66 14649
/proc/meminfo: memFree=1243752/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=56180 CPUtime=12.69
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 13328 0 0 0 1257 12 0 0 25 0 1 0 191230686 57528320 11632 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 14045 11632 197 640 0 13401 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56180

[startup+25.5029 s]
/proc/loadavg: 0.34 0.08 0.02 2/66 14649
/proc/meminfo: memFree=1225128/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=74340 CPUtime=25.48
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 17853 0 0 0 2535 13 0 0 25 0 1 0 191230686 76124160 16157 1992294400 134512640 137136520 4294956256 18446744073709551615 136502032 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 18585 16157 197 640 0 17941 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 74340

[startup+51.1027 s]
/proc/loadavg: 0.56 0.15 0.05 2/66 14649
/proc/meminfo: memFree=1188328/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=110828 CPUtime=51.07
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 26991 0 0 0 5088 19 0 0 25 0 1 0 191230686 113487872 25295 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 27707 25295 197 640 0 27063 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 110828

[startup+102.305 s]
/proc/loadavg: 0.82 0.29 0.10 2/66 14649
/proc/meminfo: memFree=1144232/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=154424 CPUtime=102.25
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 37883 0 0 0 10201 24 0 0 25 0 1 0 191230686 158130176 36187 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 38606 36187 197 640 0 37962 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 154424

[startup+162.303 s]
/proc/loadavg: 0.93 0.42 0.15 2/66 14655
/proc/meminfo: memFree=1092072/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=206996 CPUtime=162.22
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 51029 0 0 0 16191 31 0 0 25 0 1 0 191230686 211963904 49333 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 51749 49333 197 640 0 51105 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 206996

[startup+222.303 s]
/proc/loadavg: 0.97 0.52 0.20 2/66 14655
/proc/meminfo: memFree=1047336/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=251012 CPUtime=222.19
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 62023 0 0 0 22183 36 0 0 25 0 1 0 191230686 257036288 60327 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 62753 60327 197 640 0 62109 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 251012

[startup+282.302 s]
/proc/loadavg: 0.99 0.61 0.25 2/66 14655
/proc/meminfo: memFree=1007592/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=290972 CPUtime=282.17
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 72020 0 0 0 28176 41 0 0 25 0 1 0 191230686 297955328 70324 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 72743 70324 197 640 0 72099 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 290972

[startup+342.302 s]
/proc/loadavg: 0.99 0.67 0.30 2/66 14655
/proc/meminfo: memFree=972328/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=325840 CPUtime=342.14
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 80746 0 0 0 34168 46 0 0 25 0 1 0 191230686 333660160 79050 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 81460 79050 197 640 0 80816 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 325840

[startup+402.302 s]
/proc/loadavg: 0.99 0.73 0.34 2/66 14655
/proc/meminfo: memFree=943848/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=354668 CPUtime=402.12
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 87931 0 0 0 40162 50 0 0 25 0 1 0 191230686 363180032 86235 1992294400 134512640 137136520 4294956256 18446744073709551615 134543846 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 88667 86235 197 640 0 88023 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 354668

[startup+462.301 s]
/proc/loadavg: 0.99 0.78 0.38 2/66 14655
/proc/meminfo: memFree=914856/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=383256 CPUtime=462.1
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 95094 0 0 0 46155 55 0 0 25 0 1 0 191230686 392454144 93398 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 95814 93398 197 640 0 95170 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 383256

[startup+522.302 s]
/proc/loadavg: 0.99 0.81 0.41 2/66 14655
/proc/meminfo: memFree=890792/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=407540 CPUtime=522.07
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 101153 0 0 0 52149 58 0 0 25 0 1 0 191230686 417320960 99457 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 101885 99457 197 640 0 101241 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 407540

[startup+582.301 s]
/proc/loadavg: 0.99 0.85 0.45 2/66 14655
/proc/meminfo: memFree=866024/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=431928 CPUtime=582.05
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 107253 0 0 0 58143 62 0 0 25 0 1 0 191230686 442294272 105557 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 107982 105557 197 640 0 107338 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 431928

[startup+642.301 s]
/proc/loadavg: 0.99 0.87 0.48 2/66 14655
/proc/meminfo: memFree=843496/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=454204 CPUtime=642.02
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 112829 0 0 0 64137 65 0 0 25 0 1 0 191230686 465104896 111133 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 113551 111133 197 640 0 112907 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 454204

[startup+702.302 s]

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

/proc/meminfo: memFree=705832/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=591592 CPUtime=1061.85
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 147187 0 0 0 106102 83 0 0 25 0 1 0 191230686 605790208 145491 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 147898 145491 197 640 0 147254 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 591592

[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.67 2/66 14655
/proc/meminfo: memFree=687400/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=609924 CPUtime=1121.83
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 151752 0 0 0 112097 86 0 0 25 0 1 0 191230686 624562176 150056 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 152481 150056 197 640 0 151837 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 609924

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.69 2/66 14655
/proc/meminfo: memFree=672104/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=625044 CPUtime=1181.8
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 155545 0 0 0 118092 88 0 0 25 0 1 0 191230686 640045056 153849 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 156261 153849 197 640 0 155617 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 625044

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.70 2/66 14655
/proc/meminfo: memFree=658600/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=638508 CPUtime=1241.77
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 158911 0 0 0 124088 89 0 0 25 0 1 0 191230686 653832192 157215 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 159627 157215 197 640 0 158983 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 638508

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.72 2/66 14655
/proc/meminfo: memFree=643560/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=653312 CPUtime=1301.74
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 162618 0 0 0 130083 91 0 0 25 0 1 0 191230686 668991488 160922 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 163328 160922 197 640 0 162684 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 653312

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.74 2/66 14655
/proc/meminfo: memFree=631784/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=665216 CPUtime=1361.72
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 165581 0 0 0 136079 93 0 0 25 0 1 0 191230686 681181184 163885 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 166304 163885 197 640 0 165660 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 665216

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.75 2/66 14655
/proc/meminfo: memFree=619944/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=676880 CPUtime=1421.7
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 168513 0 0 0 142075 95 0 0 25 0 1 0 191230686 693125120 166817 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 169220 166817 197 640 0 168576 0
Current children cumulated CPU time (s) 1421.7
Current children cumulated vsize (KiB) 676880

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.76 2/66 14655
/proc/meminfo: memFree=608360/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=688572 CPUtime=1481.68
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 171420 0 0 0 148071 97 0 0 25 0 1 0 191230686 705097728 169724 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 172143 169724 197 640 0 171499 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 688572

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.77 2/66 14655
/proc/meminfo: memFree=597544/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=699292 CPUtime=1541.64
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 174091 0 0 0 154066 98 0 0 25 0 1 0 191230686 716075008 172395 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 174823 172395 197 640 0 174179 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 699292

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.78 2/66 14655
/proc/meminfo: memFree=583144/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=713780 CPUtime=1601.62
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 177712 0 0 0 160061 101 0 0 25 0 1 0 191230686 730910720 176016 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 178445 176016 197 640 0 177801 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 713780

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.79 2/66 14655
/proc/meminfo: memFree=569192/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=727636 CPUtime=1661.6
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 181193 0 0 0 166057 103 0 0 25 0 1 0 191230686 745099264 179497 1992294400 134512640 137136520 4294956256 18446744073709551615 134543918 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 181909 179497 197 640 0 181265 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 727636

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.81 2/66 14655
/proc/meminfo: memFree=554984/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=741816 CPUtime=1721.57
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 184746 0 0 0 172053 104 0 0 25 0 1 0 191230686 759619584 183050 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 185454 183050 197 640 0 184810 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 741816

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 14655
/proc/meminfo: memFree=539944/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=756588 CPUtime=1781.55
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 188431 0 0 0 178049 106 0 0 25 0 1 0 191230686 774746112 186735 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 189147 186735 197 640 0 188503 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 756588

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 14655
/proc/meminfo: memFree=536936/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=759512 CPUtime=1791.16
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 189170 0 0 0 179009 107 0 0 25 0 1 0 191230686 777740288 187474 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 189878 187474 197 640 0 189234 0
Current children cumulated CPU time (s) 1791.16
Current children cumulated vsize (KiB) 759512

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 14655
/proc/meminfo: memFree=535912/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=760592 CPUtime=1794.36
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 189413 0 0 0 179329 107 0 0 25 0 1 0 191230686 778846208 187717 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 190148 187717 197 640 0 189504 0
Current children cumulated CPU time (s) 1794.36
Current children cumulated vsize (KiB) 760592

[startup+1796.7 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 14655
/proc/meminfo: memFree=535592/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=760972 CPUtime=1795.95
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 189514 0 0 0 179488 107 0 0 25 0 1 0 191230686 779235328 187818 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 190243 187818 197 640 0 189599 0
Current children cumulated CPU time (s) 1795.95
Current children cumulated vsize (KiB) 760972

[startup+1798.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 14655
/proc/meminfo: memFree=535400/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=761452 CPUtime=1797.55
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 189627 0 0 0 179648 107 0 0 25 0 1 0 191230686 779726848 187931 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 190363 187931 197 640 0 189719 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 761452

[startup+1798.7 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 14655
/proc/meminfo: memFree=535016/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=761452 CPUtime=1797.95
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194304 189656 0 0 0 179688 107 0 0 25 0 1 0 191230686 779726848 187960 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 190363 187960 197 640 0 189719 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 761452

[startup+1798.9 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 14655
/proc/meminfo: memFree=535016/2055920 swapFree=4180860/4192956
[pid=14648] ppid=14646 vsize=0 CPUtime=1798.14
/proc/14648/stat : 14648 (bsolo) R 14646 14648 14605 0 -1 4194308 189680 0 0 0 179702 112 0 0 25 0 1 0 191230686 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14648/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.14
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.96
CPU time (s): 1798.21
CPU user time (s): 1797.03
CPU system time (s): 1.18482
CPU usage (%): 99.9587
Max. virtual memory (cumulated for all children) (KiB): 761568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.03
system time used= 1.18482
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189680
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= 6102

runsolver used 2.07468 second user time and 3.76943 second system time

The end