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

command line: runsolver --timestamp -w ROOT/results/node30/watcher-353776-1176675503 -o ROOT/results/node30/solver-353776-1176675503 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353776-1176675503/instance-353776-1176675503.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.19 1.17 1.12 3/77 25026
/proc/meminfo: memFree=1796280/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=2552 CPUtime=0
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 115466010 2613248 230 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7483095 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 638 230 193 16 0 77 0

[startup+0.0728999 s]
/proc/loadavg: 1.19 1.17 1.12 3/77 25026
/proc/meminfo: memFree=1796280/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=3616 CPUtime=0.06
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 524 0 0 0 6 0 0 0 18 0 1 0 115466010 3702784 494 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7483095 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 904 494 199 16 0 343 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3616

[startup+0.101901 s]
/proc/loadavg: 1.19 1.17 1.12 3/77 25026
/proc/meminfo: memFree=1796280/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=4016 CPUtime=0.09
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 622 0 0 0 9 0 0 0 18 0 1 0 115466010 4112384 592 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7483095 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 1004 592 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.301913 s]
/proc/loadavg: 1.19 1.17 1.12 3/77 25026
/proc/meminfo: memFree=1796280/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=6680 CPUtime=0.29
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 1302 0 0 0 29 0 0 0 19 0 1 0 115466010 6840320 1272 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7483095 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 1670 1272 199 16 0 1109 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6680

[startup+0.701937 s]
/proc/loadavg: 1.19 1.17 1.12 3/77 25026
/proc/meminfo: memFree=1796280/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=12008 CPUtime=0.69
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 2632 0 0 0 68 1 0 0 23 0 1 0 115466010 12296192 2602 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7483095 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 3002 2602 199 16 0 2441 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12008

[startup+1.502 s]
/proc/loadavg: 1.19 1.17 1.12 2/78 25027
/proc/meminfo: memFree=1782768/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=19140 CPUtime=1.48
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 4394 0 0 0 146 2 0 0 25 0 1 0 115466010 19599360 4364 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134533200 0 0 4096 0 0 0 0 17 0 0 0
/proc/25026/statm: 4785 4364 204 16 0 4224 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 19140

[startup+3.10109 s]
/proc/loadavg: 1.19 1.17 1.12 2/78 25027
/proc/meminfo: memFree=1778032/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=21456 CPUtime=3.09
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 4995 0 0 0 306 3 0 0 25 0 1 0 115466010 21970944 4965 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519100 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 5364 4965 206 16 0 4803 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21456

[startup+6.30129 s]
/proc/loadavg: 1.18 1.17 1.12 2/78 25027
/proc/meminfo: memFree=1776720/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=21784 CPUtime=6.29
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 5098 0 0 0 626 3 0 0 25 0 1 0 115466010 22306816 5040 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519125 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 5446 5040 206 16 0 4885 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21784

[startup+12.7017 s]
/proc/loadavg: 1.16 1.17 1.12 2/78 25027
/proc/meminfo: memFree=1776816/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=21904 CPUtime=12.67
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 5163 0 0 0 1264 3 0 0 25 0 1 0 115466010 22429696 5092 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 5476 5092 206 16 0 4915 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 21904

[startup+25.5015 s]
/proc/loadavg: 1.12 1.16 1.12 2/78 25027
/proc/meminfo: memFree=1764400/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=34532 CPUtime=25.47
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 8290 0 0 0 2542 5 0 0 25 0 1 0 115466010 35360768 8219 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519103 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 8633 8219 206 16 0 8072 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 34532

[startup+51.1011 s]
/proc/loadavg: 1.08 1.14 1.11 2/78 25027
/proc/meminfo: memFree=1744880/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=54696 CPUtime=51.06
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 13357 0 0 0 5098 8 0 0 25 0 1 0 115466010 56008704 13286 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 13674 13286 206 16 0 13113 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 54696

[startup+102.305 s]
/proc/loadavg: 1.03 1.12 1.10 2/78 25027
/proc/meminfo: memFree=1687216/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=111992 CPUtime=102.25
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 27621 0 0 0 10210 15 0 0 25 0 1 0 115466010 114679808 27550 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519125 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 27998 27550 206 16 0 27437 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 111992

