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

command line: runsolver --timestamp -w ROOT/results/node41/watcher-352008-1176619932 -o ROOT/results/node41/solver-352008-1176619932 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352008-1176619932/instance-352008-1176619932.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.97 1.02 1.00 3/64 12285
/proc/meminfo: memFree=1789384/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=2552 CPUtime=0
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 109905055 2613248 228 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2428631 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 638 228 193 16 0 77 0

[startup+0.0712091 s]
/proc/loadavg: 0.97 1.02 1.00 3/64 12285
/proc/meminfo: memFree=1789384/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=3216 CPUtime=0.06
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 426 0 0 0 6 0 0 0 18 0 1 0 109905055 3293184 396 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2428631 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 804 396 199 16 0 243 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3216

[startup+0.10221 s]
/proc/loadavg: 0.97 1.02 1.00 3/64 12285
/proc/meminfo: memFree=1789384/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=3484 CPUtime=0.09
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 489 0 0 0 9 0 0 0 18 0 1 0 109905055 3567616 459 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2428631 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 871 459 199 16 0 310 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3484

[startup+0.302227 s]
/proc/loadavg: 0.97 1.02 1.00 3/64 12285
/proc/meminfo: memFree=1789384/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=4296 CPUtime=0.29
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 688 0 0 0 29 0 0 0 19 0 1 0 109905055 4399104 658 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 1074 658 205 16 0 513 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4296

[startup+0.702272 s]
/proc/loadavg: 0.97 1.02 1.00 3/64 12285
/proc/meminfo: memFree=1789384/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=5944 CPUtime=0.69
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 1101 0 0 0 69 0 0 0 22 0 1 0 109905055 6086656 1071 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 1486 1071 205 16 0 925 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5944

[startup+1.50133 s]
/proc/loadavg: 0.97 1.02 1.00 2/65 12286
/proc/meminfo: memFree=1785728/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=6364 CPUtime=1.49
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 1242 0 0 0 149 0 0 0 25 0 1 0 109905055 6516736 1208 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 1591 1208 205 16 0 1030 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6364

[startup+3.10147 s]
/proc/loadavg: 0.97 1.02 1.00 2/65 12286
/proc/meminfo: memFree=1784960/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=7592 CPUtime=3.09
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 1625 0 0 0 309 0 0 0 25 0 1 0 109905055 7774208 1502 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 1898 1502 205 16 0 1337 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7592

[startup+6.30175 s]
/proc/loadavg: 0.97 1.02 1.00 2/65 12286
/proc/meminfo: memFree=1782344/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=9988 CPUtime=6.29
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 2426 0 0 0 628 1 0 0 25 0 1 0 109905055 10227712 2107 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 2497 2107 205 16 0 1936 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9988

[startup+12.7013 s]
/proc/loadavg: 0.98 1.02 1.00 2/65 12286
/proc/meminfo: memFree=1779336/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=12324 CPUtime=12.68
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 3030 0 0 0 1267 1 0 0 25 0 1 0 109905055 12619776 2687 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 3081 2687 205 16 0 2520 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 12324

[startup+25.5014 s]
/proc/loadavg: 0.98 1.02 1.00 2/65 12286
/proc/meminfo: memFree=1775880/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=15856 CPUtime=25.48
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 3995 0 0 0 2545 3 0 0 25 0 1 0 109905055 16236544 3559 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 3964 3559 205 16 0 3403 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15856

[startup+51.1016 s]
/proc/loadavg: 0.99 1.02 1.00 2/65 12286
/proc/meminfo: memFree=1773704/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=18016 CPUtime=51.07
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 4575 0 0 0 5102 5 0 0 25 0 1 0 109905055 18448384 4095 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 4504 4095 205 16 0 3943 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18016

[startup+102.305 s]
/proc/loadavg: 0.99 1.01 1.00 2/65 12286
/proc/meminfo: memFree=1770312/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=21312 CPUtime=102.26
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 5926 0 0 0 10218 8 0 0 25 0 1 0 109905055 21823488 4931 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523405 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 5328 4931 205 16 0 4767 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 21312

