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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20847
/proc/meminfo: memFree=1840432/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=2684 CPUtime=0
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 302 0 3 0 0 0 0 0 18 0 1 0 140117773 2748416 275 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7671511 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 671 275 199 16 0 110 0

[startup+0.068126 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20847
/proc/meminfo: memFree=1840432/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=3144 CPUtime=0.05
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 425 0 3 0 5 0 0 0 18 0 1 0 140117773 3219456 398 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522744 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 786 398 205 16 0 225 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3144

[startup+0.101131 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20847
/proc/meminfo: memFree=1840432/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=3432 CPUtime=0.08
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 472 0 3 0 8 0 0 0 18 0 1 0 140117773 3514368 445 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 858 445 205 16 0 297 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3432

[startup+0.301158 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20847
/proc/meminfo: memFree=1840432/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=4396 CPUtime=0.28
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 717 0 3 0 28 0 0 0 19 0 1 0 140117773 4501504 690 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 1099 690 205 16 0 538 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 4396

[startup+0.701212 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20847
/proc/meminfo: memFree=1840432/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=5644 CPUtime=0.68
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 1029 0 3 0 68 0 0 0 22 0 1 0 140117773 5779456 1002 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 1411 1002 205 16 0 850 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5644

[startup+1.50132 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20848
/proc/meminfo: memFree=1836392/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=6020 CPUtime=1.48
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 1128 0 3 0 148 0 0 0 25 0 1 0 140117773 6164480 1101 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527830 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 1505 1101 205 16 0 944 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 6020

[startup+3.10154 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20848
/proc/meminfo: memFree=1835816/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=6628 CPUtime=3.08
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 1330 0 3 0 308 0 0 0 25 0 1 0 140117773 6787072 1257 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134533511 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 1657 1257 205 16 0 1096 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 6628

[startup+6.30198 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20848
/proc/meminfo: memFree=1834344/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=7540 CPUtime=6.29
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 1727 0 3 0 628 1 0 0 25 0 1 0 140117773 7720960 1492 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522744 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 1885 1492 205 16 0 1324 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7540

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20848
/proc/meminfo: memFree=1833648/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=8212 CPUtime=12.68
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 1941 0 3 0 1267 1 0 0 25 0 1 0 140117773 8409088 1661 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 2053 1661 205 16 0 1492 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8212

[startup+25.5026 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20848
/proc/meminfo: memFree=1831344/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=10628 CPUtime=25.47
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 3138 0 3 0 2544 3 0 0 25 0 1 0 140117773 10883072 2246 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519114 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 2657 2246 205 16 0 2096 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 10628

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20848
/proc/meminfo: memFree=1830320/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=11608 CPUtime=51.07
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 3697 0 3 0 5101 6 0 0 25 0 1 0 140117773 11886592 2486 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 2902 2486 205 16 0 2341 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 11608

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20848
/proc/meminfo: memFree=1829744/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=11984 CPUtime=102.25
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 4069 0 3 0 10216 9 0 0 25 0 1 0 140117773 12271616 2612 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 2996 2612 205 16 0 2435 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 11984

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20848
/proc/meminfo: memFree=1829232/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=12412 CPUtime=162.23
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 4999 0 3 0 16210 13 0 0 25 0 1 0 140117773 12709888 2719 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 3103 2719 205 16 0 2542 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 12412

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20848
/proc/meminfo: memFree=1827632/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=14256 CPUtime=222.22
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 5626 0 3 0 22203 19 0 0 25 0 1 0 140117773 14598144 3169 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 3564 3169 205 16 0 3003 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 14256

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20848
/proc/meminfo: memFree=1826608/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=15028 CPUtime=282.2
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 5974 0 3 0 28197 23 0 0 25 0 1 0 140117773 15388672 3373 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527731 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 3757 3373 205 16 0 3196 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 15028

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 4/65 20848
/proc/meminfo: memFree=1826608/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=15028 CPUtime=342.18
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 5974 0 3 0 34191 27 0 0 25 0 1 0 140117773 15388672 3373 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528586 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 3757 3373 205 16 0 3196 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 15028

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20848
/proc/meminfo: memFree=1826544/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=15028 CPUtime=402.17
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 6344 0 3 0 40184 33 0 0 25 0 1 0 140117773 15388672 3373 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532613 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 3757 3373 205 16 0 3196 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 15028

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20848
/proc/meminfo: memFree=1824944/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=16840 CPUtime=462.15
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 6911 0 3 0 46176 39 0 0 25 0 1 0 140117773 17244160 3809 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528063 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 4210 3809 205 16 0 3649 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 16840

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20848
/proc/meminfo: memFree=1824368/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=17580 CPUtime=522.13
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 7103 0 3 0 52168 45 0 0 25 0 1 0 140117773 18001920 3979 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 4395 3979 205 16 0 3834 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 17580

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20848
/proc/meminfo: memFree=1824304/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=17244 CPUtime=582.11
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 7152 0 3 0 58161 50 0 0 25 0 1 0 140117773 17657856 3927 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 4311 3927 205 16 0 3750 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 17244

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20848
/proc/meminfo: memFree=1824304/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=17244 CPUtime=642.1
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 7161 0 3 0 64156 54 0 0 25 0 1 0 140117773 17657856 3927 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 4311 3927 205 16 0 3750 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 17244


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

/proc/meminfo: memFree=1820264/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=19996 CPUtime=821.97
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 7907 0 3 0 82129 68 0 0 25 0 1 0 140117773 20475904 4616 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 4999 4616 205 16 0 4438 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 19996

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21046
/proc/meminfo: memFree=1821296/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=19996 CPUtime=881.93
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 7907 0 3 0 88122 71 0 0 25 0 1 0 140117773 20475904 4616 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 4999 4616 205 16 0 4438 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 19996

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21046
/proc/meminfo: memFree=1821296/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=19996 CPUtime=941.91
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 7907 0 3 0 94117 74 0 0 25 0 1 0 140117773 20475904 4616 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 4999 4616 205 16 0 4438 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 19996

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21046
/proc/meminfo: memFree=1821296/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=19996 CPUtime=1001.9
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 7907 0 3 0 100111 79 0 0 25 0 1 0 140117773 20475904 4616 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 4999 4616 205 16 0 4438 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 19996

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21046
/proc/meminfo: memFree=1821296/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=20284 CPUtime=1061.88
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 7947 0 3 0 106107 81 0 0 25 0 1 0 140117773 20770816 4656 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 5071 4656 205 16 0 4510 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 20284

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21046
/proc/meminfo: memFree=1820784/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=20420 CPUtime=1121.87
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 8420 0 3 0 112101 86 0 0 25 0 1 0 140117773 20910080 4722 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 5105 4722 205 16 0 4544 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 20420

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21046
/proc/meminfo: memFree=1820848/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=20384 CPUtime=1181.85
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 8420 0 3 0 118095 90 0 0 25 0 1 0 140117773 20873216 4713 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 5096 4713 205 16 0 4535 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 20384

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21046
/proc/meminfo: memFree=1820848/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=20312 CPUtime=1241.83
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 8420 0 3 0 124091 92 0 0 25 0 1 0 140117773 20799488 4695 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527942 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 5078 4695 205 16 0 4517 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 20312

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21046
/proc/meminfo: memFree=1820848/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=20312 CPUtime=1301.82
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 8420 0 3 0 130086 96 0 0 25 0 1 0 140117773 20799488 4695 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 5078 4695 205 16 0 4517 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 20312

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21046
/proc/meminfo: memFree=1820784/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=20708 CPUtime=1361.8
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 8491 0 3 0 136076 104 0 0 25 0 1 0 140117773 21204992 4766 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7639391 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 5177 4766 205 16 0 4616 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 20708

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21046
/proc/meminfo: memFree=1820464/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=20724 CPUtime=1421.78
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 8589 0 3 0 142071 107 0 0 25 0 1 0 140117773 21221376 4798 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527552 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 5181 4798 205 16 0 4620 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 20724

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21046
/proc/meminfo: memFree=1820464/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=20724 CPUtime=1481.76
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 8589 0 3 0 148067 109 0 0 25 0 1 0 140117773 21221376 4798 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7639092 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 5181 4798 205 16 0 4620 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 20724

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21046
/proc/meminfo: memFree=1820464/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=20724 CPUtime=1541.74
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 8589 0 3 0 154063 111 0 0 25 0 1 0 140117773 21221376 4798 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 5181 4798 205 16 0 4620 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 20724

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21046
/proc/meminfo: memFree=1820720/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=20412 CPUtime=1601.73
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 8589 0 3 0 160058 115 0 0 25 0 1 0 140117773 20901888 4720 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 5103 4720 205 16 0 4542 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 20412

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21046
/proc/meminfo: memFree=1820720/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=20360 CPUtime=1661.71
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 8589 0 3 0 166052 119 0 0 25 0 1 0 140117773 20848640 4707 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 5090 4707 205 16 0 4529 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 20360

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21046
/proc/meminfo: memFree=1819952/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=21392 CPUtime=1721.69
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 8861 0 3 0 172047 122 0 0 25 0 1 0 140117773 21905408 4951 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 5348 4951 205 16 0 4787 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 21392

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21046
/proc/meminfo: memFree=1819952/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=21392 CPUtime=1781.67
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 8861 0 3 0 178041 126 0 0 25 0 1 0 140117773 21905408 4951 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 5348 4951 205 16 0 4787 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 21392

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

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21046
/proc/meminfo: memFree=1819952/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=21392 CPUtime=1782.48
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 8861 0 3 0 178122 126 0 0 25 0 1 0 140117773 21905408 4951 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 5348 4951 205 16 0 4787 0
Current children cumulated CPU time (s) 1782.48
Current children cumulated vsize (KiB) 21392

[startup+1783.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21046
/proc/meminfo: memFree=1819952/2055920 swapFree=4184248/4192956
[pid=20847] ppid=20845 vsize=21392 CPUtime=1782.67
/proc/20847/stat : 20847 (Pueblo) R 20845 20847 20414 0 -1 4194304 8861 0 3 0 178141 126 0 0 25 0 1 0 140117773 21905408 4951 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/20847/statm: 5348 4951 205 16 0 4787 0
Current children cumulated CPU time (s) 1782.67
Current children cumulated vsize (KiB) 21392

Child status: 10
Real time (s): 1783.35
CPU time (s): 1782.73
CPU user time (s): 1781.46
CPU system time (s): 1.27281
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 21448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.46
system time used= 1.27281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8868
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 2038

runsolver used 1.17682 second user time and 3.76043 second system time

The end