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

command line: runsolver --timestamp -w ROOT/results/node16/watcher-364129-1177037257 -o ROOT/results/node16/solver-364129-1177037257 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/364129-1177037257/instance-364129-1177037257.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.98 1.05 1.00 3/77 29884
/proc/meminfo: memFree=1797936/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=12792 CPUtime=0
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 151643366 13099008 337 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 3198 337 281 324 0 2003 0

[startup+0.00963196 s]
/proc/loadavg: 0.98 1.05 1.00 3/77 29884
/proc/meminfo: memFree=1797936/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=5132 CPUtime=0
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 406 0 0 0 0 0 0 0 18 0 1 0 151643366 5255168 374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134524928 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 1283 374 288 324 0 88 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5132

[startup+0.102611 s]
/proc/loadavg: 0.98 1.05 1.00 3/77 29884
/proc/meminfo: memFree=1797936/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=6172 CPUtime=0.09
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 780 0 0 0 9 0 0 0 18 0 1 0 151643366 6320128 748 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7671430 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 1543 748 417 324 0 348 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6172

[startup+0.302569 s]
/proc/loadavg: 0.98 1.05 1.00 3/77 29884
/proc/meminfo: memFree=1797936/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=8228 CPUtime=0.29
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 1717 0 0 0 29 0 0 0 19 0 1 0 151643366 8425472 1421 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 2057 1421 305 324 0 1126 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8228

[startup+0.701486 s]
/proc/loadavg: 0.98 1.05 1.00 3/77 29884
/proc/meminfo: memFree=1797936/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=10076 CPUtime=0.69
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 2183 0 0 0 69 0 0 0 23 0 1 0 151643366 10317824 1887 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134545680 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 2519 1887 307 324 0 1588 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10076

[startup+1.50132 s]
/proc/loadavg: 0.98 1.05 1.00 2/78 29885
/proc/meminfo: memFree=1791592/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=9984 CPUtime=1.49
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 2610 0 0 0 147 2 0 0 25 0 1 0 151643366 10223616 1881 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 2496 1881 312 324 0 1565 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9984

[startup+3.10199 s]
/proc/loadavg: 0.99 1.05 1.00 2/78 29885
/proc/meminfo: memFree=1791336/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=18212 CPUtime=3.09
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 4654 0 0 0 306 3 0 0 25 0 1 0 151643366 18649088 3925 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 4553 3925 312 324 0 3622 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18212

[startup+6.30132 s]
/proc/loadavg: 0.99 1.05 1.00 2/78 29885
/proc/meminfo: memFree=1762664/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=39712 CPUtime=6.29
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 10020 0 0 0 623 6 0 0 25 0 1 0 151643366 40665088 9291 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 9928 9291 312 324 0 8997 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39712

[startup+12.701 s]
/proc/loadavg: 0.99 1.05 1.00 2/78 29885
/proc/meminfo: memFree=1722992/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=81904 CPUtime=12.69
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 20567 0 0 0 1257 12 0 0 25 0 1 0 151643366 83869696 19838 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 20476 19838 312 324 0 19545 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81904

[startup+25.5023 s]
/proc/loadavg: 0.99 1.04 1.00 2/78 29885
/proc/meminfo: memFree=1657392/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=144448 CPUtime=25.49
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 36222 0 0 0 2529 20 0 0 25 0 1 0 151643366 147914752 35493 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 36112 35493 312 324 0 35181 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 144448

[startup+51.102 s]
/proc/loadavg: 0.99 1.04 1.00 2/78 29885
/proc/meminfo: memFree=1619120/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=182692 CPUtime=51.09
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 45793 0 0 0 5081 28 0 0 25 0 1 0 151643366 187076608 45064 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 45673 45064 312 324 0 44742 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 182692

[startup+102.306 s]
/proc/loadavg: 0.99 1.03 1.00 2/78 29885
/proc/meminfo: memFree=1578224/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=222844 CPUtime=102.3
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 55822 0 0 0 10192 38 0 0 25 0 1 0 151643366 228192256 55093 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 55711 55093 312 324 0 54780 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 222844

