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

command line: runsolver --timestamp -w ROOT/results/node5/watcher-453077-1178113716 -o ROOT/results/node5/solver-453077-1178113716 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/453077-1178113716/instance-453077-1178113716.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.84 0.94 0.99 3/77 15518
/proc/meminfo: memFree=1798016/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=2288 CPUtime=0
/proc/15518/stat : 15518 (Pueblo) D 15516 15518 15385 0 -1 4194304 211 0 0 0 0 0 0 0 18 0 1 0 287409260 2342912 182 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 8197104 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/15518/statm: 572 182 160 16 0 11 0

[startup+0.0321991 s]
/proc/loadavg: 0.84 0.94 0.99 3/77 15518
/proc/meminfo: memFree=1798016/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=2684 CPUtime=0
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 294 0 4 0 0 0 0 0 18 0 1 0 287409260 2748416 269 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 8359639 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 671 269 199 16 0 110 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2684

[startup+0.101202 s]
/proc/loadavg: 0.84 0.94 0.99 3/77 15518
/proc/meminfo: memFree=1798016/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=3516 CPUtime=0.07
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 507 0 4 0 7 0 0 0 18 0 1 0 287409260 3600384 482 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 879 482 205 16 0 318 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3516

[startup+0.301223 s]
/proc/loadavg: 0.84 0.94 0.99 3/77 15518
/proc/meminfo: memFree=1798016/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=3912 CPUtime=0.26
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 613 0 4 0 26 0 0 0 19 0 1 0 287409260 4005888 588 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527450 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 978 588 205 16 0 417 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 3912

[startup+0.701268 s]
/proc/loadavg: 0.84 0.94 0.99 3/77 15518
/proc/meminfo: memFree=1798016/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=4440 CPUtime=0.66
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 740 0 4 0 66 0 0 0 24 0 1 0 287409260 4546560 715 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527962 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 1110 715 205 16 0 549 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 4440

[startup+1.50136 s]
/proc/loadavg: 0.84 0.94 0.99 2/78 15519
/proc/meminfo: memFree=1795448/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=4568 CPUtime=1.46
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 769 0 4 0 146 0 0 0 25 0 1 0 287409260 4677632 744 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 1142 744 205 16 0 581 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 4568

[startup+3.10254 s]
/proc/loadavg: 0.85 0.94 0.99 2/78 15519
/proc/meminfo: memFree=1795000/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=4964 CPUtime=3.07
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 875 0 4 0 306 1 0 0 25 0 1 0 287409260 5083136 850 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 1241 850 205 16 0 680 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 4964

[startup+6.3019 s]
/proc/loadavg: 0.85 0.94 0.99 2/78 15519
/proc/meminfo: memFree=1794296/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=5492 CPUtime=6.25
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 996 0 4 0 624 1 0 0 25 0 1 0 287409260 5623808 971 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134556411 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 1373 971 205 16 0 812 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 5492

[startup+12.7016 s]
/proc/loadavg: 0.88 0.94 0.99 2/78 15519
/proc/meminfo: memFree=1793976/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=5756 CPUtime=12.65
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 1063 0 4 0 1263 2 0 0 25 0 1 0 287409260 5894144 1038 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528267 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 1439 1038 205 16 0 878 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 5756

[startup+25.5011 s]
/proc/loadavg: 0.89 0.94 0.99 2/78 15519
/proc/meminfo: memFree=1793272/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=6548 CPUtime=25.44
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 1269 0 4 0 2539 5 0 0 25 0 1 0 287409260 6705152 1244 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 1637 1244 205 16 0 1076 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 6548

[startup+51.102 s]
/proc/loadavg: 1.01 0.96 0.99 2/78 15519
/proc/meminfo: memFree=1792888/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=6908 CPUtime=51.03
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 1358 0 4 0 5093 10 0 0 25 0 1 0 287409260 7073792 1333 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 1727 1333 205 16 0 1166 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 6908

[startup+102.306 s]
/proc/loadavg: 1.16 1.00 1.01 2/78 15519
/proc/meminfo: memFree=1792184/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=7540 CPUtime=102.2
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 1512 0 4 0 10200 20 0 0 25 0 1 0 287409260 7720960 1486 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 1885 1486 205 16 0 1324 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 7540

[startup+162.302 s]
/proc/loadavg: 1.13 1.02 1.00 2/78 15519
/proc/meminfo: memFree=1791928/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=7804 CPUtime=162.15
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 1578 0 4 0 16185 30 0 0 25 0 1 0 287409260 7991296 1552 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 1951 1552 205 16 0 1390 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 7804

