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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657189-1276593881/watcher-2657189-1276593881 -o /tmp/evaluation-result-2657189-1276593881/solver-2657189-1276593881 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2657189-1276593881.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.75 1.85 1.65 3/106 1979
/proc/meminfo: memFree=1675572/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=18984 CPUtime=0
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 340 0 0 0 0 0 0 0 19 0 1 0 34989889 19439616 259 1992294400 134512640 137138936 4291798912 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 4746 259 172 642 0 4009 0

[startup+0.08235 s]
/proc/loadavg: 1.75 1.85 1.65 3/106 1979
/proc/meminfo: memFree=1675572/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=12360 CPUtime=0.07
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 808 0 0 0 7 0 0 0 19 0 1 0 34989889 12656640 634 1992294400 134512640 137138936 4291798912 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 3090 634 185 642 0 2446 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12360

[startup+0.101351 s]
/proc/loadavg: 1.75 1.85 1.65 3/106 1979
/proc/meminfo: memFree=1675572/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=12096 CPUtime=0.09
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 901 0 0 0 9 0 0 0 19 0 1 0 34989889 12386304 588 1992294400 134512640 137138936 4291798912 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 3024 588 185 642 0 2380 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12096

[startup+0.301373 s]
/proc/loadavg: 1.75 1.85 1.65 3/106 1979
/proc/meminfo: memFree=1675572/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=12772 CPUtime=0.29
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 6291 0 0 0 27 2 0 0 20 0 1 0 34989889 13078528 742 1992294400 134512640 137138936 4291798912 18446744073709551615 134712101 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 3193 750 218 642 0 2549 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12772

[startup+0.701416 s]
/proc/loadavg: 1.75 1.85 1.65 3/106 1979
/proc/meminfo: memFree=1675572/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=15108 CPUtime=0.69
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 10886 0 0 0 66 3 0 0 20 0 1 0 34989889 15470592 1245 1992294400 134512640 137138936 4291798912 18446744073709551615 135439892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 3777 1245 278 642 0 3133 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15108

[startup+1.50151 s]
/proc/loadavg: 1.75 1.85 1.65 2/107 1980
/proc/meminfo: memFree=1672464/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=15288 CPUtime=1.49
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 13973 0 0 0 145 4 0 0 23 0 1 0 34989889 15654912 1190 1992294400 134512640 137138936 4291798912 18446744073709551615 135440686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 3822 1190 282 642 0 3178 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15288

[startup+3.10068 s]
/proc/loadavg: 1.75 1.85 1.65 2/107 1980
/proc/meminfo: memFree=1672216/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=14356 CPUtime=3.09
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 20009 0 0 0 303 6 0 0 25 0 1 0 34989889 14700544 950 1992294400 134512640 137138936 4291798912 18446744073709551615 135412430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 3589 950 282 642 0 2945 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14356

[startup+6.30104 s]
/proc/loadavg: 1.69 1.84 1.65 2/107 1980
/proc/meminfo: memFree=1672216/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=14940 CPUtime=6.29
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 44112 0 0 0 613 16 0 0 25 0 1 0 34989889 15298560 1020 1992294400 134512640 137138936 4291798912 18446744073709551615 134734948 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 3735 1020 282 642 0 3091 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14940

[startup+12.7007 s]
/proc/loadavg: 1.63 1.83 1.64 2/107 1980
/proc/meminfo: memFree=1671968/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=15112 CPUtime=12.68
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 92258 0 0 0 1237 31 0 0 25 0 1 0 34989889 15474688 1072 1992294400 134512640 137138936 4291798912 18446744073709551615 135466263 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 3778 1072 284 642 0 3134 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15112

[startup+25.5012 s]
/proc/loadavg: 1.49 1.78 1.63 2/107 1980
/proc/meminfo: memFree=1671968/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=15564 CPUtime=25.48
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 176878 0 0 0 2487 61 0 0 25 0 1 0 34989889 15937536 1099 1992294400 134512640 137138936 4291798912 18446744073709551615 135449769 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 3891 1101 288 642 0 3247 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15564

