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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656616-1276596409/watcher-2656616-1276596409 -o /tmp/evaluation-result-2656616-1276596409/solver-2656616-1276596409 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656616-1276596409.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: 0.97 1.05 1.01 3/105 11389
/proc/meminfo: memFree=1842668/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=11148 CPUtime=0
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 331 0 0 0 0 0 0 0 24 0 1 0 934113 11415552 250 1992294400 134512640 137138936 4292773376 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 2787 251 176 642 0 2055 0

[startup+0.012437 s]
/proc/loadavg: 0.97 1.05 1.01 3/105 11389
/proc/meminfo: memFree=1842668/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=11280 CPUtime=0.01
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 356 0 0 0 1 0 0 0 24 0 1 0 934113 11550720 275 1992294400 134512640 137138936 4292773376 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 2820 275 182 642 0 2088 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11280

[startup+0.101446 s]
/proc/loadavg: 0.97 1.05 1.01 3/105 11389
/proc/meminfo: memFree=1842668/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=12516 CPUtime=0.09
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 844 0 0 0 9 0 0 0 25 0 1 0 934113 12816384 675 1992294400 134512640 137138936 4292773376 18446744073709551615 134540524 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 3129 675 185 642 0 2485 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12516

[startup+0.301471 s]
/proc/loadavg: 0.97 1.05 1.01 3/105 11389
/proc/meminfo: memFree=1842668/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=13008 CPUtime=0.29
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 6080 0 0 0 27 2 0 0 25 0 1 0 934113 13320192 823 1992294400 134512640 137138936 4292773376 18446744073709551615 134712136 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 3252 823 218 642 0 2608 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13008

[startup+0.701517 s]
/proc/loadavg: 0.97 1.05 1.01 3/105 11389
/proc/meminfo: memFree=1842668/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=18080 CPUtime=0.69
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 23391 0 0 0 62 7 0 0 25 0 1 0 934113 18513920 1560 1992294400 134512640 137138936 4292773376 18446744073709551615 135080677 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 4520 1560 278 642 0 3876 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18080

[startup+1.50161 s]
/proc/loadavg: 0.97 1.05 1.01 2/106 11390
/proc/meminfo: memFree=1838320/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=13788 CPUtime=1.49
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 29137 0 0 0 140 9 0 0 25 0 1 0 934113 14118912 1120 1992294400 134512640 137138936 4292773376 18446744073709551615 134832794 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 3447 1120 287 642 0 2803 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13788

[startup+3.1008 s]
/proc/loadavg: 0.97 1.05 1.01 2/106 11390
/proc/meminfo: memFree=1838072/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=18644 CPUtime=3.09
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 52369 0 0 0 292 17 0 0 25 0 1 0 934113 19091456 1353 1992294400 134512640 137138936 4292773376 18446744073709551615 135344674 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 4661 1353 287 642 0 4017 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18644

[startup+6.30118 s]
/proc/loadavg: 0.97 1.05 1.01 2/106 11390
/proc/meminfo: memFree=1838204/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=13788 CPUtime=6.29
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 127749 0 0 0 582 47 0 0 25 0 1 0 934113 14118912 1121 1992294400 134512640 137138936 4292773376 18446744073709551615 136169469 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 3447 1121 288 642 0 2803 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13788

[startup+12.7009 s]
/proc/loadavg: 1.06 1.06 1.01 2/106 11390
/proc/meminfo: memFree=1837096/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=19040 CPUtime=12.69
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 331221 0 0 0 1149 120 0 0 25 0 1 0 934113 19496960 1599 1992294400 134512640 137138936 4292773376 18446744073709551615 134850628 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 4760 1599 288 642 0 4116 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19040

[startup+25.5014 s]
/proc/loadavg: 1.12 1.07 1.02 2/106 11390
/proc/meminfo: memFree=1831516/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=24944 CPUtime=25.48
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 801522 0 0 0 2264 284 0 0 25 0 1 0 934113 25542656 2999 1992294400 134512640 137138936 4292773376 18446744073709551615 136574033 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 6001 2999 288 642 0 5357 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24944

