Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | OPT | 8034 | 868.813 | 869.087 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb |
MD5SUM | dfa433e4e6a88cd1c776cef0a80ce991 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 8034 |
Best CPU time to get the best result obtained on this benchmark | 0.012997 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8034 |
Optimality of the best value was proved | YES |
Number of variables | 210 |
Total number of constraints | 220 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 20 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 10 |
Number of terms in the objective function | 210 |
Biggest coefficient in the objective function | 2937 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 109101 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 2937 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 109101 |
Number of bits of the biggest sum of numbers | 17 |
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 20/0 clauses 200/0 units 0 0.00/0.00 c vars 210 0.00/0.00 c objective 210 + 0 0.00/0.03 c 0.032994 6.15234 1 351 0.00/0.03 o 13405 0.00/0.04 c 0.036994 6.3125 36 533 0.00/0.04 o 13365 0.03/0.09 c 0.081987 6.3125 500 1455 0.03/0.09 o 13361 0.19/0.20 c 0.170974 6.3125 369 3429 0.19/0.20 o 11915 0.19/0.20 c 0.171973 6.3125 369 3496 0.19/0.20 o 11154 0.19/0.20 c 0.172973 6.3125 376 3568 0.19/0.20 o 11152 0.19/0.28 c 0.240963 6.3125 224 5027 0.19/0.28 o 11137 0.59/0.64 c 0.52592 6.44141 641 9948 0.59/0.64 o 11114 0.59/0.68 c 0.554915 6.44141 423 10627 0.59/0.68 o 11063 0.69/0.70 c 0.576912 6.44141 213 11082 0.69/0.70 o 10986 1.19/1.21 c 0.996848 6.44141 274 18622 1.19/1.21 o 10935 1.19/1.22 c 1.00985 6.44141 384 18909 1.19/1.22 o 10744 2.19/2.20 c 1.85072 6.44141 275 33017 2.19/2.20 o 9519 2.39/2.44 c 2.05069 6.44141 501 36380 2.39/2.44 o 9474 4.79/4.83 c 4.07138 6.57031 703 67777 4.79/4.83 o 9473 8.79/8.87 c 7.45986 6.57031 621 119552 8.79/8.87 o 9373 8.99/9.08 c 7.63684 6.57031 269 122595 8.99/9.08 o 9257 15.58/15.64 c 13.2 6.57031 409 206787 15.58/15.64 o 9197 16.29/16.36 c 13.8029 6.57031 609 215428 16.29/16.36 o 9174 16.89/17.00 c 14.3468 6.57031 312 224194 16.89/17.00 o 9096 21.69/21.75 c 18.3572 6.57031 924 281573 21.69/21.75 o 9044 23.89/23.97 c 20.2189 6.57031 645 309872 23.89/23.97 o 8954 33.59/33.68 c 28.3937 6.57031 945 429059 33.59/33.68 o 8942 34.38/34.46 c 29.0416 6.57031 799 439201 34.38/34.46 o 8849 45.38/45.46 c 38.3122 6.69922 783 572864 45.38/45.46 o 8802 46.27/46.38 c 39.0901 6.69922 906 583661 46.27/46.38 o 8775 47.29/47.33 c 39.8919 6.69922 859 595427 47.29/47.33 o 8730 56.67/56.76 c 47.8267 6.69922 537 709587 56.67/56.76 o 8706 64.27/64.36 c 54.2608 6.69922 504 801763 64.27/64.36 o 8654 68.67/68.72 c 57.8772 6.69922 789 853442 68.67/68.72 o 8609 102.66/102.78 c 86.4089 6.69922 724 1256415 102.66/102.78 o 8606 103.46/103.57 c 87.0638 6.69922 839 1266158 103.46/103.57 o 8592 106.96/107.07 c 90.0143 6.69922 786 1308756 106.96/107.07 o 8585 154.35/154.40 c 129.834 6.69922 807 1870469 154.35/154.40 o 8574 211.63/211.78 c 178.026 6.69922 909 2545656 211.63/211.78 o 8562 215.33/215.46 c 181.037 6.69922 809 2588320 215.33/215.46 o 8499 227.02/227.15 c 190.997 6.69922 798 2724757 227.02/227.15 o 8421 299.90/300.09 c 252.6 6.69922 841 3567246 299.90/300.09 o 8368 352.69/352.88 c 296.704 6.69922 805 4175492 352.69/352.88 o 8349 469.75/469.92 c 395.216 6.69922 962 5517046 469.75/469.92 o 8336 482.75/482.94 c 406.008 6.69922 756 5666069 482.75/482.94 o 8322 510.64/510.86 c 429.753 6.83984 980 5981851 510.64/510.86 o 8297 572.12/572.39 c 481.704 6.83984 859 6674700 572.12/572.39 o 8296 611.30/611.51 c 514.52 6.83984 820 7117562 611.30/611.51 o 8265 663.88/664.19 c 559.129 6.83984 804 7712996 663.88/664.19 o 8211 697.27/697.55 c 587.438 6.83984 994 8084758 697.27/697.55 o 8185 722.67/722.97 c 609.037 6.83984 866 8370581 722.67/722.97 o 8146 725.37/725.69 c 611.263 6.83984 843 8402037 725.37/725.69 o 8114 732.46/732.76 c 617.049 6.83984 922 8482059 732.46/732.76 o 8061 859.02/859.31 c 724.208 6.83984 812 9858328 859.02/859.31 o 8034 868.72/869.07 c 732.153 6.83984 714 9967198 868.72/869.07 s OPTIMUM FOUND 868.72/869.07 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 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210
OK 8034
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668205-1276629910/watcher-2668205-1276629910 -o /tmp/evaluation-result-2668205-1276629910/solver-2668205-1276629910 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668205-1276629910.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: 0.84 0.98 1.08 3/106 11429 /proc/meminfo: memFree=1414352/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=3516 CPUtime=0 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 558 0 0 0 0 0 0 0 20 0 1 0 4283944 3600384 481 1992294400 134512640 136485738 4290086624 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 879 484 194 482 0 395 0 [startup+0.0430821 s] /proc/loadavg: 0.84 0.98 1.08 3/106 11429 /proc/meminfo: memFree=1414352/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=6460 CPUtime=0.03 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1318 0 0 0 3 0 0 0 20 0 1 0 4283944 6615040 1239 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1615 1239 244 482 0 1131 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6460 [startup+0.102086 s] /proc/loadavg: 0.84 0.98 1.08 3/106 11429 /proc/meminfo: memFree=1414352/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=6460 CPUtime=0.09 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1332 0 0 0 8 1 0 0 20 0 1 0 4283944 6615040 1252 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1615 1252 244 482 0 1131 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6460 [startup+0.301105 s] /proc/loadavg: 0.84 0.98 1.08 3/106 11429 /proc/meminfo: memFree=1414352/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=6460 CPUtime=0.29 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1345 0 0 0 25 4 0 0 20 0 1 0 4283944 6615040 1261 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1615 1261 244 482 0 1131 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6460 [startup+0.700146 s] /proc/loadavg: 0.84 0.98 1.08 3/106 11429 /proc/meminfo: memFree=1414352/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=6592 CPUtime=0.69 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1368 0 0 0 56 13 0 0 21 0 1 0 4283944 6750208 1282 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1648 1282 244 482 0 1164 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6592 [startup+1.50023 s] /proc/loadavg: 0.84 0.98 1.08 2/107 11430 /proc/meminfo: memFree=1410128/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=6592 CPUtime=1.49 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1371 0 0 0 124 25 0 0 23 0 1 0 4283944 6750208 1282 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1648 1282 244 482 0 1164 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6592 [startup+3.10138 s] /proc/loadavg: 0.84 0.98 1.08 2/107 11430 /proc/meminfo: memFree=1409880/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=6592 CPUtime=3.09 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1387 0 0 0 260 49 0 0 25 0 1 0 4283944 6750208 1296 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1648 1296 244 482 0 1164 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6592 [startup+6.3017 s] /proc/loadavg: 0.85 0.98 1.08 2/107 11430 /proc/meminfo: memFree=1409756/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=6724 CPUtime=6.29 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1406 0 0 0 530 99 0 0 25 0 1 0 4283944 6885376 1314 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1681 1314 244 482 0 1197 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6724 [startup+12.7013 s] /proc/loadavg: 0.86 0.98 1.08 2/107 11430 /proc/meminfo: memFree=1409508/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=6724 CPUtime=12.69 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1415 0 0 0 1069 200 0 0 25 0 1 0 4283944 6885376 1321 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1681 1321 244 482 0 1197 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 6724 [startup+25.5016 s] /proc/loadavg: 0.89 0.98 1.08 2/107 11430 /proc/meminfo: memFree=1409508/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=6724 CPUtime=25.49 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1437 0 0 0 2152 397 0 0 25 0 1 0 4283944 6885376 1338 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1681 1338 244 482 0 1197 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 6724 [startup+51.1011 s] /proc/loadavg: 0.93 0.98 1.07 2/107 11430 /proc/meminfo: memFree=1409508/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=6856 CPUtime=51.07 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1447 0 0 0 4305 802 0 0 25 0 1 0 4283944 7020544 1343 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1714 1343 244 482 0 1230 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 6856 [startup+102.309 s] /proc/loadavg: 0.97 0.98 1.07 2/107 11432 /proc/meminfo: memFree=1409384/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=6856 CPUtime=102.27 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1454 0 0 0 8600 1627 0 0 25 0 1 0 4283944 7020544 1347 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1714 1347 244 482 0 1230 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 6856 [startup+162.301 s] /proc/loadavg: 0.99 0.98 1.06 2/107 11434 /proc/meminfo: memFree=1409260/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=6856 CPUtime=162.24 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1468 0 0 0 13650 2574 0 0 25 0 1 0 4283944 7020544 1357 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1714 1357 244 482 0 1230 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 6856 [startup+222.301 s] /proc/loadavg: 0.99 0.98 1.06 2/107 11436 /proc/meminfo: memFree=1409260/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=6856 CPUtime=222.23 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1472 0 0 0 18685 3538 0 0 25 0 1 0 4283944 7020544 1359 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1714 1359 244 482 0 1230 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 6856 [startup+282.301 s] /proc/loadavg: 0.99 0.98 1.05 2/107 11436 /proc/meminfo: memFree=1409260/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=6856 CPUtime=282.21 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1473 0 0 0 23749 4472 0 0 25 0 1 0 4283944 7020544 1359 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1714 1359 244 482 0 1230 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 6856 [startup+342.302 s] /proc/loadavg: 0.99 0.98 1.05 2/107 11438 /proc/meminfo: memFree=1409136/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=6856 CPUtime=342.19 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1475 0 0 0 28787 5432 0 0 25 0 1 0 4283944 7020544 1360 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1714 1360 244 482 0 1230 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 6856 [startup+402.302 s] /proc/loadavg: 0.99 0.98 1.04 2/107 11440 /proc/meminfo: memFree=1409136/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=6856 CPUtime=402.17 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1477 0 0 0 33841 6376 0 0 25 0 1 0 4283944 7020544 1361 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1714 1361 244 482 0 1230 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 6856 [startup+462.302 s] /proc/loadavg: 0.99 0.98 1.03 2/107 11445 /proc/meminfo: memFree=1408392/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=6856 CPUtime=462.15 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1477 0 0 0 38900 7315 0 0 25 0 1 0 4283944 7020544 1361 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1714 1361 244 482 0 1230 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 6856 [startup+522.302 s] /proc/loadavg: 0.99 0.98 1.03 2/107 11447 /proc/meminfo: memFree=1408392/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=7000 CPUtime=522.13 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1490 0 0 0 43951 8262 0 0 25 0 1 0 4283944 7168000 1371 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1750 1371 244 482 0 1266 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 7000 [startup+582.301 s] /proc/loadavg: 0.99 0.98 1.02 2/107 11447 /proc/meminfo: memFree=1408392/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=7000 CPUtime=582.1 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1492 0 0 0 49016 9194 0 0 25 0 1 0 4283944 7168000 1372 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1750 1372 244 482 0 1266 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 7000 [startup+642.301 s] /proc/loadavg: 0.99 0.98 1.02 2/107 11449 /proc/meminfo: memFree=1408392/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=7000 CPUtime=642.1 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1494 0 0 0 54056 10154 0 0 25 0 1 0 4283944 7168000 1373 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1750 1373 244 482 0 1266 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 7000 [startup+702.3 s] /proc/loadavg: 0.99 0.98 1.01 2/107 11451 /proc/meminfo: memFree=1408392/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=7000 CPUtime=702.07 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1497 0 0 0 59151 11056 0 0 25 0 1 0 4283944 7168000 1374 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1750 1374 244 482 0 1266 0 Current children cumulated CPU time (s) 702.07 Current children cumulated vsize (KiB) 7000 [startup+762.308 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11453 /proc/meminfo: memFree=1408392/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=7000 CPUtime=762.06 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1501 0 0 0 64213 11993 0 0 25 0 1 0 4283944 7168000 1375 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1750 1375 244 482 0 1266 0 Current children cumulated CPU time (s) 762.06 Current children cumulated vsize (KiB) 7000 [startup+822.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11455 /proc/meminfo: memFree=1408392/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=7000 CPUtime=822.03 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1502 0 0 0 69296 12907 0 0 25 0 1 0 4283944 7168000 1376 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1750 1376 244 482 0 1266 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 7000 Solver just ended. Dumping a history of the last processes samples [startup+844.701 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11455 /proc/meminfo: memFree=1408392/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=7000 CPUtime=844.43 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1502 0 0 0 71191 13252 0 0 25 0 1 0 4283944 7168000 1376 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1750 1376 244 482 0 1266 0 Current children cumulated CPU time (s) 844.43 Current children cumulated vsize (KiB) 7000 [startup+857.501 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11455 /proc/meminfo: memFree=1408392/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=7000 CPUtime=857.22 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1502 0 0 0 72270 13452 0 0 25 0 1 0 4283944 7168000 1376 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1750 1376 244 482 0 1266 0 Current children cumulated CPU time (s) 857.22 Current children cumulated vsize (KiB) 7000 [startup+863.901 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11455 /proc/meminfo: memFree=1408392/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=7000 CPUtime=863.62 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1503 0 0 0 72789 13573 0 0 25 0 1 0 4283944 7168000 1376 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1750 1376 244 482 0 1266 0 Current children cumulated CPU time (s) 863.62 Current children cumulated vsize (KiB) 7000 [startup+867.101 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11455 /proc/meminfo: memFree=1408392/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=7000 CPUtime=866.81 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1503 0 0 0 73048 13633 0 0 25 0 1 0 4283944 7168000 1376 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1750 1376 244 482 0 1266 0 Current children cumulated CPU time (s) 866.81 Current children cumulated vsize (KiB) 7000 [startup+867.909 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11455 /proc/meminfo: memFree=1408392/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=7000 CPUtime=867.62 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1503 0 0 0 73118 13644 0 0 25 0 1 0 4283944 7168000 1376 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1750 1376 244 482 0 1266 0 Current children cumulated CPU time (s) 867.62 Current children cumulated vsize (KiB) 7000 [startup+868.701 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11455 /proc/meminfo: memFree=1408392/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=7000 CPUtime=868.42 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1503 0 0 0 73183 13659 0 0 25 0 1 0 4283944 7168000 1376 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1750 1376 244 482 0 1266 0 Current children cumulated CPU time (s) 868.42 Current children cumulated vsize (KiB) 7000 [startup+868.901 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11455 /proc/meminfo: memFree=1408392/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=7000 CPUtime=868.62 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1503 0 0 0 73200 13662 0 0 25 0 1 0 4283944 7168000 1376 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1750 1376 244 482 0 1266 0 Current children cumulated CPU time (s) 868.62 Current children cumulated vsize (KiB) 7000 [startup+869.009 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11455 /proc/meminfo: memFree=1408392/2059040 swapFree=4192956/4192956 [pid=11429] ppid=11427 vsize=7000 CPUtime=868.72 /proc/11429/stat : 11429 (pbct) R 11427 11429 10496 0 -1 4202496 1503 0 0 0 73209 13663 0 0 25 0 1 0 4283944 7168000 1376 1992294400 134512640 136485738 4290086624 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11429/statm: 1750 1376 244 482 0 1266 0 Current children cumulated CPU time (s) 868.72 Current children cumulated vsize (KiB) 7000 Child status: 0 Real time (s): 869.087 CPU time (s): 868.813 CPU user time (s): 732.162 CPU system time (s): 136.651 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (KiB): 7000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 732.162 system time used= 136.651 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1509 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= 10664 runsolver used 1.47778 second user time and 4.06938 second system time The end
Begin job on node036 at 2010-06-15 21:25:10 IDJOB=2668205 IDBENCH=24970 IDSOLVER=1170 FILE ID=node036/2668205-1276629910 PBS_JOBID= 11172337 Free space on /tmp= 62524 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-10_20.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668205-1276629910/watcher-2668205-1276629910 -o /tmp/evaluation-result-2668205-1276629910/solver-2668205-1276629910 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668205-1276629910.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dfa433e4e6a88cd1c776cef0a80ce991 RANDOM SEED=1133103888 node036.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.251 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.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1414880 kB Buffers: 86588 kB Cached: 416864 kB SwapCached: 0 kB Active: 206900 kB Inactive: 355960 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1414880 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2188 kB Writeback: 4 kB AnonPages: 59440 kB Mapped: 15380 kB Slab: 59612 kB PageTables: 3992 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179820 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= 62524 MiB End job on node036 at 2010-06-15 21:39:40