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

command line: runsolver --timestamp -w ROOT/results/node13/watcher-353685-1176672913 -o ROOT/results/node13/solver-353685-1176672913 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353685-1176672913/instance-353685-1176672913.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.02 1.03 1.00 3/77 8474
/proc/meminfo: memFree=1675880/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=964 CPUtime=0
/proc/8474/stat : 8474 (Pueblo) D 8472 8474 7418 0 -1 4194304 52 0 0 0 0 0 0 0 18 0 1 0 115209187 987136 35 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 11879332 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/8474/statm: 241 35 27 16 0 8 0

[startup+0.0631671 s]
/proc/loadavg: 1.02 1.03 1.00 3/77 8474
/proc/meminfo: memFree=1675880/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=3352 CPUtime=0.04
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 461 0 0 0 4 0 0 0 18 0 1 0 115209187 3432448 431 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 12047120 0 0 4096 0 0 0 0 17 0 0 0
/proc/8474/statm: 838 431 199 16 0 277 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3352

[startup+0.102172 s]
/proc/loadavg: 1.02 1.03 1.00 3/77 8474
/proc/meminfo: memFree=1675880/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=3884 CPUtime=0.08
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 604 0 0 0 8 0 0 0 18 0 1 0 115209187 3977216 574 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134546735 0 0 4096 0 0 0 0 17 0 0 0
/proc/8474/statm: 971 574 199 16 0 410 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3884

[startup+0.30222 s]
/proc/loadavg: 1.02 1.03 1.00 3/77 8474
/proc/meminfo: memFree=1675880/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=6812 CPUtime=0.28
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 1337 0 0 0 28 0 0 0 19 0 1 0 115209187 6975488 1307 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 12046512 0 0 4096 0 0 0 0 17 0 0 0
/proc/8474/statm: 1703 1307 199 16 0 1142 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6812

[startup+0.702306 s]
/proc/loadavg: 1.02 1.03 1.00 3/77 8474
/proc/meminfo: memFree=1675880/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=12432 CPUtime=0.68
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 2739 0 0 0 68 0 0 0 23 0 1 0 115209187 12730368 2709 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532444 0 0 4096 0 0 0 0 17 0 0 0
/proc/8474/statm: 3108 2709 203 16 0 2547 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12432

[startup+1.50147 s]
/proc/loadavg: 1.02 1.03 1.00 2/78 8475
/proc/meminfo: memFree=1664288/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=13916 CPUtime=1.47
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 3070 0 0 0 147 0 0 0 25 0 1 0 115209187 14249984 3040 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522688 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 3479 3040 205 16 0 2918 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13916

[startup+3.10181 s]
/proc/loadavg: 1.02 1.03 1.00 2/78 8475
/proc/meminfo: memFree=1664032/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=13916 CPUtime=3.07
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 3070 0 0 0 307 0 0 0 25 0 1 0 115209187 14249984 3040 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523674 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 3479 3040 205 16 0 2918 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13916

[startup+6.30149 s]
/proc/loadavg: 1.02 1.03 1.00 2/78 8475
/proc/meminfo: memFree=1663776/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=15444 CPUtime=6.28
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 3433 0 0 0 627 1 0 0 25 0 1 0 115209187 15814656 3403 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 3861 3403 205 16 0 3300 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15444

[startup+12.7019 s]
/proc/loadavg: 1.02 1.03 1.00 2/78 8475
/proc/meminfo: memFree=1655712/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=23424 CPUtime=12.67
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 5441 0 0 0 1265 2 0 0 25 0 1 0 115209187 23986176 5411 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 5856 5411 205 16 0 5295 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 23424