[startup+51.1015 s]
/proc/loadavg: 1.08 1.07 1.02 2/106 11390
/proc/meminfo: memFree=1821348/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=35832 CPUtime=51.08
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 1737538 0 0 0 4491 617 0 0 25 0 1 0 934113 36691968 5760 1992294400 134512640 137138936 4292773376 18446744073709551615 134841017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 8958 5767 288 642 0 8314 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35832

[startup+102.309 s]
/proc/loadavg: 1.14 1.08 1.02 2/106 11392
/proc/meminfo: memFree=1798904/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=53164 CPUtime=102.28
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 3193626 0 0 0 9086 1142 0 0 25 0 1 0 934113 54439936 10930 1992294400 134512640 137138936 4292773376 18446744073709551615 135783829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 13291 10932 288 642 0 12647 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 53164

[startup+162.301 s]
/proc/loadavg: 1.23 1.11 1.03 2/106 11394
/proc/meminfo: memFree=1793944/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=57964 CPUtime=162.25
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 4163762 0 0 0 14709 1516 0 0 25 0 1 0 934113 59355136 12117 1992294400 134512640 137138936 4292773376 18446744073709551615 134913020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 14491 12125 288 642 0 13847 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 57964

[startup+222.301 s]
/proc/loadavg: 1.08 1.09 1.03 2/106 11396
/proc/meminfo: memFree=1783900/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=70832 CPUtime=222.23
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 5216263 0 0 0 20302 1921 0 0 25 0 1 0 934113 72531968 14815 1992294400 134512640 137138936 4292773376 18446744073709551615 135412742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 17708 14815 288 642 0 17064 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 70832

[startup+282.302 s]
/proc/loadavg: 1.03 1.07 1.02 2/106 11398
/proc/meminfo: memFree=1777328/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=77784 CPUtime=282.21
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 5912400 0 0 0 26017 2204 0 0 25 0 1 0 934113 79650816 16389 1992294400 134512640 137138936 4292773376 18446744073709551615 135457133 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 19446 16389 288 642 0 18802 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 77784

[startup+342.301 s]
/proc/loadavg: 1.01 1.06 1.01 2/106 11398
/proc/meminfo: memFree=1777328/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=74612 CPUtime=342.19
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 6202603 0 0 0 31878 2341 0 0 25 0 1 0 934113 76402688 16327 1992294400 134512640 137138936 4292773376 18446744073709551615 135783832 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 18653 16327 288 642 0 18009 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 74612

[startup+402.302 s]
/proc/loadavg: 1.00 1.04 1.01 2/106 11400
/proc/meminfo: memFree=1777328/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=76704 CPUtime=402.19
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 6474105 0 0 0 37737 2482 0 0 25 0 1 0 934113 78544896 16342 1992294400 134512640 137138936 4292773376 18446744073709551615 135440726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 19176 16342 288 642 0 18532 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 76704

[startup+462.301 s]
/proc/loadavg: 1.05 1.05 1.01 2/106 11402
/proc/meminfo: memFree=1777328/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=75848 CPUtime=462.17
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 6644603 0 0 0 43643 2574 0 0 25 0 1 0 934113 77668352 16327 1992294400 134512640 137138936 4292773376 18446744073709551615 135412661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 18962 16327 288 642 0 18318 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 75848

[startup+522.302 s]
/proc/loadavg: 1.09 1.06 1.01 2/106 11404
/proc/meminfo: memFree=1776212/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=79548 CPUtime=522.14
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 7429718 0 0 0 49336 2878 0 0 25 0 1 0 934113 81457152 16755 1992294400 134512640 137138936 4292773376 18446744073709551615 135472986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 19887 16759 288 642 0 19243 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 79548

[startup+582.301 s]
/proc/loadavg: 1.10 1.08 1.02 2/106 11413
/proc/meminfo: memFree=1772880/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=75776 CPUtime=582.13
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 8250327 0 0 0 55018 3195 0 0 25 0 1 0 934113 77594624 16618 1992294400 134512640 137138936 4292773376 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 18944 16618 288 642 0 18300 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 75776

[startup+642.302 s]
/proc/loadavg: 1.07 1.08 1.02 2/106 11413
/proc/meminfo: memFree=1770400/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=78884 CPUtime=642.12
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 9200545 0 0 0 60652 3560 0 0 25 0 1 0 934113 80777216 17292 1992294400 134512640 137138936 4292773376 18446744073709551615 135783829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 19721 17304 288 642 0 19077 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 78884

