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

command line: runsolver --timestamp -w ROOT/results/node5/watcher-454050-1178020569 -o ROOT/results/node5/solver-454050-1178020569 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454050-1178020569/instance-454050-1178020569.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.88 0.98 0.99 3/77 21022
/proc/meminfo: memFree=1914496/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=12692 CPUtime=0
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 278094554 12996608 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 3173 336 281 324 0 2003 0

[startup+0.0737119 s]
/proc/loadavg: 0.88 0.98 0.99 3/77 21022
/proc/meminfo: memFree=1914496/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=8688 CPUtime=0.06
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 1361 0 0 0 6 0 0 0 18 0 1 0 278094554 8896512 1330 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 2172 1330 328 324 0 1002 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8688

[startup+0.101716 s]
/proc/loadavg: 0.88 0.98 0.99 3/77 21022
/proc/meminfo: memFree=1914496/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=10200 CPUtime=0.08
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 1763 0 0 0 8 0 0 0 18 0 1 0 278094554 10444800 1732 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 2550 1733 344 324 0 1380 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10200

[startup+0.301739 s]
/proc/loadavg: 0.88 0.98 0.99 3/77 21022
/proc/meminfo: memFree=1914496/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=20720 CPUtime=0.29
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 4550 0 0 0 27 2 0 0 19 0 1 0 278094554 21217280 4400 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134538940 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 5180 4400 443 324 0 4010 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20720

[startup+0.701783 s]
/proc/loadavg: 0.88 0.98 0.99 3/77 21022
/proc/meminfo: memFree=1914496/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=46208 CPUtime=0.69
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 11076 0 0 0 64 5 0 0 23 0 1 0 278094554 47316992 10638 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 11552 10638 307 324 0 10621 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46208

[startup+1.50288 s]
/proc/loadavg: 0.88 0.98 0.99 2/78 21023
/proc/meminfo: memFree=1873080/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=46208 CPUtime=1.49
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 11076 0 0 0 144 5 0 0 25 0 1 0 278094554 47316992 10638 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 11552 10638 307 324 0 10621 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46208

[startup+3.10105 s]
/proc/loadavg: 0.88 0.98 0.99 2/78 21023
/proc/meminfo: memFree=1872952/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=46208 CPUtime=3.09
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 11076 0 0 0 304 5 0 0 25 0 1 0 278094554 47316992 10638 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 11552 10638 307 324 0 10621 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46208

[startup+6.30142 s]
/proc/loadavg: 0.89 0.98 0.99 2/78 21023
/proc/meminfo: memFree=1870264/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=48776 CPUtime=6.28
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 11847 0 0 0 617 11 0 0 25 0 1 0 278094554 49946624 11259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 12194 11259 309 324 0 11263 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 48776

[startup+12.7011 s]
/proc/loadavg: 0.90 0.98 0.99 2/78 21023
/proc/meminfo: memFree=1808440/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=115900 CPUtime=12.68
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 29562 0 0 0 1249 19 0 0 25 0 1 0 278094554 118681600 28074 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134587110 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 29008 28075 313 324 0 28077 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 115900

