runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3720114-1338507819/watcher-3720114-1338507819 -o /tmp/evaluation-result-3720114-1338507819/solver-3720114-1338507819 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720114-1338507819.opb
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.97 1.68 3/174 7910
/proc/meminfo: memFree=29395436/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=3100 CPUtime=0 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 297 0 0 0 0 0 0 0 20 0 1 0 316910343 3174400 234 33554432000 134512640 134579096 4293620336 4293487848 6152433 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7910/statm: 776 240 213 17 0 82 0
[startup+0.0523971 s]
/proc/loadavg: 2.00 1.97 1.68 3/174 7910
/proc/meminfo: memFree=29395436/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=3636 CPUtime=0.04 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 463 0 0 0 4 0 0 0 20 0 1 0 316910343 3723264 400 33554432000 134512640 134579096 4293620336 4293619184 134527824 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7910/statm: 909 400 229 17 0 215 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3636
[startup+0.100207 s]
/proc/loadavg: 2.00 1.97 1.68 3/174 7910
/proc/meminfo: memFree=29395436/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=3900 CPUtime=0.09 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 542 0 0 0 9 0 0 0 20 0 1 0 316910343 3993600 479 33554432000 134512640 134579096 4293620336 4293619184 134527762 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7910/statm: 975 479 229 17 0 281 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3900
[startup+0.300178 s]
/proc/loadavg: 2.00 1.97 1.68 3/174 7910
/proc/meminfo: memFree=29395436/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=4032 CPUtime=0.29 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 580 0 0 0 29 0 0 0 20 0 1 0 316910343 4128768 517 33554432000 134512640 134579096 4293620336 4293619184 134527712 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7910/statm: 1008 517 229 17 0 314 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4032
[startup+0.700178 s]
/proc/loadavg: 2.00 1.97 1.68 3/174 7910
/proc/meminfo: memFree=29395436/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=4288 CPUtime=0.69 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 633 0 0 0 69 0 0 0 20 0 1 0 316910343 4390912 570 33554432000 134512640 134579096 4293620336 4293619184 134527812 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7910/statm: 1072 570 229 17 0 378 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4288
[startup+1.50018 s]
/proc/loadavg: 2.00 1.97 1.68 3/175 7911
/proc/meminfo: memFree=29394220/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=4544 CPUtime=1.49 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 689 0 0 0 149 0 0 0 20 0 1 0 316910343 4653056 626 33554432000 134512640 134579096 4293620336 4293619184 134527824 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7910/statm: 1136 626 229 17 0 442 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4544
[startup+3.10018 s]
/proc/loadavg: 2.00 1.97 1.68 3/175 7911
/proc/meminfo: memFree=29393584/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=4816 CPUtime=3.09 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 751 0 0 0 309 0 0 0 20 0 1 0 316910343 4931584 688 33554432000 134512640 134579096 4293620336 4293619184 134527737 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7910/statm: 1204 688 229 17 0 510 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4816
[startup+6.30018 s]
/proc/loadavg: 2.00 1.97 1.68 3/175 7911
/proc/meminfo: memFree=29393212/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=4816 CPUtime=6.29 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 778 0 0 0 629 0 0 0 20 0 1 0 316910343 4931584 715 33554432000 134512640 134579096 4293620336 4293619136 134528788 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7910/statm: 1204 715 229 17 0 510 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4816
[startup+12.7002 s]
/proc/loadavg: 2.00 1.97 1.68 3/175 7911
/proc/meminfo: memFree=29392748/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=5288 CPUtime=12.68 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 886 0 0 0 1268 0 0 0 20 0 1 0 316910343 5414912 823 33554432000 134512640 134579096 4293620336 4293619184 134527759 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 1322 823 229 17 0 628 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 5288
[startup+25.5002 s]
/proc/loadavg: 2.00 1.97 1.68 3/175 7911
/proc/meminfo: memFree=29392372/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=5420 CPUtime=25.48 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 929 0 0 0 2548 0 0 0 20 0 1 0 316910343 5550080 865 33554432000 134512640 134579096 4293620336 4293619184 134527740 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 1355 865 229 17 0 661 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5420
[startup+51.1002 s]
/proc/loadavg: 2.00 1.97 1.69 3/175 7911
/proc/meminfo: memFree=29392000/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=5712 CPUtime=51.08 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 996 0 0 0 5107 1 0 0 20 0 1 0 316910343 5849088 932 33554432000 134512640 134579096 4293620336 4293619184 134527762 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 1428 932 229 17 0 734 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 5712
[startup+102.306 s]
/proc/loadavg: 2.00 1.97 1.71 3/175 7911
/proc/meminfo: memFree=29391256/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=6244 CPUtime=102.28 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1128 0 0 0 10226 2 0 0 20 0 1 0 316910343 6393856 1064 33554432000 134512640 134579096 4293620336 4293619184 134527762 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 1561 1064 229 17 0 867 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 6244
[startup+162.3 s]
/proc/loadavg: 2.00 1.97 1.73 3/175 7911
/proc/meminfo: memFree=29390512/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=6600 CPUtime=162.25 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1200 0 0 0 16223 2 0 0 20 0 1 0 316910343 6758400 1136 33554432000 134512640 134579096 4293620336 4293619184 134528349 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 1650 1136 229 17 0 956 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 6600
[startup+222.3 s]
/proc/loadavg: 2.04 1.99 1.74 3/175 7911
/proc/meminfo: memFree=29390264/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=6712 CPUtime=222.25 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1246 0 0 0 22221 4 0 0 20 0 1 0 316910343 6873088 1170 33554432000 134512640 134579096 4293620336 4293619184 134527762 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 1678 1170 229 17 0 984 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 6712
[startup+282.3 s]
/proc/loadavg: 2.01 1.99 1.76 3/175 7960
/proc/meminfo: memFree=29400364/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=6712 CPUtime=282.24 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1257 0 0 0 28219 5 0 0 20 0 1 0 316910343 6873088 1181 33554432000 134512640 134579096 4293620336 4293619184 134527759 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 1678 1181 229 17 0 984 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 6712
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.77 3/175 7960
/proc/meminfo: memFree=29399512/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=7236 CPUtime=342.23 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1374 0 0 0 34218 5 0 0 20 0 1 0 316910343 7409664 1298 33554432000 134512640 134579096 4293620336 4293619184 134527737 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 1809 1298 229 17 0 1115 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 7236
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/176 7963
/proc/meminfo: memFree=29398696/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=7236 CPUtime=402.22 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1375 0 0 0 40216 6 0 0 20 0 1 0 316910343 7409664 1299 33554432000 134512640 134579096 4293620336 4293619308 9733168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 1809 1299 229 17 0 1115 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 7236
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/175 7963
/proc/meminfo: memFree=29398208/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=7236 CPUtime=462.22 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1394 0 0 0 46214 8 0 0 20 0 1 0 316910343 7409664 1318 33554432000 134512640 134579096 4293620336 4293619184 134527830 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 1809 1318 229 17 0 1115 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 7236
[startup+522.3 s]
/proc/loadavg: 2.08 2.00 1.81 3/175 7963
/proc/meminfo: memFree=29398084/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=7368 CPUtime=522.2 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1427 0 0 0 52211 9 0 0 20 0 1 0 316910343 7544832 1350 33554432000 134512640 134579096 4293620336 4293619184 134527729 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 1842 1350 229 17 0 1148 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 7368
[startup+582.3 s]
/proc/loadavg: 2.03 2.00 1.82 3/175 7964
/proc/meminfo: memFree=29398028/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=7588 CPUtime=582.19 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1486 0 0 0 58209 10 0 0 20 0 1 0 316910343 7770112 1409 33554432000 134512640 134579096 4293620336 4293619184 134527812 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 1897 1409 229 17 0 1203 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 7588
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29397780/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=7628 CPUtime=882.15 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1493 0 0 0 88199 16 0 0 20 0 1 0 316910343 7811072 1416 33554432000 134512640 134579096 4293620336 4293619184 134527765 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 1907 1416 229 17 0 1213 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 7628
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/175 7965
/proc/meminfo: memFree=29397780/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=7628 CPUtime=942.14 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1495 0 0 0 94197 17 0 0 20 0 1 0 316910343 7811072 1418 33554432000 134512640 134579096 4293620336 4293619308 9733168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 1907 1418 229 17 0 1213 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 7628
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/176 7968
/proc/meminfo: memFree=29397028/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=7888 CPUtime=1002.13 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1547 0 0 0 100196 17 0 0 20 0 1 0 316910343 8077312 1470 33554432000 134512640 134579096 4293620336 4293619184 134527762 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 1972 1470 229 17 0 1278 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 7888
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/176 7991
/proc/meminfo: memFree=29397268/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=7888 CPUtime=1062.12 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1562 0 0 0 106194 18 0 0 20 0 1 0 316910343 8077312 1485 33554432000 134512640 134579096 4293620336 4293619308 9733168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 1972 1485 229 17 0 1278 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 7888
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/175 7991
/proc/meminfo: memFree=29397152/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=8016 CPUtime=1122.11 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1578 0 0 0 112192 19 0 0 20 0 1 0 316910343 8208384 1501 33554432000 134512640 134579096 4293620336 4293619308 9733168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 2004 1501 229 17 0 1310 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 8016
[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 1.88 3/175 8136
/proc/meminfo: memFree=29392484/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=8016 CPUtime=1182.09 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1578 0 0 0 118189 20 0 0 20 0 1 0 316910343 8208384 1501 33554432000 134512640 134579096 4293620336 4293619184 134527712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 2004 1501 229 17 0 1310 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 8016
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.89 3/175 8136
/proc/meminfo: memFree=29390064/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=8016 CPUtime=1242.09 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1578 0 0 0 124187 22 0 0 20 0 1 0 316910343 8208384 1501 33554432000 134512640 134579096 4293620336 4293619308 9733168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 2004 1501 229 17 0 1310 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 8016
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.89 3/175 8136
/proc/meminfo: memFree=29389628/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=8016 CPUtime=1302.09 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1578 0 0 0 130186 23 0 0 20 0 1 0 316910343 8208384 1501 33554432000 134512640 134579096 4293620336 4293619184 134527759 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 2004 1501 229 17 0 1310 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 8016
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/175 8136
/proc/meminfo: memFree=29389256/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=8016 CPUtime=1362.07 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1578 0 0 0 136183 24 0 0 20 0 1 0 316910343 8208384 1501 33554432000 134512640 134579096 4293620336 4293619184 134527818 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 2004 1501 229 17 0 1310 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 8016
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 8136
/proc/meminfo: memFree=29387952/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=8016 CPUtime=1422.06 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1579 0 0 0 142182 24 0 0 20 0 1 0 316910343 8208384 1502 33554432000 134512640 134579096 4293620336 4293619184 134527740 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 2004 1502 229 17 0 1310 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 8016
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 8137
/proc/meminfo: memFree=29387580/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=8724 CPUtime=1482.05 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1749 0 0 0 148180 25 0 0 20 0 1 0 316910343 8933376 1671 33554432000 134512640 134579096 4293620336 4293619184 134527740 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 2181 1671 229 17 0 1487 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 8724
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 8137
/proc/meminfo: memFree=29387456/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=8724 CPUtime=1542.04 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1760 0 0 0 154178 26 0 0 20 0 1 0 316910343 8933376 1682 33554432000 134512640 134579096 4293620336 4293619308 9733168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 2181 1682 229 17 0 1487 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 8724
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 8140
/proc/meminfo: memFree=29386332/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=8724 CPUtime=1602.03 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1771 0 0 0 160177 26 0 0 20 0 1 0 316910343 8933376 1693 33554432000 134512640 134579096 4293620336 4293619184 134527740 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 2181 1693 229 17 0 1487 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 8724
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/175 8140
/proc/meminfo: memFree=29386712/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=8724 CPUtime=1662.03 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1771 0 0 0 166176 27 0 0 20 0 1 0 316910343 8933376 1693 33554432000 134512640 134579096 4293620336 4293619184 134527729 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 2181 1693 229 17 0 1487 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 8724
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 1.92 3/175 8140
/proc/meminfo: memFree=29386216/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=8836 CPUtime=1722.02 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1785 0 0 0 172174 28 0 0 20 0 1 0 316910343 9048064 1707 33554432000 134512640 134579096 4293620336 4293619184 134527765 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 2209 1707 229 17 0 1515 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 8836
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 1.92 3/175 8141
/proc/meminfo: memFree=29385284/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=8836 CPUtime=1782.01 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1785 0 0 0 178173 28 0 0 20 0 1 0 316910343 9048064 1707 33554432000 134512640 134579096 4293620336 4293619184 134528349 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 2209 1707 229 17 0 1515 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 8836
Solver just ended. Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 2.02 2.02 1.92 3/175 8141
/proc/meminfo: memFree=29385284/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=8836 CPUtime=1782.41 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1785 0 0 0 178213 28 0 0 20 0 1 0 316910343 9048064 1707 33554432000 134512640 134579096 4293620336 4293619308 9733168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 2209 1707 229 17 0 1515 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 8836
[startup+1783.11 s]
/proc/loadavg: 2.02 2.02 1.92 3/175 8141
/proc/meminfo: memFree=29385284/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=8836 CPUtime=1782.81 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1785 0 0 0 178253 28 0 0 20 0 1 0 316910343 9048064 1707 33554432000 134512640 134579096 4293620336 4293619184 134527740 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 2209 1707 229 17 0 1515 0
Current children cumulated CPU time (s) 1782.81
Current children cumulated vsize (KiB) 8836
[startup+1783.2 s]
/proc/loadavg: 2.02 2.02 1.92 3/175 8141
/proc/meminfo: memFree=29385284/32873844 swapFree=6088/6088
[pid=7910] ppid=7908 vsize=8836 CPUtime=1782.9 cores=0,2,4,6
/proc/7910/stat : 7910 (Pueblo) R 7908 7910 7644 0 -1 4202496 1785 0 0 0 178262 28 0 0 20 0 1 0 316910343 9048064 1707 33554432000 134512640 134579096 4293620336 4293619184 134528346 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7910/statm: 2209 1707 229 17 0 1515 0
Current children cumulated CPU time (s) 1782.9
Current children cumulated vsize (KiB) 8836
Child status: 10
Real time (s): 1783.29
CPU time (s): 1783.01
CPU user time (s): 1782.72
CPU system time (s): 0.285956
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 8856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.72
system time used= 0.285956
maximum resident set size= 6848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1790
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= 11
involuntary context switches= 2061
runsolver used 3.75043 second user time and 6.74597 second system time
The end