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

command line: runsolver --timestamp -w ROOT/results/node41/watcher-353477-1176667063 -o ROOT/results/node41/solver-353477-1176667063 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353477-1176667063/instance-353477-1176667063.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.36 1.23 1.12 3/64 15905
/proc/meminfo: memFree=1790672/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=2552 CPUtime=0
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 114618253 2613248 227 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2397819 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 638 228 193 16 0 77 0

[startup+0.0603429 s]
/proc/loadavg: 1.36 1.23 1.12 3/64 15905
/proc/meminfo: memFree=1790672/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=3352 CPUtime=0.05
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 477 0 0 0 5 0 0 0 18 0 1 0 114618253 3432448 447 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 838 447 199 16 0 277 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3352

[startup+0.101346 s]
/proc/loadavg: 1.36 1.23 1.12 3/64 15905
/proc/meminfo: memFree=1790672/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=3884 CPUtime=0.09
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 618 0 0 0 9 0 0 0 18 0 1 0 114618253 3977216 588 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2428631 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 971 588 199 16 0 410 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3884

[startup+0.301363 s]
/proc/loadavg: 1.36 1.23 1.12 3/64 15905
/proc/meminfo: memFree=1790672/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=6680 CPUtime=0.29
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 1300 0 0 0 29 0 0 0 19 0 1 0 114618253 6840320 1270 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2428631 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 1670 1270 199 16 0 1109 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6680

[startup+0.701399 s]
/proc/loadavg: 1.36 1.23 1.12 3/64 15905
/proc/meminfo: memFree=1790672/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=12008 CPUtime=0.7
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 2650 0 0 0 69 1 0 0 22 0 1 0 114618253 12296192 2620 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2428631 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 3002 2620 199 16 0 2441 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 12008

[startup+1.50147 s]
/proc/loadavg: 1.36 1.23 1.12 2/65 15906
/proc/meminfo: memFree=1777096/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=17972 CPUtime=1.49
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 4090 0 0 0 147 2 0 0 25 0 1 0 114618253 18403328 4060 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519111 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 4493 4060 206 16 0 3932 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17972

[startup+3.10262 s]
/proc/loadavg: 1.36 1.23 1.12 2/65 15906
/proc/meminfo: memFree=1773960/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=19152 CPUtime=3.09
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 4405 0 0 0 307 2 0 0 25 0 1 0 114618253 19611648 4375 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 4788 4375 206 16 0 4227 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19152

[startup+6.30189 s]
/proc/loadavg: 1.33 1.23 1.12 2/65 15906
/proc/meminfo: memFree=1773456/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=19424 CPUtime=6.28
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 4482 0 0 0 626 2 0 0 25 0 1 0 114618253 19890176 4437 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 4856 4437 206 16 0 4295 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19424

[startup+12.7014 s]
/proc/loadavg: 1.30 1.22 1.12 2/65 15906
/proc/meminfo: memFree=1771440/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=22348 CPUtime=12.68
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 5221 0 0 0 1266 2 0 0 25 0 1 0 114618253 22884352 5174 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 5587 5174 206 16 0 5026 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22348

[startup+25.5016 s]
/proc/loadavg: 1.23 1.21 1.12 2/65 15906
/proc/meminfo: memFree=1759424/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=34008 CPUtime=25.48
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 8116 0 0 0 2544 4 0 0 25 0 1 0 114618253 34824192 8069 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 8502 8069 206 16 0 7941 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34008

[startup+51.1018 s]
/proc/loadavg: 1.15 1.19 1.11 2/65 15906
/proc/meminfo: memFree=1735232/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=57968 CPUtime=51.06
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 14112 0 0 0 5100 6 0 0 25 0 1 0 114618253 59359232 14065 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 14492 14065 206 16 0 13931 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 57968

[startup+102.305 s]
/proc/loadavg: 1.06 1.16 1.10 2/65 15906
/proc/meminfo: memFree=1692352/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=100756 CPUtime=102.25
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 24804 0 0 0 10213 12 0 0 25 0 1 0 114618253 103174144 24757 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519111 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 25189 24757 206 16 0 24628 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 100756

