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

command line: runsolver --timestamp -w ROOT/results/node57/watcher-455462-1178043877 -o ROOT/results/node57/solver-455462-1178043877 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/455462-1178043877/instance-455462-1178043877.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.78 0.95 0.94 3/64 4902
/proc/meminfo: memFree=1884528/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=2552 CPUtime=0
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 245523733 2613248 234 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7859927 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 638 235 199 16 0 77 0

[startup+0.0879509 s]
/proc/loadavg: 0.78 0.95 0.94 3/64 4902
/proc/meminfo: memFree=1884528/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=3620 CPUtime=0.08
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 546 0 0 0 8 0 0 0 18 0 1 0 245523733 3706880 517 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134533555 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 905 517 205 16 0 344 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3620

[startup+0.101952 s]
/proc/loadavg: 0.78 0.95 0.94 3/64 4902
/proc/meminfo: memFree=1884528/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=3620 CPUtime=0.09
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 546 0 0 0 9 0 0 0 18 0 1 0 245523733 3706880 517 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 905 517 205 16 0 344 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3620

[startup+0.301969 s]
/proc/loadavg: 0.78 0.95 0.94 3/64 4902
/proc/meminfo: memFree=1884528/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=3872 CPUtime=0.29
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 594 0 0 0 29 0 0 0 19 0 1 0 245523733 3964928 565 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527549 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 968 565 205 16 0 407 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3872

[startup+0.702004 s]
/proc/loadavg: 0.78 0.95 0.94 3/64 4902
/proc/meminfo: memFree=1884528/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=4536 CPUtime=0.69
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 774 0 0 0 69 0 0 0 22 0 1 0 245523733 4644864 745 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528725 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 1134 745 205 16 0 573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4536

[startup+1.50107 s]
/proc/loadavg: 0.78 0.95 0.94 2/65 4903
/proc/meminfo: memFree=1882024/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=5056 CPUtime=1.49
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 904 0 0 0 148 1 0 0 25 0 1 0 245523733 5177344 875 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7824720 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 1264 875 205 16 0 703 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5056

[startup+3.10121 s]
/proc/loadavg: 0.78 0.95 0.94 2/65 4903
/proc/meminfo: memFree=1881576/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=5696 CPUtime=3.09
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 1048 0 0 0 308 1 0 0 25 0 1 0 245523733 5832704 1019 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 1424 1019 205 16 0 863 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5696

[startup+6.30149 s]
/proc/loadavg: 0.80 0.95 0.94 2/65 4903
/proc/meminfo: memFree=1880808/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=6216 CPUtime=6.29
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 1171 0 0 0 627 2 0 0 25 0 1 0 245523733 6365184 1142 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 1554 1142 205 16 0 993 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6216

[startup+12.701 s]
/proc/loadavg: 0.81 0.95 0.94 2/65 4903
/proc/meminfo: memFree=1880248/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=6628 CPUtime=12.68
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 1267 0 0 0 1264 4 0 0 25 0 1 0 245523733 6787072 1238 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 1657 1238 205 16 0 1096 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 6628

[startup+25.5012 s]
/proc/loadavg: 0.85 0.95 0.94 2/65 4903
/proc/meminfo: memFree=1879168/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=7660 CPUtime=25.48
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 1534 0 0 0 2539 9 0 0 25 0 1 0 245523733 7843840 1505 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527578 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 1915 1505 205 16 0 1354 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 7660

[startup+51.1014 s]
/proc/loadavg: 0.90 0.96 0.94 2/65 4903
/proc/meminfo: memFree=1878720/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=8128 CPUtime=51.08
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 1660 0 0 0 5091 17 0 0 25 0 1 0 245523733 8323072 1631 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 2032 1631 205 16 0 1471 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8128