[startup+162.303 s]
/proc/loadavg: 0.99 1.02 1.00 2/78 29885
/proc/meminfo: memFree=1559472/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=241500 CPUtime=162.3
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 60490 0 0 0 16186 44 0 0 25 0 1 0 151643366 247296000 59761 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 60375 59761 312 324 0 59444 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 241500

[startup+222.303 s]
/proc/loadavg: 0.99 1.02 1.00 2/78 29885
/proc/meminfo: memFree=1559472/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=241500 CPUtime=222.3
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 60490 0 0 0 22183 47 0 0 25 0 1 0 151643366 247296000 59761 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 60375 59761 312 324 0 59444 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 241500

[startup+282.302 s]
/proc/loadavg: 0.99 1.01 1.00 2/78 29885
/proc/meminfo: memFree=1559472/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=241500 CPUtime=282.31
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 60491 0 0 0 28180 51 0 0 25 0 1 0 151643366 247296000 59762 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 60375 59762 312 324 0 59444 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 241500

[startup+342.303 s]
/proc/loadavg: 1.03 1.02 1.00 2/78 29885
/proc/meminfo: memFree=1535344/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=265576 CPUtime=342.31
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 66514 0 0 0 34174 57 0 0 25 0 1 0 151643366 271949824 65785 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 66394 65785 312 324 0 65463 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 265576