[startup+702.301 s]

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

/proc/meminfo: memFree=1755644/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=95436 CPUtime=1121.99
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 14331362 0 0 0 106532 5667 0 0 25 0 1 0 934113 97726464 21033 1992294400 134512640 137138936 4292773376 18446744073709551615 135381649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 23859 21034 288 642 0 23215 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 95436

[startup+1182.3 s]
/proc/loadavg: 1.08 1.09 1.02 2/106 11429
/proc/meminfo: memFree=1755520/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=93320 CPUtime=1181.96
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 14642655 0 0 0 112375 5821 0 0 25 0 1 0 934113 95559680 21004 1992294400 134512640 137138936 4292773376 18446744073709551615 134750208 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 23330 21004 288 642 0 22686 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 93320

[startup+1242.3 s]
/proc/loadavg: 1.07 1.08 1.02 2/106 11429
/proc/meminfo: memFree=1755272/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=94572 CPUtime=1241.95
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 14922752 0 0 0 118229 5966 0 0 25 0 1 0 934113 96841728 21026 1992294400 134512640 137138936 4292773376 18446744073709551615 135379203 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 23643 21026 288 642 0 22999 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 94572

[startup+1302.3 s]
/proc/loadavg: 1.06 1.08 1.02 2/106 11431
/proc/meminfo: memFree=1755272/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=95712 CPUtime=1301.93
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 15194563 0 0 0 124088 6105 0 0 25 0 1 0 934113 98009088 21049 1992294400 134512640 137138936 4292773376 18446744073709551615 134734954 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 23928 21049 288 642 0 23284 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 95712

[startup+1362.3 s]
/proc/loadavg: 1.06 1.08 1.02 2/106 11433
/proc/meminfo: memFree=1755272/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=93320 CPUtime=1361.92
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 15472896 0 0 0 129951 6241 0 0 25 0 1 0 934113 95559680 21004 1992294400 134512640 137138936 4292773376 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 23330 21004 288 642 0 22686 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 93320

[startup+1422.31 s]
/proc/loadavg: 1.21 1.11 1.03 2/106 11435
/proc/meminfo: memFree=1752792/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=98660 CPUtime=1421.91
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 16350361 0 0 0 135606 6585 0 0 25 0 1 0 934113 101027840 21798 1992294400 134512640 137138936 4292773376 18446744073709551615 135437260 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 24665 21798 288 642 0 24021 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 98660

[startup+1482.3 s]
/proc/loadavg: 1.15 1.10 1.03 2/106 11437
/proc/meminfo: memFree=1753164/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=98184 CPUtime=1481.88
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 17172028 0 0 0 141266 6922 0 0 25 0 1 0 934113 100540416 21659 1992294400 134512640 137138936 4292773376 18446744073709551615 135412430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 24546 21659 288 642 0 23902 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 98184

[startup+1542.3 s]
/proc/loadavg: 1.28 1.13 1.04 2/106 11439
/proc/meminfo: memFree=1750936/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=95480 CPUtime=1541.87
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 17895181 0 0 0 146967 7220 0 0 25 0 1 0 934113 97771520 21544 1992294400 134512640 137138936 4292773376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 23870 21544 288 642 0 23226 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 95480

[startup+1602.3 s]
/proc/loadavg: 1.20 1.13 1.05 2/106 11442
/proc/meminfo: memFree=1716900/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=98200 CPUtime=1601.85
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 18446573 0 0 0 152729 7456 0 0 25 0 1 0 934113 100556800 21576 1992294400 134512640 137138936 4292773376 18446744073709551615 136504617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 24550 21576 288 642 0 23906 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 98200

[startup+1662.3 s]
/proc/loadavg: 1.07 1.11 1.04 2/106 11444
/proc/meminfo: memFree=1711568/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=101320 CPUtime=1661.83
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 19138797 0 0 0 158452 7731 0 0 25 0 1 0 934113 103751680 22972 1992294400 134512640 137138936 4292773376 18446744073709551615 134745106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 25330 22972 288 642 0 24686 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 101320