[startup+162.301 s]
/proc/loadavg: 1.02 1.13 1.09 2/65 15906
/proc/meminfo: memFree=1640192/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=153524 CPUtime=162.23
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 37922 0 0 0 16202 21 0 0 25 0 1 0 114618253 157208576 37875 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2401229 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 38381 37875 206 16 0 37820 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 153524

[startup+222.302 s]
/proc/loadavg: 1.01 1.10 1.09 2/71 16028
/proc/meminfo: memFree=1594368/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=197968 CPUtime=222.15
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 48924 0 0 0 22183 32 0 0 25 0 1 0 114618253 202719232 48877 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519066 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 49492 48877 206 16 0 48931 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 197968

[startup+282.302 s]
/proc/loadavg: 1.00 1.08 1.08 2/65 16104
/proc/meminfo: memFree=1567296/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=226792 CPUtime=282.11
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 56098 0 0 0 28174 37 0 0 25 0 1 0 114618253 232235008 56051 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 56698 56051 206 16 0 56137 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 226792

[startup+342.301 s]
/proc/loadavg: 1.00 1.06 1.07 2/65 16104
/proc/meminfo: memFree=1518848/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=274932 CPUtime=342.09
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 68045 0 0 0 34164 45 0 0 25 0 1 0 114618253 281530368 67998 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 68733 67998 206 16 0 68172 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 274932

[startup+402.301 s]
/proc/loadavg: 1.00 1.05 1.07 2/65 16104
/proc/meminfo: memFree=1482368/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=312628 CPUtime=402.06
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 77406 0 0 0 40157 49 0 0 25 0 1 0 114618253 320131072 77359 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 78157 77359 206 16 0 77596 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 312628

[startup+462.301 s]
/proc/loadavg: 1.00 1.04 1.06 2/65 16104
/proc/meminfo: memFree=1425472/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=369036 CPUtime=462.05
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 91457 0 0 0 46146 59 0 0 25 0 1 0 114618253 377892864 91410 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 92259 91410 206 16 0 91698 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 369036

[startup+522.302 s]
/proc/loadavg: 1.00 1.03 1.06 2/65 16104
/proc/meminfo: memFree=1403392/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=391620 CPUtime=522.03
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 96969 0 0 0 52140 63 0 0 25 0 1 0 114618253 401018880 96922 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 97905 96922 206 16 0 97344 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 391620

[startup+582.302 s]
/proc/loadavg: 1.00 1.02 1.05 2/65 16104
/proc/meminfo: memFree=1371648/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=423408 CPUtime=582.02
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 104867 0 0 0 58133 69 0 0 25 0 1 0 114618253 433569792 104820 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 105852 104820 206 16 0 105291 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 423408

