Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | SAT (TO) | 51 | 1800.03 | 1800.51 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_4.opb |
MD5SUM | 87341d3e4752b9f90faef0f8d9385430 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 26 |
Best CPU time to get the best result obtained on this benchmark | 1793.29 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 44 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
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 | 16 |
Minimum length of a constraint | 84 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
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 | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1881 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6154 |
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 16/0 clauses 0/0 units 0 0.00/0.00 c vars 198 0.00/0.00 c objective 128 + 0 0.10/0.12 c 0.111982 8.98438 155 514 0.10/0.12 o 1580 0.10/0.12 c 0.112982 9.19141 157 618 0.10/0.12 o 1122 0.10/0.13 c 0.116982 9.19141 177 750 0.10/0.13 o 1120 0.19/0.23 c 0.209968 9.32031 573 1382 0.19/0.23 o 1108 0.19/0.24 c 0.222966 9.32031 616 1540 0.19/0.24 o 902 0.19/0.26 c 0.234964 9.32031 655 1693 0.19/0.26 o 866 0.19/0.26 c 0.241963 9.46094 667 1795 0.19/0.26 o 845 0.19/0.27 c 0.245962 9.46094 673 1914 0.19/0.27 o 843 0.19/0.27 c 0.248962 9.46094 676 2042 0.19/0.27 o 747 0.19/0.28 c 0.255961 9.46094 707 2186 0.19/0.28 o 745 0.19/0.28 c 0.25996 9.46094 709 2274 0.19/0.28 o 677 0.19/0.29 c 0.26296 9.46094 710 2357 0.19/0.29 o 675 0.19/0.30 c 0.271958 9.46094 744 2471 0.19/0.30 o 673 0.29/0.35 c 0.32595 9.46094 961 2950 0.29/0.35 o 589 0.29/0.36 c 0.331949 9.46094 993 3089 0.29/0.36 o 550 0.29/0.37 c 0.337948 9.46094 1013 3199 0.29/0.37 o 502 0.29/0.39 c 0.357945 9.58594 1089 3369 0.29/0.39 o 498 0.39/0.40 c 0.364944 9.58594 562 3481 0.39/0.40 o 425 0.39/0.43 c 0.397939 9.58594 717 3829 0.39/0.43 o 410 0.39/0.44 c 0.398939 9.58594 717 3917 0.39/0.44 o 397 0.39/0.44 c 0.399939 9.58594 719 4005 0.39/0.44 o 381 0.39/0.45 c 0.408937 9.58594 748 4122 0.39/0.45 o 379 0.39/0.47 c 0.429934 9.58594 801 4283 0.39/0.47 o 183 0.39/0.48 c 0.439933 9.58594 824 4419 0.39/0.48 o 173 4.49/4.51 c 4.10637 10.2188 1036 23392 4.49/4.51 o 145 7.19/7.26 c 6.548 10.2188 1268 38053 7.19/7.26 o 143 11.89/11.98 c 10.7774 10.4688 1012 59205 11.89/11.98 o 129 11.89/11.98 c 10.7834 10.4688 1024 59297 11.89/11.98 o 127 17.79/17.89 c 16.1525 10.5977 961 88015 17.79/17.89 o 119 17.88/17.90 c 16.1585 10.5977 976 88116 17.88/17.90 o 117 17.88/17.90 c 16.1645 10.5977 993 88216 17.88/17.90 o 115 17.88/17.91 c 16.1695 10.5977 1003 88310 17.88/17.91 o 113 20.69/20.77 c 18.7701 10.7266 1740 101372 20.69/20.77 o 110 20.69/20.78 c 18.7791 10.7266 892 101519 20.69/20.78 o 108 21.39/21.41 c 19.3511 10.7266 1351 105034 21.39/21.41 o 107 21.39/21.46 c 19.3961 10.7266 851 105384 21.39/21.46 o 105 29.18/29.23 c 26.425 10.7188 1284 143175 29.18/29.23 o 104 38.39/38.47 c 34.8497 10.9688 788 187347 38.39/38.47 o 97 38.39/38.48 c 34.8557 10.9688 808 187464 38.39/38.48 o 95 44.88/44.95 c 40.7088 11.2188 1110 216195 44.88/44.95 o 82 140.65/140.70 c 127.596 11.8438 1882 642220 140.65/140.70 o 57 140.65/140.71 c 127.602 11.8438 953 642328 140.65/140.71 o 55 766.10/766.39 c 701.355 13.6602 1022 3416434 766.10/766.39 o 54 1451.22/1451.66 c 1329.24 14.2578 1751 6345362 1451.22/1451.66 o 52 1470.52/1470.95 c 1346.93 14.2578 1210 6434516 1470.52/1470.95 o 51 1800.02/1800.50 s SATISFIABLE 1800.02/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 -x173 -x174 -x175 x176 x177 -x178 x179 -x180 -x181 x182 -x183 x184 -x185 x186 -x187 -x188 -x189 x190 x191 x192 -x193 -x194 -x195 x196 x197 -x198
OK 51
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668791-1276601475/watcher-2668791-1276601475 -o /tmp/evaluation-result-2668791-1276601475/solver-2668791-1276601475 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668791-1276601475.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.11 1.06 1.14 2/105 9548 /proc/meminfo: memFree=1805664/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=3384 CPUtime=0 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 523 0 0 0 0 0 0 0 25 0 1 0 1441334 3465216 446 1992294400 134512640 136485738 4291822960 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 846 448 197 482 0 362 0 [startup+0.015683 s] /proc/loadavg: 1.11 1.06 1.14 2/105 9548 /proc/meminfo: memFree=1805664/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=4040 CPUtime=0.01 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 691 0 0 0 1 0 0 0 25 0 1 0 1441334 4136960 614 1992294400 134512640 136485738 4291822960 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 1010 615 197 482 0 526 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4040 [startup+0.101692 s] /proc/loadavg: 1.11 1.06 1.14 2/105 9548 /proc/meminfo: memFree=1805664/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=9196 CPUtime=0.1 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 1983 0 0 0 9 1 0 0 25 0 1 0 1441334 9416704 1906 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 2299 1906 225 482 0 1815 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9196 [startup+0.301712 s] /proc/loadavg: 1.11 1.06 1.14 2/105 9548 /proc/meminfo: memFree=1805664/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=9684 CPUtime=0.29 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 2107 0 0 0 27 2 0 0 25 0 1 0 1441334 9916416 2017 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 2421 2017 243 482 0 1937 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9684 [startup+0.701752 s] /proc/loadavg: 1.11 1.06 1.14 2/105 9548 /proc/meminfo: memFree=1805664/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=10200 CPUtime=0.7 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 2251 0 0 0 63 7 0 0 25 0 1 0 1441334 10444800 2150 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 2550 2150 243 482 0 2066 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 10200 [startup+1.50183 s] /proc/loadavg: 1.11 1.06 1.14 2/106 9549 /proc/meminfo: memFree=1797720/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=10460 CPUtime=1.49 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 2311 0 0 0 137 12 0 0 25 0 1 0 1441334 10711040 2210 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 2615 2210 243 482 0 2131 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10460 [startup+3.10199 s] /proc/loadavg: 1.10 1.06 1.14 2/106 9549 /proc/meminfo: memFree=1797472/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=10460 CPUtime=3.09 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 2311 0 0 0 282 27 0 0 25 0 1 0 1441334 10711040 2210 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 2615 2210 243 482 0 2131 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10460 [startup+6.30131 s] /proc/loadavg: 1.10 1.06 1.14 2/106 9549 /proc/meminfo: memFree=1797224/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=10460 CPUtime=6.29 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 2337 0 0 0 568 61 0 0 25 0 1 0 1441334 10711040 2235 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 2615 2235 243 482 0 2131 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10460 [startup+12.701 s] /proc/loadavg: 1.08 1.06 1.13 2/106 9549 /proc/meminfo: memFree=1796852/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=10716 CPUtime=12.69 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 2404 0 0 0 1143 126 0 0 25 0 1 0 1441334 10973184 2299 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 2679 2299 243 482 0 2195 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10716 [startup+25.5012 s] /proc/loadavg: 1.07 1.05 1.13 2/106 9549 /proc/meminfo: memFree=1796728/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=10972 CPUtime=25.48 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 2480 0 0 0 2304 244 0 0 25 0 1 0 1441334 11235328 2367 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 2743 2367 243 482 0 2259 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10972 [startup+51.1008 s] /proc/loadavg: 1.05 1.05 1.13 2/106 9549 /proc/meminfo: memFree=1796108/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=11484 CPUtime=51.07 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 2601 0 0 0 4625 482 0 0 25 0 1 0 1441334 11759616 2484 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 2871 2484 243 482 0 2387 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 11484 [startup+102.309 s] /proc/loadavg: 1.02 1.04 1.12 2/106 9553 /proc/meminfo: memFree=1794868/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=11996 CPUtime=102.27 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 2721 0 0 0 9272 955 0 0 25 0 1 0 1441334 12283904 2604 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 2999 2604 243 482 0 2515 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 11996 [startup+162.301 s] /proc/loadavg: 1.04 1.04 1.11 2/106 9556 /proc/meminfo: memFree=1794620/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=12124 CPUtime=162.24 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 2775 0 0 0 14741 1483 0 0 25 0 1 0 1441334 12414976 2656 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3031 2656 243 482 0 2547 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 12124 [startup+222.301 s] /proc/loadavg: 1.01 1.03 1.10 2/106 9558 /proc/meminfo: memFree=1794620/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=12380 CPUtime=222.23 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 2828 0 0 0 20240 1983 0 0 25 0 1 0 1441334 12677120 2709 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3095 2709 243 482 0 2611 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 12380 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.09 2/106 9560 /proc/meminfo: memFree=1794248/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=12852 CPUtime=282.21 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 2944 0 0 0 25739 2482 0 0 25 0 1 0 1441334 13160448 2825 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3213 2825 243 482 0 2729 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 12852 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.08 2/106 9560 /proc/meminfo: memFree=1793752/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=13240 CPUtime=342.2 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3029 0 0 0 31234 2986 0 0 25 0 1 0 1441334 13557760 2910 1992294400 134512640 136485738 4291822960 18446744073709551615 134876031 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3310 2910 243 482 0 2826 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 13240 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.08 2/106 9562 /proc/meminfo: memFree=1793628/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=13368 CPUtime=402.18 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3066 0 0 0 36747 3471 0 0 25 0 1 0 1441334 13688832 2947 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3342 2947 243 482 0 2858 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 13368 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.07 2/106 9564 /proc/meminfo: memFree=1793628/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=13368 CPUtime=462.17 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3066 0 0 0 42252 3965 0 0 25 0 1 0 1441334 13688832 2947 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3342 2947 243 482 0 2858 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 13368 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.07 2/106 9566 /proc/meminfo: memFree=1793256/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=13716 CPUtime=522.16 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3149 0 0 0 47755 4461 0 0 25 0 1 0 1441334 14045184 3030 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3429 3030 243 482 0 2945 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 13716 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.06 2/106 9568 /proc/meminfo: memFree=1793256/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=13716 CPUtime=582.14 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3149 0 0 0 53275 4939 0 0 25 0 1 0 1441334 14045184 3030 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3429 3030 243 482 0 2945 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 13716 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.05 2/106 9568 /proc/meminfo: memFree=1793132/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=13716 CPUtime=642.13 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3173 0 0 0 58786 5427 0 0 25 0 1 0 1441334 14045184 3054 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3429 3054 243 482 0 2945 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 13716 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.03 2/106 9576 /proc/meminfo: memFree=1792512/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=14164 CPUtime=882.06 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3291 0 0 0 80766 7440 0 0 25 0 1 0 1441334 14503936 3166 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3541 3166 243 482 0 3057 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 14164 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.02 2/106 9576 /proc/meminfo: memFree=1792512/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=14164 CPUtime=942.05 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3291 0 0 0 86268 7937 0 0 25 0 1 0 1441334 14503936 3166 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3541 3166 243 482 0 3057 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 14164 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.02 2/106 9578 /proc/meminfo: memFree=1792388/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=14164 CPUtime=1002.04 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3291 0 0 0 91768 8436 0 0 25 0 1 0 1441334 14503936 3166 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3541 3166 243 482 0 3057 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 14164 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.01 2/106 9580 /proc/meminfo: memFree=1792388/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=14164 CPUtime=1062.02 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3291 0 0 0 97246 8956 0 0 25 0 1 0 1441334 14503936 3166 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3541 3166 243 482 0 3057 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 14164 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.01 2/106 9582 /proc/meminfo: memFree=1792388/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=14276 CPUtime=1122 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3296 0 0 0 102742 9458 0 0 25 0 1 0 1441334 14618624 3171 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3569 3171 243 482 0 3085 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 14276 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9582 /proc/meminfo: memFree=1792264/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=14276 CPUtime=1181.99 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3302 0 0 0 108240 9959 0 0 25 0 1 0 1441334 14618624 3177 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3569 3177 243 482 0 3085 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 14276 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9584 /proc/meminfo: memFree=1792264/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=14276 CPUtime=1241.97 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3309 0 0 0 113714 10483 0 0 25 0 1 0 1441334 14618624 3184 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3569 3184 243 482 0 3085 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 14276 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9586 /proc/meminfo: memFree=1792016/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=14384 CPUtime=1301.96 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3352 0 0 0 119217 10979 0 0 25 0 1 0 1441334 14729216 3224 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3596 3224 243 482 0 3112 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 14384 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9588 /proc/meminfo: memFree=1792016/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=14384 CPUtime=1361.94 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3354 0 0 0 124727 11467 0 0 25 0 1 0 1441334 14729216 3224 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3596 3224 243 482 0 3112 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 14384 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9590 /proc/meminfo: memFree=1791892/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=14516 CPUtime=1421.94 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3369 0 0 0 130227 11967 0 0 25 0 1 0 1441334 14864384 3239 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3629 3239 243 482 0 3145 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 14516 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9592 /proc/meminfo: memFree=1791752/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=14596 CPUtime=1481.91 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3392 0 0 0 135732 12459 0 0 25 0 1 0 1441334 14946304 3260 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3649 3260 243 482 0 3165 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 14596 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9592 /proc/meminfo: memFree=1791768/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=14596 CPUtime=1541.9 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3392 0 0 0 141239 12951 0 0 25 0 1 0 1441334 14946304 3260 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3649 3260 243 482 0 3165 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 14596 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9594 /proc/meminfo: memFree=1791644/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=14596 CPUtime=1601.88 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3401 0 0 0 146740 13448 0 0 25 0 1 0 1441334 14946304 3269 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3649 3269 243 482 0 3165 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 14596 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9596 /proc/meminfo: memFree=1791644/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=14596 CPUtime=1661.87 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3409 0 0 0 152221 13966 0 0 25 0 1 0 1441334 14946304 3277 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3649 3277 243 482 0 3165 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 14596 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9598 /proc/meminfo: memFree=1791520/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=14728 CPUtime=1721.85 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3417 0 0 0 157715 14470 0 0 25 0 1 0 1441334 15081472 3285 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3682 3285 243 482 0 3198 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 14728 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9600 /proc/meminfo: memFree=1791520/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=14728 CPUtime=1781.84 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3424 0 0 0 163211 14973 0 0 25 0 1 0 1441334 15081472 3292 1992294400 134512640 136485738 4291822960 18446744073709551615 135025134 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3682 3292 243 482 0 3198 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 14728 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9609 /proc/meminfo: memFree=1790900/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=14728 CPUtime=1800.02 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3425 0 0 0 164883 15119 0 0 25 0 1 0 1441334 15081472 3293 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3682 3293 243 482 0 3198 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 14728 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/106 9609 /proc/meminfo: memFree=1790900/2059040 swapFree=4192956/4192956 [pid=9548] ppid=9546 vsize=14728 CPUtime=1800.02 /proc/9548/stat : 9548 (pbct) R 9546 9548 9448 0 -1 4202496 3425 0 0 0 164883 15119 0 0 25 0 1 0 1441334 15081472 3293 1992294400 134512640 136485738 4291822960 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/9548/statm: 3682 3293 243 482 0 3198 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 14728 Child status: 0 Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1648.84 CPU system time (s): 151.196 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 14728 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1648.84 system time used= 151.196 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3425 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= 5460 runsolver used 2.68759 second user time and 8.79366 second system time The end
Begin job on node084 at 2010-06-15 13:31:15 IDJOB=2668791 IDBENCH=2904 IDSOLVER=1170 FILE ID=node084/2668791-1276601475 PBS_JOBID= 11172239 Free space on /tmp= 62512 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_4.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668791-1276601475/watcher-2668791-1276601475 -o /tmp/evaluation-result-2668791-1276601475/solver-2668791-1276601475 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668791-1276601475.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 87341d3e4752b9f90faef0f8d9385430 RANDOM SEED=533930246 node084.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.229 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.45 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.229 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 : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1806192 kB Buffers: 10960 kB Cached: 119404 kB SwapCached: 0 kB Active: 86444 kB Inactive: 103500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1806192 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2000 kB Writeback: 0 kB AnonPages: 59608 kB Mapped: 15592 kB Slab: 41316 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181420 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= 62512 MiB End job on node084 at 2010-06-15 14:01:18