[startup+162.302 s]
/proc/loadavg: 1.01 1.10 1.09 2/78 25027
/proc/meminfo: memFree=1624944/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=176420 CPUtime=162.24
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 43517 0 0 0 16200 24 0 0 25 0 1 0 115466010 180654080 43446 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519082 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 44105 43446 206 16 0 43544 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 176420

[startup+222.302 s]
/proc/loadavg: 1.00 1.08 1.08 2/78 25027
/proc/meminfo: memFree=1569264/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=230752 CPUtime=222.21
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 57075 0 0 0 22190 31 0 0 25 0 1 0 115466010 236290048 57004 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7452283 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 57688 57004 206 16 0 57127 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 230752

[startup+282.301 s]
/proc/loadavg: 1.00 1.06 1.08 2/78 25027
/proc/meminfo: memFree=1527088/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=272660 CPUtime=282.2
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 67535 0 0 0 28183 37 0 0 25 0 1 0 115466010 279203840 67464 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 68165 67464 206 16 0 67604 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 272660

[startup+342.301 s]
/proc/loadavg: 1.00 1.05 1.07 2/78 25027
/proc/meminfo: memFree=1494704/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=305324 CPUtime=342.19
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 75596 0 0 0 34177 42 0 0 25 0 1 0 115466010 312651776 75525 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 76331 75525 206 16 0 75770 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 305324

[startup+402.302 s]
/proc/loadavg: 1.00 1.04 1.07 2/78 25027
/proc/meminfo: memFree=1461552/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=339780 CPUtime=402.17
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 84209 0 0 0 40170 47 0 0 25 0 1 0 115466010 347934720 84138 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519120 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 84945 84138 206 16 0 84384 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 339780

[startup+462.302 s]
/proc/loadavg: 1.00 1.03 1.06 2/78 25027
/proc/meminfo: memFree=1424624/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=375476 CPUtime=462.16
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 93081 0 0 0 46163 53 0 0 25 0 1 0 115466010 384487424 93010 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 93869 93010 206 16 0 93308 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 375476

