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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879936-1245236325/watcher-1879936-1245236325 -o /tmp/evaluation-result-1879936-1245236325/solver-1879936-1245236325 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879936-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/64 12011
/proc/meminfo: memFree=1841528/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=13352 CPUtime=0
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 191229251 13672448 253 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 3338 254 176 640 0 2038 0

[startup+0.028657 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 12011
/proc/meminfo: memFree=1841528/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=14176 CPUtime=0.02
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 514 0 0 0 2 0 0 0 18 0 1 0 191229251 14516224 498 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 3544 498 221 640 0 2244 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14176

[startup+0.10167 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 12011
/proc/meminfo: memFree=1841528/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=16648 CPUtime=0.09
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 1263 0 0 0 9 0 0 0 18 0 1 0 191229251 17047552 1247 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 4162 1247 367 640 0 2862 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16648

[startup+0.301706 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 12011
/proc/meminfo: memFree=1841528/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=23116 CPUtime=0.3
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 3295 0 0 0 29 1 0 0 19 0 1 0 191229251 23670784 3279 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 5779 3280 768 640 0 4479 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 23116

[startup+0.701778 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 12011
/proc/meminfo: memFree=1841528/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=30220 CPUtime=0.7
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 5787 0 0 0 67 3 0 0 23 0 1 0 191229251 30945280 5115 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 7555 5115 190 640 0 6911 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 30220

[startup+1.50193 s]
/proc/loadavg: 0.00 0.00 0.00 2/65 12012
/proc/meminfo: memFree=1821744/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=30220 CPUtime=1.49
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 5787 0 0 0 144 5 0 0 25 0 1 0 191229251 30945280 5115 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 7555 5115 190 640 0 6911 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30220

[startup+3.10122 s]
/proc/loadavg: 0.00 0.00 0.00 2/65 12012
/proc/meminfo: memFree=1821616/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=30220 CPUtime=3.09
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 5787 0 0 0 301 8 0 0 25 0 1 0 191229251 30945280 5115 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 7555 5115 190 640 0 6911 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30220

[startup+6.3018 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 12012
/proc/meminfo: memFree=1813360/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=42444 CPUtime=6.29
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 10539 0 0 0 616 13 0 0 25 0 1 0 191229251 43462656 8191 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 10611 8193 197 640 0 9967 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42444

[startup+12.702 s]
/proc/loadavg: 0.15 0.03 0.01 2/65 12012
/proc/meminfo: memFree=1791920/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=61312 CPUtime=12.69
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 15261 0 0 0 1254 15 0 0 25 0 1 0 191229251 62783488 12913 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 15328 12913 197 640 0 14684 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61312

[startup+25.5013 s]
/proc/loadavg: 0.34 0.08 0.02 2/65 12012
/proc/meminfo: memFree=1765488/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=86240 CPUtime=25.49
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 21478 0 0 0 2531 18 0 0 25 0 1 0 191229251 88309760 19130 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 21560 19130 197 640 0 20916 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86240

[startup+51.102 s]
/proc/loadavg: 0.56 0.15 0.05 2/65 12012
/proc/meminfo: memFree=1729776/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=122468 CPUtime=51.07
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 30553 0 0 0 5084 23 0 0 25 0 1 0 191229251 125407232 28205 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 30617 28205 197 640 0 29973 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 122468

[startup+102.306 s]
/proc/loadavg: 0.81 0.28 0.10 2/65 12012
/proc/meminfo: memFree=1673968/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=177432 CPUtime=102.25
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 44289 0 0 0 10194 31 0 0 25 0 1 0 191229251 181690368 41941 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 44358 41941 197 640 0 43714 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 177432

[startup+162.301 s]
/proc/loadavg: 0.93 0.41 0.15 2/65 12018
/proc/meminfo: memFree=1631024/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=220840 CPUtime=162.21
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 55127 0 0 0 16185 36 0 0 25 0 1 0 191229251 226140160 52779 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 55210 52779 197 640 0 54566 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 220840

[startup+222.301 s]
/proc/loadavg: 0.97 0.51 0.20 2/65 12018
/proc/meminfo: memFree=1586416/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=264928 CPUtime=222.18
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 66171 0 0 0 22176 42 0 0 25 0 1 0 191229251 271286272 63823 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 66232 63823 197 640 0 65588 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 264928

[startup+282.301 s]
/proc/loadavg: 0.99 0.60 0.25 2/65 12018
/proc/meminfo: memFree=1545776/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=305872 CPUtime=282.15
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 76389 0 0 0 28168 47 0 0 25 0 1 0 191229251 313212928 74041 1992294400 134512640 137136520 4294956256 18446744073709551615 134543875 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 76468 74041 197 640 0 75824 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 305872

[startup+342.302 s]
/proc/loadavg: 0.99 0.67 0.29 2/65 12018
/proc/meminfo: memFree=1521712/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=329328 CPUtime=342.13
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 82274 0 0 0 34162 51 0 0 25 0 1 0 191229251 337231872 79926 1992294400 134512640 137136520 4294956256 18446744073709551615 134544135 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 82332 79926 197 640 0 81688 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 329328

[startup+402.303 s]
/proc/loadavg: 0.99 0.73 0.33 2/65 12018
/proc/meminfo: memFree=1496752/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=354540 CPUtime=402.1
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 88562 0 0 0 40156 54 0 0 25 0 1 0 191229251 363048960 86214 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12011/statm: 88635 86214 197 640 0 87991 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 354540

[startup+462.302 s]
/proc/loadavg: 0.99 0.77 0.37 2/65 12018
/proc/meminfo: memFree=1472240/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=378684 CPUtime=462.05
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 94599 0 0 0 46148 57 0 0 25 0 1 0 191229251 387772416 92251 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 94671 92251 197 640 0 94027 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 378684

[startup+522.302 s]
/proc/loadavg: 0.99 0.81 0.41 2/65 12018
/proc/meminfo: memFree=1447024/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=404128 CPUtime=522.03
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 100961 0 0 0 52143 60 0 0 25 0 1 0 191229251 413827072 98613 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 101032 98613 197 640 0 100388 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 404128

[startup+582.302 s]
/proc/loadavg: 0.99 0.84 0.44 2/65 12018
/proc/meminfo: memFree=1420528/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=430340 CPUtime=582
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 107528 0 0 0 58137 63 0 0 25 0 1 0 191229251 440668160 105180 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12011/statm: 107585 105180 197 640 0 106941 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 430340

[startup+642.302 s]
/proc/loadavg: 0.99 0.87 0.47 2/65 12018
/proc/meminfo: memFree=1389872/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=460728 CPUtime=641.98
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 115126 0 0 0 64130 68 0 0 25 0 1 0 191229251 471785472 112778 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 115182 112778 197 640 0 114538 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 460728

[startup+702.301 s]

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

/proc/meminfo: memFree=1234416/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=615648 CPUtime=1121.75
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 153837 0 0 0 112087 88 0 0 25 0 1 0 191229251 630423552 151489 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 153912 151489 197 640 0 153268 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 615648

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.68 2/65 12018
/proc/meminfo: memFree=1217456/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=632716 CPUtime=1181.73
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 158120 0 0 0 118082 91 0 0 25 0 1 0 191229251 647901184 155772 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 158179 155772 197 640 0 157535 0
Current children cumulated CPU time (s) 1181.73
Current children cumulated vsize (KiB) 632716

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.70 2/65 12018
/proc/meminfo: memFree=1201520/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=648596 CPUtime=1241.69
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 162073 0 0 0 124077 92 0 0 25 0 1 0 191229251 664162304 159725 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 162149 159725 197 640 0 161505 0
Current children cumulated CPU time (s) 1241.69
Current children cumulated vsize (KiB) 648596

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.72 2/65 12018
/proc/meminfo: memFree=1185456/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=664428 CPUtime=1301.67
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 166039 0 0 0 130073 94 0 0 25 0 1 0 191229251 680374272 163691 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 166107 163691 197 640 0 165463 0
Current children cumulated CPU time (s) 1301.67
Current children cumulated vsize (KiB) 664428

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.73 2/65 12018
/proc/meminfo: memFree=1169456/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=680568 CPUtime=1361.64
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 170082 0 0 0 136069 95 0 0 25 0 1 0 191229251 696901632 167734 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 170142 167734 197 640 0 169498 0
Current children cumulated CPU time (s) 1361.64
Current children cumulated vsize (KiB) 680568

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.75 2/65 12018
/proc/meminfo: memFree=1154992/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=694688 CPUtime=1421.62
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 142065 97 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 173672 171248 197 640 0 173028 0
Current children cumulated CPU time (s) 1421.62
Current children cumulated vsize (KiB) 694688

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.76 2/65 12018
/proc/meminfo: memFree=1154928/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=694688 CPUtime=1481.58
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 148061 97 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 173672 171248 197 640 0 173028 0
Current children cumulated CPU time (s) 1481.58
Current children cumulated vsize (KiB) 694688

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.77 2/65 12018
/proc/meminfo: memFree=1154928/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=694688 CPUtime=1541.56
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 154058 98 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 173672 171248 197 640 0 173028 0
Current children cumulated CPU time (s) 1541.56
Current children cumulated vsize (KiB) 694688

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.78 2/65 12018
/proc/meminfo: memFree=1154864/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=694688 CPUtime=1601.54
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 160056 98 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 173672 171248 197 640 0 173028 0
Current children cumulated CPU time (s) 1601.54
Current children cumulated vsize (KiB) 694688

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.79 2/65 12018
/proc/meminfo: memFree=1154864/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=694688 CPUtime=1661.51
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 166053 98 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 173672 171248 197 640 0 173028 0
Current children cumulated CPU time (s) 1661.51
Current children cumulated vsize (KiB) 694688

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.80 2/65 12018
/proc/meminfo: memFree=1154864/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=694688 CPUtime=1721.49
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 172050 99 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 173672 171248 197 640 0 173028 0
Current children cumulated CPU time (s) 1721.49
Current children cumulated vsize (KiB) 694688

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 12018
/proc/meminfo: memFree=1154736/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=694688 CPUtime=1781.46
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 178047 99 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 173672 171248 197 640 0 173028 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (KiB) 694688

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 12018
/proc/meminfo: memFree=1154736/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=694688 CPUtime=1791.06
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 179007 99 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 173672 171248 197 640 0 173028 0
Current children cumulated CPU time (s) 1791.06
Current children cumulated vsize (KiB) 694688

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 12018
/proc/meminfo: memFree=1154736/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=694688 CPUtime=1794.26
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 179327 99 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 173672 171248 197 640 0 173028 0
Current children cumulated CPU time (s) 1794.26
Current children cumulated vsize (KiB) 694688

[startup+1796.7 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 12018
/proc/meminfo: memFree=1154736/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=694688 CPUtime=1795.85
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 179486 99 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134605495 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 173672 171248 197 640 0 173028 0
Current children cumulated CPU time (s) 1795.85
Current children cumulated vsize (KiB) 694688

[startup+1798.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 12018
/proc/meminfo: memFree=1154736/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=694688 CPUtime=1797.45
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 179646 99 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 173672 171248 197 640 0 173028 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 694688

[startup+1798.7 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 12018
/proc/meminfo: memFree=1154736/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=694688 CPUtime=1797.85
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 179686 99 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 173672 171248 197 640 0 173028 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 694688

[startup+1798.9 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 12018
/proc/meminfo: memFree=1154736/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=694688 CPUtime=1798.05
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194304 173633 0 0 0 179706 99 0 0 25 0 1 0 191229251 711360512 171248 1992294400 134512640 137136520 4294956256 18446744073709551615 134544127 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 173672 171248 197 640 0 173028 0
Current children cumulated CPU time (s) 1798.05
Current children cumulated vsize (KiB) 694688

[startup+1799 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 12018
/proc/meminfo: memFree=1154736/2055920 swapFree=4181856/4192956
[pid=12011] ppid=12009 vsize=0 CPUtime=1798.15
/proc/12011/stat : 12011 (bsolo) R 12009 12011 11968 0 -1 4194308 173635 0 0 0 179709 106 0 0 25 0 1 0 191229251 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12011/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.15
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1799.04
CPU time (s): 1798.2
CPU user time (s): 1797.1
CPU system time (s): 1.10083
CPU usage (%): 99.9532
Max. virtual memory (cumulated for all children) (KiB): 694836

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

runsolver used 1.9557 second user time and 4.5933 second system time

The end