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

command line: runsolver --timestamp -w ROOT/results/node24/watcher-454470-1178026573 -o ROOT/results/node24/solver-454470-1178026573 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454470-1178026573/instance-454470-1178026573.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.77 0.93 0.98 3/77 27321
/proc/meminfo: memFree=1845080/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=12144 CPUtime=0
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 250575394 12435456 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 3036 335 281 324 0 2003 0

[startup+0.044961 s]
/proc/loadavg: 0.77 0.93 0.98 3/77 27321
/proc/meminfo: memFree=1845080/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=6536 CPUtime=0.03
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 936 0 0 0 3 0 0 0 18 0 1 0 250575394 6692864 905 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 1634 905 314 324 0 601 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6536

[startup+0.101966 s]
/proc/loadavg: 0.77 0.93 0.98 3/77 27321
/proc/meminfo: memFree=1845080/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=9536 CPUtime=0.09
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 1723 0 0 0 9 0 0 0 18 0 1 0 250575394 9764864 1692 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 2384 1693 344 324 0 1351 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9536

[startup+0.301987 s]
/proc/loadavg: 0.77 0.93 0.98 3/77 27321
/proc/meminfo: memFree=1845080/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=21792 CPUtime=0.29
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 4884 0 0 0 27 2 0 0 19 0 1 0 250575394 22315008 4711 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 5448 4711 307 324 0 4517 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21792

[startup+0.70103 s]
/proc/loadavg: 0.77 0.93 0.98 3/77 27321
/proc/meminfo: memFree=1845080/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=21792 CPUtime=0.69
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 4884 0 0 0 67 2 0 0 23 0 1 0 250575394 22315008 4711 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 5448 4711 307 324 0 4517 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21792

[startup+1.50212 s]
/proc/loadavg: 0.77 0.93 0.98 2/78 27322
/proc/meminfo: memFree=1827088/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=24596 CPUtime=1.48
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 6037 0 0 0 144 4 0 0 25 0 1 0 250575394 25186304 5416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134587114 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 6149 5416 313 324 0 5218 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 24596

[startup+3.10129 s]
/proc/loadavg: 0.77 0.93 0.98 2/78 27322
/proc/meminfo: memFree=1814352/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=51056 CPUtime=3.09
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 12638 0 0 0 301 8 0 0 25 0 1 0 250575394 52281344 12017 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3038957 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 12764 12018 313 324 0 11833 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51056

[startup+6.30163 s]
/proc/loadavg: 0.79 0.94 0.98 2/78 27322
/proc/meminfo: memFree=1761936/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=97276 CPUtime=6.29
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 24183 0 0 0 615 14 0 0 25 0 1 0 250575394 99610624 23562 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 24319 23562 313 324 0 23388 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 97276

[startup+12.7013 s]
/proc/loadavg: 0.81 0.94 0.98 2/78 27322
/proc/meminfo: memFree=1689744/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=164480 CPUtime=12.69
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 41009 0 0 0 1247 22 0 0 25 0 1 0 250575394 168427520 40388 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 41120 40388 313 324 0 40189 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 164480

[startup+25.5017 s]
/proc/loadavg: 0.85 0.94 0.98 2/78 27322
/proc/meminfo: memFree=1563600/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=287656 CPUtime=25.48
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 71806 0 0 0 2512 36 0 0 25 0 1 0 250575394 294559744 71185 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 71914 71185 313 324 0 70983 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 287656

[startup+51.1015 s]
/proc/loadavg: 0.90 0.94 0.98 2/78 27322
/proc/meminfo: memFree=1432208/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=420180 CPUtime=51.06
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 104926 0 0 0 5053 53 0 0 25 0 1 0 250575394 430264320 104305 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 105045 104305 313 324 0 104114 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 420180

[startup+102.306 s]
/proc/loadavg: 0.95 0.95 0.98 2/78 27322
/proc/meminfo: memFree=1287760/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=560156 CPUtime=102.25
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 139966 0 0 0 10152 73 0 0 25 0 1 0 250575394 573599744 139297 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 140039 139297 313 324 0 139108 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 560156

[startup+162.301 s]
/proc/loadavg: 0.98 0.95 0.98 2/78 27322
/proc/meminfo: memFree=1287760/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=560156 CPUtime=162.23
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 139966 0 0 0 16146 77 0 0 25 0 1 0 250575394 573599744 139297 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 140039 139297 313 324 0 139108 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 560156