[startup+25.5016 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 8475
/proc/meminfo: memFree=1641248/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=36912 CPUtime=25.47
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 8793 0 0 0 2543 4 0 0 25 0 1 0 115209187 37797888 8763 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519082 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 9228 8763 205 16 0 8667 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 36912

[startup+51.1011 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 8475
/proc/meminfo: memFree=1617248/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=61816 CPUtime=51.05
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 15014 0 0 0 5098 7 0 0 25 0 1 0 115209187 63299584 14984 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 15454 14984 205 16 0 14893 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 61816

[startup+102.306 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 8475
/proc/meminfo: memFree=1570848/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=107284 CPUtime=102.24
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 26366 0 0 0 10209 15 0 0 25 0 1 0 115209187 109858816 26336 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 26821 26336 205 16 0 26260 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 107284

[startup+162.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 8477
/proc/meminfo: memFree=1523808/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=154572 CPUtime=162.22
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 38111 0 0 0 16201 21 0 0 25 0 1 0 115209187 158281728 38081 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 12312927 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 38643 38081 205 16 0 38082 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 154572

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 8477
/proc/meminfo: memFree=1479008/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=200000 CPUtime=222.19
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 49288 0 0 0 22192 27 0 0 25 0 1 0 115209187 204800000 49258 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523671 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 50000 49258 205 16 0 49439 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 200000

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8477
/proc/meminfo: memFree=1432608/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=246372 CPUtime=282.16
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 60853 0 0 0 28184 32 0 0 25 0 1 0 115209187 252284928 60823 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 61593 60823 205 16 0 61032 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 246372

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8477
/proc/meminfo: memFree=1396832/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=282280 CPUtime=342.14
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 69808 0 0 0 34176 38 0 0 25 0 1 0 115209187 289054720 69778 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519125 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 70570 69778 205 16 0 70009 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 282280

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8477
/proc/meminfo: memFree=1367136/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=312416 CPUtime=402.12
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 77197 0 0 0 40169 43 0 0 25 0 1 0 115209187 319913984 77167 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 78104 77167 205 16 0 77543 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 312416

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8477
/proc/meminfo: memFree=1328160/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=351688 CPUtime=462.1
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 87034 0 0 0 46162 48 0 0 25 0 1 0 115209187 360128512 87004 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 87922 87004 205 16 0 87361 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 351688

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8477
/proc/meminfo: memFree=1290912/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=389840 CPUtime=522.08
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 96433 0 0 0 52154 54 0 0 25 0 1 0 115209187 399196160 96403 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 97460 96403 206 16 0 96899 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 389840

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8477
/proc/meminfo: memFree=1254176/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=426364 CPUtime=582.05
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 105405 0 0 0 58146 59 0 0 25 0 1 0 115209187 436596736 105343 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519066 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 106591 105343 206 16 0 106030 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 426364

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8477
/proc/meminfo: memFree=1216288/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=465312 CPUtime=642.03
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 114952 0 0 0 64138 65 0 0 25 0 1 0 115209187 476479488 114794 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 116328 114794 206 16 0 115767 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 465312


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

/proc/meminfo: memFree=1084128/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=599084 CPUtime=881.94
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 148026 0 0 0 88108 86 0 0 25 0 1 0 115209187 613462016 147772 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 149771 147772 206 16 0 149210 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 599084

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8477
/proc/meminfo: memFree=1075296/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=608196 CPUtime=941.91
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 150227 0 0 0 94103 88 0 0 25 0 1 0 115209187 622792704 149973 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519103 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 152049 149973 206 16 0 151488 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 608196

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8477
/proc/meminfo: memFree=1075360/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=608196 CPUtime=1001.89
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 150227 0 0 0 100099 90 0 0 25 0 1 0 115209187 622792704 149973 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 152049 149973 206 16 0 151488 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 608196

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8477
/proc/meminfo: memFree=1075296/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=608196 CPUtime=1061.86
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 150227 0 0 0 106095 91 0 0 25 0 1 0 115209187 622792704 149973 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134556321 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 152049 149973 206 16 0 151488 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 608196

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8477
/proc/meminfo: memFree=1075296/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=608196 CPUtime=1121.84
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 150232 0 0 0 112091 93 0 0 25 0 1 0 115209187 622792704 149978 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 152049 149978 206 16 0 151488 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 608196

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8477
/proc/meminfo: memFree=1075296/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=608196 CPUtime=1181.81
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 150232 0 0 0 118087 94 0 0 25 0 1 0 115209187 622792704 149978 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 152049 149978 206 16 0 151488 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 608196

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8477
/proc/meminfo: memFree=1075296/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=608196 CPUtime=1241.79
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 150235 0 0 0 124084 95 0 0 25 0 1 0 115209187 622792704 149981 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 152049 149981 206 16 0 151488 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 608196

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8477
/proc/meminfo: memFree=1075232/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=608196 CPUtime=1301.78
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 150243 0 0 0 130081 97 0 0 25 0 1 0 115209187 622792704 149989 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 152049 149989 206 16 0 151488 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 608196

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8477
/proc/meminfo: memFree=1075232/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=608196 CPUtime=1361.75
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 150250 0 0 0 136077 98 0 0 25 0 1 0 115209187 622792704 149996 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 152049 149996 206 16 0 151488 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 608196

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8477
/proc/meminfo: memFree=1075168/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=608196 CPUtime=1421.72
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 150250 0 0 0 142073 99 0 0 25 0 1 0 115209187 622792704 149996 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 152049 149996 206 16 0 151488 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 608196

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8477
/proc/meminfo: memFree=1075232/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=608196 CPUtime=1481.7
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 150250 0 0 0 148070 100 0 0 25 0 1 0 115209187 622792704 149996 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 152049 149996 206 16 0 151488 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 608196

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8477
/proc/meminfo: memFree=1075168/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=608196 CPUtime=1541.67
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 150250 0 0 0 154066 101 0 0 25 0 1 0 115209187 622792704 149996 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532937 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 152049 149996 206 16 0 151488 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 608196

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 8653
/proc/meminfo: memFree=1073768/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=608196 CPUtime=1601.55
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 150252 0 0 0 160052 103 0 0 25 0 1 0 115209187 622792704 149998 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517805 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 152049 149998 206 16 0 151488 0
Current children cumulated CPU time (s) 1601.55
Current children cumulated vsize (KiB) 608196

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8675
/proc/meminfo: memFree=1074656/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=608196 CPUtime=1661.52
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 150252 0 0 0 166048 104 0 0 25 0 1 0 115209187 622792704 149998 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 152049 149998 206 16 0 151488 0
Current children cumulated CPU time (s) 1661.52
Current children cumulated vsize (KiB) 608196

[startup+1722.3 s]
/proc/loadavg: 1.17 1.07 1.02 2/78 8675
/proc/meminfo: memFree=1074720/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=608196 CPUtime=1721.51
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 150255 0 0 0 172045 106 0 0 25 0 1 0 115209187 622792704 150001 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 152049 150001 206 16 0 151488 0
Current children cumulated CPU time (s) 1721.51
Current children cumulated vsize (KiB) 608196

[startup+1782.3 s]
/proc/loadavg: 1.06 1.05 1.02 2/78 8675
/proc/meminfo: memFree=1074720/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=608196 CPUtime=1781.48
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 150255 0 0 0 178041 107 0 0 25 0 1 0 115209187 622792704 150001 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 152049 150001 206 16 0 151488 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (KiB) 608196

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

[startup+1783.11 s]
/proc/loadavg: 1.06 1.05 1.02 2/78 8675
/proc/meminfo: memFree=1074720/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=608196 CPUtime=1782.28
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 150255 0 0 0 178121 107 0 0 25 0 1 0 115209187 622792704 150001 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 152049 150001 206 16 0 151488 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 608196

[startup+1783.5 s]
/proc/loadavg: 1.06 1.05 1.02 2/78 8675
/proc/meminfo: memFree=1074720/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=608196 CPUtime=1782.68
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194304 150255 0 0 0 178161 107 0 0 25 0 1 0 115209187 622792704 150001 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 152049 150001 206 16 0 151488 0
Current children cumulated CPU time (s) 1782.68
Current children cumulated vsize (KiB) 608196

[startup+1783.6 s]
/proc/loadavg: 1.06 1.05 1.02 2/78 8675
/proc/meminfo: memFree=1074720/2055920 swapFree=4175300/4192956
[pid=8474] ppid=8472 vsize=0 CPUtime=1782.78
/proc/8474/stat : 8474 (Pueblo) R 8472 8474 7418 0 -1 4194308 150262 0 0 0 178166 112 0 0 17 0 1 0 115209187 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/8474/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.78
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.65
CPU time (s): 1782.84
CPU user time (s): 1781.66
CPU system time (s): 1.17282
CPU usage (%): 99.9544
Max. virtual memory (cumulated for all children) (KiB): 608196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.66
system time used= 1.17282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150262
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= 16
involuntary context switches= 36959

runsolver used 2.06868 second user time and 4.16937 second system time

The end