runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node67/watcher-455162-1178038360 -o ROOT/results/node67/solver-455162-1178038360 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/455162-1178038360/instance-455162-1178038360.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 27880
/proc/meminfo: memFree=1817296/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=2552 CPUtime=0
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 279825552 2613248 234 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7356119 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 638 234 199 16 0 77 0

[startup+0.012323 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 27880
/proc/meminfo: memFree=1817296/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=2684 CPUtime=0
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 302 0 0 0 0 0 0 0 18 0 1 0 279825552 2748416 273 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 671 273 199 16 0 110 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2684

[startup+0.101339 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 27880
/proc/meminfo: memFree=1817296/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=3620 CPUtime=0.09
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 546 0 0 0 9 0 0 0 18 0 1 0 279825552 3706880 517 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 905 517 205 16 0 344 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3620

[startup+0.301376 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 27880
/proc/meminfo: memFree=1817296/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=4128 CPUtime=0.29
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 668 0 0 0 29 0 0 0 19 0 1 0 279825552 4227072 639 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 1032 639 205 16 0 471 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4128

[startup+0.701449 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 27880
/proc/meminfo: memFree=1817296/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=5176 CPUtime=0.69
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 910 0 0 0 69 0 0 0 22 0 1 0 279825552 5300224 881 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 1294 881 205 16 0 733 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5176

[startup+1.5016 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 27881
/proc/meminfo: memFree=1814280/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=5444 CPUtime=1.49
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 999 0 0 0 149 0 0 0 25 0 1 0 279825552 5574656 970 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 1361 970 205 16 0 800 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5444

[startup+3.10289 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 27881
/proc/meminfo: memFree=1813512/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=6496 CPUtime=3.1
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 1245 0 0 0 309 1 0 0 25 0 1 0 279825552 6651904 1216 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 1624 1216 205 16 0 1063 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 6496

[startup+6.30147 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 27881
/proc/meminfo: memFree=1812680/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=6896 CPUtime=6.29
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 1344 0 0 0 628 1 0 0 25 0 1 0 279825552 7061504 1315 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 1724 1315 205 16 0 1163 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6896

[startup+12.7016 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 27881
/proc/meminfo: memFree=1812376/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=7156 CPUtime=12.68
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 1416 0 0 0 1266 2 0 0 25 0 1 0 279825552 7327744 1387 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520019 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 1789 1387 205 16 0 1228 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 7156

[startup+25.502 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 27881
/proc/meminfo: memFree=1811736/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=7820 CPUtime=25.48
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 1578 0 0 0 2542 6 0 0 25 0 1 0 279825552 8007680 1549 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 1955 1549 205 16 0 1394 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 7820

[startup+51.1017 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 27881
/proc/meminfo: memFree=1810456/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=9128 CPUtime=51.07
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 1900 0 0 0 5096 11 0 0 25 0 1 0 279825552 9347072 1871 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 2282 1871 205 16 0 1721 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9128

[startup+102.305 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 27881
/proc/meminfo: memFree=1809496/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=10144 CPUtime=102.26
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 2156 0 0 0 10202 24 0 0 25 0 1 0 279825552 10387456 2127 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 2536 2127 205 16 0 1975 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 10144

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 27881
/proc/meminfo: memFree=1809304/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=10268 CPUtime=162.23
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 2206 0 0 0 16187 36 0 0 25 0 1 0 279825552 10514432 2177 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 2567 2177 205 16 0 2006 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 10268

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27881
/proc/meminfo: memFree=1808344/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=11276 CPUtime=222.21
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 2448 0 0 0 22174 47 0 0 25 0 1 0 279825552 11546624 2403 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 2819 2403 205 16 0 2258 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 11276

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27881
/proc/meminfo: memFree=1807896/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=11672 CPUtime=282.19
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 2561 0 0 0 28162 57 0 0 25 0 1 0 279825552 11952128 2516 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 2918 2516 205 16 0 2357 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 11672

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27881
/proc/meminfo: memFree=1807192/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=12324 CPUtime=342.17
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 2716 0 0 0 34151 66 0 0 25 0 1 0 279825552 12619776 2671 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 3081 2671 205 16 0 2520 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 12324

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27881
/proc/meminfo: memFree=1806616/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=12932 CPUtime=402.15
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 2865 0 0 0 40141 74 0 0 25 0 1 0 279825552 13242368 2820 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 3233 2820 205 16 0 2672 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 12932

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27881
/proc/meminfo: memFree=1806552/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=12812 CPUtime=462.12
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 2865 0 0 0 46130 82 0 0 25 0 1 0 279825552 13119488 2815 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 3203 2815 205 16 0 2642 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 12812

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 27997
/proc/meminfo: memFree=1804776/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=13364 CPUtime=522.04
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3001 0 0 0 52113 91 0 0 25 0 1 0 279825552 13684736 2931 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 3341 2931 205 16 0 2780 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 13364

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28079
/proc/meminfo: memFree=1805784/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=13300 CPUtime=581.97
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3010 0 0 0 58098 99 0 0 25 0 1 0 279825552 13619200 2940 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 3325 2940 205 16 0 2764 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 13300

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28079
/proc/meminfo: memFree=1805272/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=13792 CPUtime=641.95
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3128 0 0 0 64088 107 0 0 25 0 1 0 279825552 14123008 3055 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 3448 3055 205 16 0 2887 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 13792


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

/proc/meminfo: memFree=1805336/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=13784 CPUtime=881.86
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3164 0 0 0 88039 147 0 0 25 0 1 0 279825552 14114816 3048 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 3446 3048 205 16 0 2885 0
Current children cumulated CPU time (s) 881.86
Current children cumulated vsize (KiB) 13784

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28079
/proc/meminfo: memFree=1804760/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=14304 CPUtime=941.84
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3296 0 0 0 94030 154 0 0 25 0 1 0 279825552 14647296 3180 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 3576 3180 205 16 0 3015 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 14304

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28079
/proc/meminfo: memFree=1803992/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=15200 CPUtime=1001.82
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3498 0 0 0 100022 160 0 0 25 0 1 0 279825552 15564800 3382 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 3800 3382 205 16 0 3239 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 15200

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28079
/proc/meminfo: memFree=1803864/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=15332 CPUtime=1061.79
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3538 0 0 0 106013 166 0 0 25 0 1 0 279825552 15699968 3422 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519949 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 3833 3422 205 16 0 3272 0
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (KiB) 15332

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28079
/proc/meminfo: memFree=1803928/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=15332 CPUtime=1121.77
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3538 0 0 0 112003 174 0 0 25 0 1 0 279825552 15699968 3422 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527162 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 3833 3422 205 16 0 3272 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 15332

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28079
/proc/meminfo: memFree=1803864/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=15332 CPUtime=1181.75
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3538 0 0 0 117991 184 0 0 25 0 1 0 279825552 15699968 3422 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 3833 3422 205 16 0 3272 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 15332

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28079
/proc/meminfo: memFree=1803864/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=15332 CPUtime=1241.73
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3538 0 0 0 123980 193 0 0 25 0 1 0 279825552 15699968 3422 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 3833 3422 205 16 0 3272 0
Current children cumulated CPU time (s) 1241.73
Current children cumulated vsize (KiB) 15332

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28079
/proc/meminfo: memFree=1803800/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=15332 CPUtime=1301.72
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3538 0 0 0 129968 204 0 0 25 0 1 0 279825552 15699968 3422 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 3833 3422 205 16 0 3272 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 15332

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28079
/proc/meminfo: memFree=1803672/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=15464 CPUtime=1361.69
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3584 0 0 0 135957 212 0 0 25 0 1 0 279825552 15835136 3468 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 3866 3468 205 16 0 3305 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 15464

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28079
/proc/meminfo: memFree=1803032/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=16104 CPUtime=1421.67
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3736 0 0 0 141946 221 0 0 25 0 1 0 279825552 16490496 3619 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 4026 3619 205 16 0 3465 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 16104

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28079
/proc/meminfo: memFree=1803096/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=16104 CPUtime=1481.64
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3736 0 0 0 147937 227 0 0 25 0 1 0 279825552 16490496 3619 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 4026 3619 205 16 0 3465 0
Current children cumulated CPU time (s) 1481.64
Current children cumulated vsize (KiB) 16104

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28079
/proc/meminfo: memFree=1803032/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=16104 CPUtime=1541.62
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3736 0 0 0 153926 236 0 0 25 0 1 0 279825552 16490496 3619 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 4026 3619 205 16 0 3465 0
Current children cumulated CPU time (s) 1541.62
Current children cumulated vsize (KiB) 16104

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28079
/proc/meminfo: memFree=1802968/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=16104 CPUtime=1601.6
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3737 0 0 0 159915 245 0 0 25 0 1 0 279825552 16490496 3620 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 4026 3620 205 16 0 3465 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 16104

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28079
/proc/meminfo: memFree=1803160/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=16104 CPUtime=1661.58
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3737 0 0 0 165905 253 0 0 25 0 1 0 279825552 16490496 3620 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 4026 3620 205 16 0 3465 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 16104

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28079
/proc/meminfo: memFree=1803096/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=16104 CPUtime=1721.55
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3737 0 0 0 171895 260 0 0 25 0 1 0 279825552 16490496 3620 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 4026 3620 205 16 0 3465 0
Current children cumulated CPU time (s) 1721.55
Current children cumulated vsize (KiB) 16104

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28079
/proc/meminfo: memFree=1803096/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=16104 CPUtime=1781.53
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3737 0 0 0 177883 270 0 0 25 0 1 0 279825552 16490496 3620 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 4026 3620 205 16 0 3465 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (KiB) 16104

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

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28079
/proc/meminfo: memFree=1803096/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=16104 CPUtime=1782.34
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3737 0 0 0 177964 270 0 0 25 0 1 0 279825552 16490496 3620 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 4026 3620 205 16 0 3465 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 16104

[startup+1783.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28079
/proc/meminfo: memFree=1803096/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=16104 CPUtime=1782.53
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3737 0 0 0 177983 270 0 0 25 0 1 0 279825552 16490496 3620 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 4026 3620 205 16 0 3465 0
Current children cumulated CPU time (s) 1782.53
Current children cumulated vsize (KiB) 16104

[startup+1783.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28079
/proc/meminfo: memFree=1803096/2055920 swapFree=4183044/4192956
[pid=27880] ppid=27878 vsize=16104 CPUtime=1782.63
/proc/27880/stat : 27880 (Pueblo) R 27878 27880 26851 0 -1 4194304 3737 0 0 0 177993 270 0 0 25 0 1 0 279825552 16490496 3620 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527724 0 0 4096 0 0 0 0 17 1 0 0
/proc/27880/statm: 4026 3620 205 16 0 3465 0
Current children cumulated CPU time (s) 1782.63
Current children cumulated vsize (KiB) 16104

Child status: 10
Real time (s): 1783.5
CPU time (s): 1782.74
CPU user time (s): 1780.03
CPU system time (s): 2.70959
CPU usage (%): 99.9575
Max. virtual memory (cumulated for all children) (KiB): 16104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.03
system time used= 2.70959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3744
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= 15
involuntary context switches= 1812

runsolver used 1.43978 second user time and 3.48247 second system time

The end