[startup+102.305 s]
/proc/loadavg: 0.96 0.96 0.94 2/65 4903
/proc/meminfo: memFree=1877248/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=9584 CPUtime=102.26
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 2017 0 0 0 10200 26 0 0 25 0 1 0 245523733 9814016 1988 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134524561 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 2396 1988 205 16 0 1835 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 9584

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.94 2/65 4903
/proc/meminfo: memFree=1876224/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=10644 CPUtime=162.25
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 2280 0 0 0 16186 39 0 0 25 0 1 0 245523733 10899456 2251 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522744 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 2661 2251 205 16 0 2100 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 10644

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4903
/proc/meminfo: memFree=1875200/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=11536 CPUtime=222.23
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 2519 0 0 0 22173 50 0 0 25 0 1 0 245523733 11812864 2490 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527489 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 2884 2490 205 16 0 2323 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 11536

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4903
/proc/meminfo: memFree=1874880/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=11928 CPUtime=282.21
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 2615 0 0 0 28161 60 0 0 25 0 1 0 245523733 12214272 2586 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 2982 2586 205 16 0 2421 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 11928

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4905
/proc/meminfo: memFree=1874816/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=11928 CPUtime=342.19
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 2615 0 0 0 34148 71 0 0 25 0 1 0 245523733 12214272 2586 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 2982 2586 205 16 0 2421 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 11928

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4905
/proc/meminfo: memFree=1874624/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=12188 CPUtime=402.18
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 2666 0 0 0 40136 82 0 0 25 0 1 0 245523733 12480512 2637 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 7824708 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3047 2637 205 16 0 2486 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 12188

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.94 3/65 4905
/proc/meminfo: memFree=1874560/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=12188 CPUtime=462.16
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 2685 0 0 0 46124 92 0 0 25 0 1 0 245523733 12480512 2656 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3047 2656 205 16 0 2486 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 12188

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4905
/proc/meminfo: memFree=1873856/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=12844 CPUtime=522.15
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 2852 0 0 0 52113 102 0 0 25 0 1 0 245523733 13152256 2823 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3211 2823 205 16 0 2650 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 12844

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4905
/proc/meminfo: memFree=1873856/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=12840 CPUtime=582.13
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 2853 0 0 0 58102 111 0 0 25 0 1 0 245523733 13148160 2824 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520163 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3210 2824 205 16 0 2649 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 12840

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4905
/proc/meminfo: memFree=1873216/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=13456 CPUtime=642.12
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 2998 0 0 0 64092 120 0 0 25 0 1 0 245523733 13778944 2969 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3364 2969 205 16 0 2803 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 13456


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

/proc/meminfo: memFree=1872832/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=13888 CPUtime=882.05
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3090 0 0 0 88050 155 0 0 25 0 1 0 245523733 14221312 3059 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134558688 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3472 3059 205 16 0 2911 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 13888

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4905
/proc/meminfo: memFree=1871808/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=14892 CPUtime=942.04
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3350 0 0 0 94042 162 0 0 25 0 1 0 245523733 15249408 3319 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3723 3319 205 16 0 3162 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 14892

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4905
/proc/meminfo: memFree=1871744/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=14892 CPUtime=1002.03
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3350 0 0 0 100031 172 0 0 25 0 1 0 245523733 15249408 3319 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3723 3319 205 16 0 3162 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 14892

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4905
/proc/meminfo: memFree=1871744/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=14892 CPUtime=1062
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3350 0 0 0 106019 181 0 0 25 0 1 0 245523733 15249408 3319 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3723 3319 205 16 0 3162 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 14892

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4905
/proc/meminfo: memFree=1871744/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=15008 CPUtime=1121.99
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3362 0 0 0 112010 189 0 0 25 0 1 0 245523733 15368192 3331 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3752 3331 205 16 0 3191 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 15008

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4905
/proc/meminfo: memFree=1871296/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=15368 CPUtime=1181.97
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3453 0 0 0 118000 197 0 0 25 0 1 0 245523733 15736832 3422 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3842 3422 205 16 0 3281 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 15368

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4905
/proc/meminfo: memFree=1871168/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=15512 CPUtime=1241.96
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3481 0 0 0 123990 206 0 0 25 0 1 0 245523733 15884288 3450 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3878 3450 205 16 0 3317 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 15512

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4905
/proc/meminfo: memFree=1871104/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=15512 CPUtime=1301.95
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3481 0 0 0 129981 214 0 0 25 0 1 0 245523733 15884288 3450 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3878 3450 205 16 0 3317 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 15512

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 4905
/proc/meminfo: memFree=1870848/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=15772 CPUtime=1361.93
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3564 0 0 0 135971 222 0 0 25 0 1 0 245523733 16150528 3533 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559829 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3943 3533 205 16 0 3382 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 15772

