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

command line: runsolver --timestamp -w ROOT/results/node59/watcher-353750-1176674727 -o ROOT/results/node59/solver-353750-1176674727 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353750-1176674727/instance-353750-1176674727.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.01 1.00 3/64 14816
/proc/meminfo: memFree=1652024/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=2552 CPUtime=0
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 115382298 2613248 230 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 9752279 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 638 230 193 16 0 77 0

[startup+0.0179689 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 14816
/proc/meminfo: memFree=1652024/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=2816 CPUtime=0.01
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 334 0 0 0 1 0 0 0 18 0 1 0 115382298 2883584 304 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 704 304 199 16 0 143 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2816

[startup+0.101985 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 14816
/proc/meminfo: memFree=1652024/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=4016 CPUtime=0.09
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 626 0 0 0 9 0 0 0 18 0 1 0 115382298 4112384 596 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 9752279 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 1004 596 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.302022 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 14816
/proc/meminfo: memFree=1652024/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=6680 CPUtime=0.29
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 1310 0 0 0 29 0 0 0 19 0 1 0 115382298 6840320 1280 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 9752279 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 1670 1280 199 16 0 1109 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6680

[startup+0.701098 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 14816
/proc/meminfo: memFree=1652024/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=12008 CPUtime=0.69
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 2648 0 0 0 69 0 0 0 22 0 1 0 115382298 12296192 2618 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 9752279 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 3002 2618 199 16 0 2441 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12008

[startup+1.50125 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 14817
/proc/meminfo: memFree=1638256/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=19108 CPUtime=1.49
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 4420 0 0 0 148 1 0 0 25 0 1 0 115382298 19566592 4358 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 9721467 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 4777 4358 203 16 0 4216 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19108

[startup+3.10155 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 14817
/proc/meminfo: memFree=1633648/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=21580 CPUtime=3.09
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 5066 0 0 0 308 1 0 0 25 0 1 0 115382298 22097920 5004 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 5395 5004 205 16 0 4834 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21580

[startup+6.30216 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 14817
/proc/meminfo: memFree=1632368/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=21908 CPUtime=6.29
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 5251 0 0 0 627 2 0 0 25 0 1 0 115382298 22433792 5094 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523647 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 5477 5094 205 16 0 4916 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21908

[startup+12.7014 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 14817
/proc/meminfo: memFree=1632048/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=22268 CPUtime=12.68
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 5352 0 0 0 1266 2 0 0 25 0 1 0 115382298 22802432 5169 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519120 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 5567 5169 205 16 0 5006 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22268

[startup+25.5018 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 14817
/proc/meminfo: memFree=1621488/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=32724 CPUtime=25.48
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 7958 0 0 0 2544 4 0 0 25 0 1 0 115382298 33509376 7775 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 8181 7775 205 16 0 7620 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32724

[startup+51.1017 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 14817
/proc/meminfo: memFree=1596976/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=57260 CPUtime=51.06
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 14093 0 0 0 5099 7 0 0 25 0 1 0 115382298 58634240 13910 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519120 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 14315 13910 205 16 0 13754 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 57260

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=1559280/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=95012 CPUtime=102.25
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 23497 0 0 0 10213 12 0 0 25 0 1 0 115382298 97292288 23314 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 23753 23314 205 16 0 23192 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 95012

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=1521264/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=132928 CPUtime=162.22
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 32969 0 0 0 16207 15 0 0 25 0 1 0 115382298 136118272 32786 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 33232 32786 205 16 0 32671 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 132928

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=1491440/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=162860 CPUtime=222.2
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 40436 0 0 0 22201 19 0 0 25 0 1 0 115382298 166768640 40253 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 40715 40253 205 16 0 40154 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 162860

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=1463536/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=191096 CPUtime=282.18
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 47502 0 0 0 28195 23 0 0 25 0 1 0 115382298 195682304 47319 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 47774 47319 205 16 0 47213 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 191096

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=1424944/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=229396 CPUtime=342.16
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 57025 0 0 0 34189 27 0 0 25 0 1 0 115382298 234901504 56842 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 57349 56842 205 16 0 56788 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 229396

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=1387632/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=267024 CPUtime=402.13
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 66391 0 0 0 40182 31 0 0 25 0 1 0 115382298 273432576 66208 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134529122 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 66756 66208 205 16 0 66195 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 267024

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=1357168/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=297236 CPUtime=462.12
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 73935 0 0 0 46177 35 0 0 25 0 1 0 115382298 304369664 73752 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 74309 73752 205 16 0 73748 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 297236

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=1322992/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=331324 CPUtime=522.1
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 82466 0 0 0 52168 42 0 0 25 0 1 0 115382298 339275776 82283 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519111 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 82831 82283 205 16 0 82270 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 331324

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=1297840/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=357272 CPUtime=582.08
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 88895 0 0 0 58162 46 0 0 25 0 1 0 115382298 365846528 88712 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 89318 88712 205 16 0 88757 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 357272

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=1269744/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=385044 CPUtime=642.06
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 95778 0 0 0 64155 51 0 0 25 0 1 0 115382298 394285056 95595 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 96261 95595 205 16 0 95700 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 385044


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

/proc/meminfo: memFree=1183920/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=471940 CPUtime=821.99
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 117260 0 0 0 82133 66 0 0 25 0 1 0 115382298 483266560 117077 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 117985 117077 206 16 0 117424 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 471940

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=1163952/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=491880 CPUtime=881.97
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 122206 0 0 0 88129 68 0 0 25 0 1 0 115382298 503685120 122023 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 122970 122023 206 16 0 122409 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 491880

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=1142512/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=513140 CPUtime=941.95
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 127514 0 0 0 94124 71 0 0 25 0 1 0 115382298 525455360 127331 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 128285 127331 206 16 0 127724 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 513140

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=1119280/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=536252 CPUtime=1001.94
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 133302 0 0 0 100120 74 0 0 25 0 1 0 115382298 549122048 133119 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 134063 133119 206 16 0 133502 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 536252

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=1095856/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=560528 CPUtime=1061.91
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 139334 0 0 0 106114 77 0 0 25 0 1 0 115382298 573980672 139151 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 140132 139151 206 16 0 139571 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 560528

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=1071536/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=584132 CPUtime=1121.89
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 145222 0 0 0 112108 81 0 0 25 0 1 0 115382298 598151168 145039 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 146033 145039 206 16 0 145472 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 584132

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=1049520/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=606020 CPUtime=1181.87
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 150703 0 0 0 118101 86 0 0 25 0 1 0 115382298 620564480 150520 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 151505 150520 206 16 0 150944 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 606020

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=1023408/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=632256 CPUtime=1241.85
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 157229 0 0 0 124095 90 0 0 25 0 1 0 115382298 647430144 157046 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 158064 157046 206 16 0 157503 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 632256

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=997744/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=657728 CPUtime=1301.84
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 163616 0 0 0 130089 95 0 0 25 0 1 0 115382298 673513472 163433 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 164432 163433 206 16 0 163871 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 657728

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=975920/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=679976 CPUtime=1361.81
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 169174 0 0 0 136083 98 0 0 25 0 1 0 115382298 696295424 168991 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 9724877 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 169994 168991 206 16 0 169433 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 679976

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=948656/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=707108 CPUtime=1421.8
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 175875 0 0 0 142078 102 0 0 25 0 1 0 115382298 724078592 175692 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532897 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 176777 175692 206 16 0 176216 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 707108

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=923376/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=732772 CPUtime=1481.77
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 182286 0 0 0 148071 106 0 0 25 0 1 0 115382298 750358528 182103 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 183193 182103 206 16 0 182632 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 732772

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=903536/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=752184 CPUtime=1541.75
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 187120 0 0 0 154065 110 0 0 25 0 1 0 115382298 770236416 186937 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 188046 186937 206 16 0 187485 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 752184

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=890608/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=766556 CPUtime=1601.73
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 190486 0 0 0 160061 112 0 0 25 0 1 0 115382298 784953344 190271 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 191639 190271 206 16 0 191078 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 766556

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=878512/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=779172 CPUtime=1661.71
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 193494 0 0 0 166057 114 0 0 25 0 1 0 115382298 797872128 193215 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 194793 193215 206 16 0 194232 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 779172

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=865904/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=793108 CPUtime=1721.68
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 196857 0 0 0 172053 115 0 0 25 0 1 0 115382298 812142592 196578 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 9724877 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 198277 196578 206 16 0 197716 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 793108

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=846704/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=811464 CPUtime=1781.67
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 201461 0 0 0 178050 117 0 0 25 0 1 0 115382298 830939136 201182 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519111 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 202866 201182 206 16 0 202305 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 811464

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

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=846000/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=811972 CPUtime=1782.47
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194304 201596 0 0 0 178130 117 0 0 25 0 1 0 115382298 831459328 201317 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 202993 201317 206 16 0 202432 0
Current children cumulated CPU time (s) 1782.47
Current children cumulated vsize (KiB) 811972

[startup+1783.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14817
/proc/meminfo: memFree=846000/2055920 swapFree=4184740/4192956
[pid=14816] ppid=14814 vsize=0 CPUtime=1782.87
/proc/14816/stat : 14816 (Pueblo) R 14814 14816 27306 0 -1 4194308 201603 0 0 0 178166 121 0 0 17 0 1 0 115382298 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/14816/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.87
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.59
CPU time (s): 1782.96
CPU user time (s): 1781.66
CPU system time (s): 1.3038
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 811972

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

runsolver used 1.17482 second user time and 3.70444 second system time

The end