runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node23/watcher-353423-1176665476 -o ROOT/results/node23/solver-353423-1176665476 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353423-1176665476/instance-353423-1176665476.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 1.02 1.00 3/77 30290
/proc/meminfo: memFree=1810656/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=12696 CPUtime=0
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 114464738 13000704 334 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 3174 335 281 324 0 2003 0

[startup+0.078352 s]
/proc/loadavg: 0.92 1.02 1.00 3/77 30290
/proc/meminfo: memFree=1810656/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=6812 CPUtime=0.07
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 949 0 0 0 7 0 0 0 18 0 1 0 114464738 6975488 917 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 1703 917 391 324 0 532 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6812

[startup+0.101369 s]
/proc/loadavg: 0.92 1.02 1.00 3/77 30290
/proc/meminfo: memFree=1810656/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=7364 CPUtime=0.09
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 1125 0 0 0 9 0 0 0 18 0 1 0 114464738 7540736 1093 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 1841 1093 425 324 0 670 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7364

[startup+0.301395 s]
/proc/loadavg: 0.92 1.02 1.00 3/77 30290
/proc/meminfo: memFree=1810656/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=11352 CPUtime=0.29
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 2475 0 0 0 27 2 0 0 19 0 1 0 114464738 11624448 2203 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 2838 2203 307 324 0 1907 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11352

[startup+0.701473 s]
/proc/loadavg: 0.92 1.02 1.00 3/77 30290
/proc/meminfo: memFree=1810656/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=11352 CPUtime=0.69
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 2475 0 0 0 66 3 0 0 22 0 1 0 114464738 11624448 2203 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 2838 2203 307 324 0 1907 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11352

[startup+1.50263 s]
/proc/loadavg: 0.92 1.02 1.00 2/78 30291
/proc/meminfo: memFree=1801048/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=22416 CPUtime=1.5
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 5541 0 0 0 144 6 0 0 25 0 1 0 114464738 22953984 4976 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 5604 4976 312 324 0 4673 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 22416

[startup+3.10194 s]
/proc/loadavg: 0.92 1.02 1.00 2/78 30291
/proc/meminfo: memFree=1782296/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=40512 CPUtime=3.09
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 10073 0 0 0 301 8 0 0 25 0 1 0 114464738 41484288 9508 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 10128 9508 312 324 0 9197 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40512

[startup+6.30156 s]
/proc/loadavg: 0.93 1.02 1.00 2/78 30291
/proc/meminfo: memFree=1753376/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=68228 CPUtime=6.29
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 16985 0 0 0 619 10 0 0 25 0 1 0 114464738 69865472 16420 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 17057 16420 312 324 0 16126 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68228

[startup+12.7018 s]
/proc/loadavg: 0.93 1.02 1.00 2/78 30291
/proc/meminfo: memFree=1703392/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=114872 CPUtime=12.69
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 28662 0 0 0 1252 17 0 0 25 0 1 0 114464738 117628928 28097 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 28718 28097 312 324 0 27787 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 114872

[startup+25.5013 s]
/proc/loadavg: 1.01 1.04 1.00 2/78 30291
/proc/meminfo: memFree=1653024/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=161864 CPUtime=25.48
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 40401 0 0 0 2525 23 0 0 25 0 1 0 114464738 165748736 39836 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 40466 39836 312 324 0 39535 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 161864

