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-3720510-1338511756/watcher-3720510-1338511756 -o /tmp/evaluation-result-3720510-1338511756/solver-3720510-1338511756 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720510-1338511756.opb
running on 4 cores: 1,3,5,7
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 2.00 2.00 3/176 12941
/proc/meminfo: memFree=27378196/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=3236 CPUtime=0 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 317303016 3313664 286 33554432000 134512640 134579096 4292713408 4292580684 9499696 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 809 286 221 17 0 115 0
[startup+0.0665471 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12941
/proc/meminfo: memFree=27378196/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=3764 CPUtime=0.06 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 504 0 0 0 6 0 0 0 20 0 1 0 317303016 3854336 441 33554432000 134512640 134579096 4292713408 4292711896 2569511 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 941 441 229 17 0 247 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3764
[startup+0.100254 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12941
/proc/meminfo: memFree=27378196/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=3896 CPUtime=0.09 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 529 0 0 0 9 0 0 0 20 0 1 0 317303016 3989504 466 33554432000 134512640 134579096 4292713408 4292712064 134524544 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 974 466 229 17 0 280 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3896
[startup+0.300225 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12941
/proc/meminfo: memFree=27378196/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=4160 CPUtime=0.29 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 585 0 0 0 29 0 0 0 20 0 1 0 317303016 4259840 522 33554432000 134512640 134579096 4292713408 4292711872 2569511 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 1040 522 229 17 0 346 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4160
[startup+0.700224 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12941
/proc/meminfo: memFree=27378196/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=4284 CPUtime=0.69 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 645 0 0 0 69 0 0 0 20 0 1 0 317303016 4386816 582 33554432000 134512640 134579096 4292713408 4292712308 134527547 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 1071 582 229 17 0 377 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4284
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12942
/proc/meminfo: memFree=27376616/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=4416 CPUtime=1.49 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 676 0 0 0 149 0 0 0 20 0 1 0 317303016 4521984 613 33554432000 134512640 134579096 4292713408 4292712256 134527762 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 1104 613 229 17 0 410 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4416
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12942
/proc/meminfo: memFree=27376020/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=4656 CPUtime=3.09 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 735 0 0 0 309 0 0 0 20 0 1 0 317303016 4767744 672 33554432000 134512640 134579096 4292713408 4292712256 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 1164 672 229 17 0 470 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4656
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12942
/proc/meminfo: memFree=27375648/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=4908 CPUtime=6.29 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 795 0 0 0 629 0 0 0 20 0 1 0 317303016 5025792 732 33554432000 134512640 134579096 4292713408 4292712208 134528660 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 1227 732 229 17 0 533 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4908
[startup+12.7002 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 12942
/proc/meminfo: memFree=27374236/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=5200 CPUtime=12.69 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 866 0 0 0 1269 0 0 0 20 0 1 0 317303016 5324800 803 33554432000 134512640 134579096 4292713408 4292712336 134559578 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 1300 803 229 17 0 606 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5200
[startup+25.5002 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 12942
/proc/meminfo: memFree=27373396/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=5492 CPUtime=25.49 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 936 0 0 0 2549 0 0 0 20 0 1 0 317303016 5623808 873 33554432000 134512640 134579096 4292713408 4292712288 134557302 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 1373 873 229 17 0 679 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 5492
[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 12945
/proc/meminfo: memFree=27373076/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=5708 CPUtime=51.09 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 988 0 0 0 5109 0 0 0 20 0 1 0 317303016 5844992 925 33554432000 134512640 134579096 4292713408 4292712272 134519929 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 1427 925 229 17 0 733 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 5708
[startup+102.306 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 12945
/proc/meminfo: memFree=27370280/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=6016 CPUtime=102.28 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1055 0 0 0 10228 0 0 0 20 0 1 0 317303016 6160384 991 33554432000 134512640 134579096 4292713408 4292712308 134527547 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 1504 991 229 17 0 810 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 6016
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 12945
/proc/meminfo: memFree=27369792/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=6284 CPUtime=162.27 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1145 0 0 0 16227 0 0 0 20 0 1 0 317303016 6434816 1081 33554432000 134512640 134579096 4292713408 4292712256 134528344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 1571 1081 229 17 0 877 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 6284
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12946
/proc/meminfo: memFree=27370164/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=6408 CPUtime=222.26 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1164 0 0 0 22226 0 0 0 20 0 1 0 317303016 6561792 1100 33554432000 134512640 134579096 4292713408 4292712240 134517937 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 1602 1100 229 17 0 908 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 6408
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12946
/proc/meminfo: memFree=27370044/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=6568 CPUtime=282.25 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1196 0 0 0 28225 0 0 0 20 0 1 0 317303016 6725632 1132 33554432000 134512640 134579096 4292713408 4292712256 134527815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 1642 1132 229 17 0 948 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 6568
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12946
/proc/meminfo: memFree=27369180/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=6688 CPUtime=342.24 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1248 0 0 0 34224 0 0 0 20 0 1 0 317303016 6848512 1184 33554432000 134512640 134579096 4292713408 4292712208 134527153 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 1672 1184 229 17 0 978 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 6688
[startup+402.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 12946
/proc/meminfo: memFree=27369056/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=6988 CPUtime=402.23 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1316 0 0 0 40223 0 0 0 20 0 1 0 317303016 7155712 1252 33554432000 134512640 134579096 4292713408 4292712272 134520044 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 1747 1252 229 17 0 1053 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 6988
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12946
/proc/meminfo: memFree=27369180/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=7068 CPUtime=462.22 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1325 0 0 0 46222 0 0 0 20 0 1 0 317303016 7237632 1261 33554432000 134512640 134579096 4292713408 4292712256 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 1767 1261 229 17 0 1073 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 7068
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12947
/proc/meminfo: memFree=27369056/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=7068 CPUtime=522.21 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1332 0 0 0 52221 0 0 0 20 0 1 0 317303016 7237632 1268 33554432000 134512640 134579096 4292713408 4292712256 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 1767 1268 229 17 0 1073 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 7068
[startup+582.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12947
/proc/meminfo: memFree=27368932/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=7068 CPUtime=582.2 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1332 0 0 0 58220 0 0 0 20 0 1 0 317303016 7237632 1268 33554432000 134512640 134579096 4292713408 4292712256 134527917 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 1767 1268 229 17 0 1073 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 7068
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 12973
/proc/meminfo: memFree=27368104/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=7880 CPUtime=882.15 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1569 0 0 0 88215 0 0 0 20 0 1 0 317303016 8069120 1482 33554432000 134512640 134579096 4292713408 4292712256 134527712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 1970 1482 229 17 0 1276 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 7880
[startup+942.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 12973
/proc/meminfo: memFree=27367856/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=7872 CPUtime=942.15 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1569 0 0 0 94215 0 0 0 20 0 1 0 317303016 8060928 1480 33554432000 134512640 134579096 4292713408 4292712256 134527737 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 1968 1480 229 17 0 1274 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 7872
[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 12973
/proc/meminfo: memFree=27368228/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=7872 CPUtime=1002.14 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1569 0 0 0 100214 0 0 0 20 0 1 0 317303016 8060928 1480 33554432000 134512640 134579096 4292713408 4292710384 134533511 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 1968 1480 229 17 0 1274 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 7872
[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12973
/proc/meminfo: memFree=27369060/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=8000 CPUtime=1062.13 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1584 0 0 0 106213 0 0 0 20 0 1 0 317303016 8192000 1495 33554432000 134512640 134579096 4292713408 4292712256 134527812 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 2000 1495 229 17 0 1306 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 8000
[startup+1122.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/178 13023
/proc/meminfo: memFree=27342164/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=8000 CPUtime=1122.12 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1584 0 0 0 112212 0 0 0 20 0 1 0 317303016 8192000 1495 33554432000 134512640 134579096 4292713408 4292712316 134527572 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 2000 1495 229 17 0 1306 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 8000
[startup+1182.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/178 13023
/proc/meminfo: memFree=27308956/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=8000 CPUtime=1182.11 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1584 0 0 0 118211 0 0 0 20 0 1 0 317303016 8192000 1495 33554432000 134512640 134579096 4292713408 4292712256 134527824 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 2000 1495 229 17 0 1306 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 8000
[startup+1242.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/178 13023
/proc/meminfo: memFree=27282852/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=8000 CPUtime=1242.1 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1584 0 0 0 124210 0 0 0 20 0 1 0 317303016 8192000 1495 33554432000 134512640 134579096 4292713408 4292712256 134527818 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 2000 1495 229 17 0 1306 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 8000
[startup+1302.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/179 13026
/proc/meminfo: memFree=27268468/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=8000 CPUtime=1302.1 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1590 0 0 0 130210 0 0 0 20 0 1 0 317303016 8192000 1501 33554432000 134512640 134579096 4292713408 4292712240 134517856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 2000 1501 229 17 0 1306 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 8000
[startup+1362.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/178 13026
/proc/meminfo: memFree=27268600/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=8000 CPUtime=1362.08 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1590 0 0 0 136208 0 0 0 20 0 1 0 317303016 8192000 1501 33554432000 134512640 134579096 4292713408 4292712256 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 2000 1501 229 17 0 1306 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 8000
[startup+1422.31 s]
/proc/loadavg: 2.07 2.06 2.01 3/178 13027
/proc/meminfo: memFree=27268600/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=8000 CPUtime=1422.08 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1595 0 0 0 142208 0 0 0 20 0 1 0 317303016 8192000 1506 33554432000 134512640 134579096 4292713408 4292712320 134559269 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 2000 1506 229 17 0 1306 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 8000
[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/178 13027
/proc/meminfo: memFree=27248512/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=8000 CPUtime=1482.06 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1595 0 0 0 148206 0 0 0 20 0 1 0 317303016 8192000 1506 33554432000 134512640 134579096 4292713408 4292712336 134559528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 2000 1506 229 17 0 1306 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 8000
[startup+1542.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/178 13027
/proc/meminfo: memFree=27225124/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=8000 CPUtime=1542.05 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1600 0 0 0 154205 0 0 0 20 0 1 0 317303016 8192000 1511 33554432000 134512640 134579096 4292713408 4292712256 134528344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 2000 1511 229 17 0 1306 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 8000
[startup+1602.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/178 13027
/proc/meminfo: memFree=27224848/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=8376 CPUtime=1602.04 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1673 0 0 0 160204 0 0 0 20 0 1 0 317303016 8577024 1584 33554432000 134512640 134579096 4292713408 4292712256 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 2094 1584 229 17 0 1400 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 8376
[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/178 13027
/proc/meminfo: memFree=27225100/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=8376 CPUtime=1662.04 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1680 0 0 0 166204 0 0 0 20 0 1 0 317303016 8577024 1591 33554432000 134512640 134579096 4292713408 4292712256 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 2094 1591 229 17 0 1400 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 8376
[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/178 13028
/proc/meminfo: memFree=27224976/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=8376 CPUtime=1722.03 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1680 0 0 0 172203 0 0 0 20 0 1 0 317303016 8577024 1591 33554432000 134512640 134579096 4292713408 4292712256 134527742 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 2094 1591 229 17 0 1400 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 8376
[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/178 13028
/proc/meminfo: memFree=27224976/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=8376 CPUtime=1782.02 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1688 0 0 0 178202 0 0 0 20 0 1 0 317303016 8577024 1599 33554432000 134512640 134579096 4292713408 4292712256 134527726 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 2094 1599 229 17 0 1400 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 8376
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/178 13028
/proc/meminfo: memFree=27224108/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=8860 CPUtime=1800.02 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1794 0 0 0 180002 0 0 0 20 0 1 0 317303016 9072640 1705 33554432000 134512640 134579096 4292713408 4292712336 134559578 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 2215 1705 229 17 0 1521 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 8860
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.04 2.05 2.00 3/178 13028
/proc/meminfo: memFree=27224108/32873648 swapFree=7120/7120
[pid=12941] ppid=12939 vsize=8860 CPUtime=1800.02 cores=1,3,5,7
/proc/12941/stat : 12941 (Pueblo) R 12939 12941 12227 0 -1 4202496 1794 0 0 0 180002 0 0 0 20 0 1 0 317303016 9072640 1705 33554432000 134512640 134579096 4292713408 4292712336 134559578 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12941/statm: 2215 1705 229 17 0 1521 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 8860
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1800.02
CPU system time (s): 0.005999
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 8876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.005999
maximum resident set size= 6820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1794
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= 7
involuntary context switches= 1855
runsolver used 3.11952 second user time and 8.03578 second system time
The end