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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656479-1276494434/watcher-2656479-1276494434 -o /tmp/evaluation-result-2656479-1276494434/solver-2656479-1276494434 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656479-1276494434.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.00 1.00 3/106 27997
/proc/meminfo: memFree=1783664/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=13572 CPUtime=0
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 357 0 0 0 0 0 0 0 18 0 1 0 25029808 13897728 276 1992294400 134512640 137138936 4288839712 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 3393 276 176 642 0 2089 0

[startup+0.0366739 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27997
/proc/meminfo: memFree=1783664/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=14260 CPUtime=0.03
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 582 0 0 0 3 0 0 0 20 0 1 0 25029808 14602240 501 1992294400 134512640 137138936 4288839712 18446744073709551615 134529504 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 3565 502 219 642 0 2261 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14260

[startup+0.10068 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27997
/proc/meminfo: memFree=1783664/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=15908 CPUtime=0.09
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 1069 0 0 0 9 0 0 0 20 0 1 0 25029808 16289792 988 1992294400 134512640 137138936 4288839712 18446744073709551615 136660939 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 3977 989 313 642 0 2673 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15908

[startup+0.3007 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27997
/proc/meminfo: memFree=1783664/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=21000 CPUtime=0.29
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 2671 0 0 0 29 0 0 0 20 0 1 0 25029808 21504000 2590 1992294400 134512640 137138936 4288839712 18446744073709551615 134517643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 5250 2590 627 642 0 3946 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21000

[startup+0.70074 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27997
/proc/meminfo: memFree=1783664/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=30384 CPUtime=0.69
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 5880 0 0 0 67 2 0 0 20 0 1 0 25029808 31113216 5139 1992294400 134512640 137138936 4288839712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 7596 5139 185 642 0 6952 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30384

[startup+1.50082 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27998
/proc/meminfo: memFree=1763816/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=30384 CPUtime=1.49
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 5880 0 0 0 143 6 0 0 23 0 1 0 25029808 31113216 5139 1992294400 134512640 137138936 4288839712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 7596 5139 185 642 0 6952 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30384

[startup+3.10098 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27998
/proc/meminfo: memFree=1763568/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=30384 CPUtime=3.09
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 5880 0 0 0 299 10 0 0 25 0 1 0 25029808 31113216 5139 1992294400 134512640 137138936 4288839712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 7596 5139 185 642 0 6952 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30384

[startup+6.3013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27998
/proc/meminfo: memFree=1755880/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=44428 CPUtime=6.29
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 11066 0 0 0 614 15 0 0 25 0 1 0 25029808 45494272 8655 1992294400 134512640 137138936 4288839712 18446744073709551615 134551328 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 11107 8655 192 642 0 10463 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44428

[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28000
/proc/meminfo: memFree=1712852/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=84228 CPUtime=12.69
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 21027 0 0 0 1249 20 0 0 25 0 1 0 25029808 86249472 18616 1992294400 134512640 137138936 4288839712 18446744073709551615 134574743 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 21057 18616 192 642 0 20413 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84228

[startup+25.5002 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28000
/proc/meminfo: memFree=1641552/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=153348 CPUtime=25.48
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 38310 0 0 0 2520 28 0 0 25 0 1 0 25029808 157028352 35899 1992294400 134512640 137138936 4288839712 18446744073709551615 136297647 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 38337 35899 192 642 0 37693 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 153348

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28000
/proc/meminfo: memFree=1534540/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=261316 CPUtime=51.07
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 65304 0 0 0 5066 41 0 0 25 0 1 0 25029808 267587584 62893 1992294400 134512640 137138936 4288839712 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 65329 62893 192 642 0 64685 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 261316

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28002
/proc/meminfo: memFree=1372720/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=420384 CPUtime=102.26
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 105078 0 0 0 10161 65 0 0 25 0 1 0 25029808 430473216 102667 1992294400 134512640 137138936 4288839712 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 105096 102667 192 642 0 104452 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 420384

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28004
/proc/meminfo: memFree=1209536/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=584388 CPUtime=162.24
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 146072 0 0 0 16133 91 0 0 25 0 1 0 25029808 598413312 143661 1992294400 134512640 137138936 4288839712 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 146097 143661 192 642 0 145453 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 584388

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28004
/proc/meminfo: memFree=1065076/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=727600 CPUtime=222.23
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 181873 0 0 0 22107 116 0 0 25 0 1 0 25029808 745062400 179462 1992294400 134512640 137138936 4288839712 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 181900 179462 192 642 0 181256 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 727600

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28006
/proc/meminfo: memFree=938224/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=855528 CPUtime=282.21
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 213856 0 0 0 28085 136 0 0 25 0 1 0 25029808 876060672 211445 1992294400 134512640 137138936 4288839712 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 213882 211445 192 642 0 213238 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 855528

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28008
/proc/meminfo: memFree=819060/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=973020 CPUtime=342.19
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 243234 0 0 0 34064 155 0 0 25 0 1 0 25029808 996372480 240823 1992294400 134512640 137138936 4288839712 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 243255 240823 192 642 0 242611 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 973020

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28010
/proc/meminfo: memFree=745900/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1045548 CPUtime=402.17
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 261422 0 0 0 40049 168 0 0 25 0 1 0 25029808 1070641152 258953 1992294400 134512640 137138936 4288839712 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 261387 258953 192 642 0 260743 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1045548

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28012
/proc/meminfo: memFree=745776/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1045548 CPUtime=462.15
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 261422 0 0 0 46044 171 0 0 25 0 1 0 25029808 1070641152 258953 1992294400 134512640 137138936 4288839712 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 261387 258953 192 642 0 260743 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1045548

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28012
/proc/meminfo: memFree=745776/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1045548 CPUtime=522.13
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 261422 0 0 0 52039 174 0 0 25 0 1 0 25029808 1070641152 258953 1992294400 134512640 137138936 4288839712 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 261387 258953 192 642 0 260743 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1045548

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28014
/proc/meminfo: memFree=745776/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1045548 CPUtime=582.11
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 261422 0 0 0 58034 177 0 0 25 0 1 0 25029808 1070641152 258953 1992294400 134512640 137138936 4288839712 18446744073709551615 134544722 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 261387 258953 192 642 0 260743 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 1045548

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28016
/proc/meminfo: memFree=745652/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1045548 CPUtime=642.11
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 261422 0 0 0 64031 180 0 0 25 0 1 0 25029808 1070641152 258953 1992294400 134512640 137138936 4288839712 18446744073709551615 134603210 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 261387 258953 192 642 0 260743 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1045548

[startup+702.301 s]

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

/proc/meminfo: memFree=735484/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1054964 CPUtime=1121.95
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 263835 0 0 0 111987 208 0 0 25 0 1 0 25029808 1080283136 261307 1992294400 134512640 137138936 4288839712 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 263741 261307 192 642 0 263097 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1054964

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28039
/proc/meminfo: memFree=735484/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1054964 CPUtime=1181.93
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 263835 0 0 0 117982 211 0 0 25 0 1 0 25029808 1080283136 261307 1992294400 134512640 137138936 4288839712 18446744073709551615 134618336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 263741 261307 192 642 0 263097 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 1054964

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28041
/proc/meminfo: memFree=735484/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1054964 CPUtime=1241.92
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 263835 0 0 0 123978 214 0 0 25 0 1 0 25029808 1080283136 261307 1992294400 134512640 137138936 4288839712 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 263741 261307 192 642 0 263097 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1054964

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28043
/proc/meminfo: memFree=735484/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1054964 CPUtime=1301.91
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 263835 0 0 0 129973 218 0 0 25 0 1 0 25029808 1080283136 261307 1992294400 134512640 137138936 4288839712 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 263741 261307 192 642 0 263097 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1054964

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28045
/proc/meminfo: memFree=735360/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1054964 CPUtime=1361.88
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 263835 0 0 0 135966 222 0 0 25 0 1 0 25029808 1080283136 261307 1992294400 134512640 137138936 4288839712 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 263741 261307 192 642 0 263097 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1054964

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28045
/proc/meminfo: memFree=735360/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1054964 CPUtime=1421.87
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 263835 0 0 0 141962 225 0 0 25 0 1 0 25029808 1080283136 261307 1992294400 134512640 137138936 4288839712 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 263741 261307 192 642 0 263097 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1054964

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28047
/proc/meminfo: memFree=735360/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1054964 CPUtime=1481.85
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 263835 0 0 0 147958 227 0 0 25 0 1 0 25029808 1080283136 261307 1992294400 134512640 137138936 4288839712 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 263741 261307 192 642 0 263097 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1054964

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28049
/proc/meminfo: memFree=735484/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1054964 CPUtime=1541.82
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 263835 0 0 0 153953 229 0 0 25 0 1 0 25029808 1080283136 261307 1992294400 134512640 137138936 4288839712 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 263741 261307 192 642 0 263097 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1054964

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28051
/proc/meminfo: memFree=735484/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1054964 CPUtime=1601.81
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 263835 0 0 0 159949 232 0 0 25 0 1 0 25029808 1080283136 261307 1992294400 134512640 137138936 4288839712 18446744073709551615 136504045 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 263741 261307 192 642 0 263097 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1054964

[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 28053
/proc/meminfo: memFree=735484/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1054964 CPUtime=1661.79
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 263835 0 0 0 165945 234 0 0 25 0 1 0 25029808 1080283136 261307 1992294400 134512640 137138936 4288839712 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 263741 261307 192 642 0 263097 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1054964

[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 28053
/proc/meminfo: memFree=735484/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1054964 CPUtime=1721.77
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 263835 0 0 0 171942 235 0 0 25 0 1 0 25029808 1080283136 261307 1992294400 134512640 137138936 4288839712 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 263741 261307 192 642 0 263097 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1054964

[startup+1782.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 28058
/proc/meminfo: memFree=735236/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1054964 CPUtime=1781.76
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 263835 0 0 0 177940 236 0 0 25 0 1 0 25029808 1080283136 261307 1992294400 134512640 137138936 4288839712 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 263741 261307 192 642 0 263097 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1054964

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

[startup+1791.91 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 28058
/proc/meminfo: memFree=735236/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1054964 CPUtime=1791.36
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 263835 0 0 0 178900 236 0 0 25 0 1 0 25029808 1080283136 261307 1992294400 134512640 137138936 4288839712 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 263741 261307 192 642 0 263097 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 1054964

[startup+1795.1 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 28058
/proc/meminfo: memFree=735236/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1054964 CPUtime=1794.56
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 263835 0 0 0 179220 236 0 0 25 0 1 0 25029808 1080283136 261307 1992294400 134512640 137138936 4288839712 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 263741 261307 192 642 0 263097 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (KiB) 1054964

[startup+1796.7 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 28058
/proc/meminfo: memFree=735236/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1054964 CPUtime=1796.15
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 263835 0 0 0 179379 236 0 0 25 0 1 0 25029808 1080283136 261307 1992294400 134512640 137138936 4288839712 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 263741 261307 192 642 0 263097 0
Current children cumulated CPU time (s) 1796.15
Current children cumulated vsize (KiB) 1054964

[startup+1797.5 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 28058
/proc/meminfo: memFree=735236/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1054964 CPUtime=1796.95
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 263835 0 0 0 179459 236 0 0 25 0 1 0 25029808 1080283136 261307 1992294400 134512640 137138936 4288839712 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 263741 261307 192 642 0 263097 0
Current children cumulated CPU time (s) 1796.95
Current children cumulated vsize (KiB) 1054964

[startup+1798.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 28058
/proc/meminfo: memFree=735236/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1054964 CPUtime=1797.75
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 263835 0 0 0 179539 236 0 0 25 0 1 0 25029808 1080283136 261307 1992294400 134512640 137138936 4288839712 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 263741 261307 192 642 0 263097 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 1054964

[startup+1798.51 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 28058
/proc/meminfo: memFree=735236/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=1054964 CPUtime=1797.95
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202496 263835 0 0 0 179559 236 0 0 25 0 1 0 25029808 1080283136 261307 1992294400 134512640 137138936 4288839712 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27997/statm: 263741 261307 192 642 0 263097 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 1054964

[startup+1798.6 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 28058
/proc/meminfo: memFree=735236/2059040 swapFree=4134576/4192956
[pid=27997] ppid=27995 vsize=0 CPUtime=1798.05
/proc/27997/stat : 27997 (bsolo_pb10) R 27995 27997 27972 0 -1 4202500 263836 0 0 0 179563 242 0 0 25 0 1 0 25029808 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/27997/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.05
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.65
CPU time (s): 1798.11
CPU user time (s): 1795.64
CPU system time (s): 2.47062
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 1055200

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

runsolver used 2.94755 second user time and 8.51271 second system time

The end