[startup+51.1012 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 30291
/proc/meminfo: memFree=1588512/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=228232 CPUtime=51.08
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 57012 0 0 0 5074 34 0 0 25 0 1 0 114464738 233709568 56447 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 57058 56447 312 324 0 56127 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 228232

[startup+102.305 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 30291
/proc/meminfo: memFree=1470816/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=342692 CPUtime=102.26
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 85631 0 0 0 10174 52 0 0 25 0 1 0 114464738 350916608 85066 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 85673 85066 312 324 0 84742 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 342692

[startup+162.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 30291
/proc/meminfo: memFree=1441120/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=372204 CPUtime=162.23
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 93027 0 0 0 16166 57 0 0 25 0 1 0 114464738 381136896 92424 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 93051 92424 312 324 0 92120 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 372204

[startup+222.301 s]
/proc/loadavg: 1.04 1.03 1.00 2/78 30291
/proc/meminfo: memFree=1441120/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=372204 CPUtime=222.21
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 93027 0 0 0 22160 61 0 0 25 0 1 0 114464738 381136896 92424 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 93051 92424 312 324 0 92120 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 372204

[startup+282.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 30291
/proc/meminfo: memFree=1441120/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=372204 CPUtime=282.19
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 93027 0 0 0 28155 64 0 0 25 0 1 0 114464738 381136896 92424 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 93051 92424 312 324 0 92120 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 372204

[startup+342.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 30291
/proc/meminfo: memFree=1405728/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=407820 CPUtime=342.16
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 101935 0 0 0 34145 71 0 0 25 0 1 0 114464738 417607680 101332 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 101955 101332 312 324 0 101024 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 407820

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 30293
/proc/meminfo: memFree=1405216/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=407820 CPUtime=402.14
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 101989 0 0 0 40141 73 0 0 25 0 1 0 114464738 417607680 101344 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 101955 101344 312 324 0 101024 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 407820

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30293
/proc/meminfo: memFree=1405216/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=407820 CPUtime=462.12
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 101989 0 0 0 46136 76 0 0 25 0 1 0 114464738 417607680 101344 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 101955 101344 312 324 0 101024 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 407820

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30293
/proc/meminfo: memFree=1405216/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=407820 CPUtime=522.1
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 101989 0 0 0 52131 79 0 0 25 0 1 0 114464738 417607680 101344 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 101955 101344 312 324 0 101024 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 407820

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30293
/proc/meminfo: memFree=1387040/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=426412 CPUtime=582.08
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 106618 0 0 0 58124 84 0 0 25 0 1 0 114464738 436645888 105973 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 106603 105973 312 324 0 105672 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 426412

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30293
/proc/meminfo: memFree=1366048/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=446916 CPUtime=642.06
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 111790 0 0 0 64116 90 0 0 25 0 1 0 114464738 457641984 111099 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 111729 111099 312 324 0 110798 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 446916


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

/proc/meminfo: memFree=1323040/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=489784 CPUtime=1061.89
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 122579 0 0 0 106077 112 0 0 25 0 1 0 114464738 501538816 121837 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 122446 121837 312 324 0 121515 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 489784

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30293
/proc/meminfo: memFree=1323040/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=489784 CPUtime=1121.87
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 122579 0 0 0 112073 114 0 0 25 0 1 0 114464738 501538816 121837 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 122446 121837 312 324 0 121515 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 489784

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30293
/proc/meminfo: memFree=1323040/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=489784 CPUtime=1181.85
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 122579 0 0 0 118069 116 0 0 25 0 1 0 114464738 501538816 121837 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 122446 121837 312 324 0 121515 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 489784

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30293
/proc/meminfo: memFree=1325344/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=487424 CPUtime=1241.83
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 122579 0 0 0 124063 120 0 0 25 0 1 0 114464738 499122176 121249 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 121856 121249 312 324 0 120925 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 487424

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30293
/proc/meminfo: memFree=1325344/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=487424 CPUtime=1301.82
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 122579 0 0 0 130058 124 0 0 25 0 1 0 114464738 499122176 121249 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 121856 121249 312 324 0 120925 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 487424

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30293
/proc/meminfo: memFree=1325344/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=487420 CPUtime=1361.78
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 122579 0 0 0 136051 127 0 0 25 0 1 0 114464738 499118080 121248 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 121855 121248 312 324 0 120924 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 487420

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30293
/proc/meminfo: memFree=1325344/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=487420 CPUtime=1421.77
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 122579 0 0 0 142047 130 0 0 25 0 1 0 114464738 499118080 121248 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 121855 121248 312 324 0 120924 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 487420

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30293
/proc/meminfo: memFree=1325344/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=487420 CPUtime=1481.74
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 122579 0 0 0 148041 133 0 0 25 0 1 0 114464738 499118080 121248 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 121855 121248 312 324 0 120924 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 487420

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30293
/proc/meminfo: memFree=1325344/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=487420 CPUtime=1541.72
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 122579 0 0 0 154037 135 0 0 25 0 1 0 114464738 499118080 121248 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 121855 121248 312 324 0 120924 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 487420

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30293
/proc/meminfo: memFree=1325344/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=487420 CPUtime=1601.69
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 122579 0 0 0 160032 137 0 0 25 0 1 0 114464738 499118080 121248 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 121855 121248 312 324 0 120924 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 487420

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30293
/proc/meminfo: memFree=1325344/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=487420 CPUtime=1661.67
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 122579 0 0 0 166028 139 0 0 25 0 1 0 114464738 499118080 121248 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 121855 121248 312 324 0 120924 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 487420

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30293
/proc/meminfo: memFree=1325344/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=487420 CPUtime=1721.65
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 122579 0 0 0 172024 141 0 0 25 0 1 0 114464738 499118080 121248 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 121855 121248 312 324 0 120924 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 487420

[startup+1782.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 30293
/proc/meminfo: memFree=1325344/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=487420 CPUtime=1781.63
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 122579 0 0 0 178019 144 0 0 25 0 1 0 114464738 499118080 121248 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2936595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 121855 121248 312 324 0 120924 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 487420

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

[startup+1791.91 s]
/proc/loadavg: 1.06 1.02 1.00 2/84 30365
/proc/meminfo: memFree=1324080/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=487420 CPUtime=1791.2
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 122579 0 0 0 178975 145 0 0 25 0 1 0 114464738 499118080 121248 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 2925877 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 121855 121248 312 324 0 120924 0
Current children cumulated CPU time (s) 1791.2
Current children cumulated vsize (KiB) 487420

[startup+1795.1 s]
/proc/loadavg: 1.06 1.01 1.00 2/84 30367
/proc/meminfo: memFree=1324080/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=487420 CPUtime=1794.4
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 122579 0 0 0 179295 145 0 0 25 0 1 0 114464738 499118080 121248 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 121855 121248 312 324 0 120924 0
Current children cumulated CPU time (s) 1794.4
Current children cumulated vsize (KiB) 487420

[startup+1798.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/84 30367
/proc/meminfo: memFree=1324080/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=487420 CPUtime=1797.59
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 122579 0 0 0 179614 145 0 0 25 0 1 0 114464738 499118080 121248 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 121855 121248 312 324 0 120924 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 487420

[startup+1799.9 s]
/proc/loadavg: 1.05 1.01 1.00 2/84 30375
/proc/meminfo: memFree=1324016/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=487420 CPUtime=1799.19
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 122579 0 0 0 179774 145 0 0 25 0 1 0 114464738 499118080 121248 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 121855 121248 312 324 0 120924 0
Current children cumulated CPU time (s) 1799.19
Current children cumulated vsize (KiB) 487420

[startup+1800.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/84 30375
/proc/meminfo: memFree=1324016/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=487420 CPUtime=1799.59
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 122579 0 0 0 179814 145 0 0 25 0 1 0 114464738 499118080 121248 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 121855 121248 312 324 0 120924 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (KiB) 487420

[startup+1800.71 s]
/proc/loadavg: 1.05 1.01 1.00 2/84 30383
/proc/meminfo: memFree=1324080/2055920 swapFree=4169480/4192956
[pid=30290] ppid=30288 vsize=487420 CPUtime=1799.99
/proc/30290/stat : 30290 (bsolo3.0.16) R 30288 30290 30061 0 -1 4194304 122579 0 0 0 179854 145 0 0 25 0 1 0 114464738 499118080 121248 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30290/statm: 121855 121248 312 324 0 120924 0
Current children cumulated CPU time (s) 1799.99
Current children cumulated vsize (KiB) 487420

Child status: 0
Real time (s): 1800.79
CPU time (s): 1800.08
CPU user time (s): 1798.56
CPU system time (s): 1.52777
CPU usage (%): 99.9606
Max. virtual memory (cumulated for all children) (KiB): 489784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.56
system time used= 1.52777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122580
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= 14
involuntary context switches= 3033

runsolver used 2.25366 second user time and 4.23836 second system time

The end