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

command line: runsolver --timestamp -w ROOT/results/node63/watcher-353490-1176667367 -o ROOT/results/node63/solver-353490-1176667367 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353490-1176667367/instance-353490-1176667367.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.07 1.02 1.01 3/64 16724
/proc/meminfo: memFree=1806388/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=2552 CPUtime=0
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 256 0 0 0 0 0 0 0 18 0 1 0 142726639 2613248 226 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134546737 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 638 228 193 16 0 77 0

[startup+0.0996469 s]
/proc/loadavg: 1.07 1.02 1.01 3/64 16724
/proc/meminfo: memFree=1806388/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=3884 CPUtime=0.09
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 608 0 0 0 9 0 0 0 18 0 1 0 142726639 3977216 578 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 971 578 199 16 0 410 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3884

[startup+0.101646 s]
/proc/loadavg: 1.07 1.02 1.01 3/64 16724
/proc/meminfo: memFree=1806388/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=3884 CPUtime=0.09
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 614 0 0 0 9 0 0 0 18 0 1 0 142726639 3977216 584 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 3391117 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 971 584 199 16 0 410 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3884

[startup+0.301666 s]
/proc/loadavg: 1.07 1.02 1.01 3/64 16724
/proc/meminfo: memFree=1806388/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=6548 CPUtime=0.29
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 1286 0 0 0 29 0 0 0 19 0 1 0 142726639 6705152 1256 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 3137449 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 1637 1256 199 16 0 1076 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6548

[startup+0.701709 s]
/proc/loadavg: 1.07 1.02 1.01 3/64 16724
/proc/meminfo: memFree=1806388/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=11876 CPUtime=0.69
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 2614 0 0 0 68 1 0 0 22 0 1 0 142726639 12161024 2584 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 3436247 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 2969 2584 199 16 0 2408 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11876

[startup+1.50179 s]
/proc/loadavg: 1.07 1.02 1.01 2/65 16725
/proc/meminfo: memFree=1792812/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=17904 CPUtime=1.49
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 4087 0 0 0 147 2 0 0 25 0 1 0 142726639 18333696 4057 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519100 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 4476 4057 206 16 0 3915 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17904

[startup+3.10196 s]
/proc/loadavg: 1.07 1.02 1.01 2/65 16725
/proc/meminfo: memFree=1789804/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=18752 CPUtime=3.09
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 4423 0 0 0 307 2 0 0 25 0 1 0 142726639 19202048 4287 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 4688 4287 206 16 0 4127 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18752

