Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.4.8-gmp | ? (TO) | 30976 | 1800.09 | 1800.02 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-pk1.opb |
MD5SUM | 064c172c08e0726f78b89fe587697d96 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 48128 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 50176 |
Optimality of the best value was proved | NO |
Number of variables | 985 |
Total number of constraints | 45 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 45 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 115 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 2150078462 |
Number of bits of the biggest sum of numbers | 32 |
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 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 0.59/0.63 o 536870912 0.59/0.64 o 536805376 0.79/0.83 o 536803328 11.89/12.00 o 536541192 11.89/12.01 o 536410120 11.89/12.01 o 536377352 12.00/12.02 o 536360968 12.00/12.02 o 536356872 12.00/12.03 o 534259720 12.00/12.04 o 533211144 12.00/12.04 o 529016840 12.00/12.05 o 520628232 12.00/12.06 o 520103944 12.00/12.06 o 520095752 12.00/12.07 o 520095744 12.00/12.07 o 520093696 12.00/12.08 o 503316480 12.00/12.09 o 369098752 14.39/14.40 o 268173312 14.39/14.42 o 267911168 14.39/14.43 o 266862592 14.39/14.44 o 264765440 14.39/14.46 o 264503296 14.39/14.47 o 247726080 14.99/15.05 o 234874888 14.99/15.06 o 234874880 14.99/15.07 o 234872832 14.99/15.08 o 234807296 14.99/15.08 o 234799104 14.99/15.09 o 234668032 14.99/15.10 o 234651648 15.09/15.10 o 234618880 15.09/15.11 o 234356736 15.09/15.12 o 233308160 15.09/15.12 o 216530944 15.09/15.13 o 208142336 15.09/15.14 o 203948032 15.09/15.15 o 203685888 15.09/15.16 o 201588736 16.89/16.95 o 201490432 16.89/16.96 o 201457664 16.89/16.97 o 201424896 16.89/16.99 o 201424384 16.99/17.00 o 201424256 16.99/17.01 o 201424224 16.99/17.01 o 201424222 16.99/17.02 o 201424221 16.99/17.02 o 201424220 16.99/17.03 o 201424216 16.99/17.05 o 201424212 16.99/17.05 o 201424196 16.99/17.06 o 201423972 16.99/17.06 o 201423968 16.99/17.07 o 201423964 16.99/17.07 o 201423960 16.99/17.08 o 201423944 16.99/17.09 o 201423936 16.99/17.09 o 201423904 17.09/17.10 o 201423892 17.09/17.11 o 201423888 17.09/17.12 o 201423880 17.09/17.13 o 201423872 18.10/18.15 o 201420799 18.10/18.15 o 201412607 18.10/18.16 o 201396223 18.10/18.17 o 201394175 18.10/18.18 o 201394174 18.10/18.18 o 201394172 18.10/18.19 o 201394168 18.20/18.20 o 201394160 18.20/18.21 o 201394096 18.20/18.21 o 201393584 18.20/18.22 o 201393552 18.20/18.23 o 201393536 18.20/18.24 o 201328000 18.20/18.25 o 201327872 18.20/18.26 o 201327616 18.20/18.27 o 201326592 18.20/18.28 o 134217728 18.40/18.49 o 67503104 18.50/18.50 o 67502080 18.50/18.51 o 67371008 18.50/18.56 o 67110272 18.50/18.57 o 67110016 18.50/18.58 o 67109888 18.50/18.59 o 67109760 18.50/18.61 o 67109504 18.50/18.61 o 67109440 18.60/18.62 o 67109412 18.60/18.62 o 67109411 18.60/18.63 o 67109410 18.60/18.64 o 67109409 18.60/18.64 o 67109380 18.60/18.65 o 67109378 18.60/18.65 o 67109377 18.60/18.66 o 67109376 18.60/18.67 o 67108864 19.60/19.66 o 66322559 19.60/19.67 o 66322557 19.60/19.68 o 66322493 19.60/19.68 o 66322492 19.60/19.69 o 66322476 19.60/19.70 o 66322468 19.60/19.70 o 66322436 19.60/19.71 o 66322432 19.70/19.72 o 62128128 19.70/19.72 o 61079552 19.70/19.73 o 58982400 19.70/19.74 o 58720256 19.70/19.74 o 56623104 19.70/19.75 o 56377344 19.70/19.76 o 56361984 19.70/19.76 o 56361856 19.70/19.77 o 56361792 19.70/19.78 o 56361776 19.70/19.78 o 56361775 19.70/19.79 o 56361771 19.70/19.80 o 56361770 19.70/19.81 o 56361768 19.70/19.81 o 56361760 19.81/19.82 o 56361739 19.81/19.82 o 56361737 19.81/19.83 o 56361736 19.81/19.84 o 56076800 19.81/19.85 o 56076288 19.81/19.85 o 55945216 19.81/19.86 o 55879680 19.81/19.86 o 55846912 19.81/19.87 o 55844864 19.81/19.88 o 55837472 19.81/19.88 o 55837448 19.89/19.91 o 55810816 19.89/19.92 o 55810560 19.89/19.93 o 55810048 19.89/19.93 o 55808000 19.89/19.94 o 55676928 19.89/19.95 o 55611392 19.89/19.95 o 55578624 19.89/19.96 o 54530048 19.89/19.96 o 54525952 19.89/19.97 o 52428800 19.89/19.98 o 51904512 19.89/19.98 o 51643168 19.89/19.99 o 51643144 19.99/20.00 o 51643136 19.99/20.02 o 51380992 29.90/29.92 o 51217376 29.90/29.93 o 51217344 29.90/29.93 o 51217088 29.90/29.94 o 51216576 29.90/29.94 o 51216448 29.90/29.95 o 51216384 29.90/29.96 o 51150848 29.90/29.98 o 51118144 29.90/29.99 o 51118112 30.00/30.00 o 51118111 30.00/30.01 o 51118109 30.00/30.01 o 51118101 30.00/30.02 o 51118097 30.00/30.02 o 51118096 30.00/30.03 o 51118080 44.10/44.16 o 46659600 44.10/44.17 o 46651408 44.10/44.18 o 46647312 44.10/44.19 o 46647296 44.10/44.20 o 46645248 44.20/44.23 o 46514176 44.20/44.24 o 46252032 44.20/44.24 o 46235648 44.20/44.25 o 46233600 44.20/44.26 o 46232608 44.20/44.26 o 46232576 44.20/44.27 o 46231808 44.20/44.28 o 46231712 44.20/44.28 o 46231704 44.20/44.29 o 46228120 44.30/44.30 o 46228104 44.30/44.30 o 46227976 44.30/44.31 o 46227968 44.30/44.32 o 46227608 44.30/44.35 o 46227583 44.30/44.36 o 46227582 44.30/44.37 o 46227580 44.30/44.37 o 46227576 44.30/44.38 o 46227568 44.30/44.38 o 46227552 44.30/44.39 o 46227520 44.30/44.40 o 46227473 44.40/44.40 o 46227472 44.80/44.88 o 46227456 44.80/44.89 o 46211072 44.80/44.90 o 46145536 44.90/44.90 o 46137344 44.90/44.91 o 41943040 44.90/44.96 o 33562624 44.90/44.96 o 33561728 44.90/44.97 o 33561680 44.90/44.98 o 33561664 44.90/44.99 o 33561600 45.20/45.28 o 33560576 45.20/45.29 o 33558528 45.30/45.30 o 33554432 46.50/46.59 o 31462260 46.50/46.59 o 31462196 46.60/46.60 o 31462192 46.60/46.61 o 31462160 46.60/46.61 o 31462144 46.60/46.62 o 31461888 46.60/46.63 o 31461376 46.60/46.63 o 31457280 46.60/46.64 o 27267072 46.60/46.65 o 25169920 46.60/46.66 o 25165824 46.60/46.66 o 18874368 46.60/46.69 o 16777984 46.60/46.69 o 16777728 46.69/46.70 o 16777472 46.69/46.72 o 16777232 46.69/46.73 o 16777220 46.69/46.74 o 16777216 47.99/48.08 o 16752660 47.99/48.09 o 16752644 47.99/48.09 o 16752640 48.09/48.10 o 16744448 48.09/48.11 o 16711680 48.09/48.11 o 16646144 48.09/48.12 o 16515072 48.09/48.13 o 16482304 48.09/48.14 o 16449536 48.19/48.23 o 16416768 48.19/48.24 o 16412672 48.19/48.25 o 16404480 48.19/48.26 o 16388096 48.19/48.27 o 16387076 48.19/48.27 o 16387074 48.19/48.28 o 16386050 48.19/48.28 o 16386048 48.19/48.29 o 16384004 48.19/48.30 o 16384001 48.19/48.31 o 16384000 49.09/49.11 o 16382005 49.09/49.11 o 16381973 49.09/49.12 o 16381957 49.09/49.12 o 16381956 49.09/49.13 o 16381952 49.09/49.14 o 16379904 49.09/49.14 o 16347136 49.09/49.15 o 16281600 49.09/49.15 o 15757312 49.09/49.16 o 15740928 49.09/49.17 o 15736832 49.09/49.17 o 15728640 49.09/49.18 o 14680064 49.09/49.18 o 12582912 49.09/49.19 o 11534336 49.19/49.23 o 9449472 49.19/49.23 o 9447936 49.19/49.24 o 9445888 49.19/49.25 o 9441792 49.19/49.25 o 9439744 49.19/49.26 o 9439736 49.19/49.27 o 9439734 49.30/49.35 o 9439730 49.30/49.36 o 9439728 49.30/49.36 o 9439718 49.30/49.37 o 9439716 49.30/49.37 o 9439714 49.40/49.45 o 9439712 49.40/49.45 o 9439680 49.40/49.46 o 9439664 49.40/49.47 o 9439650 49.51/49.57 o 9439640 49.51/49.57 o 9439624 49.51/49.58 o 9439618 49.60/49.65 o 9439524 49.60/49.66 o 9439520 49.60/49.66 o 9439490 49.60/49.67 o 9439488 49.60/49.69 o 9439232 49.80/49.83 o 9437184 49.80/49.85 o 8388609 49.80/49.86 o 8388608 49.80/49.88 o 8355840 49.80/49.89 o 8351744 49.90/49.98 o 8255488 49.90/49.98 o 8253440 49.90/49.99 o 8245248 50.00/50.00 o 8228864 50.00/50.00 o 8224768 50.00/50.03 o 8208384 50.00/50.04 o 8207266 50.00/50.05 o 8207264 50.00/50.06 o 8207232 50.00/50.07 o 8207104 50.00/50.07 o 8207074 50.00/50.08 o 8207072 50.00/50.09 o 8207040 50.00/50.09 o 8207010 50.10/50.11 o 8207008 50.10/50.11 o 8206752 50.10/50.12 o 8206720 50.10/50.13 o 8206592 50.10/50.13 o 8206498 50.10/50.15 o 8205944 50.10/50.16 o 8205912 50.10/50.16 o 8205904 50.10/50.17 o 8205888 50.10/50.18 o 8205824 50.10/50.18 o 8205312 50.10/50.19 o 8201216 50.10/50.20 o 8200192 50.20/50.20 o 8198656 50.20/50.21 o 8198400 50.20/50.22 o 8198336 50.20/50.22 o 8198312 50.20/50.23 o 8198310 50.20/50.24 o 8198308 50.20/50.25 o 8198306 50.20/50.26 o 8198304 50.20/50.26 o 8198280 50.20/50.27 o 8198276 50.20/50.28 o 8198274 50.40/50.48 o 8198272 50.40/50.48 o 8197120 50.40/50.49 o 8196608 50.40/50.50 o 8196352 50.40/50.51 o 8196224 50.40/50.51 o 8194048 50.50/50.52 o 8192512 50.50/50.53 o 8192256 50.50/50.53 o 8192128 50.80/50.87 o 8192000 50.80/50.88 o 8126464 50.80/50.89 o 7864320 50.90/50.91 o 7667712 50.90/50.91 o 7610368 50.90/50.92 o 7604224 50.90/50.92 o 7603328 50.90/50.93 o 7603232 50.90/50.94 o 7603204 50.90/50.95 o 7603200 51.10/51.13 o 7603199 51.10/51.14 o 7603197 51.10/51.15 o 7603196 51.10/51.15 o 7603164 51.10/51.16 o 7603160 51.10/51.17 o 7603032 51.10/51.17 o 7603024 51.10/51.18 o 7603008 51.10/51.19 o 7602944 51.10/51.19 o 7602432 51.20/51.20 o 7602176 51.20/51.22 o 7340032 51.20/51.27 o 6816064 51.20/51.27 o 6816000 51.20/51.28 o 6815744 51.30/51.32 o 6619136 51.30/51.33 o 6579200 51.30/51.33 o 6579008 51.30/51.34 o 6578993 51.30/51.35 o 6578992 51.30/51.35 o 6578976 51.30/51.36 o 6578944 51.30/51.37 o 6578496 51.30/51.37 o 6578481 54.70/54.73 o 6578479 54.70/54.74 o 6578478 54.70/54.75 o 6578470 54.70/54.76 o 6578466 54.70/54.77 o 6578464 54.70/54.77 o 6578208 54.70/54.78 o 6578176 54.70/54.79 o 6561792 54.80/54.80 o 6553600 54.80/54.80 o 6291456 54.80/54.81 o 6234624 54.80/54.82 o 6234210 54.80/54.83 o 6234208 56.80/56.86 o 6234160 56.80/56.86 o 6234144 56.80/56.87 o 6234112 56.80/56.88 o 6103040 56.80/56.89 o 6094864 56.90/56.90 o 6094849 56.90/56.91 o 6094848 57.10/57.17 o 6094847 57.10/57.18 o 6094831 57.10/57.19 o 6094799 57.10/57.19 o 6086607 57.10/57.20 o 6082511 57.10/57.21 o 6082509 57.21/57.22 o 6082501 57.21/57.22 o 6081989 57.21/57.23 o 6081985 57.21/57.24 o 6065601 57.21/57.24 o 6064577 57.21/57.25 o 6064449 57.21/57.26 o 6064448 57.21/57.26 o 6064384 57.21/57.27 o 6064128 57.21/57.28 o 5539840 57.21/57.28 o 5537792 57.21/57.29 o 5275648 57.30/57.30 o 5242880 57.30/57.31 o 4980736 57.30/57.31 o 4947968 57.30/57.32 o 4946272 57.30/57.32 o 4946257 57.30/57.33 o 4946256 57.30/57.34 o 4946112 57.30/57.35 o 4946048 57.30/57.35 o 4944000 57.30/57.36 o 4943872 57.30/57.36 o 4942208 57.30/57.37 o 4942176 57.30/57.38 o 4942160 58.40/58.49 o 4194303 58.50/58.50 o 4194239 58.50/58.51 o 4194231 58.50/58.52 o 4194229 58.50/58.53 o 4194225 58.50/58.54 o 4194224 58.50/58.55 o 4194192 58.50/58.55 o 4194176 58.50/58.56 o 4194048 58.50/58.57 o 4193792 58.50/58.58 o 4192768 58.60/58.60 o 4192256 58.60/58.61 o 4190208 58.60/58.62 o 4186112 58.60/58.63 o 4185600 58.60/58.64 o 4185592 58.60/58.64 o 4185587 58.60/58.65 o 4185566 58.60/58.66 o 4185558 58.60/58.67 o 4185556 58.60/58.67 o 4185555 58.60/58.68 o 4185507 58.60/58.69 o 4185506 58.60/58.69 o 4185504 58.70/58.70 o 4185491 58.70/58.72 o 4185489 58.70/58.72 o 4185473 58.70/58.73 o 4185217 58.70/58.74 o 4185089 58.70/58.74 o 4185088 58.70/58.75 o 4184467 58.70/58.75 o 4184463 58.70/58.76 o 4184462 58.70/58.77 o 4184460 58.70/58.77 o 4184332 58.70/58.78 o 4184328 58.70/58.79 o 4184320 58.80/58.80 o 4184067 58.80/58.81 o 4184066 58.80/58.82 o 4184064 58.80/58.88 o 4182016 58.80/58.89 o 4177920 58.90/58.90 o 4112384 58.90/58.91 o 4111367 58.90/58.91 o 4111366 58.90/58.92 o 4111364 58.90/58.93 o 4109316 58.90/58.93 o 4109312 58.90/58.94 o 4108288 58.90/58.97 o 4104193 58.90/58.98 o 4104192 58.90/58.99 o 4102144 58.90/58.99 o 4101408 59.00/59.00 o 4101396 59.00/59.01 o 4101392 59.00/59.02 o 4100384 59.00/59.02 o 4100368 59.00/59.03 o 3506432 59.00/59.04 o 3506176 59.00/59.05 o 3473408 59.00/59.06 o 3211264 59.00/59.06 o 3145728 59.10/59.11 o 2883584 59.10/59.14 o 2621440 59.10/59.15 o 2551812 59.10/59.16 o 2551808 59.20/59.20 o 2519044 59.20/59.21 o 2519040 59.20/59.22 o 2510848 59.20/59.22 o 2502656 59.20/59.23 o 2498560 59.20/59.25 o 2494464 59.20/59.29 o 2491685 59.20/59.30 o 2491681 59.20/59.31 o 2491680 59.20/59.31 o 2491648 59.30/59.32 o 2491392 59.30/59.33 o 2490368 59.30/59.33 o 2428960 59.30/59.34 o 2428939 59.30/59.35 o 2428938 59.30/59.35 o 2428936 59.30/59.36 o 2428928 59.30/59.37 o 2427904 59.90/59.98 o 2426880 60.00/60.01 o 2361344 60.00/60.01 o 2359296 60.00/60.02 o 2097152 60.00/60.09 o 1381476 60.00/60.09 o 1381412 60.09/60.10 o 1377316 60.09/60.11 o 1377284 60.09/60.12 o 1377280 60.09/60.16 o 1376356 60.09/60.17 o 1376292 60.09/60.18 o 1376260 60.09/60.18 o 1376256 60.19/60.20 o 1310720 60.19/60.23 o 1179648 60.19/60.28 o 1048576 60.19/60.29 o 917504 60.40/60.42 o 869380 60.40/60.42 o 869376 60.40/60.45 o 868352 60.79/60.85 o 819195 60.79/60.85 o 818171 60.79/60.86 o 817915 60.79/60.87 o 817403 60.79/60.87 o 817387 60.79/60.88 o 817259 60.79/60.89 o 817258 60.79/60.89 o 817250 60.89/60.90 o 817186 60.89/60.91 o 817184 60.89/60.91 o 817152 60.89/60.93 o 815152 60.89/60.93 o 815147 60.89/60.94 o 815146 60.89/60.95 o 815145 60.89/60.96 o 815144 60.89/60.96 o 815136 60.89/60.97 o 815120 60.89/60.97 o 815114 60.89/60.98 o 815113 60.89/60.99 o 815112 60.89/61.00 o 815106 60.99/61.00 o 815104 60.99/61.02 o 811056 60.99/61.03 o 811024 60.99/61.04 o 811008 60.99/61.09 o 802864 61.09/61.10 o 802863 61.09/61.11 o 802861 61.09/61.12 o 802860 61.09/61.13 o 802857 61.09/61.13 o 802849 61.09/61.14 o 802833 61.09/61.14 o 802832 61.09/61.15 o 802828 61.09/61.16 o 802824 62.49/62.52 o 802823 62.49/62.53 o 802819 62.49/62.54 o 802818 63.09/63.19 o 786245 63.19/63.20 o 786244 63.19/63.21 o 786240 63.19/63.22 o 786176 63.19/63.22 o 785920 63.19/63.23 o 785408 63.19/63.24 o 783360 63.19/63.24 o 782336 63.19/63.25 o 778240 63.19/63.26 o 776128 63.19/63.27 o 776100 63.19/63.27 o 776098 63.19/63.28 o 776096 63.19/63.29 o 776088 63.29/63.30 o 776080 63.29/63.31 o 775888 63.29/63.31 o 775856 63.29/63.32 o 775840 63.29/63.33 o 775808 63.29/63.33 o 775712 63.29/63.34 o 775424 63.29/63.34 o 775296 63.29/63.35 o 775200 63.70/63.79 o 775176 63.70/63.79 o 775168 63.70/63.80 o 774144 63.70/63.81 o 770048 63.81/63.82 o 757760 63.81/63.83 o 753664 63.81/63.85 o 720896 64.09/64.13 o 693248 64.09/64.13 o 692224 64.09/64.14 o 688128 64.09/64.15 o 659456 64.09/64.17 o 654344 64.09/64.18 o 654336 64.09/64.19 o 653824 64.09/64.19 o 653440 64.19/64.20 o 653376 64.19/64.21 o 653368 64.19/64.22 o 653360 64.19/64.23 o 653359 64.19/64.24 o 653351 64.19/64.25 o 653350 64.19/64.25 o 653348 64.19/64.26 o 653344 73.49/73.61 o 653311 73.49/73.61 o 653303 73.60/73.62 o 652791 73.60/73.63 o 652787 73.60/73.64 o 652771 73.60/73.64 o 652769 73.60/73.65 o 652705 73.60/73.66 o 652673 73.60/73.66 o 652417 73.60/73.67 o 652416 73.60/73.69 o 652288 73.60/73.71 o 635904 73.71/73.72 o 634880 74.39/74.49 o 622590 74.39/74.50 o 622462 74.49/74.50 o 622430 74.49/74.51 o 622426 74.49/74.52 o 622362 74.49/74.52 o 622360 74.49/74.53 o 622344 74.49/74.54 o 622336 74.49/74.54 o 621824 74.49/74.55 o 621568 74.49/74.56 o 619776 74.49/74.57 o 619529 74.49/74.58 o 619528 74.49/74.58 o 619520 76.70/76.70 o 606207 76.70/76.71 o 606206 76.70/76.72 o 606204 76.70/76.72 o 606200 76.70/76.73 o 606168 76.70/76.74 o 606160 76.70/76.75 o 606144 76.70/76.75 o 605120 76.70/76.76 o 601024 76.70/76.77 o 600896 76.70/76.77 o 600640 76.70/76.78 o 600144 76.70/76.79 o 600137 76.70/76.80 o 600136 76.80/76.80 o 600129 76.80/76.81 o 600096 76.80/76.81 o 600080 76.80/76.82 o 600072 76.80/76.83 o 600065 76.80/76.83 o 600064 76.80/76.85 o 598032 76.80/76.86 o 598016 77.30/77.30 o 565247 77.30/77.31 o 565231 77.30/77.32 o 565223 77.30/77.33 o 565222 77.30/77.34 o 565220 77.30/77.34 o 565188 77.30/77.35 o 565184 77.30/77.36 o 565120 77.30/77.37 o 564608 77.30/77.38 o 564480 77.30/77.39 o 563584 77.40/77.40 o 563536 99.10/99.17 o 563199 99.10/99.18 o 563197 99.10/99.18 o 563196 99.10/99.19 o 563192 99.10/99.20 o 563128 99.20/99.20 o 563000 99.20/99.21 o 562984 99.20/99.21 o 562976 99.20/99.22 o 562944 99.20/99.23 o 561920 99.20/99.23 o 561664 99.20/99.24 o 561152 99.20/99.25 o 557824 99.20/99.26 o 557568 99.30/99.33 o 557562 99.30/99.33 o 557530 99.30/99.34 o 557522 99.30/99.34 o 557520 99.30/99.35 o 557504 99.30/99.35 o 557456 99.30/99.36 o 557446 101.60/101.62 o 523647 101.60/101.63 o 523646 101.60/101.64 o 523642 101.60/101.65 o 523626 101.60/101.65 o 523624 101.60/101.66 o 523592 101.60/101.67 o 523584 101.60/101.68 o 523520 101.60/101.69 o 523328 101.70/101.70 o 523272 101.70/101.72 o 523268 101.90/101.96 o 523267 101.90/101.97 o 523266 101.90/101.98 o 523265 101.90/101.99 o 523264 102.20/102.22 o 522752 102.20/102.23 o 522368 102.20/102.24 o 522364 102.20/102.24 o 522362 102.20/102.25 o 522360 102.20/102.26 o 522356 102.20/102.26 o 522354 102.20/102.27 o 522352 102.20/102.28 o 522328 102.20/102.29 o 522320 102.20/102.29 o 522304 102.20/102.30 o 522240 102.20/102.31 o 520192 102.31/102.33 o 516160 102.31/102.34 o 516096 102.60/102.60 o 512064 102.60/102.61 o 512000 102.60/102.69 o 507904 102.70/102.70 o 491520 102.70/102.74 o 475136 102.70/102.76 o 474112 102.70/102.80 o 474111 102.80/102.80 o 474047 102.80/102.81 o 474039 102.80/102.82 o 474038 102.80/102.83 o 473526 102.80/102.83 o 473270 102.80/102.84 o 473254 102.80/102.85 o 473252 102.80/102.85 o 473124 102.80/102.86 o 473120 102.80/102.87 o 473088 102.80/102.88 o 471040 102.90/102.90 o 466944 102.90/102.91 o 466943 102.90/102.92 o 464895 102.90/102.93 o 464894 102.90/102.93 o 464892 102.90/102.94 o 464888 102.90/102.94 o 464856 102.90/102.95 o 464728 102.90/102.96 o 463704 102.90/102.96 o 463640 102.90/102.97 o 463632 102.90/102.98 o 463120 102.90/102.98 o 462864 102.90/102.99 o 462848 103.00/103.09 o 458753 103.10/103.10 o 458752 103.10/103.16 o 454657 103.10/103.17 o 454656 103.10/103.18 o 454528 103.10/103.18 o 454496 103.10/103.19 o 454480 103.20/103.20 o 454464 103.20/103.27 o 454432 103.20/103.28 o 454400 103.20/103.28 o 454144 103.20/103.29 o 453760 103.20/103.30 o 453696 103.60/103.62 o 452926 103.60/103.63 o 452922 103.60/103.63 o 452906 103.60/103.64 o 452898 103.60/103.65 o 452896 103.60/103.66 o 452864 103.60/103.67 o 452608 103.60/103.69 o 448540 103.60/103.70 o 446492 103.70/103.71 o 442876 103.70/103.72 o 442844 103.70/103.73 o 442828 103.70/103.74 o 442820 103.70/103.75 o 442816 103.70/103.75 o 442810 103.70/103.76 o 442808 103.70/103.77 o 442800 103.70/103.78 o 442792 103.70/103.78 o 442760 103.70/103.79 o 442696 103.80/103.80 o 442688 103.80/103.80 o 442672 103.80/103.81 o 442416 104.10/104.10 o 438288 104.10/104.11 o 438272 104.10/104.15 o 434207 104.10/104.16 o 434191 104.10/104.17 o 434190 104.10/104.18 o 434182 104.10/104.19 o 434178 104.20/104.20 o 434177 104.20/104.21 o 434176 104.70/104.72 o 432415 104.70/104.73 o 432414 104.70/104.73 o 432412 104.70/104.74 o 432408 104.70/104.75 o 432400 104.70/104.76 o 432384 104.70/104.76 o 432128 104.70/104.78 o 430080 104.70/104.79 o 425984 104.80/104.84 o 393472 104.80/104.86 o 393216 110.10/110.18 o 377306 110.10/110.18 o 377304 110.10/110.19 o 377288 110.10/110.19 o 377032 110.20/110.20 o 376968 110.20/110.21 o 376960 110.20/110.21 o 376832 110.20/110.25 o 311296 110.20/110.27 o 303104 110.70/110.79 o 303101 110.80/110.80 o 302973 110.80/110.81 o 302965 110.80/110.81 o 302961 110.80/110.82 o 302960 110.80/110.83 o 302928 110.80/110.84 o 302912 110.80/110.85 o 302848 110.80/110.86 o 301824 110.80/110.87 o 301712 110.80/110.88 o 301704 110.80/110.89 o 301606 110.80/110.89 o 301602 110.90/110.90 o 301600 110.90/110.91 o 301344 110.90/110.91 o 301216 110.90/110.92 o 301200 110.90/110.93 o 301192 110.90/110.93 o 301184 110.90/110.94 o 301072 110.90/110.95 o 301064 110.90/110.96 o 301056 110.90/110.98 o 299008 111.20/111.29 o 299007 111.30/111.30 o 299006 111.30/111.31 o 299004 111.30/111.32 o 299000 111.30/111.32 o 298984 111.30/111.33 o 298976 111.30/111.34 o 298848 111.30/111.35 o 298784 111.30/111.35 o 298272 111.30/111.36 o 298240 111.30/111.37 o 298016 111.50/111.56 o 296992 111.50/111.56 o 296960 111.50/111.57 o 296192 111.50/111.59 o 296016 111.50/111.59 o 296009 111.60/111.60 o 296001 111.60/111.61 o 296000 111.60/111.62 o 295976 111.60/111.62 o 295968 111.60/111.63 o 295937 112.21/112.26 o 295936 112.21/112.27 o 294912 112.30/112.32 o 288767 112.30/112.33 o 287743 112.30/112.34 o 287742 112.30/112.34 o 287740 112.30/112.35 o 287736 112.30/112.36 o 287731 112.30/112.36 o 287730 112.30/112.37 o 287729 112.30/112.38 o 287714 112.30/112.39 o 287713 112.30/112.39 o 287680 112.40/112.40 o 287616 112.40/112.41 o 287586 112.40/112.41 o 287585 112.40/112.42 o 287584 112.40/112.43 o 287074 112.40/112.43 o 287073 112.40/112.44 o 287072 112.40/112.45 o 286818 112.40/112.46 o 286817 112.40/112.46 o 286816 112.40/112.47 o 286752 112.40/112.48 o 286720 112.50/112.59 o 278912 112.60/112.60 o 278656 112.60/112.60 o 278528 113.70/113.77 o 278527 113.70/113.78 o 278525 113.70/113.79 o 278524 113.70/113.79 o 278516 113.80/113.80 o 278512 113.80/113.81 o 278496 113.80/113.82 o 278464 113.80/113.82 o 278400 113.80/113.83 o 278272 113.80/113.85 o 278016 113.80/113.87 o 278005 113.80/113.87 o 277989 113.80/113.88 o 277985 113.80/113.89 o 277953 113.90/113.90 o 277952 113.90/113.90 o 277888 113.90/113.91 o 277760 113.90/113.92 o 277504 113.90/113.93 o 277044 113.90/113.94 o 277028 113.90/113.95 o 277024 113.90/113.96 o 277012 113.90/113.96 o 277008 113.90/113.98 o 276992 113.90/113.99 o 276480 114.00/114.02 o 274421 114.00/114.03 o 274417 114.00/114.04 o 273905 114.00/114.04 o 273873 114.00/114.05 o 273857 114.00/114.06 o 273856 114.00/114.06 o 273792 114.00/114.07 o 273664 114.00/114.08 o 273408 114.30/114.38 o 272613 114.30/114.39 o 272612 114.30/114.39 o 272548 114.30/114.40 o 272544 114.30/114.41 o 272528 114.41/114.41 o 272524 114.41/114.42 o 272522 114.41/114.43 o 272520 114.41/114.44 o 272518 114.41/114.44 o 272514 114.41/114.45 o 272512 114.41/114.46 o 272416 114.41/114.47 o 272400 114.41/114.47 o 272392 114.41/114.48 o 272386 114.50/114.54 o 271104 114.50/114.55 o 270592 114.90/114.98 o 262142 114.90/115.00 o 262140 115.00/115.01 o 262124 115.00/115.02 o 262120 115.00/115.03 o 262088 115.00/115.04 o 262024 115.00/115.05 o 261896 115.00/115.06 o 261888 115.00/115.07 o 261632 115.00/115.09 o 261120 115.20/115.28 o 261104 115.20/115.29 o 261088 115.30/115.30 o 261056 115.30/115.31 o 260992 115.30/115.33 o 260736 115.30/115.34 o 260610 115.30/115.35 o 260608 115.80/115.84 o 260606 115.80/115.85 o 260604 115.80/115.86 o 260596 115.80/115.86 o 260592 115.80/115.87 o 260528 115.80/115.88 o 260512 115.80/115.88 o 260480 115.80/115.89 o 260224 115.80/115.89 o 260096 115.90/115.90 o 259072 116.20/116.20 o 259070 116.20/116.21 o 259068 116.20/116.22 o 259064 116.20/116.22 o 259000 116.20/116.23 o 258984 116.20/116.23 o 258976 116.20/116.24 o 258848 116.20/116.25 o 258816 116.20/116.25 o 258304 116.20/116.26 o 258048 116.20/116.29 o 255696 116.20/116.29 o 255632 116.30/116.30 o 255616 116.30/116.30 o 255488 116.30/116.31 o 254976 116.40/116.44 o 254464 116.40/116.44 o 253952 116.40/116.45 o 245760 116.40/116.49 o 245758 116.40/116.49 o 245754 116.40/116.50 o 245752 116.40/116.51 o 245744 116.40/116.51 o 245712 116.50/116.52 o 245648 116.50/116.53 o 245632 116.50/116.53 o 245616 116.50/116.54 o 245600 116.50/116.55 o 245568 116.50/116.56 o 245504 116.50/116.60 o 245248 116.50/116.61 o 244736 116.62/116.64 o 243712 116.62/116.64 o 241664 116.62/116.65 o 240640 116.62/116.66 o 240510 116.62/116.67 o 240508 116.62/116.67 o 240506 116.62/116.68 o 240504 116.62/116.69 o 240492 116.62/116.69 o 240490 116.70/116.70 o 240488 116.70/116.71 o 240480 116.80/116.84 o 240432 116.80/116.85 o 240176 116.80/116.86 o 239664 116.80/116.86 o 239648 116.80/116.87 o 237616 116.90/116.91 o 237584 116.90/116.92 o 237568 116.90/116.94 o 233472 116.90/116.97 o 231456 116.90/116.98 o 231424 117.20/117.23 o 231391 117.20/117.24 o 231375 117.20/117.25 o 231373 117.20/117.26 o 231372 117.20/117.26 o 231368 117.20/117.27 o 231360 117.20/117.28 o 231232 117.20/117.29 o 230720 117.30/117.30 o 230656 117.30/117.31 o 230400 117.30/117.32 o 230144 117.30/117.33 o 229952 117.30/117.34 o 229888 117.30/117.34 o 229440 117.30/117.35 o 229376 117.30/117.38 o 227872 117.30/117.38 o 227360 117.30/117.39 o 227328 117.40/117.40 o 226816 117.40/117.41 o 226770 117.40/117.42 o 226706 117.40/117.42 o 226450 117.40/117.43 o 226434 117.40/117.44 o 226432 117.40/117.44 o 226304 117.40/117.50 o 225280 117.72/117.74 o 224256 117.72/117.75 o 223232 117.72/117.75 o 222720 117.72/117.76 o 222713 117.72/117.77 o 222649 117.72/117.77 o 222521 118.10/118.16 o 222489 118.10/118.17 o 222488 118.10/118.18 o 222480 118.10/118.19 o 222464 118.10/118.19 o 222208 118.20/118.20 o 221441 118.20/118.21 o 221440 118.20/118.23 o 221439 118.20/118.23 o 221438 118.20/118.24 o 221430 118.20/118.25 o 221414 118.20/118.25 o 221410 118.20/118.26 o 221378 118.20/118.27 o 221376 118.20/118.27 o 221248 118.40/118.44 o 205887 118.40/118.45 o 205886 118.40/118.46 o 205878 118.40/118.47 o 205862 118.40/118.48 o 205858 118.40/118.48 o 205826 118.40/118.49 o 205824 118.50/118.50 o 204800 118.50/118.51 o 200192 118.50/118.52 o 199936 118.50/118.53 o 199811 118.50/118.54 o 199810 118.50/118.55 o 199808 118.50/118.57 o 199804 118.50/118.57 o 199796 118.50/118.58 o 199780 118.50/118.59 o 199776 118.50/118.59 o 199752 118.60/118.60 o 199712 118.60/118.61 o 199688 118.60/118.61 o 199680 118.70/118.73 o 197632 118.70/118.73 o 196608 118.70/118.76 o 192511 118.70/118.77 o 191999 118.70/118.78 o 191995 118.70/118.79 o 191994 118.70/118.79 o 191992 118.70/118.80 o 191960 118.70/118.81 o 191952 118.81/118.82 o 191936 118.81/118.82 o 191808 118.81/118.83 o 191552 118.81/118.84 o 190533 118.81/118.85 o 190532 118.81/118.86 o 190528 118.81/118.87 o 190474 118.81/118.88 o 190472 118.81/118.88 o 190464 118.81/118.89 o 189312 118.90/118.90 o 189184 118.90/118.91 o 188672 118.90/118.91 o 188416 119.10/119.18 o 187392 119.10/119.19 o 186368 119.20/119.20 o 182272 119.20/119.22 o 180224 119.20/119.23 o 179200 119.20/119.24 o 178688 119.20/119.25 o 178176 119.30/119.36 o 176128 119.30/119.37 o 172032 119.30/119.39 o 172031 119.30/119.39 o 172027 119.40/119.40 o 171899 119.40/119.41 o 171835 119.40/119.41 o 171819 119.40/119.42 o 171811 119.40/119.43 o 171779 119.40/119.43 o 171777 119.40/119.44 o 171521 119.40/119.45 o 171520 119.40/119.46 o 170496 119.40/119.47 o 169984 119.40/119.48 o 169471 119.40/119.48 o 169467 119.40/119.49 o 169465 119.40/119.50 o 169457 119.50/119.50 o 169456 119.50/119.51 o 169424 119.50/119.51 o 169408 119.50/119.52 o 169280 119.50/119.53 o 169220 119.50/119.54 o 169216 119.50/119.55 o 168960 119.60/119.63 o 168192 119.60/119.64 o 168191 119.60/119.65 o 168187 119.60/119.66 o 168185 119.60/119.66 o 168184 119.60/119.67 o 168176 119.60/119.68 o 168160 119.60/119.68 o 168128 119.60/119.69 o 168064 119.70/119.70 o 167936 119.80/119.90 o 167935 119.80/119.90 o 167934 119.80/119.91 o 167932 119.91/119.92 o 167928 119.91/119.92 o 167920 119.91/119.93 o 167904 119.91/119.94 o 167872 119.91/119.94 o 167616 119.91/119.95 o 167552 119.91/119.96 o 167432 119.91/119.97 o 166920 119.91/119.97 o 166912 119.91/119.99 o 166400 120.00/120.00 o 165888 120.00/120.01 o 164352 120.00/120.06 o 164096 120.00/120.07 o 164050 120.00/120.08 o 164048 120.00/120.08 o 164032 120.00/120.09 o 163986 120.10/120.10 o 163985 120.10/120.11 o 163984 120.10/120.12 o 163968 120.10/120.12 o 163840 120.10/120.15 o 162880 120.10/120.16 o 162816 120.10/120.17 o 161792 120.30/120.32 o 161791 120.30/120.33 o 161790 120.30/120.33 o 161788 120.30/120.34 o 161784 120.30/120.35 o 161776 120.30/120.36 o 161772 120.30/120.37 o 161760 120.30/120.37 o 161744 120.30/120.38 o 161740 120.30/120.39 o 161736 120.40/120.40 o 161728 120.40/120.40 o 161664 120.40/120.41 o 161408 120.40/120.42 o 160896 120.40/120.42 o 159872 120.40/120.43 o 159744 120.40/120.46 o 157695 120.40/120.47 o 157694 120.40/120.48 o 157692 120.40/120.48 o 157628 120.40/120.49 o 157624 120.50/120.50 o 157592 120.50/120.50 o 157576 120.50/120.51 o 157448 120.50/120.52 o 157192 120.50/120.52 o 157184 120.50/120.53 o 156672 120.50/120.54 o 155648 120.90/121.01 o 155647 121.02/121.02 o 155643 121.02/121.03 o 155635 121.02/121.03 o 155571 121.02/121.04 o 155570 121.02/121.05 o 155554 121.02/121.06 o 155552 121.02/121.06 o 155296 121.02/121.07 o 155264 121.02/121.08 o 154752 121.02/121.09 o 154624 121.10/121.10 o 153600 121.10/121.11 o 151552 121.10/121.12 o 150528 121.20/121.26 o 150527 121.20/121.27 o 150463 121.20/121.28 o 150447 121.20/121.29 o 150415 121.30/121.30 o 150411 121.30/121.31 o 150403 121.30/121.31 o 150402 121.30/121.32 o 150400 121.30/121.33 o 150144 121.30/121.34 o 150083 121.30/121.35 o 150082 121.30/121.36 o 150080 121.60/121.68 o 150015 121.60/121.69 o 150011 121.70/121.70 o 149995 121.70/121.70 o 149994 121.70/121.71 o 149992 121.70/121.72 o 149984 121.70/121.73 o 149952 121.70/121.73 o 149888 121.70/121.74 o 149760 121.70/121.75 o 149504 121.70/121.76 o 149248 121.70/121.77 o 148992 121.70/121.78 o 148480 121.80/121.84 o 147968 121.80/121.84 o 147456 121.80/121.86 o 142827 121.80/121.87 o 142826 121.80/121.87 o 142824 121.80/121.88 o 142816 121.80/121.89 o 142784 121.80/121.89 o 142720 121.90/121.90 o 142592 121.90/121.91 o 142336 121.90/121.91 o 141312 121.90/121.92 o 139264 121.90/121.99 o 132139 121.90/122.00 o 132138 121.90/122.00 o 132136 121.90/122.01 o 132128 122.00/122.02 o 132096 122.00/122.03 o 131072 122.12/122.12 o 131071 122.12/122.13 o 131070 122.12/122.14 o 131068 122.12/122.14 o 131060 122.12/122.15 o 131028 122.12/122.16 o 130516 122.12/122.17 o 130512 122.12/122.18 o 130496 122.12/122.18 o 130432 122.12/122.19 o 130304 122.20/122.20 o 130048 122.20/122.29 o 130047 122.30/122.30 o 130046 122.30/122.30 o 130044 122.30/122.31 o 130040 122.30/122.32 o 130024 122.30/122.33 o 129960 122.30/122.33 o 129832 122.30/122.34 o 129576 122.30/122.35 o 129568 122.30/122.35 o 129536 122.30/122.36 o 128512 122.30/122.38 o 128008 122.30/122.39 o 128000 122.40/122.47 o 127472 122.40/122.48 o 127440 122.40/122.49 o 127424 122.40/122.49 o 127360 122.50/122.50 o 127232 122.50/122.51 o 126976 122.50/122.52 o 122912 122.50/122.53 o 122880 122.50/122.54 o 118784 122.50/122.55 o 114688 122.50/122.58 o 114640 122.50/122.59 o 114624 122.60/122.60 o 114560 122.60/122.61 o 110464 122.60/122.62 o 110336 122.60/122.62 o 110080 122.60/122.63 o 109568 122.60/122.64 o 108544 122.60/122.64 o 106496 122.60/122.66 o 102352 122.60/122.66 o 102336 122.60/122.67 o 102208 122.60/122.68 o 101952 122.60/122.68 o 101440 122.60/122.69 o 101376 122.80/122.83 o 101312 122.80/122.84 o 101248 122.80/122.84 o 101120 122.80/122.85 o 100928 122.80/122.87 o 100864 122.80/122.87 o 100352 122.90/122.97 o 100351 122.90/122.98 o 100287 122.90/122.99 o 100159 123.00/123.00 o 99903 123.00/123.01 o 99887 123.00/123.01 o 99879 123.00/123.02 o 99875 123.00/123.03 o 99873 123.00/123.04 o 99872 123.00/123.05 o 99840 123.00/123.06 o 99328 123.00/123.11 o 99327 123.11/123.12 o 99326 123.11/123.12 o 99070 123.11/123.13 o 99038 123.11/123.14 o 98974 123.11/123.14 o 98846 123.11/123.15 o 98830 123.11/123.16 o 98822 123.11/123.16 o 98818 123.11/123.17 o 98816 123.11/123.18 o 98560 123.11/123.19 o 98304 123.40/123.44 o 98303 123.40/123.44 o 98175 123.40/123.45 o 97663 123.40/123.46 o 97407 123.40/123.47 o 97391 123.40/123.47 o 97383 123.40/123.48 o 97379 123.40/123.49 o 97347 123.40/123.49 o 97283 123.50/123.50 o 97282 123.50/123.51 o 97280 123.50/123.52 o 93184 123.50/123.53 o 93180 123.50/123.54 o 92668 123.50/123.55 o 92540 123.50/123.55 o 92284 123.50/123.56 o 92268 123.50/123.57 o 92260 123.50/123.57 o 91236 123.50/123.58 o 91204 123.50/123.59 o 91140 123.50/123.59 o 91136 123.80/123.81 o 91134 123.80/123.82 o 91126 123.80/123.83 o 91110 123.80/123.84 o 91078 123.80/123.85 o 91074 123.80/123.85 o 91010 123.80/123.86 o 90882 123.80/123.87 o 90626 123.80/123.88 o 90624 123.80/123.89 o 90112 123.90/123.92 o 83967 123.90/123.93 o 83965 123.90/123.95 o 83964 123.90/123.96 o 83962 123.90/123.97 o 83960 124.32/124.36 o 83932 124.32/124.37 o 83928 124.32/124.38 o 83800 124.32/124.39 o 83736 124.32/124.39 o 83728 124.40/124.40 o 83216 124.40/124.41 o 83200 124.40/124.42 o 82944 124.40/124.43 o 82939 124.40/124.44 o 82938 124.40/124.45 o 82937 124.40/124.47 o 82936 124.40/124.48 o 82928 124.50/124.52 o 82868 124.50/124.53 o 82864 124.50/124.54 o 82848 124.50/124.54 o 82816 124.50/124.55 o 82596 124.50/124.56 o 82594 124.50/124.57 o 82593 124.50/124.57 o 82592 124.50/124.58 o 82528 124.50/124.59 o 82496 124.50/124.59 o 82432 124.60/124.60 o 82176 124.60/124.61 o 82080 124.60/124.62 o 82048 124.60/124.62 o 81952 124.60/124.63 o 81920 124.70/124.71 o 75264 124.70/124.72 o 74752 124.70/124.73 o 73728 124.70/124.74 o 66048 124.70/124.75 o 65536 124.70/124.78 o 62976 124.70/124.79 o 62464 125.00/125.04 o 61439 125.00/125.05 o 60927 125.00/125.06 o 60923 125.00/125.07 o 60921 125.00/125.07 o 60920 125.00/125.08 o 60912 125.00/125.09 o 60896 125.00/125.10 o 60864 125.10/125.10 o 60608 125.10/125.11 o 60480 125.10/125.12 o 60416 125.10/125.13 o 60160 125.10/125.14 o 59648 125.10/125.15 o 59392 125.50/125.57 o 59264 125.50/125.58 o 59136 125.50/125.59 o 58880 125.60/125.60 o 57856 125.60/125.62 o 57344 125.70/125.70 o 56319 125.70/125.71 o 56063 125.70/125.72 o 56031 125.70/125.73 o 56027 125.70/125.73 o 55963 125.70/125.74 o 55961 125.70/125.75 o 55960 125.70/125.76 o 55952 125.70/125.76 o 55824 125.70/125.77 o 55808 125.70/125.77 o 55296 130.70/130.76 o 55295 130.70/130.77 o 55039 130.70/130.78 o 55035 130.70/130.79 o 55034 130.70/130.80 o 55032 130.70/130.80 o 55024 130.70/130.81 o 54992 130.81/130.82 o 54928 130.81/130.83 o 54800 130.81/130.84 o 54784 130.81/130.85 o 54272 130.81/130.86 o 53248 130.81/130.91 o 53247 130.92/130.92 o 53246 130.92/130.93 o 52734 130.92/130.94 o 52726 130.92/130.94 o 52710 130.92/130.95 o 52708 130.92/130.96 o 51684 130.92/130.97 o 51428 130.92/130.98 o 51424 130.92/130.98 o 51392 130.92/130.99 o 51264 131.00/131.00 o 51200 131.00/131.02 o 50367 131.00/131.03 o 50363 131.00/131.03 o 50331 131.00/131.04 o 50203 131.00/131.05 o 50202 131.00/131.06 o 50200 131.00/131.06 o 50192 131.00/131.08 o 50176 131.60/131.69 o 50175 131.60/131.69 o 50174 131.70/131.70 o 50172 131.70/131.71 o 50164 131.70/131.72 o 50036 131.70/131.73 o 50004 131.70/131.74 o 49988 131.70/131.75 o 49984 131.70/131.76 o 49728 131.70/131.76 o 49664 131.70/131.77 o 49413 131.70/131.78 o 49157 131.70/131.79 o 49156 131.80/131.80 o 49152 131.90/131.92 o 46079 131.90/131.93 o 46015 131.90/131.94 o 46013 131.90/131.95 o 46012 131.90/131.95 o 45500 131.90/131.96 o 45244 131.90/131.97 o 45240 131.90/131.98 o 45112 131.90/131.98 o 45080 131.90/131.99 o 45072 131.90/132.00 o 45056 131.90/132.01 o 44036 132.02/132.02 o 44032 132.10/132.16 o 43007 132.10/132.17 o 43006 132.10/132.18 o 43005 132.20/132.20 o 43004 132.20/132.21 o 42940 132.20/132.21 o 42812 132.20/132.22 o 42780 132.20/132.23 o 42764 132.20/132.23 o 42508 132.20/132.24 o 42504 132.20/132.25 o 42496 132.20/132.26 o 42493 132.20/132.27 o 42492 132.20/132.28 o 42488 132.20/132.28 o 42480 132.20/132.29 o 42464 132.20/132.29 o 42432 132.30/132.30 o 42368 132.30/132.31 o 42364 132.30/132.34 o 42360 132.30/132.34 o 42352 132.30/132.35 o 42336 132.30/132.36 o 42332 132.30/132.37 o 42328 132.30/132.38 o 42324 132.30/132.39 o 42320 132.30/132.39 o 42304 132.40/132.40 o 42300 132.40/132.41 o 42296 132.40/132.42 o 42288 132.40/132.43 o 42272 132.40/132.43 o 42268 132.40/132.44 o 42264 132.40/132.45 o 42256 132.40/132.48 o 42240 132.40/132.49 o 41984 132.50/132.50 o 41472 132.50/132.51 o 40960 132.50/132.54 o 40956 132.50/132.55 o 40924 132.50/132.55 o 40908 132.50/132.56 o 40844 132.50/132.57 o 40840 132.50/132.57 o 40712 132.50/132.58 o 40704 132.50/132.59 o 40448 132.50/132.59 o 39936 530.41/530.49 o 38399 530.51/530.50 o 38398 530.51/530.51 o 38394 530.51/530.52 o 38386 530.51/530.52 o 38370 530.51/530.53 o 38306 530.51/530.54 o 38274 530.51/530.55 o 38272 530.51/530.55 o 38016 530.51/530.56 o 37888 530.51/530.57 o 37249 530.51/530.58 o 37248 530.51/530.60 o 37244 530.61/530.60 o 37236 530.61/530.61 o 37228 530.61/530.61 o 37226 530.61/530.62 o 37224 530.61/530.63 o 37216 530.61/530.65 o 36976 530.71/530.76 o 36961 530.71/530.77 o 36960 530.71/530.77 o 36928 530.71/530.79 o 36896 530.81/530.80 o 36888 530.81/530.80 o 36881 530.81/530.81 o 36880 530.81/530.82 o 36872 530.81/530.83 o 36869 530.91/530.94 o 36867 530.91/530.94 o 36866 530.91/530.96 o 36865 530.91/530.96 o 36864 531.01/531.02 o 35456 531.01/531.03 o 35328 531.01/531.03 o 35010 531.01/531.04 o 35008 531.01/531.04 o 34946 531.01/531.05 o 34944 531.01/531.07 o 32896 531.01/531.08 o 32768 531.51/531.50 o 32767 531.51/531.51 o 32766 531.51/531.52 o 32764 531.51/531.52 o 32760 531.51/531.53 o 32744 531.51/531.54 o 32736 531.51/531.55 o 32704 531.51/531.55 o 32640 531.51/531.58 o 32576 531.51/531.58 o 32512 531.51/531.59 o 32256 531.61/531.60 o 32160 531.61/531.61 o 32128 531.61/531.64 o 31880 531.61/531.65 o 31872 531.61/531.67 o 31750 531.61/531.67 o 31748 531.61/531.69 o 31744 656.92/656.93 o 31739 656.92/656.94 o 31738 656.92/656.95 o 31674 656.92/656.96 o 31658 656.92/656.96 o 31654 656.92/656.97 o 31652 656.92/656.98 o 31140 656.92/656.99 o 31136 657.22/657.27 o 31132 657.22/657.28 o 31128 657.22/657.28 o 31112 657.22/657.29 o 31104 657.32/657.30 o 30979 657.32/657.31 o 30978 657.32/657.32 o 30976 1800.07/1800.01 >>> Terminate signal received 1800.07/1800.01 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 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 x445 -x446 x447 -x448 x449 x450 x451 x452 -x453 x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 x476 -x477 x478 -x479 x480 x481 x482 x483 -x484 -x485 x486 x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 x508 -x509 -x510 x511 -x512 -x513 -x514 x515 x516 x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 x575 x576 x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 x604 -x605 -x606 x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 x627 x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 x657 x658 -x659 -x660 -x661 x662 -x663 x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 x694 -x695 x696 x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 x747 x748 -x749 x750 x751 -x752 x753 x754 x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 x778 x779 -x780 x781 x782 -x783 x784 x785 x786 x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 x809 x810 -x811 -x812 x813 -x814 -x815 -x816 x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 x839 x840 -x841 -x842 x843 -x844 -x845 x846 x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 x901 x902 -x903 -x904 x905 x906 x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 x928 -x929 x930 -x931 -x932 -x933 -x934 x935 x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 x958 -x959 x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985
OK 30976
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3466741-1307401801/watcher-3466741-1307401801 -o /tmp/evaluation-result-3466741-1307401801/solver-3466741-1307401801 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466741-1307401801.opb --verbosity=0 --format=opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Using a pseudo terminal to collect output from the solver Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.00 2/515 5416 /proc/meminfo: memFree=21692832/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=7728 CPUtime=0 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 460 0 0 0 0 0 0 0 25 0 1 0 930410782 7913472 408 33554432000 4194304 6736272 140736038133984 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1932 408 248 621 0 1302 0 [startup+0.0724811 s] /proc/loadavg: 2.00 2.01 2.00 2/515 5416 /proc/meminfo: memFree=21692832/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=9668 CPUtime=0.07 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 973 0 0 0 7 0 0 0 25 0 1 0 930410782 9900032 921 33554432000 4194304 6736272 140736038133984 18446744073709551615 5816786 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 2417 921 274 621 0 1787 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9668 [startup+0.100498 s] /proc/loadavg: 2.00 2.01 2.00 2/515 5416 /proc/meminfo: memFree=21692832/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=9668 CPUtime=0.09 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 986 0 0 0 9 0 0 0 25 0 1 0 930410782 9900032 934 33554432000 4194304 6736272 140736038133984 18446744073709551615 5146886 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 2417 934 275 621 0 1787 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9668 [startup+0.30044 s] /proc/loadavg: 2.00 2.01 2.00 2/515 5416 /proc/meminfo: memFree=21692832/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=5472 CPUtime=0.29 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1089 0 0 0 29 0 0 0 25 0 1 0 930410782 5603328 973 33554432000 4194304 6736272 140736038133984 18446744073709551615 5154864 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1368 973 284 621 0 738 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5472 [startup+0.700369 s] /proc/loadavg: 2.00 2.01 2.00 2/515 5416 /proc/meminfo: memFree=21692832/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=5676 CPUtime=0.69 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1119 0 0 0 69 0 0 0 25 0 1 0 930410782 5812224 1003 33554432000 4194304 6736272 140736038133984 18446744073709551615 5146909 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1419 1003 286 621 0 789 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5676 [startup+1.50022 s] /proc/loadavg: 2.00 2.01 2.00 3/516 5417 /proc/meminfo: memFree=21688876/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=5676 CPUtime=1.49 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1119 0 0 0 149 0 0 0 25 0 1 0 930410782 5812224 1003 33554432000 4194304 6736272 140736038133984 18446744073709551615 5806544 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1419 1003 286 621 0 789 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5676 [startup+3.10091 s] /proc/loadavg: 2.00 2.01 2.00 3/516 5417 /proc/meminfo: memFree=21687636/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=5676 CPUtime=3.09 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1138 0 0 0 309 0 0 0 25 0 1 0 930410782 5812224 1022 33554432000 4194304 6736272 140736038133984 18446744073709551615 5148079 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1419 1022 286 621 0 789 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5676 [startup+6.30031 s] /proc/loadavg: 2.00 2.01 2.00 3/516 5417 /proc/meminfo: memFree=21687724/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=5676 CPUtime=6.29 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1138 0 0 0 629 0 0 0 25 0 1 0 930410782 5812224 1022 33554432000 4194304 6736272 140736038133984 18446744073709551615 5149219 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1419 1022 286 621 0 789 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5676 [startup+12.7011 s] /proc/loadavg: 2.00 2.01 2.00 3/516 5417 /proc/meminfo: memFree=21686252/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=5676 CPUtime=12.7 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1148 0 0 0 1270 0 0 0 25 0 1 0 930410782 5812224 1032 33554432000 4194304 6736272 140736038133984 18446744073709551615 5141856 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1419 1032 286 621 0 789 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 5676 [startup+25.5007 s] /proc/loadavg: 2.00 2.01 2.00 3/516 5418 /proc/meminfo: memFree=21682904/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6008 CPUtime=25.5 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1206 0 0 0 2550 0 0 0 25 0 1 0 930410782 6152192 1090 33554432000 4194304 6736272 140736038133984 18446744073709551615 5806336 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1502 1090 286 621 0 872 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 6008 [startup+51.1008 s] /proc/loadavg: 2.00 2.01 2.00 3/516 5418 /proc/meminfo: memFree=21679128/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6160 CPUtime=51.1 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1268 0 0 0 5110 0 0 0 25 0 1 0 930410782 6307840 1151 33554432000 4194304 6736272 140736038133984 18446744073709551615 5811923 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1540 1151 286 621 0 910 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 6160 [startup+102.319 s] /proc/loadavg: 2.15 2.04 2.01 3/516 5420 /proc/meminfo: memFree=21665576/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6600 CPUtime=102.31 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1389 0 0 0 10231 0 0 0 25 0 1 0 930410782 6758400 1268 33554432000 4194304 6736272 140736038133984 18446744073709551615 4279333 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1650 1268 286 621 0 1020 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 6600 [startup+162.301 s] /proc/loadavg: 2.20 2.07 2.02 3/516 5421 /proc/meminfo: memFree=21648560/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6600 CPUtime=162.3 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1389 0 0 0 16230 0 0 0 25 0 1 0 930410782 6758400 1268 33554432000 4194304 6736272 140736038133984 18446744073709551615 5803157 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1650 1268 286 621 0 1020 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 6600 [startup+222.3 s] /proc/loadavg: 2.11 2.07 2.02 3/516 5423 /proc/meminfo: memFree=21643920/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6600 CPUtime=222.3 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1389 0 0 0 22230 0 0 0 25 0 1 0 930410782 6758400 1268 33554432000 4194304 6736272 140736038133984 18446744073709551615 4732982 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1650 1268 286 621 0 1020 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 6600 [startup+282.301 s] /proc/loadavg: 1.99 2.04 2.00 3/516 5452 /proc/meminfo: memFree=22823716/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6600 CPUtime=282.3 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1389 0 0 0 28230 0 0 0 25 0 1 0 930410782 6758400 1268 33554432000 4194304 6736272 140736038133984 18446744073709551615 5818582 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1650 1268 286 621 0 1020 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 6600 [startup+342.301 s] /proc/loadavg: 1.99 2.03 2.00 3/516 5454 /proc/meminfo: memFree=22822440/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6600 CPUtime=342.3 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1395 0 0 0 34230 0 0 0 25 0 1 0 930410782 6758400 1274 33554432000 4194304 6736272 140736038133984 18446744073709551615 5818046 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1650 1274 286 621 0 1020 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 6600 [startup+402.3 s] /proc/loadavg: 1.99 2.02 2.00 3/516 5456 /proc/meminfo: memFree=22821652/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=402.31 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1412 0 0 0 40231 0 0 0 25 0 1 0 930410782 7065600 1291 33554432000 4194304 6736272 140736038133984 18446744073709551615 5818812 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1291 286 621 0 1095 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 6900 [startup+462.301 s] /proc/loadavg: 1.99 2.02 2.00 3/516 5457 /proc/meminfo: memFree=22818496/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=462.31 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1415 0 0 0 46231 0 0 0 25 0 1 0 930410782 7065600 1294 33554432000 4194304 6736272 140736038133984 18446744073709551615 4758688 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1294 286 621 0 1095 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 6900 [startup+522.3 s] /proc/loadavg: 2.03 2.03 2.00 3/516 5459 /proc/meminfo: memFree=22818696/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=522.31 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1420 0 0 0 52231 0 0 0 25 0 1 0 930410782 7065600 1299 33554432000 4194304 6736272 140736038133984 18446744073709551615 4753646 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1299 286 621 0 1095 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 6900 [startup+582.301 s] /proc/loadavg: 2.05 2.03 2.00 3/516 5460 /proc/meminfo: memFree=22817296/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=582.31 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1420 0 0 0 58231 0 0 0 25 0 1 0 930410782 7065600 1299 33554432000 4194304 6736272 140736038133984 18446744073709551615 4745120 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1299 286 621 0 1095 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 6900 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.01 2.03 2.00 3/516 5467 /proc/meminfo: memFree=22816728/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=822.32 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1420 0 0 0 82232 0 0 0 25 0 1 0 930410782 7065600 1299 33554432000 4194304 6736272 140736038133984 18446744073709551615 5811942 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1299 286 621 0 1095 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 6900 [startup+882.3 s] /proc/loadavg: 2.00 2.02 2.00 3/516 5468 /proc/meminfo: memFree=22816304/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=882.32 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1420 0 0 0 88232 0 0 0 25 0 1 0 930410782 7065600 1299 33554432000 4194304 6736272 140736038133984 18446744073709551615 5146854 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1299 286 621 0 1095 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 6900 [startup+942.301 s] /proc/loadavg: 2.00 2.01 2.00 3/516 5470 /proc/meminfo: memFree=22816256/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=942.33 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1420 0 0 0 94233 0 0 0 25 0 1 0 930410782 7065600 1299 33554432000 4194304 6736272 140736038133984 18446744073709551615 5811850 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1299 286 621 0 1095 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 6900 [startup+1002.3 s] /proc/loadavg: 2.11 2.04 2.01 3/516 5472 /proc/meminfo: memFree=22816204/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=1002.33 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1424 0 0 0 100233 0 0 0 25 0 1 0 930410782 7065600 1303 33554432000 4194304 6736272 140736038133984 18446744073709551615 4758730 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1303 286 621 0 1095 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 6900 [startup+1062.3 s] /proc/loadavg: 2.09 2.04 2.01 3/516 5473 /proc/meminfo: memFree=22816032/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=1062.33 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1429 0 0 0 106233 0 0 0 25 0 1 0 930410782 7065600 1308 33554432000 4194304 6736272 140736038133984 18446744073709551615 5818079 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1308 286 621 0 1095 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 6900 [startup+1122.3 s] /proc/loadavg: 2.03 2.03 2.00 3/516 5475 /proc/meminfo: memFree=22815496/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=1122.33 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1429 0 0 0 112233 0 0 0 25 0 1 0 930410782 7065600 1308 33554432000 4194304 6736272 140736038133984 18446744073709551615 5818375 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1308 286 621 0 1095 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 6900 [startup+1182.3 s] /proc/loadavg: 2.12 2.06 2.01 3/516 5476 /proc/meminfo: memFree=22815576/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=1182.34 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1429 0 0 0 118234 0 0 0 25 0 1 0 930410782 7065600 1308 33554432000 4194304 6736272 140736038133984 18446744073709551615 5811920 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1308 286 621 0 1095 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 6900 [startup+1242.3 s] /proc/loadavg: 2.10 2.06 2.01 3/516 5478 /proc/meminfo: memFree=22815276/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=1242.34 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1429 0 0 0 124234 0 0 0 25 0 1 0 930410782 7065600 1308 33554432000 4194304 6736272 140736038133984 18446744073709551615 5806442 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1308 286 621 0 1095 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 6900 [startup+1302.3 s] /proc/loadavg: 2.03 2.05 2.00 3/516 5480 /proc/meminfo: memFree=22814848/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=1302.35 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1431 0 0 0 130235 0 0 0 25 0 1 0 930410782 7065600 1310 33554432000 4194304 6736272 140736038133984 18446744073709551615 5811840 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1310 286 621 0 1095 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 6900 [startup+1362.3 s] /proc/loadavg: 2.01 2.03 2.00 3/516 5481 /proc/meminfo: memFree=22814804/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=1362.34 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1431 0 0 0 136234 0 0 0 25 0 1 0 930410782 7065600 1310 33554432000 4194304 6736272 140736038133984 18446744073709551615 4734650 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1310 286 621 0 1095 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 6900 [startup+1422.32 s] /proc/loadavg: 2.00 2.03 2.00 3/516 5483 /proc/meminfo: memFree=22815988/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=1422.36 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1431 0 0 0 142236 0 0 0 25 0 1 0 930410782 7065600 1310 33554432000 4194304 6736272 140736038133984 18446744073709551615 5806346 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1310 286 621 0 1095 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 6900 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/516 5484 /proc/meminfo: memFree=22815428/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=1482.35 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1431 0 0 0 148235 0 0 0 25 0 1 0 930410782 7065600 1310 33554432000 4194304 6736272 140736038133984 18446744073709551615 5818587 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1310 286 621 0 1095 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 6900 [startup+1542.3 s] /proc/loadavg: 2.16 2.05 2.01 3/516 5486 /proc/meminfo: memFree=22814768/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=1542.35 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1431 0 0 0 154235 0 0 0 25 0 1 0 930410782 7065600 1310 33554432000 4194304 6736272 140736038133984 18446744073709551615 4753753 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1310 286 621 0 1095 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 6900 [startup+1602.3 s] /proc/loadavg: 2.06 2.04 2.00 3/516 5488 /proc/meminfo: memFree=22814724/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=1602.35 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1432 0 0 0 160235 0 0 0 25 0 1 0 930410782 7065600 1311 33554432000 4194304 6736272 140736038133984 18446744073709551615 5149303 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1311 286 621 0 1095 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 6900 [startup+1662.3 s] /proc/loadavg: 2.02 2.03 2.00 3/516 5489 /proc/meminfo: memFree=22815788/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=1662.35 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1432 0 0 0 166235 0 0 0 25 0 1 0 930410782 7065600 1311 33554432000 4194304 6736272 140736038133984 18446744073709551615 4514348 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1311 286 621 0 1095 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 6900 [startup+1722.3 s] /proc/loadavg: 2.15 2.06 2.01 3/516 5491 /proc/meminfo: memFree=22815748/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=1722.36 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1432 0 0 0 172236 0 0 0 25 0 1 0 930410782 7065600 1311 33554432000 4194304 6736272 140736038133984 18446744073709551615 5150908 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1311 286 621 0 1095 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 6900 [startup+1782.3 s] /proc/loadavg: 2.05 2.05 2.00 3/516 5495 /proc/meminfo: memFree=22814280/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=1782.36 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1432 0 0 0 178236 0 0 0 25 0 1 0 930410782 7065600 1311 33554432000 4194304 6736272 140736038133984 18446744073709551615 5811872 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1311 286 621 0 1095 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 6900 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.04 2.05 2.00 3/516 5496 /proc/meminfo: memFree=22814400/32950928 swapFree=58671692/67111528 [pid=5416] ppid=5414 vsize=6900 CPUtime=1800.07 cores=1,3,5,7 /proc/5416/stat : 5416 (minisatid-gmp) R 5414 5416 3766 0 -1 4202496 1432 0 0 0 180007 0 0 0 25 0 1 0 930410782 7065600 1311 33554432000 4194304 6736272 140736038133984 18446744073709551615 5817063 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/5416/statm: 1725 1311 286 621 0 1095 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 6900 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.02 CPU time (s): 1800.09 CPU user time (s): 1800.08 CPU system time (s): 0.003999 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 9668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.08 system time used= 0.003999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1437 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= 5 involuntary context switches= 4542 runsolver used 9.00663 second user time and 20.5119 second system time The end
Begin job on node115 at 2011-06-07 01:10:01 IDJOB=3466741 IDBENCH=2502 IDSOLVER=1957 FILE ID=node115/3466741-1307401801 RUNJOBID= node115-1307398441-5158 PBS_JOBID= 13514192 Free space on /tmp= 73924 MiB SOLVER NAME= MinisatID 2.4.8-gmp BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pk1.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3466741-1307401801/watcher-3466741-1307401801 -o /tmp/evaluation-result-3466741-1307401801/solver-3466741-1307401801 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466741-1307401801.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 064c172c08e0726f78b89fe587697d96 RANDOM SEED=1197140912 node115.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.62 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 21692988 kB Buffers: 243516 kB Cached: 517388 kB SwapCached: 65852 kB Active: 2375860 kB Inactive: 8626296 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 21692988 kB SwapTotal: 67111528 kB SwapFree: 58671692 kB Dirty: 3232 kB Writeback: 0 kB AnonPages: 10180008 kB Mapped: 28660 kB Slab: 108856 kB PageTables: 77732 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 153046964 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73956 MiB End job on node115 at 2011-06-07 01:40:03