Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 fixed | OPT | 70998 | 316.321 | 316.43 |
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.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.275958 9.21484 811 31421 0.29/0.33 o 2959635 0.59/0.65 c 0.534918 9.38281 889 64257 0.59/0.65 o 2358525 0.69/0.74 c 0.612906 9.38281 734 73710 0.69/0.74 o 2180841 0.69/0.76 c 0.632903 9.38281 786 75623 0.69/0.76 o 2172694 0.89/0.94 c 0.772882 9.38281 985 92745 0.89/0.94 o 2083748 1.19/1.25 c 1.02784 9.38281 1090 122996 1.19/1.25 o 1778506 1.29/1.36 c 1.11483 9.38281 1000 130719 1.29/1.36 o 1741406 1.49/1.58 c 1.2908 9.38281 668 146389 1.49/1.58 o 1299274 2.49/2.52 c 2.03669 9.50781 923 183990 2.49/2.52 o 1136666 2.99/3.09 c 2.48862 9.50781 933 194192 2.99/3.09 o 1136532 3.30/3.36 c 2.69659 9.50781 801 203121 3.30/3.36 o 1070616 4.59/4.60 c 3.69744 9.50781 940 232632 4.59/4.60 o 1012810 7.99/8.06 c 6.49001 9.63281 819 279470 7.99/8.06 o 997132 9.79/9.80 c 7.8948 9.63281 730 309841 9.79/9.80 o 995284 12.18/12.21 c 9.80651 9.63281 1360 356043 12.18/12.21 o 991745 17.29/17.35 c 13.9179 9.75781 1010 444215 17.29/17.35 o 921255 20.08/20.11 c 16.1575 9.75781 1219 465802 20.08/20.11 o 777491 25.09/25.13 c 20.049 9.75781 1297 520011 25.09/25.13 o 766818 26.19/26.22 c 20.9078 9.75781 750 534323 26.19/26.22 o 764505 29.59/29.61 c 23.5854 9.75781 1287 568129 29.59/29.61 o 745433 29.78/29.85 c 23.7774 9.75781 1336 570567 29.78/29.85 o 743929 31.49/31.53 c 25.0992 9.75781 912 585819 31.49/31.53 o 727228 37.18/37.23 c 29.5805 9.75781 1376 639647 37.18/37.23 o 725392 37.48/37.57 c 29.8535 9.75781 1113 644371 37.48/37.57 o 721739 40.07/40.11 c 31.8502 9.75781 755 666972 40.07/40.11 o 721718 47.88/47.98 c 38.1362 9.87109 1310 722501 47.88/47.98 o 712405 50.17/50.28 c 39.9319 9.87109 1020 748013 50.17/50.28 o 690184 70.87/70.95 c 56.3024 9.87109 991 919239 70.87/70.95 o 680177 71.97/72.07 c 57.1683 9.87109 1238 927946 71.97/72.07 o 676249 76.36/76.40 c 60.5278 9.87109 1317 963242 76.36/76.40 o 664510 77.57/77.67 c 61.5126 9.87109 918 972559 77.57/77.67 o 663449 78.67/78.72 c 62.3315 9.87109 804 983788 78.67/78.72 o 653695 88.76/88.81 c 70.2073 9.87109 1110 1065054 88.76/88.81 o 641507 92.86/92.95 c 73.4418 9.87109 822 1098078 92.86/92.95 o 639084 94.47/94.55 c 74.7196 9.87109 1184 1112814 94.47/94.55 o 630338 95.57/95.70 c 75.6205 9.87109 1182 1121758 95.57/95.70 o 626507 100.36/100.41 c 79.3089 9.87109 905 1156712 100.36/100.41 o 620768 100.46/100.55 c 79.4279 9.87109 1095 1157965 100.46/100.55 o 611110 111.95/112.01 c 88.4456 9.87109 1136 1222807 111.95/112.01 o 609558 118.25/118.32 c 93.3758 9.99219 939 1272915 118.25/118.32 o 609275 123.95/124.04 c 97.8241 9.99219 1164 1316915 123.95/124.04 o 604101 124.26/124.39 c 98.1131 9.99219 995 1319712 124.26/124.39 o 603888 131.65/131.78 c 103.863 9.99219 809 1380548 131.65/131.78 o 599409 134.05/134.12 c 105.695 9.99219 991 1398342 134.05/134.12 o 596062 137.35/137.50 c 108.328 9.99219 949 1419684 137.35/137.50 o 585774 141.54/141.60 c 111.573 9.99219 1090 1440078 141.54/141.60 o 579280 147.54/147.66 c 116.247 9.99219 1087 1483899 147.54/147.66 o 576818 150.55/150.65 c 118.569 9.99219 1015 1505378 150.55/150.65 o 569630 153.24/153.35 c 120.655 9.99219 1259 1527402 153.24/153.35 o 558481 154.43/154.54 c 121.588 9.99219 1085 1532873 154.43/154.54 o 557460 156.63/156.75 c 123.325 9.99219 1025 1550042 156.63/156.75 o 557401 166.74/166.82 c 131.191 9.99219 753 1619164 166.74/166.82 o 556106 167.74/167.87 c 132.015 9.99219 1100 1625875 167.74/167.87 o 546407 170.93/171.03 c 134.514 9.99219 924 1642902 170.93/171.03 o 524250 173.13/173.29 c 136.265 9.99219 861 1658209 173.13/173.29 o 517694 177.23/177.39 c 139.478 9.99219 1199 1687718 177.23/177.39 o 516868 183.13/183.27 c 144.046 9.99219 1109 1729599 183.13/183.27 o 515307 183.43/183.53 c 144.253 9.99219 1295 1731299 183.43/183.53 o 507479 185.73/185.81 c 146.031 9.99219 942 1747692 185.73/185.81 o 503953 199.52/199.61 c 156.725 9.99219 1197 1835321 199.52/199.61 o 492436 203.02/203.18 c 159.529 9.99219 660 1859815 203.02/203.18 o 485131 207.22/207.33 c 162.778 9.99219 938 1885864 207.22/207.33 o 478689 229.31/229.43 c 180.02 10.1172 724 2025285 229.31/229.43 o 471642 230.82/230.99 c 181.235 10.1172 1256 2034944 230.82/230.99 o 462317 236.11/236.28 c 185.43 10.1172 1245 2065441 236.11/236.28 o 458472 236.71/236.84 c 185.868 10.1172 1343 2068854 236.71/236.84 o 458305 242.91/243.02 c 190.631 10.1172 881 2109426 242.91/243.02 o 451188 246.00/246.11 c 192.988 10.1172 1300 2129257 246.00/246.11 o 445641 251.11/251.28 c 197.079 10.1172 1188 2162105 251.11/251.28 o 442637 257.10/257.22 c 201.638 10.1172 914 2200102 257.10/257.22 o 435118 259.41/259.57 c 203.463 10.1172 940 2215625 259.41/259.57 o 431615 262.80/262.96 c 206.098 10.1172 1185 2238236 262.80/262.96 o 427670 263.81/263.99 c 206.877 10.1172 904 2245484 263.81/263.99 o 425961 264.30/264.42 c 207.202 10.1172 931 2248458 264.30/264.42 o 417590 265.01/265.18 c 207.785 10.1172 1176 2252898 265.01/265.18 o 415234 267.50/267.60 c 209.666 10.1172 740 2269016 267.50/267.60 o 412063 267.90/268.03 c 209.986 10.1172 1013 2272113 267.90/268.03 o 403758 269.70/269.84 c 211.365 10.1172 1222 2283236 269.70/269.84 o 400565 271.40/271.56 c 212.678 10.1172 952 2293845 271.40/271.56 o 394079 273.90/274.08 c 214.665 10.1172 847 2309889 273.90/274.08 o 375122 275.91/276.03 c 216.195 10.1172 1105 2322145 275.91/276.03 o 358333 278.39/278.50 c 218.106 10.1172 864 2335744 278.39/278.50 o 348462 279.20/279.37 c 218.765 10.1172 1093 2341763 279.20/279.37 o 346562 279.60/279.79 c 219.083 10.1172 753 2344234 279.60/279.79 o 343725 282.20/282.39 c 221.051 10.1172 854 2357967 282.20/282.39 o 333921 284.50/284.60 c 222.741 10.1172 1003 2371145 284.50/284.60 o 333686 284.89/285.09 c 223.117 10.1172 1028 2374024 284.89/285.09 o 331915 285.49/285.66 c 223.555 10.1172 864 2377799 285.49/285.66 o 323558 289.69/289.80 c 226.737 10.1172 1015 2403623 289.69/289.80 o 315553 289.99/290.10 c 226.962 10.1172 829 2405117 289.99/290.10 o 310173 290.30/290.44 c 227.229 10.1172 1052 2406881 290.30/290.44 o 309306 294.49/294.62 c 230.522 10.1172 1282 2430533 294.49/294.62 o 297459 296.80/296.94 c 232.273 10.1172 914 2443556 296.80/296.94 o 294373 297.09/297.27 c 232.524 10.1172 1220 2445196 297.09/297.27 o 292872 297.19/297.32 c 232.568 10.1172 799 2445768 297.19/297.32 o 290670 297.49/297.65 c 232.826 10.1172 1324 2447992 297.49/297.65 o 290215 299.59/299.70 c 234.43 10.1172 942 2459467 299.59/299.70 o 286739 300.89/301.03 c 235.415 10.1172 788 2466457 300.89/301.03 o 282372 301.69/301.86 c 236.026 10.1172 1019 2472030 301.69/301.86 o 271616 303.29/303.46 c 237.248 10.1172 1023 2481754 303.29/303.46 o 271228 303.39/303.57 c 237.337 10.1172 906 2482675 303.39/303.57 o 264544 305.38/305.55 c 238.89 10.1172 805 2493964 305.38/305.55 o 252371 307.29/307.46 c 240.352 10.1172 1184 2503485 307.29/307.46 o 251378 307.38/307.58 c 240.457 10.1172 937 2504388 307.38/307.58 o 244008 308.78/308.96 c 241.505 10.1172 833 2512295 308.78/308.96 o 236401 309.88/310.03 c 242.339 10.1172 731 2519126 309.88/310.03 o 236093 310.68/310.87 c 242.998 10.1172 831 2524674 310.68/310.87 o 231923 310.88/311.05 c 243.134 10.1172 806 2525454 310.88/311.05 o 224195 311.78/311.96 c 243.836 10.1172 864 2530521 311.78/311.96 o 217804 312.69/312.84 c 244.517 10.2422 1229 2534659 312.69/312.84 o 203495 313.39/313.59 c 245.09 10.2422 1011 2539062 313.39/313.59 o 191392 314.09/314.28 c 245.605 10.2422 776 2542752 314.09/314.28 o 180406 314.50/314.68 c 245.925 10.2422 818 2545381 314.50/314.68 o 167829 314.79/314.98 c 246.146 10.2422 682 2546918 314.79/314.98 o 160934 314.98/315.10 c 246.244 10.2422 966 2547620 314.98/315.10 o 156912 315.08/315.29 c 246.387 10.2422 970 2548805 315.08/315.29 o 135966 315.29/315.41 c 246.483 10.2422 830 2549705 315.29/315.41 o 135178 315.29/315.48 c 246.532 10.2422 983 2550167 315.29/315.48 o 127044 315.38/315.55 c 246.588 10.2422 690 2550544 315.38/315.55 o 117838 315.49/315.65 c 246.665 10.2422 883 2551179 315.49/315.65 o 107376 315.78/315.99 c 246.937 10.2422 731 2552948 315.78/315.99 o 104055 315.98/316.10 c 247.023 10.2422 992 2553572 315.98/316.10 o 103625 316.09/316.25 c 247.127 10.2422 964 2554582 316.09/316.25 o 87008 316.09/316.28 c 247.158 10.2422 1040 2554815 316.09/316.28 o 70998 316.28/316.40 c 247.244 10.2422 647 2555392 316.28/316.40 s OPTIMUM FOUND 316.28/316.40 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-2683080-1277506537/watcher-2683080-1277506537 -o /tmp/evaluation-result-2683080-1277506537/solver-2683080-1277506537 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2683080-1277506537.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 1.00 0.99 3/106 25387 /proc/meminfo: memFree=1873604/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=3312 CPUtime=0 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 532 0 0 0 0 0 0 0 25 0 1 0 126257167 3391488 451 1992294400 134512640 136421960 4287217232 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 828 452 191 467 0 359 0 [startup+0.0779161 s] /proc/loadavg: 0.92 1.00 0.99 3/106 25387 /proc/meminfo: memFree=1873604/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=9432 CPUtime=0.06 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2051 0 0 0 6 0 0 0 25 0 1 0 126257167 9658368 1970 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2358 1970 212 467 0 1889 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9432 [startup+0.101919 s] /proc/loadavg: 0.92 1.00 0.99 3/106 25387 /proc/meminfo: memFree=1873604/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=9432 CPUtime=0.09 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2053 0 0 0 8 1 0 0 25 0 1 0 126257167 9658368 1972 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2358 1972 213 467 0 1889 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9432 [startup+0.301956 s] /proc/loadavg: 0.92 1.00 0.99 3/106 25387 /proc/meminfo: memFree=1873604/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=9432 CPUtime=0.29 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2062 0 0 0 25 4 0 0 25 0 1 0 126257167 9658368 1981 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2358 1981 213 467 0 1889 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9432 [startup+0.701032 s] /proc/loadavg: 0.92 1.00 0.99 3/106 25387 /proc/meminfo: memFree=1873604/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=9604 CPUtime=0.69 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2117 0 0 0 57 12 0 0 25 0 1 0 126257167 9834496 2034 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2401 2034 236 467 0 1932 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9604 [startup+1.50118 s] /proc/loadavg: 0.92 1.00 0.99 2/107 25388 /proc/meminfo: memFree=1866280/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=9604 CPUtime=1.49 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2129 0 0 0 122 27 0 0 25 0 1 0 126257167 9834496 2041 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2401 2041 236 467 0 1932 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9604 [startup+3.10148 s] /proc/loadavg: 0.92 1.00 0.99 2/107 25388 /proc/meminfo: memFree=1866032/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=9732 CPUtime=3.09 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2170 0 0 0 249 60 0 0 25 0 1 0 126257167 9965568 2079 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2433 2079 236 467 0 1964 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9732 [startup+6.30107 s] /proc/loadavg: 0.93 1.00 0.99 2/107 25388 /proc/meminfo: memFree=1865908/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=9860 CPUtime=6.29 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2177 0 0 0 505 124 0 0 25 0 1 0 126257167 10096640 2084 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2465 2084 236 467 0 1996 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9860 [startup+12.7012 s] /proc/loadavg: 0.94 1.00 0.99 2/107 25388 /proc/meminfo: memFree=1865660/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=9860 CPUtime=12.69 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2206 0 0 0 1020 249 0 0 25 0 1 0 126257167 10096640 2110 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2465 2110 236 467 0 1996 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9860 [startup+25.5016 s] /proc/loadavg: 1.03 1.01 1.00 2/107 25388 /proc/meminfo: memFree=1865536/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=9988 CPUtime=25.48 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2230 0 0 0 2033 515 0 0 25 0 1 0 126257167 10227712 2131 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2497 2131 236 467 0 2028 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9988 [startup+51.1013 s] /proc/loadavg: 1.02 1.01 1.00 2/107 25390 /proc/meminfo: memFree=1865412/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=10104 CPUtime=51.08 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2263 0 0 0 4058 1050 0 0 25 0 1 0 126257167 10346496 2155 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2526 2155 236 467 0 2057 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 10104 [startup+102.308 s] /proc/loadavg: 1.06 1.02 1.00 2/107 25390 /proc/meminfo: memFree=1865288/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=10104 CPUtime=102.26 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2287 0 0 0 8080 2146 0 0 25 0 1 0 126257167 10346496 2168 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2526 2168 236 467 0 2057 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 10104 [startup+162.302 s] /proc/loadavg: 1.07 1.03 1.00 2/107 25392 /proc/meminfo: memFree=1865040/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=10228 CPUtime=162.24 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2327 0 0 0 12767 3457 0 0 25 0 1 0 126257167 10473472 2195 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2557 2195 236 467 0 2088 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 10228 [startup+222.301 s] /proc/loadavg: 1.07 1.04 1.00 2/107 25394 /proc/meminfo: memFree=1864916/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=10356 CPUtime=222.22 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2350 0 0 0 17445 4777 0 0 25 0 1 0 126257167 10604544 2207 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2589 2207 236 467 0 2120 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 10356 [startup+282.301 s] /proc/loadavg: 1.07 1.04 1.00 2/107 25396 /proc/meminfo: memFree=1864668/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=10356 CPUtime=282.2 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2389 0 0 0 22098 6122 0 0 25 0 1 0 126257167 10604544 2224 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2589 2224 236 467 0 2120 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 10356 Solver just ended. Dumping a history of the last processes samples [startup+294.301 s] /proc/loadavg: 1.05 1.04 1.00 2/107 25396 /proc/meminfo: memFree=1864668/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=10356 CPUtime=294.19 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2405 0 0 0 23025 6394 0 0 25 0 1 0 126257167 10604544 2233 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2589 2233 236 467 0 2120 0 Current children cumulated CPU time (s) 294.19 Current children cumulated vsize (KiB) 10356 [startup+307.101 s] /proc/loadavg: 1.12 1.06 1.00 2/107 25396 /proc/meminfo: memFree=1864668/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=10356 CPUtime=306.99 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2418 0 0 0 24008 6691 0 0 25 0 1 0 126257167 10604544 2235 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2589 2235 236 467 0 2120 0 Current children cumulated CPU time (s) 306.99 Current children cumulated vsize (KiB) 10356 [startup+310.3 s] /proc/loadavg: 1.11 1.05 1.00 2/107 25396 /proc/meminfo: memFree=1864668/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=10356 CPUtime=310.18 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2425 0 0 0 24254 6764 0 0 25 0 1 0 126257167 10604544 2238 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2589 2238 236 467 0 2120 0 Current children cumulated CPU time (s) 310.18 Current children cumulated vsize (KiB) 10356 [startup+313.509 s] /proc/loadavg: 1.10 1.05 1.00 2/107 25396 /proc/meminfo: memFree=1864668/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=10484 CPUtime=313.39 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2431 0 0 0 24501 6838 0 0 25 0 1 0 126257167 10735616 2240 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2621 2240 236 467 0 2152 0 Current children cumulated CPU time (s) 313.39 Current children cumulated vsize (KiB) 10484 [startup+315.101 s] /proc/loadavg: 1.10 1.05 1.00 2/107 25396 /proc/meminfo: memFree=1864668/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=10484 CPUtime=314.98 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2437 0 0 0 24623 6875 0 0 25 0 1 0 126257167 10735616 2242 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2621 2242 236 467 0 2152 0 Current children cumulated CPU time (s) 314.98 Current children cumulated vsize (KiB) 10484 [startup+315.9 s] /proc/loadavg: 1.10 1.05 1.00 2/107 25396 /proc/meminfo: memFree=1864668/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=10484 CPUtime=315.78 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2447 0 0 0 24685 6893 0 0 25 0 1 0 126257167 10735616 2246 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2621 2246 236 467 0 2152 0 Current children cumulated CPU time (s) 315.78 Current children cumulated vsize (KiB) 10484 [startup+316.3 s] /proc/loadavg: 1.10 1.05 1.00 2/107 25396 /proc/meminfo: memFree=1864668/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=10484 CPUtime=316.19 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2454 0 0 0 24717 6902 0 0 25 0 1 0 126257167 10735616 2249 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2621 2249 236 467 0 2152 0 Current children cumulated CPU time (s) 316.19 Current children cumulated vsize (KiB) 10484 [startup+316.4 s] /proc/loadavg: 1.10 1.05 1.00 2/107 25396 /proc/meminfo: memFree=1864668/2059040 swapFree=4139052/4192956 [pid=25387] ppid=25385 vsize=10484 CPUtime=316.28 /proc/25387/stat : 25387 (pbct) R 25385 25387 25305 0 -1 4202496 2454 0 0 0 24724 6904 0 0 25 0 1 0 126257167 10735616 2249 1992294400 134512640 136421960 4287217232 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25387/statm: 2621 2249 236 467 0 2152 0 Current children cumulated CPU time (s) 316.28 Current children cumulated vsize (KiB) 10484 Child status: 0 Real time (s): 316.43 CPU time (s): 316.321 CPU user time (s): 247.27 CPU system time (s): 69.0505 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 10484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 247.27 system time used= 69.0505 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2459 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= 3729 runsolver used 0.565913 second user time and 1.46978 second system time The end
Begin job on node007 at 2010-06-26 00:55:37 IDJOB=2683080 IDBENCH=71854 IDSOLVER=1192 FILE ID=node007/2683080-1277506537 PBS_JOBID= 11190641 Free space on /tmp= 62328 MiB SOLVER NAME= PB/CT 0.1 fixed 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-2683080-1277506537/watcher-2683080-1277506537 -o /tmp/evaluation-result-2683080-1277506537/solver-2683080-1277506537 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2683080-1277506537.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3333a441149c4de45d27ff5fff5e5090 RANDOM SEED=1417769605 node007.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.264 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.52 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.264 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1874008 kB Buffers: 23340 kB Cached: 77488 kB SwapCached: 6432 kB Active: 20848 kB Inactive: 93072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1874008 kB SwapTotal: 4192956 kB SwapFree: 4139052 kB Dirty: 1820 kB Writeback: 0 kB AnonPages: 11680 kB Mapped: 11908 kB Slab: 48968 kB PageTables: 4056 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182104 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= 62324 MiB End job on node007 at 2010-06-26 01:00:54