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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657484-1276426894/watcher-2657484-1276426894 -o /tmp/evaluation-result-2657484-1276426894/solver-2657484-1276426894 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657484-1276426894.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.04 1.31 3/106 24492
/proc/meminfo: memFree=1836992/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=11112 CPUtime=0
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 346 0 0 0 0 0 0 0 17 0 1 0 16345781 11378688 264 1992294400 134512640 137138936 4294125312 18446744073709551615 134519766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 2778 265 175 642 0 2088 0

[startup+0.0594781 s]
/proc/loadavg: 1.00 1.04 1.31 3/106 24492
/proc/meminfo: memFree=1836992/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=11876 CPUtime=0.05
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 664 0 0 0 5 0 0 0 17 0 1 0 16345781 12161024 536 1992294400 134512640 137138936 4294125312 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 2969 536 184 642 0 2325 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11876

[startup+0.101482 s]
/proc/loadavg: 1.00 1.04 1.31 3/106 24492
/proc/meminfo: memFree=1836992/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=12260 CPUtime=0.09
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 732 0 0 0 9 0 0 0 17 0 1 0 16345781 12554240 604 1992294400 134512640 137138936 4294125312 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 3065 604 185 642 0 2421 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12260

[startup+0.301501 s]
/proc/loadavg: 1.00 1.04 1.31 3/106 24492
/proc/meminfo: memFree=1836992/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=14204 CPUtime=0.3
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 1237 0 0 0 29 1 0 0 17 0 1 0 16345781 14544896 1109 1992294400 134512640 137138936 4294125312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 3551 1110 191 642 0 2907 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 14204

[startup+0.701539 s]
/proc/loadavg: 1.00 1.04 1.31 3/106 24492
/proc/meminfo: memFree=1836992/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=19220 CPUtime=0.69
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 2491 0 0 0 68 1 0 0 17 0 1 0 16345781 19681280 2363 1992294400 134512640 137138936 4294125312 18446744073709551615 136501708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 4805 2363 191 642 0 4161 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19220

[startup+1.50162 s]
/proc/loadavg: 1.00 1.04 1.31 2/107 24493
/proc/meminfo: memFree=1824088/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=29624 CPUtime=1.49
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 5091 0 0 0 147 2 0 0 18 0 1 0 16345781 30334976 4963 1992294400 134512640 137138936 4294125312 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 7406 4963 191 642 0 6762 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29624

[startup+3.10177 s]
/proc/loadavg: 1.00 1.04 1.31 2/107 24493
/proc/meminfo: memFree=1810820/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=46640 CPUtime=3.1
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 9344 0 0 0 305 5 0 0 21 0 1 0 16345781 47759360 9216 1992294400 134512640 137138936 4294125312 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 11660 9216 191 642 0 11016 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 46640

[startup+6.30108 s]
/proc/loadavg: 1.00 1.04 1.30 2/107 24493
/proc/meminfo: memFree=1781680/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=68564 CPUtime=6.29
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 14839 0 0 0 621 8 0 0 25 0 1 0 16345781 70209536 14711 1992294400 134512640 137138936 4294125312 18446744073709551615 134574128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 17141 14711 191 642 0 16497 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68564

[startup+12.7007 s]
/proc/loadavg: 1.00 1.04 1.30 2/107 24495
/proc/meminfo: memFree=1772008/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=74852 CPUtime=12.68
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 16396 0 0 0 1258 10 0 0 25 0 1 0 16345781 76648448 16268 1992294400 134512640 137138936 4294125312 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 18713 16268 191 642 0 18069 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 74852

[startup+25.5009 s]
/proc/loadavg: 1.00 1.04 1.30 2/107 24495
/proc/meminfo: memFree=1767544/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=79348 CPUtime=25.48
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 17517 0 0 0 2534 14 0 0 25 0 1 0 16345781 81252352 17389 1992294400 134512640 137138936 4294125312 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 19837 17389 191 642 0 19193 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 79348

[startup+51.1014 s]
/proc/loadavg: 1.00 1.03 1.29 2/107 24495
/proc/meminfo: memFree=1760352/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=86244 CPUtime=51.08
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 19285 0 0 0 5087 21 0 0 25 0 1 0 16345781 88313856 19138 1992294400 134512640 137138936 4294125312 18446744073709551615 134618001 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 21561 19138 191 642 0 20917 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86244

[startup+102.308 s]
/proc/loadavg: 1.04 1.04 1.27 2/107 24497
/proc/meminfo: memFree=1747580/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=98788 CPUtime=102.27
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 22485 0 0 0 10196 31 0 0 25 0 1 0 16345781 101158912 22274 1992294400 134512640 137138936 4294125312 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 24697 22274 191 642 0 24053 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 98788

[startup+162.301 s]
/proc/loadavg: 1.06 1.04 1.26 2/107 24499
/proc/meminfo: memFree=1741628/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=104984 CPUtime=162.25
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 24038 0 0 0 16182 43 0 0 25 0 1 0 16345781 107503616 23823 1992294400 134512640 137138936 4294125312 18446744073709551615 134574851 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 26246 23823 191 642 0 25602 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 104984

