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

command line: runsolver --timestamp -w ROOT/results/node5/watcher-353672-1176672509 -o ROOT/results/node5/solver-353672-1176672509 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353672-1176672509/instance-353672-1176672509.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.05 1.18 1.18 3/77 344
/proc/meminfo: memFree=1819016/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=2552 CPUtime=0
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 143288571 2613248 230 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8359639 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 638 230 193 16 0 77 0

[startup+0.0428981 s]
/proc/loadavg: 1.05 1.18 1.18 3/77 344
/proc/meminfo: memFree=1819016/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=3084 CPUtime=0.03
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 416 0 0 0 3 0 0 0 18 0 1 0 143288571 3158016 386 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8359639 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 771 386 199 16 0 210 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3084

[startup+0.101898 s]
/proc/loadavg: 1.05 1.18 1.18 3/77 344
/proc/meminfo: memFree=1819016/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=3884 CPUtime=0.09
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 620 0 0 0 9 0 0 0 18 0 1 0 143288571 3977216 590 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8359639 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 971 590 199 16 0 410 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3884

[startup+0.301922 s]
/proc/loadavg: 1.05 1.18 1.18 3/77 344
/proc/meminfo: memFree=1819016/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=6680 CPUtime=0.29
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 1306 0 0 0 29 0 0 0 19 0 1 0 143288571 6840320 1276 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8359639 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 1670 1276 199 16 0 1109 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6680

[startup+0.701967 s]
/proc/loadavg: 1.05 1.18 1.18 3/77 344
/proc/meminfo: memFree=1819016/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=12312 CPUtime=0.69
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 2702 0 0 0 68 1 0 0 23 0 1 0 143288571 12607488 2672 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134521840 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 3078 2672 202 16 0 2517 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12312

[startup+1.50106 s]
/proc/loadavg: 1.05 1.18 1.18 2/78 345
/proc/meminfo: memFree=1807744/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=13796 CPUtime=1.49
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 3031 0 0 0 148 1 0 0 25 0 1 0 143288571 14127104 3001 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519100 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 3449 3001 205 16 0 2888 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13796

[startup+3.10124 s]
/proc/loadavg: 1.05 1.18 1.18 2/78 345
/proc/meminfo: memFree=1807616/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=13796 CPUtime=3.09
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 3031 0 0 0 308 1 0 0 25 0 1 0 143288571 14127104 3001 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 3449 3001 205 16 0 2888 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13796

[startup+6.3016 s]
/proc/loadavg: 1.04 1.18 1.18 2/78 345
/proc/meminfo: memFree=1807168/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=15196 CPUtime=6.29
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 3391 0 0 0 628 1 0 0 25 0 1 0 143288571 15560704 3361 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 3799 3361 205 16 0 3238 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15196

[startup+12.7013 s]
/proc/loadavg: 1.04 1.18 1.18 2/78 345
/proc/meminfo: memFree=1800128/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=22092 CPUtime=12.69
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 5121 0 0 0 1267 2 0 0 25 0 1 0 143288571 22622208 5091 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523628 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 5523 5091 205 16 0 4962 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22092

[startup+25.5018 s]
/proc/loadavg: 1.03 1.17 1.18 2/78 345
/proc/meminfo: memFree=1785408/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=36612 CPUtime=25.48
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 8717 0 0 0 2544 4 0 0 25 0 1 0 143288571 37490688 8687 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 9153 8687 205 16 0 8592 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36612

[startup+51.1017 s]
/proc/loadavg: 1.02 1.15 1.17 2/78 345
/proc/meminfo: memFree=1760448/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=61660 CPUtime=51.07
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 14975 0 0 0 5100 7 0 0 25 0 1 0 143288571 63139840 14945 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 15415 14945 205 16 0 14854 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 61660

[startup+102.305 s]
/proc/loadavg: 1.01 1.13 1.16 2/78 345
/proc/meminfo: memFree=1716544/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=105336 CPUtime=102.26
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 25859 0 0 0 10213 13 0 0 25 0 1 0 143288571 107864064 25829 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532913 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 26334 25829 205 16 0 25773 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 105336

