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-3720530-1338512057/watcher-3720530-1338512057 -o /tmp/evaluation-result-3720530-1338512057/solver-3720530-1338512057 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720530-1338512057.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.01 2.00 1.95 3/178 17185
/proc/meminfo: memFree=27578552/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=3104 CPUtime=0 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 317331132 3178496 261 33554432000 134512640 134579096 4294626144 4294493444 2331382 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17185/statm: 776 261 221 17 0 82 0
[startup+0.087424 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 17185
/proc/meminfo: memFree=27578552/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=3768 CPUtime=0.08 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 504 0 0 0 8 0 0 0 20 0 1 0 317331132 3858432 441 33554432000 134512640 134579096 4294626144 4294624992 134527759 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17185/statm: 942 441 229 17 0 248 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3768
[startup+0.100211 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 17185
/proc/meminfo: memFree=27578552/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=3768 CPUtime=0.09 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 508 0 0 0 9 0 0 0 20 0 1 0 317331132 3858432 445 33554432000 134512640 134579096 4294626144 4294624992 134527740 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17185/statm: 942 445 229 17 0 248 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3768
[startup+0.300179 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 17185
/proc/meminfo: memFree=27578552/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=4032 CPUtime=0.29 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 573 0 0 0 29 0 0 0 20 0 1 0 317331132 4128768 510 33554432000 134512640 134579096 4294626144 4294624992 134527981 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17185/statm: 1008 510 229 17 0 314 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4032
[startup+0.700181 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 17185
/proc/meminfo: memFree=27578552/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=4156 CPUtime=0.69 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 606 0 0 0 69 0 0 0 20 0 1 0 317331132 4255744 543 33554432000 134512640 134579096 4294626144 4294624992 134528360 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17185/statm: 1039 543 229 17 0 345 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4156
[startup+1.50018 s]
/proc/loadavg: 2.01 2.00 1.95 3/179 17186
/proc/meminfo: memFree=27577684/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=4420 CPUtime=1.49 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 649 0 0 0 149 0 0 0 20 0 1 0 317331132 4526080 586 33554432000 134512640 134579096 4294626144 4294624992 134527762 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17185/statm: 1105 586 229 17 0 411 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4420
[startup+3.10018 s]
/proc/loadavg: 2.01 2.00 1.95 3/179 17186
/proc/meminfo: memFree=27577304/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=4552 CPUtime=3.09 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 703 0 0 0 309 0 0 0 20 0 1 0 317331132 4661248 640 33554432000 134512640 134579096 4294626144 4294624800 134522706 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17185/statm: 1138 640 229 17 0 444 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4552
[startup+6.30018 s]
/proc/loadavg: 2.01 2.00 1.95 3/179 17186
/proc/meminfo: memFree=27576420/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=4892 CPUtime=6.29 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 775 0 0 0 629 0 0 0 20 0 1 0 317331132 5009408 712 33554432000 134512640 134579096 4294626144 4294624992 134527742 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17185/statm: 1223 712 229 17 0 529 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4892
[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 1.95 3/179 17186
/proc/meminfo: memFree=27575964/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=5100 CPUtime=12.69 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 840 0 0 0 1269 0 0 0 20 0 1 0 317331132 5222400 777 33554432000 134512640 134579096 4294626144 4294624992 134527818 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17185/statm: 1275 777 229 17 0 581 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5100
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 17186
/proc/meminfo: memFree=27575684/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=5424 CPUtime=25.48 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 908 0 0 0 2548 0 0 0 20 0 1 0 317331132 5554176 845 33554432000 134512640 134579096 4294626144 4294624784 1580352 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 1356 845 229 17 0 662 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5424
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 17186
/proc/meminfo: memFree=27575528/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=5772 CPUtime=51.08 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1009 0 0 0 5108 0 0 0 20 0 1 0 317331132 5910528 946 33554432000 134512640 134579096 4294626144 4294624976 134517937 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 1443 946 229 17 0 749 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 5772
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 17186
/proc/meminfo: memFree=27574396/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=6388 CPUtime=102.27 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1162 0 0 0 10227 0 0 0 20 0 1 0 317331132 6541312 1099 33554432000 134512640 134579096 4294626144 4294624992 134527661 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 1597 1099 229 17 0 903 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 6388
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 17186
/proc/meminfo: memFree=27574396/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=6472 CPUtime=162.26 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1176 0 0 0 16226 0 0 0 20 0 1 0 317331132 6627328 1113 33554432000 134512640 134579096 4294626144 4294625024 134558596 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 1618 1113 229 17 0 924 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 6472
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 17187
/proc/meminfo: memFree=27574024/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=6696 CPUtime=222.25 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1238 0 0 0 22225 0 0 0 20 0 1 0 317331132 6856704 1175 33554432000 134512640 134579096 4294626144 4294625056 134559548 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 1674 1175 229 17 0 980 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 6696
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 17187
/proc/meminfo: memFree=27573900/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=6968 CPUtime=282.24 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1284 0 0 0 28224 0 0 0 20 0 1 0 317331132 7135232 1221 33554432000 134512640 134579096 4294626144 4294624992 134528360 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 1742 1221 229 17 0 1048 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 6968
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 17187
/proc/meminfo: memFree=27518224/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=7176 CPUtime=342.23 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1360 0 0 0 34223 0 0 0 20 0 1 0 317331132 7348224 1297 33554432000 134512640 134579096 4294626144 4294624992 134527759 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 1794 1297 229 17 0 1100 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 7176
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 17190
/proc/meminfo: memFree=27517844/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=7248 CPUtime=402.22 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1381 0 0 0 40222 0 0 0 20 0 1 0 317331132 7421952 1318 33554432000 134512640 134579096 4294626144 4294624992 134528360 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 1812 1318 229 17 0 1118 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 7248
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 17212
/proc/meminfo: memFree=27516844/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=7600 CPUtime=462.21 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1434 0 0 0 46221 0 0 0 20 0 1 0 317331132 7782400 1371 33554432000 134512640 134579096 4294626144 4294624992 134527729 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 1900 1371 229 17 0 1206 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 7600
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 17213
/proc/meminfo: memFree=27517100/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=7600 CPUtime=522.2 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1440 0 0 0 52220 0 0 0 20 0 1 0 317331132 7782400 1377 33554432000 134512640 134579096 4294626144 4294625072 134559528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 1900 1377 229 17 0 1206 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 7600
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 17213
/proc/meminfo: memFree=27353668/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=7600 CPUtime=582.19 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1446 0 0 0 58219 0 0 0 20 0 1 0 317331132 7782400 1383 33554432000 134512640 134579096 4294626144 4294624992 134527740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 1900 1383 229 17 0 1206 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 7600
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 17215
/proc/meminfo: memFree=27353452/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=7832 CPUtime=882.15 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1505 0 0 0 88215 0 0 0 20 0 1 0 317331132 8019968 1442 33554432000 134512640 134579096 4294626144 4294624992 134527753 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 1958 1442 229 17 0 1264 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 7832
[startup+942.3 s]
/proc/loadavg: 2.10 2.03 1.96 3/180 17215
/proc/meminfo: memFree=27353328/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=7892 CPUtime=942.14 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1537 0 0 0 94214 0 0 0 20 0 1 0 317331132 8081408 1473 33554432000 134512640 134579096 4294626144 4294624944 134527141 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 1973 1473 229 17 0 1279 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 7892
[startup+1002.3 s]
/proc/loadavg: 2.04 2.02 1.96 3/181 17218
/proc/meminfo: memFree=27352824/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=7880 CPUtime=1002.13 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1537 0 0 0 100213 0 0 0 20 0 1 0 317331132 8069120 1470 33554432000 134512640 134579096 4294626144 4294624992 134527753 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 1970 1470 229 17 0 1276 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 7880
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/180 17218
/proc/meminfo: memFree=27288600/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=7880 CPUtime=1062.12 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1537 0 0 0 106212 0 0 0 20 0 1 0 317331132 8069120 1470 33554432000 134512640 134579096 4294626144 4294624992 134528360 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 1970 1470 229 17 0 1276 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 7880
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 17218
/proc/meminfo: memFree=27219044/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=7880 CPUtime=1122.11 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1537 0 0 0 112211 0 0 0 20 0 1 0 317331132 8069120 1470 33554432000 134512640 134579096 4294626144 4294625044 134527547 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 1970 1470 229 17 0 1276 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 7880
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 17219
/proc/meminfo: memFree=27219160/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=7880 CPUtime=1182.1 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1538 0 0 0 118210 0 0 0 20 0 1 0 317331132 8069120 1471 33554432000 134512640 134579096 4294626144 4294625044 134527547 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 1970 1471 229 17 0 1276 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 7880
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 17219
/proc/meminfo: memFree=27218912/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=7944 CPUtime=1242.09 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1541 0 0 0 124209 0 0 0 20 0 1 0 317331132 8134656 1474 33554432000 134512640 134579096 4294626144 4294624988 134528028 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 1986 1474 229 17 0 1292 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 7944
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/180 17267
/proc/meminfo: memFree=28238016/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=8032 CPUtime=1302.09 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1578 0 0 0 130209 0 0 0 20 0 1 0 317331132 8224768 1511 33554432000 134512640 134579096 4294626144 4294624904 134529188 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 2008 1511 229 17 0 1314 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 8032
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/180 17267
/proc/meminfo: memFree=28233396/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=8032 CPUtime=1362.07 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1579 0 0 0 136207 0 0 0 20 0 1 0 317331132 8224768 1512 33554432000 134512640 134579096 4294626144 4294625044 134527547 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 2008 1512 229 17 0 1314 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 8032
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 1.97 3/180 17267
/proc/meminfo: memFree=28228096/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=8032 CPUtime=1422.07 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1580 0 0 0 142207 0 0 0 20 0 1 0 317331132 8224768 1513 33554432000 134512640 134579096 4294626144 4294624992 134527824 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 2008 1513 229 17 0 1314 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 8032
[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 1.97 3/180 17268
/proc/meminfo: memFree=28212028/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=8096 CPUtime=1482.05 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1599 0 0 0 148205 0 0 0 20 0 1 0 317331132 8290304 1519 33554432000 134512640 134579096 4294626144 4294624992 134528311 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 2024 1519 229 17 0 1330 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 8096
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/180 17268
/proc/meminfo: memFree=28212268/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=8184 CPUtime=1542.04 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1634 0 0 0 154204 0 0 0 20 0 1 0 317331132 8380416 1551 33554432000 134512640 134579096 4294626144 4294624992 134527824 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 2046 1551 229 17 0 1352 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 8184
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/181 17271
/proc/meminfo: memFree=28212136/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=8232 CPUtime=1602.03 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1645 0 0 0 160203 0 0 0 20 0 1 0 317331132 8429568 1562 33554432000 134512640 134579096 4294626144 4294624992 134527750 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 2058 1562 229 17 0 1364 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 8232
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/180 17271
/proc/meminfo: memFree=28212268/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=8288 CPUtime=1662.02 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1657 0 0 0 166202 0 0 0 20 0 1 0 317331132 8486912 1574 33554432000 134512640 134579096 4294626144 4294624992 134528344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 2072 1574 229 17 0 1378 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 8288
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/180 17271
/proc/meminfo: memFree=28212144/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=8324 CPUtime=1722.01 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1666 0 0 0 172201 0 0 0 20 0 1 0 317331132 8523776 1583 33554432000 134512640 134579096 4294626144 4294624992 134527753 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 2081 1583 229 17 0 1387 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 8324
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/180 17272
/proc/meminfo: memFree=28211896/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=8296 CPUtime=1782.01 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1666 0 0 0 178201 0 0 0 20 0 1 0 317331132 8495104 1581 33554432000 134512640 134579096 4294626144 4294624992 134528267 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 2074 1581 229 17 0 1380 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 8296
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/180 17272
/proc/meminfo: memFree=28212268/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=8292 CPUtime=1800.01 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1666 0 0 0 180001 0 0 0 20 0 1 0 317331132 8491008 1580 33554432000 134512640 134579096 4294626144 4294624992 134527740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 2073 1580 229 17 0 1379 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 8292
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/180 17272
/proc/meminfo: memFree=28212268/32873844 swapFree=7124/7124
[pid=17185] ppid=17183 vsize=8292 CPUtime=1800.01 cores=0,2,4,6
/proc/17185/stat : 17185 (Pueblo) R 17183 17185 16471 0 -1 4202496 1666 0 0 0 180001 0 0 0 20 0 1 0 317331132 8491008 1580 33554432000 134512640 134579096 4294626144 4294624992 134527740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17185/statm: 2073 1580 229 17 0 1379 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 8292
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1800.01
CPU system time (s): 0.009998
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 8412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.009998
maximum resident set size= 6332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1666
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= 10
involuntary context switches= 1970
runsolver used 2.98155 second user time and 8.13376 second system time
The end