[startup+1422.31 s]
/proc/loadavg: 1.06 0.99 0.95 2/65 4905
/proc/meminfo: memFree=1870784/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=15772 CPUtime=1421.92
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3564 0 0 0 141962 230 0 0 25 0 1 0 245523733 16150528 3533 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134558602 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3943 3533 205 16 0 3382 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 15772

[startup+1482.3 s]
/proc/loadavg: 1.08 1.00 0.95 2/65 4905
/proc/meminfo: memFree=1870720/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=15904 CPUtime=1481.9
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3580 0 0 0 147952 238 0 0 25 0 1 0 245523733 16285696 3549 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3976 3549 205 16 0 3415 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 15904

[startup+1542.3 s]
/proc/loadavg: 1.03 1.00 0.95 2/65 4905
/proc/meminfo: memFree=1870720/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=15904 CPUtime=1541.88
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3580 0 0 0 153939 249 0 0 25 0 1 0 245523733 16285696 3549 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3976 3549 205 16 0 3415 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 15904

[startup+1602.3 s]
/proc/loadavg: 1.01 1.00 0.95 2/65 4905
/proc/meminfo: memFree=1870720/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=15904 CPUtime=1601.86
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3580 0 0 0 159927 259 0 0 25 0 1 0 245523733 16285696 3549 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3976 3549 205 16 0 3415 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 15904

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 4905
/proc/meminfo: memFree=1870720/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=15904 CPUtime=1661.85
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3580 0 0 0 165915 270 0 0 25 0 1 0 245523733 16285696 3549 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3976 3549 205 16 0 3415 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 15904

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 4905
/proc/meminfo: memFree=1870656/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=15904 CPUtime=1721.83
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3581 0 0 0 171903 280 0 0 25 0 1 0 245523733 16285696 3550 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3976 3550 205 16 0 3415 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 15904

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 4905
/proc/meminfo: memFree=1870656/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=15904 CPUtime=1781.82
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3582 0 0 0 177892 290 0 0 25 0 1 0 245523733 16285696 3551 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3976 3551 205 16 0 3415 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 15904

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

[startup+1782.7 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 4905
/proc/meminfo: memFree=1870656/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=15904 CPUtime=1782.22
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3582 0 0 0 177932 290 0 0 25 0 1 0 245523733 16285696 3551 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3976 3551 205 16 0 3415 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 15904

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 4905
/proc/meminfo: memFree=1870656/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=15904 CPUtime=1782.62
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3582 0 0 0 177972 290 0 0 25 0 1 0 245523733 16285696 3551 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3976 3551 205 16 0 3415 0
Current children cumulated CPU time (s) 1782.62
Current children cumulated vsize (KiB) 15904

[startup+1783.2 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 4905
/proc/meminfo: memFree=1870656/2055920 swapFree=4183136/4192956
[pid=4902] ppid=4900 vsize=15904 CPUtime=1782.71
/proc/4902/stat : 4902 (Pueblo) R 4900 4902 3286 0 -1 4194304 3582 0 0 0 177981 290 0 0 25 0 1 0 245523733 16285696 3551 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/4902/statm: 3976 3551 205 16 0 3415 0
Current children cumulated CPU time (s) 1782.71
Current children cumulated vsize (KiB) 15904

Child status: 10
Real time (s): 1783.22
CPU time (s): 1782.74
CPU user time (s): 1779.83
CPU system time (s): 2.91056
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 15908

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

runsolver used 1.45078 second user time and 3.42048 second system time

The end