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

command line: runsolver --timestamp -w ROOT/results/node41/watcher-353620-1176670965 -o ROOT/results/node41/solver-353620-1176670965 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353620-1176670965/instance-353620-1176670965.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.15 1.11 1.09 3/64 6447
/proc/meminfo: memFree=1764480/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=2552 CPUtime=0
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 115008450 2613248 228 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2428631 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 638 228 193 16 0 77 0

[startup+0.0234371 s]
/proc/loadavg: 1.15 1.11 1.09 3/64 6447
/proc/meminfo: memFree=1764480/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=2816 CPUtime=0.01
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 350 0 0 0 1 0 0 0 18 0 1 0 115008450 2883584 320 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2428631 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 704 320 199 16 0 143 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2816

[startup+0.101481 s]
/proc/loadavg: 1.15 1.11 1.09 3/64 6447
/proc/meminfo: memFree=1764480/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=3884 CPUtime=0.09
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 618 0 0 0 9 0 0 0 18 0 1 0 115008450 3977216 588 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 971 588 199 16 0 410 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3884

[startup+0.301497 s]
/proc/loadavg: 1.15 1.11 1.09 3/64 6447
/proc/meminfo: memFree=1764480/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=6680 CPUtime=0.29
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 1304 0 0 0 29 0 0 0 19 0 1 0 115008450 6840320 1274 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2428631 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 1670 1274 199 16 0 1109 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6680

[startup+0.701533 s]
/proc/loadavg: 1.15 1.11 1.09 3/64 6447
/proc/meminfo: memFree=1764480/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=12008 CPUtime=0.69
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 2652 0 0 0 68 1 0 0 22 0 1 0 115008450 12296192 2622 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2428631 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 3002 2622 199 16 0 2441 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12008

[startup+1.5016 s]
/proc/loadavg: 1.14 1.11 1.09 2/65 6448
/proc/meminfo: memFree=1752568/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=16352 CPUtime=1.49
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 3679 0 0 0 148 1 0 0 25 0 1 0 115008450 16744448 3649 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522504 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 4088 3649 206 16 0 3527 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16352

[startup+3.1017 s]
/proc/loadavg: 1.14 1.11 1.09 2/65 6448
/proc/meminfo: memFree=1749816/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=17248 CPUtime=3.09
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 3925 0 0 0 307 2 0 0 25 0 1 0 115008450 17661952 3895 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 4312 3895 206 16 0 3751 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17248

[startup+6.30198 s]
/proc/loadavg: 1.14 1.11 1.09 2/65 6448
/proc/meminfo: memFree=1749392/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=17300 CPUtime=6.28
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 3949 0 0 0 626 2 0 0 25 0 1 0 115008450 17715200 3908 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 4325 3908 206 16 0 3764 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17300

[startup+12.7015 s]
/proc/loadavg: 1.12 1.10 1.09 2/65 6448
/proc/meminfo: memFree=1743648/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=23820 CPUtime=12.68
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 5557 0 0 0 1265 3 0 0 25 0 1 0 115008450 24391680 5516 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523652 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 5955 5516 206 16 0 5394 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23820

[startup+25.5016 s]
/proc/loadavg: 1.10 1.10 1.09 2/65 6448
/proc/meminfo: memFree=1733352/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=34036 CPUtime=25.48
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 8117 0 0 0 2543 5 0 0 25 0 1 0 115008450 34852864 8069 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 8509 8069 206 16 0 7948 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34036

[startup+51.1019 s]
/proc/loadavg: 1.06 1.09 1.09 2/65 6448
/proc/meminfo: memFree=1714600/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=53120 CPUtime=51.07
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 12900 0 0 0 5099 8 0 0 25 0 1 0 115008450 54394880 12852 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134556370 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 13280 12852 206 16 0 12719 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 53120

[startup+102.305 s]
/proc/loadavg: 1.02 1.07 1.08 2/65 6448
/proc/meminfo: memFree=1676904/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=90492 CPUtime=102.26
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 22205 0 0 0 10213 13 0 0 25 0 1 0 115008450 92663808 22157 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522695 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 22623 22157 206 16 0 22062 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 90492

