Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | OPT | 70998 | 56.1155 | 56.136 |
Name | /OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91.opb |
MD5SUM | 3333a441149c4de45d27ff5fff5e5090 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 70998 |
Best CPU time to get the best result obtained on this benchmark | 2.05569 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 398 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 98 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 300 |
Biggest coefficient in the objective function | 94834 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 10826907 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 94834 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 10826907 |
Number of bits of the biggest sum of numbers | 24 |
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 100/0 clauses 0/0 units 0 0.00/0.00 c vars 398 0.00/0.00 c objective 300 + 0 0.29/0.33 c 0.272958 9.28516 811 31421 0.29/0.33 o 2959635 0.59/0.65 c 0.542917 9.45312 889 64257 0.59/0.65 o 2358525 0.59/0.68 c 0.558915 9.45312 541 66472 0.59/0.68 o 2155596 0.69/0.78 c 0.644901 9.45312 897 76999 0.69/0.78 o 1903429 0.89/0.95 c 0.773882 9.45312 1054 91773 0.89/0.95 o 1644987 1.29/1.38 c 1.13983 9.58594 1513 118336 1.29/1.38 o 1617852 1.39/1.41 c 1.16682 9.58594 854 121238 1.39/1.41 o 1568127 1.59/1.64 c 1.34279 9.58594 921 137910 1.59/1.64 o 1376465 1.89/1.98 c 1.62175 9.58594 799 155364 1.89/1.98 o 1079889 2.20/2.25 c 1.83472 9.58594 1060 160786 2.20/2.25 o 1064734 2.39/2.45 c 1.9967 9.58594 903 166095 2.39/2.45 o 853455 2.99/3.00 c 2.45163 9.58594 1119 173624 2.99/3.00 o 836521 4.59/4.68 c 3.83942 9.58594 1132 207855 4.59/4.68 o 832453 5.49/5.55 c 4.53731 9.58594 863 226116 5.49/5.55 o 828651 6.09/6.11 c 4.98724 9.58594 686 236053 6.09/6.11 o 807879 6.49/6.57 c 5.35719 9.71094 992 242659 6.49/6.57 o 801705 8.19/8.27 c 6.71098 9.71094 861 276232 8.19/8.27 o 795336 8.38/8.49 c 6.89295 9.71094 861 279906 8.38/8.49 o 781303 10.49/10.56 c 8.5657 9.71094 1198 308520 10.49/10.56 o 770617 11.49/11.57 c 9.35658 9.71094 883 327452 11.49/11.57 o 762518 11.59/11.67 c 9.42557 9.71094 825 330216 11.59/11.67 o 761343 11.88/11.96 c 9.66853 9.71094 812 337383 11.88/11.97 o 751746 13.28/13.37 c 10.8004 9.71094 914 365689 13.28/13.37 o 616484 14.59/14.69 c 11.8242 9.71094 1229 376103 14.59/14.69 o 615608 17.08/17.16 c 13.8649 9.83594 1360 398044 17.08/17.16 o 604356 20.48/20.56 c 16.5615 9.83594 984 436820 20.48/20.56 o 587208 21.28/21.30 c 17.1384 9.83594 1021 448013 21.28/21.30 o 584419 21.78/21.84 c 17.5783 9.83594 1142 454756 21.78/21.84 o 580142 21.78/21.87 c 17.6033 9.83594 761 455878 21.78/21.87 o 574917 22.88/22.91 c 18.4012 9.83594 904 468721 22.88/22.91 o 569393 24.98/25.05 c 20.1059 9.83594 698 490821 24.98/25.05 o 567962 25.38/25.42 c 20.4009 9.83594 883 495979 25.38/25.42 o 563138 28.08/28.17 c 22.5876 9.83594 728 517874 28.08/28.17 o 560555 28.48/28.54 c 22.8725 9.83594 930 522089 28.48/28.54 o 544380 28.98/29.00 c 23.2295 9.83594 868 527843 28.98/29.00 o 540410 28.98/29.03 c 23.2525 9.83594 964 528317 28.98/29.03 o 517249 29.18/29.24 c 23.4294 9.83594 1029 531203 29.18/29.24 o 516233 29.38/29.42 c 23.5754 9.83594 890 533409 29.38/29.42 o 507994 29.68/29.75 c 23.8424 9.83594 911 536578 29.68/29.75 o 498277 30.08/30.19 c 24.1963 9.83594 950 541382 30.08/30.19 o 491666 31.18/31.21 c 25.0172 9.83594 866 552328 31.18/31.21 o 484469 31.68/31.79 c 25.4671 9.83594 1125 557906 31.68/31.79 o 471245 31.98/32.09 c 25.7141 9.83594 816 560077 31.98/32.09 o 469779 32.99/33.04 c 26.49 9.83594 875 569560 32.99/33.04 o 442405 33.08/33.13 c 26.562 9.83594 811 571042 33.08/33.13 o 424785 33.57/33.70 c 27.0309 9.83594 774 577230 33.57/33.70 o 410518 33.78/33.82 c 27.1369 9.83594 1171 579164 33.78/33.82 o 406268 35.47/35.50 c 28.4507 9.83594 1030 593622 35.47/35.50 o 406193 35.68/35.79 c 28.6746 9.83594 992 596052 35.68/35.79 o 395319 38.87/38.98 c 31.2033 9.83594 1188 617402 38.87/38.98 o 390706 39.07/39.11 c 31.3082 9.83594 1010 618936 39.07/39.11 o 389334 39.07/39.15 c 31.3412 9.83594 783 619811 39.07/39.15 o 388475 39.07/39.18 c 31.3622 9.83594 828 619973 39.07/39.18 o 385563 39.28/39.38 c 31.5322 9.83594 810 622277 39.28/39.38 o 377532 39.48/39.52 c 31.6392 9.83594 804 623635 39.48/39.52 o 376681 41.18/41.21 c 32.945 9.83594 980 636901 41.18/41.21 o 376675 42.18/42.29 c 33.7929 9.83594 751 645098 42.18/42.29 o 363864 42.37/42.46 c 33.9178 9.83594 826 646259 42.37/42.46 o 356775 43.17/43.25 c 34.5307 9.83594 810 652564 43.17/43.25 o 355395 43.77/43.80 c 34.9667 9.96484 1002 656335 43.77/43.80 o 354866 44.68/44.76 c 35.7456 9.96484 809 664815 44.68/44.76 o 352839 46.27/46.34 c 37.0004 9.96484 1100 676781 46.27/46.34 o 349438 46.38/46.47 c 37.1094 9.96484 1017 678256 46.38/46.47 o 343120 46.58/46.68 c 37.2833 9.96484 778 679948 46.58/46.68 o 330311 47.18/47.22 c 37.7173 9.96484 931 684904 47.18/47.22 o 323410 47.37/47.48 c 37.9252 9.96484 930 687860 47.37/47.48 o 306130 47.47/47.51 c 37.9502 9.96484 994 688336 47.47/47.51 o 301034 48.17/48.23 c 38.4861 9.96484 734 694327 48.17/48.23 o 289206 48.98/49.01 c 39.1151 9.96484 892 699478 48.98/49.01 o 285607 49.77/49.86 c 39.76 9.96484 1027 705905 49.77/49.86 o 280853 49.98/50.03 c 39.8859 9.96484 1050 707369 49.98/50.03 o 275296 50.17/50.27 c 40.0809 9.96484 813 709411 50.17/50.27 o 271912 50.78/50.87 c 40.5548 9.96484 980 713554 50.78/50.87 o 265026 51.87/51.96 c 41.4087 9.96484 1032 722807 51.87/51.96 o 258148 51.98/52.06 c 41.4777 9.96484 883 723785 51.98/52.06 o 255607 52.68/52.74 c 42.0036 9.96484 723 728628 52.68/52.74 o 252302 53.27/53.35 c 42.4755 9.96484 732 733552 53.27/53.35 o 247588 53.37/53.41 c 42.5185 9.96484 903 734238 53.37/53.41 o 230424 53.48/53.58 c 42.6525 9.96484 995 736238 53.48/53.58 o 214602 53.57/53.60 c 42.6695 9.96484 679 736458 53.57/53.60 o 208785 53.88/53.95 c 42.9545 9.96484 796 739771 53.88/53.95 o 201571 53.88/53.97 c 42.9685 9.96484 846 740143 53.88/53.97 o 191845 53.97/54.06 c 43.0365 9.96484 1033 740808 53.97/54.06 o 175305 54.37/54.45 c 43.3244 9.96484 669 743967 54.37/54.45 o 166434 55.07/55.15 c 43.8763 9.96484 1022 749132 55.07/55.15 o 158662 55.27/55.34 c 44.0203 9.96484 740 750763 55.27/55.34 o 158147 55.27/55.38 c 44.0563 9.96484 865 751231 55.27/55.38 o 146906 55.37/55.40 c 44.0703 9.96484 919 751480 55.37/55.40 o 128346 55.47/55.54 c 44.1813 9.96484 867 752499 55.47/55.54 o 123378 55.57/55.61 c 44.2373 9.96484 703 753125 55.57/55.61 o 115070 55.67/55.75 c 44.3403 9.96484 932 753777 55.67/55.75 o 113597 55.78/55.82 c 44.3993 9.96484 733 754775 55.78/55.82 o 98605 55.87/55.91 c 44.4592 9.96484 943 755561 55.87/55.91 o 94030 55.87/55.97 c 44.5092 9.96484 725 756464 55.87/55.97 o 93208 55.98/56.02 c 44.5412 9.96484 799 756687 55.98/56.02 o 88403 55.98/56.03 c 44.5522 9.96484 848 756877 55.98/56.03 o 71863 55.98/56.10 c 44.6072 9.96484 973 757285 55.98/56.10 o 70998 56.08/56.10 c 44.6112 9.96484 977 757302 56.08/56.11 s OPTIMUM FOUND 56.08/56.11 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 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
OK 70998
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669486-1276689926/watcher-2669486-1276689926 -o /tmp/evaluation-result-2669486-1276689926/solver-2669486-1276689926 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669486-1276689926.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.92 0.98 0.99 3/106 15761 /proc/meminfo: memFree=1721908/2059040 swapFree=4135684/4192956 [pid=15761] ppid=15759 vsize=3384 CPUtime=0 /proc/15761/stat : 15761 (pbct) R 15759 15761 15736 0 -1 4202496 523 0 0 0 0 0 0 0 20 0 1 0 44596604 3465216 446 1992294400 134512640 136485738 4286653936 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/15761/statm: 846 447 195 482 0 362 0 [startup+0.0708429 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15761 /proc/meminfo: memFree=1721908/2059040 swapFree=4135684/4192956 [pid=15761] ppid=15759 vsize=9108 CPUtime=0.06 /proc/15761/stat : 15761 (pbct) R 15759 15761 15736 0 -1 4202496 1957 0 0 0 6 0 0 0 20 0 1 0 44596604 9326592 1880 1992294400 134512640 136485738 4286653936 18446744073709551615 134940779 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/15761/statm: 2277 1880 208 482 0 1793 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9108 [startup+0.100845 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15761 /proc/meminfo: memFree=1721908/2059040 swapFree=4135684/4192956 [pid=15761] ppid=15759 vsize=9504 CPUtime=0.09 /proc/15761/stat : 15761 (pbct) R 15759 15761 15736 0 -1 4202496 2063 0 0 0 8 1 0 0 20 0 1 0 44596604 9732096 1986 1992294400 134512640 136485738 4286653936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/15761/statm: 2376 1986 225 482 0 1892 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9504 [startup+0.300865 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15761 /proc/meminfo: memFree=1721908/2059040 swapFree=4135684/4192956 [pid=15761] ppid=15759 vsize=9504 CPUtime=0.29 /proc/15761/stat : 15761 (pbct) R 15759 15761 15736 0 -1 4202496 2072 0 0 0 24 5 0 0 20 0 1 0 44596604 9732096 1995 1992294400 134512640 136485738 4286653936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/15761/statm: 2376 1995 225 482 0 1892 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9504 [startup+0.700906 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15761 /proc/meminfo: memFree=1721908/2059040 swapFree=4135684/4192956 [pid=15761] ppid=15759 vsize=9676 CPUtime=0.69 /proc/15761/stat : 15761 (pbct) R 15759 15761 15736 0 -1 4202496 2123 0 0 0 57 12 0 0 20 0 1 0 44596604 9908224 2043 1992294400 134512640 136485738 4286653936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/15761/statm: 2419 2043 243 482 0 1935 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9676 [startup+1.50099 s] /proc/loadavg: 0.92 0.98 0.99 2/107 15762 /proc/meminfo: memFree=1714584/2059040 swapFree=4135684/4192956 [pid=15761] ppid=15759 vsize=9812 CPUtime=1.49 /proc/15761/stat : 15761 (pbct) R 15759 15761 15736 0 -1 4202496 2163 0 0 0 123 26 0 0 22 0 1 0 44596604 10047488 2079 1992294400 134512640 136485738 4286653936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/15761/statm: 2453 2079 243 482 0 1969 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9812 [startup+3.10115 s] /proc/loadavg: 0.92 0.98 0.99 2/107 15762 /proc/meminfo: memFree=1714212/2059040 swapFree=4135684/4192956 [pid=15761] ppid=15759 vsize=9812 CPUtime=3.09 /proc/15761/stat : 15761 (pbct) R 15759 15761 15736 0 -1 4202496 2168 0 0 0 253 56 0 0 25 0 1 0 44596604 10047488 2079 1992294400 134512640 136485738 4286653936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/15761/statm: 2453 2079 243 482 0 1969 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9812 [startup+6.30148 s] /proc/loadavg: 0.93 0.98 0.99 2/107 15762 /proc/meminfo: memFree=1714088/2059040 swapFree=4135684/4192956 [pid=15761] ppid=15759 vsize=9812 CPUtime=6.29 /proc/15761/stat : 15761 (pbct) R 15759 15761 15736 0 -1 4202496 2182 0 0 0 513 116 0 0 25 0 1 0 44596604 10047488 2090 1992294400 134512640 136485738 4286653936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/15761/statm: 2453 2090 243 482 0 1969 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9812 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/107 15762 /proc/meminfo: memFree=1713840/2059040 swapFree=4135684/4192956 [pid=15761] ppid=15759 vsize=9940 CPUtime=12.68 /proc/15761/stat : 15761 (pbct) R 15759 15761 15736 0 -1 4202496 2215 0 0 0 1025 243 0 0 25 0 1 0 44596604 10178560 2116 1992294400 134512640 136485738 4286653936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/15761/statm: 2485 2116 243 482 0 2001 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 9940 [startup+25.5004 s] /proc/loadavg: 0.95 0.98 0.99 2/107 15762 /proc/meminfo: memFree=1713716/2059040 swapFree=4135684/4192956 [pid=15761] ppid=15759 vsize=10068 CPUtime=25.48 /proc/15761/stat : 15761 (pbct) R 15759 15761 15736 0 -1 4202496 2256 0 0 0 2045 503 0 0 25 0 1 0 44596604 10309632 2147 1992294400 134512640 136485738 4286653936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/15761/statm: 2517 2147 243 482 0 2033 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10068 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/107 15764 /proc/meminfo: memFree=1713716/2059040 swapFree=4135684/4192956 [pid=15761] ppid=15759 vsize=10200 CPUtime=51.07 /proc/15761/stat : 15761 (pbct) R 15759 15761 15736 0 -1 4202496 2318 0 0 0 4072 1035 0 0 25 0 1 0 44596604 10444800 2168 1992294400 134512640 136485738 4286653936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/15761/statm: 2550 2168 243 482 0 2066 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 10200 Solver just ended. Dumping a history of the last processes samples [startup+54.3014 s] /proc/loadavg: 0.97 0.98 0.99 2/107 15764 /proc/meminfo: memFree=1713716/2059040 swapFree=4135684/4192956 [pid=15761] ppid=15759 vsize=10200 CPUtime=54.27 /proc/15761/stat : 15761 (pbct) R 15759 15761 15736 0 -1 4202496 2335 0 0 0 4320 1107 0 0 25 0 1 0 44596604 10444800 2175 1992294400 134512640 136485738 4286653936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/15761/statm: 2550 2175 243 482 0 2066 0 Current children cumulated CPU time (s) 54.27 Current children cumulated vsize (KiB) 10200 [startup+55.1015 s] /proc/loadavg: 0.97 0.98 0.99 2/107 15764 /proc/meminfo: memFree=1713716/2059040 swapFree=4135684/4192956 [pid=15761] ppid=15759 vsize=10200 CPUtime=55.07 /proc/15761/stat : 15761 (pbct) R 15759 15761 15736 0 -1 4202496 2337 0 0 0 4383 1124 0 0 25 0 1 0 44596604 10444800 2176 1992294400 134512640 136485738 4286653936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/15761/statm: 2550 2176 243 482 0 2066 0 Current children cumulated CPU time (s) 55.07 Current children cumulated vsize (KiB) 10200 [startup+55.9016 s] /proc/loadavg: 0.97 0.98 0.99 2/107 15764 /proc/meminfo: memFree=1713716/2059040 swapFree=4135684/4192956 [pid=15761] ppid=15759 vsize=10200 CPUtime=55.87 /proc/15761/stat : 15761 (pbct) R 15759 15761 15736 0 -1 4202496 2350 0 0 0 4445 1142 0 0 25 0 1 0 44596604 10444800 2181 1992294400 134512640 136485738 4286653936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/15761/statm: 2550 2181 243 482 0 2066 0 Current children cumulated CPU time (s) 55.87 Current children cumulated vsize (KiB) 10200 [startup+56.1086 s] /proc/loadavg: 0.97 0.98 0.99 2/107 15764 /proc/meminfo: memFree=1713592/2059040 swapFree=4135684/4192956 [pid=15761] ppid=15759 vsize=10200 CPUtime=56.08 /proc/15761/stat : 15761 (pbct) R 15759 15761 15736 0 -1 4202496 2358 0 0 0 4461 1147 0 0 25 0 1 0 44596604 10444800 2184 1992294400 134512640 136485738 4286653936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/15761/statm: 2550 2184 243 482 0 2066 0 Current children cumulated CPU time (s) 56.08 Current children cumulated vsize (KiB) 10200 Child status: 0 Real time (s): 56.136 CPU time (s): 56.1155 CPU user time (s): 44.6372 CPU system time (s): 11.4783 CPU usage (%): 99.9635 Max. virtual memory (cumulated for all children) (KiB): 10200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 44.6372 system time used= 11.4783 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2364 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= 157 runsolver used 0.102984 second user time and 0.274958 second system time The end
Begin job on node002 at 2010-06-16 14:05:26 IDJOB=2669486 IDBENCH=71854 IDSOLVER=1170 FILE ID=node002/2669486-1276689926 PBS_JOBID= 11172619 Free space on /tmp= 62572 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669486-1276689926/watcher-2669486-1276689926 -o /tmp/evaluation-result-2669486-1276689926/solver-2669486-1276689926 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669486-1276689926.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3333a441149c4de45d27ff5fff5e5090 RANDOM SEED=1956820568 node002.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.242 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.48 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.242 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1722436 kB Buffers: 114812 kB Cached: 127096 kB SwapCached: 10940 kB Active: 107736 kB Inactive: 147536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1722436 kB SwapTotal: 4192956 kB SwapFree: 4135684 kB Dirty: 2088 kB Writeback: 0 kB AnonPages: 11492 kB Mapped: 9336 kB Slab: 59568 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180872 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= 62568 MiB End job on node002 at 2010-06-16 14:06:23