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

command line: runsolver --timestamp -w ROOT/results/node7/watcher-353659-1176672174 -o ROOT/results/node7/solver-353659-1176672174 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353659-1176672174/instance-353659-1176672174.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.03 1.14 1.10 3/77 4146
/proc/meminfo: memFree=1612312/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=2552 CPUtime=0
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 143255050 2613248 228 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134546737 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 638 230 193 16 0 77 0

[startup+0.0487661 s]
/proc/loadavg: 1.03 1.14 1.10 3/77 4146
/proc/meminfo: memFree=1612312/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=3216 CPUtime=0.04
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 436 0 0 0 4 0 0 0 18 0 1 0 143255050 3293184 406 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10882775 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 804 408 199 16 0 243 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3216

[startup+0.10277 s]
/proc/loadavg: 1.03 1.14 1.10 3/77 4146
/proc/meminfo: memFree=1612312/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=4016 CPUtime=0.09
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 622 0 0 0 9 0 0 0 18 0 1 0 143255050 4112384 592 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 1004 592 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.301792 s]
/proc/loadavg: 1.03 1.14 1.10 3/77 4146
/proc/meminfo: memFree=1612312/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=6680 CPUtime=0.29
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 1298 0 0 0 29 0 0 0 19 0 1 0 143255050 6840320 1268 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10882775 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 1670 1268 199 16 0 1109 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6680

[startup+0.702834 s]
/proc/loadavg: 1.03 1.14 1.10 3/77 4146
/proc/meminfo: memFree=1612312/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=12008 CPUtime=0.69
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 2646 0 0 0 68 1 0 0 23 0 1 0 143255050 12296192 2616 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10882775 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 3002 2616 199 16 0 2441 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12008

[startup+1.50192 s]
/proc/loadavg: 1.03 1.14 1.10 2/78 4147
/proc/meminfo: memFree=1600344/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=16208 CPUtime=1.49
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 3659 0 0 0 148 1 0 0 25 0 1 0 143255050 16596992 3629 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 4052 3629 206 16 0 3491 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16208

[startup+3.10108 s]
/proc/loadavg: 1.03 1.14 1.10 2/78 4147
/proc/meminfo: memFree=1597656/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=17256 CPUtime=3.08
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 3896 0 0 0 307 1 0 0 25 0 1 0 143255050 17670144 3866 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 4314 3866 206 16 0 3753 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17256

[startup+6.30142 s]
/proc/loadavg: 1.03 1.13 1.10 2/78 4147
/proc/meminfo: memFree=1597528/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=17356 CPUtime=6.29
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 4348 0 0 0 627 2 0 0 25 0 1 0 143255050 17772544 3922 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 4339 3922 206 16 0 3778 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17356

[startup+12.7011 s]
/proc/loadavg: 1.03 1.13 1.10 2/78 4147
/proc/meminfo: memFree=1594648/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=20360 CPUtime=12.69
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 5151 0 0 0 1266 3 0 0 25 0 1 0 143255050 20848640 4670 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523633 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 5090 4670 206 16 0 4529 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20360

[startup+25.5014 s]
/proc/loadavg: 1.02 1.12 1.09 2/78 4147
/proc/meminfo: memFree=1581208/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=33516 CPUtime=25.48
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 8440 0 0 0 2543 5 0 0 25 0 1 0 143255050 34320384 7959 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532613 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 8379 7959 206 16 0 7818 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33516

[startup+51.1011 s]
/proc/loadavg: 1.01 1.11 1.09 2/78 4147
/proc/meminfo: memFree=1541912/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=74464 CPUtime=51.07
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 18651 0 0 0 5098 9 0 0 25 0 1 0 143255050 76251136 18170 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 18616 18170 206 16 0 18055 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 74464

[startup+102.305 s]
/proc/loadavg: 1.00 1.09 1.09 2/78 4147
/proc/meminfo: memFree=1456024/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=159300 CPUtime=102.26
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 39740 0 0 0 10205 21 0 0 25 0 1 0 143255050 163123200 39259 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10850712 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 39825 39259 206 16 0 39264 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 159300

