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

command line: runsolver --timestamp -w ROOT/results/node15/watcher-353516-1176668237 -o ROOT/results/node15/solver-353516-1176668237 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353516-1176668237/instance-353516-1176668237.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.00 1.00 3/77 18076
/proc/meminfo: memFree=1803112/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=2552 CPUtime=0
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 114741286 2613248 232 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7978711 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 638 232 193 16 0 77 0

[startup+0.082385 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 18076
/proc/meminfo: memFree=1803112/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=3748 CPUtime=0.07
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 555 0 0 0 7 0 0 0 18 0 1 0 114741286 3837952 525 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7947845 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 937 525 199 16 0 376 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3748

[startup+0.102388 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 18076
/proc/meminfo: memFree=1803112/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=4016 CPUtime=0.09
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 624 0 0 0 9 0 0 0 18 0 1 0 114741286 4112384 594 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 1004 594 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.301406 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 18076
/proc/meminfo: memFree=1803112/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=6680 CPUtime=0.29
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 1304 0 0 0 28 1 0 0 19 0 1 0 114741286 6840320 1274 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7978711 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 1670 1274 199 16 0 1109 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6680

[startup+0.702442 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 18076
/proc/meminfo: memFree=1803112/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=12008 CPUtime=0.69
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 2652 0 0 0 68 1 0 0 22 0 1 0 114741286 12296192 2622 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7978711 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 3002 2622 199 16 0 2441 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12008

[startup+1.50151 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18077
/proc/meminfo: memFree=1789600/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=17820 CPUtime=1.49
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 4073 0 0 0 147 2 0 0 25 0 1 0 114741286 18247680 4043 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 4455 4043 206 16 0 3894 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17820

[startup+3.10166 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18077
/proc/meminfo: memFree=1786656/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=19028 CPUtime=3.09
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 4402 0 0 0 307 2 0 0 25 0 1 0 114741286 19484672 4356 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519122 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 4757 4356 206 16 0 4196 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19028

[startup+6.30195 s]
/proc/loadavg: 1.08 1.02 1.01 2/78 18077
/proc/meminfo: memFree=1785952/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=19464 CPUtime=6.28
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 4502 0 0 0 626 2 0 0 25 0 1 0 114741286 19931136 4440 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519125 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 4866 4440 206 16 0 4305 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19464

[startup+12.7015 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 18077
/proc/meminfo: memFree=1785120/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=20604 CPUtime=12.68
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 4804 0 0 0 1266 2 0 0 25 0 1 0 114741286 21098496 4742 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 5151 4742 206 16 0 4590 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20604

[startup+25.5017 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 18077
/proc/meminfo: memFree=1773792/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=32112 CPUtime=25.49
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 7658 0 0 0 2545 4 0 0 25 0 1 0 114741286 32882688 7596 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7947899 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 8028 7596 206 16 0 7467 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32112

[startup+51.102 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 18077
/proc/meminfo: memFree=1754592/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=51464 CPUtime=51.07
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 12518 0 0 0 5101 6 0 0 25 0 1 0 114741286 52699136 12456 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 12866 12456 206 16 0 12305 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 51464

[startup+102.306 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 18077
/proc/meminfo: memFree=1715744/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=89568 CPUtime=102.26
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 22001 0 0 0 10216 10 0 0 25 0 1 0 114741286 91717632 21939 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 22392 21939 206 16 0 21831 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 89568

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18077
/proc/meminfo: memFree=1669088/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=136200 CPUtime=162.24
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 33634 0 0 0 16207 17 0 0 25 0 1 0 114741286 139468800 33572 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519125 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 34050 33572 206 16 0 33489 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 136200

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18077
/proc/meminfo: memFree=1622112/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=183108 CPUtime=222.22
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 45353 0 0 0 22199 23 0 0 25 0 1 0 114741286 187502592 45291 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 45777 45291 206 16 0 45216 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 183108

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18077
/proc/meminfo: memFree=1591904/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=213416 CPUtime=282.2
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 52879 0 0 0 28193 27 0 0 25 0 1 0 114741286 218537984 52817 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 53354 52817 206 16 0 52793 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 213416

[startup+342.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 18077
/proc/meminfo: memFree=1553504/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=252220 CPUtime=342.19
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 62461 0 0 0 34185 34 0 0 25 0 1 0 114741286 258273280 62399 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523654 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 63055 62399 206 16 0 62494 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 252220

[startup+402.302 s]
/proc/loadavg: 1.05 1.02 1.00 2/78 18077
/proc/meminfo: memFree=1528160/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=278172 CPUtime=402.18
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 68853 0 0 0 40181 37 0 0 25 0 1 0 114741286 284848128 68791 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519077 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 69543 68791 206 16 0 68982 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 278172

[startup+462.301 s]
/proc/loadavg: 1.08 1.05 1.01 2/78 18077
/proc/meminfo: memFree=1503904/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=302360 CPUtime=462.16
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 74953 0 0 0 46176 40 0 0 25 0 1 0 114741286 309616640 74891 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 75590 74891 206 16 0 75029 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 302360

[startup+522.302 s]
/proc/loadavg: 1.03 1.03 1.00 2/78 18077
/proc/meminfo: memFree=1476576/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=329292 CPUtime=522.15
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 81658 0 0 0 52171 44 0 0 25 0 1 0 114741286 337195008 81596 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523671 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 82323 81596 206 16 0 81762 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 329292

[startup+582.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 18077
/proc/meminfo: memFree=1445216/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=361416 CPUtime=582.13
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 89659 0 0 0 58165 48 0 0 25 0 1 0 114741286 370089984 89597 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522263 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 90354 89597 206 16 0 89793 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 361416

[startup+642.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 18077
/proc/meminfo: memFree=1410208/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=395672 CPUtime=642.11
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 98206 0 0 0 64159 52 0 0 25 0 1 0 114741286 405168128 98144 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523614 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 98918 98144 206 16 0 98357 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 395672


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

/proc/meminfo: memFree=1323680/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=483024 CPUtime=822.07
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 119825 0 0 0 82141 66 0 0 25 0 1 0 114741286 494616576 119763 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 120756 119763 206 16 0 120195 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 483024

[startup+882.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18077
/proc/meminfo: memFree=1297376/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=509368 CPUtime=882.05
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 126363 0 0 0 88136 69 0 0 25 0 1 0 114741286 521592832 126301 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 127342 126301 206 16 0 126781 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 509368

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18077
/proc/meminfo: memFree=1276576/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=530540 CPUtime=942.04
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 131626 0 0 0 94130 74 0 0 25 0 1 0 114741286 543272960 131564 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 132635 131564 206 16 0 132074 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 530540

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18077
/proc/meminfo: memFree=1250144/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=557020 CPUtime=1002.02
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 138169 0 0 0 100122 80 0 0 25 0 1 0 114741286 570388480 138107 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 139255 138107 206 16 0 138694 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 557020

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18077
/proc/meminfo: memFree=1226336/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=581116 CPUtime=1061.99
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 144182 0 0 0 106113 86 0 0 25 0 1 0 114741286 595062784 144120 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 145279 144120 206 16 0 144718 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 581116

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18077
/proc/meminfo: memFree=1200800/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=607404 CPUtime=1121.99
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 150564 0 0 0 112108 91 0 0 25 0 1 0 114741286 621981696 150502 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 151851 150502 206 16 0 151290 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 607404

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18077
/proc/meminfo: memFree=1172768/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=635708 CPUtime=1181.97
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 157657 0 0 0 118102 95 0 0 25 0 1 0 114741286 650964992 157595 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 158927 157595 206 16 0 158366 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 635708

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18079
/proc/meminfo: memFree=1144288/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=663408 CPUtime=1241.95
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 164588 0 0 0 124095 100 0 0 25 0 1 0 114741286 679329792 164526 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 165852 164526 206 16 0 165291 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 663408

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18079
/proc/meminfo: memFree=1109920/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=697924 CPUtime=1301.94
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 173116 0 0 0 130087 107 0 0 25 0 1 0 114741286 714674176 173054 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 174481 173054 206 16 0 173920 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 697924

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18079
/proc/meminfo: memFree=1088032/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=720068 CPUtime=1361.92
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 178670 0 0 0 136080 112 0 0 25 0 1 0 114741286 737349632 178608 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 180017 178608 206 16 0 179456 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 720068

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18079
/proc/meminfo: memFree=1039520/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=768108 CPUtime=1421.9
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 190690 0 0 0 142069 121 0 0 25 0 1 0 114741286 786542592 190628 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528641 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 192027 190628 206 16 0 191466 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 768108

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18079
/proc/meminfo: memFree=1006176/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=802480 CPUtime=1481.89
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 199092 0 0 0 148060 129 0 0 25 0 1 0 114741286 821739520 199030 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 200620 199030 206 16 0 200059 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 802480

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18079
/proc/meminfo: memFree=985056/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=823660 CPUtime=1541.87
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 204291 0 0 0 154053 134 0 0 25 0 1 0 114741286 843427840 204229 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 205915 204229 206 16 0 205354 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 823660

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18079
/proc/meminfo: memFree=962464/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=846340 CPUtime=1601.86
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 209917 0 0 0 160047 139 0 0 25 0 1 0 114741286 866652160 209855 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523645 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 211585 209855 206 16 0 211024 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 846340

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18079
/proc/meminfo: memFree=928544/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=880096 CPUtime=1661.83
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 218382 0 0 0 166040 143 0 0 25 0 1 0 114741286 901218304 218320 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 220024 218320 206 16 0 219463 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 880096

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18079
/proc/meminfo: memFree=898464/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=910936 CPUtime=1721.82
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 226085 0 0 0 172034 148 0 0 25 0 1 0 114741286 932798464 226023 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134557338 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 227734 226023 206 16 0 227173 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 910936

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18079
/proc/meminfo: memFree=872800/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=935824 CPUtime=1781.81
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 232281 0 0 0 178030 151 0 0 25 0 1 0 114741286 958283776 232219 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522742 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 233956 232219 206 16 0 233395 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 935824

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 18079
/proc/meminfo: memFree=872800/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=935824 CPUtime=1782.61
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194304 232281 0 0 0 178110 151 0 0 25 0 1 0 114741286 958283776 232219 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 233956 232219 206 16 0 233395 0
Current children cumulated CPU time (s) 1782.61
Current children cumulated vsize (KiB) 935824

[startup+1783.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18079
/proc/meminfo: memFree=872800/2055920 swapFree=4169120/4192956
[pid=18076] ppid=18074 vsize=0 CPUtime=1782.8
/proc/18076/stat : 18076 (Pueblo) R 18074 18076 17055 0 -1 4194308 232288 0 0 0 178123 157 0 0 17 0 1 0 114741286 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/18076/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.8
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.38
CPU time (s): 1782.89
CPU user time (s): 1781.24
CPU system time (s): 1.65575
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 935824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.24
system time used= 1.65575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232288
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= 2538

runsolver used 2.12768 second user time and 4.30035 second system time

The end