Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | SAT (TO) | 1533 | 1800.02 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb |
MD5SUM | 303eaeab4b7ccd67c7fab31d13d20bc2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1523 |
Best CPU time to get the best result obtained on this benchmark | 0.309952 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1523 |
Optimality of the best value was proved | YES |
Number of variables | 201 |
Total number of constraints | 133 |
Number of constraints which are clauses | 20 |
Number of constraints which are cardinality constraints (but not clauses) | 26 |
Number of constraints which are nor clauses,nor cardinality constraints | 87 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 67 |
Number of terms in the objective function | 201 |
Biggest coefficient in the objective function | 1920 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 19980 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 1920 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 19980 |
Number of bits of the biggest sum of numbers | 15 |
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 113/0 clauses 20/0 units 6 0.00/0.00 c vars 201 0.00/0.00 c objective 198 + 0 0.09/0.12 c 0.106983 10.918 4 226 0.09/0.12 o 2138 0.09/0.12 c 0.111982 11.375 13 324 0.09/0.12 o 2125 0.09/0.13 c 0.115982 11.375 14 409 0.09/0.13 o 2037 0.09/0.14 c 0.122981 11.375 28 498 0.09/0.14 o 1884 0.09/0.17 c 0.157975 11.375 157 821 0.09/0.17 o 1882 0.09/0.18 c 0.164974 11.375 169 884 0.09/0.18 o 1875 0.20/0.22 c 0.199969 11.375 271 1103 0.20/0.22 o 1862 0.20/0.22 c 0.203968 11.375 273 1173 0.20/0.22 o 1842 0.20/0.26 c 0.234964 11.375 384 1517 0.20/0.26 o 1811 0.20/0.30 c 0.271958 11.375 504 1847 0.20/0.30 o 1810 0.29/0.39 c 0.357945 11.375 847 2369 0.29/0.39 o 1804 0.29/0.39 c 0.364944 11.375 853 2448 0.29/0.39 o 1796 0.39/0.40 c 0.371943 11.375 867 2535 0.39/0.40 o 1788 0.39/0.41 c 0.379942 11.5 888 2649 0.39/0.41 o 1784 0.39/0.48 c 0.444932 11.5 1117 3157 0.39/0.48 o 1782 0.49/0.50 c 0.464929 11.5 1200 3336 0.49/0.50 o 1777 0.49/0.58 c 0.528919 11.6289 1449 3870 0.49/0.58 o 1772 0.59/0.61 c 0.560914 11.6289 835 4113 0.59/0.61 o 1769 0.59/0.64 c 0.58791 11.8867 935 4420 0.59/0.64 o 1721 1.00/1.07 c 0.978851 12.0117 1386 6821 1.00/1.07 o 1687 1.99/2.07 c 1.89071 12.0117 868 12428 1.99/2.07 o 1686 2.39/2.44 c 2.23466 12.0117 1463 14579 2.39/2.44 o 1681 4.09/4.16 c 3.81942 12.1367 1329 23120 4.09/4.16 o 1676 5.40/5.41 c 4.94825 12.1367 1858 30170 5.40/5.41 o 1668 5.40/5.46 c 4.99024 12.1367 1062 30487 5.40/5.46 o 1659 7.99/8.05 c 7.37188 12.2656 1785 43745 7.99/8.05 o 1656 8.39/8.48 c 7.76582 12.2656 870 46082 8.39/8.48 o 1649 9.29/9.32 c 8.5417 12.2656 1426 50811 9.29/9.32 o 1635 10.79/10.82 c 9.92449 12.2656 1050 58268 10.79/10.82 o 1623 11.49/11.50 c 10.5564 12.2656 979 61968 11.49/11.50 o 1621 11.49/11.59 c 10.6324 12.2656 1274 62435 11.49/11.59 o 1615 13.39/13.47 c 12.3471 12.2656 1055 72259 13.39/13.47 o 1603 17.49/17.55 c 16.1116 12.3906 1845 92035 17.49/17.55 o 1601 23.38/23.49 c 21.6087 12.3906 1557 121867 23.38/23.49 o 1595 53.78/53.89 c 49.8104 12.6406 1060 263994 53.78/53.89 o 1591 55.38/55.47 c 51.2652 12.6406 1149 271719 55.38/55.47 o 1583 61.87/61.94 c 57.2463 12.6406 819 304275 61.87/61.95 o 1581 71.27/71.33 c 65.939 12.6406 1090 351267 71.27/71.33 o 1575 76.97/77.10 c 71.2672 12.6406 1837 379734 76.97/77.10 o 1561 92.27/92.37 c 85.382 12.6406 1166 455844 92.27/92.37 o 1555 158.55/158.63 c 146.832 13.0195 1826 769211 158.55/158.63 o 1551 216.53/216.66 c 200.711 13.0195 941 1047282 216.53/216.66 o 1547 278.89/279.10 c 258.578 13.125 1658 1342530 278.89/279.10 o 1535 819.22/819.57 c 762.727 13.25 1326 3940800 819.22/819.57 o 1533 1800.02/1800.61 s SATISFIABLE 1800.02/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 -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 -x199 -x200 -x201
OK 1533
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669163-1276437387/watcher-2669163-1276437387 -o /tmp/evaluation-result-2669163-1276437387/solver-2669163-1276437387 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669163-1276437387.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.08 1.02 1.01 3/106 22956 /proc/meminfo: memFree=1845852/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=3120 CPUtime=0 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 437 0 0 0 0 0 0 0 24 0 1 0 19340217 3194880 359 1992294400 134512640 136485738 4286986272 18446744073709551615 134659192 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22956/statm: 780 369 184 482 0 296 0 [startup+0.092482 s] /proc/loadavg: 1.08 1.02 1.01 3/106 22956 /proc/meminfo: memFree=1845852/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=10260 CPUtime=0.08 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 2274 0 0 0 7 1 0 0 24 0 1 0 19340217 10506240 2196 1992294400 134512640 136485738 4286986272 18446744073709551615 134906939 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 2565 2196 210 482 0 2081 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 10260 [startup+0.101483 s] /proc/loadavg: 1.08 1.02 1.01 3/106 22956 /proc/meminfo: memFree=1845852/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=10448 CPUtime=0.09 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 2313 0 0 0 8 1 0 0 24 0 1 0 19340217 10698752 2235 1992294400 134512640 136485738 4286986272 18446744073709551615 135844779 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 2612 2235 210 482 0 2128 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10448 [startup+0.30151 s] /proc/loadavg: 1.08 1.02 1.01 3/106 22956 /proc/meminfo: memFree=1845852/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=11644 CPUtime=0.29 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 2590 0 0 0 27 2 0 0 24 0 1 0 19340217 11923456 2502 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 2911 2502 243 482 0 2427 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11644 [startup+0.701562 s] /proc/loadavg: 1.08 1.02 1.01 3/106 22956 /proc/meminfo: memFree=1845852/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=12168 CPUtime=0.69 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 2708 0 0 0 63 6 0 0 25 0 1 0 19340217 12460032 2611 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3042 2611 243 482 0 2558 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12168 [startup+1.50167 s] /proc/loadavg: 1.07 1.02 1.00 2/107 22957 /proc/meminfo: memFree=1836172/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=12296 CPUtime=1.49 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 2734 0 0 0 136 13 0 0 25 0 1 0 19340217 12591104 2636 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3074 2636 243 482 0 2590 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12296 [startup+3.10188 s] /proc/loadavg: 1.07 1.02 1.00 2/107 22957 /proc/meminfo: memFree=1835924/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=12424 CPUtime=3.09 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 2774 0 0 0 283 26 0 0 25 0 1 0 19340217 12722176 2674 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3106 2674 243 482 0 2622 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12424 [startup+6.30129 s] /proc/loadavg: 1.07 1.02 1.00 2/107 22957 /proc/meminfo: memFree=1835676/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=12424 CPUtime=6.29 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 2777 0 0 0 576 53 0 0 25 0 1 0 19340217 12722176 2674 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3106 2674 243 482 0 2622 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12424 [startup+12.7011 s] /proc/loadavg: 1.06 1.02 1.00 2/107 22957 /proc/meminfo: memFree=1835428/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=12556 CPUtime=12.69 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 2813 0 0 0 1164 105 0 0 25 0 1 0 19340217 12857344 2704 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3139 2704 243 482 0 2655 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12556 [startup+25.5008 s] /proc/loadavg: 1.05 1.01 1.00 2/107 22957 /proc/meminfo: memFree=1835304/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=12684 CPUtime=25.48 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 2861 0 0 0 2345 203 0 0 25 0 1 0 19340217 12988416 2749 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3171 2749 243 482 0 2687 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12684 [startup+51.1012 s] /proc/loadavg: 1.03 1.01 1.00 2/107 22957 /proc/meminfo: memFree=1835056/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=12940 CPUtime=51.08 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 2918 0 0 0 4720 388 0 0 25 0 1 0 19340217 13250560 2806 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3235 2806 243 482 0 2751 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 12940 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/107 22959 /proc/meminfo: memFree=1834808/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=12940 CPUtime=102.26 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 2938 0 0 0 9463 763 0 0 25 0 1 0 19340217 13250560 2820 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3235 2820 243 482 0 2751 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 12940 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22961 /proc/meminfo: memFree=1834436/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13328 CPUtime=162.24 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3026 0 0 0 15023 1201 0 0 25 0 1 0 19340217 13647872 2907 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3332 2907 243 482 0 2848 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 13328 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22963 /proc/meminfo: memFree=1834436/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13328 CPUtime=222.22 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3027 0 0 0 20593 1629 0 0 25 0 1 0 19340217 13647872 2907 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3332 2907 243 482 0 2848 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 13328 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22972 /proc/meminfo: memFree=1833684/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13436 CPUtime=282.19 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3053 0 0 0 26155 2064 0 0 25 0 1 0 19340217 13758464 2932 1992294400 134512640 136485738 4286986272 18446744073709551615 135024647 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3359 2932 243 482 0 2875 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 13436 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22974 /proc/meminfo: memFree=1833568/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13436 CPUtime=342.17 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3053 0 0 0 31729 2488 0 0 25 0 1 0 19340217 13758464 2932 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3359 2932 243 482 0 2875 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 13436 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22976 /proc/meminfo: memFree=1833568/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13436 CPUtime=402.15 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3053 0 0 0 37317 2898 0 0 25 0 1 0 19340217 13758464 2932 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3359 2932 243 482 0 2875 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 13436 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22978 /proc/meminfo: memFree=1833568/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13436 CPUtime=462.13 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3053 0 0 0 42915 3298 0 0 25 0 1 0 19340217 13758464 2932 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3359 2932 243 482 0 2875 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 13436 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22980 /proc/meminfo: memFree=1833444/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13436 CPUtime=522.11 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3053 0 0 0 48510 3701 0 0 25 0 1 0 19340217 13758464 2932 1992294400 134512640 136485738 4286986272 18446744073709551615 135025191 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3359 2932 243 482 0 2875 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 13436 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22980 /proc/meminfo: memFree=1833568/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13436 CPUtime=582.09 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3053 0 0 0 54117 4092 0 0 25 0 1 0 19340217 13758464 2932 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3359 2932 243 482 0 2875 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 13436 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22982 /proc/meminfo: memFree=1833444/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13436 CPUtime=642.08 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3065 0 0 0 59697 4511 0 0 25 0 1 0 19340217 13758464 2944 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3359 2944 243 482 0 2875 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 13436 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22988 /proc/meminfo: memFree=1833196/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13564 CPUtime=822 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3097 0 0 0 76529 5671 0 0 25 0 1 0 19340217 13889536 2975 1992294400 134512640 136485738 4286986272 18446744073709551615 135848133 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3391 2975 243 482 0 2907 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 13564 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22988 /proc/meminfo: memFree=1833072/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13544 CPUtime=881.99 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3097 0 0 0 82123 6076 0 0 25 0 1 0 19340217 13869056 2974 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3386 2974 243 482 0 2902 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 13544 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22990 /proc/meminfo: memFree=1832948/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13544 CPUtime=941.97 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3097 0 0 0 87742 6455 0 0 25 0 1 0 19340217 13869056 2974 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3386 2974 243 482 0 2902 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 13544 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22992 /proc/meminfo: memFree=1832948/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13644 CPUtime=1001.95 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3124 0 0 0 93353 6842 0 0 25 0 1 0 19340217 13971456 2999 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3411 2999 243 482 0 2927 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 13644 [startup+1062.3 s] /proc/loadavg: 1.15 1.03 1.01 2/107 22997 /proc/meminfo: memFree=1832204/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13644 CPUtime=1061.93 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3124 0 0 0 98950 7243 0 0 25 0 1 0 19340217 13971456 2999 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3411 2999 243 482 0 2927 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 13644 [startup+1122.3 s] /proc/loadavg: 1.05 1.02 1.00 2/107 22999 /proc/meminfo: memFree=1832328/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13644 CPUtime=1121.92 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3124 0 0 0 104573 7619 0 0 25 0 1 0 19340217 13971456 2999 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3411 2999 243 482 0 2927 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 13644 [startup+1182.3 s] /proc/loadavg: 1.02 1.02 1.00 2/107 22999 /proc/meminfo: memFree=1832328/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13644 CPUtime=1181.9 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3124 0 0 0 110195 7995 0 0 25 0 1 0 19340217 13971456 2999 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3411 2999 243 482 0 2927 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 13644 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 23001 /proc/meminfo: memFree=1832328/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13644 CPUtime=1241.87 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3124 0 0 0 115814 8373 0 0 25 0 1 0 19340217 13971456 2999 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3411 2999 243 482 0 2927 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 13644 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 23003 /proc/meminfo: memFree=1832452/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13644 CPUtime=1301.86 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3124 0 0 0 121442 8744 0 0 25 0 1 0 19340217 13971456 2999 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3411 2999 243 482 0 2927 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 13644 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23005 /proc/meminfo: memFree=1832452/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13644 CPUtime=1361.84 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3124 0 0 0 127050 9134 0 0 25 0 1 0 19340217 13971456 2999 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3411 2999 243 482 0 2927 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 13644 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23007 /proc/meminfo: memFree=1832452/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13648 CPUtime=1421.83 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3127 0 0 0 132670 9513 0 0 25 0 1 0 19340217 13975552 3000 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3412 3000 243 482 0 2928 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 13648 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23007 /proc/meminfo: memFree=1832576/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13648 CPUtime=1481.79 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3127 0 0 0 138307 9872 0 0 25 0 1 0 19340217 13975552 3000 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3412 3000 243 482 0 2928 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 13648 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23009 /proc/meminfo: memFree=1832576/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13648 CPUtime=1541.78 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3127 0 0 0 143937 10241 0 0 25 0 1 0 19340217 13975552 3000 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3412 3000 243 482 0 2928 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 13648 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23011 /proc/meminfo: memFree=1832452/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13648 CPUtime=1601.76 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3127 0 0 0 149565 10611 0 0 25 0 1 0 19340217 13975552 3000 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3412 3000 243 482 0 2928 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 13648 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23013 /proc/meminfo: memFree=1832452/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13648 CPUtime=1661.74 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3127 0 0 0 155205 10969 0 0 25 0 1 0 19340217 13975552 3000 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3412 3000 243 482 0 2928 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 13648 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23015 /proc/meminfo: memFree=1832452/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13648 CPUtime=1721.72 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3127 0 0 0 160865 11307 0 0 25 0 1 0 19340217 13975552 3000 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3412 3000 243 482 0 2928 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 13648 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23015 /proc/meminfo: memFree=1832204/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13648 CPUtime=1781.71 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3127 0 0 0 166512 11659 0 0 25 0 1 0 19340217 13975552 3000 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3412 3000 243 482 0 2928 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 13648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 23017 /proc/meminfo: memFree=1832204/2059040 swapFree=4140260/4192956 [pid=22956] ppid=22954 vsize=13648 CPUtime=1800.02 /proc/22956/stat : 22956 (pbct) R 22954 22956 22931 0 -1 4202496 3127 0 0 0 168235 11767 0 0 25 0 1 0 19340217 13975552 3000 1992294400 134512640 136485738 4286986272 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/22956/statm: 3412 3000 243 482 0 2928 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 13648 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.02 CPU user time (s): 1682.35 CPU system time (s): 117.673 CPU usage (%): 99.9671 Max. virtual memory (cumulated for all children) (KiB): 13772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1682.35 system time used= 117.673 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3127 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= 2 involuntary context switches= 3591 runsolver used 3.05253 second user time and 8.43372 second system time The end
Begin job on node013 at 2010-06-13 15:56:27 IDJOB=2669163 IDBENCH=1858 IDSOLVER=1170 FILE ID=node013/2669163-1276437387 PBS_JOBID= 11173325 Free space on /tmp= 62464 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669163-1276437387/watcher-2669163-1276437387 -o /tmp/evaluation-result-2669163-1276437387/solver-2669163-1276437387 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669163-1276437387.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 303eaeab4b7ccd67c7fab31d13d20bc2 RANDOM SEED=427358231 node013.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.253 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.50 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.253 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1846380 kB Buffers: 23892 kB Cached: 111436 kB SwapCached: 5696 kB Active: 90816 kB Inactive: 57212 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1846380 kB SwapTotal: 4192956 kB SwapFree: 4140260 kB Dirty: 2096 kB Writeback: 0 kB AnonPages: 11328 kB Mapped: 12764 kB Slab: 42956 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182016 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= 62460 MiB End job on node013 at 2010-06-13 16:26:30