[startup+402.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 29885
/proc/meminfo: memFree=1535280/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=266068 CPUtime=402.31
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 66633 0 0 0 40172 59 0 0 25 0 1 0 151643366 272453632 65904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 66517 65904 312 324 0 65586 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 266068

[startup+462.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 29885
/proc/meminfo: memFree=1534832/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=266068 CPUtime=462.31
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 66633 0 0 0 46169 62 0 0 25 0 1 0 151643366 272453632 65904 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 66517 65904 312 324 0 65586 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 266068

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29885
/proc/meminfo: memFree=1510448/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=290388 CPUtime=522.32
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 72715 0 0 0 52162 70 0 0 25 0 1 0 151643366 297357312 71986 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 72597 71986 312 324 0 71666 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 290388

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29885
/proc/meminfo: memFree=1510448/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=290388 CPUtime=582.32
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 72715 0 0 0 58161 71 0 0 25 0 1 0 151643366 297357312 71986 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 72597 71986 312 324 0 71666 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 290388

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29885
/proc/meminfo: memFree=1510384/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=290388 CPUtime=642.33
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 72715 0 0 0 64161 72 0 0 25 0 1 0 151643366 297357312 71986 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 72597 71986 312 324 0 71666 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 290388


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

/proc/meminfo: memFree=1483056/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=317264 CPUtime=1122.26
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 79437 0 0 0 112130 96 0 0 25 0 1 0 151643366 324878336 78708 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 79316 78708 312 324 0 78385 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 317264

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30083
/proc/meminfo: memFree=1483056/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=317116 CPUtime=1182.25
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 79437 0 0 0 118128 97 0 0 25 0 1 0 151643366 324726784 78671 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 79279 78671 312 324 0 78348 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 317116

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30083
/proc/meminfo: memFree=1482992/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=317116 CPUtime=1242.26
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 79437 0 0 0 124125 101 0 0 25 0 1 0 151643366 324726784 78671 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 79279 78671 312 324 0 78348 0
Current children cumulated CPU time (s) 1242.26
Current children cumulated vsize (KiB) 317116

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30083
/proc/meminfo: memFree=1482928/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=317284 CPUtime=1302.26
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 79479 0 0 0 130123 103 0 0 25 0 1 0 151643366 324898816 78713 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 79321 78713 312 324 0 78390 0
Current children cumulated CPU time (s) 1302.26
Current children cumulated vsize (KiB) 317284

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30083
/proc/meminfo: memFree=1482928/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=317284 CPUtime=1362.26
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 79479 0 0 0 136121 105 0 0 25 0 1 0 151643366 324898816 78713 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 79321 78713 312 324 0 78390 0
Current children cumulated CPU time (s) 1362.26
Current children cumulated vsize (KiB) 317284

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30083
/proc/meminfo: memFree=1482928/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=317284 CPUtime=1422.28
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 79479 0 0 0 142120 108 0 0 25 0 1 0 151643366 324898816 78713 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 79321 78713 312 324 0 78390 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 317284

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30083
/proc/meminfo: memFree=1482928/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=317116 CPUtime=1482.27
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 79479 0 0 0 148118 109 0 0 25 0 1 0 151643366 324726784 78671 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 79279 78671 312 324 0 78348 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 317116

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30083
/proc/meminfo: memFree=1471536/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=328968 CPUtime=1542.27
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 82415 0 0 0 154113 114 0 0 25 0 1 0 151643366 336863232 81607 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 82242 81607 312 324 0 81311 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 328968

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30083
/proc/meminfo: memFree=1456624/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=343476 CPUtime=1602.28
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 86084 0 0 0 160110 118 0 0 25 0 1 0 151643366 351719424 85241 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 85869 85241 312 324 0 84938 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 343476

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30083
/proc/meminfo: memFree=1456624/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=343476 CPUtime=1662.29
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 86084 0 0 0 166109 120 0 0 25 0 1 0 151643366 351719424 85241 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 85869 85241 312 324 0 84938 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 343476

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30083
/proc/meminfo: memFree=1456624/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=343476 CPUtime=1722.29
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 86084 0 0 0 172107 122 0 0 25 0 1 0 151643366 351719424 85241 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 85869 85241 312 324 0 84938 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 343476

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30083
/proc/meminfo: memFree=1456624/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=343476 CPUtime=1782.29
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 86084 0 0 0 178106 123 0 0 25 0 1 0 151643366 351719424 85241 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 85869 85241 312 324 0 84938 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 343476

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30083
/proc/meminfo: memFree=1456624/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=343476 CPUtime=1791.9
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 86084 0 0 0 179067 123 0 0 25 0 1 0 151643366 351719424 85241 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 85869 85241 312 324 0 84938 0
Current children cumulated CPU time (s) 1791.9
Current children cumulated vsize (KiB) 343476

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30083
/proc/meminfo: memFree=1456624/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=343476 CPUtime=1795.1
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 86084 0 0 0 179387 123 0 0 25 0 1 0 151643366 351719424 85241 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 85869 85241 312 324 0 84938 0
Current children cumulated CPU time (s) 1795.1
Current children cumulated vsize (KiB) 343476

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30083
/proc/meminfo: memFree=1456624/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=343476 CPUtime=1798.29
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 86084 0 0 0 179706 123 0 0 25 0 1 0 151643366 351719424 85241 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 85869 85241 312 324 0 84938 0
Current children cumulated CPU time (s) 1798.29
Current children cumulated vsize (KiB) 343476

[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30083
/proc/meminfo: memFree=1456624/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=343476 CPUtime=1799.09
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 86084 0 0 0 179786 123 0 0 25 0 1 0 151643366 351719424 85241 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 85869 85241 312 324 0 84938 0
Current children cumulated CPU time (s) 1799.09
Current children cumulated vsize (KiB) 343476

[startup+1799.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30083
/proc/meminfo: memFree=1456624/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=343476 CPUtime=1799.49
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 86084 0 0 0 179826 123 0 0 25 0 1 0 151643366 351719424 85241 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 85869 85241 312 324 0 84938 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 343476

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30083
/proc/meminfo: memFree=1456624/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=343476 CPUtime=1799.89
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 86084 0 0 0 179866 123 0 0 25 0 1 0 151643366 351719424 85241 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 85869 85241 312 324 0 84938 0
Current children cumulated CPU time (s) 1799.89
Current children cumulated vsize (KiB) 343476

[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30083
/proc/meminfo: memFree=1456624/2055920 swapFree=4148604/4192956
[pid=29884] ppid=29882 vsize=343476 CPUtime=1799.99
/proc/29884/stat : 29884 (bsolo3.0.16) R 29882 29884 28728 0 -1 4194304 86084 0 0 0 179876 123 0 0 25 0 1 0 151643366 351719424 85241 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29884/statm: 85869 85241 312 324 0 84938 0
Current children cumulated CPU time (s) 1799.99
Current children cumulated vsize (KiB) 343476

Child status: 0
Real time (s): 1800.07
CPU time (s): 1800.07
CPU user time (s): 1798.78
CPU system time (s): 1.2858
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 343476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.78
system time used= 1.2858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86085
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= 15
involuntary context switches= 36586

runsolver used 2.00469 second user time and 4.54631 second system time

The end