[startup+162.301 s]
/proc/loadavg: 1.00 1.10 1.15 2/78 347
/proc/meminfo: memFree=1676096/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=145584 CPUtime=162.24
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 35894 0 0 0 16205 19 0 0 25 0 1 0 143288571 149078016 35864 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 36396 35864 205 16 0 35835 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 145584

[startup+222.301 s]
/proc/loadavg: 1.00 1.08 1.14 2/78 347
/proc/meminfo: memFree=1641216/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=180828 CPUtime=222.22
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 44672 0 0 0 22199 23 0 0 25 0 1 0 143288571 185167872 44642 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532733 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 45207 44642 205 16 0 44646 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 180828

[startup+282.302 s]
/proc/loadavg: 1.06 1.08 1.13 2/78 347
/proc/meminfo: memFree=1598528/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=224708 CPUtime=282.21
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 55561 0 0 0 28192 29 0 0 25 0 1 0 143288571 230100992 55531 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 56177 55531 205 16 0 55616 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 224708

[startup+342.302 s]
/proc/loadavg: 1.02 1.06 1.12 2/78 347
/proc/meminfo: memFree=1554688/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=267976 CPUtime=342.2
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 66334 0 0 0 34184 36 0 0 25 0 1 0 143288571 274407424 66304 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 66994 66304 205 16 0 66433 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 267976

[startup+402.301 s]
/proc/loadavg: 1.00 1.05 1.11 2/78 347
/proc/meminfo: memFree=1519296/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=304328 CPUtime=402.18
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 75314 0 0 0 40178 40 0 0 25 0 1 0 143288571 311631872 75284 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 76082 75284 205 16 0 75521 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 304328

[startup+462.301 s]
/proc/loadavg: 1.00 1.04 1.10 2/78 347
/proc/meminfo: memFree=1479296/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=344040 CPUtime=462.16
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 85220 0 0 0 46169 47 0 0 25 0 1 0 143288571 352296960 85190 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 86010 85190 205 16 0 85449 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 344040

[startup+522.302 s]
/proc/loadavg: 1.00 1.03 1.09 2/78 347
/proc/meminfo: memFree=1439296/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=385176 CPUtime=522.15
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 95326 0 0 0 52161 54 0 0 25 0 1 0 143288571 394420224 95296 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522742 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 96294 95296 206 16 0 95733 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 385176

[startup+582.302 s]
/proc/loadavg: 1.00 1.02 1.08 2/78 347
/proc/meminfo: memFree=1392256/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=431928 CPUtime=582.14
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 106873 0 0 0 58152 62 0 0 25 0 1 0 143288571 442294272 106843 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 107982 106843 206 16 0 107421 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 431928

[startup+642.302 s]
/proc/loadavg: 1.00 1.02 1.08 2/78 347
/proc/meminfo: memFree=1347776/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=475716 CPUtime=642.12
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 117809 0 0 0 64144 68 0 0 25 0 1 0 143288571 487133184 117771 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134556411 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 118929 117771 206 16 0 118368 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 475716


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

/proc/meminfo: memFree=1238464/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=585672 CPUtime=822.07
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 145151 0 0 0 82121 86 0 0 25 0 1 0 143288571 599728128 145113 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520070 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 146418 145113 206 16 0 145857 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 585672

[startup+882.302 s]
/proc/loadavg: 1.02 1.01 1.06 2/78 347
/proc/meminfo: memFree=1227712/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=595860 CPUtime=882.06
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147716 0 0 0 88118 88 0 0 25 0 1 0 143288571 610160640 147678 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 148965 147678 206 16 0 148404 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 595860

