Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 fixed | SAT (TO) | 21 | 1800.08 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_4.opb |
MD5SUM | 8206de06d2228a9d751f3cf3a6d7aa05 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 1791.86 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
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 | 75 |
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 | 1531 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5104 |
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.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.094985 7.85547 193 463 0.09/0.10 o 1815 0.09/0.11 c 0.096985 8.01172 195 556 0.09/0.11 o 1713 0.09/0.11 c 0.100984 8.01172 204 660 0.09/0.11 o 1703 0.09/0.11 c 0.102984 8.01172 207 748 0.09/0.11 o 1643 0.09/0.12 c 0.104984 8.01172 207 837 0.09/0.12 o 1625 0.09/0.12 c 0.107983 8.01172 217 926 0.09/0.12 o 1621 0.09/0.13 c 0.114982 8.01172 238 1018 0.09/0.13 o 1619 0.09/0.16 c 0.151976 8.01172 376 1328 0.09/0.16 o 402 0.09/0.17 c 0.153976 8.01172 377 1420 0.09/0.17 o 324 0.09/0.17 c 0.156976 8.01172 379 1511 0.09/0.17 o 264 0.09/0.18 c 0.163975 8.01172 410 1619 0.09/0.18 o 262 0.19/0.23 c 0.208968 8.14062 642 2053 0.19/0.23 o 248 0.29/0.30 c 0.266959 8.14062 470 2531 0.29/0.30 o 230 0.29/0.30 c 0.271958 8.14062 483 2647 0.29/0.30 o 222 0.29/0.31 c 0.275958 8.14062 497 2745 0.29/0.31 o 199 0.29/0.32 c 0.286956 8.14062 559 2881 0.29/0.32 o 198 0.39/0.42 c 0.370943 8.26562 999 3647 0.39/0.42 o 145 0.39/0.43 c 0.377942 8.26562 515 3755 0.39/0.43 o 142 0.49/0.52 c 0.45893 8.26562 458 4359 0.49/0.52 o 119 1.29/1.33 c 1.18082 8.51562 831 8283 1.29/1.33 o 87 1.29/1.33 c 1.18382 8.51562 417 8369 1.29/1.33 o 85 1.29/1.34 c 1.18682 8.51562 420 8455 1.29/1.34 o 83 1.29/1.34 c 1.19082 8.51562 430 8541 1.29/1.34 o 81 1.59/1.69 c 1.49677 8.49609 1093 10867 1.59/1.69 o 63 4.79/4.82 c 4.36634 8.62109 1139 27071 4.79/4.82 o 62 4.79/4.84 c 4.37933 8.62109 628 27227 4.79/4.84 o 60 16.98/17.03 c 15.4117 8.99609 842 89476 16.98/17.03 o 55 27.58/27.64 c 25.0082 9.10938 1251 140782 27.58/27.64 o 51 28.88/28.94 c 26.186 9.10938 1099 146911 28.88/28.94 o 47 28.88/28.96 c 26.199 9.10938 612 147069 28.88/28.96 o 45 53.68/53.73 c 48.7666 9.35938 1615 270657 53.68/53.73 o 44 79.87/79.90 c 72.469 9.48438 1007 396524 79.87/79.90 o 43 195.94/196.01 c 177.972 10.1289 740 953859 195.94/196.01 o 41 243.12/243.24 c 220.951 10.2539 1507 1177750 243.12/243.24 o 39 319.80/319.98 c 290.633 10.3359 1534 1545713 319.80/319.98 o 37 319.80/319.99 c 290.642 10.3359 805 1545795 319.80/319.99 o 35 425.67/425.84 c 386.562 10.4492 1308 2055546 425.67/425.84 o 33 425.67/425.85 c 386.566 10.4492 661 2055627 425.67/425.85 o 31 425.67/425.85 c 386.568 10.4492 666 2055684 425.67/425.85 o 29 882.83/883.16 c 804.917 10.8594 1102 4243600 882.83/883.16 o 28 882.95/883.22 c 804.962 10.8594 762 4243979 882.95/883.22 o 26 882.95/883.27 c 805.007 10.8594 938 4244259 882.95/883.27 o 24 1035.29/1035.69 c 944.431 10.9922 1129 4962105 1035.29/1035.69 o 23 1035.39/1035.71 c 944.445 10.9922 599 4962194 1035.39/1035.71 o 21 1800.07/1800.61 s SATISFIABLE 1800.07/1800.61 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 21
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682372-1277492570/watcher-2682372-1277492570 -o /tmp/evaluation-result-2682372-1277492570/solver-2682372-1277492570 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682372-1277492570.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.01 1.00 3/106 23701 /proc/meminfo: memFree=1809148/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=3444 CPUtime=0 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 549 0 0 0 0 0 0 0 20 0 1 0 124843412 3526656 468 1992294400 134512640 136421960 4293535200 18446744073709551615 136044366 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 861 470 193 467 0 392 0 [startup+0.079826 s] /proc/loadavg: 1.00 1.01 1.00 3/106 23701 /proc/meminfo: memFree=1809148/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=7908 CPUtime=0.06 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 1671 0 0 0 6 0 0 0 20 0 1 0 124843412 8097792 1590 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 1977 1590 213 467 0 1508 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 7908 [startup+0.100827 s] /proc/loadavg: 1.00 1.01 1.00 3/106 23701 /proc/meminfo: memFree=1809148/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=7908 CPUtime=0.09 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 1685 0 0 0 8 1 0 0 20 0 1 0 124843412 8097792 1604 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 1977 1604 213 467 0 1508 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7908 [startup+0.300847 s] /proc/loadavg: 1.00 1.01 1.00 3/106 23701 /proc/meminfo: memFree=1809148/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=8332 CPUtime=0.29 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 1804 0 0 0 26 3 0 0 20 0 1 0 124843412 8531968 1711 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2083 1711 236 467 0 1614 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8332 [startup+0.700887 s] /proc/loadavg: 1.00 1.01 1.00 3/106 23701 /proc/meminfo: memFree=1809148/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=8460 CPUtime=0.69 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 1851 0 0 0 60 9 0 0 20 0 1 0 124843412 8663040 1751 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2115 1751 236 467 0 1646 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8460 [startup+1.50097 s] /proc/loadavg: 1.00 1.01 1.00 2/107 23702 /proc/meminfo: memFree=1802940/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=8716 CPUtime=1.49 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 1893 0 0 0 132 17 0 0 22 0 1 0 124843412 8925184 1789 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2179 1789 236 467 0 1710 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8716 [startup+3.10113 s] /proc/loadavg: 1.00 1.01 1.00 2/107 23702 /proc/meminfo: memFree=1802568/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=8696 CPUtime=3.09 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 1905 0 0 0 278 31 0 0 25 0 1 0 124843412 8904704 1800 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2174 1800 236 467 0 1705 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8696 [startup+6.30145 s] /proc/loadavg: 1.00 1.01 1.00 2/107 23702 /proc/meminfo: memFree=1802320/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=8824 CPUtime=6.29 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 1924 0 0 0 568 61 0 0 25 0 1 0 124843412 9035776 1817 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2206 1817 236 467 0 1737 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8824 [startup+12.7011 s] /proc/loadavg: 1.00 1.01 1.00 2/107 23702 /proc/meminfo: memFree=1801824/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=9080 CPUtime=12.68 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2009 0 0 0 1146 122 0 0 25 0 1 0 124843412 9297920 1902 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2270 1902 236 467 0 1801 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 9080 [startup+25.5004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23702 /proc/meminfo: memFree=1801700/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=9324 CPUtime=25.49 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2058 0 0 0 2308 241 0 0 25 0 1 0 124843412 9547776 1950 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2331 1950 236 467 0 1862 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 9324 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23702 /proc/meminfo: memFree=1801328/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=9580 CPUtime=51.07 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2131 0 0 0 4638 469 0 0 25 0 1 0 124843412 9809920 2020 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2395 2020 236 467 0 1926 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 9580 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23704 /proc/meminfo: memFree=1800832/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=10028 CPUtime=102.26 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2233 0 0 0 9277 949 0 0 25 0 1 0 124843412 10268672 2120 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2507 2120 236 467 0 2038 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 10028 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23706 /proc/meminfo: memFree=1800460/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=10240 CPUtime=162.24 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2306 0 0 0 14740 1484 0 0 25 0 1 0 124843412 10485760 2193 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2560 2193 236 467 0 2091 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 10240 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23708 /proc/meminfo: memFree=1800336/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=10368 CPUtime=222.22 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2334 0 0 0 20187 2035 0 0 25 0 1 0 124843412 10616832 2220 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2592 2220 236 467 0 2123 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 10368 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23708 /proc/meminfo: memFree=1800212/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=10496 CPUtime=282.21 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2371 0 0 0 25636 2585 0 0 25 0 1 0 124843412 10747904 2256 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2624 2256 236 467 0 2155 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 10496 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23710 /proc/meminfo: memFree=1800088/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=10580 CPUtime=342.19 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2385 0 0 0 31082 3137 0 0 25 0 1 0 124843412 10833920 2268 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2645 2268 236 467 0 2176 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 10580 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23712 /proc/meminfo: memFree=1799964/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=10696 CPUtime=402.18 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2416 0 0 0 36524 3694 0 0 25 0 1 0 124843412 10952704 2299 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2674 2299 236 467 0 2205 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 10696 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23714 /proc/meminfo: memFree=1799840/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=10696 CPUtime=462.15 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2433 0 0 0 41996 4219 0 0 25 0 1 0 124843412 10952704 2313 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2674 2313 236 467 0 2205 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 10696 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23716 /proc/meminfo: memFree=1799716/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=10828 CPUtime=522.14 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2455 0 0 0 47506 4708 0 0 25 0 1 0 124843412 11087872 2335 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2707 2335 236 467 0 2238 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 10828 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23716 /proc/meminfo: memFree=1799592/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=10960 CPUtime=582.12 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2481 0 0 0 52999 5213 0 0 25 0 1 0 124843412 11223040 2361 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2740 2361 236 467 0 2271 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 10960 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23718 /proc/meminfo: memFree=1799468/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=10960 CPUtime=642.12 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2488 0 0 0 58487 5725 0 0 25 0 1 0 124843412 11223040 2368 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2740 2368 236 467 0 2271 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 10960 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 3/108 23727 /proc/meminfo: memFree=1776396/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=11116 CPUtime=822.05 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2544 0 0 0 74921 7284 0 0 25 0 1 0 124843412 11382784 2418 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2779 2418 236 467 0 2310 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 11116 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23727 /proc/meminfo: memFree=1798104/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=11116 CPUtime=882.03 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2544 0 0 0 80413 7790 0 0 25 0 1 0 124843412 11382784 2418 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2779 2418 236 467 0 2310 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 11116 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23729 /proc/meminfo: memFree=1798228/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=11252 CPUtime=942.02 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2556 0 0 0 85903 8299 0 0 25 0 1 0 124843412 11522048 2427 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2813 2427 236 467 0 2344 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 11252 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23731 /proc/meminfo: memFree=1798228/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=11252 CPUtime=1002 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2564 0 0 0 91390 8810 0 0 25 0 1 0 124843412 11522048 2435 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2813 2435 236 467 0 2344 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 11252 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23733 /proc/meminfo: memFree=1798228/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=11400 CPUtime=1061.98 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2583 0 0 0 96876 9322 0 0 25 0 1 0 124843412 11673600 2452 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2850 2452 236 467 0 2381 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 11400 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23735 /proc/meminfo: memFree=1798228/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=11400 CPUtime=1121.97 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2583 0 0 0 102371 9826 0 0 25 0 1 0 124843412 11673600 2452 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2850 2452 236 467 0 2381 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 11400 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23735 /proc/meminfo: memFree=1798228/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=11400 CPUtime=1181.95 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2589 0 0 0 107856 10339 0 0 25 0 1 0 124843412 11673600 2458 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2850 2458 236 467 0 2381 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 11400 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23737 /proc/meminfo: memFree=1798104/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=11400 CPUtime=1241.93 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2596 0 0 0 113340 10853 0 0 25 0 1 0 124843412 11673600 2465 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2850 2465 236 467 0 2381 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 11400 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23739 /proc/meminfo: memFree=1798104/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=11400 CPUtime=1301.92 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2603 0 0 0 118833 11359 0 0 25 0 1 0 124843412 11673600 2472 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2850 2472 236 467 0 2381 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 11400 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23741 /proc/meminfo: memFree=1797980/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=11400 CPUtime=1361.89 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2603 0 0 0 124319 11870 0 0 25 0 1 0 124843412 11673600 2472 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2850 2472 236 467 0 2381 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 11400 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23743 /proc/meminfo: memFree=1797980/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=11400 CPUtime=1421.88 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2609 0 0 0 129828 12360 0 0 25 0 1 0 124843412 11673600 2478 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2850 2478 236 467 0 2381 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 11400 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23743 /proc/meminfo: memFree=1797856/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=11400 CPUtime=1481.86 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2613 0 0 0 135317 12869 0 0 25 0 1 0 124843412 11673600 2482 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2850 2482 236 467 0 2381 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 11400 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23745 /proc/meminfo: memFree=1798228/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=11532 CPUtime=1541.84 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2622 0 0 0 140807 13377 0 0 25 0 1 0 124843412 11808768 2491 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2883 2491 236 467 0 2414 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 11532 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23747 /proc/meminfo: memFree=1798104/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=11532 CPUtime=1601.82 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2625 0 0 0 146295 13887 0 0 25 0 1 0 124843412 11808768 2494 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2883 2494 236 467 0 2414 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 11532 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23749 /proc/meminfo: memFree=1798104/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=11532 CPUtime=1661.8 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2627 0 0 0 151776 14404 0 0 25 0 1 0 124843412 11808768 2496 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2883 2496 236 467 0 2414 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 11532 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23751 /proc/meminfo: memFree=1797980/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=11532 CPUtime=1721.78 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2629 0 0 0 157268 14910 0 0 25 0 1 0 124843412 11808768 2498 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2883 2498 236 467 0 2414 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 11532 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23751 /proc/meminfo: memFree=1797980/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=11532 CPUtime=1781.76 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2635 0 0 0 162753 15423 0 0 25 0 1 0 124843412 11808768 2504 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2883 2504 236 467 0 2414 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 11532 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23753 /proc/meminfo: memFree=1797980/2059040 swapFree=4134180/4192956 [pid=23701] ppid=23699 vsize=11532 CPUtime=1800.07 /proc/23701/stat : 23701 (pbct) R 23699 23701 23591 0 -1 4202496 2635 0 0 0 164426 15581 0 0 25 0 1 0 124843412 11808768 2504 1992294400 134512640 136421960 4293535200 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/23701/statm: 2883 2504 236 467 0 2414 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 11532 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.08 CPU user time (s): 1644.27 CPU system time (s): 155.814 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 11532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1644.27 system time used= 155.814 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2636 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= 8180 runsolver used 3.07153 second user time and 8.41272 second system time The end
Begin job on node017 at 2010-06-25 21:02:50 IDJOB=2682372 IDBENCH=2921 IDSOLVER=1192 FILE ID=node017/2682372-1277492570 PBS_JOBID= 11190572 Free space on /tmp= 62232 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_4.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2682372-1277492570/watcher-2682372-1277492570 -o /tmp/evaluation-result-2682372-1277492570/solver-2682372-1277492570 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682372-1277492570.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED=659139823 node017.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.201 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.40 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.201 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.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1809676 kB Buffers: 41300 kB Cached: 112592 kB SwapCached: 11216 kB Active: 57156 kB Inactive: 110568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1809676 kB SwapTotal: 4192956 kB SwapFree: 4134180 kB Dirty: 1884 kB Writeback: 0 kB AnonPages: 12400 kB Mapped: 8376 kB Slab: 59648 kB PageTables: 4136 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184260 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= 62232 MiB End job on node017 at 2010-06-25 21:32:53