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

command line: runsolver --timestamp -w ROOT/results/node12/watcher-453692-1178149720 -o ROOT/results/node12/solver-453692-1178149720 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/453692-1178149720/instance-453692-1178149720.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: 0.92 0.98 0.99 3/77 9994
/proc/meminfo: memFree=1753448/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=2552 CPUtime=0
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 267 0 0 0 0 0 0 0 18 0 1 0 291009436 2613248 238 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 10161879 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 638 238 199 16 0 77 0

[startup+0.0262329 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 9994
/proc/meminfo: memFree=1753448/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=2816 CPUtime=0.02
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 347 0 0 0 2 0 0 0 18 0 1 0 291009436 2883584 318 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 704 318 199 16 0 143 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2816

[startup+0.101212 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 9994
/proc/meminfo: memFree=1753448/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=3508 CPUtime=0.09
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 508 0 0 0 9 0 0 0 18 0 1 0 291009436 3592192 479 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 877 479 205 16 0 316 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3508

[startup+0.301231 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 9994
/proc/meminfo: memFree=1753448/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=4028 CPUtime=0.29
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 626 0 0 0 29 0 0 0 19 0 1 0 291009436 4124672 597 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1007 597 205 16 0 446 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4028

[startup+0.701271 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 9994
/proc/meminfo: memFree=1753448/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=4416 CPUtime=0.69
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 745 0 0 0 69 0 0 0 23 0 1 0 291009436 4521984 716 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1104 716 205 16 0 543 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4416

[startup+1.50135 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 9995
/proc/meminfo: memFree=1751200/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=4672 CPUtime=1.49
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 814 0 0 0 149 0 0 0 25 0 1 0 291009436 4784128 785 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1168 785 205 16 0 607 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4672

[startup+3.10151 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 9995
/proc/meminfo: memFree=1750624/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=5060 CPUtime=3.09
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 884 0 0 0 308 1 0 0 25 0 1 0 291009436 5181440 855 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527769 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1265 855 205 16 0 704 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5060

[startup+6.30183 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 9995
/proc/meminfo: memFree=1750432/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=5300 CPUtime=6.29
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 953 0 0 0 627 2 0 0 25 0 1 0 291009436 5427200 924 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1325 924 205 16 0 764 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5300

[startup+12.7015 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 9995
/proc/meminfo: memFree=1750048/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=5432 CPUtime=12.68
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 1004 0 0 0 1265 3 0 0 25 0 1 0 291009436 5562368 975 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1358 975 205 16 0 797 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 5432

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 9995
/proc/meminfo: memFree=1749536/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=6140 CPUtime=25.49
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 1172 0 0 0 2542 7 0 0 25 0 1 0 291009436 6287360 1143 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1535 1143 205 16 0 974 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 6140

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 9995
/proc/meminfo: memFree=1748768/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=6916 CPUtime=51.08
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 1353 0 0 0 5094 14 0 0 25 0 1 0 291009436 7081984 1324 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 1729 1324 205 16 0 1168 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 6916

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 9995
/proc/meminfo: memFree=1747552/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=8172 CPUtime=102.27
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 1665 0 0 0 10202 25 0 0 25 0 1 0 291009436 8368128 1636 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2043 1636 205 16 0 1482 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 8172

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9995
/proc/meminfo: memFree=1747296/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=8376 CPUtime=162.24
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 1727 0 0 0 16188 36 0 0 25 0 1 0 291009436 8577024 1698 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2094 1698 205 16 0 1533 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 8376

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9995
/proc/meminfo: memFree=1746784/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=8892 CPUtime=222.23
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 1840 0 0 0 22175 48 0 0 25 0 1 0 291009436 9105408 1811 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2223 1811 205 16 0 1662 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 8892

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9995
/proc/meminfo: memFree=1746656/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=8880 CPUtime=282.22
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 1869 0 0 0 28165 57 0 0 25 0 1 0 291009436 9093120 1830 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2220 1830 205 16 0 1659 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 8880

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9995
/proc/meminfo: memFree=1746592/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=8992 CPUtime=342.2
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 1880 0 0 0 34153 67 0 0 25 0 1 0 291009436 9207808 1841 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2248 1841 205 16 0 1687 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 8992

[startup+402.301 s]
/proc/loadavg: 1.07 1.00 1.00 2/78 9995
/proc/meminfo: memFree=1746592/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=8992 CPUtime=402.19
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 1896 0 0 0 40140 79 0 0 25 0 1 0 291009436 9207808 1857 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2248 1857 205 16 0 1687 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 8992

[startup+462.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 9995
/proc/meminfo: memFree=1744864/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=10820 CPUtime=462.17
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2345 0 0 0 46128 89 0 0 25 0 1 0 291009436 11079680 2306 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2705 2306 205 16 0 2144 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 10820

[startup+522.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 9995
/proc/meminfo: memFree=1744800/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=10760 CPUtime=522.16
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2345 0 0 0 52118 98 0 0 25 0 1 0 291009436 11018240 2306 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527947 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2690 2306 205 16 0 2129 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 10760

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9995
/proc/meminfo: memFree=1744800/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=10760 CPUtime=582.13
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2346 0 0 0 58105 108 0 0 25 0 1 0 291009436 11018240 2307 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2690 2307 205 16 0 2129 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 10760

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9995
/proc/meminfo: memFree=1744800/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=10760 CPUtime=642.12
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2346 0 0 0 64095 117 0 0 25 0 1 0 291009436 11018240 2307 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2690 2307 205 16 0 2129 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 10760


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

/proc/meminfo: memFree=1744608/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=10760 CPUtime=881.97
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2346 0 0 0 88043 154 0 0 25 0 1 0 291009436 11018240 2307 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2690 2307 205 16 0 2129 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 10760

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10193
/proc/meminfo: memFree=1744800/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=10760 CPUtime=941.95
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2346 0 0 0 94029 166 0 0 25 0 1 0 291009436 11018240 2307 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2690 2307 205 16 0 2129 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 10760

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10193
/proc/meminfo: memFree=1744800/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=10760 CPUtime=1001.94
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2346 0 0 0 100018 176 0 0 25 0 1 0 291009436 11018240 2307 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2690 2307 205 16 0 2129 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 10760

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10193
/proc/meminfo: memFree=1744736/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=10760 CPUtime=1061.92
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2346 0 0 0 106006 186 0 0 25 0 1 0 291009436 11018240 2307 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2690 2307 205 16 0 2129 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 10760

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10193
/proc/meminfo: memFree=1744800/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=10760 CPUtime=1121.91
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2346 0 0 0 111996 195 0 0 25 0 1 0 291009436 11018240 2307 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134556244 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2690 2307 205 16 0 2129 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 10760

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10193
/proc/meminfo: memFree=1744736/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=10760 CPUtime=1181.89
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2346 0 0 0 117985 204 0 0 25 0 1 0 291009436 11018240 2307 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2690 2307 205 16 0 2129 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 10760

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10193
/proc/meminfo: memFree=1744736/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=10800 CPUtime=1241.88
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2353 0 0 0 123975 213 0 0 25 0 1 0 291009436 11059200 2314 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2700 2314 205 16 0 2139 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 10800

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10193
/proc/meminfo: memFree=1744672/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=10780 CPUtime=1301.87
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2353 0 0 0 129965 222 0 0 25 0 1 0 291009436 11038720 2312 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134558602 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2695 2312 205 16 0 2134 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 10780

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10193
/proc/meminfo: memFree=1744672/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=10780 CPUtime=1361.85
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2353 0 0 0 135953 232 0 0 25 0 1 0 291009436 11038720 2312 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2695 2312 205 16 0 2134 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 10780

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10193
/proc/meminfo: memFree=1744672/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=10780 CPUtime=1421.83
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2353 0 0 0 141943 240 0 0 25 0 1 0 291009436 11038720 2312 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134529116 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2695 2312 205 16 0 2134 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 10780

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10193
/proc/meminfo: memFree=1744224/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=11352 CPUtime=1481.81
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2477 0 0 0 147931 250 0 0 25 0 1 0 291009436 11624448 2436 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2838 2436 205 16 0 2277 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 11352

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10193
/proc/meminfo: memFree=1743968/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=11644 CPUtime=1541.8
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2551 0 0 0 153923 257 0 0 25 0 1 0 291009436 11923456 2510 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134558726 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2911 2510 205 16 0 2350 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 11644

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10193
/proc/meminfo: memFree=1743904/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=11644 CPUtime=1601.78
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2559 0 0 0 159913 265 0 0 25 0 1 0 291009436 11923456 2518 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2911 2518 205 16 0 2350 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 11644

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10193
/proc/meminfo: memFree=1743840/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=11644 CPUtime=1661.77
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2559 0 0 0 165901 276 0 0 25 0 1 0 291009436 11923456 2518 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2911 2518 205 16 0 2350 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 11644

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10193
/proc/meminfo: memFree=1743904/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=11644 CPUtime=1721.75
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2559 0 0 0 171889 286 0 0 25 0 1 0 291009436 11923456 2518 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2911 2518 205 16 0 2350 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 11644

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10193
/proc/meminfo: memFree=1743776/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=11752 CPUtime=1781.75
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2587 0 0 0 177880 295 0 0 25 0 1 0 291009436 12034048 2546 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2938 2546 205 16 0 2377 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 11752

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

[startup+1782.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10193
/proc/meminfo: memFree=1743776/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=11752 CPUtime=1782.15
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2587 0 0 0 177920 295 0 0 25 0 1 0 291009436 12034048 2546 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2938 2546 205 16 0 2377 0
Current children cumulated CPU time (s) 1782.15
Current children cumulated vsize (KiB) 11752

[startup+1783.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10193
/proc/meminfo: memFree=1743776/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=11752 CPUtime=1782.55
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2587 0 0 0 177960 295 0 0 25 0 1 0 291009436 12034048 2546 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134557575 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2938 2546 205 16 0 2377 0
Current children cumulated CPU time (s) 1782.55
Current children cumulated vsize (KiB) 11752

[startup+1783.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10193
/proc/meminfo: memFree=1743776/2055920 swapFree=4160052/4192956
[pid=9994] ppid=9992 vsize=11752 CPUtime=1782.64
/proc/9994/stat : 9994 (Pueblo) R 9992 9994 8467 0 -1 4194304 2587 0 0 0 177969 295 0 0 25 0 1 0 291009436 12034048 2546 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0
/proc/9994/statm: 2938 2546 205 16 0 2377 0
Current children cumulated CPU time (s) 1782.64
Current children cumulated vsize (KiB) 11752

Child status: 10
Real time (s): 1783.29
CPU time (s): 1782.73
CPU user time (s): 1779.78
CPU system time (s): 2.95255
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 11772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.78
system time used= 2.95255
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2594
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= 16
involuntary context switches= 3322

runsolver used 1.49677 second user time and 3.62045 second system time

The end