Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.4.8-gmp | ? (TO) | 225276596669762 | 1800.12 | 1802.12 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell4.opb |
MD5SUM | 7a334409ec63774b2ae9bf0271f87fd8 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 195364307577754 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 212944791655785 |
Optimality of the best value was proved | NO |
Number of variables | 1996 |
Total number of constraints | 134 |
Number of constraints which are clauses | 18 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 116 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 135 |
Number of terms in the objective function | 1527 |
Biggest coefficient in the objective function | 4949278720000000 |
Number of bits for the biggest coefficient in the objective function | 53 |
Sum of the numbers in the objective function | 114314457147588882 |
Number of bits of the sum of numbers in the objective function | 57 |
Biggest number in a constraint | 4949278720000000 |
Number of bits of the biggest number in a constraint | 53 |
Biggest sum of numbers in a constraint | 114314457147588882 |
Number of bits of the biggest sum of numbers | 57 |
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.66 o 3576752507476104 0.89/0.92 o 3563747708753604 0.89/0.97 o 3563747707293604 1.00/1.02 o 3563747520413604 1.00/1.08 o 3563747426973604 1.11/1.14 o 3563747380253604 1.11/1.19 o 3563747374413604 1.19/1.21 o 3563747362733604 1.19/1.28 o 3563747362551104 1.29/1.32 o 3563747361821104 1.29/1.37 o 3563747360361104 1.39/1.42 o 3563746986601104 1.39/1.48 o 3563746239081104 1.49/1.52 o 3563746215721104 1.49/1.59 o 3563746212801104 1.59/1.63 o 3563746212436104 2.39/2.47 o 3562251608213240 2.49/2.51 o 3560613208213240 2.49/2.60 o 3560597899003640 2.59/2.67 o 3560188299003640 2.69/2.77 o 3560184471701240 2.79/2.85 o 3560182558050040 2.89/2.92 o 3553628958050040 2.99/3.01 o 3553219358050040 3.09/3.17 o 3553017547947540 3.20/3.25 o 3552812747947540 3.31/3.33 o 3552810355883540 3.39/3.41 o 3549533555883540 3.39/3.50 o 3549525901278740 3.49/3.57 o 3536418701278740 3.59/3.66 o 3534780301278740 3.69/3.74 o 3508565901278740 3.79/3.83 o 3502012301278740 3.89/3.90 o 3501193101278740 3.99/4.06 o 3474978701278740 4.09/4.14 o 3474569101278740 4.19/4.22 o 3472930701278740 4.19/4.30 o 3472725901278740 4.30/4.38 o 3466172301278740 4.41/4.46 o 3463797099691540 4.49/4.54 o 3463794707627540 4.59/4.62 o 3437580307627540 4.69/4.70 o 3437170707627540 4.69/4.78 o 3332313107627540 4.79/4.86 o 3330674707627540 4.89/4.93 o 3304460307627540 4.99/5.01 o 3304255507627540 4.99/5.09 o 3297701907627540 5.09/5.17 o 3192844307627540 5.29/5.36 o 2458856442839740 5.40/5.43 o 2449355144076740 5.40/5.51 o 2439852424076740 5.51/5.59 o 2439775878028740 5.59/5.67 o 2439737605004740 5.79/5.83 o 2434986245004740 5.89/5.91 o 2434986244712740 5.89/5.99 o 2434976676456740 5.99/6.07 o 2434976675872740 6.09/6.15 o 2434976601120740 6.19/6.24 o 2434976451616740 6.29/6.31 o 2434976414240740 6.39/6.40 o 2434976395552740 6.39/6.47 o 2434976386208740 6.50/6.56 o 2434976381536740 6.61/6.63 o 2434976379200740 6.69/6.71 o 2434976378032740 7.09/7.13 o 2410138585209700 7.19/7.20 o 2410138491769700 7.19/7.25 o 2410138491477700 7.29/7.30 o 2410138490893700 7.29/7.38 o 2410138416141700 7.39/7.46 o 2410138117133700 7.49/7.54 o 2410137967629700 7.60/7.62 o 2410137948941700 7.60/7.69 o 2410137911565700 7.71/7.77 o 2410137902221700 7.79/7.84 o 2410137897549700 7.89/7.92 o 2410137895213700 7.99/8.00 o 2410137894045700 7.99/8.07 o 2410135501981700 8.09/8.14 o 2410134305949700 8.29/8.35 o 2410097826973700 8.39/8.42 o 2410097733533700 8.39/8.43 o 2410097732325380 8.39/8.45 o 2410097732033380 8.49/8.53 o 2410097731449380 8.59/8.64 o 2410097731376380 9.09/9.12 o 1590839529616280 9.09/9.19 o 1590839529032280 9.39/9.43 o 1590020329849880 9.49/9.51 o 1544145130360880 9.49/9.53 o 1542957290360880 9.59/9.65 o 1542957290302480 9.69/9.75 o 1542957170699280 9.80/9.83 o 1542957140798480 9.91/9.97 o 1542956183972880 10.29/10.30 o 1542955585956880 10.29/10.38 o 1542954987940880 10.39/10.47 o 1542950203812880 10.49/10.55 o 1542950203805580 10.59/10.64 o 1542950203776380 10.69/10.72 o 1542950203717980 10.79/10.81 o 1542950203703380 10.79/10.89 o 1542949007671380 10.90/10.98 o 1542949007598380 11.01/11.06 o 1542949007364780 11.09/11.15 o 1542949007218780 11.19/11.22 o 1542946615154780 11.29/11.31 o 1542908342130780 11.29/11.38 o 1542907863717980 11.39/11.47 o 1542907863571980 11.49/11.54 o 1542898295315980 11.59/11.63 o 1542879158803980 11.69/11.70 o 1542869590547980 11.79/11.88 o 1542864806419980 11.89/11.96 o 1542045606419980 12.00/12.04 o 1542045606054980 12.11/12.12 o 1542045456550980 12.19/12.20 o 1542045381798980 12.29/12.30 o 1542035813542980 12.29/12.38 o 1542035776166980 12.39/12.45 o 1542035757478980 12.49/12.53 o 1542035748134980 12.59/12.61 o 1542035743462980 12.59/12.68 o 1542035741126980 12.69/12.75 o 1541626141126980 12.79/12.83 o 1541421341126980 12.89/12.90 o 1541318941126980 12.99/13.00 o 1124366621126980 12.99/13.01 o 1124366565062980 12.99/13.10 o 1123926245062980 13.10/13.15 o 1123332325062980 13.21/13.22 o 1123332311046980 13.21/13.28 o 1123332283014980 13.29/13.35 o 1123332282576980 13.39/13.42 o 1123331834064980 13.39/13.48 o 1123331609808980 13.49/13.54 o 1120914969808980 13.59/13.61 o 1113665049808980 13.59/13.67 o 1113562649808980 13.69/13.74 o 1113357849808980 13.89/13.99 o 1113357849341780 14.20/14.25 o 1113357849108180 14.31/14.31 o 1113357848991380 14.39/14.41 o 1113339160991380 14.39/14.47 o 1113315240351380 14.49/14.52 o 1113276967327380 14.59/14.61 o 1111638567327380 14.59/14.67 o 1109324124165780 14.69/14.73 o 1109323969500820 14.79/14.80 o 1109323959834260 15.99/16.02 o 1108293450023520 15.99/16.09 o 1108287469863520 16.09/16.12 o 1108185069863520 16.19/16.25 o 1104048109863520 16.29/16.34 o 1104047810855520 16.29/16.37 o 1103607490855520 16.40/16.45 o 1103505090855520 16.51/16.55 o 1103489781645920 16.69/16.73 o 1090390298116704 16.79/16.81 o 1090390292276704 16.79/16.88 o 1090390280596704 16.89/16.98 o 1090388785556704 17.09/17.14 o 1090385795476704 17.19/17.24 o 1090385047956704 17.29/17.34 o 1090384674196704 17.39/17.44 o 1090384673904704 17.50/17.55 o 1090384673831704 17.61/17.65 o 1090384673685704 17.79/17.83 o 1090384654997704 17.89/17.90 o 1090384650325704 17.99/18.00 o 1090384640981704 18.09/18.18 o 1090384638645704 18.19/18.26 o 1090384635725704 18.29/18.36 o 1090384634995704 18.39/18.45 o 1090384633535704 18.49/18.55 o 1090378653375704 18.71/18.73 o 1090378466495704 18.79/18.83 o 1090378419775704 18.89/18.93 o 1090378326335704 18.99/19.02 o 1090378302975704 19.09/19.12 o 1090378299238104 19.19/19.22 o 1090378291762904 19.29/19.31 o 1090378276812504 19.39/19.40 o 1090378276695704 19.49/19.50 o 1090378274826904 19.49/19.59 o 1090378273892504 19.59/19.68 o 1090378273834104 19.70/19.78 o 1090378273366904 19.81/19.87 o 1090378273352304 19.89/19.96 o 1090378273323104 19.99/20.05 o 1090378273089504 20.09/20.14 o 1090347654670304 20.19/20.23 o 1090299813390304 20.29/20.32 o 1087924133390304 20.39/20.47 o 1087862896829304 20.69/20.76 o 1087848544445304 20.80/20.85 o 1087848544328504 20.91/20.92 o 1087848536853304 20.99/21.00 o 1087848534984504 20.99/21.07 o 1087848531246904 21.09/21.15 o 1087848516296504 21.19/21.22 o 1087848515362104 21.19/21.29 o 1087848328482104 21.29/21.37 o 1087848281762104 21.39/21.45 o 1087848280302104 21.49/21.51 o 1087848256942104 21.49/21.59 o 1087848163502104 21.59/21.65 o 1087848160582104 21.69/21.73 o 1087848154742104 21.69/21.79 o 1087848143062104 21.79/21.87 o 1087847769302104 21.90/21.93 o 1087847768572104 21.90/22.00 o 1087847768389604 22.00/22.06 o 1087847020869604 22.09/22.13 o 1087845525829604 22.09/22.19 o 1087845525647104 22.29/22.35 o 1087845522727104 22.39/22.42 o 1087845521267104 22.39/22.48 o 1087842531187104 22.49/22.55 o 1087842344307104 22.59/22.60 o 1087842250867104 22.59/22.67 o 1087842227507104 22.69/22.73 o 1087842215827104 22.69/22.80 o 1087842209987104 22.79/22.85 o 1087842163267104 22.89/22.92 o 1087841789507104 22.89/22.97 o 1087841788777104 23.00/23.03 o 1087841041257104 23.00/23.08 o 1087839546217104 23.10/23.15 o 1087791704937104 23.19/23.20 o 1087791704922504 23.19/23.26 o 1087791704893304 23.29/23.31 o 1087791704834904 23.29/23.38 o 1087791704367704 23.39/23.42 o 1087791704134104 23.39/23.49 o 1087787876831704 23.49/23.54 o 1087787802079704 23.49/23.60 o 1087216845894104 26.40/26.48 o 1075500497011916 26.59/26.61 o 1075500496083356 26.69/26.75 o 1075500495503006 26.79/26.88 o 1075500494342306 26.99/27.01 o 1075500492020906 27.09/27.14 o 1075500484592426 27.19/27.27 o 1075500470199746 27.29/27.40 o 1075500096439746 27.50/27.53 o 1075500077868546 27.59/27.66 o 1075500068582946 27.69/27.79 o 1075500063940146 27.89/27.92 o 1075496236637746 27.99/28.05 o 1075488582032946 28.29/28.33 o 1073850182032946 28.39/28.45 o 1072211782032946 28.50/28.59 o 1072109382032946 28.69/28.71 o 1071904582032946 29.60/29.69 o 955483080748886 29.79/29.82 o 955073480748886 29.89/29.94 o 954971080748886 29.99/30.07 o 954561480748886 30.09/30.19 o 954356680748886 30.39/30.48 o 954151881113886 30.59/30.61 o 954049481113886 30.70/30.74 o 954049481011686 30.80/30.87 o 954049480602886 30.89/30.99 o 954049480398486 31.09/31.12 o 954049478763286 31.19/31.25 o 954049477945686 31.29/31.37 o 954049477894586 31.49/31.50 o 954049471353786 31.59/31.62 o 954049468083386 31.69/31.75 o 954049441920186 31.80/31.87 o 954049428838586 31.99/32.00 o 954048591616186 32.09/32.12 o 954045242726586 32.19/32.24 o 954038544947386 32.29/32.37 o 953991660492986 32.39/32.49 o 953991555840186 32.59/32.61 o 953991503513786 32.69/32.74 o 953991294208186 32.79/32.86 o 953990875596986 32.90/32.98 o 953990866252986 33.09/33.11 o 953990866106986 33.19/33.23 o 953990866033986 33.29/33.35 o 953990679153986 33.39/33.46 o 953990585713986 33.49/33.58 o 953990584545986 33.69/33.70 o 953990491105986 33.79/33.82 o 953990304225986 33.89/33.93 o 953990303641986 34.00/34.05 o 953990303349986 34.10/34.16 o 953990256629986 34.29/34.30 o 953989942145986 34.39/34.41 o 953989930465986 34.49/34.53 o 953989927545986 34.59/34.64 o 953989904185986 34.69/34.76 o 953989898345986 34.79/34.87 o 953989896885986 34.89/34.98 o 953989896155986 34.99/35.10 o 953887496155986 35.10/35.21 o 953886748635986 35.29/35.32 o 953477148635986 35.39/35.43 o 952657948635986 35.49/35.54 o 951019548635986 35.59/35.65 o 950814748635986 35.69/35.76 o 947537948635986 35.79/35.87 o 947128348635986 35.89/35.98 o 946923548635986 36.09/36.18 o 946923547701586 36.20/36.26 o 920709147701586 36.30/36.38 o 917432347701586 36.39/36.49 o 910878747701586 36.49/36.59 o 909240347701586 36.69/36.70 o 908421147701586 36.79/36.85 o 908411579445586 36.89/36.96 o 908373306421586 36.99/37.07 o 908368522293586 37.09/37.16 o 907774602293586 37.19/37.27 o 907750681653586 37.30/37.37 o 907750676820306 37.40/37.48 o 907749480788306 37.49/37.58 o 907747088724306 37.59/37.69 o 907747079057746 37.69/37.80 o 906538759057746 37.89/37.90 o 905934599057746 37.99/38.07 o 905934598590546 38.09/38.18 o 905919289380946 38.19/38.28 o 905919266020946 38.29/38.39 o 905919018557010 38.40/38.49 o 905919006877010 38.50/38.60 o 905919004460370 38.69/38.70 o 905919003252050 38.79/38.80 o 905919002647890 38.89/38.91 o 905478682647890 38.99/39.01 o 905325590551890 38.99/39.09 o 905324394519890 39.09/39.19 o 905324389847890 39.19/39.27 o 905324389774890 39.29/39.37 o 905324352398890 39.39/39.47 o 905319568270890 39.50/39.57 o 905319549582890 39.60/39.67 o 905319547246890 39.69/39.77 o 905319537902890 39.79/39.87 o 905318939886890 39.89/39.96 o 905317444846890 39.99/40.06 o 905305484526890 40.09/40.16 o 905302494446890 40.19/40.26 o 905296514286890 40.29/40.35 o 905272593646890 40.39/40.45 o 905224752366890 40.49/40.55 o 905224752001890 40.60/40.63 o 905224004481890 40.70/40.72 o 905223957761890 40.79/40.82 o 905223956301890 40.89/40.91 o 905223950461890 40.99/41.01 o 905223949731890 41.09/41.10 o 905223946811890 41.09/41.19 o 905220956731890 41.19/41.28 o 905220582971890 41.29/41.37 o 905220489531890 41.39/41.45 o 905220302651890 41.70/41.79 o 905184061002540 41.80/41.87 o 905184060958740 41.89/41.96 o 905161097144340 41.99/42.04 o 905161096443540 42.09/42.12 o 905160737633940 42.19/42.20 o 905160647931540 42.19/42.28 o 905159930312340 42.29/42.36 o 905159928910740 42.39/42.44 o 905159928888840 42.49/42.52 o 905159928801240 42.59/42.60 o 905159749396440 42.59/42.68 o 905158314158040 42.69/42.76 o 901881514158040 42.80/42.84 o 900243114158040 42.90/42.91 o 899055274158040 42.90/42.99 o 898614954158040 42.99/43.06 o 898614953574040 43.09/43.13 o 898595817062040 43.19/43.20 o 898557544038040 43.19/43.28 o 898480997990040 43.29/43.35 o 898480997807540 43.39/43.42 o 898480997575400 43.49/43.50 o 872266597575400 43.49/43.57 o 872265999559400 43.59/43.63 o 872264803527400 43.69/43.70 o 872226530503400 43.69/43.77 o 872216962247400 43.79/43.84 o 872212178119400 43.90/43.93 o 872173905095400 43.90/44.00 o 872173904912900 44.09/44.15 o 872149984272900 44.19/44.21 o 871958619152900 44.19/44.29 o 871933503429900 44.29/44.36 o 871933502261900 44.39/44.44 o 871885660981900 44.49/44.51 o 871861740341900 44.49/44.59 o 871849780021900 44.59/44.66 o 871846789941900 44.69/44.73 o 871751107381900 44.79/44.81 o 871749612341900 44.79/44.88 o 871743632181900 47.59/47.65 o 834430071808160 47.69/47.76 o 834430071691360 47.79/47.89 o 834429114865760 47.99/48.01 o 834428636452960 48.09/48.13 o 833240796452960 48.19/48.25 o 832800476452960 48.30/48.35 o 832800448420960 48.40/48.47 o 832800434404960 48.49/48.59 o 832800430900960 48.69/48.72 o 832800423892960 48.79/48.84 o 832800311764960 48.89/48.97 o 832800255700960 48.99/49.09 o 832799358676960 49.19/49.22 o 832798910164960 49.29/49.35 o 832696510164960 49.40/49.47 o 832696505331680 49.59/49.60 o 832256185331680 49.69/49.72 o 832051385331680 49.79/49.84 o 831846585331680 49.89/49.96 o 831078585331680 49.99/50.05 o 830976185331680 50.09/50.17 o 830771385331680 50.29/50.36 o 830771385302480 50.39/50.48 o 830771379696080 50.50/50.60 o 830764681916880 50.69/50.70 o 830764680048080 50.79/50.81 o 830707270512080 50.89/50.92 o 830697702256080 50.99/51.03 o 830692918128080 51.09/51.15 o 830692619120080 51.19/51.25 o 830691423088080 51.29/51.35 o 830690825072080 51.39/51.47 o 830690822736080 51.49/51.57 o 830690813392080 51.60/51.68 o 830690808720080 51.89/51.98 o 830642967440080 52.09/52.19 o 830642967257580 52.29/52.31 o 830619046617580 52.39/52.41 o 830619041945580 52.49/52.53 o 830619040777580 52.59/52.64 o 830619031433580 52.70/52.74 o 830619012745580 52.80/52.85 o 830619010409580 52.89/52.95 o 830617515369580 52.99/53.06 o 830605555049580 53.09/53.14 o 804391155049580 53.19/53.21 o 804391153180780 53.19/53.26 o 804391003676780 53.29/53.37 o 804390997836780 53.39/53.46 o 804390979148780 53.49/53.53 o 804367058508780 53.59/53.60 o 803984328268780 53.59/53.67 o 803984328035180 53.69/53.74 o 803965191523180 53.69/53.81 o 801589511523180 53.80/53.87 o 801589510939180 53.80/53.91 o 801581856334380 53.99/54.01 o 801390491214380 53.99/54.09 o 801359872795180 54.09/54.15 o 801359869875180 54.19/54.24 o 801359846515180 54.29/54.34 o 801359799795180 54.39/54.40 o 801359788115180 54.49/54.50 o 801359764755180 54.49/54.58 o 801359753075180 54.59/54.66 o 801359706355180 54.69/54.74 o 801359703435180 54.79/54.84 o 801359697595180 54.79/54.90 o 801358950075180 54.90/54.99 o 801358576315180 55.00/55.06 o 801357081275180 55.09/55.15 o 801356894395180 55.19/55.21 o 801356800955180 55.29/55.31 o 800752640955180 55.29/55.38 o 800704799675180 55.39/55.47 o 800703304635180 55.49/55.56 o 800703155131180 55.59/55.64 o 800703117755180 55.69/55.72 o 800703099067180 56.19/56.23 o 800698314939180 56.29/56.30 o 800697118907180 56.39/56.46 o 800697118856080 56.49/56.56 o 800697118753880 56.59/56.64 o 800697102401880 56.79/56.85 o 800697101584280 56.89/56.93 o 800697101379880 56.99/57.02 o 800697099744680 56.99/57.09 o 800594699744680 57.10/57.17 o 799386379744680 57.20/57.25 o 798946059744680 57.29/57.33 o 794112779744680 57.39/57.41 o 793907979744680 57.39/57.49 o 791491339744680 57.49/57.57 o 791388939744680 57.59/57.65 o 791184139744680 57.59/57.69 o 791179355616680 57.69/57.77 o 791076955616680 57.79/57.84 o 791074563552680 57.89/57.92 o 790869763552680 57.99/58.00 o 790868268512680 58.09/58.13 o 790868081632680 58.09/58.20 o 790868058272680 58.20/58.28 o 790868055352680 58.30/58.35 o 790867681592680 58.39/58.43 o 790867681410180 58.49/58.51 o 790867681045180 58.49/58.59 o 790867634325180 58.59/58.66 o 790867628485180 58.69/58.74 o 790867535045180 58.79/58.82 o 790866040005180 58.89/58.94 o 790866028499285 58.99/59.03 o 790865280979285 59.09/59.11 o 790863367328085 59.19/59.20 o 790848058118485 59.19/59.28 o 790817439699285 59.30/59.37 o 790817437830485 59.40/59.45 o 790813610528085 59.49/59.57 o 787536810528085 59.59/59.65 o 787536809944085 59.69/59.73 o 787536805272085 59.79/59.81 o 787536805126085 59.79/59.89 o 787536803958085 59.89/59.97 o 787536205942085 59.99/60.05 o 787536187254085 60.09/60.13 o 787536177910085 60.19/60.21 o 787536177618085 60.19/60.29 o 787536140242085 60.29/60.37 o 787126540242085 60.40/60.44 o 787024140242085 60.50/60.52 o 784648460242085 60.50/60.59 o 784443660242085 60.59/60.66 o 783624460242085 60.69/60.76 o 783280003026085 60.79/60.85 o 783276175723685 60.89/60.93 o 783245557304485 60.99/61.00 o 783245555435685 60.99/61.07 o 783243641784485 61.09/61.19 o 781605241784485 61.19/61.28 o 781566968760485 61.29/61.35 o 781490422712485 61.39/61.51 o 781471286200485 61.60/61.62 o 781442581432485 61.60/61.68 o 781423444920485 61.69/61.75 o 781417464760485 62.09/62.17 o 781072826590485 62.19/62.23 o 781069836510485 62.19/62.27 o 781068341470485 62.29/62.34 o 781067593950485 62.29/62.39 o 781067220190485 62.39/62.46 o 781067033310485 62.49/62.52 o 781066939870485 62.49/62.59 o 781066893150485 62.60/62.65 o 781066881470485 62.70/62.72 o 781066858110485 62.70/62.78 o 781066852270485 62.79/62.85 o 781066849350485 62.89/62.91 o 781066847890485 62.89/62.98 o 781066847160485 63.19/63.26 o 781066774240785 63.49/63.51 o 676230942300585 63.49/63.58 o 676076973660585 63.59/63.65 o 676074581596585 63.70/63.72 o 676065013340585 63.70/63.81 o 676065013224515 63.80/63.89 o 624299024258115 72.50/72.52 o 582365779053395 72.60/72.63 o 582365778980395 72.69/72.78 o 582365778922360 72.89/72.92 o 582365778849360 72.99/73.06 o 582365769505360 73.19/73.20 o 582365769213360 73.29/73.33 o 582365769067360 73.39/73.48 o 582365768483360 73.49/73.61 o 582365767315360 73.70/73.74 o 582365748627360 73.79/73.88 o 582365743955360 73.99/74.01 o 582365741619360 74.09/74.14 o 581546541619360 74.19/74.28 o 581136941619360 74.39/74.41 o 581034541619360 74.49/74.54 o 574480941619360 74.59/74.68 o 572105261619360 74.80/74.82 o 572002861619360 74.89/74.92 o 571798061619360 74.99/75.06 o 570978861619360 75.19/75.21 o 570876461619360 75.29/75.34 o 570774061619360 75.39/75.47 o 570774059867360 75.59/75.60 o 570774059429360 75.69/75.74 o 570774055925360 75.80/75.86 o 570774055049360 75.99/76.00 o 570774048041360 76.09/76.12 o 569135648041360 76.19/76.26 o 568726048041360 76.29/76.38 o 568623648041360 76.49/76.52 o 568418848041360 76.59/76.69 o 568342301993360 76.79/76.83 o 568189209897360 76.90/76.96 o 567748889897360 77.19/77.21 o 567748889746320 77.29/77.34 o 567339289746320 77.59/77.69 o 567339287329680 77.89/77.94 o 567339277663120 78.00/78.06 o 567134477663120 78.10/78.19 o 566724877663120 78.29/78.32 o 566720691551120 78.39/78.45 o 566720243039120 78.49/78.57 o 566720018783120 78.69/78.70 o 566718224735120 78.79/78.82 o 566717327711120 78.89/78.95 o 566717299679120 78.99/79.07 o 566717243615120 79.10/79.19 o 566717131487120 79.29/79.31 o 566717117471120 79.39/79.44 o 566700373023120 79.49/79.56 o 566700111391120 79.59/79.68 o 566700045983120 79.69/79.79 o 566700037807120 79.89/79.91 o 566699514543120 79.99/80.03 o 566698468015120 80.09/80.15 o 566698337199120 80.20/80.26 o 566696244143120 80.30/80.38 o 566696211439120 80.39/80.49 o 566696207351120 80.59/80.61 o 566593807351120 80.69/80.72 o 566593799875920 80.79/80.83 o 566593799759120 80.89/80.94 o 566593799291920 80.99/81.06 o 566593799058320 81.09/81.17 o 566593797189520 81.19/81.28 o 566593796255120 81.30/81.39 o 566593766354320 81.40/81.50 o 566593751403920 81.59/81.60 o 566593691602320 81.69/81.71 o 566591299538320 81.79/81.81 o 566591295800720 81.89/81.92 o 566591176197520 82.09/82.19 o 566572039685520 82.19/82.28 o 566533766661520 82.29/82.39 o 566532809835920 82.69/82.71 o 564894409835920 82.69/82.79 o 564792009835920 82.79/82.87 o 538577609835920 82.89/82.98 o 538577430431120 83.09/83.10 o 538573842335120 83.19/83.21 o 536935442335120 83.19/83.29 o 536935441970120 83.29/83.39 o 536922046411720 83.39/83.50 o 536921209189320 83.50/83.61 o 536919534744520 83.69/83.76 o 536915348632520 83.79/83.85 o 536915348428120 83.89/83.95 o 536915348245620 83.99/84.06 o 536915347515620 84.09/84.17 o 536915346055620 84.19/84.28 o 536913851015620 84.29/84.38 o 536837783380420 84.39/84.47 o 536685648110020 84.60/84.65 o 536684900590020 84.70/84.75 o 536681910510020 84.79/84.86 o 536657989870020 84.89/84.96 o 536646029550020 84.99/85.06 o 536543629550020 85.09/85.16 o 534905229550020 85.19/85.27 o 534905192174020 85.29/85.36 o 533266792174020 85.39/85.46 o 533266642670020 85.49/85.56 o 533265446638020 85.58/85.65 o 533260662510020 85.70/85.75 o 533251094254020 85.80/85.85 o 533250795246020 85.89/85.94 o 533250197230020 85.99/86.04 o 533250159854020 86.09/86.14 o 533250085102020 86.19/86.23 o 533249935598020 86.29/86.33 o 533243955438020 86.39/86.43 o 533220034798020 86.49/86.52 o 533218539758020 86.59/86.62 o 533215549678020 86.69/86.71 o 533215549495520 86.90/86.98 o 533215549130520 86.99/87.07 o 533214801610520 87.09/87.17 o 533214778250520 87.19/87.26 o 533214731530520 87.29/87.36 o 533214544650520 87.39/87.45 o 533214170890520 87.49/87.54 o 533214159210520 87.59/87.64 o 533214065770520 87.69/87.73 o 533214065040520 87.79/87.82 o 533214063580520 87.90/87.91 o 533214057740520 87.90/88.00 o 533214054820520 88.00/88.09 o 533213456804520 88.09/88.18 o 533175183780520 88.19/88.27 o 533156047268520 88.29/88.36 o 533156009892520 88.39/88.45 o 533155991204520 88.49/88.54 o 533155990620520 88.59/88.63 o 533155989452520 88.69/88.71 o 533155987116520 88.79/88.80 o 533155982444520 88.79/88.89 o 533155973100520 88.89/88.97 o 533154777068520 89.00/89.06 o 533152385004520 89.10/89.14 o 533147600876520 89.19/89.23 o 533147600584520 89.29/89.31 o 533147525832520 89.39/89.40 o 533147376328520 89.39/89.48 o 532553456328520 89.49/89.57 o 531959536328520 89.59/89.62 o 531957144264520 89.69/89.70 o 531938007752520 89.69/89.78 o 531935615688520 89.79/89.88 o 531930831560520 89.89/89.95 o 531930794184520 89.99/90.03 o 531930784840520 90.10/90.11 o 531930780168520 90.10/90.20 o 531930760835400 90.29/90.33 o 531930714115400 90.39/90.40 o 531929219075400 90.39/90.47 o 531929032195400 90.49/90.55 o 531833349635400 90.59/90.62 o 531730949635400 90.59/90.69 o 531692676611400 90.69/90.78 o 531686696451400 90.79/90.85 o 531674736131400 90.89/90.92 o 531626894851400 90.99/91.02 o 531524494851400 90.99/91.09 o 531084174851400 91.09/91.16 o 528744080899400 91.09/91.19 o 528739296771400 91.20/91.22 o 528736904707400 91.20/91.30 o 528696239619400 91.30/91.37 o 528623752099400 91.69/91.74 o 502558781493400 91.79/91.82 o 502520508469400 91.89/91.90 o 502515724341400 91.89/91.98 o 502513332277400 101.38/101.47 o 502513179639422 101.58/101.62 o 502513167959422 101.68/101.77 o 502513167842622 101.88/101.93 o 502513166908222 101.98/102.08 o 502513047305022 102.20/102.24 o 502513047071422 102.30/102.39 o 502513043333822 102.48/102.55 o 502513043275422 102.68/102.70 o 502513043041822 102.78/102.85 o 502513041173022 102.98/103.01 o 502513011272222 103.08/103.16 o 502512951470622 103.18/103.31 o 502512947733022 103.40/103.46 o 502512940257822 103.58/103.61 o 502512925307422 103.68/103.77 o 502512925015422 103.89/103.92 o 502512923847422 103.99/104.07 o 502512916372222 104.19/104.22 o 502512901421822 104.29/104.37 o 502512871521022 104.50/104.52 o 502512869652222 104.59/104.66 o 502512809850622 104.79/104.81 o 502512809383422 104.89/104.96 o 502512330970622 105.09/105.11 o 502512330678622 105.19/105.25 o 502512328342622 105.38/105.40 o 502512309654622 105.50/105.55 o 502512234902622 105.60/105.69 o 502512230230622 105.78/105.84 o 502512229062622 105.88/105.98 o 502512219718622 106.08/106.13 o 502512182342622 106.18/106.27 o 502512181758622 106.38/106.42 o 502512181612622 106.48/106.56 o 502512178108622 106.60/106.70 o 502512177232622 106.78/106.85 o 502512175480622 106.88/106.99 o 502512156147502 107.08/107.13 o 502510960115502 107.18/107.27 o 502510481702702 107.38/107.42 o 502510003289902 107.48/107.56 o 502407603289902 107.58/107.70 o 502202803289902 107.80/107.84 o 502202564083502 107.88/107.98 o 502202444480302 108.08/108.12 o 501997644480302 108.18/108.26 o 501895244480302 108.28/108.40 o 499519564480302 108.48/108.53 o 499109964480302 108.58/108.67 o 492556364480302 108.68/108.81 o 492556364246702 108.90/108.93 o 492554450595502 108.98/109.06 o 492554450537102 109.18/109.20 o 492553493711502 109.28/109.34 o 492553492777102 109.38/109.47 o 492553490908302 109.58/109.60 o 492553487170702 109.68/109.74 o 492549659868302 109.78/109.87 o 492545832565902 110.00/110.05 o 490907432565902 110.09/110.18 o 487630632565902 110.29/110.31 o 487630593899662 110.39/110.44 o 487528193899662 110.49/110.56 o 487527715486862 110.59/110.69 o 487526758661262 110.79/110.82 o 487321958661262 110.89/110.95 o 486912358661262 111.00/111.08 o 486881740242062 111.19/111.21 o 486877912939662 111.29/111.33 o 486877912005262 111.39/111.46 o 486870257400462 111.49/111.59 o 486870197598862 111.69/111.71 o 486854888389262 111.79/111.83 o 486854873438862 111.88/111.96 o 486854873205262 111.98/112.08 o 486854872738062 112.10/112.20 o 486854867131662 112.28/112.32 o 486854149512462 112.38/112.44 o 486815876488462 112.58/112.61 o 486813006011662 112.78/112.82 o 486812977979662 112.88/112.92 o 486812529467662 113.08/113.14 o 486810137403662 113.20/113.26 o 486795785019662 113.30/113.38 o 486791000891662 113.38/113.49 o 486785259938062 113.58/113.61 o 483508459938062 113.68/113.73 o 476954859938062 113.78/113.85 o 476931896123662 113.88/113.95 o 476522296123662 113.98/114.06 o 476522109243662 114.08/114.17 o 476520614203662 114.18/114.26 o 476315814203662 114.30/114.37 o 476111014203662 114.40/114.44 o 473735334203662 114.48/114.56 o 473632934203662 114.58/114.66 o 473223334203662 114.68/114.78 o 473120934203662 114.78/114.89 o 473116150075662 115.18/115.22 o 473115552059662 115.40/115.43 o 473114954043662 115.50/115.55 o 473113758011662 115.59/115.67 o 473111365947662 115.78/115.88 o 473110169915662 115.89/115.99 o 473109571899662 116.09/116.10 o 473107179835662 116.29/116.31 o 473004779835662 116.39/116.42 o 472902379835662 116.50/116.54 o 472897595707662 116.60/116.65 o 472894605627662 116.69/116.76 o 472870684987662 116.79/116.87 o 472864704827662 116.89/116.98 o 472840784187662 116.99/117.08 o 472816863547662 117.09/117.19 o 472813873467662 117.29/117.30 o 472813574459662 117.39/117.41 o 472813424955662 117.49/117.52 o 472812826939662 117.60/117.62 o 472810434875662 117.70/117.73 o 472786514235662 117.79/117.84 o 472738672955662 117.89/117.95 o 472735682875662 117.99/118.05 o 472729702715662 118.09/118.15 o 472723722555662 118.19/118.25 o 469446922555662 118.29/118.38 o 469427786043662 118.39/118.47 o 469426590011662 118.48/118.57 o 469424197947662 118.58/118.67 o 469419413819662 118.70/118.77 o 469419395131662 118.80/118.86 o 469419394985662 118.88/118.94 o 469419394693662 118.98/119.03 o 469419357317662 119.08/119.12 o 469419207813662 119.18/119.21 o 469419207229662 119.28/119.30 o 469419207156662 119.28/119.38 o 469419132404662 119.38/119.48 o 469417936372662 119.48/119.56 o 469417338356662 119.58/119.65 o 469417336020662 119.68/119.74 o 469412551892662 119.90/119.91 o 469402983636662 119.98/120.00 o 469391023316662 119.98/120.08 o 469379062996662 120.18/120.22 o 469367102676662 120.28/120.31 o 469361122516662 120.28/120.39 o 469337201876662 120.38/120.47 o 469334211796662 120.48/120.56 o 469286370516662 120.58/120.67 o 468846050516662 120.68/120.75 o 468846027156662 120.78/120.84 o 468844113505462 120.78/120.91 o 468843989773494 120.90/121.00 o 468828618697910 121.00/121.06 o 468790345673910 121.09/121.14 o 468787953609910 121.19/121.22 o 468768817097910 121.29/121.30 o 468759248841910 121.29/121.38 o 468754464713910 121.69/121.75 o 466493836017302 121.79/121.84 o 466493809854102 121.89/121.93 o 466493809036502 122.01/122.03 o 466493805766102 122.11/122.12 o 466391405766102 122.19/122.22 o 466391405357302 122.29/122.31 o 466391405255102 122.39/122.41 o 466391352928702 122.49/122.50 o 466391248275902 122.49/122.59 o 466391241735102 122.59/122.69 o 466391240099902 122.69/122.78 o 465572040099902 132.89/132.97 o 460721063558116 133.01/133.09 o 460721062397416 133.19/133.22 o 460721060076016 133.29/133.34 o 460721055433216 133.39/133.47 o 460721046147616 133.49/133.59 o 460721043811616 133.69/133.72 o 460721042877216 133.79/133.84 o 460721042694716 133.89/133.97 o 460719547654716 133.99/134.10 o 460719547362716 134.21/134.22 o 460719545026716 134.29/134.35 o 460719540354716 134.39/134.47 o 460719539186716 134.59/134.60 o 460719529842716 134.69/134.72 o 460719529258716 134.79/134.84 o 460719529112716 134.89/134.97 o 460719491736716 134.99/135.09 o 460714707608716 135.21/135.21 o 460714632856716 135.31/135.34 o 460714034840716 135.39/135.46 o 460714016152716 135.49/135.58 o 460713717144716 135.69/135.70 o 460713567640716 135.79/135.83 o 460713567173516 135.89/135.94 o 460712610347916 135.99/136.06 o 460712131935116 136.09/136.18 o 460609731935116 136.19/136.30 o 460404931935116 136.41/136.42 o 460404931916866 136.49/136.54 o 460404931880366 136.59/136.66 o 460395423425966 136.69/136.79 o 459985823425966 136.89/136.91 o 459781023425966 136.99/137.03 o 459780425409966 137.09/137.15 o 459678025409966 137.19/137.27 o 459268425409966 137.29/137.38 o 459166025409966 137.41/137.50 o 458961225409966 137.59/137.61 o 458957398107566 137.69/137.73 o 458957338679726 137.79/137.85 o 452403738679726 137.89/137.97 o 451584538679726 137.99/138.09 o 451582625028526 138.19/138.21 o 451582535326126 138.29/138.33 o 451172935326126 138.39/138.45 o 451149014686126 138.50/138.57 o 451129878174126 138.61/138.69 o 438022678174126 138.79/138.80 o 436384278174126 138.89/138.91 o 436384098769326 138.99/139.02 o 436384095055086 144.39/144.46 o 436314570955434 144.59/144.61 o 436312178891434 144.69/144.75 o 436310982859434 144.79/144.88 o 436310384843434 144.99/145.03 o 436304404683434 145.11/145.16 o 436299620555434 145.21/145.29 o 436299381349034 145.39/145.42 o 436298902936234 145.59/145.68 o 436298902877834 145.79/145.83 o 436298902761034 145.89/145.97 o 436298902731834 146.09/146.13 o 436298424319034 146.21/146.27 o 436298304715834 146.39/146.42 o 436298244914234 146.49/146.56 o 436298005707834 146.69/146.71 o 436195605707834 146.79/146.86 o 435990805707834 146.99/147.01 o 435988892056634 147.09/147.15 o 435987935231034 147.19/147.30 o 435885535231034 147.41/147.45 o 435877880626234 147.49/147.59 o 435673080626234 147.69/147.74 o 434034680626234 147.79/147.88 o 434033723800634 147.99/148.03 o 434033723742234 148.09/148.18 o 433214523742234 148.29/148.32 o 433214493841434 148.41/148.46 o 433183875422234 148.59/148.61 o 432743555422234 148.69/148.75 o 432743256414234 148.89/148.90 o 432640856414234 148.99/149.04 o 432231256414234 149.19/149.25 o 432026456414234 149.29/149.39 o 431207256414234 149.51/149.61 o 429056856414234 149.69/149.74 o 428954456414234 150.71/150.76 o 403646887750730 150.79/150.88 o 402008487750730 150.99/151.00 o 400370087750730 151.09/151.12 o 400267687750730 151.19/151.25 o 399448487750730 151.30/151.37 o 398629287750730 151.49/151.54 o 398629241030730 151.59/151.66 o 398629238110730 151.71/151.78 o 398629237380730 151.89/151.90 o 398629214020730 151.99/152.02 o 398629027140730 152.09/152.14 o 398629021300730 152.19/152.26 o 398628927860730 152.29/152.39 o 398628926400730 152.49/152.51 o 398628914720730 152.59/152.63 o 395352114720730 152.69/152.74 o 388798514720730 156.89/156.93 o 385662667038576 156.99/157.07 o 385662663300976 157.21/157.23 o 385662659563376 157.31/157.38 o 385662658103376 157.50/157.53 o 385655003498576 157.60/157.68 o 385624385079376 157.80/157.82 o 385521985079376 165.69/165.73 o 353203156104096 165.79/165.86 o 353203153184096 165.89/166.00 o 353203152454096 166.11/166.14 o 353203150994096 166.19/166.28 o 353203113851696 166.39/166.40 o 353203095280496 166.49/166.54 o 353203087805296 166.59/166.67 o 353203084067696 166.79/166.81 o 353203082198896 166.89/166.94 o 353203082123376 166.99/167.08 o 353203081821296 167.11/167.19 o 353203081217136 167.21/167.27 o 353203081066096 167.39/167.40 o 353203081028336 167.49/167.53 o 353203078692336 167.59/167.67 o 353203078400336 167.69/167.79 o 353203077232336 167.79/167.86 o 353203077086336 167.89/167.98 o 353203076502336 168.09/168.11 o 353202119676736 168.21/168.23 o 353201745916736 168.31/168.36 o 353201734236736 168.39/168.48 o 353200986716736 168.59/168.61 o 353200930652736 168.69/168.74 o 353194950492736 168.79/168.86 o 353194800988736 168.99/169.00 o 353194796316736 169.09/169.13 o 353193600284736 169.19/169.26 o 353193376028736 169.31/169.40 o 353193375678336 169.50/169.52 o 353193375503136 169.70/169.75 o 353193374276736 169.90/169.99 o 353193374254836 170.10/170.12 o 353193373554036 170.30/170.37 o 352988574276736 170.41/170.50 o 352988573692736 170.60/170.63 o 352394653692736 170.70/170.76 o 352394653108736 171.00/171.08 o 352394648436736 171.29/171.33 o 352394611060736 171.39/171.46 o 351954291060736 171.51/171.60 o 351800691060736 171.69/171.72 o 351800392052736 171.79/171.84 o 351800389716736 171.89/171.96 o 351360069716736 172.19/172.23 o 351360007850752 172.29/172.34 o 351359822252800 172.39/172.47 o 351359791319808 172.49/172.59 o 351359787453184 172.61/172.71 o 350950187453184 172.79/172.83 o 346198827453184 172.99/173.00 o 345994027453184 173.09/173.17 o 345983472470784 173.19/173.28 o 345982994057984 173.39/173.40 o 345982964157184 173.49/173.50 o 345982963222784 173.59/173.62 o 345542643222784 173.71/173.72 o 344948723222784 173.81/173.84 o 344948663421184 173.89/173.95 o 344944836118784 174.29/174.34 o 344943640086784 174.39/174.49 o 344124440086784 174.59/174.61 o 343919640086784 174.69/174.71 o 340642840086784 174.81/174.83 o 340642242070784 174.91/174.94 o 340637457942784 175.00/175.04 o 340627889686784 175.10/175.16 o 340625497622784 175.40/175.45 o 340621670320384 175.50/175.56 o 340621431113984 175.60/175.66 o 340621311510784 175.70/175.77 o 340590693091584 175.80/175.87 o 340589736265984 175.91/175.97 o 338951336265984 176.90/176.91 o 338852266429184 177.01/177.02 o 338852251478784 177.11/177.13 o 338852228118784 177.20/177.23 o 338852227388784 177.30/177.34 o 338852040508784 177.40/177.45 o 338852037588784 177.50/177.56 o 338852025908784 177.60/177.67 o 338851979188784 177.69/177.77 o 338851885748784 177.79/177.88 o 338851879908784 177.89/177.98 o 338849502795184 177.99/178.09 o 338849383939504 178.11/178.19 o 338849369082544 178.29/178.30 o 338848893659824 178.39/178.40 o 338848891802704 178.49/178.50 o 338848862088784 178.59/178.61 o 338847911243344 178.69/178.71 o 338847907529104 178.79/178.81 o 338847669817744 178.89/178.91 o 338847662389264 178.99/179.01 o 338843859007504 179.09/179.11 o 338841957316624 179.09/179.21 o 338841209796624 179.21/179.31 o 338840836036624 179.39/179.41 o 338839340996624 179.49/179.59 o 338839331652624 179.79/179.85 o 338839284932624 179.89/179.95 o 338839279092624 179.99/180.05 o 338839255732624 180.09/180.14 o 338839162292624 180.19/180.23 o 338839159372624 180.31/180.33 o 338838972492624 180.41/180.42 o 338838960812624 180.49/180.52 o 338838959352624 180.59/180.61 o 338736559352624 180.69/180.70 o 338736484600624 180.79/180.80 o 338736447224624 180.79/180.89 o 338736292559664 180.89/180.98 o 337097892559664 180.99/181.07 o 337096696527664 181.09/181.16 o 337096098511664 181.19/181.26 o 337091314383664 181.30/181.35 o 337091015375664 181.41/181.44 o 337088623311664 181.80/181.89 o 337087385991984 181.90/181.96 o 336666202503984 182.00/182.03 o 336647065991984 182.10/182.19 o 335438745991984 182.20/182.27 o 335437250951984 182.30/182.35 o 335437157511984 182.40/182.44 o 335436970631984 182.51/182.53 o 335436596871984 202.09/202.18 o 333619337609484 202.19/202.31 o 333619337580284 202.41/202.46 o 333619337288284 202.59/202.61 o 333619337142284 202.69/202.75 o 333619336959784 202.89/202.90 o 333619336813784 202.99/203.04 o 333619336740784 203.09/203.18 o 333619336623984 203.29/203.33 o 333619336565584 203.41/203.47 o 333619336331984 203.59/203.61 o 333619336258984 203.69/203.75 o 333619333922984 203.79/203.89 o 333619333776984 203.99/204.04 o 333619333484984 204.09/204.18 o 333619333338984 204.29/204.32 o 333619333302484 204.39/204.45 o 333619333229484 204.50/204.59 o 333619332645484 204.69/204.73 o 333619327973484 204.79/204.87 o 333619318629484 204.99/205.01 o 333619299941484 205.09/205.15 o 333619299868484 205.19/205.29 o 333619297532484 205.39/205.42 o 333619295196484 205.49/205.56 o 333619294612484 205.61/205.70 o 333619275924484 205.79/205.83 o 333619238548484 205.89/205.97 o 333619163796484 206.09/206.10 o 333619126420484 206.19/206.24 o 333619107732484 206.29/206.37 o 333619106564484 206.49/206.50 o 333619104228484 206.59/206.64 o 333619099556484 206.71/206.77 o 333619090212484 206.89/206.90 o 333619085379204 206.99/207.03 o 333619010627204 207.09/207.16 o 333618711619204 207.19/207.30 o 333617515587204 207.39/207.42 o 333616917571204 207.49/207.55 o 333615721539204 207.59/207.68 o 333615347779204 207.69/207.81 o 333615160899204 207.91/207.94 o 333614413379204 207.99/208.07 o 333611423299204 208.09/208.19 o 333609928259204 208.29/208.32 o 333609180739204 208.39/208.45 o 333606190659204 208.49/208.57 o 333605443139204 208.69/208.70 o 333603948099204 208.79/208.82 o 333603574339204 208.91/208.94 o 333603573130884 209.01/209.07 o 333603570714244 209.09/209.19 o 333602075674244 209.29/209.32 o 333554234394244 209.39/209.44 o 333548254234244 209.49/209.56 o 333524333594244 209.59/209.68 o 333512373274244 209.89/209.93 o 332918453274244 210.19/210.22 o 332099253274244 210.39/210.42 o 331689653274244 210.49/210.58 o 330051253274244 210.79/210.80 o 330050206746244 210.89/210.98 o 330048113690244 210.99/211.10 o 330043329562244 211.21/211.22 o 330043303399044 211.29/211.33 o 330043296858244 211.39/211.45 o 330043244531844 211.49/211.56 o 330043243714244 211.59/211.67 o 330043242079044 211.69/211.79 o 330042823467844 211.89/211.90 o 330042823416744 211.99/212.01 o 330042823007944 212.09/212.13 o 330042822905744 212.21/212.24 o 330042613600144 212.31/212.35 o 330042610329744 212.39/212.46 o 330042610125344 212.49/212.57 o 330042505472544 212.59/212.68 o 330039634995744 212.79/212.81 o 330031023565344 212.89/212.92 o 330030305946144 212.99/213.02 o 330028870707744 213.09/213.13 o 330028511898144 213.19/213.23 o 330028467046944 213.31/213.34 o 330028444621344 213.41/213.44 o 330028265216544 213.49/213.55 o 330028254003744 213.59/213.65 o 330028253828544 213.69/213.76 o 330028248222144 213.79/213.86 o 330028158519744 213.89/213.96 o 330028158475944 214.19/214.21 o 330004237835944 214.29/214.30 o 325252877835944 214.41/214.49 o 325150477835944 214.51/214.59 o 325140909579944 214.69/214.72 o 325128949259944 214.79/214.82 o 325116988939944 214.89/214.92 o 324676668939944 214.99/215.00 o 311569468939944 275.09/275.10 o 307416960168488 275.19/275.25 o 307416960168016 275.39/275.43 o 307416960152912 275.59/275.61 o 307416960094512 275.69/275.79 o 307416960094394 275.89/275.96 o 307416960094158 276.11/276.14 o 307416960093214 276.29/276.32 o 307416960042114 276.39/276.49 o 307416960034562 276.59/276.67 o 307416960005362 276.79/276.84 o 307416959975154 276.99/277.02 o 307416959945954 277.11/277.19 o 307416959942178 277.29/277.36 o 307416959883778 277.49/277.54 o 307416959824306 277.69/277.72 o 307416959765906 277.79/277.89 o 307416959649106 277.99/278.07 o 307416959415506 278.21/278.24 o 307416959196506 278.39/278.43 o 307415763164506 278.49/278.59 o 307415763047706 278.69/278.78 o 307313363047706 278.89/278.95 o 307108563047706 279.09/279.13 o 306698963047706 279.19/279.30 o 306695972967706 279.41/279.48 o 306695961287706 279.59/279.65 o 306695213767706 279.79/279.83 o 306695190407706 279.99/280.00 o 306693695367706 280.09/280.19 o 306693648647706 280.29/280.36 o 306693461767706 280.51/280.54 o 306693368327706 280.69/280.71 o 306692994567706 280.79/280.89 o 306692988727706 280.99/281.06 o 306692985807706 281.19/281.24 o 306692985077706 281.39/281.45 o 306692984931706 281.61/281.62 o 306692984858706 281.69/281.79 o 306692984712706 281.89/281.97 o 306692983544706 282.09/282.15 o 306692981208706 282.29/282.32 o 306692976536706 282.49/282.50 o 306692967192706 282.61/282.68 o 306692369176706 282.80/282.85 o 306692331800706 282.99/283.02 o 306692182296706 283.09/283.19 o 306692107544706 283.29/283.37 o 306691808536706 283.49/283.54 o 306691789848706 283.71/283.72 o 306689397784706 283.81/283.89 o 306679829528706 283.99/284.07 o 306085909528706 283.99/284.08 o 305645589528706 284.19/284.23 o 304457749528706 284.39/284.40 o 304450094923906 284.49/284.54 o 304450094807106 284.69/284.71 o 304448181155906 284.81/284.88 o 304444353853506 284.99/285.05 o 304444350115906 285.19/285.22 o 304443393290306 285.29/285.39 o 304443273687106 285.49/285.56 o 304443258736706 285.69/285.72 o 304443257802306 285.79/285.89 o 304443227901506 286.01/286.06 o 304442988695106 286.19/286.23 o 304442986826306 286.29/286.39 o 304442979351106 286.49/286.56 o 304442500938306 286.69/286.72 o 304442441136706 286.79/286.89 o 304442440903106 287.01/287.05 o 304442440435906 287.29/287.37 o 304340040435906 287.49/287.59 o 303520840435906 287.79/287.81 o 303316040435906 325.51/325.59 o 269895077976954 325.70/325.75 o 269895076516954 325.90/325.93 o 269895071844954 326.10/326.10 o 269895071801154 326.20/326.28 o 269895071436154 326.40/326.46 o 269895069684154 326.61/326.64 o 269895066180154 326.80/326.81 o 269895065304154 326.90/326.98 o 269895065085154 327.10/327.16 o 269895064647154 327.30/327.33 o 269895057639154 327.50/327.51 o 269895043623154 327.60/327.68 o 269895043331154 327.81/327.86 o 269895042747154 328.00/328.03 o 269895036907154 328.20/328.20 o 269895036542154 328.30/328.37 o 269895027198154 328.50/328.54 o 269895026030154 328.70/328.72 o 269895021358154 328.81/328.89 o 269895018438154 328.99/329.06 o 269895012598154 329.19/329.23 o 269895006758154 329.39/329.40 o 269895006637322 329.49/329.57 o 269895006636378 329.69/329.74 o 269895006394714 329.79/329.91 o 269895005664714 330.01/330.08 o 269895002744714 330.19/330.25 o 269894991064714 330.40/330.41 o 269894989604714 330.50/330.58 o 269894987735914 330.70/330.74 o 269894986801514 330.90/330.91 o 269894979326314 331.01/331.07 o 269894964375914 331.20/331.24 o 269894960638314 331.40/331.40 o 269894923262314 331.50/331.56 o 269894915787114 331.70/331.73 o 269894912049514 331.80/331.89 o 269894897099114 332.00/332.06 o 269894895230314 332.21/332.22 o 269894865329514 332.30/332.38 o 269894827953514 332.50/332.55 o 269894826785514 332.70/332.71 o 269894826767264 332.80/332.88 o 269894826475264 333.00/333.04 o 269894824139264 333.10/333.20 o 269894819467264 333.31/333.36 o 269894800779264 333.50/333.52 o 269894800742764 333.60/333.68 o 269894800158764 333.80/333.84 o 269894762782764 334.00/334.00 o 269894762709764 334.10/334.16 o 269894753365764 334.31/334.32 o 269894753219764 334.41/334.48 o 269894723318964 334.60/334.64 o 269894663517364 334.80/334.80 o 269894663473564 334.90/334.96 o 269894662071964 335.10/335.12 o 269894639646364 335.20/335.27 o 269894639631764 335.41/335.43 o 269894638463764 335.51/335.58 o 269894633791764 335.69/335.74 o 269894633755264 335.79/335.89 o 269894624411264 335.99/336.05 o 269894564609664 336.19/336.20 o 269894560872064 336.29/336.35 o 269894551528064 336.39/336.51 o 269894532840064 336.61/336.66 o 269894530504064 336.79/336.82 o 269894525832064 336.99/337.00 o 269894523788064 337.09/337.15 o 269894523671264 337.29/337.30 o 269894523612864 337.39/337.45 o 269894523379264 337.49/337.60 o 269894515904064 337.71/337.75 o 269894514969664 337.79/337.89 o 269894514940464 337.99/338.04 o 269894514473264 338.09/338.18 o 269894512604464 338.29/338.33 o 269894507932464 338.39/338.47 o 269894210793264 338.59/338.62 o 269894062223664 338.71/338.76 o 269893987938864 338.89/338.90 o 269892799382064 338.99/339.05 o 269892205103664 339.09/339.19 o 269892055599664 339.29/339.33 o 269880095279664 339.39/339.47 o 269879975676464 339.59/339.61 o 269879971938864 339.69/339.75 o 269879970070064 339.81/339.90 o 269879962594864 339.99/340.04 o 269777562594864 340.09/340.18 o 269777203785264 340.29/340.32 o 269777192572464 340.39/340.46 o 269674792572464 340.59/340.60 o 269674783228464 340.69/340.74 o 269572383228464 340.79/340.88 o 269469983228464 341.01/341.02 o 269466993148464 341.09/341.16 o 269461012988464 341.29/341.30 o 269460966268464 341.39/341.44 o 269460942908464 341.49/341.58 o 269460849468464 341.69/341.71 o 269460374045744 341.79/341.85 o 269460187165744 341.89/341.99 o 269459949454384 342.11/342.12 o 269459575694384 342.19/342.26 o 269049975694384 342.29/342.39 o 269026055054384 342.49/342.52 o 269020074894384 342.59/342.66 o 269012898702384 342.69/342.77 o 268910498702384 342.79/342.89 o 268898538382384 342.99/343.01 o 268874617742384 343.10/343.12 o 268669817742384 343.21/343.24 o 268260217742384 343.29/343.37 o 267856298894384 343.39/343.49 o 267855574734384 343.59/343.60 o 267855551374384 343.69/343.73 o 267854803854384 376.79/376.87 o 267627493227472 376.99/377.02 o 267627493169072 377.09/377.12 o 267627493154472 377.20/377.27 o 267627493125272 377.39/377.42 o 267627493117972 377.49/377.57 o 267627493081472 377.69/377.72 o 267627493063222 377.79/377.86 o 267627492990222 377.99/378.01 o 267627492931822 378.09/378.16 o 267627492917222 378.19/378.30 o 267627492902622 378.41/378.45 o 267627492844222 378.59/378.60 o 267627492815022 378.69/378.74 o 267627492756622 378.79/378.89 o 267627492698222 378.99/379.03 o 267627492683622 379.09/379.18 o 267627492566822 379.29/379.32 o 267627492537622 379.41/379.47 o 267627492523022 379.59/379.61 o 267627491355022 379.69/379.76 o 267627491063022 379.89/379.90 o 267627490917022 379.99/380.04 o 267625577265822 380.09/380.19 o 267625576827822 380.29/380.33 o 267625576535822 380.39/380.47 o 267625576389822 380.51/380.61 o 267625575805822 380.69/380.74 o 267625575586822 380.79/380.89 o 267625575002822 380.99/381.02 o 267625574856822 381.09/381.16 o 267625574272822 381.29/381.30 o 267625574254572 381.39/381.44 o 267625574218072 381.49/381.57 o 267625574072072 381.60/381.71 o 267625573780072 381.79/381.85 o 267625573707072 381.89/381.98 o 267625274699072 382.09/382.11 o 267625272363072 382.19/382.25 o 267625197611072 382.29/382.39 o 267625048107072 382.49/382.52 o 267624450091072 382.59/382.65 o 267624440747072 382.70/382.79 o 267624422059072 382.89/382.92 o 267624420891072 382.99/383.05 o 267624383515072 383.09/383.18 o 267624378843072 383.29/383.31 o 267624341467072 383.39/383.45 o 267623145435072 383.81/383.81 o 267623085633472 383.91/383.94 o 267623055732672 383.99/384.07 o 267623040782272 384.19/384.20 o 267623033307072 384.29/384.33 o 267621837275072 384.69/384.71 o 267621837129072 384.79/384.81 o 267621837128600 384.91/384.93 o 267621836836600 385.01/385.06 o 267621832164600 385.09/385.18 o 267621831580600 385.29/385.31 o 267621592374200 385.39/385.43 o 267621472771000 385.49/385.55 o 267620515945400 385.59/385.67 o 267616688643000 385.69/385.79 o 267614774991800 385.89/385.91 o 267614296579000 386.01/386.03 o 267614296506000 386.11/386.15 o 267614294170000 386.19/386.27 o 267614284826000 386.29/386.39 o 267614284789500 988.00/988.00 o 265289043165843 988.10/988.15 o 265289043092843 988.20/988.26 o 265289041924843 988.40/988.41 o 265289041895643 988.50/988.55 o 265289041749643 988.60/988.69 o 265289041603643 988.81/988.83 o 265289041486843 988.91/988.93 o 265289041472243 989.00/989.07 o 265289041326243 989.10/989.16 o 265289041267843 989.30/989.30 o 265289041238643 989.40/989.40 o 265289041092643 989.50/989.53 o 265289038756643 989.60/989.63 o 265289038698243 989.70/989.77 o 265289038690943 989.80/989.86 o 265289037522943 989.91/990.00 o 265289037464543 990.01/990.09 o 265289037318543 990.20/990.22 o 265289037084943 990.30/990.31 o 265289036851343 990.40/990.44 o 265289036559343 990.50/990.54 o 265289036559107 990.60/990.67 o 265289036486107 990.70/990.76 o 265289036369307 990.80/990.88 o 265289013009307 990.90/990.97 o 265289012542107 991.01/991.10 o 265289012250107 991.11/991.19 o 265289011958107 991.30/991.32 o 265289011374107 991.40/991.44 o 265289010790107 991.50/991.55 o 265289010644107 991.60/991.65 o 265289010643989 991.70/991.78 o 265289010643930 991.90/991.92 o 265288987283930 992.00/992.05 o 265288963923930 992.11/992.17 o 265288960186330 992.30/992.30 o 265288959251930 992.40/992.41 o 265288959178930 992.50/992.54 o 265288959032930 992.60/992.65 o 265288958912098 992.80/992.81 o 265288935552098 992.90/992.92 o 265288842112098 993.00/993.03 o 265288823424098 993.10/993.15 o 265288815690850 993.21/993.26 o 265288800224354 993.31/993.37 o 265288796357730 993.50/993.51 o 265288672625762 993.60/993.64 o 265288553022562 993.70/993.78 o 265288074609762 993.80/993.88 o 265288044708962 994.00/994.01 o 265287984907362 994.10/994.15 o 265287745700962 994.20/994.26 o 265287147684962 994.31/994.39 o 265285951652962 994.50/994.59 o 265081151652962 994.70/994.72 o 264773951652962 994.80/994.85 o 264671551652962 995.10/995.14 o 264261951652962 995.30/995.37 o 264147132580962 995.41/995.51 o 264089723044962 995.60/995.64 o 263270523044962 995.70/995.77 o 261632123044962 996.20/996.20 o 256880763044962 996.30/996.32 o 256440443044962 996.40/996.45 o 255846523044962 996.51/996.57 o 255641723044962 996.70/996.70 o 229427323044962 996.80/996.81 o 228833403044962 996.90/996.92 o 228393083044962 997.00/997.02 o 228387102884962 997.10/997.13 o 226748702884962 997.20/997.23 o 226742722724962 997.30/997.35 o 226730762404962 997.50/997.58 o 226730750724962 997.61/997.70 o 226730704004962 997.71/997.78 o 226727713924962 997.90/997.90 o 226721733764962 998.10/998.16 o 226712763524962 998.20/998.26 o 226610363524962 998.30/998.37 o 225791163524962 998.50/998.51 o 225688796228962 998.60/998.62 o 225279196228962 998.71/998.73 o 225279188753762 998.81/998.83 o 225279173803362 998.90/998.95 o 225279114001762 999.00/999.05 o 225279084100962 999.10/999.16 o 225278964497762 999.20/999.26 o 225278815928162 999.30/999.38 o 225278806642562 999.40/999.49 o 225278769500162 999.60/999.60 o 225278695215362 999.70/999.71 o 225278676644162 999.81/999.82 o 225278082365762 999.91/999.93 o 225277785226562 1000.00/1000.04 o 225276596669762 1800.10/1800.11 >>> Terminate signal received 1800.10/1800.11 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 x32 x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 x72 -x73 x74 x75 -x76 x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 x134 x135 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 x167 x168 x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 x257 x258 -x259 x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 x335 x336 x337 x338 x339 x340 x341 -x342 -x343 x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 x367 -x368 x369 x370 -x371 -x372 -x373 x374 x375 x376 x377 -x378 x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -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 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 x998 x999 x1000 x1001 x1002 x1003 x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 x1030 x1031 x1032 x1033 x1034 -x1035 x1036 -x1037 -x1038 x1039 -x1040 x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 x1060 x1061 -x1062 x1063 x1064 -x1065 x1066 -x1067 -x1068 x1069 -x1070 x1071 x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093 x1094 -x1095 -x1096 x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 x1143 x1144 -x1145 -x1146 -x1147 -x1148 x1149 -x1150 -x1151 x1152 x1153 x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 x1249 -x1250 -x1251 -x1252 x1253 x1254 x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 x1330 x1331 -x1332 x1333 x1334 -x1335 -x1336 -x1337 x1338 -x1339 x1340 -x1341 -x1342 x1343 x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 -x1374 x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 x1388 -x1389 x1390 x1391 x1392 x1393 x1394 -x1395 x1396 x1397 x1398 x1399 x1400 x1401 x1402 x1403 x1404 -x1405 x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 x1421 x1422 x1423 x1424 x1425 x1426 x1427 x1428 x1429 x1430 x1431 x1432 x1433 x1434 x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 x1476 -x1477 -x1478 -x1479 x1480 -x1481 -x1482 x1483 x1484 -x1485 -x1486 -x1487 -x1488 x1489 x1490 x1491 x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 x1545 -x1546 -x1547 -x1548 -x1549 x1550 x1551 -x1552 -x1553 -x1554 x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 x1578 -x1579 -x1580 x1581 x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655 x1656 -x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 x1683 x1684 x1685 -x1686 x1687 -x1688 x1689 x1690 -x1691 x1692 x1693 -x1694 x1695 x1696 -x1697 -x1698 x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 x1783 x1784 -x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1885 -x1886 x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 x1913 x1914 x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996
OK 225276596669762
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-3466732-1307400707/watcher-3466732-1307400707 -o /tmp/evaluation-result-3466732-1307400707/solver-3466732-1307400707 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466732-1307400707.opb --verbosity=0 --format=opb running on 4 cores: 0,2,4,6 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.01 2.03 1.91 2/489 18716 /proc/meminfo: memFree=26887668/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=8172 CPUtime=0.01 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 567 0 0 0 1 0 0 0 25 0 1 0 851669175 8368128 514 33554432000 4194304 6736272 140735387065776 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 2043 515 248 621 0 1413 0 [startup+0.0826069 s] /proc/loadavg: 2.01 2.03 1.91 2/489 18716 /proc/meminfo: memFree=26887668/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=7336 CPUtime=0.07 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1551 0 0 0 7 0 0 0 25 0 1 0 851669175 7512064 1426 33554432000 4194304 6736272 140735387065776 18446744073709551615 4754044 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 1834 1426 275 621 0 1204 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 7336 [startup+0.100606 s] /proc/loadavg: 2.01 2.03 1.91 2/489 18716 /proc/meminfo: memFree=26887668/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=7336 CPUtime=0.09 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1552 0 0 0 9 0 0 0 25 0 1 0 851669175 7512064 1427 33554432000 4194304 6736272 140735387065776 18446744073709551615 5148048 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 1834 1427 275 621 0 1204 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7336 [startup+0.300584 s] /proc/loadavg: 2.01 2.03 1.91 2/489 18716 /proc/meminfo: memFree=26887668/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=7336 CPUtime=0.29 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1562 0 0 0 29 0 0 0 25 0 1 0 851669175 7512064 1437 33554432000 4194304 6736272 140735387065776 18446744073709551615 5150527 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 1834 1437 282 621 0 1204 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7336 [startup+0.700509 s] /proc/loadavg: 2.01 2.03 1.91 2/489 18716 /proc/meminfo: memFree=26887668/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=7340 CPUtime=0.69 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1575 0 0 0 69 0 0 0 25 0 1 0 851669175 7516160 1450 33554432000 4194304 6736272 140735387065776 18446744073709551615 5146909 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 1835 1450 286 621 0 1205 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7340 [startup+1.50033 s] /proc/loadavg: 2.01 2.03 1.91 3/490 18717 /proc/meminfo: memFree=26882328/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=7548 CPUtime=1.49 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1588 0 0 0 149 0 0 0 25 0 1 0 851669175 7729152 1463 33554432000 4194304 6736272 140735387065776 18446744073709551615 5151472 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 1887 1463 286 621 0 1257 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7548 [startup+3.10109 s] /proc/loadavg: 2.01 2.03 1.91 3/490 18717 /proc/meminfo: memFree=26881336/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=7548 CPUtime=3.09 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1594 0 0 0 309 0 0 0 25 0 1 0 851669175 7729152 1469 33554432000 4194304 6736272 140735387065776 18446744073709551615 5149152 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 1887 1469 286 621 0 1257 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7548 [startup+6.30056 s] /proc/loadavg: 2.01 2.03 1.91 3/490 18717 /proc/meminfo: memFree=26880688/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=7548 CPUtime=6.29 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1612 0 0 0 629 0 0 0 25 0 1 0 851669175 7729152 1487 33554432000 4194304 6736272 140735387065776 18446744073709551615 5803162 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 1887 1487 286 621 0 1257 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7548 [startup+12.7005 s] /proc/loadavg: 2.01 2.03 1.91 3/490 18717 /proc/meminfo: memFree=26877476/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=7548 CPUtime=12.69 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1630 0 0 0 1269 0 0 0 25 0 1 0 851669175 7729152 1505 33554432000 4194304 6736272 140735387065776 18446744073709551615 4734537 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 1887 1505 286 621 0 1257 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7548 [startup+25.5003 s] /proc/loadavg: 2.00 2.03 1.91 3/490 18718 /proc/meminfo: memFree=26877872/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=8024 CPUtime=25.49 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1719 0 0 0 2549 0 0 0 25 0 1 0 851669175 8216576 1591 33554432000 4194304 6736272 140735387065776 18446744073709551615 4502256 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 2006 1591 286 621 0 1376 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8024 [startup+51.1011 s] /proc/loadavg: 2.00 2.02 1.91 3/490 18719 /proc/meminfo: memFree=26877288/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=8412 CPUtime=51.09 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1820 0 0 0 5109 0 0 0 25 0 1 0 851669175 8613888 1692 33554432000 4194304 6736272 140735387065776 18446744073709551615 5811974 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 2103 1692 286 621 0 1473 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8412 [startup+102.317 s] /proc/loadavg: 2.00 2.02 1.91 3/490 18720 /proc/meminfo: memFree=26874160/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=9040 CPUtime=102.3 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 1986 0 0 0 10230 0 0 0 25 0 1 0 851669175 9256960 1855 33554432000 4194304 6736272 140735387065776 18446744073709551615 4753621 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 2260 1855 286 621 0 1630 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 9040 [startup+162.3 s] /proc/loadavg: 2.00 2.01 1.91 3/490 18721 /proc/meminfo: memFree=26873880/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=11080 CPUtime=162.29 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 2092 0 0 0 16228 1 0 0 25 0 1 0 851669175 11345920 1960 33554432000 4194304 6736272 140735387065776 18446744073709551615 5803361 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 2770 1960 286 621 0 2140 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 11080 [startup+222.3 s] /proc/loadavg: 2.10 2.04 1.92 3/490 18723 /proc/meminfo: memFree=26873492/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=13376 CPUtime=222.29 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 2426 0 0 0 22228 1 0 0 25 0 1 0 851669175 13697024 2293 33554432000 4194304 6736272 140735387065776 18446744073709551615 5806341 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 3344 2293 286 621 0 2714 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 13376 [startup+282.3 s] /proc/loadavg: 2.08 2.04 1.93 3/490 18725 /proc/meminfo: memFree=26872240/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=13376 CPUtime=282.29 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 2642 0 0 0 28228 1 0 0 25 0 1 0 851669175 13697024 2508 33554432000 4194304 6736272 140735387065776 18446744073709551615 5803157 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 3344 2508 286 621 0 2714 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 13376 [startup+342.301 s] /proc/loadavg: 2.18 2.06 1.94 3/490 18726 /proc/meminfo: memFree=26870372/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=13376 CPUtime=342.29 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 2642 0 0 0 34228 1 0 0 25 0 1 0 851669175 13697024 2508 33554432000 4194304 6736272 140735387065776 18446744073709551615 5148141 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 3344 2508 286 621 0 2714 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 13376 [startup+402.301 s] /proc/loadavg: 2.20 2.08 1.95 3/490 18728 /proc/meminfo: memFree=26869852/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=13376 CPUtime=402.29 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 2785 0 0 0 40228 1 0 0 25 0 1 0 851669175 13697024 2649 33554432000 4194304 6736272 140735387065776 18446744073709551615 5817998 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 3344 2649 286 621 0 2714 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 13376 [startup+462.301 s] /proc/loadavg: 2.07 2.07 1.95 3/490 18729 /proc/meminfo: memFree=26869440/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=13376 CPUtime=462.29 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 2886 0 0 0 46228 1 0 0 25 0 1 0 851669175 13697024 2750 33554432000 4194304 6736272 140735387065776 18446744073709551615 5806336 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 3344 2750 286 621 0 2714 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 13376 [startup+522.301 s] /proc/loadavg: 2.02 2.05 1.95 3/490 18731 /proc/meminfo: memFree=26867924/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=17116 CPUtime=522.29 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 3280 0 0 0 52228 1 0 0 25 0 1 0 851669175 17526784 3140 33554432000 4194304 6736272 140735387065776 18446744073709551615 5811923 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 4279 3140 286 621 0 3649 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 17116 [startup+582.301 s] /proc/loadavg: 2.01 2.04 1.95 3/490 18742 /proc/meminfo: memFree=26868060/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=17116 CPUtime=582.29 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 3280 0 0 0 58228 1 0 0 25 0 1 0 851669175 17526784 3140 33554432000 4194304 6736272 140735387065776 18446744073709551615 5818066 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 4279 3140 286 621 0 3649 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 17116 ################ # More data... # ################ /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 12326 0 0 0 106228 2 0 0 25 0 1 0 851669175 20246528 4254 33554432000 4194304 6736272 140735387065776 18446744073709551615 5806473 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 4943 4254 286 621 0 4313 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 19772 [startup+1122.3 s] /proc/loadavg: 2.02 2.04 1.98 3/490 18759 /proc/meminfo: memFree=26863228/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=19772 CPUtime=1122.3 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 12326 0 0 0 112228 2 0 0 25 0 1 0 851669175 20246528 4254 33554432000 4194304 6736272 140735387065776 18446744073709551615 5150750 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 4943 4254 286 621 0 4313 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 19772 [startup+1182.3 s] /proc/loadavg: 2.01 2.03 1.98 3/490 18761 /proc/meminfo: memFree=26863320/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=19772 CPUtime=1182.3 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 12326 0 0 0 118228 2 0 0 25 0 1 0 851669175 20246528 4254 33554432000 4194304 6736272 140735387065776 18446744073709551615 5221958 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 4943 4254 286 621 0 4313 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 19772 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 1.98 3/490 18762 /proc/meminfo: memFree=26861660/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=19772 CPUtime=1242.3 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 12336 0 0 0 124228 2 0 0 25 0 1 0 851669175 20246528 4264 33554432000 4194304 6736272 140735387065776 18446744073709551615 5803170 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 4943 4264 286 621 0 4313 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 19772 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 1.98 3/490 18764 /proc/meminfo: memFree=26861856/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=19772 CPUtime=1302.31 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 12336 0 0 0 130229 2 0 0 25 0 1 0 851669175 20246528 4264 33554432000 4194304 6736272 140735387065776 18446744073709551615 4732800 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 4943 4264 286 621 0 4313 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 19772 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 1.98 3/490 18765 /proc/meminfo: memFree=26861956/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=19772 CPUtime=1362.3 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 12336 0 0 0 136228 2 0 0 25 0 1 0 851669175 20246528 4264 33554432000 4194304 6736272 140735387065776 18446744073709551615 4734642 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 4943 4264 286 621 0 4313 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 19772 [startup+1422.32 s] /proc/loadavg: 2.07 2.03 1.99 3/490 18767 /proc/meminfo: memFree=26863404/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=21448 CPUtime=1422.32 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 14729 0 0 0 142229 3 0 0 25 0 1 0 851669175 21962752 4148 33554432000 4194304 6736272 140735387065776 18446744073709551615 5806437 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 5362 4148 286 621 0 4732 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 21448 [startup+1482.3 s] /proc/loadavg: 2.06 2.04 2.00 3/490 18769 /proc/meminfo: memFree=26863628/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=21448 CPUtime=1482.31 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 14729 0 0 0 148228 3 0 0 25 0 1 0 851669175 21962752 4148 33554432000 4194304 6736272 140735387065776 18446744073709551615 5811974 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 5362 4148 286 621 0 4732 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 21448 [startup+1542.3 s] /proc/loadavg: 2.12 2.06 2.00 3/490 18770 /proc/meminfo: memFree=26865220/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=21448 CPUtime=1542.31 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 14729 0 0 0 154228 3 0 0 25 0 1 0 851669175 21962752 4148 33554432000 4194304 6736272 140735387065776 18446744073709551615 5811905 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 5362 4148 286 621 0 4732 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 21448 [startup+1602.3 s] /proc/loadavg: 2.13 2.08 2.01 3/490 18772 /proc/meminfo: memFree=26864324/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=21448 CPUtime=1602.31 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 14753 0 0 0 160228 3 0 0 25 0 1 0 851669175 21962752 4172 33554432000 4194304 6736272 140735387065776 18446744073709551615 4734700 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/18716/statm: 5362 4172 286 621 0 4732 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 21448 [startup+1662.3 s] /proc/loadavg: 2.10 2.08 2.01 3/490 18773 /proc/meminfo: memFree=26864044/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=21448 CPUtime=1662.29 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 14878 0 0 0 166226 3 0 0 25 0 1 0 851669175 21962752 4296 33554432000 4194304 6736272 140735387065776 18446744073709551615 5149379 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/18716/statm: 5362 4296 286 621 0 4732 0 Current children cumulated CPU time (s) 1662.29 Current children cumulated vsize (KiB) 21448 [startup+1722.3 s] /proc/loadavg: 2.04 2.06 2.00 3/490 18775 /proc/meminfo: memFree=26863644/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=21448 CPUtime=1722.29 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 14878 0 0 0 172226 3 0 0 25 0 1 0 851669175 21962752 4296 33554432000 4194304 6736272 140735387065776 18446744073709551615 5148094 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/18716/statm: 5362 4296 286 621 0 4732 0 Current children cumulated CPU time (s) 1722.29 Current children cumulated vsize (KiB) 21448 [startup+1782.3 s] /proc/loadavg: 2.01 2.05 2.00 3/490 18777 /proc/meminfo: memFree=26862380/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=21448 CPUtime=1782.29 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 14878 0 0 0 178226 3 0 0 25 0 1 0 851669175 21962752 4296 33554432000 4194304 6736272 140735387065776 18446744073709551615 5148185 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/18716/statm: 5362 4296 286 621 0 4732 0 Current children cumulated CPU time (s) 1782.29 Current children cumulated vsize (KiB) 21448 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 1.93 2.03 1.99 3/490 18805 /proc/meminfo: memFree=26863128/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=21448 CPUtime=1800.1 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) R 18714 18716 16892 0 -1 4202496 14984 0 0 0 180007 3 0 0 25 0 1 0 851669175 21962752 4400 33554432000 4194304 6736272 140735387065776 18446744073709551615 5817966 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/18716/statm: 5362 4400 286 621 0 4732 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 21448 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -18716 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.86 2.01 1.99 2/491 18806 /proc/meminfo: memFree=26862004/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=21448 CPUtime=1800.1 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) S 18714 18716 16892 0 -1 4202496 14985 0 0 0 180007 3 0 0 25 0 1 0 851669175 21962752 4401 33554432000 4194304 6736272 140735387065776 18446744073709551615 5924238 0 16384 4096 17571 18446604453901214784 0 0 17 0 0 0 0 /proc/18716/statm: 5362 4401 287 621 0 4732 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 21448 [startup+1801.82 s] /proc/loadavg: 1.86 2.01 1.99 2/491 18806 /proc/meminfo: memFree=26861012/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=21448 CPUtime=1800.1 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) S 18714 18716 16892 0 -1 4202496 14985 0 0 0 180007 3 0 0 25 0 1 0 851669175 21962752 4401 33554432000 4194304 6736272 140735387065776 18446744073709551615 5924238 0 16384 4096 17571 18446604453901214784 0 0 17 0 0 0 0 /proc/18716/statm: 5362 4401 287 621 0 4732 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 21448 [startup+1802 s] /proc/loadavg: 1.86 2.01 1.99 2/491 18806 /proc/meminfo: memFree=26861012/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=21448 CPUtime=1800.1 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) S 18714 18716 16892 0 -1 4202496 14985 0 0 0 180007 3 0 0 25 0 1 0 851669175 21962752 4401 33554432000 4194304 6736272 140735387065776 18446744073709551615 5924238 0 16384 4096 17571 18446604453901214784 0 0 17 0 0 0 0 /proc/18716/statm: 5362 4401 287 621 0 4732 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 21448 [startup+1802.1 s] /proc/loadavg: 1.86 2.01 1.99 2/491 18806 /proc/meminfo: memFree=26861012/32951124 swapFree=63649284/67111528 [pid=18716] ppid=18714 vsize=21448 CPUtime=1800.1 cores=0,2,4,6 /proc/18716/stat : 18716 (minisatid-gmp) S 18714 18716 16892 0 -1 4202496 14985 0 0 0 180007 3 0 0 25 0 1 0 851669175 21962752 4401 33554432000 4194304 6736272 140735387065776 18446744073709551615 5924238 0 16384 4096 17571 18446604453901214784 0 0 17 0 0 0 0 /proc/18716/statm: 5362 4401 287 621 0 4732 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 21448 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.12 CPU time (s): 1800.12 CPU user time (s): 1800.08 CPU system time (s): 0.040993 CPU usage (%): 99.8889 Max. virtual memory (cumulated for all children) (KiB): 25844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.08 system time used= 0.040993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14985 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= 3 involuntary context switches= 5841 runsolver used 9.2236 second user time and 18.6662 second system time The end
Begin job on node130 at 2011-06-07 00:51:47 IDJOB=3466732 IDBENCH=2465 IDSOLVER=1957 FILE ID=node130/3466732-1307400707 RUNJOBID= node130-1307398893-18511 PBS_JOBID= 13514177 Free space on /tmp= 73976 MiB SOLVER NAME= MinisatID 2.4.8-gmp BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell4.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3466732-1307400707/watcher-3466732-1307400707 -o /tmp/evaluation-result-3466732-1307400707/solver-3466732-1307400707 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466732-1307400707.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7a334409ec63774b2ae9bf0271f87fd8 RANDOM SEED=2090411273 node130.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.838 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.67 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.838 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 : 5332.83 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.838 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.838 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.81 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.838 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.75 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.838 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.83 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.838 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.838 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.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 26887824 kB Buffers: 314032 kB Cached: 571428 kB SwapCached: 9700 kB Active: 5335884 kB Inactive: 440064 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 26887824 kB SwapTotal: 67111528 kB SwapFree: 63649284 kB Dirty: 9936 kB Writeback: 0 kB AnonPages: 4888564 kB Mapped: 31788 kB Slab: 164196 kB PageTables: 53868 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 145206756 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= 73976 MiB End job on node130 at 2011-06-07 01:21:49