[startup+162.302 s]
/proc/loadavg: 1.01 1.06 1.08 2/65 6448
/proc/meminfo: memFree=1636392/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=131728 CPUtime=162.24
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 32475 0 0 0 16207 17 0 0 25 0 1 0 115008450 134889472 32427 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 32932 32427 206 16 0 32371 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 131728

[startup+222.302 s]
/proc/loadavg: 1.00 1.04 1.07 2/65 6448
/proc/meminfo: memFree=1597736/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=169692 CPUtime=222.22
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 41956 0 0 0 22201 21 0 0 25 0 1 0 115008450 173764608 41908 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 42423 41908 206 16 0 41862 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 169692

[startup+282.302 s]
/proc/loadavg: 1.00 1.03 1.06 2/65 6448
/proc/meminfo: memFree=1561384/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=206464 CPUtime=282.21
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 51018 0 0 0 28195 26 0 0 25 0 1 0 115008450 211419136 50970 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519085 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 51616 50970 206 16 0 51055 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 206464

[startup+342.301 s]
/proc/loadavg: 1.00 1.03 1.06 2/65 6448
/proc/meminfo: memFree=1527080/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=241328 CPUtime=342.19
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 59673 0 0 0 34188 31 0 0 25 0 1 0 115008450 247119872 59625 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 60332 59625 206 16 0 59771 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 241328

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.05 2/65 6448
/proc/meminfo: memFree=1486056/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=283848 CPUtime=402.18
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 70273 0 0 0 40180 38 0 0 25 0 1 0 115008450 290660352 70225 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2397819 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 70962 70225 206 16 0 70401 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 283848

[startup+462.302 s]
/proc/loadavg: 1.00 1.01 1.05 2/65 6448
/proc/meminfo: memFree=1441960/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=325916 CPUtime=462.16
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 80800 0 0 0 46172 44 0 0 25 0 1 0 115008450 333737984 80752 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 81479 80752 206 16 0 80918 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 325916

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.04 2/65 6448
/proc/meminfo: memFree=1411624/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=356340 CPUtime=522.14
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 88383 0 0 0 52168 46 0 0 25 0 1 0 115008450 364892160 88335 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 89085 88335 206 16 0 88524 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 356340

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.04 2/65 6448
/proc/meminfo: memFree=1391336/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=377404 CPUtime=582.13
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 93540 0 0 0 58163 50 0 0 25 0 1 0 115008450 386461696 93492 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 94351 93492 206 16 0 93790 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 377404

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/65 6448
/proc/meminfo: memFree=1368808/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=399532 CPUtime=642.11
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 99055 0 0 0 64159 52 0 0 25 0 1 0 115008450 409120768 99007 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134524561 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 99883 99007 206 16 0 99322 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 399532


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

