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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879882-1245236325/watcher-1879882-1245236325 -o /tmp/evaluation-result-1879882-1245236325/solver-1879882-1245236325 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879882-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.08 0.02 0.01 3/64 6257
/proc/meminfo: memFree=1382664/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=13360 CPUtime=0
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 191228314 13680640 248 1992294400 134512640 137136520 4294956256 18446744073709551615 134520635 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 3340 249 175 640 0 2038 0

[startup+0.0187631 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 6257
/proc/meminfo: memFree=1382664/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=13772 CPUtime=0.01
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 396 0 0 0 1 0 0 0 18 0 1 0 191228314 14102528 380 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 3443 381 200 640 0 2141 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13772

[startup+0.101776 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 6257
/proc/meminfo: memFree=1382664/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=16384 CPUtime=0.09
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 1202 0 0 0 9 0 0 0 18 0 1 0 191228314 16777216 1186 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 4096 1187 355 640 0 2794 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16384

[startup+0.301809 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 6257
/proc/meminfo: memFree=1382664/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=22572 CPUtime=0.29
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 3119 0 0 0 28 1 0 0 19 0 1 0 191228314 23113728 3103 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 5643 3103 732 640 0 4341 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22572

[startup+0.701875 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 6257
/proc/meminfo: memFree=1382664/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=30256 CPUtime=0.69
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 5799 0 0 0 66 3 0 0 23 0 1 0 191228314 30982144 5125 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 7564 5125 190 640 0 6920 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30256

[startup+1.50201 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 6258
/proc/meminfo: memFree=1362880/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=30256 CPUtime=1.49
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 5799 0 0 0 144 5 0 0 25 0 1 0 191228314 30982144 5125 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 7564 5125 190 640 0 6920 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30256

[startup+3.10128 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 6258
/proc/meminfo: memFree=1362752/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=30256 CPUtime=3.09
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 5799 0 0 0 301 8 0 0 25 0 1 0 191228314 30982144 5125 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 7564 5125 190 640 0 6920 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30256

[startup+6.30181 s]
/proc/loadavg: 0.15 0.03 0.01 2/65 6258
/proc/meminfo: memFree=1356800/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=40584 CPUtime=6.29
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 10079 0 0 0 615 14 0 0 25 0 1 0 191228314 41558016 7727 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 10146 7727 196 640 0 9502 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40584

[startup+12.7019 s]
/proc/loadavg: 0.22 0.05 0.02 2/65 6258
/proc/meminfo: memFree=1334144/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=60044 CPUtime=12.69
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 14940 0 0 0 1252 17 0 0 25 0 1 0 191228314 61485056 12588 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 15011 12588 197 640 0 14367 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60044

[startup+25.502 s]
/proc/loadavg: 0.39 0.09 0.03 2/65 6258
/proc/meminfo: memFree=1305664/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=87328 CPUtime=25.48
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 21774 0 0 0 2528 20 0 0 25 0 1 0 191228314 89423872 19422 1992294400 134512640 137136520 4294956256 18446744073709551615 136498244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 21832 19422 197 640 0 21188 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87328

[startup+51.1013 s]
/proc/loadavg: 0.60 0.17 0.05 2/65 6258
/proc/meminfo: memFree=1266304/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=126976 CPUtime=51.07
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 31679 0 0 0 5081 26 0 0 25 0 1 0 191228314 130023424 29327 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 31744 29327 197 640 0 31100 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 126976

[startup+102.306 s]
/proc/loadavg: 0.82 0.29 0.10 2/65 6258
/proc/meminfo: memFree=1220416/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=172300 CPUtime=102.25
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 43008 0 0 0 10194 31 0 0 25 0 1 0 191228314 176435200 40656 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 43075 40656 197 640 0 42431 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 172300

[startup+162.302 s]
/proc/loadavg: 0.93 0.42 0.15 2/65 6264
/proc/meminfo: memFree=1179328/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=213616 CPUtime=162.22
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 53332 0 0 0 16187 35 0 0 25 0 1 0 191228314 218742784 50980 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 53404 50980 197 640 0 52760 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 213616

[startup+222.302 s]
/proc/loadavg: 0.97 0.52 0.20 2/65 6264
/proc/meminfo: memFree=1138176/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=254416 CPUtime=222.21
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 63541 0 0 0 22180 41 0 0 25 0 1 0 191228314 260521984 61189 1992294400 134512640 137136520 4294956256 18446744073709551615 134544387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 63604 61189 197 640 0 62960 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 254416

[startup+282.302 s]
/proc/loadavg: 0.99 0.61 0.25 2/65 6264
/proc/meminfo: memFree=1101760/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=290992 CPUtime=282.19
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 72698 0 0 0 28173 46 0 0 25 0 1 0 191228314 297975808 70346 1992294400 134512640 137136520 4294956256 18446744073709551615 134573386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 72748 70346 197 640 0 72104 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 290992

[startup+342.302 s]
/proc/loadavg: 0.99 0.67 0.30 2/65 6264
/proc/meminfo: memFree=1069760/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=322808 CPUtime=342.17
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 80631 0 0 0 34167 50 0 0 25 0 1 0 191228314 330555392 78279 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 80702 78279 197 640 0 80058 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 322808

[startup+402.302 s]
/proc/loadavg: 0.99 0.73 0.34 2/65 6264
/proc/meminfo: memFree=1037504/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=355196 CPUtime=402.15
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 88744 0 0 0 40161 54 0 0 25 0 1 0 191228314 363720704 86392 1992294400 134512640 137136520 4294956256 18446744073709551615 136509148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 88799 86392 197 640 0 88155 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 355196

[startup+462.301 s]
/proc/loadavg: 1.06 0.79 0.38 2/65 6264
/proc/meminfo: memFree=1010560/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=381724 CPUtime=462.13
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 95380 0 0 0 46156 57 0 0 25 0 1 0 191228314 390885376 93028 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 95431 93028 197 640 0 94787 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 381724

[startup+522.301 s]
/proc/loadavg: 1.02 0.83 0.42 2/65 6264
/proc/meminfo: memFree=986496/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=406064 CPUtime=522.1
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 101453 0 0 0 52150 60 0 0 25 0 1 0 191228314 415809536 99101 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 101516 99101 197 640 0 100872 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 406064

[startup+582.301 s]
/proc/loadavg: 1.00 0.86 0.45 2/65 6264
/proc/meminfo: memFree=962560/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=429648 CPUtime=582.09
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 107359 0 0 0 58146 63 0 0 25 0 1 0 191228314 439959552 105007 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 107412 105007 197 640 0 106768 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 429648

[startup+642.301 s]
/proc/loadavg: 1.00 0.88 0.48 2/65 6264
/proc/meminfo: memFree=941952/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=450068 CPUtime=642.07
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 112454 0 0 0 64141 66 0 0 25 0 1 0 191228314 460869632 110102 1992294400 134512640 137136520 4294956256 18446744073709551615 134544127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 112517 110102 197 640 0 111873 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 450068

[startup+702.301 s]

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

/proc/meminfo: memFree=813760/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=578056 CPUtime=1061.93
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 144459 0 0 0 106108 85 0 0 25 0 1 0 191228314 591929344 142107 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 144514 142107 197 640 0 143870 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 578056

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.67 2/65 6264
/proc/meminfo: memFree=799488/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=592328 CPUtime=1121.92
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 148014 0 0 0 112103 89 0 0 25 0 1 0 191228314 606543872 145662 1992294400 134512640 137136520 4294956256 18446744073709551615 134616028 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 148082 145662 197 640 0 147438 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 592328

[startup+1182.3 s]
/proc/loadavg: 1.06 0.99 0.70 2/65 6264
/proc/meminfo: memFree=782336/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=609568 CPUtime=1181.9
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 152321 0 0 0 118098 92 0 0 25 0 1 0 191228314 624197632 149969 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 152392 149969 197 640 0 151748 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 609568

[startup+1242.3 s]
/proc/loadavg: 1.08 1.00 0.72 2/65 6264
/proc/meminfo: memFree=768768/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=622904 CPUtime=1241.88
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 155671 0 0 0 124094 94 0 0 25 0 1 0 191228314 637853696 153319 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 155726 153319 197 640 0 155082 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 622904

[startup+1302.3 s]
/proc/loadavg: 1.03 1.00 0.73 2/65 6264
/proc/meminfo: memFree=754432/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=637104 CPUtime=1301.86
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 159212 0 0 0 130091 95 0 0 25 0 1 0 191228314 652394496 156860 1992294400 134512640 137136520 4294956256 18446744073709551615 134544396 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 159276 156860 197 640 0 158632 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 637104

[startup+1362.3 s]
/proc/loadavg: 1.01 1.00 0.75 2/65 6264
/proc/meminfo: memFree=742720/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=648840 CPUtime=1361.85
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 162138 0 0 0 136087 98 0 0 25 0 1 0 191228314 664412160 159786 1992294400 134512640 137136520 4294956256 18446744073709551615 136501956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 162210 159786 197 640 0 161566 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 648840

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.76 2/65 6264
/proc/meminfo: memFree=730432/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=660960 CPUtime=1421.83
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 165185 0 0 0 142084 99 0 0 25 0 1 0 191228314 676823040 162833 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 165240 162833 197 640 0 164596 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 660960

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.77 2/65 6264
/proc/meminfo: memFree=717632/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=673812 CPUtime=1481.8
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 168396 0 0 0 148079 101 0 0 25 0 1 0 191228314 689983488 166044 1992294400 134512640 137136520 4294956256 18446744073709551615 136499623 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 168453 166044 197 640 0 167809 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 673812

[startup+1542.3 s]
/proc/loadavg: 1.03 1.01 0.79 2/65 6264
/proc/meminfo: memFree=704960/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=686476 CPUtime=1541.78
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 171555 0 0 0 154076 102 0 0 25 0 1 0 191228314 702951424 169203 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 171619 169203 197 640 0 170975 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 686476

[startup+1602.3 s]
/proc/loadavg: 1.01 1.01 0.80 2/65 6264
/proc/meminfo: memFree=691904/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=699408 CPUtime=1601.76
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 174799 0 0 0 160072 104 0 0 25 0 1 0 191228314 716193792 172447 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 174852 172447 197 640 0 174208 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 699408

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.81 2/65 6264
/proc/meminfo: memFree=677696/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=713676 CPUtime=1661.75
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 178352 0 0 0 166069 106 0 0 25 0 1 0 191228314 730804224 176000 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 178419 176000 197 640 0 177775 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 713676

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.82 2/65 6264
/proc/meminfo: memFree=662592/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=728832 CPUtime=1721.72
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 182132 0 0 0 172064 108 0 0 25 0 1 0 191228314 746323968 179780 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 182208 179780 197 640 0 181564 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 728832

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.83 2/65 6264
/proc/meminfo: memFree=650880/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=740356 CPUtime=1781.71
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 185029 0 0 0 178061 110 0 0 25 0 1 0 191228314 758124544 182677 1992294400 134512640 137136520 4294956256 18446744073709551615 134543884 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 185089 182677 197 640 0 184445 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 740356

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.83 2/65 6264
/proc/meminfo: memFree=648192/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=743048 CPUtime=1791.31
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 185691 0 0 0 179021 110 0 0 25 0 1 0 191228314 760881152 183339 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 185762 183339 197 640 0 185118 0
Current children cumulated CPU time (s) 1791.31
Current children cumulated vsize (KiB) 743048

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.83 2/65 6264
/proc/meminfo: memFree=647616/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=743604 CPUtime=1794.5
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 185830 0 0 0 179340 110 0 0 25 0 1 0 191228314 761450496 183478 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 185901 183478 197 640 0 185257 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 743604

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.83 2/65 6264
/proc/meminfo: memFree=647360/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=743944 CPUtime=1796.1
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 185912 0 0 0 179500 110 0 0 25 0 1 0 191228314 761798656 183560 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 185986 183560 197 640 0 185342 0
Current children cumulated CPU time (s) 1796.1
Current children cumulated vsize (KiB) 743944

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 0.83 2/65 6264
/proc/meminfo: memFree=647104/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=744072 CPUtime=1796.9
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 185957 0 0 0 179580 110 0 0 25 0 1 0 191228314 761929728 183605 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 186018 183605 197 640 0 185374 0
Current children cumulated CPU time (s) 1796.9
Current children cumulated vsize (KiB) 744072

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.83 2/65 6264
/proc/meminfo: memFree=647104/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=744192 CPUtime=1797.7
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194304 185981 0 0 0 179660 110 0 0 25 0 1 0 191228314 762052608 183629 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 186048 183629 197 640 0 185404 0
Current children cumulated CPU time (s) 1797.7
Current children cumulated vsize (KiB) 744192

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 0.83 2/65 6264
/proc/meminfo: memFree=646912/2055920 swapFree=4192956/4192956
[pid=6257] ppid=6255 vsize=0 CPUtime=1798.1
/proc/6257/stat : 6257 (bsolo) R 6255 6257 6214 0 -1 4194308 186010 0 0 0 179693 117 0 0 25 0 1 0 191228314 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6257/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.1
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.75
CPU time (s): 1798.16
CPU user time (s): 1796.94
CPU system time (s): 1.22381
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 744316

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

runsolver used 1.22181 second user time and 3.84741 second system time

The end