[startup+942.302 s]
/proc/loadavg: 1.01 1.00 1.05 2/78 347
/proc/meminfo: memFree=1227648/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=595860 CPUtime=942.04
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147716 0 0 0 94115 89 0 0 25 0 1 0 143288571 610160640 147678 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134529033 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 148965 147678 206 16 0 148404 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 595860

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/78 347
/proc/meminfo: memFree=1227584/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=595860 CPUtime=1002.02
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147716 0 0 0 100111 91 0 0 25 0 1 0 143288571 610160640 147678 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134556363 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 148965 147678 206 16 0 148404 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 595860

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/78 347
/proc/meminfo: memFree=1227648/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=595860 CPUtime=1062
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147716 0 0 0 106108 92 0 0 25 0 1 0 143288571 610160640 147678 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 148965 147678 206 16 0 148404 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 595860

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/78 347
/proc/meminfo: memFree=1227520/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=595860 CPUtime=1121.99
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147731 0 0 0 112106 93 0 0 25 0 1 0 143288571 610160640 147693 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 148965 147693 206 16 0 148404 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 595860

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/78 347
/proc/meminfo: memFree=1227520/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=595860 CPUtime=1181.97
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147747 0 0 0 118102 95 0 0 25 0 1 0 143288571 610160640 147709 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522744 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 148965 147709 206 16 0 148404 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 595860

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/78 347
/proc/meminfo: memFree=1227456/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=595860 CPUtime=1241.96
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147748 0 0 0 124100 96 0 0 25 0 1 0 143288571 610160640 147710 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 148965 147710 206 16 0 148404 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 595860

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/78 347
/proc/meminfo: memFree=1227392/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=595860 CPUtime=1301.95
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147748 0 0 0 130097 98 0 0 25 0 1 0 143288571 610160640 147710 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 148965 147710 206 16 0 148404 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 595860

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.01 3/78 347
/proc/meminfo: memFree=1227392/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=595860 CPUtime=1361.92
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147748 0 0 0 136093 99 0 0 25 0 1 0 143288571 610160640 147710 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528669 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 148965 147710 206 16 0 148404 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 595860

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 347
/proc/meminfo: memFree=1227392/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=595860 CPUtime=1421.91
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147748 0 0 0 142091 100 0 0 25 0 1 0 143288571 610160640 147710 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523647 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 148965 147710 206 16 0 148404 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 595860

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 347
/proc/meminfo: memFree=1227392/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=595860 CPUtime=1481.89
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147748 0 0 0 148088 101 0 0 25 0 1 0 143288571 610160640 147710 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8327519 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 148965 147710 206 16 0 148404 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 595860

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 347
/proc/meminfo: memFree=1227328/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=595860 CPUtime=1541.88
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147748 0 0 0 154085 103 0 0 25 0 1 0 143288571 610160640 147710 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134524571 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 148965 147710 206 16 0 148404 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 595860

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 347
/proc/meminfo: memFree=1227328/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=595860 CPUtime=1601.86
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 147750 0 0 0 160082 104 0 0 25 0 1 0 143288571 610160640 147712 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 148965 147712 206 16 0 148404 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 595860

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 347
/proc/meminfo: memFree=1198592/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=624684 CPUtime=1661.85
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 154951 0 0 0 166075 110 0 0 25 0 1 0 143288571 639676416 154913 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8328827 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 156171 154913 206 16 0 155610 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 624684

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 347
/proc/meminfo: memFree=1185984/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=637256 CPUtime=1721.83
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 158054 0 0 0 172071 112 0 0 25 0 1 0 143288571 652550144 158016 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519100 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 159314 158016 206 16 0 158753 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 637256

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 347
/proc/meminfo: memFree=1185920/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=637256 CPUtime=1781.81
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 158055 0 0 0 178068 113 0 0 25 0 1 0 143288571 652550144 158017 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 159314 158017 206 16 0 158753 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 637256

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 347
/proc/meminfo: memFree=1185920/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=637256 CPUtime=1782.62
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194304 158055 0 0 0 178149 113 0 0 25 0 1 0 143288571 652550144 158017 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523691 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 159314 158017 206 16 0 158753 0
Current children cumulated CPU time (s) 1782.62
Current children cumulated vsize (KiB) 637256

[startup+1783.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 347
/proc/meminfo: memFree=1185920/2055920 swapFree=4158712/4192956
[pid=344] ppid=342 vsize=0 CPUtime=1782.81
/proc/344/stat : 344 (Pueblo) R 342 344 20765 0 -1 4194308 158062 0 0 0 178164 117 0 0 25 0 1 0 143288571 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/344/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.81
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.36
CPU time (s): 1782.88
CPU user time (s): 1781.65
CPU system time (s): 1.23581
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 637256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.65
system time used= 1.23581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158062
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 37472

runsolver used 2.17467 second user time and 4.10338 second system time

The end