[startup+222.301 s]
/proc/loadavg: 1.06 1.05 1.25 2/107 24499
/proc/meminfo: memFree=1731956/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=114564 CPUtime=222.23
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 26456 0 0 0 22170 53 0 0 25 0 1 0 16345781 117313536 26218 1992294400 134512640 137138936 4294125312 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 28641 26218 191 642 0 27997 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 114564

[startup+282.302 s]
/proc/loadavg: 1.05 1.05 1.24 2/107 24501
/proc/meminfo: memFree=1731956/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=114688 CPUtime=282.21
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 26482 0 0 0 28160 61 0 0 25 0 1 0 16345781 117440512 26244 1992294400 134512640 137138936 4294125312 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 28672 26244 191 642 0 28028 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 114688

[startup+342.301 s]
/proc/loadavg: 1.13 1.07 1.23 2/107 24503
/proc/meminfo: memFree=1731708/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=114744 CPUtime=342.19
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 26490 0 0 0 34149 70 0 0 25 0 1 0 16345781 117497856 26252 1992294400 134512640 137138936 4294125312 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 28686 26252 191 642 0 28042 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 114744

[startup+402.301 s]
/proc/loadavg: 1.19 1.09 1.22 2/107 24505
/proc/meminfo: memFree=1724268/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=122312 CPUtime=402.17
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 28383 0 0 0 40139 78 0 0 25 0 1 0 16345781 125247488 28145 1992294400 134512640 137138936 4294125312 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 30578 28145 191 642 0 29934 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 122312

[startup+462.301 s]
/proc/loadavg: 1.07 1.07 1.20 2/107 24507
/proc/meminfo: memFree=1723896/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=122532 CPUtime=462.15
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 28429 0 0 0 46132 83 0 0 25 0 1 0 16345781 125472768 28191 1992294400 134512640 137138936 4294125312 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 30633 28191 191 642 0 29989 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 122532

[startup+522.302 s]
/proc/loadavg: 1.02 1.05 1.19 2/107 24507
/proc/meminfo: memFree=1723896/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=122464 CPUtime=522.14
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 28429 0 0 0 52123 91 0 0 25 0 1 0 16345781 125403136 28191 1992294400 134512640 137138936 4294125312 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 30616 28191 191 642 0 29972 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 122464

[startup+582.301 s]
/proc/loadavg: 1.01 1.04 1.17 2/107 24509
/proc/meminfo: memFree=1723772/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=122464 CPUtime=582.12
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 28429 0 0 0 58114 98 0 0 25 0 1 0 16345781 125403136 28191 1992294400 134512640 137138936 4294125312 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 30616 28191 191 642 0 29972 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 122464

[startup+642.301 s]
/proc/loadavg: 1.00 1.03 1.16 2/107 24511
/proc/meminfo: memFree=1723772/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=122464 CPUtime=642.11
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 28429 0 0 0 64107 104 0 0 25 0 1 0 16345781 125403136 28191 1992294400 134512640 137138936 4294125312 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 30616 28191 191 642 0 29972 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 122464

[startup+702.301 s]

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

/proc/meminfo: memFree=1711372/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=135628 CPUtime=1061.98
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 31791 0 0 0 106034 164 0 0 25 0 1 0 16345781 138883072 31463 1992294400 134512640 137138936 4294125312 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 33907 31463 191 642 0 33263 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 135628

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 24523
/proc/meminfo: memFree=1702444/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=143572 CPUtime=1121.95
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 33782 0 0 0 112026 169 0 0 25 0 1 0 16345781 147017728 33454 1992294400 134512640 137138936 4294125312 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 35893 33454 191 642 0 35249 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 143572

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 24525
/proc/meminfo: memFree=1702196/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=143816 CPUtime=1181.94
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 33855 0 0 0 118023 171 0 0 25 0 1 0 16345781 147267584 33527 1992294400 134512640 137138936 4294125312 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 35954 33527 191 642 0 35310 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 143816

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 24527
/proc/meminfo: memFree=1702072/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=143816 CPUtime=1241.91
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 33855 0 0 0 124018 173 0 0 25 0 1 0 16345781 147267584 33527 1992294400 134512640 137138936 4294125312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 35954 33527 191 642 0 35310 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 143816

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 24529
/proc/meminfo: memFree=1701824/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=143900 CPUtime=1301.9
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 33864 0 0 0 130015 175 0 0 25 0 1 0 16345781 147353600 33536 1992294400 134512640 137138936 4294125312 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 35975 33536 191 642 0 35331 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 143900

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 24531
/proc/meminfo: memFree=1701824/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=143864 CPUtime=1361.88
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 33864 0 0 0 136010 178 0 0 25 0 1 0 16345781 147316736 33536 1992294400 134512640 137138936 4294125312 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 35966 33536 191 642 0 35322 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 143864

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 24531
/proc/meminfo: memFree=1701824/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=143864 CPUtime=1421.88
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 33864 0 0 0 142007 181 0 0 25 0 1 0 16345781 147316736 33536 1992294400 134512640 137138936 4294125312 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 35966 33536 191 642 0 35322 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 143864

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 24533
/proc/meminfo: memFree=1701824/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=143864 CPUtime=1481.85
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 33864 0 0 0 148001 184 0 0 25 0 1 0 16345781 147316736 33536 1992294400 134512640 137138936 4294125312 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 35966 33536 191 642 0 35322 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 143864