/proc/meminfo: memFree=1266280/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=501804 CPUtime=822.07
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 124630 0 0 0 82138 69 0 0 25 0 1 0 115008450 513847296 124582 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 125451 124582 206 16 0 124890 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 501804

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/65 6448
/proc/meminfo: memFree=1227112/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=541140 CPUtime=882.05
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 134402 0 0 0 88128 77 0 0 25 0 1 0 115008450 554127360 134354 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519885 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 135285 134354 206 16 0 134724 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 541140

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6448
/proc/meminfo: memFree=1187560/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=581372 CPUtime=942.04
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 144490 0 0 0 94120 84 0 0 25 0 1 0 115008450 595324928 144442 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 145343 144442 206 16 0 144782 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 581372

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6448
/proc/meminfo: memFree=1143144/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=625564 CPUtime=1002.02
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 155463 0 0 0 100111 91 0 0 25 0 1 0 115008450 640577536 155415 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 156391 155415 206 16 0 155830 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 625564

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6448
/proc/meminfo: memFree=1104424/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=665292 CPUtime=1062
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 165175 0 0 0 106105 95 0 0 25 0 1 0 115008450 681259008 165127 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532827 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 166323 165127 206 16 0 165762 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 665292

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6448
/proc/meminfo: memFree=1092072/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=676944 CPUtime=1121.99
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 168107 0 0 0 112101 98 0 0 25 0 1 0 115008450 693190656 168059 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 169236 168059 206 16 0 168675 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 676944

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6448
/proc/meminfo: memFree=1076072/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=693408 CPUtime=1181.98
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 172219 0 0 0 118098 100 0 0 25 0 1 0 115008450 710049792 172171 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519085 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 173352 172171 206 16 0 172791 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 693408

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6448
/proc/meminfo: memFree=1043304/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=726720 CPUtime=1241.95
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 180238 0 0 0 124091 104 0 0 25 0 1 0 115008450 744161280 180190 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 181680 180190 206 16 0 181119 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 726720

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6448
/proc/meminfo: memFree=1041960/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=728052 CPUtime=1301.94
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 180570 0 0 0 130089 105 0 0 25 0 1 0 115008450 745525248 180522 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 182013 180522 206 16 0 181452 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 728052

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6448
/proc/meminfo: memFree=1041896/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=728052 CPUtime=1361.92
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 180570 0 0 0 136085 107 0 0 25 0 1 0 115008450 745525248 180522 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 182013 180522 206 16 0 181452 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 728052

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6448
/proc/meminfo: memFree=1041832/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=728052 CPUtime=1421.91
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 180570 0 0 0 142083 108 0 0 25 0 1 0 115008450 745525248 180522 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 182013 180522 206 16 0 181452 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 728052

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6448
/proc/meminfo: memFree=1041832/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=728052 CPUtime=1481.9
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 180575 0 0 0 148081 109 0 0 25 0 1 0 115008450 745525248 180527 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 182013 180527 206 16 0 181452 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 728052

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6448
/proc/meminfo: memFree=1041960/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=728052 CPUtime=1541.88
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 180575 0 0 0 154079 109 0 0 25 0 1 0 115008450 745525248 180527 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 182013 180527 206 16 0 181452 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 728052

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6448
/proc/meminfo: memFree=1041960/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=728052 CPUtime=1601.86
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 180576 0 0 0 160076 110 0 0 25 0 1 0 115008450 745525248 180528 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 182013 180528 206 16 0 181452 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 728052

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6448
/proc/meminfo: memFree=1041960/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=728052 CPUtime=1661.85
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 180576 0 0 0 166074 111 0 0 25 0 1 0 115008450 745525248 180528 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 182013 180528 206 16 0 181452 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 728052

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6448
/proc/meminfo: memFree=1041896/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=728052 CPUtime=1721.83
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 180583 0 0 0 172071 112 0 0 25 0 1 0 115008450 745525248 180535 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 182013 180535 206 16 0 181452 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 728052

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6448
/proc/meminfo: memFree=1041832/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=728052 CPUtime=1781.81
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 180583 0 0 0 178068 113 0 0 25 0 1 0 115008450 745525248 180535 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527821 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 182013 180535 206 16 0 181452 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 728052

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

[startup+1783.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6448
/proc/meminfo: memFree=1041832/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=728052 CPUtime=1782.62
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194304 180583 0 0 0 178149 113 0 0 25 0 1 0 115008450 745525248 180535 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 182013 180535 206 16 0 181452 0
Current children cumulated CPU time (s) 1782.62
Current children cumulated vsize (KiB) 728052

[startup+1783.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6448
/proc/meminfo: memFree=1041832/2055920 swapFree=4184680/4192956
[pid=6447] ppid=6445 vsize=0 CPUtime=1782.82
/proc/6447/stat : 6447 (Pueblo) R 6445 6447 17156 0 -1 4194308 180590 0 0 0 178160 122 0 0 25 0 1 0 115008450 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/6447/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.82
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.33
CPU time (s): 1782.85
CPU user time (s): 1781.6
CPU system time (s): 1.25081
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 728052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.6
system time used= 1.25081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180590
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= 13
involuntary context switches= 2958

runsolver used 1.21381 second user time and 3.66444 second system time

The end