[startup+222.301 s]
/proc/loadavg: 1.11 1.03 1.00 2/78 15519
/proc/meminfo: memFree=1791096/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=8532 CPUtime=222.11
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 1800 0 4 0 22172 39 0 0 25 0 1 0 287409260 8736768 1747 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 2133 1747 205 16 0 1572 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 8532

[startup+282.301 s]
/proc/loadavg: 1.14 1.05 1.01 2/78 15519
/proc/meminfo: memFree=1790904/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=8680 CPUtime=282.06
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 1838 0 4 0 28159 47 0 0 25 0 1 0 287409260 8888320 1785 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 2170 1785 205 16 0 1609 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 8680

[startup+342.302 s]
/proc/loadavg: 1.11 1.05 1.01 2/78 15519
/proc/meminfo: memFree=1790456/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=9144 CPUtime=342.03
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 1952 0 4 0 34147 56 0 0 25 0 1 0 287409260 9363456 1899 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 2286 1899 205 16 0 1725 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 9144

[startup+402.302 s]
/proc/loadavg: 1.09 1.06 1.01 2/78 15519
/proc/meminfo: memFree=1790264/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=9308 CPUtime=402
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 1991 0 4 0 40134 66 0 0 25 0 1 0 287409260 9531392 1937 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 2327 1937 205 16 0 1766 0
Current children cumulated CPU time (s) 402
Current children cumulated vsize (KiB) 9308

[startup+462.301 s]
/proc/loadavg: 1.08 1.06 1.01 2/78 15519
/proc/meminfo: memFree=1790072/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=9568 CPUtime=461.97
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 2040 0 4 0 46124 73 0 0 25 0 1 0 287409260 9797632 1986 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134557547 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 2392 1986 205 16 0 1831 0
Current children cumulated CPU time (s) 461.97
Current children cumulated vsize (KiB) 9568

[startup+522.301 s]
/proc/loadavg: 1.07 1.06 1.01 2/78 15519
/proc/meminfo: memFree=1789304/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=10304 CPUtime=521.93
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 2258 0 4 0 52109 84 0 0 25 0 1 0 287409260 10551296 2183 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 2576 2183 205 16 0 2015 0
Current children cumulated CPU time (s) 521.93
Current children cumulated vsize (KiB) 10304

[startup+582.302 s]
/proc/loadavg: 1.07 1.06 1.01 2/78 15519
/proc/meminfo: memFree=1789240/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=10248 CPUtime=581.9
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 2258 0 4 0 58097 93 0 0 25 0 1 0 287409260 10493952 2179 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 2562 2179 205 16 0 2001 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 10248

[startup+642.302 s]
/proc/loadavg: 1.13 1.08 1.01 2/78 15519
/proc/meminfo: memFree=1789176/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=10316 CPUtime=641.87
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 2274 0 4 0 64086 101 0 0 25 0 1 0 287409260 10563584 2195 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 2579 2195 205 16 0 2018 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 10316


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

/proc/meminfo: memFree=1785912/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=13116 CPUtime=881.67
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 88022 145 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 3279 2896 205 16 0 2718 0
Current children cumulated CPU time (s) 881.67
Current children cumulated vsize (KiB) 13116

[startup+942.302 s]
/proc/loadavg: 1.13 1.11 1.03 2/78 15717
/proc/meminfo: memFree=1785912/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=13116 CPUtime=941.63
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 94009 154 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 3279 2896 205 16 0 2718 0
Current children cumulated CPU time (s) 941.63
Current children cumulated vsize (KiB) 13116

[startup+1002.3 s]
/proc/loadavg: 1.09 1.10 1.03 2/78 15717
/proc/meminfo: memFree=1785912/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=13116 CPUtime=1001.6
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 99998 162 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 3279 2896 205 16 0 2718 0
Current children cumulated CPU time (s) 1001.6
Current children cumulated vsize (KiB) 13116

[startup+1062.3 s]
/proc/loadavg: 1.08 1.10 1.03 2/78 15717
/proc/meminfo: memFree=1785912/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=13116 CPUtime=1061.57
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 105987 170 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527724 0 0 4096 0 0 0 0 17 1 0 0
/proc/15518/statm: 3279 2896 205 16 0 2718 0
Current children cumulated CPU time (s) 1061.57
Current children cumulated vsize (KiB) 13116

[startup+1122.3 s]
/proc/loadavg: 1.03 1.08 1.02 2/78 15717
/proc/meminfo: memFree=1785848/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=13116 CPUtime=1121.53
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 111972 181 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527765 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 3279 2896 205 16 0 2718 0
Current children cumulated CPU time (s) 1121.53
Current children cumulated vsize (KiB) 13116