[startup+162.301 s]
/proc/loadavg: 0.99 1.01 1.00 2/65 12286
/proc/meminfo: memFree=1769672/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=21880 CPUtime=162.25
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 6082 0 0 0 16212 13 0 0 25 0 1 0 109905055 22405120 5084 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 5470 5084 205 16 0 4909 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 21880

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12286
/proc/meminfo: memFree=1768200/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=23312 CPUtime=222.24
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 6639 0 0 0 22206 18 0 0 25 0 1 0 109905055 23871488 5445 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 5828 5445 205 16 0 5267 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 23312

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12286
/proc/meminfo: memFree=1768008/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=23520 CPUtime=282.22
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 6706 0 0 0 28200 22 0 0 25 0 1 0 109905055 24084480 5497 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 5880 5497 205 16 0 5319 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 23520

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12286
/proc/meminfo: memFree=1766152/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=25280 CPUtime=342.21
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 7425 0 0 0 34196 25 0 0 25 0 1 0 109905055 25886720 5937 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527765 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 6320 5937 205 16 0 5759 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 25280

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12286
/proc/meminfo: memFree=1765832/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=25864 CPUtime=402.19
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 7553 0 0 0 40191 28 0 0 25 0 1 0 109905055 26484736 6065 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 6466 6065 205 16 0 5905 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 25864

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12286
/proc/meminfo: memFree=1765768/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=25800 CPUtime=462.18
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 7553 0 0 0 46188 30 0 0 25 0 1 0 109905055 26419200 6065 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 6450 6065 205 16 0 5889 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 25800

