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

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

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


[startup+0 s]
/proc/loadavg: 1.05 1.12 1.09 3/77 14071
/proc/meminfo: memFree=1800336/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=2552 CPUtime=0
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 115355305 2613248 230 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2961111 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 638 231 193 16 0 77 0

[startup+0.044553 s]
/proc/loadavg: 1.05 1.12 1.09 3/77 14071
/proc/meminfo: memFree=1800336/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=3216 CPUtime=0.04
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 428 0 0 0 4 0 0 0 18 0 1 0 115355305 3293184 398 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2961111 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 804 398 199 16 0 243 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3216

[startup+0.101563 s]
/proc/loadavg: 1.05 1.12 1.09 3/77 14071
/proc/meminfo: memFree=1800336/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=4016 CPUtime=0.09
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 622 0 0 0 9 0 0 0 18 0 1 0 115355305 4112384 592 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2961111 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 1004 592 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.301603 s]
/proc/loadavg: 1.05 1.12 1.09 3/77 14071
/proc/meminfo: memFree=1800336/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=6680 CPUtime=0.29
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 1306 0 0 0 29 0 0 0 19 0 1 0 115355305 6840320 1276 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2961111 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 1670 1276 199 16 0 1109 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6680

[startup+0.70268 s]
/proc/loadavg: 1.05 1.12 1.09 3/77 14071
/proc/meminfo: memFree=1800336/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=12008 CPUtime=0.69
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 2650 0 0 0 68 1 0 0 24 0 1 0 115355305 12296192 2620 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134546718 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 3002 2622 199 16 0 2441 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12008

[startup+1.50184 s]
/proc/loadavg: 1.05 1.12 1.09 2/78 14072
/proc/meminfo: memFree=1786632/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=19060 CPUtime=1.49
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 4368 0 0 0 148 1 0 0 25 0 1 0 115355305 19517440 4338 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2930299 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 4765 4338 204 16 0 4204 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19060

[startup+3.10115 s]
/proc/loadavg: 1.05 1.12 1.09 2/78 14072
/proc/meminfo: memFree=1782032/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=21532 CPUtime=3.09
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 5007 0 0 0 307 2 0 0 25 0 1 0 115355305 22048768 4977 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523614 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 5383 4977 206 16 0 4822 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21532

[startup+6.30176 s]
/proc/loadavg: 1.05 1.12 1.09 2/78 14072
/proc/meminfo: memFree=1780624/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=21652 CPUtime=6.29
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 5075 0 0 0 626 3 0 0 25 0 1 0 115355305 22171648 5032 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134556420 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 5413 5032 206 16 0 4852 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21652

[startup+12.702 s]
/proc/loadavg: 1.04 1.11 1.09 2/78 14072
/proc/meminfo: memFree=1780568/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=21712 CPUtime=12.68
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 5374 0 0 0 1265 3 0 0 25 0 1 0 115355305 22233088 5030 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523647 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 5428 5030 206 16 0 4867 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21712

[startup+25.5015 s]
/proc/loadavg: 1.03 1.11 1.09 2/78 14072
/proc/meminfo: memFree=1773912/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=28848 CPUtime=25.47
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 7154 0 0 0 2543 4 0 0 25 0 1 0 115355305 29540352 6810 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 7212 6810 206 16 0 6651 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 28848

[startup+51.1014 s]
/proc/loadavg: 1.02 1.10 1.08 2/78 14072
/proc/meminfo: memFree=1759896/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=43776 CPUtime=51.07
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 10868 0 0 0 5101 6 0 0 25 0 1 0 115355305 44826624 10524 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2930245 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 10944 10524 206 16 0 10383 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 43776

[startup+102.306 s]
/proc/loadavg: 1.01 1.08 1.08 2/84 14188
/proc/meminfo: memFree=1729640/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=72108 CPUtime=102.2
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 17960 0 0 0 10210 10 0 0 25 0 1 0 115355305 73838592 17616 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 18027 17616 206 16 0 17466 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 72108

[startup+162.302 s]
/proc/loadavg: 1.00 1.06 1.07 2/78 14270
/proc/meminfo: memFree=1700504/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=102792 CPUtime=162.14
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 25622 0 0 0 16200 14 0 0 25 0 1 0 115355305 105259008 25278 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523654 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 25698 25278 206 16 0 25137 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 102792

[startup+222.302 s]
/proc/loadavg: 1.00 1.05 1.07 2/78 14270
/proc/meminfo: memFree=1669144/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=133796 CPUtime=222.11
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 33368 0 0 0 22194 17 0 0 25 0 1 0 115355305 137007104 33024 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 33449 33024 206 16 0 32888 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 133796