[startup+1542.3 s]
/proc/loadavg: 1.05 1.01 1.04 2/107 24535
/proc/meminfo: memFree=1701700/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=143864 CPUtime=1541.83
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 33864 0 0 0 153996 187 0 0 25 0 1 0 16345781 147316736 33536 1992294400 134512640 137138936 4294125312 18446744073709551615 134542519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 35966 33536 191 642 0 35322 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 143864

[startup+1602.3 s]
/proc/loadavg: 1.02 1.01 1.04 2/107 24537
/proc/meminfo: memFree=1701700/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=143864 CPUtime=1601.82
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 33864 0 0 0 159992 190 0 0 25 0 1 0 16345781 147316736 33536 1992294400 134512640 137138936 4294125312 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 35966 33536 191 642 0 35322 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 143864

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 24539
/proc/meminfo: memFree=1701700/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=143784 CPUtime=1661.8
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 33864 0 0 0 165988 192 0 0 25 0 1 0 16345781 147234816 33523 1992294400 134512640 137138936 4294125312 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 35946 33523 191 642 0 35302 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 143784

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 24539
/proc/meminfo: memFree=1701576/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=143784 CPUtime=1721.78
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 33864 0 0 0 171984 194 0 0 25 0 1 0 16345781 147234816 33523 1992294400 134512640 137138936 4294125312 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 35946 33523 191 642 0 35302 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 143784

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 24541
/proc/meminfo: memFree=1701328/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=143856 CPUtime=1781.77
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 33866 0 0 0 177981 196 0 0 25 0 1 0 16345781 147308544 33525 1992294400 134512640 137138936 4294125312 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 35964 33525 191 642 0 35320 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 143856

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 24541
/proc/meminfo: memFree=1701328/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=143856 CPUtime=1791.37
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 33866 0 0 0 178941 196 0 0 25 0 1 0 16345781 147308544 33525 1992294400 134512640 137138936 4294125312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 35964 33525 191 642 0 35320 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 143856

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 24541
/proc/meminfo: memFree=1701328/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=143856 CPUtime=1794.57
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 33866 0 0 0 179260 197 0 0 25 0 1 0 16345781 147308544 33525 1992294400 134512640 137138936 4294125312 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 35964 33525 191 642 0 35320 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 143856

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 24541
/proc/meminfo: memFree=1701328/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=143856 CPUtime=1796.16
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 33866 0 0 0 179419 197 0 0 25 0 1 0 16345781 147308544 33525 1992294400 134512640 137138936 4294125312 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 35964 33525 191 642 0 35320 0
Current children cumulated CPU time (s) 1796.16
Current children cumulated vsize (KiB) 143856

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 24541
/proc/meminfo: memFree=1701328/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=143856 CPUtime=1796.96
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 33866 0 0 0 179499 197 0 0 25 0 1 0 16345781 147308544 33525 1992294400 134512640 137138936 4294125312 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 35964 33525 191 642 0 35320 0
Current children cumulated CPU time (s) 1796.96
Current children cumulated vsize (KiB) 143856

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 24541
/proc/meminfo: memFree=1701328/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=143856 CPUtime=1797.76
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 33866 0 0 0 179579 197 0 0 25 0 1 0 16345781 147308544 33525 1992294400 134512640 137138936 4294125312 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 35964 33525 191 642 0 35320 0
Current children cumulated CPU time (s) 1797.76
Current children cumulated vsize (KiB) 143856

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 24541
/proc/meminfo: memFree=1701328/2059040 swapFree=4140228/4192956
[pid=24492] ppid=24490 vsize=143856 CPUtime=1797.97
/proc/24492/stat : 24492 (bsolo_pb10) R 24490 24492 24080 0 -1 4202496 33866 0 0 0 179600 197 0 0 25 0 1 0 16345781 147308544 33525 1992294400 134512640 137138936 4294125312 18446744073709551615 134575612 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24492/statm: 35964 33525 191 642 0 35320 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 143856

Child status: 0
Real time (s): 1798.55
CPU time (s): 1798.02
CPU user time (s): 1796.03
CPU system time (s): 1.9897
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 143900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.03
system time used= 1.9897
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33867
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= 1
involuntary context switches= 8851

runsolver used 2.81757 second user time and 8.63969 second system time

The end