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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877212-1245166494/watcher-1877212-1245166494 -o /tmp/evaluation-result-1877212-1245166494/solver-1877212-1245166494 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877212-1245166494.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 0.96 3/64 2883
/proc/meminfo: memFree=1926960/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=12972 CPUtime=0
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 978919 13283328 253 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 3243 253 176 640 0 2037 0

[startup+0.0606859 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 2883
/proc/meminfo: memFree=1926960/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=14896 CPUtime=0.05
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 844 0 0 0 5 0 0 0 18 0 1 0 978919 15253504 828 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 3724 829 286 640 0 2518 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14896

[startup+0.101691 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 2883
/proc/meminfo: memFree=1926960/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=16272 CPUtime=0.09
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 1268 0 0 0 9 0 0 0 18 0 1 0 978919 16662528 1252 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 4068 1253 368 640 0 2862 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16272

[startup+0.301722 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 2883
/proc/meminfo: memFree=1926960/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=23232 CPUtime=0.29
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 3957 0 0 0 28 1 0 0 19 0 1 0 978919 23789568 3379 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 5808 3381 185 640 0 5164 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23232

[startup+0.701784 s]
/proc/loadavg: 1.00 1.00 0.96 3/64 2883
/proc/meminfo: memFree=1926960/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=27472 CPUtime=0.69
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 5013 0 0 0 67 2 0 0 23 0 1 0 978919 28131328 4435 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 6868 4435 190 640 0 6224 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27472

[startup+1.50191 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2884
/proc/meminfo: memFree=1909928/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=27472 CPUtime=1.49
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 5013 0 0 0 144 5 0 0 25 0 1 0 978919 28131328 4435 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 6868 4435 190 640 0 6224 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27472

[startup+3.10116 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2884
/proc/meminfo: memFree=1909800/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=25048 CPUtime=3.08
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 5843 0 0 0 298 10 0 0 25 0 1 0 978919 25649152 3847 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 6262 3847 196 640 0 5618 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 25048

[startup+6.30165 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2884
/proc/meminfo: memFree=1890728/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=53928 CPUtime=6.29
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 13073 0 0 0 615 14 0 0 25 0 1 0 978919 55222272 11077 1992294400 134512640 137136520 4294956256 18446744073709551615 134542190 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 13482 11077 196 640 0 12838 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53928

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2884
/proc/meminfo: memFree=1842744/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=99108 CPUtime=12.69
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 24367 0 0 0 1250 19 0 0 25 0 1 0 978919 101486592 22371 1992294400 134512640 137136520 4294956256 18446744073709551615 136501956 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 24777 22371 197 640 0 24133 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 99108

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2884
/proc/meminfo: memFree=1765176/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=173404 CPUtime=25.48
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 42942 0 0 0 2520 28 0 0 25 0 1 0 978919 177565696 40946 1992294400 134512640 137136520 4294956256 18446744073709551615 136498210 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 43351 40946 197 640 0 42707 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 173404

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2884
/proc/meminfo: memFree=1653432/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=286440 CPUtime=51.07
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 71192 0 0 0 5066 41 0 0 25 0 1 0 978919 293314560 69196 1992294400 134512640 137136520 4294956256 18446744073709551615 134606742 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 71610 69196 197 640 0 70966 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 286440

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2884
/proc/meminfo: memFree=1459640/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=476912 CPUtime=102.25
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 118815 0 0 0 10157 68 0 0 25 0 1 0 978919 488357888 116819 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 119228 116819 197 640 0 118584 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 476912

[startup+162.303 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2884
/proc/meminfo: memFree=1320312/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=617420 CPUtime=162.22
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 153946 0 0 0 16135 87 0 0 25 0 1 0 978919 632238080 151950 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 154355 151950 197 640 0 153711 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 617420

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2884
/proc/meminfo: memFree=1184952/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=751140 CPUtime=222.2
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 187378 0 0 0 22113 107 0 0 25 0 1 0 978919 769167360 185382 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 187785 185382 197 640 0 187141 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 751140

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2884
/proc/meminfo: memFree=1072952/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=863712 CPUtime=282.17
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 215510 0 0 0 28093 124 0 0 25 0 1 0 978919 884441088 213514 1992294400 134512640 137136520 4294956256 18446744073709551615 134598647 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 215928 213514 197 640 0 215284 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 863712

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2884
/proc/meminfo: memFree=907832/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1028232 CPUtime=342.16
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 256641 0 0 0 34066 150 0 0 25 0 1 0 978919 1052909568 254645 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 257058 254645 197 640 0 256414 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 1028232

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2884
/proc/meminfo: memFree=796664/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1140172 CPUtime=402.13
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 284631 0 0 0 40045 168 0 0 25 0 1 0 978919 1167536128 282635 1992294400 134512640 137136520 4294956256 18446744073709551615 136498317 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 285043 282635 197 640 0 284399 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 1140172

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2884
/proc/meminfo: memFree=704248/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1231196 CPUtime=462.1
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 307382 0 0 0 46032 178 0 0 25 0 1 0 978919 1260744704 305386 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 307799 305386 197 640 0 307155 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 1231196

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2884
/proc/meminfo: memFree=606520/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1329440 CPUtime=522.09
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 331950 0 0 0 52015 194 0 0 25 0 1 0 978919 1361346560 329954 1992294400 134512640 137136520 4294956256 18446744073709551615 134616680 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 332360 329954 197 640 0 331716 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 1329440

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2884
/proc/meminfo: memFree=479480/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1455672 CPUtime=582.06
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 363499 0 0 0 57992 214 0 0 25 0 1 0 978919 1490608128 361503 1992294400 134512640 137136520 4294956256 18446744073709551615 136509148 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 363918 361503 197 640 0 363274 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 1455672

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2884
/proc/meminfo: memFree=355768/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1578276 CPUtime=642.04
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 394134 0 0 0 63972 232 0 0 25 0 1 0 978919 1616154624 392138 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 394569 392138 197 640 0 393925 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 1578276

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2884
/proc/meminfo: memFree=294840/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1638652 CPUtime=821.96
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 409351 0 0 0 81951 245 0 0 25 0 1 0 978919 1677979648 407254 1992294400 134512640 137136520 4294956256 18446744073709551615 134606791 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 409663 407254 197 640 0 409019 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 1638652

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2884
/proc/meminfo: memFree=294840/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1638652 CPUtime=881.94
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 409351 0 0 0 87948 246 0 0 25 0 1 0 978919 1677979648 407254 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 409663 407254 197 640 0 409019 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 1638652

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2884
/proc/meminfo: memFree=294776/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1638652 CPUtime=941.9
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 409351 0 0 0 93943 247 0 0 25 0 1 0 978919 1677979648 407254 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 409663 407254 197 640 0 409019 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 1638652

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2884
/proc/meminfo: memFree=294776/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1638652 CPUtime=1001.9
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 409351 0 0 0 99939 251 0 0 25 0 1 0 978919 1677979648 407254 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 409663 407254 197 640 0 409019 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 1638652

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2884
/proc/meminfo: memFree=294776/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1638652 CPUtime=1061.88
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 409351 0 0 0 105934 254 0 0 25 0 1 0 978919 1677979648 407254 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 409663 407254 197 640 0 409019 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 1638652

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2886
/proc/meminfo: memFree=294584/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1638652 CPUtime=1121.85
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 409351 0 0 0 111929 256 0 0 25 0 1 0 978919 1677979648 407254 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 409663 407254 197 640 0 409019 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 1638652

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2886
/proc/meminfo: memFree=294648/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1638652 CPUtime=1181.83
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 409351 0 0 0 117925 258 0 0 25 0 1 0 978919 1677979648 407254 1992294400 134512640 137136520 4294956256 18446744073709551615 134607171 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 409663 407254 197 640 0 409019 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 1638652

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2886
/proc/meminfo: memFree=294648/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1638652 CPUtime=1241.81
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 409351 0 0 0 123921 260 0 0 25 0 1 0 978919 1677979648 407254 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 409663 407254 197 640 0 409019 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 1638652

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2886
/proc/meminfo: memFree=294584/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1638652 CPUtime=1301.81
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 409351 0 0 0 129918 263 0 0 25 0 1 0 978919 1677979648 407254 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 409663 407254 197 640 0 409019 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1638652

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2886
/proc/meminfo: memFree=294584/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1638652 CPUtime=1361.78
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 409351 0 0 0 135914 264 0 0 25 0 1 0 978919 1677979648 407254 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 409663 407254 197 640 0 409019 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1638652

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2886
/proc/meminfo: memFree=294584/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1638652 CPUtime=1421.77
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 409351 0 0 0 141911 266 0 0 25 0 1 0 978919 1677979648 407254 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 409663 407254 197 640 0 409019 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1638652

[startup+1482.3 s]
/proc/loadavg: 1.05 1.01 0.96 2/65 2886
/proc/meminfo: memFree=294520/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1638652 CPUtime=1481.75
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 409351 0 0 0 147907 268 0 0 25 0 1 0 978919 1677979648 407254 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 409663 407254 197 640 0 409019 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1638652

[startup+1542.3 s]
/proc/loadavg: 1.02 1.01 0.96 2/65 2886
/proc/meminfo: memFree=290424/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1643108 CPUtime=1541.72
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 410443 0 0 0 153903 269 0 0 25 0 1 0 978919 1682542592 408346 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 410777 408346 197 640 0 410133 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 1643108

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2892
/proc/meminfo: memFree=228472/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1705604 CPUtime=1601.7
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 426084 0 0 0 159892 278 0 0 25 0 1 0 978919 1746538496 423987 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 426401 423987 197 640 0 425757 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 1705604

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2892
/proc/meminfo: memFree=123064/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1810708 CPUtime=1661.68
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 452355 0 0 0 165878 290 0 0 25 0 1 0 978919 1854164992 450258 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 452677 450258 197 640 0 452033 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 1810708



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1676.7 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2892
/proc/meminfo: memFree=89656/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=1843276 CPUtime=1676.08
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194304 460494 0 0 0 167313 295 0 0 25 0 1 0 978919 1887514624 458397 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 460819 458397 197 640 0 460175 0
Current children cumulated CPU time (s) 1676.08
Current children cumulated vsize (KiB) 1843276

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1676.81 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2892
/proc/meminfo: memFree=89656/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=0 CPUtime=1676.18
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194308 460496 0 0 0 167313 305 0 0 25 0 1 0 978919 0 0 1992294400 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1676.18
Current children cumulated vsize (KiB) 0

[startup+1676.9 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 2892
/proc/meminfo: memFree=89656/2055920 swapFree=4192956/4192956
[pid=2883] ppid=2881 vsize=0 CPUtime=1676.28
/proc/2883/stat : 2883 (bsolo) R 2881 2883 2526 0 -1 4194308 460496 0 0 0 167313 315 0 0 25 0 1 0 978919 0 0 1992294400 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0
/proc/2883/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1676.28
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1676.97
CPU time (s): 1676.35
CPU user time (s): 1673.13
CPU system time (s): 3.21951
CPU usage (%): 99.9634
Max. virtual memory (cumulated for all children) (KiB): 1843276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1673.13
system time used= 3.21951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460496
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= 2
involuntary context switches= 4586

runsolver used 1.45278 second user time and 4.65629 second system time

The end