[startup+51.101 s]
/proc/loadavg: 1.32 1.72 1.62 2/107 1980
/proc/meminfo: memFree=1670976/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=16244 CPUtime=51.07
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 265408 0 0 0 5011 96 0 0 25 0 1 0 34989889 16633856 1277 1992294400 134512640 137138936 4291798912 18446744073709551615 134734948 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 4061 1277 288 642 0 3417 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 16244

[startup+102.309 s]
/proc/loadavg: 1.14 1.61 1.58 2/107 1982
/proc/meminfo: memFree=1669364/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=17508 CPUtime=102.26
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 403339 0 0 0 10071 155 0 0 25 0 1 0 34989889 17928192 1763 1992294400 134512640 137138936 4291798912 18446744073709551615 135333123 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 4377 1763 288 642 0 3733 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 17508

[startup+162.301 s]
/proc/loadavg: 1.05 1.49 1.54 2/107 1984
/proc/meminfo: memFree=1667504/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=18856 CPUtime=162.23
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 592270 0 0 0 15995 228 0 0 25 0 1 0 34989889 19308544 1993 1992294400 134512640 137138936 4291798912 18446744073709551615 135344436 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 4714 1993 288 642 0 4070 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 18856

[startup+222.301 s]
/proc/loadavg: 1.02 1.40 1.51 2/107 1984
/proc/meminfo: memFree=1666388/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=20356 CPUtime=222.22
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 746535 0 0 0 21930 292 0 0 25 0 1 0 34989889 20844544 2307 1992294400 134512640 137138936 4291798912 18446744073709551615 135445280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 5089 2307 288 642 0 4445 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 20356

[startup+282.302 s]
/proc/loadavg: 1.00 1.33 1.47 2/107 1986
/proc/meminfo: memFree=1665148/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=22088 CPUtime=282.2
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 956262 0 0 0 27848 372 0 0 25 0 1 0 34989889 22618112 2773 1992294400 134512640 137138936 4291798912 18446744073709551615 134720973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 5522 2773 288 642 0 4878 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 22088

[startup+342.301 s]
/proc/loadavg: 1.00 1.26 1.44 2/107 1988
/proc/meminfo: memFree=1662916/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=21088 CPUtime=342.18
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 1178960 0 0 0 33760 458 0 0 25 0 1 0 34989889 21594112 2947 1992294400 134512640 137138936 4291798912 18446744073709551615 134750063 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 5272 2947 288 642 0 4628 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 21088

[startup+402.301 s]
/proc/loadavg: 1.00 1.21 1.41 2/107 1990
/proc/meminfo: memFree=1662420/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=22180 CPUtime=402.16
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 1330708 0 0 0 39692 524 0 0 25 0 1 0 34989889 22712320 3189 1992294400 134512640 137138936 4291798912 18446744073709551615 134833389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 5545 3189 288 642 0 4901 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 22180

[startup+462.301 s]
/proc/loadavg: 1.00 1.17 1.38 2/107 1992
/proc/meminfo: memFree=1662668/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=24952 CPUtime=462.15
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 1483684 0 0 0 45625 590 0 0 25 0 1 0 34989889 25550848 3259 1992294400 134512640 137138936 4291798912 18446744073709551615 135460444 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 6238 3259 288 642 0 5594 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 24952

[startup+522.301 s]
/proc/loadavg: 1.00 1.14 1.35 2/107 1992
/proc/meminfo: memFree=1662544/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=25140 CPUtime=522.13
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 1614777 0 0 0 51559 654 0 0 25 0 1 0 34989889 25743360 3326 1992294400 134512640 137138936 4291798912 18446744073709551615 135358760 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 6285 3326 288 642 0 5641 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 25140