[startup+222.302 s]
/proc/loadavg: 0.99 0.96 0.98 2/78 27322
/proc/meminfo: memFree=1249488/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=598212 CPUtime=222.21
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 149537 0 0 0 22135 86 0 0 25 0 1 0 250575394 612569088 148816 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 149553 148816 313 324 0 148622 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 598212

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27324
/proc/meminfo: memFree=1249488/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=598212 CPUtime=282.2
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 149537 0 0 0 28129 91 0 0 25 0 1 0 250575394 612569088 148816 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 149553 148816 313 324 0 148622 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 598212

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27324
/proc/meminfo: memFree=1249552/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=598212 CPUtime=342.18
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 149537 0 0 0 34123 95 0 0 25 0 1 0 250575394 612569088 148816 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 149553 148816 313 324 0 148622 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 598212

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27324
/proc/meminfo: memFree=1227600/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=620056 CPUtime=402.17
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 155051 0 0 0 40116 101 0 0 25 0 1 0 250575394 634937344 154277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 155014 154277 313 324 0 154083 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 620056

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27324
/proc/meminfo: memFree=1227664/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=620056 CPUtime=462.15
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 155051 0 0 0 46110 105 0 0 25 0 1 0 250575394 634937344 154277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 155014 154277 313 324 0 154083 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 620056

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27324
/proc/meminfo: memFree=1227728/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=620056 CPUtime=522.13
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 155051 0 0 0 52106 107 0 0 25 0 1 0 250575394 634937344 154277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 155014 154277 313 324 0 154083 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 620056

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27324
/proc/meminfo: memFree=1227792/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=620056 CPUtime=582.11
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 155051 0 0 0 58102 109 0 0 25 0 1 0 250575394 634937344 154277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 155014 154277 313 324 0 154083 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 620056

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27324
/proc/meminfo: memFree=1203600/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=643984 CPUtime=642.1
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 161088 0 0 0 64094 116 0 0 25 0 1 0 250575394 659439616 160258 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 160996 160258 313 324 0 160065 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 643984


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27324
/proc/meminfo: memFree=1203728/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=643984 CPUtime=882.03
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 161150 0 0 0 88074 129 0 0 25 0 1 0 250575394 659439616 160264 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 160996 160264 313 324 0 160065 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 643984

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27324
/proc/meminfo: memFree=1203792/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=643984 CPUtime=942
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 161150 0 0 0 94067 133 0 0 25 0 1 0 250575394 659439616 160264 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 160996 160264 313 324 0 160065 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 643984

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27324
/proc/meminfo: memFree=1177168/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=670460 CPUtime=1002
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 167821 0 0 0 100061 139 0 0 25 0 1 0 250575394 686551040 166877 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 167615 166877 313 324 0 166684 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 670460

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27324
/proc/meminfo: memFree=1177168/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=670460 CPUtime=1061.98
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 167821 0 0 0 106055 143 0 0 25 0 1 0 250575394 686551040 166877 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551201 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 167615 166877 313 324 0 166684 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 670460

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27324
/proc/meminfo: memFree=1177232/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=670460 CPUtime=1121.96
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 167821 0 0 0 112051 145 0 0 25 0 1 0 250575394 686551040 166877 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3038964 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 167615 166877 313 324 0 166684 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 670460

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27324
/proc/meminfo: memFree=1177296/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=670460 CPUtime=1181.94
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 167821 0 0 0 118046 148 0 0 25 0 1 0 250575394 686551040 166877 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551516 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 167615 166877 313 324 0 166684 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 670460

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27324
/proc/meminfo: memFree=1306512/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=540976 CPUtime=1241.92
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 167879 0 0 0 124040 152 0 0 25 0 1 0 250575394 553959424 134517 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 135244 134517 313 324 0 134313 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 540976

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27324
/proc/meminfo: memFree=1340880/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=506656 CPUtime=1301.91
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 167879 0 0 0 130036 155 0 0 25 0 1 0 250575394 518815744 125937 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 126664 125937 313 324 0 125733 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 506656

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27324
/proc/meminfo: memFree=1340880/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=506656 CPUtime=1361.89
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 167879 0 0 0 136031 158 0 0 25 0 1 0 250575394 518815744 125937 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 126664 125937 313 324 0 125733 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 506656

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27324
/proc/meminfo: memFree=1327696/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=520064 CPUtime=1421.87
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 171207 0 0 0 142025 162 0 0 25 0 1 0 250575394 532545536 129265 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527350 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 130016 129265 313 324 0 129085 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 520064

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27324
/proc/meminfo: memFree=1237456/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=611272 CPUtime=1481.85
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 194009 0 0 0 148009 176 0 0 25 0 1 0 250575394 625942528 152067 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 152818 152067 313 324 0 151887 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 611272

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27522
/proc/meminfo: memFree=1177032/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=670400 CPUtime=1541.74
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 208852 0 0 0 153989 185 0 0 25 0 1 0 250575394 686489600 166852 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546306 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 167600 166852 313 324 0 166669 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 670400

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27522
/proc/meminfo: memFree=1177104/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=670400 CPUtime=1601.72
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 208852 0 0 0 159983 189 0 0 25 0 1 0 250575394 686489600 166852 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 167600 166852 313 324 0 166669 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 670400

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27522
/proc/meminfo: memFree=1177104/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=670400 CPUtime=1661.7
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 208852 0 0 0 165978 192 0 0 25 0 1 0 250575394 686489600 166852 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 167600 166852 313 324 0 166669 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 670400

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27522
/proc/meminfo: memFree=1147984/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=699324 CPUtime=1721.68
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 216143 0 0 0 171969 199 0 0 25 0 1 0 250575394 716107776 174083 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134547904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 174831 174083 313 324 0 173900 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 699324

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27522
/proc/meminfo: memFree=1148112/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=699324 CPUtime=1781.66
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194304 216143 0 0 0 177964 202 0 0 25 0 1 0 250575394 716107776 174083 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 174831 174083 313 324 0 173900 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 699324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27522
/proc/meminfo: memFree=1588624/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=0 CPUtime=1800.06
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194308 216144 0 0 0 179796 210 0 0 17 0 1 0 250575394 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 0

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27522
/proc/meminfo: memFree=1588624/2055920 swapFree=4143588/4192956
[pid=27321] ppid=27319 vsize=0 CPUtime=1800.06
/proc/27321/stat : 27321 (bsolo3.0.16) R 27319 27321 19478 0 -1 4194308 216144 0 0 0 179796 210 0 0 17 0 1 0 250575394 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27321/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.12
CPU user time (s): 1797.97
CPU system time (s): 2.14767
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 699564

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

runsolver used 1.42978 second user time and 4.15437 second system time

The end