[startup+282.301 s]
/proc/loadavg: 1.00 1.04 1.06 2/78 14270
/proc/meminfo: memFree=1637144/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=166048 CPUtime=282.09
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 41439 0 0 0 28187 22 0 0 25 0 1 0 115355305 170033152 41095 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523652 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 41512 41095 206 16 0 40951 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 166048

[startup+342.302 s]
/proc/loadavg: 1.00 1.03 1.05 2/78 14270
/proc/meminfo: memFree=1607256/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=195616 CPUtime=342.08
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 48809 0 0 0 34181 27 0 0 25 0 1 0 115355305 200310784 48465 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520078 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 48904 48465 206 16 0 48343 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 195616

[startup+402.301 s]
/proc/loadavg: 1.04 1.03 1.05 2/78 14270
/proc/meminfo: memFree=1573656/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=230368 CPUtime=402.05
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 57442 0 0 0 40174 31 0 0 25 0 1 0 115355305 235896832 57098 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519066 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 57592 57098 206 16 0 57031 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 230368

[startup+462.301 s]
/proc/loadavg: 1.05 1.04 1.05 2/78 14270
/proc/meminfo: memFree=1533144/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=270252 CPUtime=462.03
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 67400 0 0 0 46166 37 0 0 25 0 1 0 115355305 276738048 67056 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2928991 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 67563 67056 206 16 0 67002 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 270252

[startup+522.302 s]
/proc/loadavg: 1.05 1.04 1.05 2/78 14270
/proc/meminfo: memFree=1494616/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=309212 CPUtime=522.02
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 77081 0 0 0 52159 43 0 0 25 0 1 0 115355305 316633088 76737 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2928991 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 77303 76737 206 16 0 76742 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 309212

[startup+582.301 s]
/proc/loadavg: 1.13 1.07 1.06 2/78 14270
/proc/meminfo: memFree=1457176/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=346380 CPUtime=581.99
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 86356 0 0 0 58152 47 0 0 25 0 1 0 115355305 354693120 86012 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 86595 86012 206 16 0 86034 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 346380

[startup+642.302 s]
/proc/loadavg: 1.12 1.07 1.06 2/78 14270
/proc/meminfo: memFree=1422936/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=380016 CPUtime=641.98
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 94723 0 0 0 64146 52 0 0 25 0 1 0 115355305 389136384 94379 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134529077 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 95004 94379 206 16 0 94443 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 380016


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

/proc/meminfo: memFree=1298904/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=504248 CPUtime=881.89
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 125706 0 0 0 88121 68 0 0 25 0 1 0 115355305 516349952 125362 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2930332 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 126062 125362 206 16 0 125501 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 504248

[startup+942.302 s]
/proc/loadavg: 1.08 1.07 1.06 2/78 14270
/proc/meminfo: memFree=1271192/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=531872 CPUtime=941.86
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 132613 0 0 0 94116 70 0 0 25 0 1 0 115355305 544636928 132269 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2928991 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 132968 132269 206 16 0 132407 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 531872

[startup+1002.3 s]
/proc/loadavg: 1.07 1.06 1.05 2/78 14270
/proc/meminfo: memFree=1243928/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=559080 CPUtime=1001.85
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 139379 0 0 0 100111 74 0 0 25 0 1 0 115355305 572497920 139035 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 139770 139035 206 16 0 139209 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 559080

[startup+1062.3 s]
/proc/loadavg: 1.07 1.06 1.05 2/78 14270
/proc/meminfo: memFree=1215640/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=588712 CPUtime=1061.83
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 146670 0 0 0 106105 78 0 0 25 0 1 0 115355305 602841088 146326 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 147178 146326 206 16 0 146617 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 588712

[startup+1122.3 s]
/proc/loadavg: 1.06 1.06 1.05 2/78 14270
/proc/meminfo: memFree=1185304/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=618120 CPUtime=1121.81
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 153990 0 0 0 112100 81 0 0 25 0 1 0 115355305 632954880 153646 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2930332 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 154530 153646 206 16 0 153969 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 618120

[startup+1182.3 s]
/proc/loadavg: 1.15 1.09 1.06 2/78 14270
/proc/meminfo: memFree=1153560/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=650820 CPUtime=1181.79
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 162110 0 0 0 118091 88 0 0 25 0 1 0 115355305 666439680 161766 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2928991 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 162705 161766 206 16 0 162144 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 650820

[startup+1242.3 s]
/proc/loadavg: 1.20 1.12 1.07 2/78 14270
/proc/meminfo: memFree=1118040/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=685660 CPUtime=1241.76
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 170765 0 0 0 124081 95 0 0 25 0 1 0 115355305 702115840 170421 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 171415 170421 206 16 0 170854 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 685660