[startup+6.3013 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 16725
/proc/meminfo: memFree=1788972/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=19712 CPUtime=6.29
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 4652 0 0 0 627 2 0 0 25 0 1 0 142726639 20185088 4516 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 4928 4516 206 16 0 4367 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19712

[startup+12.702 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 16725
/proc/meminfo: memFree=1786228/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=22716 CPUtime=12.69
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 5408 0 0 0 1266 3 0 0 25 0 1 0 142726639 23261184 5272 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519103 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 5679 5272 206 16 0 5118 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22716

[startup+25.5013 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 16725
/proc/meminfo: memFree=1775092/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=33800 CPUtime=25.48
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 8173 0 0 0 2544 4 0 0 25 0 1 0 142726639 34611200 8037 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 8450 8037 206 16 0 7889 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33800

[startup+51.101 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 16725
/proc/meminfo: memFree=1754996/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=53636 CPUtime=51.08
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 13127 0 0 0 5101 7 0 0 25 0 1 0 142726639 54923264 12991 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 13409 12991 206 16 0 12848 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 53636

[startup+102.304 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 16725
/proc/meminfo: memFree=1718836/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=89828 CPUtime=102.27
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 22182 0 0 0 10216 11 0 0 25 0 1 0 142726639 91983872 22046 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 22457 22046 206 16 0 21896 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 89828

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=1679412/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=129480 CPUtime=162.25
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 32050 0 0 0 16208 17 0 0 25 0 1 0 142726639 132587520 31914 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 32370 31914 206 16 0 31809 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 129480

[startup+222.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 16725
/proc/meminfo: memFree=1636340/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=172844 CPUtime=222.23
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 42836 0 0 0 22201 22 0 0 25 0 1 0 142726639 176992256 42700 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134518645 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 43211 42700 206 16 0 42650 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 172844

[startup+282.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 16725
/proc/meminfo: memFree=1588532/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=221200 CPUtime=282.21
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 54891 0 0 0 28192 29 0 0 25 0 1 0 142726639 226508800 54755 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523691 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 55300 54755 206 16 0 54739 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 221200

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=1548276/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=260984 CPUtime=342.2
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 64850 0 0 0 34186 34 0 0 25 0 1 0 142726639 267247616 64714 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523633 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 65246 64714 206 16 0 64685 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 260984

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=1506996/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=302392 CPUtime=402.18
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 75088 0 0 0 40177 41 0 0 25 0 1 0 142726639 309649408 74952 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 75598 74952 206 16 0 75037 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 302392

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=1468596/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=342240 CPUtime=462.16
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 84797 0 0 0 46170 46 0 0 25 0 1 0 142726639 350453760 84661 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522578 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 85560 84661 206 16 0 84999 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 342240

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=1436404/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=374248 CPUtime=522.15
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 92713 0 0 0 52165 50 0 0 25 0 1 0 142726639 383229952 92577 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 93562 92577 206 16 0 93001 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 374248

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=1408308/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=403352 CPUtime=582.13
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 99932 0 0 0 58159 54 0 0 25 0 1 0 142726639 413032448 99796 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528798 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 100838 99796 206 16 0 100277 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 403352

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=1371380/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=439312 CPUtime=642.11
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 108858 0 0 0 64154 57 0 0 25 0 1 0 142726639 449855488 108722 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 109828 108722 206 16 0 109267 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 439312


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

/proc/meminfo: memFree=1232372/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=577980 CPUtime=882.04
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 143527 0 0 0 88129 75 0 0 25 0 1 0 142726639 591851520 143391 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 144495 143391 206 16 0 143934 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 577980

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=1209972/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=601616 CPUtime=942.02
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 149386 0 0 0 94122 80 0 0 25 0 1 0 142726639 616054784 149250 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 150404 149250 206 16 0 149843 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 601616

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=1183668/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=627248 CPUtime=1002.01
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 155681 0 0 0 100117 84 0 0 25 0 1 0 142726639 642301952 155545 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 156812 155545 206 16 0 156251 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 627248

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=1157236/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=654304 CPUtime=1061.99
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 162366 0 0 0 106111 88 0 0 25 0 1 0 142726639 670007296 162230 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 163576 162230 206 16 0 163015 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 654304

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=1140980/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=670820 CPUtime=1121.97
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 166525 0 0 0 112106 91 0 0 25 0 1 0 142726639 686919680 166389 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 167705 166389 206 16 0 167144 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 670820

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=1108084/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=702980 CPUtime=1181.96
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 174572 0 0 0 118098 98 0 0 25 0 1 0 142726639 719851520 174436 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 175745 174436 206 16 0 175184 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 702980

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=1073396/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=737776 CPUtime=1241.94
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 183239 0 0 0 124092 102 0 0 25 0 1 0 142726639 755482624 183103 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 184444 183103 206 16 0 183883 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 737776

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=1033972/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=776856 CPUtime=1301.93
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 193027 0 0 0 130085 108 0 0 25 0 1 0 142726639 795500544 192891 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 194214 192891 206 16 0 193653 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 776856

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=1000692/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=810700 CPUtime=1361.91
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 201503 0 0 0 136079 112 0 0 25 0 1 0 142726639 830156800 201367 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 202675 201367 206 16 0 202114 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 810700

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=969780/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=841464 CPUtime=1421.89
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 209022 0 0 0 142073 116 0 0 25 0 1 0 142726639 861659136 208886 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 210366 208886 206 16 0 209805 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 841464

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=944372/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=867384 CPUtime=1481.87
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 215455 0 0 0 148067 120 0 0 25 0 1 0 142726639 888201216 215319 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 216846 215319 206 16 0 216285 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 867384

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=932276/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=879300 CPUtime=1541.85
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 218378 0 0 0 154063 122 0 0 25 0 1 0 142726639 900403200 218242 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 219825 218242 206 16 0 219264 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 879300

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=910004/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=901868 CPUtime=1601.84
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 223957 0 0 0 160058 126 0 0 25 0 1 0 142726639 923512832 223821 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 225467 223821 206 16 0 224906 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 901868

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=895924/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=916312 CPUtime=1661.82
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 227431 0 0 0 166055 127 0 0 25 0 1 0 142726639 938303488 227295 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559569 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 229078 227295 206 16 0 228517 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 916312

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=863860/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=948936 CPUtime=1721.8
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 235468 0 0 0 172048 132 0 0 25 0 1 0 142726639 971710464 235332 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 237234 235332 206 16 0 236673 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 948936

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=846836/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=965728 CPUtime=1781.79
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 239670 0 0 0 178045 134 0 0 25 0 1 0 142726639 988905472 239534 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 241432 239534 206 16 0 240871 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 965728

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 16725
/proc/meminfo: memFree=846836/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=965728 CPUtime=1782.59
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 239670 0 0 0 178125 134 0 0 25 0 1 0 142726639 988905472 239534 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 241432 239534 206 16 0 240871 0
Current children cumulated CPU time (s) 1782.59
Current children cumulated vsize (KiB) 965728

[startup+1783.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=846836/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=965728 CPUtime=1782.98
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194304 239670 0 0 0 178164 134 0 0 25 0 1 0 142726639 988905472 239534 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 241432 239534 206 16 0 240871 0
Current children cumulated CPU time (s) 1782.98
Current children cumulated vsize (KiB) 965728

[startup+1783.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16725
/proc/meminfo: memFree=846836/2055920 swapFree=4184584/4192956
[pid=16724] ppid=16722 vsize=0 CPUtime=1783.08
/proc/16724/stat : 16724 (Pueblo) R 16722 16724 16389 0 -1 4194308 239677 0 0 0 178169 139 0 0 17 0 1 0 142726639 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/16724/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1783.08
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.7
CPU time (s): 1783.19
CPU user time (s): 1781.69
CPU system time (s): 1.49577
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 965728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.69
system time used= 1.49577
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239677
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= 14
involuntary context switches= 2508

runsolver used 1.27181 second user time and 3.60745 second system time

The end