[startup+162.302 s]
/proc/loadavg: 1.05 1.09 1.08 2/78 4147
/proc/meminfo: memFree=1415960/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=199344 CPUtime=162.25
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 49711 0 0 0 16198 27 0 0 25 0 1 0 143255050 204128256 49230 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 49836 49230 206 16 0 49275 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 199344

[startup+222.301 s]
/proc/loadavg: 1.02 1.07 1.08 2/78 4147
/proc/meminfo: memFree=1363992/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=251872 CPUtime=222.23
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 62708 0 0 0 22188 35 0 0 25 0 1 0 143255050 257916928 62227 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 62968 62227 206 16 0 62407 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 251872

[startup+282.301 s]
/proc/loadavg: 1.00 1.05 1.07 2/78 4147
/proc/meminfo: memFree=1327128/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=289552 CPUtime=282.21
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 72007 0 0 0 28180 41 0 0 25 0 1 0 143255050 296501248 71526 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 72388 71526 206 16 0 71827 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 289552

[startup+342.302 s]
/proc/loadavg: 1.00 1.04 1.07 2/78 4147
/proc/meminfo: memFree=1302168/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=314504 CPUtime=342.2
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 78099 0 0 0 34174 46 0 0 25 0 1 0 143255050 322052096 77614 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 78626 77614 206 16 0 78065 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 314504

[startup+402.302 s]
/proc/loadavg: 1.00 1.03 1.06 2/78 4147
/proc/meminfo: memFree=1280024/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=337624 CPUtime=402.17
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 83843 0 0 0 40167 50 0 0 25 0 1 0 143255050 345726976 83358 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 84406 83358 206 16 0 83845 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 337624

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.06 2/78 4147
/proc/meminfo: memFree=1256792/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=360548 CPUtime=462.16
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 89474 0 0 0 46162 54 0 0 25 0 1 0 143255050 369201152 88989 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 90137 88989 206 16 0 89576 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 360548

