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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879898-1245236325/watcher-1879898-1245236325 -o /tmp/evaluation-result-1879898-1245236325/solver-1879898-1245236325 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879898-1245236325.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 10185
/proc/meminfo: memFree=1783608/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=13368 CPUtime=0
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 191229345 13688832 249 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 3342 250 175 640 0 2038 0

[startup+0.0116761 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 10185
/proc/meminfo: memFree=1783608/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=13640 CPUtime=0.01
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 330 0 0 0 1 0 0 0 18 0 1 0 191229345 13967360 314 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 3410 314 187 640 0 2106 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13640

[startup+0.102694 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 10185
/proc/meminfo: memFree=1783608/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=16396 CPUtime=0.09
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 1210 0 0 0 9 0 0 0 18 0 1 0 191229345 16789504 1194 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 4099 1195 356 640 0 2795 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16396

[startup+0.301732 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 10185
/proc/meminfo: memFree=1783608/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=22576 CPUtime=0.29
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 3101 0 0 0 29 0 0 0 19 0 1 0 191229345 23117824 3085 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 5644 3085 728 640 0 4340 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22576

[startup+0.701812 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 10185
/proc/meminfo: memFree=1783608/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=30316 CPUtime=0.69
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 5819 0 0 0 67 2 0 0 22 0 1 0 191229345 31043584 5143 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 7579 5143 190 640 0 6935 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30316

[startup+1.50197 s]
/proc/loadavg: 0.00 0.00 0.00 2/66 10186
/proc/meminfo: memFree=1763760/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=30316 CPUtime=1.49
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 5819 0 0 0 146 3 0 0 25 0 1 0 191229345 31043584 5143 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 7579 5143 190 640 0 6935 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30316

[startup+3.10129 s]
/proc/loadavg: 0.00 0.00 0.00 2/66 10186
/proc/meminfo: memFree=1763632/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=30316 CPUtime=3.09
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 5819 0 0 0 302 7 0 0 25 0 1 0 191229345 31043584 5143 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 7579 5143 190 640 0 6935 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30316

[startup+6.30192 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 10186
/proc/meminfo: memFree=1756848/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=40420 CPUtime=6.29
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 10045 0 0 0 617 12 0 0 25 0 1 0 191229345 41390080 7699 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 10105 7699 196 640 0 9461 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40420

[startup+12.7012 s]
/proc/loadavg: 0.15 0.03 0.01 2/66 10186
/proc/meminfo: memFree=1734896/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=61076 CPUtime=12.69
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 15203 0 0 0 1255 14 0 0 25 0 1 0 191229345 62541824 12857 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 15269 12857 197 640 0 14625 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61076

[startup+25.5027 s]
/proc/loadavg: 0.34 0.08 0.02 2/66 10186
/proc/meminfo: memFree=1705712/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=88360 CPUtime=25.48
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 22017 0 0 0 2531 17 0 0 25 0 1 0 191229345 90480640 19671 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 22090 19671 197 640 0 21446 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 88360

[startup+51.1018 s]
/proc/loadavg: 0.56 0.15 0.05 2/66 10186
/proc/meminfo: memFree=1676336/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=117704 CPUtime=51.06
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 29369 0 0 0 5087 19 0 0 25 0 1 0 191229345 120528896 27023 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 29426 27023 197 640 0 28782 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 117704

[startup+102.306 s]
/proc/loadavg: 0.81 0.28 0.10 2/66 10186
/proc/meminfo: memFree=1628144/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=165572 CPUtime=102.25
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 41315 0 0 0 10199 26 0 0 25 0 1 0 191229345 169545728 38969 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 41393 38969 197 640 0 40749 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 165572

[startup+162.302 s]
/proc/loadavg: 0.93 0.41 0.15 2/66 10192
/proc/meminfo: memFree=1587504/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=206492 CPUtime=162.22
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 51540 0 0 0 16191 31 0 0 25 0 1 0 191229345 211447808 49194 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 51623 49194 197 640 0 50979 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 206492

[startup+222.302 s]
/proc/loadavg: 0.97 0.51 0.20 2/66 10192
/proc/meminfo: memFree=1548144/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=245288 CPUtime=222.2
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 61256 0 0 0 22184 36 0 0 25 0 1 0 191229345 251174912 58910 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 61322 58910 197 640 0 60678 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 245288

[startup+282.302 s]
/proc/loadavg: 0.99 0.60 0.25 2/66 10192
/proc/meminfo: memFree=1517424/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=276332 CPUtime=282.17
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 69017 0 0 0 28177 40 0 0 25 0 1 0 191229345 282963968 66671 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 69083 66671 197 640 0 68439 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 276332

[startup+342.302 s]
/proc/loadavg: 0.99 0.67 0.29 2/66 10192
/proc/meminfo: memFree=1480944/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=312276 CPUtime=342.16
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 78006 0 0 0 34170 46 0 0 25 0 1 0 191229345 319770624 75660 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 78069 75660 197 640 0 77425 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 312276

[startup+402.302 s]
/proc/loadavg: 0.99 0.73 0.33 2/66 10192
/proc/meminfo: memFree=1452208/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=341180 CPUtime=402.13
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 85225 0 0 0 40165 48 0 0 25 0 1 0 191229345 349368320 82879 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 85295 82879 197 640 0 84651 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 341180

[startup+462.303 s]
/proc/loadavg: 0.99 0.77 0.37 2/66 10192
/proc/meminfo: memFree=1419824/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=373260 CPUtime=462.11
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 93228 0 0 0 46158 53 0 0 25 0 1 0 191229345 382218240 90882 1992294400 134512640 137136520 4294956256 18446744073709551615 134543962 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 93315 90882 197 640 0 92671 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 373260

[startup+522.302 s]
/proc/loadavg: 0.99 0.81 0.41 2/66 10192
/proc/meminfo: memFree=1390896/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=402440 CPUtime=522.08
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 100523 0 0 0 52150 58 0 0 25 0 1 0 191229345 412098560 98177 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 100610 98177 197 640 0 99966 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 402440

[startup+582.301 s]
/proc/loadavg: 0.99 0.84 0.44 2/66 10192
/proc/meminfo: memFree=1367024/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=425832 CPUtime=582.06
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 106380 0 0 0 58146 60 0 0 25 0 1 0 191229345 436051968 104034 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 106458 104034 197 640 0 105814 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 425832

[startup+642.302 s]
/proc/loadavg: 0.99 0.87 0.47 2/66 10192
/proc/meminfo: memFree=1349104/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=443652 CPUtime=642.04
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 110850 0 0 0 64141 63 0 0 25 0 1 0 191229345 454299648 108504 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 110913 108504 197 640 0 110269 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 443652

[startup+702.301 s]

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

/proc/meminfo: memFree=1228400/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=564052 CPUtime=1061.87
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 140943 0 0 0 106107 80 0 0 25 0 1 0 191229345 577589248 138597 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 141013 138597 197 640 0 140369 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 564052

[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.67 2/66 10192
/proc/meminfo: memFree=1213936/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=578464 CPUtime=1121.85
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 144554 0 0 0 112103 82 0 0 25 0 1 0 191229345 592347136 142208 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 144616 142208 197 640 0 143972 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 578464

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.68 2/66 10192
/proc/meminfo: memFree=1197424/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=595036 CPUtime=1181.83
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 148700 0 0 0 118100 83 0 0 25 0 1 0 191229345 609316864 146354 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 148759 146354 197 640 0 148115 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 595036

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.70 2/66 10192
/proc/meminfo: memFree=1182512/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=609788 CPUtime=1241.8
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 152384 0 0 0 124095 85 0 0 25 0 1 0 191229345 624422912 150038 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 152447 150038 197 640 0 151803 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 609788

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.72 2/66 10192
/proc/meminfo: memFree=1166192/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=625980 CPUtime=1301.79
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 156414 0 0 0 130091 88 0 0 25 0 1 0 191229345 641003520 154068 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 156495 154068 197 640 0 155851 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 625980

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.73 2/66 10192
/proc/meminfo: memFree=1150640/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=641500 CPUtime=1361.76
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 160312 0 0 0 136086 90 0 0 25 0 1 0 191229345 656896000 157966 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 160375 157966 197 640 0 159731 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 641500

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.75 2/66 10192
/proc/meminfo: memFree=1134704/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=657332 CPUtime=1421.75
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 164271 0 0 0 142082 93 0 0 25 0 1 0 191229345 673107968 161925 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 164333 161925 197 640 0 163689 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 657332

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.76 2/66 10192
/proc/meminfo: memFree=1119920/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=672212 CPUtime=1481.71
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 167972 0 0 0 148077 94 0 0 25 0 1 0 191229345 688345088 165626 1992294400 134512640 137136520 4294956256 18446744073709551615 134544095 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 168053 165626 197 640 0 167409 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 672212

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.77 2/66 10192
/proc/meminfo: memFree=1106928/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=685060 CPUtime=1541.69
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 171195 0 0 0 154073 96 0 0 25 0 1 0 191229345 701501440 168849 1992294400 134512640 137136520 4294956256 18446744073709551615 134544145 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 171265 168849 197 640 0 170621 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 685060

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.78 2/66 10192
/proc/meminfo: memFree=1094128/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=697900 CPUtime=1601.67
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 174397 0 0 0 160069 98 0 0 25 0 1 0 191229345 714649600 172051 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 174475 172051 197 640 0 173831 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 697900

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.79 2/66 10192
/proc/meminfo: memFree=1078256/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=713628 CPUtime=1661.64
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 178325 0 0 0 166065 99 0 0 25 0 1 0 191229345 730755072 175979 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 178407 175979 197 640 0 177763 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 713628

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.80 2/66 10192
/proc/meminfo: memFree=1062768/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=729216 CPUtime=1721.63
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 182244 0 0 0 172061 102 0 0 25 0 1 0 191229345 746717184 179898 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 182304 179898 197 640 0 181660 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 729216

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 10192
/proc/meminfo: memFree=1047664/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=744112 CPUtime=1781.6
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 185954 0 0 0 178056 104 0 0 25 0 1 0 191229345 761970688 183608 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 186028 183608 197 640 0 185384 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 744112

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 10192
/proc/meminfo: memFree=1044976/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=746688 CPUtime=1791.2
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 186594 0 0 0 179015 105 0 0 25 0 1 0 191229345 764608512 184248 1992294400 134512640 137136520 4294956256 18446744073709551615 134544245 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 186672 184248 197 640 0 186028 0
Current children cumulated CPU time (s) 1791.2
Current children cumulated vsize (KiB) 746688

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 10192
/proc/meminfo: memFree=1044208/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=747520 CPUtime=1794.4
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 186793 0 0 0 179335 105 0 0 25 0 1 0 191229345 765460480 184447 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 186880 184447 197 640 0 186236 0
Current children cumulated CPU time (s) 1794.4
Current children cumulated vsize (KiB) 747520

[startup+1796.7 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 10192
/proc/meminfo: memFree=1043888/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=747776 CPUtime=1796
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 186882 0 0 0 179495 105 0 0 25 0 1 0 191229345 765722624 184536 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 186944 184536 197 640 0 186300 0
Current children cumulated CPU time (s) 1796
Current children cumulated vsize (KiB) 747776

[startup+1798.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 10192
/proc/meminfo: memFree=1043696/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=748240 CPUtime=1797.6
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 186979 0 0 0 179655 105 0 0 25 0 1 0 191229345 766197760 184633 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 187060 184633 197 640 0 186416 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 748240

[startup+1798.7 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 10192
/proc/meminfo: memFree=1043440/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=748240 CPUtime=1797.99
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194304 186995 0 0 0 179694 105 0 0 25 0 1 0 191229345 766197760 184649 1992294400 134512640 137136520 4294956256 18446744073709551615 134600751 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 187060 184650 197 640 0 186416 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 748240

[startup+1798.9 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 10192
/proc/meminfo: memFree=1043440/2055920 swapFree=4192812/4192956
[pid=10185] ppid=10183 vsize=0 CPUtime=1798.19
/proc/10185/stat : 10185 (bsolo) R 10183 10185 10142 0 -1 4194308 187008 0 0 0 179704 115 0 0 25 0 1 0 191229345 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10185/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.19
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.92
CPU time (s): 1798.22
CPU user time (s): 1797.05
CPU system time (s): 1.17282
CPU usage (%): 99.9612
Max. virtual memory (cumulated for all children) (KiB): 748240

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

runsolver used 1.90671 second user time and 4.64129 second system time

The end