Name | mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell4.opb |
MD5SUM | 3cce8c056d32fd25c784b4e9cbdd2db6 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 540233279610250 |
Optimality of the best value was proved | NO |
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 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.07 |
Number of variables | 1996 |
Total number of constraints | 169 |
Number of constraints which are clauses | 18 |
Number of constraints which are cardinality constraints (but not clauses) | 34 |
Number of constraints which are nor clauses,nor cardinality constraints | 117 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 135 |
LAUNCH ON wulflinc17 THE 2005-09-18 11:02:30 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=502 boxname=wulflinc17 idbench=502 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 3cce8c056d32fd25c784b4e9cbdd2db6 /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-bell4.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-bell4.opb IDLAUNCH: 502 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 951416 kB Buffers: 33624 kB Cached: 20644 kB SwapCached: 608 kB Active: 48116 kB Inactive: 8636 kB HighTotal: 131008 kB HighFree: 108920 kB LowTotal: 903652 kB LowFree: 842496 kB SwapTotal: 2097892 kB SwapFree: 2096684 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5768 kB Slab: 20864 kB Committed_AS: 64184 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-18 11:22:40 (client local time) WITH STATUS 10 IN 1195.07 SECONDS stats: 502 0 1195.07 10
c INFO: OSL Context initialized. c BIG Int formula... c Initial problem consists of 1996 variables and 134 constraints. c preprocess terminated. Elapsed time: 0.434 c After prepocess the problem consists of 1584 variables and 117 constraints. c Initial Lower Bound: 0 c Restart #1 #Var: 1584 #Dec: 6543 LB: 0 @ 6.306 c Restart #2 #Var: 1584 #Dec: 18595 LB: 0 @ 16.441 c Restart #3 #Var: 1584 #Dec: 37264 LB: 0 @ 31.752 c NEW SOLUTION FOUND: 1045906726584320 @ 39.865 @ #Dec. 46360 c NEW SOLUTION FOUND: 1043490086584320 @ 39.868 @ #Dec. 46360 c NEW SOLUTION FOUND: 1014859046584320 @ 39.876 @ #Dec. 46361 c NEW SOLUTION FOUND: 1012442406584320 @ 39.878 @ #Dec. 46361 c NEW SOLUTION FOUND: 1010025766584320 @ 39.91 @ #Dec. 46364 c NEW SOLUTION FOUND: 983811366584320 @ 39.935 @ #Dec. 46367 c NEW SOLUTION FOUND: 981394726584320 @ 39.952 @ #Dec. 46368 c NEW SOLUTION FOUND: 967263526584320 @ 40.178 @ #Dec. 46400 c NEW SOLUTION FOUND: 962430246584320 @ 40.186 @ #Dec. 46401 c NEW SOLUTION FOUND: 960013606584320 @ 40.212 @ #Dec. 46406 c NEW SOLUTION FOUND: 957596966584320 @ 40.239 @ #Dec. 46412 c NEW SOLUTION FOUND: 955180326584320 @ 40.298 @ #Dec. 46423 c NEW SOLUTION FOUND: 936215846584320 @ 40.477 @ #Dec. 46476 c NEW SOLUTION FOUND: 931382566584320 @ 40.484 @ #Dec. 46476 c NEW SOLUTION FOUND: 926549286584320 @ 40.562 @ #Dec. 46494 c NEW SOLUTION FOUND: 923108646584320 @ 40.691 @ #Dec. 46527 c NEW SOLUTION FOUND: 918275366584320 @ 40.699 @ #Dec. 46528 c NEW SOLUTION FOUND: 913442086584320 @ 40.805 @ #Dec. 46549 c NEW SOLUTION FOUND: 910001446584320 @ 41.104 @ #Dec. 46625 c NEW SOLUTION FOUND: 905168166584320 @ 41.162 @ #Dec. 46634 c NEW SOLUTION FOUND: 900334886584320 @ 41.396 @ #Dec. 46681 c NEW SOLUTION FOUND: 896894246584320 @ 42.49 @ #Dec. 46985 c NEW SOLUTION FOUND: 892060966584320 @ 42.634 @ #Dec. 47006 c NEW SOLUTION FOUND: 887227686584320 @ 42.858 @ #Dec. 47046 c Restart #4 #Var: 1584 #Dec: 47953 LB: 0 @ 47.194 c NEW SOLUTION FOUND: 884902938689536 @ 52.278 @ #Dec. 51403 c NEW SOLUTION FOUND: 884826392641536 @ 52.283 @ #Dec. 51404 c NEW SOLUTION FOUND: 884749846593536 @ 52.285 @ #Dec. 51404 c NEW SOLUTION FOUND: 879998486593536 @ 52.288 @ #Dec. 51405 c NEW SOLUTION FOUND: 858458900545536 @ 52.317 @ #Dec. 51412 c NEW SOLUTION FOUND: 853784086593536 @ 52.334 @ #Dec. 51419 c NEW SOLUTION FOUND: 853722849755136 @ 52.4 @ #Dec. 51451 c NEW SOLUTION FOUND: 853646303707136 @ 52.729 @ #Dec. 51597 c NEW SOLUTION FOUND: 853645808779264 @ 53.558 @ #Dec. 51924 c NEW SOLUTION FOUND: 853645685047296 @ 53.927 @ #Dec. 52061 c NEW SOLUTION FOUND: 853645623181312 @ 55.561 @ #Dec. 52565 c NEW SOLUTION FOUND: 849404708929536 @ 55.833 @ #Dec. 52650 c NEW SOLUTION FOUND: 849328162881536 @ 55.847 @ #Dec. 52652 c NEW SOLUTION FOUND: 844576802881536 @ 55.873 @ #Dec. 52656 c NEW SOLUTION FOUND: 844500256833536 @ 55.897 @ #Dec. 52662 c NEW SOLUTION FOUND: 844500194967552 @ 55.978 @ #Dec. 52702 c NEW SOLUTION FOUND: 844439019995136 @ 56.129 @ #Dec. 52742 c NEW SOLUTION FOUND: 844438958129152 @ 56.761 @ #Dec. 52896 c NEW SOLUTION FOUND: 844438525067264 @ 59.868 @ #Dec. 53592 c NEW SOLUTION FOUND: 844438339469312 @ 59.977 @ #Dec. 53617 c NEW SOLUTION FOUND: 836613723799552 @ 63.202 @ #Dec. 54225 c NEW SOLUTION FOUND: 836552486961152 @ 63.921 @ #Dec. 54372 c NEW SOLUTION FOUND: 836552053899264 @ 67.607 @ #Dec. 55117 c NEW SOLUTION FOUND: 836551868301312 @ 67.787 @ #Dec. 55168 c NEW SOLUTION FOUND: 827406440087552 @ 71.112 @ #Dec. 55865 c NEW SOLUTION FOUND: 827345203249152 @ 71.377 @ #Dec. 55943 c NEW SOLUTION FOUND: 827344770187264 @ 74.023 @ #Dec. 56529 c NEW SOLUTION FOUND: 827344584589312 @ 74.089 @ #Dec. 56555 c Restart #5 #Var: 1584 #Dec: 58505 LB: 0 @ 82.576 c NEW SOLUTION FOUND: 817962650476235 @ 84.868 @ #Dec. 59964 c NEW SOLUTION FOUND: 817909068242635 @ 84.889 @ #Dec. 59966 c NEW SOLUTION FOUND: 817897586335435 @ 84.921 @ #Dec. 59971 c NEW SOLUTION FOUND: 817775112658635 @ 85.022 @ #Dec. 59989 c NEW SOLUTION FOUND: 817713875820235 @ 85.146 @ #Dec. 60010 c NEW SOLUTION FOUND: 817652391517899 @ 85.353 @ #Dec. 60054 c NEW SOLUTION FOUND: 817591154679499 @ 85.66 @ #Dec. 60122 c NEW SOLUTION FOUND: 815368566775499 @ 85.981 @ #Dec. 60207 c NEW SOLUTION FOUND: 815215474679499 @ 86.096 @ #Dec. 60226 c NEW SOLUTION FOUND: 814027634679499 @ 86.432 @ #Dec. 60313 c NEW SOLUTION FOUND: 812839794679499 @ 86.994 @ #Dec. 60464 c NEW SOLUTION FOUND: 812763248631499 @ 87.479 @ #Dec. 60590 c NEW SOLUTION FOUND: 812724975607499 @ 87.686 @ #Dec. 60640 c NEW SOLUTION FOUND: 810540660727499 @ 88.088 @ #Dec. 60746 c NEW SOLUTION FOUND: 808241526775499 @ 88.142 @ #Dec. 60758 c NEW SOLUTION FOUND: 808164980727499 @ 89.358 @ #Dec. 61029 c NEW SOLUTION FOUND: 805865846775499 @ 89.579 @ #Dec. 61064 c NEW SOLUTION FOUND: 804754552823499 @ 90.335 @ #Dec. 61256 c NEW SOLUTION FOUND: 804716279799499 @ 90.458 @ #Dec. 61273 c NEW SOLUTION FOUND: 804660010589899 @ 92.118 @ #Dec. 61731 c NEW SOLUTION FOUND: 804545191517899 @ 92.346 @ #Dec. 61777 c NEW SOLUTION FOUND: 804506918493899 @ 92.414 @ #Dec. 61794 c NEW SOLUTION FOUND: 804430372445899 @ 92.555 @ #Dec. 61824 c NEW SOLUTION FOUND: 804392099421899 @ 92.764 @ #Dec. 61863 c NEW SOLUTION FOUND: 804353826397899 @ 93.091 @ #Dec. 61923 c NEW SOLUTION FOUND: 804330862583499 @ 93.503 @ #Dec. 62032 c NEW SOLUTION FOUND: 804292589559499 @ 93.616 @ #Dec. 62056 c NEW SOLUTION FOUND: 804254316535499 @ 94.029 @ #Dec. 62155 c NEW SOLUTION FOUND: 804216043511499 @ 94.176 @ #Dec. 62183 c NEW SOLUTION FOUND: 802207784541899 @ 94.438 @ #Dec. 62238 c NEW SOLUTION FOUND: 802131238493899 @ 94.588 @ #Dec. 62264 c NEW SOLUTION FOUND: 802092965469899 @ 94.899 @ #Dec. 62325 c NEW SOLUTION FOUND: 802054692445899 @ 95.053 @ #Dec. 62350 c NEW SOLUTION FOUND: 801993455607499 @ 95.38 @ #Dec. 62437 c NEW SOLUTION FOUND: 801955182583499 @ 95.569 @ #Dec. 62477 c NEW SOLUTION FOUND: 801916909559499 @ 95.872 @ #Dec. 62546 c NEW SOLUTION FOUND: 800943398493899 @ 96.075 @ #Dec. 62590 c NEW SOLUTION FOUND: 800882161655499 @ 96.303 @ #Dec. 62637 c NEW SOLUTION FOUND: 800843888631499 @ 96.567 @ #Dec. 62699 c NEW SOLUTION FOUND: 800805615607499 @ 96.692 @ #Dec. 62719 c NEW SOLUTION FOUND: 799908650589899 @ 96.942 @ #Dec. 62784 c NEW SOLUTION FOUND: 799793831517899 @ 97.112 @ #Dec. 62826 c NEW SOLUTION FOUND: 799732594679499 @ 97.398 @ #Dec. 62889 c NEW SOLUTION FOUND: 799656048631499 @ 97.719 @ #Dec. 62968 c NEW SOLUTION FOUND: 799617775607499 @ 97.837 @ #Dec. 62990 c NEW SOLUTION FOUND: 795157290589899 @ 98.059 @ #Dec. 63041 c NEW SOLUTION FOUND: 795096053751499 @ 98.297 @ #Dec. 63091 c NEW SOLUTION FOUND: 792858156637899 @ 98.504 @ #Dec. 63136 c NEW SOLUTION FOUND: 792720373751499 @ 98.698 @ #Dec. 63178 c NEW SOLUTION FOUND: 791746862685899 @ 99.48 @ #Dec. 63394 c NEW SOLUTION FOUND: 791609079799499 @ 99.715 @ #Dec. 63452 c NEW SOLUTION FOUND: 790897201553099 @ 101.18 @ #Dec. 63912 c NEW SOLUTION FOUND: 790774727876299 @ 101.37 @ #Dec. 63957 c NEW SOLUTION FOUND: 778154735607499 @ 101.77 @ #Dec. 64098 c NEW SOLUTION FOUND: 778078189559499 @ 101.92 @ #Dec. 64135 c NEW SOLUTION FOUND: 777158260727499 @ 102.19 @ #Dec. 64205 c NEW SOLUTION FOUND: 776966895607499 @ 102.34 @ #Dec. 64241 c NEW SOLUTION FOUND: 776928622583499 @ 102.48 @ #Dec. 64277 c NEW SOLUTION FOUND: 776852076535499 @ 102.85 @ #Dec. 64376 c NEW SOLUTION FOUND: 776031657565899 @ 103.08 @ #Dec. 64439 c NEW SOLUTION FOUND: 775993384541899 @ 103.22 @ #Dec. 64474 c NEW SOLUTION FOUND: 775955111517899 @ 103.39 @ #Dec. 64509 c NEW SOLUTION FOUND: 774882090589899 @ 103.58 @ #Dec. 64555 c NEW SOLUTION FOUND: 774805544541899 @ 103.72 @ #Dec. 64588 c NEW SOLUTION FOUND: 774767271517899 @ 103.88 @ #Dec. 64621 c NEW SOLUTION FOUND: 774744307703499 @ 104.1 @ #Dec. 64688 c NEW SOLUTION FOUND: 774706034679499 @ 104.26 @ #Dec. 64725 c NEW SOLUTION FOUND: 774667761655499 @ 104.49 @ #Dec. 64779 c NEW SOLUTION FOUND: 774591215607499 @ 104.7 @ #Dec. 64835 c NEW SOLUTION FOUND: 773541158493899 @ 104.94 @ #Dec. 64883 c NEW SOLUTION FOUND: 773518194679499 @ 105.19 @ #Dec. 64934 c NEW SOLUTION FOUND: 773403375607499 @ 105.43 @ #Dec. 64987 c NEW SOLUTION FOUND: 770054184541899 @ 105.67 @ #Dec. 65039 c NEW SOLUTION FOUND: 768904617565899 @ 105.82 @ #Dec. 65073 c NEW SOLUTION FOUND: 767755050589899 @ 106.01 @ #Dec. 65124 c NEW SOLUTION FOUND: 766643756637899 @ 106.16 @ #Dec. 65157 c NEW SOLUTION FOUND: 766505973751499 @ 106.45 @ #Dec. 65220 c NEW SOLUTION FOUND: 765532462685899 @ 106.65 @ #Dec. 65268 c NEW SOLUTION FOUND: 765394679799499 @ 106.88 @ #Dec. 65320 c NEW SOLUTION FOUND: 760449267703499 @ 107.51 @ #Dec. 65480 c NEW SOLUTION FOUND: 760410994679499 @ 107.75 @ #Dec. 65533 c NEW SOLUTION FOUND: 760296175607499 @ 107.97 @ #Dec. 65586 c NEW SOLUTION FOUND: 756809201655499 @ 108.22 @ #Dec. 65660 c NEW SOLUTION FOUND: 755659634679499 @ 108.35 @ #Dec. 65694 c NEW SOLUTION FOUND: 754510067703499 @ 108.49 @ #Dec. 65729 c NEW SOLUTION FOUND: 753398773751499 @ 108.68 @ #Dec. 65781 c NEW SOLUTION FOUND: 752287479799499 @ 108.88 @ #Dec. 65833 c NEW SOLUTION FOUND: 740376987606731 @ 109.63 @ #Dec. 66062 c NEW SOLUTION FOUND: 740273650441931 @ 109.67 @ #Dec. 66075 c NEW SOLUTION FOUND: 740258341232331 @ 109.74 @ #Dec. 66085 c NEW SOLUTION FOUND: 740258279366347 @ 110.02 @ #Dec. 66147 c NEW SOLUTION FOUND: 736987220319947 @ 110.65 @ #Dec. 66287 c NEW SOLUTION FOUND: 730433620319947 @ 110.78 @ #Dec. 66315 c NEW SOLUTION FOUND: 728373902483147 @ 110.95 @ #Dec. 66352 c NEW SOLUTION FOUND: 728368161529547 @ 111.15 @ #Dec. 66399 c NEW SOLUTION FOUND: 728259083411147 @ 114.51 @ #Dec. 67183 c NEW SOLUTION FOUND: 728096213343947 @ 114.74 @ #Dec. 67232 c NEW SOLUTION FOUND: 727224335507147 @ 114.91 @ #Dec. 67268 c NEW SOLUTION FOUND: 726036495507147 @ 115.15 @ #Dec. 67314 c NEW SOLUTION FOUND: 726030754553547 @ 115.37 @ #Dec. 67364 c NEW SOLUTION FOUND: 725998222483147 @ 116 @ #Dec. 67504 c NEW SOLUTION FOUND: 725992481529547 @ 116.26 @ #Dec. 67564 c NEW SOLUTION FOUND: 725883403411147 @ 117.1 @ #Dec. 67746 c NEW SOLUTION FOUND: 725730311315147 @ 117.24 @ #Dec. 67784 c NEW SOLUTION FOUND: 725724570361547 @ 117.49 @ #Dec. 67851 c NEW SOLUTION FOUND: 725692038291147 @ 118.42 @ #Dec. 68066 c NEW SOLUTION FOUND: 725686297337547 @ 118.64 @ #Dec. 68139 c NEW SOLUTION FOUND: 725577219219147 @ 120.16 @ #Dec. 68517 c NEW SOLUTION FOUND: 725571478265547 @ 120.39 @ #Dec. 68625 c NEW SOLUTION FOUND: 702610377055947 @ 121.05 @ #Dec. 68866 c NEW SOLUTION FOUND: 701805267295947 @ 121.21 @ #Dec. 68912 c NEW SOLUTION FOUND: 701613902175947 @ 121.36 @ #Dec. 68959 c NEW SOLUTION FOUND: 701422537055947 @ 121.51 @ #Dec. 69005 c NEW SOLUTION FOUND: 699745549459147 @ 121.68 @ #Dec. 69059 c NEW SOLUTION FOUND: 699362819219147 @ 121.84 @ #Dec. 69106 c NEW SOLUTION FOUND: 699357078265547 @ 122.13 @ #Dec. 69222 c NEW SOLUTION FOUND: 695311436127947 @ 122.82 @ #Dec. 69477 c NEW SOLUTION FOUND: 695273163103947 @ 123 @ #Dec. 69530 c NEW SOLUTION FOUND: 692072909151947 @ 123.18 @ #Dec. 69587 c NEW SOLUTION FOUND: 691996363103947 @ 123.33 @ #Dec. 69633 c NEW SOLUTION FOUND: 691277577363147 @ 123.68 @ #Dec. 69722 c NEW SOLUTION FOUND: 691201031315147 @ 123.8 @ #Dec. 69753 c NEW SOLUTION FOUND: 691086212243147 @ 123.93 @ #Dec. 69787 c NEW SOLUTION FOUND: 690051464339147 @ 124.11 @ #Dec. 69825 c NEW SOLUTION FOUND: 690013191315147 @ 124.23 @ #Dec. 69857 c NEW SOLUTION FOUND: 689974918291147 @ 124.39 @ #Dec. 69897 c NEW SOLUTION FOUND: 689936645267147 @ 124.5 @ #Dec. 69927 c NEW SOLUTION FOUND: 689930904313547 @ 125.05 @ #Dec. 70059 c NEW SOLUTION FOUND: 688838722756299 @ 128.53 @ #Dec. 70999 c NEW SOLUTION FOUND: 687650882756299 @ 128.63 @ #Dec. 71027 c NEW SOLUTION FOUND: 687574336708299 @ 128.79 @ #Dec. 71065 c NEW SOLUTION FOUND: 686616134852299 @ 128.91 @ #Dec. 71097 c NEW SOLUTION FOUND: 685428294852299 @ 129.02 @ #Dec. 71123 c NEW SOLUTION FOUND: 685351748804299 @ 129.15 @ #Dec. 71154 c NEW SOLUTION FOUND: 685336439594699 @ 129.26 @ #Dec. 71184 c NEW SOLUTION FOUND: 684240454852299 @ 129.4 @ #Dec. 71215 c NEW SOLUTION FOUND: 684117981175499 @ 129.96 @ #Dec. 71318 c NEW SOLUTION FOUND: 683205706948299 @ 130.46 @ #Dec. 71437 c NEW SOLUTION FOUND: 683129160900299 @ 130.58 @ #Dec. 71469 c NEW SOLUTION FOUND: 683075578666699 @ 130.7 @ #Dec. 71506 c NEW SOLUTION FOUND: 683006687223499 @ 130.83 @ #Dec. 71543 c NEW SOLUTION FOUND: 682960759594699 @ 131.53 @ #Dec. 71762 c NEW SOLUTION FOUND: 682287901482699 @ 132.81 @ #Dec. 72066 c NEW SOLUTION FOUND: 682211355434699 @ 132.95 @ #Dec. 72102 c NEW SOLUTION FOUND: 682157773201099 @ 133.08 @ #Dec. 72143 c NEW SOLUTION FOUND: 682088881757899 @ 133.23 @ #Dec. 72187 c NEW SOLUTION FOUND: 682073572548299 @ 140.58 @ #Dec. 73715 c NEW SOLUTION FOUND: 682067831594699 @ 142.28 @ #Dec. 74166 c NEW SOLUTION FOUND: 682015977414347 @ 145.04 @ #Dec. 74914 c NEW SOLUTION FOUND: 682004495507147 @ 145.18 @ #Dec. 74946 c NEW SOLUTION FOUND: 681998754553547 @ 145.64 @ #Dec. 75093 c NEW SOLUTION FOUND: 680585010912971 @ 152.59 @ #Dec. 76466 c NEW SOLUTION FOUND: 680575232941771 @ 152.87 @ #Dec. 76533 c NEW SOLUTION FOUND: 680383867821771 @ 153.03 @ #Dec. 76573 c NEW SOLUTION FOUND: 679234300845771 @ 153.17 @ #Dec. 76602 c NEW SOLUTION FOUND: 678515515104971 @ 153.35 @ #Dec. 76638 c NEW SOLUTION FOUND: 678324149984971 @ 153.57 @ #Dec. 76685 c NEW SOLUTION FOUND: 677174583008971 @ 153.71 @ #Dec. 76715 c NEW SOLUTION FOUND: 677168842055371 @ 154.16 @ #Dec. 76806 c NEW SOLUTION FOUND: 676724992941771 @ 154.38 @ #Dec. 76852 c NEW SOLUTION FOUND: 675823872941771 @ 154.54 @ #Dec. 76884 c NEW SOLUTION FOUND: 675785599917771 @ 154.68 @ #Dec. 76916 c NEW SOLUTION FOUND: 674597759917771 @ 154.81 @ #Dec. 76948 c NEW SOLUTION FOUND: 673448192941771 @ 154.95 @ #Dec. 76976 c NEW SOLUTION FOUND: 672614588128971 @ 155.1 @ #Dec. 77008 c NEW SOLUTION FOUND: 672538042080971 @ 155.23 @ #Dec. 77040 c NEW SOLUTION FOUND: 671388475104971 @ 155.36 @ #Dec. 77068 c NEW SOLUTION FOUND: 671382734151371 @ 155.64 @ #Dec. 77124 c NEW SOLUTION FOUND: 671225605037771 @ 158.11 @ #Dec. 77502 c NEW SOLUTION FOUND: 671219864084171 @ 158.32 @ #Dec. 77546 c NEW SOLUTION FOUND: 670353727200971 @ 158.54 @ #Dec. 77594 c NEW SOLUTION FOUND: 670347986247371 @ 158.76 @ #Dec. 77656 c NEW SOLUTION FOUND: 670200140177099 @ 164.12 @ #Dec. 78566 c NEW SOLUTION FOUND: 670146557943499 @ 164.33 @ #Dec. 78618 c NEW SOLUTION FOUND: 670140816989899 @ 164.65 @ #Dec. 78717 c NEW SOLUTION FOUND: 670037270109899 @ 165.88 @ #Dec. 78986 c NEW SOLUTION FOUND: 669960724061899 @ 166.05 @ #Dec. 79022 c NEW SOLUTION FOUND: 669907141828299 @ 166.19 @ #Dec. 79058 c NEW SOLUTION FOUND: 669901400874699 @ 166.49 @ #Dec. 79128 c NEW SOLUTION FOUND: 669165392273099 @ 166.72 @ #Dec. 79184 c NEW SOLUTION FOUND: 669088846225099 @ 166.87 @ #Dec. 79214 c NEW SOLUTION FOUND: 669035263991499 @ 167.03 @ #Dec. 79258 c NEW SOLUTION FOUND: 669029523037899 @ 167.26 @ #Dec. 79333 c NEW SOLUTION FOUND: 668966372548299 @ 175.4 @ #Dec. 80688 c NEW SOLUTION FOUND: 668960631594699 @ 175.63 @ #Dec. 80779 c NEW SOLUTION FOUND: 662522620845771 @ 177.36 @ #Dec. 81100 c NEW SOLUTION FOUND: 662446074797771 @ 177.49 @ #Dec. 81133 c NEW SOLUTION FOUND: 662331255725771 @ 177.62 @ #Dec. 81167 c NEW SOLUTION FOUND: 662254709677771 @ 177.75 @ #Dec. 81200 c NEW SOLUTION FOUND: 659707128749771 @ 177.97 @ #Dec. 81244 c NEW SOLUTION FOUND: 656430328749771 @ 178.1 @ #Dec. 81277 c NEW SOLUTION FOUND: 656296700845771 @ 178.27 @ #Dec. 81321 c NEW SOLUTION FOUND: 654360832941771 @ 178.42 @ #Dec. 81356 c NEW SOLUTION FOUND: 653019900845771 @ 178.56 @ #Dec. 81388 c NEW SOLUTION FOUND: 652301115104971 @ 178.79 @ #Dec. 81439 c NEW SOLUTION FOUND: 650960183008971 @ 178.94 @ #Dec. 81472 c NEW SOLUTION FOUND: 650954442055371 @ 179.3 @ #Dec. 81550 c NEW SOLUTION FOUND: 650741817056971 @ 179.85 @ #Dec. 81668 c NEW SOLUTION FOUND: 650713112288971 @ 179.96 @ #Dec. 81694 c NEW SOLUTION FOUND: 650698759904971 @ 180.06 @ #Dec. 81719 c NEW SOLUTION FOUND: 650647091322571 @ 180.17 @ #Dec. 81748 c NEW SOLUTION FOUND: 650638479892171 @ 180.28 @ #Dec. 81779 c NEW SOLUTION FOUND: 649587465952971 @ 180.41 @ #Dec. 81811 c NEW SOLUTION FOUND: 649535797370571 @ 180.53 @ #Dec. 81842 c NEW SOLUTION FOUND: 649527185940171 @ 180.65 @ #Dec. 81871 c NEW SOLUTION FOUND: 648639042068171 @ 180.89 @ #Dec. 81938 c NEW SOLUTION FOUND: 648587373485771 @ 181.02 @ #Dec. 81972 c NEW SOLUTION FOUND: 648578762055371 @ 181.13 @ #Dec. 82006 c NEW SOLUTION FOUND: 647579416698571 @ 181.25 @ #Dec. 82042 c NEW SOLUTION FOUND: 647570805268171 @ 181.36 @ #Dec. 82068 c NEW SOLUTION FOUND: 647542100500171 @ 181.47 @ #Dec. 82095 c NEW SOLUTION FOUND: 647527748116171 @ 181.57 @ #Dec. 82121 c NEW SOLUTION FOUND: 647476079533771 @ 181.68 @ #Dec. 82153 c NEW SOLUTION FOUND: 647467468103371 @ 181.79 @ #Dec. 82191 c NEW SOLUTION FOUND: 647233792941771 @ 182.17 @ #Dec. 82267 c NEW SOLUTION FOUND: 646400188128971 @ 182.32 @ #Dec. 82297 c NEW SOLUTION FOUND: 646323642080971 @ 182.45 @ #Dec. 82329 c NEW SOLUTION FOUND: 645174075104971 @ 182.58 @ #Dec. 82357 c NEW SOLUTION FOUND: 645168334151371 @ 182.84 @ #Dec. 82418 c NEW SOLUTION FOUND: 645117412679371 @ 186.38 @ #Dec. 83031 c NEW SOLUTION FOUND: 645108801248971 @ 186.48 @ #Dec. 83054 c NEW SOLUTION FOUND: 645080096480971 @ 186.58 @ #Dec. 83078 c NEW SOLUTION FOUND: 645065744096971 @ 186.68 @ #Dec. 83101 c NEW SOLUTION FOUND: 645014075514571 @ 186.78 @ #Dec. 83129 c NEW SOLUTION FOUND: 645005464084171 @ 186.9 @ #Dec. 83161 c NEW SOLUTION FOUND: 644139327200971 @ 187.54 @ #Dec. 83317 c NEW SOLUTION FOUND: 644133586247371 @ 187.76 @ #Dec. 83381 c NEW SOLUTION FOUND: 643746324061899 @ 193.87 @ #Dec. 84479 c NEW SOLUTION FOUND: 643692741828299 @ 194.01 @ #Dec. 84517 c NEW SOLUTION FOUND: 643687000874699 @ 194.28 @ #Dec. 84586 c NEW SOLUTION FOUND: 642972042436299 @ 196.01 @ #Dec. 84906 c NEW SOLUTION FOUND: 642928985284299 @ 196.12 @ #Dec. 84933 c NEW SOLUTION FOUND: 642891669085899 @ 196.24 @ #Dec. 84964 c NEW SOLUTION FOUND: 642877316701899 @ 196.34 @ #Dec. 84997 c NEW SOLUTION FOUND: 642868705271499 @ 196.45 @ #Dec. 85025 c NEW SOLUTION FOUND: 642862007492299 @ 196.61 @ #Dec. 85089 c NEW SOLUTION FOUND: 642853396061899 @ 196.74 @ #Dec. 85136 c NEW SOLUTION FOUND: 642838086852299 @ 196.88 @ #Dec. 85177 c NEW SOLUTION FOUND: 642823734468299 @ 196.99 @ #Dec. 85210 c NEW SOLUTION FOUND: 642815123037899 @ 197.11 @ #Dec. 85243 c NEW SOLUTION FOUND: 642751972548299 @ 202.81 @ #Dec. 86241 c NEW SOLUTION FOUND: 642746231594699 @ 203.05 @ #Dec. 86342 c NEW SOLUTION FOUND: 642737496432331 @ 213.39 @ #Dec. 88267 c NEW SOLUTION FOUND: 642737434566347 @ 213.5 @ #Dec. 88296 c NEW SOLUTION FOUND: 642700118367947 @ 213.62 @ #Dec. 88329 c NEW SOLUTION FOUND: 642685765983947 @ 213.73 @ #Dec. 88359 c NEW SOLUTION FOUND: 642677154553547 @ 213.85 @ #Dec. 88390 c Restart #6 #Var: 1556 #Dec: 91227 LB: 2181562368000 @ 227.62 c Restart #7 #Var: 1556 #Dec: 104461 LB: 2181562368000 @ 249.74 c Restart #8 #Var: 1556 #Dec: 118317 LB: 2181562368000 @ 282.39 c Restart #9 #Var: 1556 #Dec: 123115 LB: 2181562368000 @ 293.66 c CHANGE to MIS mode... UB: 642677154553547 MIS: 2181562441000 LPR: -2147483648 (0) Diff: -1015.9 c Restart #0 #Var: 1556 #Dec: 128931 LB: 2181562368000 @ 303.09 c Restart #1 #Var: 1556 #Dec: 130785 LB: 2181562441000 @ 306.01 c Restart #2 #Var: 1556 #Dec: 132526 LB: 2181562441000 @ 310.08 c Restart #3 #Var: 1556 #Dec: 135473 LB: 2181562441000 @ 316.29 c Restart #4 #Var: 1552 #Dec: 137846 LB: 2191130697000 @ 322.38 c Restart #5 #Var: 1552 #Dec: 148470 LB: 2191130697000 @ 353.75 c Restart #6 #Var: 1552 #Dec: 165524 LB: 2191130697000 @ 380.76 c Restart #7 #Var: 1552 #Dec: 169286 LB: 2191130697000 @ 398.83 c Restart #8 #Var: 1552 #Dec: 179224 LB: 2191130697000 @ 418.6 c Restart #9 #Var: 1552 #Dec: 182864 LB: 2191130697000 @ 436.53 c Restart #10 #Var: 1552 #Dec: 188659 LB: 2191130697000 @ 457.53 c Restart #11 #Var: 1550 #Dec: 206161 LB: 2191130697000 @ 492.01 c Restart #12 #Var: 1550 #Dec: 213748 LB: 2191130697000 @ 512.86 c Restart #13 #Var: 1550 #Dec: 222230 LB: 2191130697000 @ 532.18 c Restart #14 #Var: 1550 #Dec: 229854 LB: 2191130697000 @ 557.99 c Restart #15 #Var: 1550 #Dec: 242929 LB: 2191130697000 @ 620.47 c Restart #16 #Var: 1550 #Dec: 256044 LB: 2191130697000 @ 645.45 c NEW SOLUTION FOUND: 637785439758422 @ 676.81 @ #Dec. 266075 c NEW SOLUTION FOUND: 637785435086422 @ 676.95 @ #Dec. 266112 c NEW SOLUTION FOUND: 637785433217622 @ 677.08 @ #Dec. 266142 c NEW SOLUTION FOUND: 637785432283222 @ 677.2 @ #Dec. 266172 c NEW SOLUTION FOUND: 637785402382422 @ 677.34 @ #Dec. 266208 c NEW SOLUTION FOUND: 637785387432022 @ 677.59 @ #Dec. 266278 c NEW SOLUTION FOUND: 637785379964122 @ 677.71 @ #Dec. 266313 c NEW SOLUTION FOUND: 637785379956822 @ 677.85 @ #Dec. 266347 c NEW SOLUTION FOUND: 637785352859222 @ 678 @ #Dec. 266388 c NEW SOLUTION FOUND: 637581476980822 @ 678.15 @ #Dec. 266427 c NEW SOLUTION FOUND: 637581357384922 @ 678.28 @ #Dec. 266458 c NEW SOLUTION FOUND: 637581237774422 @ 678.42 @ #Dec. 266489 c NEW SOLUTION FOUND: 637581120040022 @ 678.56 @ #Dec. 266521 c NEW SOLUTION FOUND: 637581118178522 @ 678.68 @ #Dec. 266550 c NEW SOLUTION FOUND: 637580821966422 @ 678.81 @ #Dec. 266582 c NEW SOLUTION FOUND: 637580639758422 @ 678.95 @ #Dec. 266612 c NEW SOLUTION FOUND: 637580572481622 @ 679.1 @ #Dec. 266650 c NEW SOLUTION FOUND: 637580557531222 @ 679.24 @ #Dec. 266683 c NEW SOLUTION FOUND: 637580552859222 @ 679.38 @ #Dec. 266718 c NEW SOLUTION FOUND: 637376497576022 @ 679.57 @ #Dec. 266777 c NEW SOLUTION FOUND: 637375899560022 @ 679.72 @ #Dec. 266812 c NEW SOLUTION FOUND: 637375779964122 @ 679.86 @ #Dec. 266854 c NEW SOLUTION FOUND: 637375779956822 @ 679.98 @ #Dec. 266898 c NEW SOLUTION FOUND: 637375752859222 @ 680.16 @ #Dec. 266941 c NEW SOLUTION FOUND: 637375752858278 @ 680.38 @ #Dec. 266994 c NEW SOLUTION FOUND: 637375752821778 @ 680.61 @ #Dec. 267042 c NEW SOLUTION FOUND: 637375748955154 @ 680.82 @ #Dec. 267099 c NEW SOLUTION FOUND: 637375745088530 @ 680.91 @ #Dec. 267136 c NEW SOLUTION FOUND: 637069304755730 @ 681.05 @ #Dec. 267194 c NEW SOLUTION FOUND: 637069289805330 @ 681.15 @ #Dec. 267234 c NEW SOLUTION FOUND: 637068706739730 @ 681.25 @ #Dec. 267276 c NEW SOLUTION FOUND: 637068691789330 @ 681.35 @ #Dec. 267317 c NEW SOLUTION FOUND: 637068587136530 @ 681.44 @ #Dec. 267361 c NEW SOLUTION FOUND: 637068572193430 @ 681.51 @ #Dec. 267404 c NEW SOLUTION FOUND: 637068572186130 @ 681.58 @ #Dec. 267453 c NEW SOLUTION FOUND: 637068545088530 @ 681.8 @ #Dec. 267516 c NEW SOLUTION FOUND: 636659091789330 @ 682.12 @ #Dec. 267595 c NEW SOLUTION FOUND: 636658972193430 @ 682.2 @ #Dec. 267640 c NEW SOLUTION FOUND: 636658972186130 @ 682.27 @ #Dec. 267695 c NEW SOLUTION FOUND: 636658945088530 @ 682.4 @ #Dec. 267752 c NEW SOLUTION FOUND: 636556631987730 @ 682.55 @ #Dec. 267821 c NEW SOLUTION FOUND: 636556572193430 @ 682.66 @ #Dec. 267871 c NEW SOLUTION FOUND: 636556572186130 @ 682.73 @ #Dec. 267926 c NEW SOLUTION FOUND: 636556545088530 @ 682.82 @ #Dec. 267976 c NEW SOLUTION FOUND: 635430231987730 @ 682.96 @ #Dec. 268047 c NEW SOLUTION FOUND: 635430172193430 @ 683.08 @ #Dec. 268101 c NEW SOLUTION FOUND: 635430172186130 @ 683.16 @ #Dec. 268156 c NEW SOLUTION FOUND: 635430145088530 @ 683.33 @ #Dec. 268214 c NEW SOLUTION FOUND: 635020631987730 @ 683.65 @ #Dec. 268298 c NEW SOLUTION FOUND: 635020572193430 @ 683.77 @ #Dec. 268350 c NEW SOLUTION FOUND: 635020572186130 @ 683.85 @ #Dec. 268405 c NEW SOLUTION FOUND: 635020545088530 @ 683.97 @ #Dec. 268459 c NEW SOLUTION FOUND: 634918231987730 @ 684.12 @ #Dec. 268533 c NEW SOLUTION FOUND: 634918172193430 @ 684.23 @ #Dec. 268584 c NEW SOLUTION FOUND: 634918172186130 @ 684.3 @ #Dec. 268639 c NEW SOLUTION FOUND: 634918145088530 @ 684.39 @ #Dec. 268691 c NEW SOLUTION FOUND: 634611031987730 @ 684.54 @ #Dec. 268767 c NEW SOLUTION FOUND: 634610972193430 @ 684.65 @ #Dec. 268819 c NEW SOLUTION FOUND: 634610972186130 @ 684.73 @ #Dec. 268874 c NEW SOLUTION FOUND: 634610945088530 @ 684.86 @ #Dec. 268928 c NEW SOLUTION FOUND: 634508631987730 @ 685.01 @ #Dec. 269003 c NEW SOLUTION FOUND: 634508572193430 @ 685.11 @ #Dec. 269055 c NEW SOLUTION FOUND: 634508572186130 @ 685.19 @ #Dec. 269110 c NEW SOLUTION FOUND: 634508545088530 @ 685.27 @ #Dec. 269164 c NEW SOLUTION FOUND: 631743831987730 @ 685.42 @ #Dec. 269252 c NEW SOLUTION FOUND: 631743772193430 @ 685.54 @ #Dec. 269315 c NEW SOLUTION FOUND: 631743772186130 @ 685.62 @ #Dec. 269380 c NEW SOLUTION FOUND: 631743745088530 @ 685.8 @ #Dec. 269446 c NEW SOLUTION FOUND: 631335091635730 @ 686.12 @ #Dec. 269542 c NEW SOLUTION FOUND: 631334852429330 @ 686.22 @ #Dec. 269587 c NEW SOLUTION FOUND: 631334844954130 @ 686.32 @ #Dec. 269633 c NEW SOLUTION FOUND: 631334830003730 @ 686.41 @ #Dec. 269680 c NEW SOLUTION FOUND: 631334231987730 @ 686.51 @ #Dec. 269729 c NEW SOLUTION FOUND: 631334172193430 @ 686.66 @ #Dec. 269790 c NEW SOLUTION FOUND: 631334172186130 @ 686.86 @ #Dec. 269858 c NEW SOLUTION FOUND: 631334145088530 @ 686.98 @ #Dec. 269917 c NEW SOLUTION FOUND: 631232691635730 @ 687.28 @ #Dec. 270004 c NEW SOLUTION FOUND: 631232452429330 @ 687.38 @ #Dec. 270049 c NEW SOLUTION FOUND: 631232444954130 @ 687.48 @ #Dec. 270095 c NEW SOLUTION FOUND: 631232430003730 @ 687.58 @ #Dec. 270142 c NEW SOLUTION FOUND: 631232130995730 @ 687.68 @ #Dec. 270190 c NEW SOLUTION FOUND: 631231831987730 @ 687.77 @ #Dec. 270238 c NEW SOLUTION FOUND: 631231772193430 @ 687.89 @ #Dec. 270308 c NEW SOLUTION FOUND: 631231772186130 @ 687.97 @ #Dec. 270376 c NEW SOLUTION FOUND: 631231745088530 @ 688.05 @ #Dec. 270436 c NEW SOLUTION FOUND: 631184536397330 @ 688.45 @ #Dec. 270548 c NEW SOLUTION FOUND: 631184237389330 @ 688.82 @ #Dec. 270603 c NEW SOLUTION FOUND: 631183998182930 @ 689.09 @ #Dec. 270652 c NEW SOLUTION FOUND: 631183990707730 @ 689.36 @ #Dec. 270704 c NEW SOLUTION FOUND: 631183930913430 @ 689.64 @ #Dec. 270772 c NEW SOLUTION FOUND: 631183930906130 @ 689.89 @ #Dec. 270849 c NEW SOLUTION FOUND: 631183903808530 @ 690.15 @ #Dec. 270913 c NEW SOLUTION FOUND: 631183902990930 @ 690.53 @ #Dec. 271086 c NEW SOLUTION FOUND: 631183902947130 @ 691.14 @ #Dec. 271486 c NEW SOLUTION FOUND: 631183902815730 @ 693.68 @ #Dec. 273178 c NEW SOLUTION FOUND: 631183902801130 @ 694.06 @ #Dec. 273263 c NEW SOLUTION FOUND: 631183902523730 @ 694.99 @ #Dec. 273717 c NEW SOLUTION FOUND: 631183902509130 @ 695.37 @ #Dec. 273810 c NEW SOLUTION FOUND: 628989387787430 @ 703.03 @ #Dec. 276574 c NEW SOLUTION FOUND: 627350987787430 @ 703.51 @ #Dec. 276659 c NEW SOLUTION FOUND: 627349791755430 @ 704.22 @ #Dec. 276753 c NEW SOLUTION FOUND: 627349790346530 @ 704.83 @ #Dec. 276844 c NEW SOLUTION FOUND: 627349789419430 @ 705.32 @ #Dec. 276923 c NEW SOLUTION FOUND: 627349782871330 @ 705.82 @ #Dec. 277008 c NEW SOLUTION FOUND: 627349781944230 @ 706.31 @ #Dec. 277090 c NEW SOLUTION FOUND: 627349772600230 @ 706.79 @ #Dec. 277171 c NEW SOLUTION FOUND: 627349698775330 @ 707.29 @ #Dec. 277261 c NEW SOLUTION FOUND: 627349697928530 @ 707.81 @ #Dec. 277367 c NEW SOLUTION FOUND: 627349697899330 @ 708.31 @ #Dec. 277464 c NEW SOLUTION FOUND: 627349697848230 @ 708.81 @ #Dec. 277566 c NEW SOLUTION FOUND: 627349694103330 @ 709.35 @ #Dec. 277680 c NEW SOLUTION FOUND: 627349686628130 @ 709.87 @ #Dec. 277775 c NEW SOLUTION FOUND: 627349683824930 @ 710.38 @ #Dec. 277867 c NEW SOLUTION FOUND: 627349682897830 @ 710.88 @ #Dec. 277955 c NEW SOLUTION FOUND: 627286190614930 @ 711.4 @ #Dec. 278146 c NEW SOLUTION FOUND: 627286178934930 @ 711.47 @ #Dec. 278179 c NEW SOLUTION FOUND: 627284683894930 @ 711.54 @ #Dec. 278213 c NEW SOLUTION FOUND: 627284660534930 @ 711.62 @ #Dec. 278248 c NEW SOLUTION FOUND: 627284654694930 @ 711.71 @ #Dec. 278284 c NEW SOLUTION FOUND: 627284651774930 @ 711.79 @ #Dec. 278321 c NEW SOLUTION FOUND: 627284650314930 @ 711.88 @ #Dec. 278359 c NEW SOLUTION FOUND: 627284649584930 @ 711.96 @ #Dec. 278398 c NEW SOLUTION FOUND: 627283902064930 @ 712.35 @ #Dec. 278489 c NEW SOLUTION FOUND: 627283901159730 @ 712.8 @ #Dec. 278597 c NEW SOLUTION FOUND: 627283901137830 @ 713.25 @ #Dec. 278702 c NEW SOLUTION FOUND: 627256990439730 @ 713.96 @ #Dec. 279036 c NEW SOLUTION FOUND: 627254000359730 @ 714.39 @ #Dec. 279131 c NEW SOLUTION FOUND: 627254000337830 @ 714.85 @ #Dec. 279240 c NEW SOLUTION FOUND: 627230087165730 @ 715.35 @ #Dec. 279394 c NEW SOLUTION FOUND: 627230079719730 @ 715.83 @ #Dec. 279504 c NEW SOLUTION FOUND: 627230079697830 @ 716.28 @ #Dec. 279612 c NEW SOLUTION FOUND: 627218126845730 @ 716.8 @ #Dec. 279778 c NEW SOLUTION FOUND: 627218119377830 @ 717.27 @ #Dec. 279892 c NEW SOLUTION FOUND: 627212139239730 @ 717.79 @ #Dec. 280068 c NEW SOLUTION FOUND: 627212139217830 @ 718.27 @ #Dec. 280204 c NEW SOLUTION FOUND: 626924181501730 @ 718.99 @ #Dec. 280459 c NEW SOLUTION FOUND: 626822155261730 @ 719.39 @ #Dec. 280548 c NEW SOLUTION FOUND: 626821968381730 @ 719.79 @ #Dec. 280636 c NEW SOLUTION FOUND: 626821874941730 @ 720.18 @ #Dec. 280723 c NEW SOLUTION FOUND: 626821828221730 @ 720.57 @ #Dec. 280803 c NEW SOLUTION FOUND: 626821781501730 @ 720.96 @ #Dec. 280882 c NEW SOLUTION FOUND: 626821778494130 @ 721.59 @ #Dec. 281089 c NEW SOLUTION FOUND: 626821777764130 @ 722.11 @ #Dec. 281201 c NEW SOLUTION FOUND: 626821774055730 @ 722.54 @ #Dec. 281299 c NEW SOLUTION FOUND: 626821774033830 @ 723.11 @ #Dec. 281473 c NEW SOLUTION FOUND: 626726093335330 @ 724.07 @ #Dec. 281754 c NEW SOLUTION FOUND: 626726092400930 @ 724.54 @ #Dec. 281868 c NEW SOLUTION FOUND: 626726091495730 @ 724.99 @ #Dec. 281977 c NEW SOLUTION FOUND: 626726091473830 @ 725.43 @ #Dec. 282084 c NEW SOLUTION FOUND: 626488541719330 @ 726.89 @ #Dec. 282444 c NEW SOLUTION FOUND: 626488540784930 @ 727.43 @ #Dec. 282546 c NEW SOLUTION FOUND: 626488539879730 @ 727.96 @ #Dec. 282643 c NEW SOLUTION FOUND: 626488539857830 @ 728.49 @ #Dec. 282738 c NEW SOLUTION FOUND: 626488480048930 @ 729.64 @ #Dec. 282923 c NEW SOLUTION FOUND: 626488362314530 @ 730.28 @ #Dec. 283071 c NEW SOLUTION FOUND: 626488361380130 @ 730.82 @ #Dec. 283173 c NEW SOLUTION FOUND: 626488360474930 @ 731.34 @ #Dec. 283270 c NEW SOLUTION FOUND: 626488360453030 @ 731.86 @ #Dec. 283365 c NEW SOLUTION FOUND: 626488123108130 @ 733.03 @ #Dec. 283566 c NEW SOLUTION FOUND: 626488122173730 @ 733.56 @ #Dec. 283671 c NEW SOLUTION FOUND: 626488121268530 @ 734.09 @ #Dec. 283771 c NEW SOLUTION FOUND: 626488121246630 @ 734.61 @ #Dec. 283869 c NEW SOLUTION FOUND: 626487944637730 @ 735.93 @ #Dec. 284099 c NEW SOLUTION FOUND: 626487944170530 @ 736.4 @ #Dec. 284205 c NEW SOLUTION FOUND: 626487943790930 @ 736.85 @ #Dec. 284309 c NEW SOLUTION FOUND: 626487943776330 @ 737.33 @ #Dec. 284432 c NEW SOLUTION FOUND: 626487729258530 @ 739 @ #Dec. 284665 c NEW SOLUTION FOUND: 626487725520930 @ 739.45 @ #Dec. 284758 c NEW SOLUTION FOUND: 626487725061030 @ 739.88 @ #Dec. 284855 c NEW SOLUTION FOUND: 626487725053730 @ 740.35 @ #Dec. 284973 c NEW SOLUTION FOUND: 626487717585830 @ 740.87 @ #Dec. 285068 c NEW SOLUTION FOUND: 626487710110630 @ 741.42 @ #Dec. 285203 c NEW SOLUTION FOUND: 626487702635430 @ 741.96 @ #Dec. 285327 c NEW SOLUTION FOUND: 626487702628130 @ 743.42 @ #Dec. 285499 c NEW SOLUTION FOUND: 626487676464930 @ 751.65 @ #Dec. 288584 c NEW SOLUTION FOUND: 626487675530530 @ 752.22 @ #Dec. 288687 c NEW SOLUTION FOUND: 626487675063330 @ 752.77 @ #Dec. 288784 c NEW SOLUTION FOUND: 626487674683730 @ 753.32 @ #Dec. 288883 c NEW SOLUTION FOUND: 626487674669130 @ 753.85 @ #Dec. 288976 c NEW SOLUTION FOUND: 625705859786530 @ 755.95 @ #Dec. 289542 c NEW SOLUTION FOUND: 625296259786530 @ 756.5 @ #Dec. 289645 c NEW SOLUTION FOUND: 625296199984930 @ 757.12 @ #Dec. 289757 c NEW SOLUTION FOUND: 625296020580130 @ 757.74 @ #Dec. 289870 c NEW SOLUTION FOUND: 625295960785830 @ 758.32 @ #Dec. 289993 c NEW SOLUTION FOUND: 625295960778530 @ 759.08 @ #Dec. 290201 c NEW SOLUTION FOUND: 625295900984230 @ 759.69 @ #Dec. 290328 c NEW SOLUTION FOUND: 625295900976930 @ 760.42 @ #Dec. 290537 c NEW SOLUTION FOUND: 625295841182630 @ 761 @ #Dec. 290662 c NEW SOLUTION FOUND: 625295661777830 @ 761.92 @ #Dec. 290969 c NEW SOLUTION FOUND: 625295661770530 @ 762.9 @ #Dec. 291186 c NEW SOLUTION FOUND: 625295601976230 @ 763.5 @ #Dec. 291302 c NEW SOLUTION FOUND: 625295601968930 @ 764.32 @ #Dec. 291476 c NEW SOLUTION FOUND: 625295482373030 @ 764.98 @ #Dec. 291618 c NEW SOLUTION FOUND: 625295482365730 @ 765.77 @ #Dec. 291791 c NEW SOLUTION FOUND: 625295422571430 @ 766.42 @ #Dec. 291929 c NEW SOLUTION FOUND: 625295422564130 @ 767.19 @ #Dec. 292118 c NEW SOLUTION FOUND: 625295394999330 @ 767.88 @ #Dec. 292308 c NEW SOLUTION FOUND: 625295394619730 @ 768.42 @ #Dec. 292430 c NEW SOLUTION FOUND: 625295394605130 @ 768.93 @ #Dec. 292538 c NEW SOLUTION FOUND: 625256610506530 @ 769.61 @ #Dec. 292668 c NEW SOLUTION FOUND: 625256550704930 @ 770.22 @ #Dec. 292778 c NEW SOLUTION FOUND: 625256371300130 @ 770.88 @ #Dec. 292889 c NEW SOLUTION FOUND: 625256311505830 @ 771.46 @ #Dec. 293019 c NEW SOLUTION FOUND: 625256311498530 @ 772.06 @ #Dec. 293183 c NEW SOLUTION FOUND: 625256251704230 @ 772.77 @ #Dec. 293341 c NEW SOLUTION FOUND: 625256251696930 @ 773.37 @ #Dec. 293512 c NEW SOLUTION FOUND: 625256191902630 @ 773.98 @ #Dec. 293651 c NEW SOLUTION FOUND: 625255952696230 @ 774.71 @ #Dec. 293885 c NEW SOLUTION FOUND: 625255952688930 @ 775.5 @ #Dec. 294058 c NEW SOLUTION FOUND: 625255833093030 @ 776.11 @ #Dec. 294192 c NEW SOLUTION FOUND: 625255833085730 @ 776.9 @ #Dec. 294364 c NEW SOLUTION FOUND: 625255773291430 @ 777.47 @ #Dec. 294480 c NEW SOLUTION FOUND: 625255773284130 @ 778.27 @ #Dec. 294668 c NEW SOLUTION FOUND: 625255750865830 @ 778.88 @ #Dec. 294805 c NEW SOLUTION FOUND: 625255750858530 @ 779.46 @ #Dec. 294919 c NEW SOLUTION FOUND: 625255746186530 @ 780.02 @ #Dec. 295040 c NEW SOLUTION FOUND: 625255745719330 @ 780.55 @ #Dec. 295150 c NEW SOLUTION FOUND: 625255745339730 @ 781.09 @ #Dec. 295271 c NEW SOLUTION FOUND: 625255745325130 @ 781.61 @ #Dec. 295386 c NEW SOLUTION FOUND: 625143167690530 @ 782.67 @ #Dec. 295669 c NEW SOLUTION FOUND: 625143107888930 @ 783.31 @ #Dec. 295789 c NEW SOLUTION FOUND: 625142928484130 @ 783.95 @ #Dec. 295905 c NEW SOLUTION FOUND: 625142879895330 @ 784.57 @ #Dec. 296038 c NEW SOLUTION FOUND: 625142872420130 @ 785.15 @ #Dec. 296157 c NEW SOLUTION FOUND: 625142868689830 @ 785.71 @ #Dec. 296282 c NEW SOLUTION FOUND: 625142868682530 @ 786.32 @ #Dec. 296438 c NEW SOLUTION FOUND: 625142820093730 @ 787.13 @ #Dec. 296585 c NEW SOLUTION FOUND: 625142812618530 @ 787.7 @ #Dec. 296704 c NEW SOLUTION FOUND: 625142808888230 @ 788.26 @ #Dec. 296829 c NEW SOLUTION FOUND: 625142808880930 @ 788.86 @ #Dec. 296990 c NEW SOLUTION FOUND: 625142760292130 @ 789.47 @ #Dec. 297128 c NEW SOLUTION FOUND: 625142752816930 @ 790.05 @ #Dec. 297246 c NEW SOLUTION FOUND: 625142749086630 @ 790.61 @ #Dec. 297371 c NEW SOLUTION FOUND: 625142521085730 @ 791.34 @ #Dec. 297579 c NEW SOLUTION FOUND: 625142513610530 @ 791.92 @ #Dec. 297697 c NEW SOLUTION FOUND: 625142509880230 @ 792.55 @ #Dec. 297822 c NEW SOLUTION FOUND: 625142509872930 @ 793.4 @ #Dec. 297990 c NEW SOLUTION FOUND: 625142334205730 @ 794.09 @ #Dec. 298144 c NEW SOLUTION FOUND: 625142330475430 @ 794.72 @ #Dec. 298270 c NEW SOLUTION FOUND: 625142330468130 @ 795.48 @ #Dec. 298437 c NEW SOLUTION FOUND: 625142304304930 @ 796.13 @ #Dec. 298588 c NEW SOLUTION FOUND: 625142303370530 @ 796.72 @ #Dec. 298714 c NEW SOLUTION FOUND: 625142302903330 @ 797.29 @ #Dec. 298832 c NEW SOLUTION FOUND: 625142302523730 @ 797.87 @ #Dec. 298956 c NEW SOLUTION FOUND: 625142302509130 @ 798.47 @ #Dec. 299089 c NEW SOLUTION FOUND: 625087691466530 @ 809.24 @ #Dec. 302351 c NEW SOLUTION FOUND: 625087631664930 @ 809.86 @ #Dec. 302458 c NEW SOLUTION FOUND: 625087452260130 @ 810.52 @ #Dec. 302566 c NEW SOLUTION FOUND: 625087422366630 @ 811.1 @ #Dec. 302686 c NEW SOLUTION FOUND: 625087422359330 @ 811.73 @ #Dec. 302824 c NEW SOLUTION FOUND: 625087392465830 @ 812.3 @ #Dec. 302947 c NEW SOLUTION FOUND: 625087392458530 @ 812.94 @ #Dec. 303112 c NEW SOLUTION FOUND: 625087332664230 @ 813.51 @ #Dec. 303241 c NEW SOLUTION FOUND: 625087332656930 @ 814.15 @ #Dec. 303417 c NEW SOLUTION FOUND: 625087272862630 @ 814.72 @ #Dec. 303541 c NEW SOLUTION FOUND: 625087093457830 @ 815.44 @ #Dec. 303743 c NEW SOLUTION FOUND: 625087093450530 @ 816.37 @ #Dec. 303916 c NEW SOLUTION FOUND: 625087033656230 @ 816.96 @ #Dec. 304032 c NEW SOLUTION FOUND: 625087033648930 @ 817.86 @ #Dec. 304205 c NEW SOLUTION FOUND: 625086827146530 @ 818.49 @ #Dec. 304339 c NEW SOLUTION FOUND: 625086826679330 @ 819.05 @ #Dec. 304450 c NEW SOLUTION FOUND: 625086826299730 @ 819.69 @ #Dec. 304617 c NEW SOLUTION FOUND: 625086826285130 @ 820.25 @ #Dec. 304750 c NEW SOLUTION FOUND: 625054521246630 @ 821.57 @ #Dec. 305033 c NEW SOLUTION FOUND: 624849721246630 @ 822.14 @ #Dec. 305154 c NEW SOLUTION FOUND: 624849362437030 @ 822.91 @ #Dec. 305398 c NEW SOLUTION FOUND: 624849362429730 @ 823.86 @ #Dec. 305557 c NEW SOLUTION FOUND: 624849302635430 @ 824.51 @ #Dec. 305673 c NEW SOLUTION FOUND: 624849302628130 @ 825.48 @ #Dec. 305853 c NEW SOLUTION FOUND: 624849280202530 @ 826.12 @ #Dec. 305973 c NEW SOLUTION FOUND: 624849275063330 @ 826.73 @ #Dec. 306086 c NEW SOLUTION FOUND: 624849274712930 @ 827.35 @ #Dec. 306220 c NEW SOLUTION FOUND: 624849274683730 @ 827.93 @ #Dec. 306333 c NEW SOLUTION FOUND: 624849274669130 @ 828.5 @ #Dec. 306442 c NEW SOLUTION FOUND: 620125567697830 @ 830.09 @ #Dec. 306923 c NEW SOLUTION FOUND: 620023167697830 @ 830.19 @ #Dec. 306962 c NEW SOLUTION FOUND: 620023107896230 @ 831.3 @ #Dec. 307388 c NEW SOLUTION FOUND: 620022988293030 @ 832.09 @ #Dec. 307700 c NEW SOLUTION FOUND: 620022749086630 @ 832.86 @ #Dec. 308015 c NEW SOLUTION FOUND: 620022577149730 @ 833.87 @ #Dec. 308530 c NEW SOLUTION FOUND: 620022573412130 @ 834.42 @ #Dec. 308666 c NEW SOLUTION FOUND: 620022572477730 @ 834.95 @ #Dec. 308801 c NEW SOLUTION FOUND: 620022572010530 @ 835.47 @ #Dec. 308927 c NEW SOLUTION FOUND: 620022571660130 @ 835.99 @ #Dec. 309047 c NEW SOLUTION FOUND: 620022571630930 @ 836.48 @ #Dec. 309167 c NEW SOLUTION FOUND: 620022571616330 @ 836.98 @ #Dec. 309284 c NEW SOLUTION FOUND: 620022308042530 @ 837.53 @ #Dec. 309424 c NEW SOLUTION FOUND: 620022304304930 @ 838.07 @ #Dec. 309554 c NEW SOLUTION FOUND: 620022302903330 @ 838.6 @ #Dec. 309685 c NEW SOLUTION FOUND: 620022302552930 @ 839.11 @ #Dec. 309811 c NEW SOLUTION FOUND: 620022302523730 @ 839.6 @ #Dec. 309929 c NEW SOLUTION FOUND: 620022302509130 @ 840.09 @ #Dec. 310045 c NEW SOLUTION FOUND: 619934640849830 @ 845.63 @ #Dec. 311271 c NEW SOLUTION FOUND: 619934349317030 @ 846.28 @ #Dec. 311412 c NEW SOLUTION FOUND: 619934349309730 @ 846.89 @ #Dec. 311509 c NEW SOLUTION FOUND: 619934345572130 @ 847.45 @ #Dec. 311611 c NEW SOLUTION FOUND: 619934344170530 @ 848.04 @ #Dec. 311715 c NEW SOLUTION FOUND: 619934343790930 @ 848.59 @ #Dec. 311815 c NEW SOLUTION FOUND: 619934076523330 @ 849.29 @ #Dec. 311929 c NEW SOLUTION FOUND: 619934076472230 @ 849.89 @ #Dec. 312022 c NEW SOLUTION FOUND: 619934076464930 @ 850.38 @ #Dec. 312119 c NEW SOLUTION FOUND: 619934074712930 @ 850.91 @ #Dec. 312217 c NEW SOLUTION FOUND: 619934074683730 @ 851.46 @ #Dec. 312314 c NEW SOLUTION FOUND: 619934074669130 @ 852.64 @ #Dec. 312468 c NEW SOLUTION FOUND: 619832539967330 @ 854.76 @ #Dec. 312905 c NEW SOLUTION FOUND: 619832539857830 @ 855.26 @ #Dec. 313013 c NEW SOLUTION FOUND: 619832480165730 @ 856 @ #Dec. 313210 c NEW SOLUTION FOUND: 619832480056230 @ 856.51 @ #Dec. 313324 c NEW SOLUTION FOUND: 619832420364130 @ 857.25 @ #Dec. 313531 c NEW SOLUTION FOUND: 619832420254630 @ 857.75 @ #Dec. 313639 c NEW SOLUTION FOUND: 619832360453030 @ 858.47 @ #Dec. 313834 c NEW SOLUTION FOUND: 619832121246630 @ 859.3 @ #Dec. 314084 c NEW SOLUTION FOUND: 619831945572130 @ 860.24 @ #Dec. 314378 c NEW SOLUTION FOUND: 619831944170530 @ 860.87 @ #Dec. 314509 c NEW SOLUTION FOUND: 619831943790930 @ 861.39 @ #Dec. 314624 c NEW SOLUTION FOUND: 619831943776330 @ 862.2 @ #Dec. 314795 c NEW SOLUTION FOUND: 619831684056930 @ 862.74 @ #Dec. 314911 c NEW SOLUTION FOUND: 619831676581730 @ 863.27 @ #Dec. 315016 c NEW SOLUTION FOUND: 619831676464930 @ 863.82 @ #Dec. 315131 c NEW SOLUTION FOUND: 619831675063330 @ 864.36 @ #Dec. 315245 c NEW SOLUTION FOUND: 619831674683730 @ 864.91 @ #Dec. 315362 c NEW SOLUTION FOUND: 619831674669130 @ 865.54 @ #Dec. 315490 c NEW SOLUTION FOUND: 619729673468130 @ 866.16 @ #Dec. 315643 c NEW SOLUTION FOUND: 619729673000930 @ 866.64 @ #Dec. 315747 c NEW SOLUTION FOUND: 619729665992930 @ 867.15 @ #Dec. 315859 c NEW SOLUTION FOUND: 619729665525730 @ 867.66 @ #Dec. 315969 c NEW SOLUTION FOUND: 619729662255330 @ 868.18 @ #Dec. 316083 c NEW SOLUTION FOUND: 619729661788130 @ 868.69 @ #Dec. 316190 c NEW SOLUTION FOUND: 619729661671330 @ 869.24 @ #Dec. 316308 c NEW SOLUTION FOUND: 619729661445030 @ 869.79 @ #Dec. 316442 c NEW SOLUTION FOUND: 619729605373730 @ 870.44 @ #Dec. 316617 c NEW SOLUTION FOUND: 619729601643430 @ 870.96 @ #Dec. 316739 c NEW SOLUTION FOUND: 619729482040230 @ 871.65 @ #Dec. 316951 c NEW SOLUTION FOUND: 619729287677730 @ 872.41 @ #Dec. 317193 c NEW SOLUTION FOUND: 619729280202530 @ 872.97 @ #Dec. 317312 c NEW SOLUTION FOUND: 619729276464930 @ 873.52 @ #Dec. 317427 c NEW SOLUTION FOUND: 619729275530530 @ 874.07 @ #Dec. 317539 c NEW SOLUTION FOUND: 619729275063330 @ 874.59 @ #Dec. 317649 c NEW SOLUTION FOUND: 619729274683730 @ 875.11 @ #Dec. 317759 c NEW SOLUTION FOUND: 619729274669130 @ 875.61 @ #Dec. 317863 c NEW SOLUTION FOUND: 619729274318730 @ 876.55 @ #Dec. 318097 c NEW SOLUTION FOUND: 605532512739130 @ 878.38 @ #Dec. 318517 c NEW SOLUTION FOUND: 605430112739130 @ 879.09 @ #Dec. 318667 c NEW SOLUTION FOUND: 605327712739130 @ 879.64 @ #Dec. 318788 c NEW SOLUTION FOUND: 605327712731830 @ 880.26 @ #Dec. 318950 c NEW SOLUTION FOUND: 605277021562930 @ 880.97 @ #Dec. 319158 c NEW SOLUTION FOUND: 605174621562930 @ 881.53 @ #Dec. 319261 c NEW SOLUTION FOUND: 605174621095730 @ 882.09 @ #Dec. 319385 c NEW SOLUTION FOUND: 605174620657730 @ 882.65 @ #Dec. 319509 c NEW SOLUTION FOUND: 605174620635830 @ 883.2 @ #Dec. 319628 c NEW SOLUTION FOUND: 605174501959730 @ 884.13 @ #Dec. 319970 c NEW SOLUTION FOUND: 605174501492530 @ 884.74 @ #Dec. 320101 c NEW SOLUTION FOUND: 605174501054530 @ 885.34 @ #Dec. 320234 c NEW SOLUTION FOUND: 605174501032630 @ 885.93 @ #Dec. 320359 c NEW SOLUTION FOUND: 605174306670130 @ 886.86 @ #Dec. 320601 c NEW SOLUTION FOUND: 605174299194930 @ 887.48 @ #Dec. 320735 c NEW SOLUTION FOUND: 605174295457330 @ 888.1 @ #Dec. 320883 c NEW SOLUTION FOUND: 605174294522930 @ 888.69 @ #Dec. 321012 c NEW SOLUTION FOUND: 605174294055730 @ 889.29 @ #Dec. 321151 c NEW SOLUTION FOUND: 605174293676130 @ 889.86 @ #Dec. 321276 c NEW SOLUTION FOUND: 605174293661530 @ 890.54 @ #Dec. 321423 c NEW SOLUTION FOUND: 605119264015030 @ 896.59 @ #Dec. 322617 c NEW SOLUTION FOUND: 605119099553330 @ 897.46 @ #Dec. 322912 c NEW SOLUTION FOUND: 605119092078130 @ 898.08 @ #Dec. 323043 c NEW SOLUTION FOUND: 605119088340530 @ 898.71 @ #Dec. 323183 c NEW SOLUTION FOUND: 605119087406130 @ 899.3 @ #Dec. 323308 c NEW SOLUTION FOUND: 605119086938930 @ 899.88 @ #Dec. 323434 c NEW SOLUTION FOUND: 605119086588530 @ 900.45 @ #Dec. 323556 c NEW SOLUTION FOUND: 605119086559330 @ 901.01 @ #Dec. 323678 c NEW SOLUTION FOUND: 605118830446130 @ 901.61 @ #Dec. 323812 c NEW SOLUTION FOUND: 605118822970930 @ 902.23 @ #Dec. 323947 c NEW SOLUTION FOUND: 605118819233330 @ 902.83 @ #Dec. 324076 c NEW SOLUTION FOUND: 605118818298930 @ 903.42 @ #Dec. 324206 c NEW SOLUTION FOUND: 605118817831730 @ 903.98 @ #Dec. 324322 c NEW SOLUTION FOUND: 605118817598130 @ 904.49 @ #Dec. 324444 c NEW SOLUTION FOUND: 605118817452130 @ 905.03 @ #Dec. 324563 c NEW SOLUTION FOUND: 605118817437530 @ 905.75 @ #Dec. 324716 c NEW SOLUTION FOUND: 604984531017530 @ 907.1 @ #Dec. 325020 c NEW SOLUTION FOUND: 604882131017530 @ 907.71 @ #Dec. 325133 c NEW SOLUTION FOUND: 604882131010230 @ 908.33 @ #Dec. 325251 c NEW SOLUTION FOUND: 604882071215989 @ 909.25 @ #Dec. 325450 c NEW SOLUTION FOUND: 604882071215930 @ 910.41 @ #Dec. 325675 c NEW SOLUTION FOUND: 604882071208630 @ 911.03 @ #Dec. 325795 c NEW SOLUTION FOUND: 604882011407030 @ 911.94 @ #Dec. 326004 c NEW SOLUTION FOUND: 604881951605548 @ 912.84 @ #Dec. 326203 c NEW SOLUTION FOUND: 604881951605430 @ 913.34 @ #Dec. 326300 c NEW SOLUTION FOUND: 604881712420930 @ 914.3 @ #Dec. 326537 c NEW SOLUTION FOUND: 604881712399030 @ 914.87 @ #Dec. 326652 c NEW SOLUTION FOUND: 604881547937330 @ 915.97 @ #Dec. 326937 c NEW SOLUTION FOUND: 604881540462130 @ 916.55 @ #Dec. 327054 c NEW SOLUTION FOUND: 604881536724530 @ 917.12 @ #Dec. 327170 c NEW SOLUTION FOUND: 604881535790130 @ 917.69 @ #Dec. 327282 c NEW SOLUTION FOUND: 604881535089330 @ 918.24 @ #Dec. 327397 c NEW SOLUTION FOUND: 604881534972530 @ 918.8 @ #Dec. 327509 c NEW SOLUTION FOUND: 604881534943330 @ 919.35 @ #Dec. 327615 c NEW SOLUTION FOUND: 604881278830130 @ 919.94 @ #Dec. 327737 c NEW SOLUTION FOUND: 604881271354930 @ 920.54 @ #Dec. 327855 c NEW SOLUTION FOUND: 604881267617330 @ 921.13 @ #Dec. 327973 c NEW SOLUTION FOUND: 604881266682930 @ 921.71 @ #Dec. 328087 c NEW SOLUTION FOUND: 604881265982130 @ 922.27 @ #Dec. 328201 c NEW SOLUTION FOUND: 604881265836130 @ 922.84 @ #Dec. 328312 c NEW SOLUTION FOUND: 604881265821530 @ 923.43 @ #Dec. 328435 c NEW SOLUTION FOUND: 595829590089530 @ 924.83 @ #Dec. 328816 c NEW SOLUTION FOUND: 594401970249530 @ 925.36 @ #Dec. 328933 c NEW SOLUTION FOUND: 594286872649530 @ 925.89 @ #Dec. 329028 c NEW SOLUTION FOUND: 594239031369530 @ 926.4 @ #Dec. 329126 c NEW SOLUTION FOUND: 594218059849530 @ 927.25 @ #Dec. 329307 c NEW SOLUTION FOUND: 593904142409530 @ 927.76 @ #Dec. 329412 c NEW SOLUTION FOUND: 593856301129530 @ 928.26 @ #Dec. 329541 c NEW SOLUTION FOUND: 593808459849530 @ 928.76 @ #Dec. 329648 c NEW SOLUTION FOUND: 593808175791930 @ 929.41 @ #Dec. 329801 c NEW SOLUTION FOUND: 593808168316730 @ 930.01 @ #Dec. 329913 c NEW SOLUTION FOUND: 593808164579130 @ 930.67 @ #Dec. 330029 c NEW SOLUTION FOUND: 593603364579130 @ 931.6 @ #Dec. 330280 c NEW SOLUTION FOUND: 593603362943930 @ 932.31 @ #Dec. 330436 c NEW SOLUTION FOUND: 593603362827130 @ 932.9 @ #Dec. 330577 c NEW SOLUTION FOUND: 593603362768730 @ 933.46 @ #Dec. 330704 c NEW SOLUTION FOUND: 593603095471930 @ 934.12 @ #Dec. 330864 c NEW SOLUTION FOUND: 593603093836730 @ 934.74 @ #Dec. 330997 c NEW SOLUTION FOUND: 593603093719930 @ 935.34 @ #Dec. 331142 c NEW SOLUTION FOUND: 593603093661530 @ 935.93 @ #Dec. 331270 c NEW SOLUTION FOUND: 593501080459330 @ 937.27 @ #Dec. 331566 c NEW SOLUTION FOUND: 593501080437430 @ 937.77 @ #Dec. 331689 c NEW SOLUTION FOUND: 593501020657730 @ 938.57 @ #Dec. 332032 c NEW SOLUTION FOUND: 593501020635830 @ 939.07 @ #Dec. 332164 c NEW SOLUTION FOUND: 593500960856130 @ 939.69 @ #Dec. 332389 c NEW SOLUTION FOUND: 593500960834230 @ 940.18 @ #Dec. 332515 c NEW SOLUTION FOUND: 593500901054530 @ 940.85 @ #Dec. 332845 c NEW SOLUTION FOUND: 593500901032630 @ 941.33 @ #Dec. 332974 c NEW SOLUTION FOUND: 593500841252930 @ 941.96 @ #Dec. 333196 c NEW SOLUTION FOUND: 593500841231030 @ 942.44 @ #Dec. 333320 c NEW SOLUTION FOUND: 593500781451330 @ 943.04 @ #Dec. 333524 c NEW SOLUTION FOUND: 593500781429430 @ 943.53 @ #Dec. 333650 c NEW SOLUTION FOUND: 593500699194930 @ 944.15 @ #Dec. 333861 c NEW SOLUTION FOUND: 593500695457330 @ 944.69 @ #Dec. 333993 c NEW SOLUTION FOUND: 593500693822130 @ 945.21 @ #Dec. 334125 c NEW SOLUTION FOUND: 593500693705330 @ 945.71 @ #Dec. 334257 c NEW SOLUTION FOUND: 593500693676130 @ 946.21 @ #Dec. 334384 c NEW SOLUTION FOUND: 593500693661530 @ 947.05 @ #Dec. 334648 c NEW SOLUTION FOUND: 593413331017530 @ 953.04 @ #Dec. 335819 c NEW SOLUTION FOUND: 593413271215930 @ 954.08 @ #Dec. 336063 c NEW SOLUTION FOUND: 593413151612730 @ 954.61 @ #Dec. 336195 c NEW SOLUTION FOUND: 593412912406330 @ 955.15 @ #Dec. 336321 c NEW SOLUTION FOUND: 593412912399030 @ 955.78 @ #Dec. 336484 c NEW SOLUTION FOUND: 593412747951930 @ 956.53 @ #Dec. 336729 c NEW SOLUTION FOUND: 593412740476730 @ 957.03 @ #Dec. 336842 c NEW SOLUTION FOUND: 593412736739130 @ 957.52 @ #Dec. 336952 c NEW SOLUTION FOUND: 593412734928730 @ 958.14 @ #Dec. 337104 c NEW SOLUTION FOUND: 593412493795130 @ 958.66 @ #Dec. 337221 c NEW SOLUTION FOUND: 593412467631930 @ 959.2 @ #Dec. 337350 c NEW SOLUTION FOUND: 593412465821530 @ 959.68 @ #Dec. 337465 c NEW SOLUTION FOUND: 593310931017530 @ 960.61 @ #Dec. 337662 c NEW SOLUTION FOUND: 593310871215930 @ 961.16 @ #Dec. 337784 c NEW SOLUTION FOUND: 593310811414330 @ 961.73 @ #Dec. 337908 c NEW SOLUTION FOUND: 593310751612730 @ 962.29 @ #Dec. 338029 c NEW SOLUTION FOUND: 593310691811130 @ 962.85 @ #Dec. 338156 c NEW SOLUTION FOUND: 593310632009530 @ 963.38 @ #Dec. 338286 c NEW SOLUTION FOUND: 593310572207930 @ 963.95 @ #Dec. 338410 c NEW SOLUTION FOUND: 593310512406330 @ 964.49 @ #Dec. 338532 c NEW SOLUTION FOUND: 593310512399030 @ 965.1 @ #Dec. 338684 c NEW SOLUTION FOUND: 593310452619330 @ 965.77 @ #Dec. 338903 c NEW SOLUTION FOUND: 593310452597430 @ 966.33 @ #Dec. 339025 c NEW SOLUTION FOUND: 593310392817730 @ 966.95 @ #Dec. 339214 c NEW SOLUTION FOUND: 593310392795830 @ 967.5 @ #Dec. 339340 c NEW SOLUTION FOUND: 593310273214530 @ 968.15 @ #Dec. 339548 c NEW SOLUTION FOUND: 593310273192630 @ 968.71 @ #Dec. 339674 c NEW SOLUTION FOUND: 593310093809730 @ 969.39 @ #Dec. 339884 c NEW SOLUTION FOUND: 593310093787830 @ 969.99 @ #Dec. 340011 c NEW SOLUTION FOUND: 593310093780530 @ 970.9 @ #Dec. 340227 c NEW SOLUTION FOUND: 593310078844730 @ 971.62 @ #Dec. 340420 c NEW SOLUTION FOUND: 593310071369530 @ 972.19 @ #Dec. 340541 c NEW SOLUTION FOUND: 593310067631930 @ 972.75 @ #Dec. 340671 c NEW SOLUTION FOUND: 593310065996730 @ 973.29 @ #Dec. 340793 c NEW SOLUTION FOUND: 593310065879930 @ 973.86 @ #Dec. 340929 c NEW SOLUTION FOUND: 593310065821530 @ 974.43 @ #Dec. 341049 c NEW SOLUTION FOUND: 593208291825730 @ 975.23 @ #Dec. 341276 c NEW SOLUTION FOUND: 593208291803830 @ 975.74 @ #Dec. 341396 c NEW SOLUTION FOUND: 593208232024130 @ 976.3 @ #Dec. 341591 c NEW SOLUTION FOUND: 593208232002230 @ 976.8 @ #Dec. 341715 c NEW SOLUTION FOUND: 593208112420930 @ 977.38 @ #Dec. 341921 c NEW SOLUTION FOUND: 593208112399030 @ 977.89 @ #Dec. 342049 c NEW SOLUTION FOUND: 593207940462130 @ 978.61 @ #Dec. 342320 c NEW SOLUTION FOUND: 593207936724530 @ 979.39 @ #Dec. 342503 c NEW SOLUTION FOUND: 593207935089330 @ 979.91 @ #Dec. 342634 c NEW SOLUTION FOUND: 593207934972530 @ 980.43 @ #Dec. 342772 c NEW SOLUTION FOUND: 593207934943330 @ 980.93 @ #Dec. 342901 c NEW SOLUTION FOUND: 593207693787830 @ 981.49 @ #Dec. 343030 c NEW SOLUTION FOUND: 593207693780530 @ 982.31 @ #Dec. 343239 c NEW SOLUTION FOUND: 593207678830130 @ 982.97 @ #Dec. 343385 c NEW SOLUTION FOUND: 593207671354930 @ 983.54 @ #Dec. 343518 c NEW SOLUTION FOUND: 593207667617330 @ 984.12 @ #Dec. 343647 c NEW SOLUTION FOUND: 593207666215730 @ 984.67 @ #Dec. 343776 c NEW SOLUTION FOUND: 593207665982130 @ 985.21 @ #Dec. 343903 c NEW SOLUTION FOUND: 593207665865330 @ 985.73 @ #Dec. 344027 c NEW SOLUTION FOUND: 593207665836130 @ 986.23 @ #Dec. 344142 c NEW SOLUTION FOUND: 593207665821530 @ 986.74 @ #Dec. 344276 c NEW SOLUTION FOUND: 593207659937730 @ 1011.7 @ #Dec. 348110 c NEW SOLUTION FOUND: 593207659915830 @ 1012.2 @ #Dec. 348224 c NEW SOLUTION FOUND: 593207659908530 @ 1012.7 @ #Dec. 348342 c NEW SOLUTION FOUND: 593207652433330 @ 1013.3 @ #Dec. 348472 c NEW SOLUTION FOUND: 593207648695730 @ 1013.9 @ #Dec. 348600 c NEW SOLUTION FOUND: 593207647294130 @ 1014.5 @ #Dec. 348732 c NEW SOLUTION FOUND: 593207647060530 @ 1015 @ #Dec. 348856 c NEW SOLUTION FOUND: 593207646943730 @ 1015.6 @ #Dec. 348985 c NEW SOLUTION FOUND: 593207646914530 @ 1016.1 @ #Dec. 349102 c NEW SOLUTION FOUND: 593207646899930 @ 1016.7 @ #Dec. 349243 c NEW SOLUTION FOUND: 593207646140730 @ 1027.9 @ #Dec. 351354 c NEW SOLUTION FOUND: 593207642403130 @ 1028.5 @ #Dec. 351458 c NEW SOLUTION FOUND: 593207641001530 @ 1029 @ #Dec. 351565 c NEW SOLUTION FOUND: 593207640767930 @ 1029.5 @ #Dec. 351675 c NEW SOLUTION FOUND: 593207640651130 @ 1030 @ #Dec. 351780 c NEW SOLUTION FOUND: 593207640592730 @ 1030.5 @ #Dec. 351881 c Restart #17 #Var: 1550 #Dec: 365167 LB: 2191130697000 @ 1078.5 c Restart #18 #Var: 1550 #Dec: 370141 LB: 2191130697000 @ 1114.8 c NEW SOLUTION FOUND: 541094567294800 @ 1127.6 @ #Dec. 373628 c NEW SOLUTION FOUND: 541088826341200 @ 1127.6 @ #Dec. 373628 c NEW SOLUTION FOUND: 541088587134800 @ 1127.6 @ #Dec. 373629 c NEW SOLUTION FOUND: 540986187134800 @ 1127.6 @ #Dec. 373631 c NEW SOLUTION FOUND: 540986187076400 @ 1127.7 @ #Dec. 373635 c NEW SOLUTION FOUND: 540781387076400 @ 1127.8 @ #Dec. 373640 c NEW SOLUTION FOUND: 540678987076400 @ 1127.8 @ #Dec. 373644 c NEW SOLUTION FOUND: 540678982477400 @ 1128 @ #Dec. 373668 c NEW SOLUTION FOUND: 540678980433400 @ 1128 @ #Dec. 373670 c NEW SOLUTION FOUND: 540678980214400 @ 1128 @ #Dec. 373672 c NEW SOLUTION FOUND: 540678980068400 @ 1128.1 @ #Dec. 373676 c NEW SOLUTION FOUND: 540678980053800 @ 1128.4 @ #Dec. 373706 c NEW SOLUTION FOUND: 540678979995400 @ 1128.6 @ #Dec. 373738 c NEW SOLUTION FOUND: 540678043288600 @ 1128.7 @ #Dec. 373755 c NEW SOLUTION FOUND: 540675172811800 @ 1128.7 @ #Dec. 373758 c NEW SOLUTION FOUND: 540675169045000 @ 1128.7 @ #Dec. 373761 c NEW SOLUTION FOUND: 540675158795800 @ 1128.7 @ #Dec. 373781 c NEW SOLUTION FOUND: 540675157627800 @ 1128.7 @ #Dec. 373785 c NEW SOLUTION FOUND: 540675156459800 @ 1128.7 @ #Dec. 373786 c NEW SOLUTION FOUND: 540675152693000 @ 1128.8 @ #Dec. 373794 c NEW SOLUTION FOUND: 540675152547000 @ 1128.9 @ #Dec. 373845 c NEW SOLUTION FOUND: 540675152459400 @ 1128.9 @ #Dec. 373857 c NEW SOLUTION FOUND: 540675151145400 @ 1129 @ #Dec. 373899 c NEW SOLUTION FOUND: 540675150678200 @ 1129 @ #Dec. 373913 c NEW SOLUTION FOUND: 540675150590600 @ 1129.1 @ #Dec. 373917 c NEW SOLUTION FOUND: 540675077795000 @ 1129.1 @ #Dec. 373945 c NEW SOLUTION FOUND: 540675047894200 @ 1129.2 @ #Dec. 373951 c NEW SOLUTION FOUND: 540675047339400 @ 1129.2 @ #Dec. 373956 c NEW SOLUTION FOUND: 540675033878200 @ 1129.2 @ #Dec. 373991 c NEW SOLUTION FOUND: 540675031542200 @ 1129.2 @ #Dec. 373996 c NEW SOLUTION FOUND: 540675030987400 @ 1129.2 @ #Dec. 374008 c NEW SOLUTION FOUND: 540674360175800 @ 1129.3 @ #Dec. 374045 c NEW SOLUTION FOUND: 540674120969400 @ 1129.3 @ #Dec. 374055 c NEW SOLUTION FOUND: 540674091068600 @ 1129.4 @ #Dec. 374058 c NEW SOLUTION FOUND: 540674090513800 @ 1129.4 @ #Dec. 374063 c NEW SOLUTION FOUND: 540674077052600 @ 1129.4 @ #Dec. 374119 c NEW SOLUTION FOUND: 540674074716600 @ 1129.4 @ #Dec. 374123 c NEW SOLUTION FOUND: 540674074161800 @ 1129.5 @ #Dec. 374133 c NEW SOLUTION FOUND: 540674071446200 @ 1129.6 @ #Dec. 374250 c NEW SOLUTION FOUND: 540674069110200 @ 1129.6 @ #Dec. 374254 c NEW SOLUTION FOUND: 540674066686600 @ 1129.6 @ #Dec. 374267 c NEW SOLUTION FOUND: 540674060233400 @ 1129.7 @ #Dec. 374391 c NEW SOLUTION FOUND: 540674057897400 @ 1129.8 @ #Dec. 374396 c NEW SOLUTION FOUND: 540674052291000 @ 1129.8 @ #Dec. 374407 c NEW SOLUTION FOUND: 540674051736200 @ 1129.8 @ #Dec. 374420 c NEW SOLUTION FOUND: 540674051590200 @ 1140 @ #Dec. 376468 c NEW SOLUTION FOUND: 540674050889400 @ 1140 @ #Dec. 376477 c NEW SOLUTION FOUND: 540674050801800 @ 1140 @ #Dec. 376488 c NEW SOLUTION FOUND: 540674038041400 @ 1141.1 @ #Dec. 377022 c NEW SOLUTION FOUND: 540674037340600 @ 1141.1 @ #Dec. 377030 c NEW SOLUTION FOUND: 540674037253000 @ 1141.1 @ #Dec. 377034 c NEW SOLUTION FOUND: 540674034771000 @ 1144.6 @ #Dec. 378076 c NEW SOLUTION FOUND: 540674021689400 @ 1145.2 @ #Dec. 378369 c NEW SOLUTION FOUND: 540674020988600 @ 1145.3 @ #Dec. 378423 c NEW SOLUTION FOUND: 540674020901000 @ 1145.3 @ #Dec. 378430 c NEW SOLUTION FOUND: 540672884991800 @ 1145.4 @ #Dec. 378446 c NEW SOLUTION FOUND: 540672167372600 @ 1145.4 @ #Dec. 378457 c NEW SOLUTION FOUND: 540672137471800 @ 1145.4 @ #Dec. 378471 c NEW SOLUTION FOUND: 540672124390200 @ 1145.5 @ #Dec. 378476 c NEW SOLUTION FOUND: 540672123689400 @ 1145.5 @ #Dec. 378483 c NEW SOLUTION FOUND: 540672123601800 @ 1145.5 @ #Dec. 378487 c NEW SOLUTION FOUND: 540672123455800 @ 1146.4 @ #Dec. 378979 c NEW SOLUTION FOUND: 540672121119800 @ 1146.5 @ #Dec. 378998 c NEW SOLUTION FOUND: 540672110374200 @ 1146.7 @ #Dec. 379107 c NEW SOLUTION FOUND: 540672108038200 @ 1146.7 @ #Dec. 379132 c NEW SOLUTION FOUND: 540672107337400 @ 1146.8 @ #Dec. 379162 c NEW SOLUTION FOUND: 540672107249800 @ 1146.8 @ #Dec. 379175 c NEW SOLUTION FOUND: 540672107220600 @ 1147.6 @ #Dec. 379898 c NEW SOLUTION FOUND: 540672106987000 @ 1147.6 @ #Dec. 379904 c NEW SOLUTION FOUND: 540672106811800 @ 1147.6 @ #Dec. 379910 c NEW SOLUTION FOUND: 540672106782600 @ 1147.6 @ #Dec. 379915 c NEW SOLUTION FOUND: 540672064238200 @ 1147.7 @ #Dec. 379966 c NEW SOLUTION FOUND: 540672064004600 @ 1147.7 @ #Dec. 379984 c NEW SOLUTION FOUND: 540672063771000 @ 1147.7 @ #Dec. 379985 c NEW SOLUTION FOUND: 540672063537400 @ 1147.7 @ #Dec. 379989 c NEW SOLUTION FOUND: 540672063362200 @ 1147.7 @ #Dec. 379992 c NEW SOLUTION FOUND: 540672063333000 @ 1147.8 @ #Dec. 379995 c NEW SOLUTION FOUND: 540672050222200 @ 1148.3 @ #Dec. 380473 c NEW SOLUTION FOUND: 540672047886200 @ 1148.4 @ #Dec. 380531 c NEW SOLUTION FOUND: 540672047652600 @ 1148.4 @ #Dec. 380602 c NEW SOLUTION FOUND: 540672047419000 @ 1148.5 @ #Dec. 380609 c NEW SOLUTION FOUND: 540672047185400 @ 1148.5 @ #Dec. 380626 c NEW SOLUTION FOUND: 540672047010200 @ 1148.5 @ #Dec. 380644 c NEW SOLUTION FOUND: 540672046981000 @ 1148.5 @ #Dec. 380660 c NEW SOLUTION FOUND: 540672002567800 @ 1148.6 @ #Dec. 380759 c NEW SOLUTION FOUND: 540671763361400 @ 1148.7 @ #Dec. 380763 c NEW SOLUTION FOUND: 540671585825400 @ 1148.7 @ #Dec. 380773 c NEW SOLUTION FOUND: 540671584949400 @ 1148.7 @ #Dec. 380791 c NEW SOLUTION FOUND: 540671584920200 @ 1148.7 @ #Dec. 380797 c NEW SOLUTION FOUND: 540671571809400 @ 1148.9 @ #Dec. 380912 c NEW SOLUTION FOUND: 540671569473400 @ 1148.9 @ #Dec. 380970 c NEW SOLUTION FOUND: 540671569006200 @ 1149 @ #Dec. 381034 c NEW SOLUTION FOUND: 540671568597400 @ 1149 @ #Dec. 381052 c NEW SOLUTION FOUND: 540671568568200 @ 1149 @ #Dec. 381069 c NEW SOLUTION FOUND: 540671568451400 @ 1149.2 @ #Dec. 381389 c NEW SOLUTION FOUND: 540671567049800 @ 1149.4 @ #Dec. 381524 c NEW SOLUTION FOUND: 540671564713800 @ 1149.4 @ #Dec. 381551 c NEW SOLUTION FOUND: 540671341859400 @ 1149.4 @ #Dec. 381579 c NEW SOLUTION FOUND: 540671327843400 @ 1149.5 @ #Dec. 381604 c NEW SOLUTION FOUND: 540671325507400 @ 1149.5 @ #Dec. 381633 c NEW SOLUTION FOUND: 540671042997400 @ 1149.5 @ #Dec. 381665 c NEW SOLUTION FOUND: 540671028981400 @ 1149.6 @ #Dec. 381691 c NEW SOLUTION FOUND: 540671026645400 @ 1149.6 @ #Dec. 381721 c NEW SOLUTION FOUND: 540671026499400 @ 1149.6 @ #Dec. 381764 c NEW SOLUTION FOUND: 540671024309400 @ 1149.7 @ #Dec. 381809 c NEW SOLUTION FOUND: 540671010293400 @ 1149.7 @ #Dec. 381835 c NEW SOLUTION FOUND: 540671007957400 @ 1149.8 @ #Dec. 381865 c NEW SOLUTION FOUND: 540671007811400 @ 1149.9 @ #Dec. 381928 c NEW SOLUTION FOUND: 540670430965400 @ 1149.9 @ #Dec. 381973 c NEW SOLUTION FOUND: 540670416949400 @ 1150 @ #Dec. 382000 c NEW SOLUTION FOUND: 540670414613400 @ 1150 @ #Dec. 382031 c NEW SOLUTION FOUND: 540670412277400 @ 1150.1 @ #Dec. 382071 c NEW SOLUTION FOUND: 540670409941400 @ 1150.1 @ #Dec. 382101 c NEW SOLUTION FOUND: 540670409795400 @ 1150.1 @ #Dec. 382142 c NEW SOLUTION FOUND: 540670402933400 @ 1150.2 @ #Dec. 382192 c NEW SOLUTION FOUND: 540670388917400 @ 1150.2 @ #Dec. 382220 c NEW SOLUTION FOUND: 540670386581400 @ 1150.3 @ #Dec. 382250 c NEW SOLUTION FOUND: 540670374901400 @ 1150.3 @ #Dec. 382289 c NEW SOLUTION FOUND: 540670372565400 @ 1150.3 @ #Dec. 382318 c NEW SOLUTION FOUND: 540670372419400 @ 1150.4 @ #Dec. 382358 c NEW SOLUTION FOUND: 540670290805400 @ 1150.5 @ #Dec. 382421 c NEW SOLUTION FOUND: 540670276789400 @ 1150.5 @ #Dec. 382448 c NEW SOLUTION FOUND: 540670274453400 @ 1150.6 @ #Dec. 382479 c NEW SOLUTION FOUND: 540670253429400 @ 1150.7 @ #Dec. 382528 c NEW SOLUTION FOUND: 540670239413400 @ 1150.7 @ #Dec. 382558 c NEW SOLUTION FOUND: 540670237077400 @ 1150.7 @ #Dec. 382590 c NEW SOLUTION FOUND: 540670223061400 @ 1150.8 @ #Dec. 382626 c NEW SOLUTION FOUND: 540670222915400 @ 1150.8 @ #Dec. 382667 c NEW SOLUTION FOUND: 540670213717400 @ 1151 @ #Dec. 382780 c NEW SOLUTION FOUND: 540670213571400 @ 1151.1 @ #Dec. 382828 c NEW SOLUTION FOUND: 540670212987400 @ 1151.2 @ #Dec. 382932 c NEW SOLUTION FOUND: 540670210651400 @ 1151.4 @ #Dec. 383068 c NEW SOLUTION FOUND: 540670209483400 @ 1151.7 @ #Dec. 383249 c NEW SOLUTION FOUND: 540670207147400 @ 1151.9 @ #Dec. 383382 c NEW SOLUTION FOUND: 540670204811400 @ 1151.9 @ #Dec. 383421 c NEW SOLUTION FOUND: 540670146411400 @ 1152 @ #Dec. 383469 c NEW SOLUTION FOUND: 540670130059400 @ 1152 @ #Dec. 383514 c NEW SOLUTION FOUND: 540670129479050 @ 1152.1 @ #Dec. 383591 c NEW SOLUTION FOUND: 540575400435850 @ 1152.3 @ #Dec. 383619 c NEW SOLUTION FOUND: 540575386419850 @ 1152.4 @ #Dec. 383637 c NEW SOLUTION FOUND: 540575384083850 @ 1152.5 @ #Dec. 383674 c NEW SOLUTION FOUND: 540567745831050 @ 1152.7 @ #Dec. 383718 c NEW SOLUTION FOUND: 540567729479050 @ 1152.8 @ #Dec. 383764 c NEW SOLUTION FOUND: 540473000435850 @ 1153 @ #Dec. 383789 c NEW SOLUTION FOUND: 540472984083850 @ 1153.1 @ #Dec. 383810 c NEW SOLUTION FOUND: 540465345831050 @ 1153.2 @ #Dec. 383858 c NEW SOLUTION FOUND: 540465329479050 @ 1153.3 @ #Dec. 383906 c NEW SOLUTION FOUND: 540370600435850 @ 1153.8 @ #Dec. 384053 c NEW SOLUTION FOUND: 540370584083850 @ 1153.9 @ #Dec. 384074 c NEW SOLUTION FOUND: 540362945831050 @ 1154 @ #Dec. 384119 c NEW SOLUTION FOUND: 540362929479050 @ 1154.1 @ #Dec. 384164 c NEW SOLUTION FOUND: 540332364787850 @ 1154.3 @ #Dec. 384226 c NEW SOLUTION FOUND: 540332357312650 @ 1154.4 @ #Dec. 384245 c NEW SOLUTION FOUND: 540332327411850 @ 1154.5 @ #Dec. 384293 c NEW SOLUTION FOUND: 540332311059850 @ 1154.7 @ #Dec. 384354 c NEW SOLUTION FOUND: 540234521895050 @ 1160.2 @ #Dec. 387016 c NEW SOLUTION FOUND: 540234043482250 @ 1160.2 @ #Dec. 387017 c NEW SOLUTION FOUND: 540233804275850 @ 1160.2 @ #Dec. 387029 c NEW SOLUTION FOUND: 540233774375050 @ 1160.8 @ #Dec. 387097 c NEW SOLUTION FOUND: 540233730104200 @ 1168.7 @ #Dec. 390395 c NEW SOLUTION FOUND: 540233729523850 @ 1168.8 @ #Dec. 390404 c NEW SOLUTION FOUND: 540233674040200 @ 1168.9 @ #Dec. 390441 c NEW SOLUTION FOUND: 540233673459850 @ 1169 @ #Dec. 390449 c NEW SOLUTION FOUND: 540233655352200 @ 1169.1 @ #Dec. 390465 c NEW SOLUTION FOUND: 540233654771850 @ 1169.2 @ #Dec. 390480 c NEW SOLUTION FOUND: 540233641336200 @ 1169.4 @ #Dec. 390507 c NEW SOLUTION FOUND: 540233640755850 @ 1169.5 @ #Dec. 390522 c NEW SOLUTION FOUND: 540233640401800 @ 1169.6 @ #Dec. 390548 c NEW SOLUTION FOUND: 540233639821450 @ 1169.7 @ #Dec. 390563 c NEW SOLUTION FOUND: 540233599288200 @ 1170 @ #Dec. 390618 c NEW SOLUTION FOUND: 540233598707850 @ 1170.1 @ #Dec. 390626 c NEW SOLUTION FOUND: 540233580600200 @ 1170.2 @ #Dec. 390645 c NEW SOLUTION FOUND: 540233580019850 @ 1170.3 @ #Dec. 390663 c NEW SOLUTION FOUND: 540233535168650 @ 1170.5 @ #Dec. 390687 c NEW SOLUTION FOUND: 540233479104650 @ 1170.7 @ #Dec. 390730 c NEW SOLUTION FOUND: 540233460416650 @ 1170.8 @ #Dec. 390750 c NEW SOLUTION FOUND: 540233434253450 @ 1170.9 @ #Dec. 390778 c NEW SOLUTION FOUND: 540233415565450 @ 1171.1 @ #Dec. 390799 c NEW SOLUTION FOUND: 540233389402250 @ 1171.2 @ #Dec. 390821 c NEW SOLUTION FOUND: 540233370714250 @ 1171.3 @ #Dec. 390836 c NEW SOLUTION FOUND: 540233355763850 @ 1171.4 @ #Dec. 390864 c NEW SOLUTION FOUND: 540233295962250 @ 1171.6 @ #Dec. 390924 c NEW SOLUTION FOUND: 540233294794250 @ 1174.7 @ #Dec. 392469 c NEW SOLUTION FOUND: 540233286326250 @ 1174.9 @ #Dec. 392507 c NEW SOLUTION FOUND: 540233285450250 @ 1175 @ #Dec. 392537 c NEW SOLUTION FOUND: 540233284282250 @ 1175.1 @ #Dec. 392565 c NEW SOLUTION FOUND: 540233281946250 @ 1175.4 @ #Dec. 392629 c NEW SOLUTION FOUND: 540233279610250 @ 1175.5 @ #Dec. 392659 s SATISFIABLE v -d1_bit0 -d2_bit0 d3_bit0 d4_bit0 -d5_bit0 -d6_bit0 -d7_bit0 -d8_bit0 -d9_bit0 -d10_bit0 -d11_bit0 d12_bit0 -d13_bit0 -d15_bit0 -d19_bit0 -h1_bit0 -h1_bit1 h1_bit2 -h1_bit3 h1_bit4 -h1_bit5 -h1_bit6 -h1_bit7 -h1_bit8 -h1_bit9 -h1_bit10 -h1_bit11 -h1_bit12 -h1_bit13 -h2_bit0 -h2_bit1 h2_bit2 -h2_bit3 h2_bit4 -h2_bit5 -h2_bit6 -h2_bit7 -h2_bit8 -h2_bit9 -h2_bit10 -h2_bit11 -h2_bit12 -h2_bit13 h3_bit0 h3_bit1 -h3_bit2 -h3_bit3 h3_bit4 -h3_bit5 -h3_bit6 -h3_bit7 -h3_bit8 -h3_bit9 -h3_bit10 -h3_bit11 -h3_bit12 -h3_bit13 -h4_bit0 h4_bit1 -h4_bit2 -h4_bit3 -h4_bit4 -h4_bit5 -h4_bit6 -h4_bit7 -h4_bit8 -h4_bit9 -h4_bit10 -h4_bit11 -h4_bit12 -h4_bit13 -h5_bit0 h5_bit1 -h5_bit2 h5_bit3 -h5_bit4 -h5_bit5 -h5_bit6 -h5_bit7 -h5_bit8 -h5_bit9 -h5_bit10 -h5_bit11 -h5_bit12 -h5_bit13 -h6_bit0 -h6_bit1 -h6_bit2 -h6_bit3 -h6_bit4 -h6_bit5 -h6_bit6 -h6_bit7 -h6_bit8 -h6_bit9 -h6_bit10 -h6_bit11 -h6_bit12 -h6_bit13 -h7_bit0 -h7_bit1 -h7_bit2 -h7_bit3 -h7_bit4 -h7_bit5 -h7_bit6 -h7_bit7 -h7_bit8 -h7_bit9 -h7_bit10 -h7_bit11 -h7_bit12 -h7_bit13 -h8_bit0 -h8_bit1 -h8_bit2 -h8_bit3 -h8_bit4 -h8_bit5 -h8_bit6 -h8_bit7 -h8_bit8 -h8_bit9 -h8_bit10 -h8_bit11 -h8_bit12 -h8_bit13 -h9_bit0 -h9_bit1 -h9_bit2 -h9_bit3 -h9_bit4 -h9_bit5 -h9_bit6 -h9_bit7 -h9_bit8 -h9_bit9 -h9_bit10 -h9_bit11 -h9_bit12 -h9_bit13 -h10_bit0 -h10_bit1 -h10_bit2 -h10_bit3 -h10_bit4 -h10_bit5 -h10_bit6 -h10_bit7 -h10_bit8 -h10_bit9 -h11_bit0 -h11_bit1 h11_bit2 -h11_bit3 h11_bit4 -h11_bit5 -h11_bit6 -h11_bit7 -h11_bit8 -h11_bit9 -h12_bit0 -h12_bit1 h12_bit2 h12_bit3 -h12_bit4 -h12_bit5 -h12_bit6 -h12_bit7 -h12_bit8 -h12_bit9 -h13_bit0 -h13_bit1 -h13_bit2 -h13_bit3 h13_bit4 -h13_bit5 -h13_bit6 -h13_bit7 -h13_bit8 -h13_bit9 -h15_bit0 -h15_bit1 -h15_bit2 -h15_bit3 -h15_bit4 -h15_bit5 -h15_bit6 -h15_bit7 -h15_bit8 -h15_bit9 -h19_bit0 -h19_bit1 -h19_bit2 -h19_bit3 -h19_bit4 -h19_bit5 -h19_bit6 -h19_bit7 -h19_bit8 -h19_bit9 -g1_bit0 -g1_bit1 -g1_bit2 -g1_bit3 -g1_bit4 -g1_bit5 -g1_bit6 -g1_bit7 -g1_bit8 -g1_bit9 -g1_bit10 -g1_bit11 -g1_bit12 -g1_bit13 -g2_bit0 -g2_bit1 -g2_bit2 -g2_bit3 -g2_bit4 -g2_bit5 -g2_bit6 -g2_bit7 -g2_bit8 -g2_bit9 -g2_bit10 g2_bit11 -g2_bit12 -g2_bit13 g3_bit0 g3_bit1 -g3_bit2 -g3_bit3 g3_bit4 g3_bit5 -g3_bit6 g3_bit7 -g3_bit8 -g3_bit9 -g3_bit10 -g3_bit11 -g3_bit12 -g3_bit13 -g4_bit0 -g4_bit1 -g4_bit2 -g4_bit3 g4_bit4 g4_bit5 -g4_bit6 -g4_bit7 -g4_bit8 -g4_bit9 -g4_bit10 -g4_bit11 -g4_bit12 -g4_bit13 -g5_bit0 -g5_bit1 -g5_bit2 -g5_bit3 g5_bit4 -g5_bit5 -g5_bit6 -g5_bit7 g5_bit8 -g5_bit9 -g5_bit10 -g5_bit11 -g5_bit12 -g5_bit13 -g6_bit0 -g6_bit1 -g6_bit2 -g6_bit3 g6_bit4 g6_bit5 -g6_bit6 -g6_bit7 -g6_bit8 -g6_bit9 -g6_bit10 -g6_bit11 -g6_bit12 -g6_bit13 -g7_bit0 -g7_bit1 -g7_bit2 -g7_bit3 -g7_bit4 -g7_bit5 -g7_bit6 -g7_bit7 g7_bit8 -g7_bit9 -g7_bit10 -g7_bit11 -g7_bit12 -g7_bit13 -g8_bit0 g8_bit1 -g8_bit2 -g8_bit3 -g8_bit4 -g8_bit5 -g8_bit6 -g8_bit7 -g8_bit8 -g8_bit9 -g8_bit10 -g8_bit11 -g8_bit12 -g8_bit13 -g9_bit0 g9_bit1 g9_bit2 -g9_bit3 g9_bit4 -g9_bit5 -g9_bit6 -g9_bit7 -g9_bit8 -g9_bit9 -g9_bit10 -g9_bit11 -g9_bit12 -g9_bit13 -g10_bit0 -g10_bit1 -g10_bit2 -g10_bit3 -g10_bit4 -g10_bit5 -g10_bit6 -g10_bit7 -g10_bit8 -g10_bit9 -g11_bit0 -g11_bit1 -g11_bit2 -g11_bit3 -g11_bit4 -g11_bit5 g11_bit6 g11_bit7 -g11_bit8 -g11_bit9 g12_bit0 g12_bit1 -g12_bit2 g12_bit3 g12_bit4 -g12_bit5 g12_bit6 -g12_bit7 g12_bit8 -g12_bit9 -g13_bit0 -g13_bit1 -g13_bit2 -g13_bit3 -g13_bit4 -g13_bit5 -g13_bit6 -g13_bit7 -g13_bit8 g13_bit9 -g15_bit0 -g15_bit1 -g15_bit2 -g15_bit3 -g15_bit4 -g15_bit5 -g15_bit6 g15_bit7 g15_bit8 -g15_bit9 g19_bit0 g19_bit1 -g19_bit2 g19_bit3 g19_bit4 g19_bit5 -g19_bit6 g19_bit7 -g19_bit8 -g19_bit9 -a1_bit_10 -a1_bit_9 -a1_bit_8 -a1_bit_7 -a1_bit_6 -a1_bit_5 -a1_bit_4 -a1_bit_3 -a1_bit_2 -a1_bit_1 -a1_bit0 -a1_bit1 -a1_bit2 -a1_bit3 a1_bit4 a1_bit5 a1_bit6 a1_bit7 a1_bit8 a1_bit9 -a1_bit10 -a1_bit11 -a1_bit12 -a1_bit13 -a1_bit14 -a1_bit15 -a1_bit16 -a1_bit17 -a1_bit18 -a1_bit19 -a2_bit_10 -a2_bit_9 -a2_bit_8 a2_bit_7 -a2_bit_6 -a2_bit_5 -a2_bit_4 -a2_bit_3 a2_bit_2 -a2_bit_1 -a2_bit0 -a2_bit1 -a2_bit2 -a2_bit3 -a2_bit4 -a2_bit5 -a2_bit6 -a2_bit7 -a2_bit8 -a2_bit9 -a2_bit10 -a2_bit11 -a2_bit12 -a2_bit13 -a2_bit14 -a2_bit15 -a2_bit16 -a2_bit17 -a2_bit18 -a2_bit19 -a3_bit_10 -a3_bit_9 -a3_bit_8 -a3_bit_7 -a3_bit_6 -a3_bit_5 -a3_bit_4 -a3_bit_3 -a3_bit_2 -a3_bit_1 -a3_bit0 -a3_bit1 -a3_bit2 -a3_bit3 -a3_bit4 -a3_bit5 a3_bit6 a3_bit7 -a3_bit8 a3_bit9 -a3_bit10 -a3_bit11 -a3_bit12 -a3_bit13 -a3_bit14 -a3_bit15 -a3_bit16 -a3_bit17 -a3_bit18 -a3_bit19 -a4_bit_10 -a4_bit_9 -a4_bit_8 -a4_bit_7 -a4_bit_6 -a4_bit_5 -a4_bit_4 -a4_bit_3 -a4_bit_2 -a4_bit_1 -a4_bit0 -a4_bit1 -a4_bit2 -a4_bit3 -a4_bit4 -a4_bit5 -a4_bit6 -a4_bit7 -a4_bit8 -a4_bit9 -a4_bit10 -a4_bit11 -a4_bit12 -a4_bit13 -a4_bit14 -a4_bit15 -a4_bit16 -a4_bit17 -a4_bit18 -a4_bit19 -a5_bit_10 -a5_bit_9 -a5_bit_8 -a5_bit_7 -a5_bit_6 -a5_bit_5 -a5_bit_4 -a5_bit_3 -a5_bit_2 -a5_bit_1 -a5_bit0 -a5_bit1 -a5_bit2 -a5_bit3 -a5_bit4 -a5_bit5 -a5_bit6 -a5_bit7 -a5_bit8 -a5_bit9 -a5_bit10 -a5_bit11 -a5_bit12 -a5_bit13 -a5_bit14 -a5_bit15 -a5_bit16 -a5_bit17 -a5_bit18 -a5_bit19 -a6_bit_10 -a6_bit_9 -a6_bit_8 -a6_bit_7 -a6_bit_6 -a6_bit_5 -a6_bit_4 -a6_bit_3 -a6_bit_2 -a6_bit_1 -a6_bit0 -a6_bit1 -a6_bit2 -a6_bit3 -a6_bit4 -a6_bit5 -a6_bit6 -a6_bit7 -a6_bit8 -a6_bit9 -a6_bit10 -a6_bit11 -a6_bit12 -a6_bit13 -a6_bit14 -a6_bit15 -a6_bit16 -a6_bit17 -a6_bit18 -a6_bit19 -a7_bit_10 -a7_bit_9 -a7_bit_8 -a7_bit_7 -a7_bit_6 -a7_bit_5 a7_bit_4 -a7_bit_3 -a7_bit_2 -a7_bit_1 -a7_bit0 -a7_bit1 -a7_bit2 -a7_bit3 -a7_bit4 -a7_bit5 -a7_bit6 -a7_bit7 -a7_bit8 -a7_bit9 -a7_bit10 -a7_bit11 -a7_bit12 -a7_bit13 -a7_bit14 -a7_bit15 -a7_bit16 -a7_bit17 -a7_bit18 -a7_bit19 -a8_bit_10 -a8_bit_9 -a8_bit_8 -a8_bit_7 -a8_bit_6 -a8_bit_5 -a8_bit_4 a8_bit_3 -a8_bit_2 -a8_bit_1 -a8_bit0 -a8_bit1 -a8_bit2 -a8_bit3 -a8_bit4 a8_bit5 -a8_bit6 a8_bit7 a8_bit8 a8_bit9 -a8_bit10 a8_bit11 -a8_bit12 -a8_bit13 -a8_bit14 -a8_bit15 -a8_bit16 -a8_bit17 -a8_bit18 -a8_bit19 -a9_bit_10 a9_bit_9 a9_bit_8 a9_bit_7 a9_bit_6 a9_bit_5 a9_bit_4 -a9_bit_3 -a9_bit_2 -a9_bit_1 -a9_bit0 -a9_bit1 -a9_bit2 -a9_bit3 -a9_bit4 -a9_bit5 -a9_bit6 -a9_bit7 -a9_bit8 -a9_bit9 a9_bit10 -a9_bit11 -a9_bit12 -a9_bit13 -a9_bit14 -a9_bit15 -a9_bit16 -a9_bit17 -a9_bit18 -a9_bit19 -a10_bit_10 -a10_bit_9 -a10_bit_8 -a10_bit_7 -a10_bit_6 -a10_bit_5 -a10_bit_4 -a10_bit_3 -a10_bit_2 -a10_bit_1 -a10_bit0 -a10_bit1 a10_bit2 -a10_bit3 -a10_bit4 -a10_bit5 -a10_bit6 a10_bit7 a10_bit8 a10_bit9 -a10_bit10 -a10_bit11 -a10_bit12 -a10_bit13 -a10_bit14 -a10_bit15 -a10_bit16 -a10_bit17 -a10_bit18 -a10_bit19 -a11_bit_10 -a11_bit_9 -a11_bit_8 -a11_bit_7 -a11_bit_6 -a11_bit_5 -a11_bit_4 -a11_bit_3 -a11_bit_2 -a11_bit_1 -a11_bit0 -a11_bit1 -a11_bit2 -a11_bit3 -a11_bit4 -a11_bit5 -a11_bit6 -a11_bit7 -a11_bit8 -a11_bit9 -a11_bit10 -a11_bit11 -a11_bit12 -a11_bit13 -a11_bit14 -a11_bit15 -a11_bit16 -a11_bit17 -a11_bit18 -a11_bit19 a12_bit_10 -a12_bit_9 a12_bit_8 a12_bit_7 a12_bit_6 a12_bit_5 a12_bit_4 a12_bit_3 a12_bit_2 a12_bit_1 a12_bit0 a12_bit1 a12_bit2 a12_bit3 -a12_bit4 a12_bit5 a12_bit6 -a12_bit7 -a12_bit8 -a12_bit9 -a12_bit10 -a12_bit11 -a12_bit12 -a12_bit13 -a12_bit14 -a12_bit15 -a12_bit16 -a12_bit17 -a12_bit18 -a12_bit19 -a13_bit_10 -a13_bit_9 -a13_bit_8 -a13_bit_7 -a13_bit_6 -a13_bit_5 -a13_bit_4 -a13_bit_3 -a13_bit_2 -a13_bit_1 -a13_bit0 -a13_bit1 -a13_bit2 -a13_bit3 -a13_bit4 -a13_bit5 -a13_bit6 -a13_bit7 -a13_bit8 -a13_bit9 -a13_bit10 -a13_bit11 -a13_bit12 -a13_bit13 -a13_bit14 -a13_bit15 -a13_bit16 -a13_bit17 -a13_bit18 -a13_bit19 -a14_bit_10 -a14_bit_9 -a14_bit_8 -a14_bit_7 -a14_bit_6 a14_bit_5 a14_bit_4 -a14_bit_3 -a14_bit_2 -a14_bit_1 -a14_bit0 a14_bit1 a14_bit2 a14_bit3 a14_bit4 a14_bit5 a14_bit6 -a14_bit7 a14_bit8 -a14_bit9 a14_bit10 -a14_bit11 -a14_bit12 -a14_bit13 -a14_bit14 -a14_bit15 -a14_bit16 -a14_bit17 -a14_bit18 -a14_bit19 -a15_bit_10 -a15_bit_9 -a15_bit_8 -a15_bit_7 -a15_bit_6 -a15_bit_5 -a15_bit_4 -a15_bit_3 -a15_bit_2 -a15_bit_1 -a15_bit0 -a15_bit1 -a15_bit2 -a15_bit3 -a15_bit4 -a15_bit5 -a15_bit6 -a15_bit7 -a15_bit8 -a15_bit9 -a15_bit10 -a15_bit11 -a15_bit12 -a15_bit13 -a15_bit14 -a15_bit15 -a15_bit16 -a15_bit17 -a15_bit18 -a15_bit19 -a16_bit_10 -a16_bit_9 -a16_bit_8 -a16_bit_7 -a16_bit_6 -a16_bit_5 -a16_bit_4 -a16_bit_3 a16_bit_2 -a16_bit_1 -a16_bit0 -a16_bit1 -a16_bit2 -a16_bit3 a16_bit4 -a16_bit5 a16_bit6 -a16_bit7 -a16_bit8 -a16_bit9 -a16_bit10 -a16_bit11 -a16_bit12 -a16_bit13 -a16_bit14 -a16_bit15 -a16_bit16 -a16_bit17 -a16_bit18 -a16_bit19 -a17_bit_10 -a17_bit_9 -a17_bit_8 -a17_bit_7 -a17_bit_6 -a17_bit_5 -a17_bit_4 -a17_bit_3 -a17_bit_2 -a17_bit_1 -a17_bit0 -a17_bit1 -a17_bit2 -a17_bit3 -a17_bit4 -a17_bit5 -a17_bit6 -a17_bit7 -a17_bit8 -a17_bit9 -a17_bit10 -a17_bit11 a17_bit12 -a17_bit13 -a17_bit14 -a17_bit15 -a17_bit16 -a17_bit17 -a17_bit18 -a17_bit19 -a18_bit_10 -a18_bit_9 -a18_bit_8 -a18_bit_7 -a18_bit_6 -a18_bit_5 -a18_bit_4 -a18_bit_3 -a18_bit_2 -a18_bit_1 -a18_bit0 a18_bit1 a18_bit2 a18_bit3 -a18_bit4 a18_bit5 a18_bit6 a18_bit7 -a18_bit8 -a18_bit9 a18_bit10 -a18_bit11 -a18_bit12 -a18_bit13 -a18_bit14 -a18_bit15 -a18_bit16 -a18_bit17 -a18_bit18 -a18_bit19 -a19_bit_10 -a19_bit_9 -a19_bit_8 -a19_bit_7 -a19_bit_6 -a19_bit_5 -a19_bit_4 -a19_bit_3 -a19_bit_2 -a19_bit_1 -a19_bit0 -a19_bit1 -a19_bit2 -a19_bit3 -a19_bit4 -a19_bit5 -a19_bit6 -a19_bit7 -a19_bit8 a19_bit9 -a19_bit10 -a19_bit11 -a19_bit12 -a19_bit13 -a19_bit14 -a19_bit15 -a19_bit16 -a19_bit17 -a19_bit18 -a19_bit19 -b1_bit_10 -b1_bit_9 -b1_bit_8 -b1_bit_7 -b1_bit_6 -b1_bit_5 -b1_bit_4 -b1_bit_3 -b1_bit_2 -b1_bit_1 -b1_bit0 -b1_bit1 -b1_bit2 -b1_bit3 -b1_bit4 -b1_bit5 -b1_bit6 -b1_bit7 -b1_bit8 -b1_bit9 -b1_bit10 -b1_bit11 -b1_bit12 -b1_bit13 -b1_bit14 -b1_bit15 -b1_bit16 -b1_bit17 -b1_bit18 -b1_bit19 -b2_bit_10 -b2_bit_9 -b2_bit_8 -b2_bit_7 -b2_bit_6 -b2_bit_5 -b2_bit_4 -b2_bit_3 -b2_bit_2 -b2_bit_1 -b2_bit0 -b2_bit1 -b2_bit2 -b2_bit3 -b2_bit4 -b2_bit5 -b2_bit6 b2_bit7 b2_bit8 -b2_bit9 b2_bit10 b2_bit11 b2_bit12 -b2_bit13 b2_bit14 -b2_bit15 -b2_bit16 -b2_bit17 -b2_bit18 -b2_bit19 -b3_bit_10 -b3_bit_9 -b3_bit_8 -b3_bit_7 -b3_bit_6 -b3_bit_5 b3_bit_4 -b3_bit_3 -b3_bit_2 -b3_bit_1 -b3_bit0 b3_bit1 -b3_bit2 -b3_bit3 b3_bit4 b3_bit5 b3_bit6 -b3_bit7 -b3_bit8 b3_bit9 b3_bit10 -b3_bit11 -b3_bit12 -b3_bit13 -b3_bit14 -b3_bit15 -b3_bit16 -b3_bit17 -b3_bit18 -b3_bit19 -b4_bit_10 -b4_bit_9 -b4_bit_8 -b4_bit_7 -b4_bit_6 -b4_bit_5 -b4_bit_4 -b4_bit_3 -b4_bit_2 -b4_bit_1 -b4_bit0 -b4_bit1 -b4_bit2 -b4_bit3 -b4_bit4 -b4_bit5 -b4_bit6 -b4_bit7 -b4_bit8 -b4_bit9 b4_bit10 b4_bit11 b4_bit12 -b4_bit13 b4_bit14 -b4_bit15 -b4_bit16 -b4_bit17 -b4_bit18 -b4_bit19 b5_bit_10 b5_bit_9 -b5_bit_8 -b5_bit_7 b5_bit_6 -b5_bit_5 b5_bit_4 -b5_bit_3 b5_bit_2 b5_bit_1 -b5_bit0 b5_bit1 b5_bit2 -b5_bit3 b5_bit4 -b5_bit5 b5_bit6 -b5_bit7 b5_bit8 b5_bit9 -b5_bit10 b5_bit11 b5_bit12 -b5_bit13 b5_bit14 -b5_bit15 -b5_bit16 -b5_bit17 -b5_bit18 -b5_bit19 -b6_bit_10 -b6_bit_9 -b6_bit_8 -b6_bit_7 -b6_bit_6 -b6_bit_5 -b6_bit_4 -b6_bit_3 b6_bit_2 -b6_bit_1 -b6_bit0 -b6_bit1 -b6_bit2 -b6_bit3 -b6_bit4 -b6_bit5 -b6_bit6 -b6_bit7 b6_bit8 b6_bit9 b6_bit10 -b6_bit11 b6_bit12 b6_bit13 -b6_bit14 -b6_bit15 -b6_bit16 -b6_bit17 -b6_bit18 -b6_bit19 -b7_bit_10 b7_bit_9 b7_bit_8 b7_bit_7 b7_bit_6 b7_bit_5 b7_bit_4 b7_bit_3 b7_bit_2 -b7_bit_1 b7_bit0 b7_bit1 b7_bit2 b7_bit3 b7_bit4 b7_bit5 b7_bit6 -b7_bit7 b7_bit8 -b7_bit9 -b7_bit10 -b7_bit11 b7_bit12 -b7_bit13 -b7_bit14 -b7_bit15 -b7_bit16 -b7_bit17 -b7_bit18 -b7_bit19 -b8_bit_10 -b8_bit_9 -b8_bit_8 -b8_bit_7 -b8_bit_6 -b8_bit_5 -b8_bit_4 -b8_bit_3 b8_bit_2 b8_bit_1 b8_bit0 b8_bit1 b8_bit2 b8_bit3 b8_bit4 b8_bit5 -b8_bit6 -b8_bit7 -b8_bit8 b8_bit9 -b8_bit10 -b8_bit11 -b8_bit12 -b8_bit13 -b8_bit14 -b8_bit15 -b8_bit16 -b8_bit17 -b8_bit18 -b8_bit19 -b9_bit_10 b9_bit_9 b9_bit_8 b9_bit_7 b9_bit_6 b9_bit_5 b9_bit_4 b9_bit_3 b9_bit_2 b9_bit_1 b9_bit0 b9_bit1 b9_bit2 b9_bit3 b9_bit4 b9_bit5 b9_bit6 b9_bit7 b9_bit8 -b9_bit9 -b9_bit10 -b9_bit11 -b9_bit12 -b9_bit13 -b9_bit14 -b9_bit15 -b9_bit16 -b9_bit17 -b9_bit18 -b9_bit19 -b10_bit_10 -b10_bit_9 -b10_bit_8 -b10_bit_7 -b10_bit_6 b10_bit_5 -b10_bit_4 -b10_bit_3 -b10_bit_2 -b10_bit_1 -b10_bit0 -b10_bit1 -b10_bit2 -b10_bit3 -b10_bit4 -b10_bit5 b10_bit6 -b10_bit7 -b10_bit8 -b10_bit9 -b10_bit10 -b10_bit11 -b10_bit12 b10_bit13 -b10_bit14 -b10_bit15 -b10_bit16 -b10_bit17 -b10_bit18 -b10_bit19 -b11_bit_10 -b11_bit_9 -b11_bit_8 -b11_bit_7 -b11_bit_6 -b11_bit_5 -b11_bit_4 -b11_bit_3 -b11_bit_2 -b11_bit_1 -b11_bit0 -b11_bit1 -b11_bit2 -b11_bit3 -b11_bit4 -b11_bit5 -b11_bit6 -b11_bit7 -b11_bit8 -b11_bit9 -b11_bit10 -b11_bit11 b11_bit12 -b11_bit13 -b11_bit14 -b11_bit15 -b11_bit16 -b11_bit17 -b11_bit18 -b11_bit19 -b12_bit_10 -b12_bit_9 -b12_bit_8 -b12_bit_7 -b12_bit_6 -b12_bit_5 -b12_bit_4 -b12_bit_3 -b12_bit_2 -b12_bit_1 -b12_bit0 -b12_bit1 -b12_bit2 -b12_bit3 -b12_bit4 -b12_bit5 -b12_bit6 -b12_bit7 -b12_bit8 b12_bit9 -b12_bit10 -b12_bit11 b12_bit12 -b12_bit13 -b12_bit14 -b12_bit15 -b12_bit16 -b12_bit17 -b12_bit18 -b12_bit19 -b13_bit_10 -b13_bit_9 -b13_bit_8 -b13_bit_7 -b13_bit_6 -b13_bit_5 -b13_bit_4 -b13_bit_3 -b13_bit_2 -b13_bit_1 -b13_bit0 -b13_bit1 -b13_bit2 -b13_bit3 -b13_bit4 -b13_bit5 -b13_bit6 -b13_bit7 -b13_bit8 -b13_bit9 -b13_bit10 -b13_bit11 -b13_bit12 -b13_bit13 -b13_bit14 -b13_bit15 -b13_bit16 -b13_bit17 -b13_bit18 -b13_bit19 -b14_bit_10 -b14_bit_9 -b14_bit_8 -b14_bit_7 -b14_bit_6 b14_bit_5 -b14_bit_4 -b14_bit_3 b14_bit_2 -b14_bit_1 -b14_bit0 -b14_bit1 -b14_bit2 -b14_bit3 -b14_bit4 -b14_bit5 -b14_bit6 -b14_bit7 -b14_bit8 -b14_bit9 b14_bit10 -b14_bit11 -b14_bit12 b14_bit13 -b14_bit14 -b14_bit15 -b14_bit16 -b14_bit17 -b14_bit18 -b14_bit19 -b15_bit_10 -b15_bit_9 -b15_bit_8 -b15_bit_7 -b15_bit_6 b15_bit_5 -b15_bit_4 -b15_bit_3 b15_bit_2 -b15_bit_1 -b15_bit0 -b15_bit1 -b15_bit2 -b15_bit3 -b15_bit4 -b15_bit5 -b15_bit6 -b15_bit7 -b15_bit8 -b15_bit9 b15_bit10 -b15_bit11 -b15_bit12 b15_bit13 -b15_bit14 -b15_bit15 -b15_bit16 -b15_bit17 -b15_bit18 -b15_bit19 -b16_bit_10 -b16_bit_9 -b16_bit_8 -b16_bit_7 -b16_bit_6 -b16_bit_5 -b16_bit_4 -b16_bit_3 -b16_bit_2 -b16_bit_1 -b16_bit0 -b16_bit1 -b16_bit2 -b16_bit3 -b16_bit4 -b16_bit5 -b16_bit6 -b16_bit7 -b16_bit8 -b16_bit9 -b16_bit10 -b16_bit11 -b16_bit12 -b16_bit13 -b16_bit14 -b16_bit15 -b16_bit16 -b16_bit17 -b16_bit18 -b16_bit19 -b17_bit_10 -b17_bit_9 -b17_bit_8 -b17_bit_7 -b17_bit_6 -b17_bit_5 -b17_bit_4 -b17_bit_3 -b17_bit_2 -b17_bit_1 -b17_bit0 -b17_bit1 -b17_bit2 -b17_bit3 -b17_bit4 -b17_bit5 -b17_bit6 -b17_bit7 -b17_bit8 -b17_bit9 -b17_bit10 -b17_bit11 b17_bit12 -b17_bit13 b17_bit14 -b17_bit15 -b17_bit16 -b17_bit17 -b17_bit18 -b17_bit19 -b18_bit_10 -b18_bit_9 -b18_bit_8 -b18_bit_7 -b18_bit_6 -b18_bit_5 -b18_bit_4 -b18_bit_3 -b18_bit_2 -b18_bit_1 -b18_bit0 -b18_bit1 -b18_bit2 b18_bit3 -b18_bit4 -b18_bit5 -b18_bit6 b18_bit7 b18_bit8 -b18_bit9 -b18_bit10 -b18_bit11 b18_bit12 -b18_bit13 -b18_bit14 -b18_bit15 -b18_bit16 -b18_bit17 -b18_bit18 -b18_bit19 -b19_bit_10 -b19_bit_9 -b19_bit_8 -b19_bit_7 -b19_bit_6 -b19_bit_5 -b19_bit_4 -b19_bit_3 -b19_bit_2 -b19_bit_1 -b19_bit0 -b19_bit1 -b19_bit2 b19_bit3 -b19_bit4 -b19_bit5 -b19_bit6 b19_bit7 b19_bit8 -b19_bit9 -b19_bit10 -b19_bit11 b19_bit12 -b19_bit13 -b19_bit14 -b19_bit15 -b19_bit16 -b19_bit17 -b19_bit18 -b19_bit19 c1_bit0 c2_bit0 c5_bit0 c11_bit0 c12_bit0 c13_bit0 -c14_bit0 -c15_bit0 -c16_bit0 c17_bit0 -c18_bit0 -c19_bit0 c3_bit0 c4_bit0 -c6_bit0 -c7_bit0 -c8_bit0 -c9_bit0 -c10_bit0 -f1_bit_10 -f1_bit_9 -f1_bit_8 -f1_bit_7 -f1_bit_6 -f1_bit_5 -f1_bit_4 -f1_bit_3 -f1_bit_2 -f1_bit_1 -f1_bit0 -f1_bit1 -f1_bit2 -f1_bit3 -f1_bit4 -f1_bit5 -f1_bit6 -f1_bit7 -f1_bit8 -f1_bit9 -f1_bit10 -f1_bit11 -f1_bit12 -f1_bit13 -f1_bit14 -f1_bit15 -f1_bit16 -f1_bit17 -f1_bit18 -f1_bit19 -f10_bit_10 -f10_bit_9 -f10_bit_8 -f10_bit_7 -f10_bit_6 -f10_bit_5 -f10_bit_4 -f10_bit_3 -f10_bit_2 -f10_bit_1 -f10_bit0 -f10_bit1 -f10_bit2 -f10_bit3 -f10_bit4 -f10_bit5 -f10_bit6 -f10_bit7 -f10_bit8 -f10_bit9 -f10_bit10 -f10_bit11 -f10_bit12 -f10_bit13 -f10_bit14 -f10_bit15 -f10_bit16 -f10_bit17 -f10_bit18 -f10_bit19 -f11_bit_10 -f11_bit_9 -f11_bit_8 -f11_bit_7 -f11_bit_6 -f11_bit_5 -f11_bit_4 -f11_bit_3 -f11_bit_2 -f11_bit_1 -f11_bit0 -f11_bit1 -f11_bit2 -f11_bit3 -f11_bit4 -f11_bit5 -f11_bit6 -f11_bit7 f11_bit8 -f11_bit9 -f11_bit10 -f11_bit11 f11_bit12 -f11_bit13 -f11_bit14 -f11_bit15 -f11_bit16 -f11_bit17 -f11_bit18 -f11_bit19 -f12_bit_10 -f12_bit_9 -f12_bit_8 -f12_bit_7 -f12_bit_6 -f12_bit_5 -f12_bit_4 -f12_bit_3 -f12_bit_2 -f12_bit_1 -f12_bit0 -f12_bit1 -f12_bit2 -f12_bit3 -f12_bit4 -f12_bit5 -f12_bit6 f12_bit7 -f12_bit8 -f12_bit9 -f12_bit10 -f12_bit11 -f12_bit12 f12_bit13 -f12_bit14 -f12_bit15 -f12_bit16 -f12_bit17 -f12_bit18 -f12_bit19 -f13_bit_10 -f13_bit_9 -f13_bit_8 -f13_bit_7 -f13_bit_6 -f13_bit_5 -f13_bit_4 -f13_bit_3 -f13_bit_2 -f13_bit_1 -f13_bit0 -f13_bit1 -f13_bit2 -f13_bit3 -f13_bit4 -f13_bit5 -f13_bit6 -f13_bit7 -f13_bit8 -f13_bit9 -f13_bit10 -f13_bit11 -f13_bit12 f13_bit13 -f13_bit14 -f13_bit15 -f13_bit16 -f13_bit17 -f13_bit18 -f13_bit19 -f15_bit_10 -f15_bit_9 -f15_bit_8 -f15_bit_7 -f15_bit_6 -f15_bit_5 -f15_bit_4 -f15_bit_3 -f15_bit_2 -f15_bit_1 -f15_bit0 -f15_bit1 -f15_bit2 -f15_bit3 -f15_bit4 -f15_bit5 -f15_bit6 -f15_bit7 -f15_bit8 -f15_bit9 f15_bit10 -f15_bit11 -f15_bit12 f15_bit13 -f15_bit14 -f15_bit15 -f15_bit16 -f15_bit17 -f15_bit18 -f15_bit19 -f19_bit_10 -f19_bit_9 -f19_bit_8 -f19_bit_7 -f19_bit_6 -f19_bit_5 -f19_bit_4 -f19_bit_3 -f19_bit_2 -f19_bit_1 -f19_bit0 -f19_bit1 -f19_bit2 f19_bit3 -f19_bit4 -f19_bit5 -f19_bit6 f19_bit7 f19_bit8 -f19_bit9 -f19_bit10 -f19_bit11 f19_bit12 -f19_bit13 -f19_bit14 -f19_bit15 -f19_bit16 -f19_bit17 -f19_bit18 -f19_bit19 -f2_bit_10 -f2_bit_9 -f2_bit_8 -f2_bit_7 -f2_bit_6 -f2_bit_5 -f2_bit_4 -f2_bit_3 -f2_bit_2 -f2_bit_1 -f2_bit0 -f2_bit1 -f2_bit2 -f2_bit3 -f2_bit4 -f2_bit5 -f2_bit6 -f2_bit7 -f2_bit8 -f2_bit9 -f2_bit10 -f2_bit11 -f2_bit12 -f2_bit13 f2_bit14 f2_bit15 -f2_bit16 -f2_bit17 -f2_bit18 -f2_bit19 -f3_bit_10 -f3_bit_9 -f3_bit_8 -f3_bit_7 -f3_bit_6 -f3_bit_5 -f3_bit_4 -f3_bit_3 -f3_bit_2 -f3_bit_1 -f3_bit0 -f3_bit1 -f3_bit2 f3_bit3 -f3_bit4 -f3_bit5 f3_bit6 f3_bit7 -f3_bit8 -f3_bit9 -f3_bit10 -f3_bit11 f3_bit12 -f3_bit13 -f3_bit14 -f3_bit15 -f3_bit16 -f3_bit17 -f3_bit18 -f3_bit19 -f4_bit_10 -f4_bit_9 -f4_bit_8 -f4_bit_7 -f4_bit_6 -f4_bit_5 -f4_bit_4 -f4_bit_3 -f4_bit_2 -f4_bit_1 -f4_bit0 -f4_bit1 -f4_bit2 -f4_bit3 -f4_bit4 -f4_bit5 -f4_bit6 -f4_bit7 -f4_bit8 -f4_bit9 f4_bit10 -f4_bit11 -f4_bit12 -f4_bit13 -f4_bit14 -f4_bit15 -f4_bit16 -f4_bit17 -f4_bit18 -f4_bit19 -f5_bit_10 -f5_bit_9 -f5_bit_8 -f5_bit_7 -f5_bit_6 -f5_bit_5 -f5_bit_4 -f5_bit_3 -f5_bit_2 -f5_bit_1 -f5_bit0 -f5_bit1 -f5_bit2 -f5_bit3 -f5_bit4 -f5_bit5 -f5_bit6 -f5_bit7 -f5_bit8 -f5_bit9 -f5_bit10 -f5_bit11 f5_bit12 -f5_bit13 -f5_bit14 -f5_bit15 -f5_bit16 -f5_bit17 -f5_bit18 -f5_bit19 -f6_bit_10 -f6_bit_9 -f6_bit_8 -f6_bit_7 -f6_bit_6 -f6_bit_5 -f6_bit_4 -f6_bit_3 -f6_bit_2 -f6_bit_1 -f6_bit0 -f6_bit1 -f6_bit2 -f6_bit3 -f6_bit4 -f6_bit5 -f6_bit6 -f6_bit7 -f6_bit8 -f6_bit9 f6_bit10 -f6_bit11 -f6_bit12 -f6_bit13 -f6_bit14 -f6_bit15 -f6_bit16 -f6_bit17 -f6_bit18 -f6_bit19 -f7_bit_10 -f7_bit_9 -f7_bit_8 -f7_bit_7 -f7_bit_6 -f7_bit_5 -f7_bit_4 -f7_bit_3 -f7_bit_2 -f7_bit_1 -f7_bit0 -f7_bit1 -f7_bit2 -f7_bit3 -f7_bit4 -f7_bit5 -f7_bit6 f7_bit7 -f7_bit8 f7_bit9 f7_bit10 f7_bit11 -f7_bit12 -f7_bit13 -f7_bit14 -f7_bit15 -f7_bit16 -f7_bit17 -f7_bit18 -f7_bit19 f8_bit_10 f8_bit_9 f8_bit_8 f8_bit_7 f8_bit_6 f8_bit_5 f8_bit_4 f8_bit_3 f8_bit_2 f8_bit_1 f8_bit0 f8_bit1 f8_bit2 f8_bit3 -f8_bit4 f8_bit5 -f8_bit6 -f8_bit7 -f8_bit8 -f8_bit9 -f8_bit10 -f8_bit11 -f8_bit12 -f8_bit13 -f8_bit14 -f8_bit15 -f8_bit16 -f8_bit17 -f8_bit18 -f8_bit19 -f9_bit_10 f9_bit_9 f9_bit_8 f9_bit_7 f9_bit_6 f9_bit_5 f9_bit_4 f9_bit_3 f9_bit_2 f9_bit_1 f9_bit0 f9_bit1 f9_bit2 f9_bit3 f9_bit4 f9_bit5 f9_bit6 f9_bit7 f9_bit8 -f9_bit9 -f9_bit10 -f9_bit11 -f9_bit12 -f9_bit13 -f9_bit14 -f9_bit15 -f9_bit16 -f9_bit17 -f9_bit18 -f9_bit19 c Cost: 540233279610250 c Exit Code: 10 c Total time: 1195 s
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1840765254 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22247/statm): 107 3 90 68 0 39 0 [pid=22247] vsize: 428 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libosl.so open syscall for file tls/i686/libosl.so open syscall for file tls/mmx/libosl.so open syscall for file tls/libosl.so open syscall for file i686/mmx/libosl.so open syscall for file i686/libosl.so open syscall for file mmx/libosl.so open syscall for file libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/libosl.so open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/i686/libosl.so open syscall for file /oldhome/oroussel/lib/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/libosl.so open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/libstdc++-libc6.2-2.so.3 open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/libstdc++-libc6.2-2.so.3 open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file i686/libstdc++-libc6.2-2.so.3 open syscall for file mmx/libstdc++-libc6.2-2.so.3 open syscall for file libstdc++-libc6.2-2.so.3 open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /lib/tls/libpthread.so.0 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file tls/i686/mmx/libgcc_s.so.1 open syscall for file tls/i686/libgcc_s.so.1 open syscall for file tls/mmx/libgcc_s.so.1 open syscall for file tls/libgcc_s.so.1 open syscall for file i686/mmx/libgcc_s.so.1 open syscall for file i686/libgcc_s.so.1 open syscall for file mmx/libgcc_s.so.1 open syscall for file libgcc_s.so.1 open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1 open syscall for file /lib/libgcc_s.so.1 open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /etc/localtime open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-bell4.opb [startup+10.0032 s] Raw data (loadavg): 0.91 1.01 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 2069 0 0 0 940 22 0 0 25 0 1 0 1840765254 11636736 1980 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 2841 1980 1116 68 0 2773 0 [pid=22247] vsize: 11364 Current children cumulated CPU time (s) 9.62 Current children cumulated vsize (Kb) 11364 [startup+20.0038 s] Raw data (loadavg): 0.92 1.01 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 2078 0 0 0 1882 40 0 0 25 0 1 0 1840765254 11636736 1989 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 2841 1989 1116 68 0 2773 0 [pid=22247] vsize: 11364 Current children cumulated CPU time (s) 19.22 Current children cumulated vsize (Kb) 11364 [startup+30.0044 s] Raw data (loadavg): 0.94 1.01 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 2078 0 0 0 2827 57 0 0 25 0 1 0 1840765254 11636736 1989 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 2841 1989 1116 68 0 2773 0 [pid=22247] vsize: 11364 Current children cumulated CPU time (s) 28.84 Current children cumulated vsize (Kb) 11364 [startup+40.005 s] Raw data (loadavg): 0.95 1.01 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 2078 0 0 0 3775 75 0 0 25 0 1 0 1840765254 11636736 1989 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 2841 1989 1116 68 0 2773 0 [pid=22247] vsize: 11364 Current children cumulated CPU time (s) 38.5 Current children cumulated vsize (Kb) 11364 [startup+50.0056 s] Raw data (loadavg): 0.95 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 3965 0 0 0 4749 87 0 0 25 0 1 0 1840765254 19243008 3854 4294967295 134512640 134736556 3221224560 3221223172 134558392 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22247/statm): 4698 3854 1116 68 0 4630 0 [pid=22247] vsize: 18792 Current children cumulated CPU time (s) 48.36 Current children cumulated vsize (Kb) 18792 [startup+60.0063 s] Raw data (loadavg): 0.96 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 3965 0 0 0 5723 96 0 0 25 0 1 0 1840765254 19243008 3854 4294967295 134512640 134736556 3221224560 3221223184 134535746 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22247/statm): 4698 3854 1116 68 0 4630 0 [pid=22247] vsize: 18792 Current children cumulated CPU time (s) 58.19 Current children cumulated vsize (Kb) 18792 [startup+70.0068 s] Raw data (loadavg): 0.97 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 3965 0 0 0 6710 100 0 0 25 0 1 0 1840765254 19243008 3854 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 4698 3854 1116 68 0 4630 0 [pid=22247] vsize: 18792 Current children cumulated CPU time (s) 68.1 Current children cumulated vsize (Kb) 18792 [startup+80.0074 s] Raw data (loadavg): 0.97 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 3965 0 0 0 7697 105 0 0 25 0 1 0 1840765254 19243008 3854 4294967295 134512640 134736556 3221224560 3221223084 134536262 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 4698 3854 1116 68 0 4630 0 [pid=22247] vsize: 18792 Current children cumulated CPU time (s) 78.02 Current children cumulated vsize (Kb) 18792 [startup+90.008 s] Raw data (loadavg): 0.97 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4700 0 0 0 8676 114 0 0 25 0 1 0 1840765254 22122496 4558 4294967295 134512640 134736556 3221224560 3221222732 1077379843 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 5401 4558 1116 68 0 5333 0 [pid=22247] vsize: 21604 Current children cumulated CPU time (s) 87.9 Current children cumulated vsize (Kb) 21604 [startup+100.008 s] Raw data (loadavg): 0.98 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 4825 0 0 0 9662 120 0 0 25 0 1 0 1840765254 22646784 4676 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 5529 4676 1116 68 0 5461 0 [pid=22247] vsize: 22116 Current children cumulated CPU time (s) 97.82 Current children cumulated vsize (Kb) 22116 [startup+110.009 s] Raw data (loadavg): 0.98 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 4825 0 0 0 10648 126 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0 [pid=22247] vsize: 22112 Current children cumulated CPU time (s) 107.74 Current children cumulated vsize (Kb) 22112 [startup+120.01 s] Raw data (loadavg): 0.98 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 11635 131 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223176 134560294 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0 [pid=22247] vsize: 22112 Current children cumulated CPU time (s) 117.66 Current children cumulated vsize (Kb) 22112 [startup+130.009 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 12619 137 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223156 134544513 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0 [pid=22247] vsize: 22112 Current children cumulated CPU time (s) 127.56 Current children cumulated vsize (Kb) 22112 [startup+140.01 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 13605 141 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223084 134523852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0 [pid=22247] vsize: 22112 Current children cumulated CPU time (s) 137.46 Current children cumulated vsize (Kb) 22112 [startup+150.011 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 4825 0 0 0 14590 147 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0 [pid=22247] vsize: 22112 Current children cumulated CPU time (s) 147.37 Current children cumulated vsize (Kb) 22112 [startup+160.011 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 15579 151 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223012 1077374568 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0 [pid=22247] vsize: 22112 Current children cumulated CPU time (s) 157.3 Current children cumulated vsize (Kb) 22112 [startup+170.012 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 16567 155 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223104 134540437 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0 [pid=22247] vsize: 22112 Current children cumulated CPU time (s) 167.22 Current children cumulated vsize (Kb) 22112 [startup+180.012 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 4825 0 0 0 17555 159 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0 [pid=22247] vsize: 22112 Current children cumulated CPU time (s) 177.14 Current children cumulated vsize (Kb) 22112 [startup+190.013 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 18543 164 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223168 134536147 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0 [pid=22247] vsize: 22112 Current children cumulated CPU time (s) 187.07 Current children cumulated vsize (Kb) 22112 [startup+200.013 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 19531 168 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223280 134646416 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0 [pid=22247] vsize: 22112 Current children cumulated CPU time (s) 196.99 Current children cumulated vsize (Kb) 22112 [startup+210.013 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 20520 173 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223012 1077374446 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0 [pid=22247] vsize: 22112 Current children cumulated CPU time (s) 206.93 Current children cumulated vsize (Kb) 22112 [startup+220.014 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 21508 177 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223132 134543226 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0 [pid=22247] vsize: 22112 Current children cumulated CPU time (s) 216.85 Current children cumulated vsize (Kb) 22112 [startup+230.014 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 22496 181 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221222828 1077379843 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0 [pid=22247] vsize: 22112 Current children cumulated CPU time (s) 226.77 Current children cumulated vsize (Kb) 22112 [startup+240.014 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 4825 0 0 0 23479 188 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0 [pid=22247] vsize: 22112 Current children cumulated CPU time (s) 236.67 Current children cumulated vsize (Kb) 22112 [startup+250.015 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 24443 201 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223248 134646439 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0 [pid=22247] vsize: 22112 Current children cumulated CPU time (s) 246.44 Current children cumulated vsize (Kb) 22112 [startup+260.015 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 25408 215 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223208 134532895 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0 [pid=22247] vsize: 22112 Current children cumulated CPU time (s) 256.23 Current children cumulated vsize (Kb) 22112 [startup+270.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 26374 229 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223232 134524917 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0 [pid=22247] vsize: 22112 Current children cumulated CPU time (s) 266.03 Current children cumulated vsize (Kb) 22112 [startup+280.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 5842 0 0 0 27359 237 0 0 25 0 1 0 1840765254 26714112 5690 4294967295 134512640 134736556 3221224560 3221222764 1077379843 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 6522 5690 1116 68 0 6454 0 [pid=22247] vsize: 26088 Current children cumulated CPU time (s) 275.96 Current children cumulated vsize (Kb) 26088 [startup+290.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 5842 0 0 0 28345 242 0 0 25 0 1 0 1840765254 26714112 5690 4294967295 134512640 134736556 3221224560 3221223216 134649034 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22247/statm): 6522 5690 1116 68 0 6454 0 [pid=22247] vsize: 26088 Current children cumulated CPU time (s) 285.87 Current children cumulated vsize (Kb) 26088 [startup+300.017 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 5842 0 0 0 29321 250 0 0 25 0 1 0 1840765254 26714112 5690 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 6522 5690 1116 68 0 6454 0 [pid=22247] vsize: 26088 Current children cumulated CPU time (s) 295.71 Current children cumulated vsize (Kb) 26088 [startup+310.017 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 5843 0 0 0 30288 261 0 0 25 0 1 0 1840765254 26714112 5691 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 6522 5691 1116 68 0 6454 0 [pid=22247] vsize: 26088 Current children cumulated CPU time (s) 305.49 Current children cumulated vsize (Kb) 26088 [startup+320.018 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 5843 0 0 0 31263 269 0 0 25 0 1 0 1840765254 26714112 5691 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 6522 5691 1116 68 0 6454 0 [pid=22247] vsize: 26088 Current children cumulated CPU time (s) 315.32 Current children cumulated vsize (Kb) 26088 [startup+330.018 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 5843 0 0 0 32243 276 0 0 25 0 1 0 1840765254 26714112 5691 4294967295 134512640 134736556 3221224560 3221223088 134540767 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 6522 5691 1116 68 0 6454 0 [pid=22247] vsize: 26088 Current children cumulated CPU time (s) 325.19 Current children cumulated vsize (Kb) 26088 [startup+340.018 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 5843 0 0 0 33223 282 0 0 25 0 1 0 1840765254 26714112 5691 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 6522 5691 1116 68 0 6454 0 [pid=22247] vsize: 26088 Current children cumulated CPU time (s) 335.05 Current children cumulated vsize (Kb) 26088 [startup+350.018 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 5987 0 0 0 34200 290 0 0 25 0 1 0 1840765254 27389952 5835 4294967295 134512640 134736556 3221224560 3221223128 134560373 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 6687 5835 1116 68 0 6619 0 [pid=22247] vsize: 26748 Current children cumulated CPU time (s) 344.9 Current children cumulated vsize (Kb) 26748 [startup+360.019 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 6875 0 0 0 35180 299 0 0 25 0 1 0 1840765254 31002624 6723 4294967295 134512640 134736556 3221224560 3221223232 134630777 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 7569 6723 1116 68 0 7501 0 [pid=22247] vsize: 30276 Current children cumulated CPU time (s) 354.79 Current children cumulated vsize (Kb) 30276 [startup+370.02 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 6875 0 0 0 36147 313 0 0 25 0 1 0 1840765254 31002624 6723 4294967295 134512640 134736556 3221224560 3221223196 134694604 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 7569 6723 1116 68 0 7501 0 [pid=22247] vsize: 30276 Current children cumulated CPU time (s) 364.6 Current children cumulated vsize (Kb) 30276 [startup+380.02 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 6875 0 0 0 37113 323 0 0 25 0 1 0 1840765254 31002624 6723 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 7569 6723 1116 68 0 7501 0 [pid=22247] vsize: 30276 Current children cumulated CPU time (s) 374.36 Current children cumulated vsize (Kb) 30276 [startup+390.02 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 6959 0 0 0 38087 333 0 0 25 0 1 0 1840765254 31379456 6807 4294967295 134512640 134736556 3221224560 3221223244 134534796 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 7661 6807 1116 68 0 7593 0 [pid=22247] vsize: 30644 Current children cumulated CPU time (s) 384.2 Current children cumulated vsize (Kb) 30644 [startup+400.02 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 8610 0 0 0 39071 341 0 0 25 0 1 0 1840765254 38084608 8458 4294967295 134512640 134736556 3221224560 3221223168 134536188 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 9298 8458 1116 68 0 9230 0 [pid=22247] vsize: 37192 Current children cumulated CPU time (s) 394.12 Current children cumulated vsize (Kb) 37192 [startup+410.02 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 8610 0 0 0 40053 348 0 0 25 0 1 0 1840765254 38084608 8458 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/22247/statm): 9298 8458 1116 68 0 9230 0 [pid=22247] vsize: 37192 Current children cumulated CPU time (s) 404.01 Current children cumulated vsize (Kb) 37192 [startup+420.021 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 9359 0 0 0 41024 359 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0 [pid=22247] vsize: 40236 Current children cumulated CPU time (s) 413.83 Current children cumulated vsize (Kb) 40236 [startup+430.022 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 9359 0 0 0 42007 365 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223296 134645965 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0 [pid=22247] vsize: 40236 Current children cumulated CPU time (s) 423.72 Current children cumulated vsize (Kb) 40236 [startup+440.022 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 9359 0 0 0 42992 371 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223232 134630390 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0 [pid=22247] vsize: 40236 Current children cumulated CPU time (s) 433.63 Current children cumulated vsize (Kb) 40236 [startup+450.022 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 9359 0 0 0 43977 376 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223208 134543300 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0 [pid=22247] vsize: 40236 Current children cumulated CPU time (s) 443.53 Current children cumulated vsize (Kb) 40236 [startup+460.022 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 9359 0 0 0 44959 384 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0 [pid=22247] vsize: 40236 Current children cumulated CPU time (s) 453.43 Current children cumulated vsize (Kb) 40236 [startup+470.023 s] Raw data (loadavg): 0.99 1.00 0.99 3/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 9359 0 0 0 45946 389 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223176 134537599 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0 [pid=22247] vsize: 40236 Current children cumulated CPU time (s) 463.35 Current children cumulated vsize (Kb) 40236 [startup+480.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 9359 0 0 0 46914 401 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223208 134543310 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0 [pid=22247] vsize: 40236 Current children cumulated CPU time (s) 473.15 Current children cumulated vsize (Kb) 40236 [startup+490.023 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 9359 0 0 0 47883 411 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0 [pid=22247] vsize: 40236 Current children cumulated CPU time (s) 482.94 Current children cumulated vsize (Kb) 40236 [startup+500.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 9359 0 0 0 48858 419 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223136 134558161 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0 [pid=22247] vsize: 40236 Current children cumulated CPU time (s) 492.77 Current children cumulated vsize (Kb) 40236 [startup+510.024 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 9359 0 0 0 49834 428 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0 [pid=22247] vsize: 40236 Current children cumulated CPU time (s) 502.62 Current children cumulated vsize (Kb) 40236 [startup+520.025 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 9359 0 0 0 50814 436 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223152 134558396 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0 [pid=22247] vsize: 40236 Current children cumulated CPU time (s) 512.5 Current children cumulated vsize (Kb) 40236 [startup+530.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 9363 0 0 0 51795 442 0 0 25 0 1 0 1840765254 41201664 9211 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 10059 9211 1116 68 0 9991 0 [pid=22247] vsize: 40236 Current children cumulated CPU time (s) 522.37 Current children cumulated vsize (Kb) 40236 [startup+540.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 10644 0 0 0 52764 454 0 0 25 0 1 0 1840765254 46518272 10492 4294967295 134512640 134736556 3221224560 3221223232 134630685 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 11357 10492 1116 68 0 11289 0 [pid=22247] vsize: 45428 Current children cumulated CPU time (s) 532.18 Current children cumulated vsize (Kb) 45428 [startup+550.026 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 11209 0 0 0 53741 464 0 0 25 0 1 0 1840765254 48742400 11046 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 11900 11046 1116 68 0 11832 0 [pid=22247] vsize: 47600 Current children cumulated CPU time (s) 542.05 Current children cumulated vsize (Kb) 47600 [startup+560.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 13232 0 0 0 54720 475 0 0 25 0 1 0 1840765254 57126912 13069 4294967295 134512640 134736556 3221224560 3221222828 1077379843 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 13947 13069 1116 68 0 13879 0 [pid=22247] vsize: 55788 Current children cumulated CPU time (s) 551.95 Current children cumulated vsize (Kb) 55788 [startup+570.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 13304 0 0 0 55710 478 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223188 134529176 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0 [pid=22247] vsize: 56052 Current children cumulated CPU time (s) 561.88 Current children cumulated vsize (Kb) 56052 [startup+580.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 13304 0 0 0 56698 483 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223168 134558535 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0 [pid=22247] vsize: 56052 Current children cumulated CPU time (s) 571.81 Current children cumulated vsize (Kb) 56052 [startup+590.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 13304 0 0 0 57686 488 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223216 134649038 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0 [pid=22247] vsize: 56052 Current children cumulated CPU time (s) 581.74 Current children cumulated vsize (Kb) 56052 [startup+600.028 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 13304 0 0 0 58673 494 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223208 134543297 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0 [pid=22247] vsize: 56052 Current children cumulated CPU time (s) 591.67 Current children cumulated vsize (Kb) 56052 [startup+610.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 13304 0 0 0 59657 501 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223232 134630914 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0 [pid=22247] vsize: 56052 Current children cumulated CPU time (s) 601.58 Current children cumulated vsize (Kb) 56052 [startup+620.028 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 13304 0 0 0 60639 507 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223220 134630178 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0 [pid=22247] vsize: 56052 Current children cumulated CPU time (s) 611.46 Current children cumulated vsize (Kb) 56052 [startup+630.028 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 13304 0 0 0 61624 513 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0 [pid=22247] vsize: 56052 Current children cumulated CPU time (s) 621.37 Current children cumulated vsize (Kb) 56052 [startup+640.028 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 13304 0 0 0 62588 526 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0 [pid=22247] vsize: 56052 Current children cumulated CPU time (s) 631.14 Current children cumulated vsize (Kb) 56052 [startup+650.028 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 13304 0 0 0 63561 535 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0 [pid=22247] vsize: 56052 Current children cumulated CPU time (s) 640.96 Current children cumulated vsize (Kb) 56052 [startup+660.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 13304 0 0 0 64547 540 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223148 134560382 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0 [pid=22247] vsize: 56052 Current children cumulated CPU time (s) 650.87 Current children cumulated vsize (Kb) 56052 [startup+670.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 13304 0 0 0 65530 547 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223268 134609065 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0 [pid=22247] vsize: 56052 Current children cumulated CPU time (s) 660.77 Current children cumulated vsize (Kb) 56052 [startup+680.029 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 13304 0 0 0 66509 555 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0 [pid=22247] vsize: 56052 Current children cumulated CPU time (s) 670.64 Current children cumulated vsize (Kb) 56052 [startup+690.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 14895 0 0 0 67487 565 0 0 25 0 1 0 1840765254 63791104 14721 4294967295 134512640 134736556 3221224560 3221223168 134536153 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 15574 14721 1116 68 0 15506 0 [pid=22247] vsize: 62296 Current children cumulated CPU time (s) 680.52 Current children cumulated vsize (Kb) 62296 [startup+700.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 14895 0 0 0 68467 573 0 0 25 0 1 0 1840765254 63791104 14721 4294967295 134512640 134736556 3221224560 3221223152 1077377147 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 15574 14721 1116 68 0 15506 0 [pid=22247] vsize: 62296 Current children cumulated CPU time (s) 690.4 Current children cumulated vsize (Kb) 62296 [startup+710.03 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 14895 0 0 0 69445 580 0 0 25 0 1 0 1840765254 63791104 14721 4294967295 134512640 134736556 3221224560 3221222916 1077378590 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 15574 14721 1116 68 0 15506 0 [pid=22247] vsize: 62296 Current children cumulated CPU time (s) 700.25 Current children cumulated vsize (Kb) 62296 [startup+720.03 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 14977 0 0 0 70432 584 0 0 25 0 1 0 1840765254 64000000 14770 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 15625 14770 1116 68 0 15557 0 [pid=22247] vsize: 62500 Current children cumulated CPU time (s) 710.16 Current children cumulated vsize (Kb) 62500 [startup+730.03 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15098 0 0 0 71415 590 0 0 25 0 1 0 1840765254 64405504 14860 4294967295 134512640 134736556 3221224560 3221223112 1077377239 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 15724 14860 1116 68 0 15656 0 [pid=22247] vsize: 62896 Current children cumulated CPU time (s) 720.05 Current children cumulated vsize (Kb) 62896 [startup+740.03 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15290 0 0 0 72402 595 0 0 25 0 1 0 1840765254 65105920 15011 4294967295 134512640 134736556 3221224560 3221223228 134534802 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 15895 15011 1116 68 0 15827 0 [pid=22247] vsize: 63580 Current children cumulated CPU time (s) 729.97 Current children cumulated vsize (Kb) 63580 [startup+750.03 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15290 0 0 0 73392 599 0 0 25 0 1 0 1840765254 65101824 15011 4294967295 134512640 134736556 3221224560 3221223100 134536226 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 15894 15011 1116 68 0 15826 0 [pid=22247] vsize: 63576 Current children cumulated CPU time (s) 739.91 Current children cumulated vsize (Kb) 63576 [startup+760.031 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15290 0 0 0 74376 605 0 0 25 0 1 0 1840765254 65101824 15011 4294967295 134512640 134736556 3221224560 3221223296 134646172 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22247/statm): 15894 15011 1116 68 0 15826 0 [pid=22247] vsize: 63576 Current children cumulated CPU time (s) 749.81 Current children cumulated vsize (Kb) 63576 [startup+770.031 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15445 0 0 0 75363 610 0 0 25 0 1 0 1840765254 65642496 15166 4294967295 134512640 134736556 3221224560 3221223100 134536369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16026 15166 1116 68 0 15958 0 [pid=22247] vsize: 64104 Current children cumulated CPU time (s) 759.73 Current children cumulated vsize (Kb) 64104 [startup+780.032 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15445 0 0 0 76351 616 0 0 25 0 1 0 1840765254 65642496 15166 4294967295 134512640 134736556 3221224560 3221223100 134536384 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16026 15166 1116 68 0 15958 0 [pid=22247] vsize: 64104 Current children cumulated CPU time (s) 769.67 Current children cumulated vsize (Kb) 64104 [startup+790.032 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15445 0 0 0 77337 621 0 0 25 0 1 0 1840765254 65642496 15166 4294967295 134512640 134736556 3221224560 3221223120 134543478 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16026 15166 1116 68 0 15958 0 [pid=22247] vsize: 64104 Current children cumulated CPU time (s) 779.58 Current children cumulated vsize (Kb) 64104 [startup+800.032 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15498 0 0 0 78324 626 0 0 25 0 1 0 1840765254 65679360 15180 4294967295 134512640 134736556 3221224560 3221223100 134536340 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16035 15180 1116 68 0 15967 0 [pid=22247] vsize: 64140 Current children cumulated CPU time (s) 789.5 Current children cumulated vsize (Kb) 64140 [startup+810.033 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15498 0 0 0 79311 632 0 0 25 0 1 0 1840765254 65679360 15180 4294967295 134512640 134736556 3221224560 3221223208 134560551 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16035 15180 1116 68 0 15967 0 [pid=22247] vsize: 64140 Current children cumulated CPU time (s) 799.43 Current children cumulated vsize (Kb) 64140 [startup+820.033 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15535 0 0 0 80294 638 0 0 25 0 1 0 1840765254 65949696 15217 4294967295 134512640 134736556 3221224560 3221223028 1077374485 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16101 15217 1116 68 0 16033 0 [pid=22247] vsize: 64404 Current children cumulated CPU time (s) 809.32 Current children cumulated vsize (Kb) 64404 [startup+830.033 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15537 0 0 0 81284 641 0 0 25 0 1 0 1840765254 65904640 15219 4294967295 134512640 134736556 3221224560 3221222812 1077379843 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16090 15219 1116 68 0 16022 0 [pid=22247] vsize: 64360 Current children cumulated CPU time (s) 819.25 Current children cumulated vsize (Kb) 64360 [startup+840.033 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 15537 0 0 0 82269 648 0 0 25 0 1 0 1840765254 65904640 15219 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16090 15219 1116 68 0 16022 0 [pid=22247] vsize: 64360 Current children cumulated CPU time (s) 829.17 Current children cumulated vsize (Kb) 64360 [startup+850.034 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15537 0 0 0 83250 654 0 0 25 0 1 0 1840765254 65904640 15219 4294967295 134512640 134736556 3221224560 3221223168 134536168 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16090 15219 1116 68 0 16022 0 [pid=22247] vsize: 64360 Current children cumulated CPU time (s) 839.04 Current children cumulated vsize (Kb) 64360 [startup+860.035 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15537 0 0 0 84238 659 0 0 25 0 1 0 1840765254 65904640 15219 4294967295 134512640 134736556 3221224560 3221223112 1077377353 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16090 15219 1116 68 0 16022 0 [pid=22247] vsize: 64360 Current children cumulated CPU time (s) 848.97 Current children cumulated vsize (Kb) 64360 [startup+870.035 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15537 0 0 0 85226 662 0 0 25 0 1 0 1840765254 65904640 15219 4294967295 134512640 134736556 3221224560 3221223128 134543057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16090 15219 1116 68 0 16022 0 [pid=22247] vsize: 64360 Current children cumulated CPU time (s) 858.88 Current children cumulated vsize (Kb) 64360 [startup+880.036 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15537 0 0 0 86213 667 0 0 25 0 1 0 1840765254 65904640 15219 4294967295 134512640 134736556 3221224560 3221223088 134534879 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16090 15219 1116 68 0 16022 0 [pid=22247] vsize: 64360 Current children cumulated CPU time (s) 868.8 Current children cumulated vsize (Kb) 64360 [startup+890.036 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15537 0 0 0 87200 672 0 0 25 0 1 0 1840765254 65904640 15219 4294967295 134512640 134736556 3221224560 3221223032 1077374433 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16090 15219 1116 68 0 16022 0 [pid=22247] vsize: 64360 Current children cumulated CPU time (s) 878.72 Current children cumulated vsize (Kb) 64360 [startup+900.037 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15537 0 0 0 88185 678 0 0 25 0 1 0 1840765254 65904640 15219 4294967295 134512640 134736556 3221224560 3221223168 134536153 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16090 15219 1116 68 0 16022 0 [pid=22247] vsize: 64360 Current children cumulated CPU time (s) 888.63 Current children cumulated vsize (Kb) 64360 [startup+910.038 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15537 0 0 0 89172 682 0 0 25 0 1 0 1840765254 65904640 15219 4294967295 134512640 134736556 3221224560 3221223168 134536168 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16090 15219 1116 68 0 16022 0 [pid=22247] vsize: 64360 Current children cumulated CPU time (s) 898.54 Current children cumulated vsize (Kb) 64360 [startup+920.038 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15584 0 0 0 90160 686 0 0 25 0 1 0 1840765254 66039808 15266 4294967295 134512640 134736556 3221224560 3221223048 1077374433 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16123 15266 1116 68 0 16055 0 [pid=22247] vsize: 64492 Current children cumulated CPU time (s) 908.46 Current children cumulated vsize (Kb) 64492 [startup+930.038 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15607 0 0 0 91150 690 0 0 25 0 1 0 1840765254 65904640 15235 4294967295 134512640 134736556 3221224560 3221222764 1077379843 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16090 15235 1116 68 0 16022 0 [pid=22247] vsize: 64360 Current children cumulated CPU time (s) 918.4 Current children cumulated vsize (Kb) 64360 [startup+940.038 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15675 0 0 0 92137 694 0 0 25 0 1 0 1840765254 65904640 15235 4294967295 134512640 134736556 3221224560 3221223100 134536223 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16090 15235 1116 68 0 16022 0 [pid=22247] vsize: 64360 Current children cumulated CPU time (s) 928.31 Current children cumulated vsize (Kb) 64360 [startup+950.039 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 15675 0 0 0 93125 700 0 0 25 0 1 0 1840765254 65904640 15235 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16090 15235 1116 68 0 16022 0 [pid=22247] vsize: 64360 Current children cumulated CPU time (s) 938.25 Current children cumulated vsize (Kb) 64360 [startup+960.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15675 0 0 0 94108 705 0 0 25 0 1 0 1840765254 65904640 15235 4294967295 134512640 134736556 3221224560 3221223164 134544504 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16090 15235 1116 68 0 16022 0 [pid=22247] vsize: 64360 Current children cumulated CPU time (s) 948.13 Current children cumulated vsize (Kb) 64360 [startup+970.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15675 0 0 0 95094 709 0 0 25 0 1 0 1840765254 65904640 15235 4294967295 134512640 134736556 3221224560 3221223168 134536111 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22247/statm): 16090 15235 1116 68 0 16022 0 [pid=22247] vsize: 64360 Current children cumulated CPU time (s) 958.03 Current children cumulated vsize (Kb) 64360 [startup+980.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15675 0 0 0 96081 714 0 0 25 0 1 0 1840765254 65904640 15235 4294967295 134512640 134736556 3221224560 3221223180 134544720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22247/statm): 16090 15235 1116 68 0 16022 0 [pid=22247] vsize: 64360 Current children cumulated CPU time (s) 967.95 Current children cumulated vsize (Kb) 64360 [startup+990.041 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15675 0 0 0 97069 718 0 0 25 0 1 0 1840765254 65904640 15235 4294967295 134512640 134736556 3221224560 3221223272 134599556 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16090 15235 1116 68 0 16022 0 [pid=22247] vsize: 64360 Current children cumulated CPU time (s) 977.87 Current children cumulated vsize (Kb) 64360 [startup+1000.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15675 0 0 0 98056 723 0 0 25 0 1 0 1840765254 65904640 15235 4294967295 134512640 134736556 3221224560 3221223120 134543495 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16090 15235 1116 68 0 16022 0 [pid=22247] vsize: 64360 Current children cumulated CPU time (s) 987.79 Current children cumulated vsize (Kb) 64360 [startup+1010.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15675 0 0 0 99045 728 0 0 25 0 1 0 1840765254 65904640 15235 4294967295 134512640 134736556 3221224560 3221223116 134523852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16090 15235 1116 68 0 16022 0 [pid=22247] vsize: 64360 Current children cumulated CPU time (s) 997.73 Current children cumulated vsize (Kb) 64360 [startup+1020.04 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 15675 0 0 0 100036 732 0 0 25 0 1 0 1840765254 65904640 15235 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16090 15235 1116 68 0 16022 0 [pid=22247] vsize: 64360 Current children cumulated CPU time (s) 1007.68 Current children cumulated vsize (Kb) 64360 [startup+1030.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15787 0 0 0 101025 735 0 0 25 0 1 0 1840765254 66035712 15267 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16122 15267 1116 68 0 16054 0 [pid=22247] vsize: 64488 Current children cumulated CPU time (s) 1017.6 Current children cumulated vsize (Kb) 64488 [startup+1040.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15787 0 0 0 102014 738 0 0 25 0 1 0 1840765254 66035712 15267 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16122 15267 1116 68 0 16054 0 [pid=22247] vsize: 64488 Current children cumulated CPU time (s) 1027.52 Current children cumulated vsize (Kb) 64488 [startup+1050.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15787 0 0 0 102999 744 0 0 25 0 1 0 1840765254 66035712 15267 4294967295 134512640 134736556 3221224560 3221223040 134540866 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16122 15267 1116 68 0 16054 0 [pid=22247] vsize: 64488 Current children cumulated CPU time (s) 1037.43 Current children cumulated vsize (Kb) 64488 [startup+1060.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15787 0 0 0 103990 747 0 0 25 0 1 0 1840765254 66035712 15267 4294967295 134512640 134736556 3221224560 3221223172 1077374189 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16122 15267 1116 68 0 16054 0 [pid=22247] vsize: 64488 Current children cumulated CPU time (s) 1047.37 Current children cumulated vsize (Kb) 64488 [startup+1070.04 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 15787 0 0 0 104974 754 0 0 25 0 1 0 1840765254 66035712 15267 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16122 15267 1116 68 0 16054 0 [pid=22247] vsize: 64488 Current children cumulated CPU time (s) 1057.28 Current children cumulated vsize (Kb) 64488 [startup+1080.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15787 0 0 0 105952 763 0 0 25 0 1 0 1840765254 66035712 15267 4294967295 134512640 134736556 3221224560 3221223132 134544504 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16122 15267 1116 68 0 16054 0 [pid=22247] vsize: 64488 Current children cumulated CPU time (s) 1067.15 Current children cumulated vsize (Kb) 64488 [startup+1090.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15787 0 0 0 106939 768 0 0 25 0 1 0 1840765254 66035712 15267 4294967295 134512640 134736556 3221224560 3221223132 134543056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16122 15267 1116 68 0 16054 0 [pid=22247] vsize: 64488 Current children cumulated CPU time (s) 1077.07 Current children cumulated vsize (Kb) 64488 [startup+1100.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15788 0 0 0 107932 771 0 0 25 0 1 0 1840765254 66035712 15268 4294967295 134512640 134736556 3221224560 3221223192 134544071 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16122 15268 1116 68 0 16054 0 [pid=22247] vsize: 64488 Current children cumulated CPU time (s) 1087.03 Current children cumulated vsize (Kb) 64488 [startup+1110.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15790 0 0 0 108924 774 0 0 25 0 1 0 1840765254 66035712 15269 4294967295 134512640 134736556 3221224560 3221223072 134543931 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 16122 15269 1116 68 0 16054 0 [pid=22247] vsize: 64488 Current children cumulated CPU time (s) 1096.98 Current children cumulated vsize (Kb) 64488 [startup+1120.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 17236 0 0 0 109908 783 0 0 25 0 1 0 1840765254 72605696 16715 4294967295 134512640 134736556 3221224560 3221223136 134543071 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 17726 16715 1116 68 0 17658 0 [pid=22247] vsize: 70904 Current children cumulated CPU time (s) 1106.91 Current children cumulated vsize (Kb) 70904 [startup+1130.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 17917 0 0 0 110895 789 0 0 25 0 1 0 1840765254 75530240 17396 4294967295 134512640 134736556 3221224560 3221223296 134645965 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 18440 17396 1116 68 0 18372 0 [pid=22247] vsize: 73760 Current children cumulated CPU time (s) 1116.84 Current children cumulated vsize (Kb) 73760 [startup+1140.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 18448 0 0 0 111876 796 0 0 25 0 1 0 1840765254 77647872 17927 4294967295 134512640 134736556 3221224560 3221223100 134536340 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 18957 17927 1116 68 0 18889 0 [pid=22247] vsize: 75828 Current children cumulated CPU time (s) 1126.72 Current children cumulated vsize (Kb) 75828 [startup+1150.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 20911 0 0 0 112854 809 0 0 25 0 1 0 1840765254 87777280 20390 4294967295 134512640 134736556 3221224560 3221223224 134560233 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 21430 20390 1116 68 0 21362 0 [pid=22247] vsize: 85720 Current children cumulated CPU time (s) 1136.63 Current children cumulated vsize (Kb) 85720 [startup+1160.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 20911 0 0 0 113834 817 0 0 25 0 1 0 1840765254 87777280 20390 4294967295 134512640 134736556 3221224560 3221223220 134605398 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 21430 20390 1116 68 0 21362 0 [pid=22247] vsize: 85720 Current children cumulated CPU time (s) 1146.51 Current children cumulated vsize (Kb) 85720 [startup+1170.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 21195 0 0 0 114803 828 0 0 25 0 1 0 1840765254 88850432 20674 4294967295 134512640 134736556 3221224560 3221223112 1077377720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 21692 20674 1116 68 0 21624 0 [pid=22247] vsize: 86768 Current children cumulated CPU time (s) 1156.31 Current children cumulated vsize (Kb) 86768 [startup+1180.04 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 21195 0 0 0 115778 837 0 0 25 0 1 0 1840765254 88850432 20674 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/22247/statm): 21692 20674 1116 68 0 21624 0 [pid=22247] vsize: 86768 Current children cumulated CPU time (s) 1166.15 Current children cumulated vsize (Kb) 86768 [startup+1190.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 21195 0 0 0 116756 845 0 0 25 0 1 0 1840765254 88850432 20674 4294967295 134512640 134736556 3221224560 3221223264 134543489 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 21692 20674 1116 68 0 21624 0 [pid=22247] vsize: 86768 Current children cumulated CPU time (s) 1176.01 Current children cumulated vsize (Kb) 86768 [startup+1200.05 s] Raw data (loadavg): 1.07 1.02 0.99 2/56 22247 Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 21195 0 0 0 117741 850 0 0 25 0 1 0 1840765254 88850432 20674 4294967295 134512640 134736556 3221224560 3221223084 134536369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22247/statm): 21692 20674 1116 68 0 21624 0 [pid=22247] vsize: 86768 Current children cumulated CPU time (s) 1185.91 Current children cumulated vsize (Kb) 86768 One traced child (pid=22247) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1209.24 CPU time (s): 1195.07 CPU user time (s): 1186.49 CPU system time (s): 8.5797 CPU usage (%): 98.8275 Max. virtual memory (cumulated for all children) (Kb): 86768
Verifier: OK 540233279610250