[startup+25.5016 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 21023
/proc/meminfo: memFree=1729656/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=191400 CPUtime=25.48
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 48413 0 0 0 2519 29 0 0 25 0 1 0 278094554 195993600 46925 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 47850 46925 313 324 0 46919 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 191400

[startup+51.1015 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 21023
/proc/meminfo: memFree=1608440/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=313448 CPUtime=51.07
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 78937 0 0 0 5061 46 0 0 25 0 1 0 278094554 320970752 77449 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134547815 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 78362 77449 313 324 0 77431 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 313448

[startup+102.305 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 21023
/proc/meminfo: memFree=1409400/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=509304 CPUtime=102.26
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 127886 0 0 0 10154 72 0 0 25 0 1 0 278094554 521527296 126398 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 127326 126398 313 324 0 126395 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 509304

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21023
/proc/meminfo: memFree=1241400/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=680644 CPUtime=162.24
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 170727 0 0 0 16128 96 0 0 25 0 1 0 278094554 696979456 169239 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 170161 169239 313 324 0 169230 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 680644

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21023
/proc/meminfo: memFree=1081272/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=836352 CPUtime=222.22
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 209657 0 0 0 22106 116 0 0 25 0 1 0 278094554 856424448 208169 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 209088 208169 313 324 0 208157 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 836352

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21023
/proc/meminfo: memFree=920248/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=999420 CPUtime=282.21
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 250430 0 0 0 28082 139 0 0 25 0 1 0 278094554 1023406080 248942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 249855 248942 313 324 0 248924 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 999420

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 21199
/proc/meminfo: memFree=767560/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1148204 CPUtime=342.09
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 287620 0 0 0 34048 161 0 0 25 0 1 0 278094554 1175760896 286132 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 287051 286132 313 324 0 286120 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 1148204

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21221
/proc/meminfo: memFree=678584/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1238260 CPUtime=402.07
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 310151 0 0 0 40032 175 0 0 25 0 1 0 278094554 1267978240 308663 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 309565 308663 313 324 0 308634 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 1238260

[startup+462.302 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 21221
/proc/meminfo: memFree=603384/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1313204 CPUtime=462.04
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 328884 0 0 0 46019 185 0 0 25 0 1 0 278094554 1344720896 327396 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 328301 327396 313 324 0 327370 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 1313204

[startup+522.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 21221
/proc/meminfo: memFree=538552/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1378452 CPUtime=522.03
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 345184 0 0 0 52006 197 0 0 25 0 1 0 278094554 1411534848 343696 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 344613 343696 313 324 0 343682 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 1378452

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21221
/proc/meminfo: memFree=413944/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1501360 CPUtime=582.02
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 376021 0 0 0 57988 214 0 0 25 0 1 0 278094554 1537392640 374412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 375340 374412 313 324 0 374409 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 1501360

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21221
/proc/meminfo: memFree=413944/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1501360 CPUtime=642
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 376021 0 0 0 63986 214 0 0 25 0 1 0 278094554 1537392640 374412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 375340 374412 313 324 0 374409 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 1501360


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21221
/proc/meminfo: memFree=413752/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1501360 CPUtime=881.94
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 376021 0 0 0 87974 220 0 0 25 0 1 0 278094554 1537392640 374412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 375340 374412 313 324 0 374409 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 1501360

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21221
/proc/meminfo: memFree=413688/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1501360 CPUtime=941.92
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 376021 0 0 0 93970 222 0 0 25 0 1 0 278094554 1537392640 374412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 375340 374412 313 324 0 374409 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 1501360

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21221
/proc/meminfo: memFree=413624/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1501360 CPUtime=1001.91
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 376021 0 0 0 99967 224 0 0 25 0 1 0 278094554 1537392640 374412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 375340 374412 313 324 0 374409 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 1501360

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21221
/proc/meminfo: memFree=413560/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1501360 CPUtime=1061.89
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 376021 0 0 0 105963 226 0 0 25 0 1 0 278094554 1537392640 374412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 375340 374412 313 324 0 374409 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 1501360

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21221
/proc/meminfo: memFree=413432/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1501360 CPUtime=1121.87
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 376021 0 0 0 111960 227 0 0 25 0 1 0 278094554 1537392640 374412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 375340 374412 313 324 0 374409 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 1501360

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21221
/proc/meminfo: memFree=413432/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1501360 CPUtime=1181.86
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 376021 0 0 0 117957 229 0 0 25 0 1 0 278094554 1537392640 374412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 375340 374412 313 324 0 374409 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 1501360

[startup+1242.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 21221
/proc/meminfo: memFree=413304/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1501360 CPUtime=1241.84
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 376021 0 0 0 123954 230 0 0 25 0 1 0 278094554 1537392640 374412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 375340 374412 313 324 0 374409 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1501360

[startup+1302.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 21221
/proc/meminfo: memFree=413176/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1501360 CPUtime=1301.83
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 376021 0 0 0 129952 231 0 0 25 0 1 0 278094554 1537392640 374412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 375340 374412 313 324 0 374409 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1501360

[startup+1362.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 21221
/proc/meminfo: memFree=413112/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1501360 CPUtime=1361.81
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 376021 0 0 0 135949 232 0 0 25 0 1 0 278094554 1537392640 374412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 375340 374412 313 324 0 374409 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1501360

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21221
/proc/meminfo: memFree=413048/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1501360 CPUtime=1421.8
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 376021 0 0 0 141946 234 0 0 25 0 1 0 278094554 1537392640 374412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 375340 374412 313 324 0 374409 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1501360

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21221
/proc/meminfo: memFree=413048/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1501360 CPUtime=1481.77
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 376021 0 0 0 147942 235 0 0 25 0 1 0 278094554 1537392640 374412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551374 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 375340 374412 313 324 0 374409 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1501360

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21221
/proc/meminfo: memFree=412984/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1501360 CPUtime=1541.76
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 376021 0 0 0 153939 237 0 0 25 0 1 0 278094554 1537392640 374412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 375340 374412 313 324 0 374409 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1501360

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21221
/proc/meminfo: memFree=412856/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1501360 CPUtime=1601.74
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 376021 0 0 0 159936 238 0 0 25 0 1 0 278094554 1537392640 374412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 375340 374412 313 324 0 374409 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1501360

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21221
/proc/meminfo: memFree=412792/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1501360 CPUtime=1661.73
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 376021 0 0 0 165933 240 0 0 25 0 1 0 278094554 1537392640 374412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 375340 374412 313 324 0 374409 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1501360

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21221
/proc/meminfo: memFree=412728/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1501360 CPUtime=1721.72
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 376021 0 0 0 171930 242 0 0 25 0 1 0 278094554 1537392640 374412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8324439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 375340 374412 313 324 0 374409 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1501360

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21221
/proc/meminfo: memFree=412600/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=1501360 CPUtime=1781.7
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194304 376021 0 0 0 177927 243 0 0 25 0 1 0 278094554 1537392640 374412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 375340 374412 313 324 0 374409 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1501360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21221
/proc/meminfo: memFree=977016/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=0 CPUtime=1800.1
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194308 376022 0 0 0 179758 252 0 0 17 0 1 0 278094554 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21221
/proc/meminfo: memFree=977016/2055920 swapFree=4149732/4192956
[pid=21022] ppid=21020 vsize=0 CPUtime=1800.2
/proc/21022/stat : 21022 (bsolo3.0.16) R 21020 21022 20401 0 -1 4194308 376022 0 0 0 179758 262 0 0 18 0 1 0 278094554 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21022/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.85
CPU time (s): 1800.25
CPU user time (s): 1797.58
CPU system time (s): 2.66759
CPU usage (%): 99.9664
Max. virtual memory (cumulated for all children) (KiB): 1501844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.58
system time used= 2.66759
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376022
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= 13
involuntary context switches= 37340

runsolver used 1.42178 second user time and 4.10738 second system time

The end