Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | ? (TO) | 1800.26 | 1801.29 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n370e.opb |
MD5SUM | ec90eecae558bb98c83f0a39ee76567f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 8.91364 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 155000 |
Total number of constraints | 5150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 76 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 654958 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 654958 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 6.58 c starting to Solve 6.58 c #variables read: 155000 - #constraints read: 5301
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node87/watcher-37487-1149247000 -o ROOT/results/node87/solver-37487-1149247000 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node87/37487-1149247000/instance-37487-1149247000.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1673392/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=2576 CPUtime=0 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 263 0 0 0 0 0 0 0 19 0 1 0 190339127 2637824 235 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 11706807 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 644 235 191 16 0 84 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1598344/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=86772 CPUtime=9.98 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 825229 0 0 0 778 220 0 0 25 0 1 0 190339127 88854528 18893 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557683 0 0 4096 0 0 0 0 17 1 0 0 /proc/21874/statm: 21693 18893 206 16 0 21133 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 86772 [startup+20.0087 s] /proc/loadavg: 0.94 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1595080/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=90296 CPUtime=19.99 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 826125 0 0 0 1778 221 0 0 25 0 1 0 190339127 92463104 19789 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134563500 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 22574 19789 206 16 0 22014 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 90296 [startup+30.0148 s] /proc/loadavg: 0.95 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1587848/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=97928 CPUtime=29.99 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 828015 0 0 0 2777 222 0 0 25 0 1 0 190339127 100278272 21679 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 24482 21679 206 16 0 23922 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 97928 [startup+40.021 s] /proc/loadavg: 0.96 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1579848/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=105884 CPUtime=39.99 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 830008 0 0 0 3775 224 0 0 25 0 1 0 190339127 108425216 23672 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 26471 23672 206 16 0 25911 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 105884 [startup+50.0262 s] /proc/loadavg: 0.96 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1571528/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=114176 CPUtime=49.99 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 832095 0 0 0 4774 225 0 0 25 0 1 0 190339127 116916224 25759 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 28544 25759 206 16 0 27984 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 114176 [startup+60.0324 s] /proc/loadavg: 0.97 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1563464/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=122216 CPUtime=59.98 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 834098 0 0 0 5772 226 0 0 25 0 1 0 190339127 125149184 27762 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559129 0 0 4096 0 0 0 0 17 1 0 0 /proc/21874/statm: 30554 27762 206 16 0 29994 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 122216 [startup+70.0385 s] /proc/loadavg: 0.97 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1554312/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=131296 CPUtime=69.98 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 836369 0 0 0 6770 228 0 0 25 0 1 0 190339127 134447104 30033 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 32824 30033 206 16 0 32264 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 131296 [startup+80.0447 s] /proc/loadavg: 0.98 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1545160/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=140496 CPUtime=79.98 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 838651 0 0 0 7769 229 0 0 25 0 1 0 190339127 143867904 32315 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 35124 32315 206 16 0 34564 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 140496 [startup+90.0508 s] /proc/loadavg: 0.98 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1536456/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=149112 CPUtime=89.99 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 840823 0 0 0 8769 230 0 0 25 0 1 0 190339127 152690688 34487 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 37278 34487 206 16 0 36718 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 149112 [startup+100.057 s] /proc/loadavg: 0.98 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1527112/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=158428 CPUtime=99.99 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 843159 0 0 0 9767 232 0 0 25 0 1 0 190339127 162230272 36823 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 39607 36823 206 16 0 39047 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 158428 [startup+110.063 s] /proc/loadavg: 0.98 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1517832/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=167828 CPUtime=109.99 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 845485 0 0 0 10765 234 0 0 25 0 1 0 190339127 171855872 39149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 11679101 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 41957 39149 206 16 0 41397 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 167828 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1508104/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=177504 CPUtime=119.99 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 847910 0 0 0 11763 236 0 0 25 0 1 0 190339127 181764096 41574 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 44376 41574 206 16 0 43816 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 177504 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1499144/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=186408 CPUtime=129.99 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 850143 0 0 0 12761 238 0 0 25 0 1 0 190339127 190881792 43807 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528224 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 46602 43807 206 16 0 46042 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 186408 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1490184/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=195360 CPUtime=140 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 852390 0 0 0 13760 240 0 0 25 0 1 0 190339127 200048640 46054 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 48840 46054 206 16 0 48280 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 195360 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1480840/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=204692 CPUtime=150 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 854706 0 0 0 14759 241 0 0 25 0 1 0 190339127 209604608 48370 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 51173 48370 206 16 0 50613 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 204692 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1470792/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=214668 CPUtime=160 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 857196 0 0 0 15758 242 0 0 25 0 1 0 190339127 219820032 50860 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528312 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 53667 50860 206 16 0 53107 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 214668 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1461192/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=224288 CPUtime=170.01 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 859605 0 0 0 16757 244 0 0 25 0 1 0 190339127 229670912 53269 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528626 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 56072 53269 206 16 0 55512 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 224288 [startup+180.103 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1452104/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=233576 CPUtime=180.01 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 861870 0 0 0 17756 245 0 0 25 0 1 0 190339127 239181824 55534 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 58394 55534 206 16 0 57834 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 233576 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1445960/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=239720 CPUtime=190 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 863410 0 0 0 18754 246 0 0 25 0 1 0 190339127 245473280 57074 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 59930 57074 206 16 0 59370 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 239720 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1438600/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=247088 CPUtime=200.01 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 865240 0 0 0 19753 248 0 0 25 0 1 0 190339127 253018112 58904 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527939 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 61772 58904 206 16 0 61212 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 247088 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21874 /proc/meminfo: memFree=1431432/2055888 swapFree=4085412/4096564 ################ # More data... # ################ /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 177772 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 194798 190457 206 16 0 194238 0 Current children cumulated CPU time (s) 1781.05 Current children cumulated vsize (Kb) 779192 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21876 /proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=779192 CPUtime=1782.06 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 177873 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528217 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 194798 190457 206 16 0 194238 0 Current children cumulated CPU time (s) 1782.06 Current children cumulated vsize (Kb) 779192 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21876 /proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=779192 CPUtime=1783.06 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 177973 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528051 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 194798 190457 206 16 0 194238 0 Current children cumulated CPU time (s) 1783.06 Current children cumulated vsize (Kb) 779192 [startup+1785.09 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21876 /proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=779192 CPUtime=1784.07 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 178074 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528224 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 194798 190457 206 16 0 194238 0 Current children cumulated CPU time (s) 1784.07 Current children cumulated vsize (Kb) 779192 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21876 /proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=779192 CPUtime=1785.07 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 178174 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 194798 190457 206 16 0 194238 0 Current children cumulated CPU time (s) 1785.07 Current children cumulated vsize (Kb) 779192 [startup+1787.1 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21876 /proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=779192 CPUtime=1786.08 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 178275 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528220 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 194798 190457 206 16 0 194238 0 Current children cumulated CPU time (s) 1786.08 Current children cumulated vsize (Kb) 779192 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21876 /proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=779192 CPUtime=1787.08 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 178375 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 194798 190457 206 16 0 194238 0 Current children cumulated CPU time (s) 1787.08 Current children cumulated vsize (Kb) 779192 [startup+1789.11 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21876 /proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=779192 CPUtime=1788.09 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 178476 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528312 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 194798 190457 206 16 0 194238 0 Current children cumulated CPU time (s) 1788.09 Current children cumulated vsize (Kb) 779192 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21876 /proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=779192 CPUtime=1789.09 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 178576 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 194798 190457 206 16 0 194238 0 Current children cumulated CPU time (s) 1789.09 Current children cumulated vsize (Kb) 779192 [startup+1791.12 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21876 /proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=779192 CPUtime=1790.1 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 178677 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 194798 190457 206 16 0 194238 0 Current children cumulated CPU time (s) 1790.1 Current children cumulated vsize (Kb) 779192 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21876 /proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=779192 CPUtime=1791.1 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 178777 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 194798 190457 206 16 0 194238 0 Current children cumulated CPU time (s) 1791.1 Current children cumulated vsize (Kb) 779192 [startup+1793.13 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21876 /proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=779192 CPUtime=1792.11 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 178878 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 194798 190457 206 16 0 194238 0 Current children cumulated CPU time (s) 1792.11 Current children cumulated vsize (Kb) 779192 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21876 /proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=779192 CPUtime=1793.11 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 178978 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559314 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 194798 190457 206 16 0 194238 0 Current children cumulated CPU time (s) 1793.11 Current children cumulated vsize (Kb) 779192 [startup+1795.14 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21876 /proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=779192 CPUtime=1794.11 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 179078 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527947 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 194798 190457 206 16 0 194238 0 Current children cumulated CPU time (s) 1794.11 Current children cumulated vsize (Kb) 779192 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21876 /proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=779192 CPUtime=1795.12 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 179179 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 194798 190457 206 16 0 194238 0 Current children cumulated CPU time (s) 1795.12 Current children cumulated vsize (Kb) 779192 [startup+1797.15 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21876 /proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=779192 CPUtime=1796.12 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 179279 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 194798 190457 206 16 0 194238 0 Current children cumulated CPU time (s) 1796.12 Current children cumulated vsize (Kb) 779192 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21876 /proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=779192 CPUtime=1797.12 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 179379 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 194798 190457 206 16 0 194238 0 Current children cumulated CPU time (s) 1797.12 Current children cumulated vsize (Kb) 779192 [startup+1799.16 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21876 /proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=779192 CPUtime=1798.13 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 179480 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527830 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 194798 190457 206 16 0 194238 0 Current children cumulated CPU time (s) 1798.13 Current children cumulated vsize (Kb) 779192 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21876 /proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=779192 CPUtime=1799.13 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 179580 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 194798 190457 206 16 0 194238 0 Current children cumulated CPU time (s) 1799.13 Current children cumulated vsize (Kb) 779192 [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21876 /proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=779192 CPUtime=1800.13 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 179680 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 194798 190457 206 16 0 194238 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (Kb) 779192 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.98 2/67 21876 /proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564 [pid=21874] ppid=21872 vsize=779192 CPUtime=1800.14 /proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 179681 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 0 0 0 /proc/21874/statm: 194798 190457 206 16 0 194238 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (Kb) 779192 Sending SIGTERM to -21874 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.29 CPU time (s): 1800.26 CPU user time (s): 1796.81 CPU system time (s): 3.44648 CPU usage (%): 99.9429 Max. virtual memory (cumulated for all children) (Kb): 779192 The end
Begin job on node87 on Fri Jun 2 11:16:40 UTC 2006 FILE ID= 37487-1149247000 PBS_JOBID= 297843 BENCH NAME= ROOT/tmp/node87/37487-1149247000/instance-37487-1149247000.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node87/37487-1149247000/instance-37487-1149247000.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node87/watcher-37487-1149247000 -o ROOT/results/node87/solver-37487-1149247000 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node87/37487-1149247000/instance-37487-1149247000.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= ec90eecae558bb98c83f0a39ee76567f RANDOM SEED= 356016340 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.17 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1673600 kB Buffers: 29788 kB Cached: 278188 kB SwapCached: 2512 kB Active: 99204 kB Inactive: 217548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1673600 kB SwapTotal: 4096564 kB SwapFree: 4085412 kB Dirty: 176 kB Writeback: 0 kB Mapped: 16816 kB Slab: 52236 kB Committed_AS: 215288 kB PageTables: 1280 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node87 on Fri Jun 2 11:46:41 UTC 2006