[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.06 2/78 25027
/proc/meminfo: memFree=1385264/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=414828 CPUtime=522.14
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 102903 0 0 0 52155 59 0 0 25 0 1 0 115466010 424783872 102832 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527978 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 103707 102832 206 16 0 103146 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 414828

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.05 2/78 25027
/proc/meminfo: memFree=1350832/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=449564 CPUtime=582.13
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 111510 0 0 0 58148 65 0 0 25 0 1 0 115466010 460353536 111439 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523647 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 112391 111439 206 16 0 111830 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 449564

[startup+642.302 s]
/proc/loadavg: 1.07 1.03 1.05 2/78 25027
/proc/meminfo: memFree=1319024/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=481372 CPUtime=642.12
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 119445 0 0 0 64142 70 0 0 25 0 1 0 115466010 492924928 119374 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 120343 119374 206 16 0 119782 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 481372


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

/proc/meminfo: memFree=1224304/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=577236 CPUtime=822.08
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 143247 0 0 0 82123 85 0 0 25 0 1 0 115466010 591089664 143144 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7452316 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 144309 143144 206 16 0 143748 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 577236

[startup+882.303 s]
/proc/loadavg: 1.00 1.00 1.03 2/78 25027
/proc/meminfo: memFree=1194800/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=606116 CPUtime=882.06
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 150467 0 0 0 88115 91 0 0 25 0 1 0 115466010 620662784 150364 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7452316 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 151529 150364 206 16 0 150968 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 606116

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/78 25027
/proc/meminfo: memFree=1164656/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=636152 CPUtime=942.04
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 157982 0 0 0 94109 95 0 0 25 0 1 0 115466010 651419648 157879 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7452316 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 159038 157879 206 16 0 158477 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 636152

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 25027
/proc/meminfo: memFree=1136112/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=664584 CPUtime=1002.03
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 165090 0 0 0 100103 100 0 0 25 0 1 0 115466010 680534016 164987 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 166146 164987 206 16 0 165585 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 664584

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 25027
/proc/meminfo: memFree=1110064/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=691364 CPUtime=1062.02
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 171789 0 0 0 106098 104 0 0 25 0 1 0 115466010 707956736 171686 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519125 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 172841 171686 206 16 0 172280 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 691364

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25029
/proc/meminfo: memFree=1083888/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=716676 CPUtime=1122
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 178115 0 0 0 112092 108 0 0 25 0 1 0 115466010 733876224 178012 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7452316 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 179169 178012 206 16 0 178608 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 716676

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25029
/proc/meminfo: memFree=1059632/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=741152 CPUtime=1181.98
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 184244 0 0 0 118086 112 0 0 25 0 1 0 115466010 758939648 184141 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 185288 184141 206 16 0 184727 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 741152

[startup+1242.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 25029
/proc/meminfo: memFree=1044976/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=755896 CPUtime=1241.97
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 187848 0 0 0 124082 115 0 0 25 0 1 0 115466010 774037504 187713 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 188974 187713 206 16 0 188413 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 755896

[startup+1302.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 25029
/proc/meminfo: memFree=1034544/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=766168 CPUtime=1301.96
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 190430 0 0 0 130080 116 0 0 25 0 1 0 115466010 784556032 190295 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 191542 190295 206 16 0 190981 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 766168

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25029
/proc/meminfo: memFree=1022768/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=777792 CPUtime=1361.94
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 193373 0 0 0 136076 118 0 0 25 0 1 0 115466010 796459008 193238 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7452316 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 194448 193238 206 16 0 193887 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 777792

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25029
/proc/meminfo: memFree=1005232/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=795280 CPUtime=1421.93
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 197741 0 0 0 142072 121 0 0 25 0 1 0 115466010 814366720 197606 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 198820 197606 206 16 0 198259 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 795280

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25029
/proc/meminfo: memFree=988912/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=812192 CPUtime=1481.91
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 201808 0 0 0 148068 123 0 0 25 0 1 0 115466010 831684608 201673 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522688 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 203048 201673 206 16 0 202487 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 812192

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25029
/proc/meminfo: memFree=971888/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=829016 CPUtime=1541.89
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 206034 0 0 0 154064 125 0 0 25 0 1 0 115466010 848912384 205899 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 207254 205899 206 16 0 206693 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 829016

[startup+1602.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 25029
/proc/meminfo: memFree=954544/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=846284 CPUtime=1601.88
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 210371 0 0 0 160060 128 0 0 25 0 1 0 115466010 866594816 210236 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 211571 210236 206 16 0 211010 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 846284

[startup+1662.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 25029
/proc/meminfo: memFree=935664/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=865148 CPUtime=1661.86
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 215065 0 0 0 166055 131 0 0 25 0 1 0 115466010 885911552 214930 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7452316 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 216287 214930 206 16 0 215726 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 865148

[startup+1722.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 25029
/proc/meminfo: memFree=914928/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=886448 CPUtime=1721.85
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 220243 0 0 0 172051 134 0 0 25 0 1 0 115466010 907722752 220108 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 221612 220108 206 16 0 221051 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 886448

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25029
/proc/meminfo: memFree=892656/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=908560 CPUtime=1781.84
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 225792 0 0 0 178046 138 0 0 25 0 1 0 115466010 930365440 225657 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 227140 225657 206 16 0 226579 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 908560

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 25029
/proc/meminfo: memFree=892464/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=908868 CPUtime=1782.65
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194304 225864 0 0 0 178127 138 0 0 25 0 1 0 115466010 930680832 225729 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 227217 225729 206 16 0 226656 0
Current children cumulated CPU time (s) 1782.65
Current children cumulated vsize (KiB) 908868

[startup+1783.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25029
/proc/meminfo: memFree=892464/2055920 swapFree=4169844/4192956
[pid=25026] ppid=25024 vsize=0 CPUtime=1782.84
/proc/25026/stat : 25026 (Pueblo) R 25024 25026 764 0 -1 4194308 225897 0 0 0 178138 146 0 0 17 0 1 0 115466010 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/25026/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.84
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.37
CPU time (s): 1782.91
CPU user time (s): 1781.39
CPU system time (s): 1.52777
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 909020

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

runsolver used 2.10468 second user time and 4.34534 second system time

The end