[startup+582.302 s]
/proc/loadavg: 1.00 1.11 1.33 2/107 1994
/proc/meminfo: memFree=1662048/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=26676 CPUtime=582.11
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 1791991 0 0 0 57482 729 0 0 25 0 1 0 34989889 27316224 3826 1992294400 134512640 137138936 4291798912 18446744073709551615 135460530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 6669 3826 288 642 0 6025 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 26676

[startup+642.301 s]
/proc/loadavg: 1.00 1.09 1.31 2/107 1996
/proc/meminfo: memFree=1659072/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=27872 CPUtime=642.1
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 1957292 0 0 0 63413 797 0 0 25 0 1 0 34989889 28540928 4162 1992294400 134512640 137138936 4291798912 18446744073709551615 135466266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 6968 4162 288 642 0 6324 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 27872

[startup+702.301 s]

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

/proc/meminfo: memFree=1657460/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=29704 CPUtime=1121.93
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 3163118 0 0 0 110873 1320 0 0 25 0 1 0 34989889 30416896 4354 1992294400 134512640 137138936 4291798912 18446744073709551615 135322972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 7426 4354 288 642 0 6782 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 29704

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 2011
/proc/meminfo: memFree=1657460/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=29808 CPUtime=1181.9
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 3252967 0 0 0 116827 1363 0 0 25 0 1 0 34989889 30523392 4442 1992294400 134512640 137138936 4291798912 18446744073709551615 135070985 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 7452 4442 288 642 0 6808 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 29808

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 2013
/proc/meminfo: memFree=1657212/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=30084 CPUtime=1241.9
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 3338721 0 0 0 122782 1408 0 0 25 0 1 0 34989889 30806016 4421 1992294400 134512640 137138936 4291798912 18446744073709551615 134734896 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 7521 4421 288 642 0 6877 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 30084

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 2015
/proc/meminfo: memFree=1657088/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=29840 CPUtime=1301.87
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 3424612 0 0 0 128736 1451 0 0 25 0 1 0 34989889 30556160 4395 1992294400 134512640 137138936 4291798912 18446744073709551615 135449769 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 7460 4395 288 642 0 6816 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 29840

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 2017
/proc/meminfo: memFree=1657088/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=29692 CPUtime=1361.85
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 3508453 0 0 0 134695 1490 0 0 25 0 1 0 34989889 30404608 4363 1992294400 134512640 137138936 4291798912 18446744073709551615 134734948 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 7423 4363 288 642 0 6779 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 29692

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 2017
/proc/meminfo: memFree=1657088/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=29284 CPUtime=1421.84
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 3576951 0 0 0 140662 1522 0 0 25 0 1 0 34989889 29986816 4383 1992294400 134512640 137138936 4291798912 18446744073709551615 134720973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 7321 4383 288 642 0 6677 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 29284

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 2019
/proc/meminfo: memFree=1657212/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=28660 CPUtime=1481.82
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 3635333 0 0 0 146627 1555 0 0 25 0 1 0 34989889 29347840 4339 1992294400 134512640 137138936 4291798912 18446744073709551615 135466083 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 7165 4339 288 642 0 6521 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 28660

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 2021
/proc/meminfo: memFree=1657212/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=26528 CPUtime=1541.8
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 3694221 0 0 0 152593 1587 0 0 25 0 1 0 34989889 27164672 4308 1992294400 134512640 137138936 4291798912 18446744073709551615 134924668 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 6632 4308 288 642 0 5988 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 26528

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 2023
/proc/meminfo: memFree=1657088/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=28664 CPUtime=1601.79
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 3753884 0 0 0 158561 1618 0 0 25 0 1 0 34989889 29351936 4361 1992294400 134512640 137138936 4291798912 18446744073709551615 134734944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 7166 4361 288 642 0 6522 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 28664

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 2025
/proc/meminfo: memFree=1657088/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=28660 CPUtime=1661.77
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 3812405 0 0 0 164527 1650 0 0 25 0 1 0 34989889 29347840 4383 1992294400 134512640 137138936 4291798912 18446744073709551615 134720970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 7165 4383 288 642 0 6521 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 28660

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 2025
/proc/meminfo: memFree=1656964/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=28724 CPUtime=1721.76
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 3870969 0 0 0 170490 1686 0 0 25 0 1 0 34989889 29413376 4449 1992294400 134512640 137138936 4291798912 18446744073709551615 135466265 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 7181 4449 288 642 0 6537 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 28724

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 2027
/proc/meminfo: memFree=1656716/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=29260 CPUtime=1781.74
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 3930042 0 0 0 176456 1718 0 0 25 0 1 0 34989889 29962240 4390 1992294400 134512640 137138936 4291798912 18446744073709551615 134734948 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 7315 4390 288 642 0 6671 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 29260

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 2027
/proc/meminfo: memFree=1656716/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=28608 CPUtime=1791.34
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 3939974 0 0 0 177411 1723 0 0 25 0 1 0 34989889 29294592 4373 1992294400 134512640 137138936 4291798912 18446744073709551615 135466066 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 7152 4373 288 642 0 6508 0
Current children cumulated CPU time (s) 1791.34
Current children cumulated vsize (KiB) 28608

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 2027
/proc/meminfo: memFree=1656716/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=28612 CPUtime=1794.53
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 3942961 0 0 0 177729 1724 0 0 25 0 1 0 34989889 29298688 4339 1992294400 134512640 137138936 4291798912 18446744073709551615 135444639 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 7153 4339 288 642 0 6509 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (KiB) 28612

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 2027
/proc/meminfo: memFree=1656716/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=28624 CPUtime=1796.13
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 3944456 0 0 0 177888 1725 0 0 25 0 1 0 34989889 29310976 4344 1992294400 134512640 137138936 4291798912 18446744073709551615 134734948 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 7156 4344 288 642 0 6512 0
Current children cumulated CPU time (s) 1796.13
Current children cumulated vsize (KiB) 28624

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 2027
/proc/meminfo: memFree=1656716/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=28676 CPUtime=1796.93
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 3945171 0 0 0 177968 1725 0 0 25 0 1 0 34989889 29364224 4330 1992294400 134512640 137138936 4291798912 18446744073709551615 135470034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 7169 4330 288 642 0 6525 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 28676

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 2027
/proc/meminfo: memFree=1656716/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=28604 CPUtime=1797.73
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 3945897 0 0 0 178047 1726 0 0 25 0 1 0 34989889 29290496 4343 1992294400 134512640 137138936 4291798912 18446744073709551615 135444639 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 7151 4343 288 642 0 6507 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 28604

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 2027
/proc/meminfo: memFree=1656716/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=28600 CPUtime=1798.13
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 3946240 0 0 0 178087 1726 0 0 25 0 1 0 34989889 29286400 4417 1992294400 134512640 137138936 4291798912 18446744073709551615 135440702 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 7150 4417 288 642 0 6506 0
Current children cumulated CPU time (s) 1798.13
Current children cumulated vsize (KiB) 28600

[startup+1798.8 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 2027
/proc/meminfo: memFree=1656716/2059040 swapFree=4140228/4192956
[pid=1979] ppid=1976 vsize=28668 CPUtime=1798.23
/proc/1979/stat : 1979 (bsolo_pb10) R 1976 1979 1091 0 -1 4202496 3946342 0 0 0 178097 1726 0 0 25 0 1 0 34989889 29356032 4399 1992294400 134512640 137138936 4291798912 18446744073709551615 134734948 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1979/statm: 7167 4399 288 642 0 6523 0
Current children cumulated CPU time (s) 1798.23
Current children cumulated vsize (KiB) 28668

Child status: 0
Real time (s): 1798.83
CPU time (s): 1798.27
CPU user time (s): 1781.01
CPU system time (s): 17.2654
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 31056

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

runsolver used 2.68659 second user time and 8.77067 second system time

The end