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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657414-1276506983/watcher-2657414-1276506983 -o /tmp/evaluation-result-2657414-1276506983/solver-2657414-1276506983 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657414-1276506983.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.01 1.00 1.00 3/106 27884
/proc/meminfo: memFree=1770552/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=12824 CPUtime=0
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 26299773 13131776 271 1992294400 134512640 137138936 4291441872 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 3206 271 176 642 0 2089 0

[startup+0.0506779 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 27884
/proc/meminfo: memFree=1770552/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=13924 CPUtime=0.04
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 686 0 0 0 4 0 0 0 20 0 1 0 26299773 14258176 604 1992294400 134512640 137138936 4291441872 18446744073709551615 134520931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 3481 604 238 642 0 2364 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13924

[startup+0.100682 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 27884
/proc/meminfo: memFree=1770552/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=15028 CPUtime=0.09
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 1054 0 0 0 9 0 0 0 20 0 1 0 26299773 15388672 972 1992294400 134512640 137138936 4291441872 18446744073709551615 134529684 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 3757 973 310 642 0 2640 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15028

[startup+0.300708 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 27884
/proc/meminfo: memFree=1770552/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=20112 CPUtime=0.29
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 2609 0 0 0 29 0 0 0 20 0 1 0 26299773 20594688 2527 1992294400 134512640 137138936 4291441872 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 5028 2527 613 642 0 3911 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20112

[startup+0.70076 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 27884
/proc/meminfo: memFree=1770552/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=24980 CPUtime=0.69
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 4359 0 0 0 67 2 0 0 20 0 1 0 26299773 25579520 3804 1992294400 134512640 137138936 4291441872 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 6245 3804 185 642 0 5601 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24980

[startup+1.50086 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27887
/proc/meminfo: memFree=1756036/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=24980 CPUtime=1.49
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 4359 0 0 0 144 5 0 0 22 0 1 0 26299773 25579520 3804 1992294400 134512640 137138936 4291441872 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 6245 3804 185 642 0 5601 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24980

[startup+3.10108 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27887
/proc/meminfo: memFree=1755540/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=32836 CPUtime=3.09
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 7528 0 0 0 300 9 0 0 25 0 1 0 26299773 33624064 5777 1992294400 134512640 137138936 4291441872 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 8209 5777 191 642 0 7565 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32836

[startup+6.30049 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27887
/proc/meminfo: memFree=1715488/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=76844 CPUtime=6.29
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 18535 0 0 0 614 15 0 0 25 0 1 0 26299773 78688256 16784 1992294400 134512640 137138936 4291441872 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 19211 16784 191 642 0 18567 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 76844

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27887
/proc/meminfo: memFree=1651380/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=132948 CPUtime=12.69
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 32559 0 0 0 1246 23 0 0 25 0 1 0 26299773 136138752 30808 1992294400 134512640 137138936 4291441872 18446744073709551615 136511098 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 33237 30808 191 642 0 32593 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 132948

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27887
/proc/meminfo: memFree=1551436/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=231980 CPUtime=25.48
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 57302 0 0 0 2513 35 0 0 25 0 1 0 26299773 237547520 55551 1992294400 134512640 137138936 4291441872 18446744073709551615 136511125 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 57995 55551 191 642 0 57351 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 231980

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27887
/proc/meminfo: memFree=1387012/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=394796 CPUtime=51.07
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 98007 0 0 0 5050 57 0 0 25 0 1 0 26299773 404271104 96256 1992294400 134512640 137138936 4291441872 18446744073709551615 136511212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 98699 96256 191 642 0 98055 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 394796

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27889
/proc/meminfo: memFree=1123016/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=656684 CPUtime=102.27
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 163485 0 0 0 10129 98 0 0 25 0 1 0 26299773 672444416 161734 1992294400 134512640 137138936 4291441872 18446744073709551615 136504461 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 164171 161734 191 642 0 163527 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 656684

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27891
/proc/meminfo: memFree=1011044/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=768732 CPUtime=162.25
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 191502 0 0 0 16110 115 0 0 25 0 1 0 26299773 787181568 189751 1992294400 134512640 137138936 4291441872 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 192183 189751 191 642 0 191539 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 768732

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27891
/proc/meminfo: memFree=922880/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=856356 CPUtime=222.23
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 213403 0 0 0 22094 129 0 0 25 0 1 0 26299773 876908544 211652 1992294400 134512640 137138936 4291441872 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 214089 211652 191 642 0 213445 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 856356

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27893
/proc/meminfo: memFree=765028/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1016408 CPUtime=282.21
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 253424 0 0 0 28066 155 0 0 25 0 1 0 26299773 1040801792 251673 1992294400 134512640 137138936 4291441872 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 254102 251673 191 642 0 253458 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1016408

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27895
/proc/meminfo: memFree=734772/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=342.19
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 34056 163 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1043216

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27897
/proc/meminfo: memFree=734648/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=402.18
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 40048 170 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1043216

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27899
/proc/meminfo: memFree=734648/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=462.16
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 46039 177 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1043216

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27899
/proc/meminfo: memFree=734524/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=522.14
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 52034 180 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1043216

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27901
/proc/meminfo: memFree=734400/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=582.12
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 58028 184 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134576605 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1043216

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27903
/proc/meminfo: memFree=734400/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=642.11
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 64022 189 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1043216

[startup+702.301 s]

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

/proc/meminfo: memFree=733904/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=1121.98
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 111977 221 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1043216

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27917
/proc/meminfo: memFree=733780/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=1181.95
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 117969 226 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 1043216

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27919
/proc/meminfo: memFree=733780/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=1241.94
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 123962 232 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1043216

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27921
/proc/meminfo: memFree=733656/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=1301.93
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 129959 234 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1043216

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27923
/proc/meminfo: memFree=733656/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=1361.9
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 135952 238 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1043216

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27923
/proc/meminfo: memFree=733780/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=1421.9
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 141947 243 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1043216

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27925
/proc/meminfo: memFree=733656/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=1481.87
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 147941 246 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1043216

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27927
/proc/meminfo: memFree=733656/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=1541.86
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 153936 250 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1043216

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27929
/proc/meminfo: memFree=733656/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=1601.84
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 159932 252 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1043216

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27931
/proc/meminfo: memFree=733656/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=1661.82
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 165928 254 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1043216

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27931
/proc/meminfo: memFree=733532/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=1721.8
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 171924 256 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1043216

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27933
/proc/meminfo: memFree=733284/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=1781.79
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 177920 259 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1043216

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27933
/proc/meminfo: memFree=733284/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=1791.39
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 178880 259 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 1043216

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27933
/proc/meminfo: memFree=733284/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=1794.59
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 179199 260 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 1043216

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27933
/proc/meminfo: memFree=733284/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=1796.19
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 179359 260 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 1796.19
Current children cumulated vsize (KiB) 1043216

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27933
/proc/meminfo: memFree=733284/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=1796.98
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 179438 260 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 1796.98
Current children cumulated vsize (KiB) 1043216

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27933
/proc/meminfo: memFree=733284/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=1797.78
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 179518 260 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 1043216

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27933
/proc/meminfo: memFree=733284/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=1043216 CPUtime=1797.99
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202496 260194 0 0 0 179539 260 0 0 25 0 1 0 26299773 1068253184 258372 1992294400 134512640 137138936 4291441872 18446744073709551615 134544862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27884/statm: 260804 258372 191 642 0 260160 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 1043216

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27933
/proc/meminfo: memFree=733284/2059040 swapFree=4140260/4192956
[pid=27884] ppid=27882 vsize=0 CPUtime=1798.08
/proc/27884/stat : 27884 (bsolo_pb10) R 27882 27884 27236 0 -1 4202500 260195 0 0 0 179539 269 0 0 25 0 1 0 26299773 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/27884/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.08
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.61
CPU time (s): 1798.1
CPU user time (s): 1795.4
CPU system time (s): 2.70759
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 1043500

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

runsolver used 3.06253 second user time and 8.39772 second system time

The end