[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.05 2/78 4149
/proc/meminfo: memFree=1237144/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=380784 CPUtime=522.14
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 94442 0 0 0 52156 58 0 0 25 0 1 0 143255050 389922816 93957 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 95196 93957 206 16 0 94635 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 380784

[startup+582.303 s]
/proc/loadavg: 1.00 1.01 1.04 2/78 4149
/proc/meminfo: memFree=1197976/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=419660 CPUtime=582.12
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 104165 0 0 0 58149 63 0 0 25 0 1 0 143255050 429731840 103680 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 104915 103680 206 16 0 104354 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 419660

[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.04 2/78 4149
/proc/meminfo: memFree=1166616/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=450712 CPUtime=642.12
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 111905 0 0 0 64144 68 0 0 25 0 1 0 143255050 461529088 111420 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 112678 111420 206 16 0 112117 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 450712


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

/proc/meminfo: memFree=1065048/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=552600 CPUtime=822.05
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 137380 0 0 0 82120 85 0 0 25 0 1 0 143255050 565862400 136863 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 138150 136863 206 16 0 137589 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 552600

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 4149
/proc/meminfo: memFree=1045400/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=571824 CPUtime=882.04
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 142192 0 0 0 88115 89 0 0 25 0 1 0 143255050 585547776 141675 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 142956 141675 206 16 0 142395 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 571824

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 4149
/proc/meminfo: memFree=1015448/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=602864 CPUtime=942.02
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 149909 0 0 0 94109 93 0 0 25 0 1 0 143255050 617332736 149392 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10855373 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 150716 149392 206 16 0 150155 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 602864

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4149
/proc/meminfo: memFree=980504/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=636788 CPUtime=1002.01
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 158412 0 0 0 100102 99 0 0 25 0 1 0 143255050 652070912 157895 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 159197 157895 206 16 0 158636 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 636788

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4149
/proc/meminfo: memFree=957272/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=660112 CPUtime=1061.99
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 164239 0 0 0 106097 102 0 0 25 0 1 0 143255050 675954688 163722 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528351 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 165028 163722 206 16 0 164467 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 660112

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4149
/proc/meminfo: memFree=935064/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=682152 CPUtime=1121.97
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 169762 0 0 0 112090 107 0 0 25 0 1 0 143255050 698523648 169245 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10851963 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 170538 169245 206 16 0 169977 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 682152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4149
/proc/meminfo: memFree=910168/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=707256 CPUtime=1181.96
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 175916 0 0 0 118084 112 0 0 25 0 1 0 143255050 724230144 175399 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10850655 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 176814 175399 206 16 0 176253 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 707256

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4149
/proc/meminfo: memFree=907544/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=709952 CPUtime=1241.94
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 176589 0 0 0 124080 114 0 0 25 0 1 0 143255050 726990848 176072 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 177488 176072 206 16 0 176927 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 709952

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4149
/proc/meminfo: memFree=907480/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=709952 CPUtime=1301.93
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 176592 0 0 0 130077 116 0 0 25 0 1 0 143255050 726990848 176075 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519125 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 177488 176075 206 16 0 176927 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 709952

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4149
/proc/meminfo: memFree=907480/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=709952 CPUtime=1361.91
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 176592 0 0 0 136074 117 0 0 25 0 1 0 143255050 726990848 176075 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 177488 176075 206 16 0 176927 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 709952

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4149
/proc/meminfo: memFree=907416/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=709952 CPUtime=1421.89
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 176595 0 0 0 142070 119 0 0 25 0 1 0 143255050 726990848 176078 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 177488 176078 206 16 0 176927 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 709952

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4149
/proc/meminfo: memFree=907416/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=709952 CPUtime=1481.87
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 176595 0 0 0 148067 120 0 0 25 0 1 0 143255050 726990848 176078 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522695 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 177488 176078 206 16 0 176927 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 709952

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4149
/proc/meminfo: memFree=907544/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=709952 CPUtime=1541.86
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 176595 0 0 0 154065 121 0 0 25 0 1 0 143255050 726990848 176078 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520070 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 177488 176078 206 16 0 176927 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 709952

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4149
/proc/meminfo: memFree=907480/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=709952 CPUtime=1601.84
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 176605 0 0 0 160062 122 0 0 25 0 1 0 143255050 726990848 176088 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 177488 176088 206 16 0 176927 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 709952

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4149
/proc/meminfo: memFree=907416/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=709952 CPUtime=1661.82
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 176609 0 0 0 166059 123 0 0 25 0 1 0 143255050 726990848 176092 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 177488 176092 206 16 0 176927 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 709952

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4149
/proc/meminfo: memFree=907416/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=709952 CPUtime=1721.8
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 176609 0 0 0 172056 124 0 0 25 0 1 0 143255050 726990848 176092 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527883 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 177488 176092 206 16 0 176927 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 709952

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4149
/proc/meminfo: memFree=907416/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=709952 CPUtime=1781.79
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 176615 0 0 0 178054 125 0 0 25 0 1 0 143255050 726990848 176098 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 177488 176098 206 16 0 176927 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 709952

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

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4149
/proc/meminfo: memFree=907416/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=709952 CPUtime=1782.59
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194304 176615 0 0 0 178134 125 0 0 25 0 1 0 143255050 726990848 176098 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 177488 176098 206 16 0 176927 0
Current children cumulated CPU time (s) 1782.59
Current children cumulated vsize (KiB) 709952

[startup+1783.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4149
/proc/meminfo: memFree=907416/2055920 swapFree=4170480/4192956
[pid=4146] ppid=4144 vsize=0 CPUtime=1782.79
/proc/4146/stat : 4146 (Pueblo) R 4144 4146 11008 0 -1 4194308 176622 0 0 0 178150 129 0 0 17 0 1 0 143255050 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/4146/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.79
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.37
CPU time (s): 1782.87
CPU user time (s): 1781.5
CPU system time (s): 1.36179
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 709952

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

runsolver used 2.20866 second user time and 4.22936 second system time

The end