[startup+1302.3 s]
/proc/loadavg: 1.14 1.11 1.07 2/78 14270
/proc/meminfo: memFree=1080280/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=724104 CPUtime=1301.75
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 180184 0 0 0 130071 104 0 0 25 0 1 0 115355305 741482496 179840 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2928991 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 181026 179840 206 16 0 180465 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 724104

[startup+1362.3 s]
/proc/loadavg: 1.12 1.10 1.07 2/78 14270
/proc/meminfo: memFree=1055000/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=750072 CPUtime=1361.72
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 186653 0 0 0 136064 108 0 0 25 0 1 0 115355305 768073728 186309 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522688 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 187518 186309 206 16 0 186957 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 750072

[startup+1422.31 s]
/proc/loadavg: 1.10 1.10 1.07 2/78 14270
/proc/meminfo: memFree=1027352/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=776864 CPUtime=1421.7
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 193376 0 0 0 142059 111 0 0 25 0 1 0 115355305 795508736 193032 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 194216 193032 206 16 0 193655 0
Current children cumulated CPU time (s) 1421.7
Current children cumulated vsize (KiB) 776864

[startup+1482.3 s]
/proc/loadavg: 1.19 1.12 1.08 2/78 14270
/proc/meminfo: memFree=1003864/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=800820 CPUtime=1481.68
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 199371 0 0 0 148053 115 0 0 25 0 1 0 115355305 820039680 199027 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 200205 199027 206 16 0 199644 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 800820

[startup+1542.3 s]
/proc/loadavg: 1.12 1.11 1.08 2/78 14270
/proc/meminfo: memFree=975000/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=829416 CPUtime=1541.66
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 206517 0 0 0 154047 119 0 0 25 0 1 0 115355305 849321984 206173 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523636 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 207354 206173 206 16 0 206793 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 829416

[startup+1602.3 s]
/proc/loadavg: 1.09 1.11 1.08 2/78 14270
/proc/meminfo: memFree=947800/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=856284 CPUtime=1601.64
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 213231 0 0 0 160040 124 0 0 25 0 1 0 115355305 876834816 212887 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 214071 212887 206 16 0 213510 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 856284

[startup+1662.3 s]
/proc/loadavg: 1.03 1.08 1.08 2/78 14270
/proc/meminfo: memFree=920088/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=884724 CPUtime=1661.62
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 220223 0 0 0 166034 128 0 0 25 0 1 0 115355305 905957376 219879 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 2928991 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 221181 219879 206 16 0 220620 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 884724

[startup+1722.3 s]
/proc/loadavg: 1.01 1.07 1.07 2/78 14270
/proc/meminfo: memFree=893464/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=911884 CPUtime=1721.6
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 227033 0 0 0 172028 132 0 0 25 0 1 0 115355305 933769216 226689 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 227971 226689 206 16 0 227410 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 911884

[startup+1782.3 s]
/proc/loadavg: 1.00 1.05 1.06 2/78 14270
/proc/meminfo: memFree=864024/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=940128 CPUtime=1781.57
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 234098 0 0 0 178021 136 0 0 25 0 1 0 115355305 962691072 233754 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 235032 233754 206 16 0 234471 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 940128

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

[startup+1783.11 s]
/proc/loadavg: 1.00 1.05 1.06 2/78 14270
/proc/meminfo: memFree=864024/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=940128 CPUtime=1782.38
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 234098 0 0 0 178102 136 0 0 25 0 1 0 115355305 962691072 233754 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528459 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 235032 233754 206 16 0 234471 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 940128

[startup+1783.5 s]
/proc/loadavg: 1.00 1.05 1.06 2/78 14270
/proc/meminfo: memFree=864024/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=940128 CPUtime=1782.77
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194304 234098 0 0 0 178141 136 0 0 25 0 1 0 115355305 962691072 233754 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 235032 233754 206 16 0 234471 0
Current children cumulated CPU time (s) 1782.77
Current children cumulated vsize (KiB) 940128

[startup+1783.7 s]
/proc/loadavg: 1.00 1.05 1.06 2/78 14270
/proc/meminfo: memFree=864024/2055920 swapFree=4169268/4192956
[pid=14071] ppid=14069 vsize=0 CPUtime=1782.98
/proc/14071/stat : 14071 (Pueblo) R 14069 14071 30061 0 -1 4194308 234105 0 0 0 178154 144 0 0 17 0 1 0 115355305 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/14071/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.98
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.78
CPU time (s): 1783.06
CPU user time (s): 1781.54
CPU system time (s): 1.51977
CPU usage (%): 99.9599
Max. virtual memory (cumulated for all children) (KiB): 940128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.54
system time used= 1.51977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234105
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= 15
involuntary context switches= 36299

runsolver used 2.16667 second user time and 4.20536 second system time

The end