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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880024-1245236327/watcher-1880024-1245236327 -o /tmp/evaluation-result-1880024-1245236327/solver-1880024-1245236327 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880024-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 10347
/proc/meminfo: memFree=1588576/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=13760 CPUtime=0
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 191231618 14090240 248 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 3440 249 175 640 0 2038 0

[startup+0.0207371 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 10347
/proc/meminfo: memFree=1588576/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=14308 CPUtime=0.01
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 415 0 0 0 1 0 0 0 18 0 1 0 191231618 14651392 399 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 3577 400 203 640 0 2175 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14308

[startup+0.101754 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 10347
/proc/meminfo: memFree=1588576/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=16784 CPUtime=0.09
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 1189 0 0 0 9 0 0 0 18 0 1 0 191231618 17186816 1173 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 4196 1173 352 640 0 2794 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16784

[startup+0.301792 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 10347
/proc/meminfo: memFree=1588576/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=22832 CPUtime=0.29
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 3063 0 0 0 29 0 0 0 19 0 1 0 191231618 23379968 3047 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 5708 3047 720 640 0 4306 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22832

[startup+0.701871 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 10347
/proc/meminfo: memFree=1588576/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=33200 CPUtime=0.69
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 6632 0 0 0 66 3 0 0 22 0 1 0 191231618 33996800 5858 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 8300 5858 190 640 0 7656 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33200

[startup+1.50203 s]
/proc/loadavg: 0.00 0.00 0.00 2/66 10348
/proc/meminfo: memFree=1565848/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=33200 CPUtime=1.49
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 6632 0 0 0 145 4 0 0 25 0 1 0 191231618 33996800 5858 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 8300 5858 190 640 0 7656 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33200

[startup+3.10135 s]
/proc/loadavg: 0.00 0.00 0.00 3/66 10348
/proc/meminfo: memFree=1565656/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=33200 CPUtime=3.09
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 6632 0 0 0 301 8 0 0 25 0 1 0 191231618 33996800 5858 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 8300 5858 190 640 0 7656 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33200

[startup+6.30198 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 10348
/proc/meminfo: memFree=1563352/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=40748 CPUtime=6.29
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 10452 0 0 0 616 13 0 0 25 0 1 0 191231618 41725952 7754 1992294400 134512640 137136520 4294956256 18446744073709551615 134600751 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 10187 7754 196 640 0 9543 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40748

[startup+12.7012 s]
/proc/loadavg: 0.15 0.03 0.01 2/66 10348
/proc/meminfo: memFree=1538968/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=61796 CPUtime=12.68
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 15733 0 0 0 1254 14 0 0 25 0 1 0 191231618 63279104 13035 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 15449 13035 196 640 0 14805 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 61796

[startup+25.5018 s]
/proc/loadavg: 0.34 0.08 0.02 2/66 10348
/proc/meminfo: memFree=1511384/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=87852 CPUtime=25.48
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 22235 0 0 0 2530 18 0 0 25 0 1 0 191231618 89960448 19537 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 21963 19537 196 640 0 21319 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87852

[startup+51.1018 s]
/proc/loadavg: 0.62 0.17 0.05 2/66 10348
/proc/meminfo: memFree=1471128/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=128276 CPUtime=51.07
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 32359 0 0 0 5085 22 0 0 25 0 1 0 191231618 131354624 29661 1992294400 134512640 137136520 4294956256 18446744073709551615 134600699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 32069 29661 196 640 0 31425 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 128276

[startup+102.306 s]
/proc/loadavg: 0.90 0.31 0.11 2/66 10348
/proc/meminfo: memFree=1415960/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=182604 CPUtime=102.25
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 45917 0 0 0 10197 28 0 0 25 0 1 0 191231618 186986496 43219 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 45651 43219 196 640 0 45007 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 182604

[startup+162.302 s]
/proc/loadavg: 1.02 0.45 0.17 2/66 10354
/proc/meminfo: memFree=1365336/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=233584 CPUtime=162.22
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 58675 0 0 0 16187 35 0 0 25 0 1 0 191231618 239190016 55977 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 58396 55977 197 640 0 57752 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 233584

[startup+222.302 s]
/proc/loadavg: 1.06 0.56 0.22 2/66 10354
/proc/meminfo: memFree=1312984/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=285276 CPUtime=222.2
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 71591 0 0 0 22177 43 0 0 25 0 1 0 191231618 292122624 68893 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 71319 68893 197 640 0 70675 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 285276

[startup+282.301 s]
/proc/loadavg: 1.07 0.65 0.27 2/66 10354
/proc/meminfo: memFree=1273112/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=325192 CPUtime=282.18
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 81586 0 0 0 28171 47 0 0 25 0 1 0 191231618 332996608 78888 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 81298 78888 197 640 0 80654 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 325192

[startup+342.301 s]
/proc/loadavg: 1.07 0.73 0.32 2/66 10354
/proc/meminfo: memFree=1245400/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=352720 CPUtime=342.15
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 88468 0 0 0 34163 52 0 0 25 0 1 0 191231618 361185280 85770 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 88180 85770 197 640 0 87536 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 352720

[startup+402.301 s]
/proc/loadavg: 1.06 0.79 0.37 2/66 10354
/proc/meminfo: memFree=1218584/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=379692 CPUtime=402.13
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 95198 0 0 0 40158 55 0 0 25 0 1 0 191231618 388804608 92500 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 94923 92500 197 640 0 94279 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 379692

[startup+462.302 s]
/proc/loadavg: 1.06 0.84 0.41 2/66 10354
/proc/meminfo: memFree=1194008/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=404096 CPUtime=462.11
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 101309 0 0 0 46152 59 0 0 25 0 1 0 191231618 413794304 98611 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 101024 98611 197 640 0 100380 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 404096

[startup+522.302 s]
/proc/loadavg: 1.06 0.88 0.45 2/66 10354
/proc/meminfo: memFree=1172440/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=425760 CPUtime=522.08
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 106731 0 0 0 52147 61 0 0 25 0 1 0 191231618 435978240 104033 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 106440 104033 197 640 0 105796 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 425760

[startup+582.302 s]
/proc/loadavg: 1.13 0.93 0.49 2/66 10354
/proc/meminfo: memFree=1147800/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=450252 CPUtime=582.06
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 112849 0 0 0 58142 64 0 0 25 0 1 0 191231618 461058048 110151 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 112563 110151 197 640 0 111919 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 450252

[startup+642.302 s]
/proc/loadavg: 1.12 0.96 0.52 2/66 10354
/proc/meminfo: memFree=1128472/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=469256 CPUtime=642.04
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 117598 0 0 0 64137 67 0 0 25 0 1 0 191231618 480518144 114900 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 117314 114900 197 640 0 116670 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 469256

[startup+702.301 s]

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

/proc/meminfo: memFree=1001816/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=595652 CPUtime=1061.88
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 149205 0 0 0 106102 86 0 0 25 0 1 0 191231618 609947648 146507 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 148913 146507 197 640 0 148269 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 595652

[startup+1122.3 s]
/proc/loadavg: 1.06 1.05 0.73 2/66 10354
/proc/meminfo: memFree=985240/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=612192 CPUtime=1121.86
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 153320 0 0 0 112098 88 0 0 25 0 1 0 191231618 626884608 150622 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 153048 150622 197 640 0 152404 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 612192

[startup+1182.3 s]
/proc/loadavg: 1.06 1.05 0.75 2/66 10354
/proc/meminfo: memFree=968920/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=628704 CPUtime=1181.83
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 157452 0 0 0 118093 90 0 0 25 0 1 0 191231618 643792896 154754 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 157176 154754 197 640 0 156532 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 628704

[startup+1242.3 s]
/proc/loadavg: 1.13 1.07 0.77 2/66 10354
/proc/meminfo: memFree=954328/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=642972 CPUtime=1241.82
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 161036 0 0 0 124089 93 0 0 25 0 1 0 191231618 658403328 158338 1992294400 134512640 137136520 4294956256 18446744073709551615 134543939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 160743 158338 197 640 0 160099 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 642972

[startup+1302.3 s]
/proc/loadavg: 1.12 1.07 0.79 2/66 10354
/proc/meminfo: memFree=940056/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=657188 CPUtime=1301.8
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 164572 0 0 0 130085 95 0 0 25 0 1 0 191231618 672960512 161874 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 164297 161874 197 640 0 163653 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 657188

[startup+1362.3 s]
/proc/loadavg: 1.11 1.07 0.80 2/66 10354
/proc/meminfo: memFree=927000/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=670272 CPUtime=1361.77
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 167860 0 0 0 136081 96 0 0 25 0 1 0 191231618 686358528 165162 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 167568 165162 197 640 0 166924 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 670272

[startup+1422.31 s]
/proc/loadavg: 1.10 1.07 0.82 2/66 10354
/proc/meminfo: memFree=914904/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=682152 CPUtime=1421.75
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 170833 0 0 0 142078 97 0 0 25 0 1 0 191231618 698523648 168135 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 170538 168135 197 640 0 169894 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 682152

[startup+1482.3 s]
/proc/loadavg: 1.09 1.07 0.83 2/66 10354
/proc/meminfo: memFree=903000/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=694320 CPUtime=1481.72
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 173846 0 0 0 148073 99 0 0 25 0 1 0 191231618 710983680 171148 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 173580 171148 197 640 0 172936 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 694320

[startup+1542.3 s]
/proc/loadavg: 1.08 1.07 0.84 2/66 10354
/proc/meminfo: memFree=891992/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=705108 CPUtime=1541.7
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 176552 0 0 0 154070 100 0 0 25 0 1 0 191231618 722030592 173854 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 176277 173854 197 640 0 175633 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 705108

[startup+1602.3 s]
/proc/loadavg: 1.08 1.07 0.85 2/66 10354
/proc/meminfo: memFree=880856/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=716396 CPUtime=1601.68
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 179374 0 0 0 160065 103 0 0 25 0 1 0 191231618 733589504 176676 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 179099 176676 197 640 0 178455 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 716396

[startup+1662.3 s]
/proc/loadavg: 1.07 1.07 0.87 2/66 10354
/proc/meminfo: memFree=868824/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=728120 CPUtime=1661.66
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 182313 0 0 0 166061 105 0 0 25 0 1 0 191231618 745594880 179615 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 182030 179615 197 640 0 181386 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 728120

[startup+1722.3 s]
/proc/loadavg: 1.07 1.06 0.88 2/66 10354
/proc/meminfo: memFree=857752/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=739344 CPUtime=1721.63
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 185115 0 0 0 172056 107 0 0 25 0 1 0 191231618 757088256 182417 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 184836 182417 197 640 0 184192 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 739344

[startup+1782.3 s]
/proc/loadavg: 1.06 1.06 0.89 2/66 10354
/proc/meminfo: memFree=845848/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=751096 CPUtime=1781.61
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 188049 0 0 0 178052 109 0 0 25 0 1 0 191231618 769122304 185351 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 187774 185351 197 640 0 187130 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 751096

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

[startup+1791.91 s]
/proc/loadavg: 1.13 1.08 0.89 2/66 10354
/proc/meminfo: memFree=844056/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=752784 CPUtime=1791.21
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 188491 0 0 0 179012 109 0 0 25 0 1 0 191231618 770850816 185793 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 188196 185793 197 640 0 187552 0
Current children cumulated CPU time (s) 1791.21
Current children cumulated vsize (KiB) 752784

[startup+1795.1 s]
/proc/loadavg: 1.12 1.08 0.89 2/66 10354
/proc/meminfo: memFree=843416/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=753464 CPUtime=1794.41
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 188645 0 0 0 179332 109 0 0 25 0 1 0 191231618 771547136 185947 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 188366 185947 197 640 0 187722 0
Current children cumulated CPU time (s) 1794.41
Current children cumulated vsize (KiB) 753464

[startup+1796.7 s]
/proc/loadavg: 1.12 1.08 0.89 2/66 10354
/proc/meminfo: memFree=843224/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=753684 CPUtime=1796
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 188714 0 0 0 179491 109 0 0 25 0 1 0 191231618 771772416 186016 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 188421 186016 197 640 0 187777 0
Current children cumulated CPU time (s) 1796
Current children cumulated vsize (KiB) 753684

[startup+1798.3 s]
/proc/loadavg: 1.12 1.08 0.89 2/66 10354
/proc/meminfo: memFree=843032/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=754176 CPUtime=1797.6
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 188816 0 0 0 179651 109 0 0 25 0 1 0 191231618 772276224 186118 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 188544 186118 197 640 0 187900 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 754176

[startup+1798.7 s]
/proc/loadavg: 1.12 1.08 0.89 2/66 10354
/proc/meminfo: memFree=842648/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=754176 CPUtime=1798
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194304 188837 0 0 0 179691 109 0 0 25 0 1 0 191231618 772276224 186139 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 188544 186139 197 640 0 187900 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 754176

[startup+1798.9 s]
/proc/loadavg: 1.12 1.08 0.89 2/66 10354
/proc/meminfo: memFree=842648/2055920 swapFree=4182400/4192956
[pid=10347] ppid=10345 vsize=0 CPUtime=1798.21
/proc/10347/stat : 10347 (bsolo) R 10345 10347 10304 0 -1 4194308 188847 0 0 0 179702 119 0 0 25 0 1 0 191231618 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10347/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.21
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.92
CPU time (s): 1798.24
CPU user time (s): 1797.02
CPU system time (s): 1.21481
CPU usage (%): 99.9619
Max. virtual memory (cumulated for all children) (KiB): 754296

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

runsolver used 1.72874 second user time and 4.82127 second system time

The end