[startup+1722.3 s]
/proc/loadavg: 1.12 1.11 1.05 2/106 11446
/proc/meminfo: memFree=1707352/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=107564 CPUtime=1721.81
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 20051713 0 0 0 164097 8084 0 0 25 0 1 0 934113 110145536 24057 1992294400 134512640 137138936 4292773376 18446744073709551615 135387959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 26891 24060 288 642 0 26247 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 107564

[startup+1782.3 s]
/proc/loadavg: 1.04 1.09 1.04 2/106 11448
/proc/meminfo: memFree=1707352/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=105352 CPUtime=1781.79
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 20690543 0 0 0 169834 8345 0 0 25 0 1 0 934113 107880448 23965 1992294400 134512640 137138936 4292773376 18446744073709551615 135783829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 26338 23969 288 642 0 25694 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 105352

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

[startup+1791.91 s]
/proc/loadavg: 1.04 1.09 1.04 2/106 11448
/proc/meminfo: memFree=1707352/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=105056 CPUtime=1791.4
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 20786662 0 0 0 170751 8389 0 0 25 0 1 0 934113 107577344 23938 1992294400 134512640 137138936 4292773376 18446744073709551615 135783006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 26338 23938 288 642 0 25694 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 105056

[startup+1795.1 s]
/proc/loadavg: 1.03 1.09 1.04 2/106 11448
/proc/meminfo: memFree=1707352/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=105352 CPUtime=1794.6
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 20818205 0 0 0 171057 8403 0 0 25 0 1 0 934113 107880448 23980 1992294400 134512640 137138936 4292773376 18446744073709551615 135783829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 26338 23980 288 642 0 25694 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 105352

[startup+1796.7 s]
/proc/loadavg: 1.03 1.09 1.04 2/106 11448
/proc/meminfo: memFree=1707352/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=108400 CPUtime=1796.19
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 20834086 0 0 0 171209 8410 0 0 25 0 1 0 934113 111001600 24029 1992294400 134512640 137138936 4292773376 18446744073709551615 135456393 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 27100 24029 288 642 0 26456 0
Current children cumulated CPU time (s) 1796.19
Current children cumulated vsize (KiB) 108400

[startup+1797.5 s]
/proc/loadavg: 1.03 1.09 1.04 2/106 11448
/proc/meminfo: memFree=1707352/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=105056 CPUtime=1796.99
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 20842068 0 0 0 171285 8414 0 0 25 0 1 0 934113 107577344 23938 1992294400 134512640 137138936 4292773376 18446744073709551615 134607609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 26264 23938 288 642 0 25620 0
Current children cumulated CPU time (s) 1796.99
Current children cumulated vsize (KiB) 105056

[startup+1797.9 s]
/proc/loadavg: 1.03 1.09 1.04 2/106 11448
/proc/meminfo: memFree=1707352/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=107868 CPUtime=1797.39
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 20846013 0 0 0 171323 8416 0 0 25 0 1 0 934113 110456832 24025 1992294400 134512640 137138936 4292773376 18446744073709551615 135389493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 26967 24026 288 642 0 26323 0
Current children cumulated CPU time (s) 1797.39
Current children cumulated vsize (KiB) 107868

[startup+1798.3 s]
/proc/loadavg: 1.03 1.09 1.04 2/106 11448
/proc/meminfo: memFree=1707352/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=105056 CPUtime=1797.8
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 20849878 0 0 0 171362 8418 0 0 25 0 1 0 934113 107577344 23938 1992294400 134512640 137138936 4292773376 18446744073709551615 134750213 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 26264 23938 288 642 0 25620 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 105056

[startup+1798.4 s]
/proc/loadavg: 1.03 1.09 1.04 2/106 11448
/proc/meminfo: memFree=1707352/2059040 swapFree=4192956/4192956
[pid=11389] ppid=11387 vsize=108424 CPUtime=1797.9
/proc/11389/stat : 11389 (bsolo_pb10) R 11387 11389 2322 0 -1 4202496 20850891 0 0 0 171372 8418 0 0 25 0 1 0 934113 111026176 24028 1992294400 134512640 137138936 4292773376 18446744073709551615 134851218 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11389/statm: 27106 24028 288 642 0 26462 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 108424

Child status: 0
Real time (s): 1798.51
CPU time (s): 1798.01
CPU user time (s): 1713.81
CPU system time (s): 84.2002
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 110016

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

runsolver used 2.86556 second user time and 8.59469 second system time

The end