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

command line: runsolver --timestamp -w ROOT/results/node47/watcher-354689-1176722262 -o ROOT/results/node47/solver-354689-1176722262 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/354689-1176722262/instance-354689-1176722262.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/77 21798
/proc/meminfo: memFree=1664960/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=172 CPUtime=0
/proc/21798/stat : 21798 (Pueblo) D 21796 21798 21459 0 -1 4194304 39 0 0 0 0 0 0 0 18 0 1 0 27071573 176128 23 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10519332 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/21798/statm: 43 23 18 16 0 2 0

[startup+0.030885 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 21798
/proc/meminfo: memFree=1664960/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=172 CPUtime=0
/proc/21798/stat : 21798 (Pueblo) D 21796 21798 21459 0 -1 4194304 39 0 0 0 0 0 0 0 18 0 1 0 27071573 176128 23 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10519332 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/21798/statm: 43 23 18 16 0 2 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 172

[startup+0.101879 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 21798
/proc/meminfo: memFree=1664960/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=3288 CPUtime=0.07
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 454 0 0 0 7 0 0 0 18 0 1 0 27071573 3366912 424 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522701 0 0 4096 0 0 0 0 17 0 0 0
/proc/21798/statm: 822 424 205 16 0 261 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3288

[startup+0.301904 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 21798
/proc/meminfo: memFree=1664960/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=5224 CPUtime=0.26
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 931 0 0 0 26 0 0 0 19 0 1 0 27071573 5349376 901 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522763 0 0 4096 0 0 0 0 17 0 0 0
/proc/21798/statm: 1306 901 205 16 0 745 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 5224

[startup+0.701944 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 21798
/proc/meminfo: memFree=1664960/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=5224 CPUtime=0.66
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 950 0 0 0 66 0 0 0 23 0 1 0 27071573 5349376 920 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522763 0 0 4096 0 0 0 0 17 0 0 0
/proc/21798/statm: 1306 920 205 16 0 745 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 5224

[startup+1.50103 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1661624/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=5800 CPUtime=1.45
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 1084 0 0 0 145 0 0 0 25 0 1 0 27071573 5939200 1054 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 1450 1054 205 16 0 889 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 5800

[startup+3.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1660728/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=6792 CPUtime=3.05
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 1396 0 0 0 305 0 0 0 25 0 1 0 27071573 6955008 1300 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532840 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 1698 1300 205 16 0 1137 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 6792

[startup+6.30155 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1659576/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=7404 CPUtime=6.26
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 1633 0 0 0 625 1 0 0 25 0 1 0 27071573 7581696 1439 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 1851 1439 205 16 0 1290 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 7404

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 21799
/proc/meminfo: memFree=1658488/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=8492 CPUtime=12.66
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 2205 0 0 0 1264 2 0 0 25 0 1 0 27071573 8695808 1740 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 2123 1740 205 16 0 1562 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 8492

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1657464/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=9612 CPUtime=25.45
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 2812 0 0 0 2542 3 0 0 25 0 1 0 27071573 9842688 1988 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528459 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 2403 1988 205 16 0 1842 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 9612

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1655288/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=11672 CPUtime=51.04
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 3694 0 0 0 5100 4 0 0 25 0 1 0 27071573 11952128 2535 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 2918 2535 205 16 0 2357 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 11672

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1654840/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=12116 CPUtime=102.23
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 3987 0 0 0 10215 8 0 0 25 0 1 0 27071573 12406784 2646 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 3029 2646 205 16 0 2468 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 12116

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1653624/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=13272 CPUtime=162.21
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 5415 0 0 0 16208 13 0 0 25 0 1 0 27071573 13590528 2935 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 3318 2935 205 16 0 2757 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 13272

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1652216/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=14536 CPUtime=222.2
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 5888 0 0 0 22202 18 0 0 25 0 1 0 27071573 14884864 3251 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 3634 3251 205 16 0 3073 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 14536

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1651064/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=15808 CPUtime=282.18
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 6217 0 0 0 28193 25 0 0 25 0 1 0 27071573 16187392 3542 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 3952 3542 205 16 0 3391 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 15808

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1651064/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=15808 CPUtime=342.17
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 6217 0 0 0 34187 30 0 0 25 0 1 0 27071573 16187392 3542 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 3952 3542 205 16 0 3391 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 15808

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1649080/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=18068 CPUtime=402.15
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 6923 0 0 0 40180 35 0 0 25 0 1 0 27071573 18501632 4112 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528023 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 4517 4112 205 16 0 3956 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 18068

[startup+462.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 21799
/proc/meminfo: memFree=1648696/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=18444 CPUtime=462.13
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 7051 0 0 0 46171 42 0 0 25 0 1 0 27071573 18886656 4196 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527942 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 4611 4196 205 16 0 4050 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 18444

[startup+522.301 s]
/proc/loadavg: 1.06 1.03 1.00 2/78 21799
/proc/meminfo: memFree=1648632/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=18444 CPUtime=522.12
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 7051 0 0 0 52164 48 0 0 25 0 1 0 27071573 18886656 4196 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 4611 4196 205 16 0 4050 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 18444

[startup+582.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 21799
/proc/meminfo: memFree=1648440/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=18444 CPUtime=582.1
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 7082 0 0 0 58157 53 0 0 25 0 1 0 27071573 18886656 4227 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 4611 4227 205 16 0 4050 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 18444

[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 21799
/proc/meminfo: memFree=1647864/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=19040 CPUtime=642.09
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 7599 0 0 0 64152 57 0 0 25 0 1 0 27071573 19496960 4374 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 4760 4374 205 16 0 4199 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 19040


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

/proc/meminfo: memFree=1645752/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=20748 CPUtime=882.02
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 8357 0 0 0 88121 81 0 0 25 0 1 0 27071573 21245952 4804 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 5187 4804 205 16 0 4626 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 20748

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1646072/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=20748 CPUtime=942.01
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 8357 0 0 0 94114 87 0 0 25 0 1 0 27071573 21245952 4804 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 5187 4804 205 16 0 4626 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 20748

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1645880/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=21304 CPUtime=1002
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 8476 0 0 0 100106 94 0 0 25 0 1 0 27071573 21815296 4923 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 5326 4923 205 16 0 4765 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 21304

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1646136/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=20768 CPUtime=1061.97
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 8476 0 0 0 106098 99 0 0 25 0 1 0 27071573 21266432 4809 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 5192 4809 205 16 0 4631 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 20768

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1644536/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=22556 CPUtime=1121.96
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 8895 0 0 0 112092 104 0 0 25 0 1 0 27071573 23097344 5228 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 5639 5228 205 16 0 5078 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 22556

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1643960/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=22904 CPUtime=1181.94
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 9038 0 0 0 118085 109 0 0 25 0 1 0 27071573 23453696 5343 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522704 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 5726 5343 205 16 0 5165 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 22904

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1643896/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=22856 CPUtime=1241.93
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 9148 0 0 0 124079 114 0 0 25 0 1 0 27071573 23404544 5331 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528006 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 5714 5331 205 16 0 5153 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 22856

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1643832/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=23144 CPUtime=1301.92
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 9210 0 0 0 130073 119 0 0 25 0 1 0 27071573 23699456 5393 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 5786 5393 205 16 0 5225 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 23144

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1643640/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=23232 CPUtime=1361.9
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 9249 0 0 0 136066 124 0 0 25 0 1 0 27071573 23789568 5425 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519973 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 5808 5425 205 16 0 5247 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 23232

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1643128/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=23984 CPUtime=1421.89
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 9755 0 0 0 142060 129 0 0 25 0 1 0 27071573 24559616 5591 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 5996 5591 205 16 0 5435 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 23984

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1643064/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=23984 CPUtime=1481.87
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 9755 0 0 0 148053 134 0 0 25 0 1 0 27071573 24559616 5591 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134557290 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 5996 5591 205 16 0 5435 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 23984

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1643128/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=23984 CPUtime=1541.85
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 9755 0 0 0 154047 138 0 0 25 0 1 0 27071573 24559616 5591 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 5996 5591 205 16 0 5435 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 23984

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1643064/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=23984 CPUtime=1601.84
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 9755 0 0 0 160041 143 0 0 25 0 1 0 27071573 24559616 5591 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134529094 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 5996 5591 205 16 0 5435 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 23984

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1643128/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=23984 CPUtime=1661.82
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 9755 0 0 0 166035 147 0 0 25 0 1 0 27071573 24559616 5591 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 5996 5591 205 16 0 5435 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 23984

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1643064/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=23984 CPUtime=1721.81
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 9755 0 0 0 172029 152 0 0 25 0 1 0 27071573 24559616 5591 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 5996 5591 205 16 0 5435 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 23984

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1642680/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=24024 CPUtime=1781.79
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 9861 0 0 0 178020 159 0 0 25 0 1 0 27071573 24600576 5623 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 6006 5623 205 16 0 5445 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 24024

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

[startup+1782.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1642680/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=24024 CPUtime=1782.19
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 9931 0 0 0 178060 159 0 0 25 0 1 0 27071573 24600576 5623 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527942 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 6006 5623 205 16 0 5445 0
Current children cumulated CPU time (s) 1782.19
Current children cumulated vsize (KiB) 24024

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1642680/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=24024 CPUtime=1782.6
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 9931 0 0 0 178101 159 0 0 25 0 1 0 27071573 24600576 5623 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 6006 5623 205 16 0 5445 0
Current children cumulated CPU time (s) 1782.6
Current children cumulated vsize (KiB) 24024

[startup+1783.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21799
/proc/meminfo: memFree=1642680/2055920 swapFree=4183744/4192956
[pid=21798] ppid=21796 vsize=24024 CPUtime=1782.69
/proc/21798/stat : 21798 (Pueblo) R 21796 21798 21459 0 -1 4194304 9931 0 0 0 178110 159 0 0 25 0 1 0 27071573 24600576 5623 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528061 0 0 4096 0 0 0 0 17 1 0 0
/proc/21798/statm: 6006 5623 205 16 0 5445 0
Current children cumulated CPU time (s) 1782.69
Current children cumulated vsize (KiB) 24024

Child status: 10
Real time (s): 1783.24
CPU time (s): 1782.74
CPU user time (s): 1781.15
CPU system time (s): 1.59576
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 24640

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

runsolver used 2.07468 second user time and 4.41633 second system time

The end