[startup+1182.3 s]
/proc/loadavg: 1.01 1.06 1.02 2/78 15717
/proc/meminfo: memFree=1785848/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=13116 CPUtime=1181.49
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 117959 190 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527964 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 3279 2896 205 16 0 2718 0
Current children cumulated CPU time (s) 1181.49
Current children cumulated vsize (KiB) 13116

[startup+1242.3 s]
/proc/loadavg: 1.00 1.05 1.01 2/78 15717
/proc/meminfo: memFree=1785656/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=13116 CPUtime=1241.46
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 123946 200 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 3279 2896 205 16 0 2718 0
Current children cumulated CPU time (s) 1241.46
Current children cumulated vsize (KiB) 13116

[startup+1302.3 s]
/proc/loadavg: 1.00 1.04 1.01 2/78 15717
/proc/meminfo: memFree=1785656/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=13116 CPUtime=1301.42
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 129933 209 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 3279 2896 205 16 0 2718 0
Current children cumulated CPU time (s) 1301.42
Current children cumulated vsize (KiB) 13116

[startup+1362.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 15717
/proc/meminfo: memFree=1785656/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=13116 CPUtime=1361.39
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 135924 215 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 3279 2896 205 16 0 2718 0
Current children cumulated CPU time (s) 1361.39
Current children cumulated vsize (KiB) 13116

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 15717
/proc/meminfo: memFree=1785656/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=13116 CPUtime=1421.36
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 141914 222 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 3279 2896 205 16 0 2718 0
Current children cumulated CPU time (s) 1421.36
Current children cumulated vsize (KiB) 13116

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 15717
/proc/meminfo: memFree=1785656/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=13116 CPUtime=1481.31
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 147901 230 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 3279 2896 205 16 0 2718 0
Current children cumulated CPU time (s) 1481.31
Current children cumulated vsize (KiB) 13116

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 15717
/proc/meminfo: memFree=1785592/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=13116 CPUtime=1541.28
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 153890 238 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 3279 2896 205 16 0 2718 0
Current children cumulated CPU time (s) 1541.28
Current children cumulated vsize (KiB) 13116

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15717
/proc/meminfo: memFree=1785592/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=13116 CPUtime=1601.25
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 159879 246 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 3279 2896 205 16 0 2718 0
Current children cumulated CPU time (s) 1601.25
Current children cumulated vsize (KiB) 13116

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15717
/proc/meminfo: memFree=1785592/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=13116 CPUtime=1661.21
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 165867 254 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 3279 2896 205 16 0 2718 0
Current children cumulated CPU time (s) 1661.21
Current children cumulated vsize (KiB) 13116

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15717
/proc/meminfo: memFree=1785528/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=13116 CPUtime=1721.18
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 171856 262 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528066 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 3279 2896 205 16 0 2718 0
Current children cumulated CPU time (s) 1721.18
Current children cumulated vsize (KiB) 13116

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15717
/proc/meminfo: memFree=1785528/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=13116 CPUtime=1781.07
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 177836 271 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 3279 2896 205 16 0 2718 0
Current children cumulated CPU time (s) 1781.07
Current children cumulated vsize (KiB) 13116

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

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15717
/proc/meminfo: memFree=1785528/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=13116 CPUtime=1781.87
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 177916 271 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 3279 2896 205 16 0 2718 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 13116

[startup+1783.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15717
/proc/meminfo: memFree=1785528/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=13116 CPUtime=1782.27
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 177956 271 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 3279 2896 205 16 0 2718 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 13116

[startup+1783.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15717
/proc/meminfo: memFree=1785528/2055920 swapFree=4150044/4192956
[pid=15518] ppid=15516 vsize=13116 CPUtime=1782.67
/proc/15518/stat : 15518 (Pueblo) R 15516 15518 15385 0 -1 4194304 3071 0 4 0 177996 271 0 0 25 0 1 0 287409260 13430784 2896 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15518/statm: 3279 2896 205 16 0 2718 0
Current children cumulated CPU time (s) 1782.67
Current children cumulated vsize (KiB) 13116

Child status: 10
Real time (s): 1783.96
CPU time (s): 1782.73
CPU user time (s): 1780.01
CPU system time (s): 2.72159
CPU usage (%): 99.9309
Max. virtual memory (cumulated for all children) (KiB): 13116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.01
system time used= 2.72159
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3077
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 40673

runsolver used 1.52977 second user time and 4.96524 second system time

The end