[startup+522.303 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12286
/proc/meminfo: memFree=1765064/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=26288 CPUtime=522.17
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 7807 0 0 0 52184 33 0 0 25 0 1 0 109905055 26918912 6189 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 6572 6189 205 16 0 6011 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 26288

[startup+582.303 s]
/proc/loadavg: 0.99 1.00 1.00 2/71 12462
/proc/meminfo: memFree=1761856/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=28288 CPUtime=582.06
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 8418 0 0 0 58170 36 0 0 25 0 1 0 109905055 28966912 6678 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 7072 6678 205 16 0 6511 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 28288

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12484
/proc/meminfo: memFree=1762760/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=28616 CPUtime=642.04
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 8532 0 0 0 64165 39 0 0 25 0 1 0 109905055 29302784 6764 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 7154 6764 205 16 0 6593 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 28616


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

/proc/meminfo: memFree=1759048/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=32236 CPUtime=881.98
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 9757 0 0 0 88143 55 0 0 25 0 1 0 109905055 33009664 7666 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528632 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 8059 7666 205 16 0 7498 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 32236

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12484
/proc/meminfo: memFree=1759048/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=32132 CPUtime=941.97
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 9779 0 0 0 94135 62 0 0 25 0 1 0 109905055 32903168 7640 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2401229 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 8033 7640 205 16 0 7472 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 32132

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12484
/proc/meminfo: memFree=1758856/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=32384 CPUtime=1001.95
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 9841 0 0 0 100130 65 0 0 25 0 1 0 109905055 33161216 7702 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527724 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 8096 7702 205 16 0 7535 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 32384

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12484
/proc/meminfo: memFree=1757192/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=34124 CPUtime=1061.94
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 10572 0 0 0 106125 69 0 0 25 0 1 0 109905055 34942976 8132 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 8531 8132 205 16 0 7970 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 34124

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12484
/proc/meminfo: memFree=1756872/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=34348 CPUtime=1121.93
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 11023 0 0 0 112122 71 0 0 25 0 1 0 109905055 35172352 8184 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 8587 8184 205 16 0 8026 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 34348

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12484
/proc/meminfo: memFree=1756744/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=34460 CPUtime=1181.92
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 11174 0 0 0 118118 74 0 0 25 0 1 0 109905055 35287040 8230 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 8615 8230 205 16 0 8054 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 34460

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12484
/proc/meminfo: memFree=1755016/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=36064 CPUtime=1241.9
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 12145 0 0 0 124114 76 0 0 25 0 1 0 109905055 36929536 8631 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 9016 8631 205 16 0 8455 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 36064

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12484
/proc/meminfo: memFree=1755464/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=35624 CPUtime=1301.89
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 12145 0 0 0 130111 78 0 0 25 0 1 0 109905055 36478976 8521 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 8906 8521 205 16 0 8345 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 35624

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12484
/proc/meminfo: memFree=1755464/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=35624 CPUtime=1361.87
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 12145 0 0 0 136106 81 0 0 25 0 1 0 109905055 36478976 8521 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 8906 8521 205 16 0 8345 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 35624

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12484
/proc/meminfo: memFree=1755912/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=35140 CPUtime=1421.86
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 12145 0 0 0 142103 83 0 0 25 0 1 0 109905055 35983360 8400 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 8785 8400 205 16 0 8224 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 35140

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12484
/proc/meminfo: memFree=1755592/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=35416 CPUtime=1481.84
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 12442 0 0 0 148098 86 0 0 25 0 1 0 109905055 36265984 8469 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 8854 8469 205 16 0 8293 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 35416

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12484
/proc/meminfo: memFree=1755592/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=35416 CPUtime=1541.83
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 12442 0 0 0 154095 88 0 0 25 0 1 0 109905055 36265984 8469 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 8854 8469 205 16 0 8293 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 35416

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12484
/proc/meminfo: memFree=1755336/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=35608 CPUtime=1601.81
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 12599 0 0 0 160092 89 0 0 25 0 1 0 109905055 36462592 8517 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 8902 8517 205 16 0 8341 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 35608

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12484
/proc/meminfo: memFree=1753800/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=37360 CPUtime=1661.8
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 13123 0 0 0 166087 93 0 0 25 0 1 0 109905055 38256640 8954 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 9340 8954 205 16 0 8779 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 37360

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12484
/proc/meminfo: memFree=1753864/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=37252 CPUtime=1721.78
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 13140 0 0 0 172081 97 0 0 25 0 1 0 109905055 38146048 8910 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 9313 8910 205 16 0 8752 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 37252

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12484
/proc/meminfo: memFree=1753032/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=38128 CPUtime=1781.77
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 13409 0 0 0 178077 100 0 0 25 0 1 0 109905055 39043072 9128 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 9532 9128 205 16 0 8971 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 38128

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

[startup+1782.7 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12484
/proc/meminfo: memFree=1753032/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=38128 CPUtime=1782.17
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 13409 0 0 0 178117 100 0 0 25 0 1 0 109905055 39043072 9128 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527998 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 9532 9128 205 16 0 8971 0
Current children cumulated CPU time (s) 1782.17
Current children cumulated vsize (KiB) 38128

[startup+1783.11 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12484
/proc/meminfo: memFree=1753032/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=38128 CPUtime=1782.57
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 13409 0 0 0 178157 100 0 0 25 0 1 0 109905055 39043072 9128 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 9532 9128 205 16 0 8971 0
Current children cumulated CPU time (s) 1782.57
Current children cumulated vsize (KiB) 38128

[startup+1783.2 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 12484
/proc/meminfo: memFree=1753032/2055920 swapFree=4184828/4192956
[pid=12285] ppid=12283 vsize=38128 CPUtime=1782.67
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 11067 0 -1 4194304 13409 0 0 0 178167 100 0 0 25 0 1 0 109905055 39043072 9128 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/12285/statm: 9532 9128 205 16 0 8971 0
Current children cumulated CPU time (s) 1782.67
Current children cumulated vsize (KiB) 38128

Child status: 10
Real time (s): 1783.27
CPU time (s): 1782.75
CPU user time (s): 1781.73
CPU system time (s): 1.01584
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 38128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.73
system time used= 1.01585
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13416
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= 15
involuntary context switches= 2014

runsolver used 1.21981 second user time and 3.71244 second system time

The end