Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | SAT (TO) | 25 | 1800.07 | 1800.51 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb |
MD5SUM | a70b0edfadf87ffd0bc1b32400cae43b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 14 |
Best CPU time to get the best result obtained on this benchmark | 1792.37 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
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 | 14 |
Minimum length of a constraint | 74 |
Maximum length of a constraint | 76 |
Number of terms in the objective function | 112 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1648 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5454 |
Number of bits of the biggest sum of numbers | 13 |
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/0.00 c PB/CT 0.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 14/0 clauses 0/0 units 0 0.00/0.00 c vars 172 0.00/0.00 c objective 112 + 0 0.09/0.10 c 0.096985 7.79297 192 500 0.09/0.10 o 1744 0.09/0.11 c 0.101984 7.99609 228 647 0.09/0.11 o 1671 0.09/0.11 c 0.104984 7.99609 233 751 0.09/0.11 o 1516 0.09/0.12 c 0.108983 7.99609 248 863 0.09/0.12 o 1511 0.09/0.19 c 0.178972 7.99609 555 1377 0.09/0.19 o 1124 0.09/0.20 c 0.180972 7.99609 556 1458 0.09/0.20 o 1122 0.19/0.20 c 0.185971 7.99609 570 1557 0.19/0.20 o 1117 0.19/0.23 c 0.213967 8.125 672 1795 0.19/0.23 o 923 0.19/0.23 c 0.216967 8.125 679 1879 0.19/0.23 o 850 0.19/0.26 c 0.241963 8.125 799 2185 0.19/0.26 o 552 0.19/0.27 c 0.245962 8.125 813 2295 0.19/0.27 o 533 0.19/0.29 c 0.271958 8.125 517 2591 0.19/0.29 o 525 0.29/0.30 c 0.273958 8.125 518 2661 0.29/0.30 o 504 0.29/0.35 c 0.320951 8.125 725 3082 0.29/0.35 o 493 0.29/0.36 c 0.330949 8.125 771 3211 0.29/0.36 o 372 0.29/0.38 c 0.348946 8.25 863 3431 0.29/0.38 o 301 0.39/0.43 c 0.39294 8.25 634 3809 0.39/0.43 o 269 0.39/0.48 c 0.438933 8.25 429 4260 0.39/0.48 o 237 0.49/0.51 c 0.45693 8.25 518 4440 0.49/0.51 o 235 0.49/0.54 c 0.489925 8.25 627 4704 0.49/0.54 o 227 0.49/0.58 c 0.52192 8.25 786 5025 0.49/0.58 o 192 0.49/0.59 c 0.52592 8.25 798 5145 0.49/0.59 o 170 0.59/0.60 c 0.538918 8.25 871 5333 0.59/0.60 o 157 0.59/0.62 c 0.555915 8.25 488 5520 0.59/0.62 o 152 1.39/1.45 c 1.2868 8.375 482 9916 1.39/1.45 o 151 2.29/2.31 c 2.04469 8.62891 1265 14114 2.29/2.31 o 149 2.29/2.35 c 2.07868 8.62891 772 14439 2.29/2.35 o 147 2.29/2.40 c 2.12268 8.62891 514 14801 2.29/2.40 o 128 2.49/2.60 c 2.30465 8.62891 490 15974 2.49/2.60 o 126 2.59/2.60 c 2.30765 8.62891 495 16042 2.59/2.60 o 124 2.59/2.62 c 2.32665 8.62891 575 16232 2.59/2.62 o 110 3.49/3.51 c 3.10253 8.62891 906 21128 3.49/3.51 o 101 3.79/3.85 c 3.40948 8.62891 1071 22739 3.79/3.85 o 98 5.98/6.09 c 5.40818 8.75781 841 34287 5.98/6.09 o 97 5.98/6.09 c 5.41118 8.75781 843 34379 5.98/6.09 o 95 6.69/6.73 c 6.00409 8.75781 742 37815 6.69/6.73 o 94 6.99/7.07 c 6.30504 8.75781 618 39689 6.99/7.07 o 92 8.99/9.04 c 8.09077 8.75781 728 49918 8.99/9.04 o 76 8.99/9.07 c 8.11077 8.75781 846 50189 8.99/9.07 o 74 20.48/20.55 c 18.4472 9.23438 1016 105951 20.48/20.55 o 71 20.48/20.56 c 18.4532 9.23438 536 106069 20.48/20.56 o 69 22.89/22.90 c 20.5389 9.23438 952 118127 22.89/22.90 o 54 22.89/22.91 c 20.5439 9.23438 486 118219 22.89/22.91 o 52 42.89/42.92 c 38.6581 9.35938 1421 211509 42.89/42.92 o 50 73.87/73.99 c 66.8068 9.60156 850 357586 73.87/73.99 o 49 73.97/74.00 c 66.8138 9.60156 883 357695 73.97/74.00 o 47 140.96/141.06 c 127.652 10.0859 1268 680336 140.96/141.06 o 45 152.86/152.97 c 138.435 10.0859 1305 738497 152.86/152.97 o 44 194.14/194.25 c 175.786 10.3359 1543 930708 194.14/194.25 o 42 194.24/194.33 c 175.854 10.3359 619 931231 194.24/194.33 o 40 324.21/324.31 c 293.996 10.5703 1227 1531926 324.21/324.31 o 38 324.21/324.32 c 294.006 10.5703 654 1532043 324.21/324.32 o 36 602.25/602.43 c 545.66 10.9414 1462 2797115 602.25/602.43 o 34 776.51/776.76 c 703.37 11.1133 1406 3598662 776.51/776.76 o 27 1407.34/1407.74 c 1278.55 11.4414 984 6496802 1407.34/1407.74 o 25 1800.05/1800.50 s SATISFIABLE 1800.05/1800.50 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 x121 -x122 x123 x124 x125 -x126 -x127 x128 x129 -x130 x131 x132 -x133 x134 x135 x136 x137 -x138 x139 x140 x141 -x142 -x143 -x144 x145 -x146 x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 x157 x158 x159 x160 x161 -x162 -x163 -x164 -x165 x166 x167 -x168 -x169 x170 x171 x172
OK 25
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668785-1276616547/watcher-2668785-1276616547 -o /tmp/evaluation-result-2668785-1276616547/solver-2668785-1276616547 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668785-1276616547.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10091 /proc/meminfo: memFree=1731208/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=3516 CPUtime=0 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 563 0 0 0 0 0 0 0 24 0 1 0 2946318 3600384 485 1992294400 134512640 136485738 4287822592 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 879 486 197 482 0 395 0 [startup+0.078103 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10091 /proc/meminfo: memFree=1731208/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=7976 CPUtime=0.07 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 1676 0 0 0 7 0 0 0 24 0 1 0 2946318 8167424 1598 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 1994 1598 225 482 0 1510 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 7976 [startup+0.101104 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10091 /proc/meminfo: memFree=1731208/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=7976 CPUtime=0.09 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 1690 0 0 0 9 0 0 0 24 0 1 0 2946318 8167424 1612 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 1994 1612 225 482 0 1510 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7976 [startup+0.301121 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10091 /proc/meminfo: memFree=1731208/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=8316 CPUtime=0.29 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 1786 0 0 0 27 2 0 0 25 0 1 0 2946318 8515584 1696 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2079 1696 243 482 0 1595 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8316 [startup+0.701155 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10091 /proc/meminfo: memFree=1731208/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=8444 CPUtime=0.69 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 1823 0 0 0 62 7 0 0 25 0 1 0 2946318 8646656 1721 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2111 1721 243 482 0 1627 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8444 [startup+1.50123 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10092 /proc/meminfo: memFree=1725124/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=8572 CPUtime=1.49 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 1851 0 0 0 132 17 0 0 25 0 1 0 2946318 8777728 1748 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2143 1748 243 482 0 1659 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8572 [startup+3.10136 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10092 /proc/meminfo: memFree=1724876/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=8832 CPUtime=3.09 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 1923 0 0 0 273 36 0 0 25 0 1 0 2946318 9043968 1814 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2208 1814 243 482 0 1724 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8832 [startup+6.30064 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10092 /proc/meminfo: memFree=1724380/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=8964 CPUtime=6.29 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 1974 0 0 0 560 69 0 0 25 0 1 0 2946318 9179136 1861 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2241 1861 243 482 0 1757 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8964 [startup+12.7002 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10092 /proc/meminfo: memFree=1724132/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=9084 CPUtime=12.69 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2011 0 0 0 1135 134 0 0 25 0 1 0 2946318 9302016 1894 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2271 1894 243 482 0 1787 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9084 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10092 /proc/meminfo: memFree=1723884/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=9452 CPUtime=25.48 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2092 0 0 0 2288 260 0 0 25 0 1 0 2946318 9678848 1971 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2363 1971 243 482 0 1879 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9452 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10092 /proc/meminfo: memFree=1723636/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=9580 CPUtime=51.08 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2146 0 0 0 4607 501 0 0 25 0 1 0 2946318 9809920 2024 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2395 2024 243 482 0 1911 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 9580 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10094 /proc/meminfo: memFree=1722892/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=10212 CPUtime=102.27 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2277 0 0 0 9250 977 0 0 25 0 1 0 2946318 10457088 2153 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2553 2153 243 482 0 2069 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 10212 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10096 /proc/meminfo: memFree=1722644/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=10452 CPUtime=162.25 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2345 0 0 0 14689 1536 0 0 25 0 1 0 2946318 10702848 2219 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2613 2219 243 482 0 2129 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 10452 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10098 /proc/meminfo: memFree=1722520/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=10580 CPUtime=222.24 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2387 0 0 0 20126 2098 0 0 25 0 1 0 2946318 10833920 2259 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2645 2259 243 482 0 2161 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 10580 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10098 /proc/meminfo: memFree=1722272/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=10820 CPUtime=282.22 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2449 0 0 0 25589 2633 0 0 25 0 1 0 2946318 11079680 2321 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2705 2321 243 482 0 2221 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 10820 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10100 /proc/meminfo: memFree=1722148/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=10820 CPUtime=342.2 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2451 0 0 0 31017 3203 0 0 25 0 1 0 2946318 11079680 2321 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2705 2321 243 482 0 2221 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 10820 [startup+402.301 s] /proc/loadavg: 1.06 1.02 1.00 2/107 10102 /proc/meminfo: memFree=1722024/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=10940 CPUtime=402.19 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2479 0 0 0 36433 3786 0 0 25 0 1 0 2946318 11202560 2349 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2735 2349 243 482 0 2251 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 10940 [startup+462.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 10104 /proc/meminfo: memFree=1721900/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=10940 CPUtime=462.18 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2489 0 0 0 41870 4348 0 0 25 0 1 0 2946318 11202560 2359 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2735 2359 243 482 0 2251 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 10940 [startup+522.302 s] /proc/loadavg: 1.01 1.00 1.00 2/107 10106 /proc/meminfo: memFree=1721900/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=11072 CPUtime=522.16 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2513 0 0 0 47327 4889 0 0 25 0 1 0 2946318 11337728 2383 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2768 2383 243 482 0 2284 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 11072 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10106 /proc/meminfo: memFree=1721652/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=11200 CPUtime=582.15 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2539 0 0 0 52753 5462 0 0 25 0 1 0 2946318 11468800 2409 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2800 2409 243 482 0 2316 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 11200 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10108 /proc/meminfo: memFree=1721652/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=11200 CPUtime=642.14 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2549 0 0 0 58173 6041 0 0 25 0 1 0 2946318 11468800 2418 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2800 2418 243 482 0 2316 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 11200 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10114 /proc/meminfo: memFree=1721280/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=11376 CPUtime=882.08 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2598 0 0 0 79951 8257 0 0 25 0 1 0 2946318 11649024 2466 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2844 2466 243 482 0 2360 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 11376 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10116 /proc/meminfo: memFree=1721156/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=11508 CPUtime=942.07 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2611 0 0 0 85420 8787 0 0 25 0 1 0 2946318 11784192 2479 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2877 2479 243 482 0 2393 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 11508 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10118 /proc/meminfo: memFree=1721156/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=11508 CPUtime=1002.05 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2616 0 0 0 90887 9318 0 0 25 0 1 0 2946318 11784192 2484 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2877 2484 243 482 0 2393 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 11508 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10120 /proc/meminfo: memFree=1721032/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=11508 CPUtime=1062.03 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2623 0 0 0 96353 9850 0 0 25 0 1 0 2946318 11784192 2491 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2877 2491 243 482 0 2393 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 11508 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10131 /proc/meminfo: memFree=1719792/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=11508 CPUtime=1122.01 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2627 0 0 0 101815 10386 0 0 25 0 1 0 2946318 11784192 2495 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2877 2495 243 482 0 2393 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 11508 [startup+1182.3 s] /proc/loadavg: 1.06 1.02 1.00 2/107 10131 /proc/meminfo: memFree=1719792/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=11712 CPUtime=1181.99 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2674 0 0 0 107300 10899 0 0 25 0 1 0 2946318 11993088 2542 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2928 2542 243 482 0 2444 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 11712 [startup+1242.3 s] /proc/loadavg: 1.08 1.03 1.00 2/107 10133 /proc/meminfo: memFree=1719792/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=11712 CPUtime=1241.98 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2674 0 0 0 112779 11419 0 0 25 0 1 0 2946318 11993088 2542 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2928 2542 243 482 0 2444 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 11712 [startup+1302.3 s] /proc/loadavg: 1.08 1.03 1.00 2/107 10135 /proc/meminfo: memFree=1719792/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=11712 CPUtime=1301.98 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2674 0 0 0 118237 11961 0 0 25 0 1 0 2946318 11993088 2542 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2928 2542 243 482 0 2444 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 11712 [startup+1362.3 s] /proc/loadavg: 1.18 1.07 1.01 2/107 10137 /proc/meminfo: memFree=1719792/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=11712 CPUtime=1361.96 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2674 0 0 0 123702 12494 0 0 25 0 1 0 2946318 11993088 2542 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2928 2542 243 482 0 2444 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 11712 [startup+1422.31 s] /proc/loadavg: 1.06 1.05 1.01 2/107 10139 /proc/meminfo: memFree=1719792/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=11712 CPUtime=1421.95 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2677 0 0 0 129182 13013 0 0 25 0 1 0 2946318 11993088 2544 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2928 2544 243 482 0 2444 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 11712 [startup+1482.3 s] /proc/loadavg: 1.02 1.04 1.00 2/107 10139 /proc/meminfo: memFree=1719792/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=11712 CPUtime=1481.92 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2682 0 0 0 134669 13523 0 0 25 0 1 0 2946318 11993088 2549 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2928 2549 243 482 0 2444 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 11712 [startup+1542.3 s] /proc/loadavg: 1.01 1.03 1.00 2/107 10141 /proc/meminfo: memFree=1719916/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=11712 CPUtime=1541.9 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2690 0 0 0 140131 14059 0 0 25 0 1 0 2946318 11993088 2557 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2928 2557 243 482 0 2444 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 11712 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 10143 /proc/meminfo: memFree=1719916/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=11844 CPUtime=1601.89 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2695 0 0 0 145590 14599 0 0 25 0 1 0 2946318 12128256 2562 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2961 2562 243 482 0 2477 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 11844 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 10145 /proc/meminfo: memFree=1719916/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=11844 CPUtime=1661.88 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2701 0 0 0 151052 15136 0 0 25 0 1 0 2946318 12128256 2568 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2961 2568 243 482 0 2477 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 11844 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10147 /proc/meminfo: memFree=1719916/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=11844 CPUtime=1721.86 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2708 0 0 0 156510 15676 0 0 25 0 1 0 2946318 12128256 2575 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2961 2575 243 482 0 2477 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 11844 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10147 /proc/meminfo: memFree=1719916/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=11844 CPUtime=1781.85 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2714 0 0 0 161988 16197 0 0 25 0 1 0 2946318 12128256 2581 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2961 2581 243 482 0 2477 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 11844 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10149 /proc/meminfo: memFree=1719916/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=11844 CPUtime=1800.05 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2716 0 0 0 163647 16358 0 0 25 0 1 0 2946318 12128256 2583 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2961 2583 243 482 0 2477 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 11844 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10149 /proc/meminfo: memFree=1719916/2059040 swapFree=4165012/4192956 [pid=10091] ppid=10089 vsize=11844 CPUtime=1800.05 /proc/10091/stat : 10091 (pbct) R 10089 10091 9430 0 -1 4202496 2716 0 0 0 163647 16358 0 0 25 0 1 0 2946318 12128256 2583 1992294400 134512640 136485738 4287822592 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10091/statm: 2961 2583 243 482 0 2477 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 11844 Child status: 0 Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1636.48 CPU system time (s): 163.588 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (KiB): 11844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1636.48 system time used= 163.588 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2716 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= 1 involuntary context switches= 3028 runsolver used 3.34449 second user time and 8.14376 second system time The end
Begin job on node050 at 2010-06-15 17:42:27 IDJOB=2668785 IDBENCH=2924 IDSOLVER=1170 FILE ID=node050/2668785-1276616547 PBS_JOBID= 11172280 Free space on /tmp= 62572 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668785-1276616547/watcher-2668785-1276616547 -o /tmp/evaluation-result-2668785-1276616547/solver-2668785-1276616547 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668785-1276616547.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b RANDOM SEED=418620792 node050.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.215 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 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.215 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1731612 kB Buffers: 53508 kB Cached: 163080 kB SwapCached: 2360 kB Active: 104500 kB Inactive: 145832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1731612 kB SwapTotal: 4192956 kB SwapFree: 4165012 kB Dirty: 1880 kB Writeback: 0 kB AnonPages: 31332 kB Mapped: 15452 kB Slab: 55196 kB PageTables: 4044 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181440 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62572 MiB End job on node050 at 2010-06-15 18:12:30