[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.04 2/65 16104
/proc/meminfo: memFree=1346624/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=448808 CPUtime=642
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 111058 0 0 0 64128 72 0 0 25 0 1 0 114618253 459579392 111011 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 112202 111011 206 16 0 111641 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 448808


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

/proc/meminfo: memFree=1238080/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=557860 CPUtime=881.94
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 138119 0 0 0 88102 92 0 0 25 0 1 0 114618253 571248640 138072 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 139465 138072 206 16 0 138904 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 557860

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/65 16104
/proc/meminfo: memFree=1207744/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=588436 CPUtime=941.93
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 145681 0 0 0 94096 97 0 0 25 0 1 0 114618253 602558464 145634 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 147109 145634 206 16 0 146548 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 588436

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/65 16104
/proc/meminfo: memFree=1183424/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=613120 CPUtime=1001.91
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 151821 0 0 0 100091 100 0 0 25 0 1 0 114618253 627834880 151774 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 153280 151774 206 16 0 152719 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 613120

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16104
/proc/meminfo: memFree=1156416/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=639844 CPUtime=1061.89
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 158498 0 0 0 106086 103 0 0 25 0 1 0 114618253 655200256 158451 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 159961 158451 206 16 0 159400 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 639844

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16104
/proc/meminfo: memFree=1134336/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=662468 CPUtime=1121.88
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 164020 0 0 0 112083 105 0 0 25 0 1 0 114618253 678367232 163973 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 165617 163973 206 16 0 165056 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 662468

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16104
/proc/meminfo: memFree=1118080/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=679640 CPUtime=1181.86
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 168280 0 0 0 118079 107 0 0 25 0 1 0 114618253 695951360 168233 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 169910 168233 206 16 0 169349 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 679640

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16104
/proc/meminfo: memFree=1100352/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=696608 CPUtime=1241.84
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 172462 0 0 0 124075 109 0 0 25 0 1 0 114618253 713326592 172415 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 174152 172415 206 16 0 173591 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 696608

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16104
/proc/meminfo: memFree=1080640/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=716748 CPUtime=1301.83
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 177363 0 0 0 130071 112 0 0 25 0 1 0 114618253 733949952 177316 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 179187 177316 206 16 0 178626 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 716748

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16104
/proc/meminfo: memFree=1059456/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=738436 CPUtime=1361.81
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 182750 0 0 0 136066 115 0 0 25 0 1 0 114618253 756158464 182703 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2397819 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 184609 182703 206 16 0 184048 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 738436

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16104
/proc/meminfo: memFree=1034432/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=763296 CPUtime=1421.8
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 188908 0 0 0 142061 119 0 0 25 0 1 0 114618253 781615104 188861 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 190824 188861 206 16 0 190263 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 763296

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16104
/proc/meminfo: memFree=1013376/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=784456 CPUtime=1481.78
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 194134 0 0 0 148056 122 0 0 25 0 1 0 114618253 803282944 194087 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 196114 194087 206 16 0 195553 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 784456

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16104
/proc/meminfo: memFree=991040/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=807680 CPUtime=1541.76
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 199802 0 0 0 154050 126 0 0 25 0 1 0 114618253 827064320 199755 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522504 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 201920 199755 206 16 0 201359 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 807680

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16104
/proc/meminfo: memFree=968832/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=830224 CPUtime=1601.75
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 205232 0 0 0 160045 130 0 0 25 0 1 0 114618253 850149376 205185 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 207556 205185 206 16 0 206995 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 830224

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16104
/proc/meminfo: memFree=946368/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=852840 CPUtime=1661.74
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 210878 0 0 0 166040 134 0 0 25 0 1 0 114618253 873308160 210831 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 213210 210831 206 16 0 212649 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 852840

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16104
/proc/meminfo: memFree=920896/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=878168 CPUtime=1721.71
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 217234 0 0 0 172034 137 0 0 25 0 1 0 114618253 899244032 217155 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 219542 217155 206 16 0 218981 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 878168

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16104
/proc/meminfo: memFree=893632/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=905824 CPUtime=1781.7
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 224068 0 0 0 178028 142 0 0 25 0 1 0 114618253 927563776 223957 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 226456 223957 206 16 0 225895 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 905824

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 16104
/proc/meminfo: memFree=893376/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=906252 CPUtime=1782.5
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 224166 0 0 0 178108 142 0 0 25 0 1 0 114618253 928002048 224055 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2401229 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 226563 224055 206 16 0 226002 0
Current children cumulated CPU time (s) 1782.5
Current children cumulated vsize (KiB) 906252

[startup+1783.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16104
/proc/meminfo: memFree=893376/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=906672 CPUtime=1782.7
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194304 224251 0 0 0 178128 142 0 0 25 0 1 0 114618253 928432128 224140 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/statm: 226668 224140 206 16 0 226107 0
Current children cumulated CPU time (s) 1782.7
Current children cumulated vsize (KiB) 906672

[startup+1783.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16104
/proc/meminfo: memFree=893376/2055920 swapFree=4184680/4192956
[pid=15905] ppid=15903 vsize=0 CPUtime=1782.8
/proc/15905/stat : 15905 (Pueblo) R 15903 15905 17156 0 -1 4194308 224274 0 0 0 178131 149 0 0 17 0 1 0 114618253 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/15905/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.48
CPU time (s): 1782.89
CPU user time (s): 1781.32
CPU system time (s): 1.57176
CPU usage (%): 99.9668
Max. virtual memory (cumulated for all children) (KiB): 906672

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

runsolver used 1.24381 second user time and 3.68644 second system time

The end