| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos15.opb |
| MD5SUM | d360a4da18a1223a5a3c77027ac256df |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 20742332700051198 |
| Optimality of the best value was proved | NO |
| Number of variables | 17600 |
| Total number of constraints | 632 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 632 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 150 |
| Number of terms in the objective function | 10400 |
| Biggest coefficient in the objective function | 536870912000000000000 |
| Number of bits for the biggest coefficient in the objective function | 69 |
| Sum of the numbers in the objective function | 77389326876814400021856 |
| Number of bits of the sum of numbers in the objective function | 77 |
| Biggest number in a constraint | 536870912000000000000 |
| Number of bits of the biggest number in a constraint | 69 |
| Biggest sum of numbers in a constraint | 77389326876814400021856 |
| Number of bits of the biggest sum of numbers | 77 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T09:37:54+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4103345-1466235473.opb"] 0.00/0.01 c use --random-gen="3554055782 3281140499 4018057716 336633109 875979960 2880431325 3513354360 957722652 3295616708 2764002660 2206462896 3421980023 1188098193 2059305459 326210982 3419327489 3640633225 3279689597 65872411 472723535 3327113252 149482030 3036142307 980660566 1602793548 1409080398 3861411098 1139067423 66501399 2151045067 2083235063 4234952156 1966025540 888722312 1701787869 2599902891 375231863 3487117241 1811449977 3235090006 1827224935 3402824622 1930626824 375287023 335545445 274462561 2185594638 3736288922 149626418 579964771 4057508878 1639288935 379166917 2788242617 2191584530 1070549153 2467235480 3052331730 241499988 4111681985 1795657167 1095062771 54626629 2715407316 423887707 3761479751 555294165 1885361898 4213513968 3750062222 713020743 2281318993 1254627067 18314832 3353881414 4165869330 1336657921 3728379611 3022886115 2466647083 424906742 1471431499 3189612685 333650842 556338782 120232187 2412049541 2183543348 37219022 4218126639 1697275064 2619605436 3111546586 3420721058 1548756592 3468179824 2875346379 2847381789 2384467883 3978404792 4009791121 1226189614 4022433573 1711013861 4180209415 2674262546 1562993121 3441208051 2945044273 1141971327 3060174579 3859344652 2915383014 1641428404 3781161283 48646764 1539386799 301436783 412490615 161927015 2691733846 779804991 4284728402 3431844127 1479840008 1022729338 3668180414 1182987891 3833466283 659608618 2357989243 2583858915 565077903 3200668441 4013997482 1186303463 4106098862 533882140 3067010814 4079658878 4024150165 588858595 2561813821 4269482629 3797595867 99162144 3694626135 1553725437 3300367179 4226004361 3446615559 644493646 502989485 3131089531 4242865911 1493857737 1903329345 3892950144 644304610 1708919121 3432254940 2631228761 4010557677 2012296204 2951165874 1608290354 3720043399 3742875516 1448456438 243666813 3728862885 337453209 3594207785 3148470206 616330993 1507854315 3984953498 703821100 740421548 4138430677 1550930281 1461436105 1218210731 283639767 375205594 2592440265 2608618054 550624395 2190778430 1926734492 3157285680 4258280613 1300594774 3196055477 4416195 4050598278 434111938 198957686 2477068386 845920102 1612704849 2938036536 2618517453 4113951950 4053258066 1670389781 1991994381 3727189768 2423575350 3821456661 1053110170 3555106949 3536712326 3725391554 250308962 4028154991 1099600606 2107104430 197100101 2871350030 4099373339 2729778600 542210582 2334838006 383692218 1373974939 1874270571 2954758590 2437570362 880970641 907332726 2772167173 1046599772 1818466298 1191917343 3701752737 445748848 148556173 651911017 2535257183 3723036147 3242010065 3736715205 1688098744 847521675 1399755942 4012175655 4262182155 3207348718 2912078756 4194599725 3225383012 1976091611 2442875523 3697118652 354356311 255 362436" option to reproduce the execution 0.09/0.15 c #vars 17600 0.09/0.15 c #constraints 632 4.99/5.03 c BCD2: Hardening is enabled. 4.99/5.03 c BCD2: BiasedSearch is enabled. 4.99/5.03 c Solving starts ... 4.99/5.03 c ============================[ Search Statistics ]============================ 4.99/5.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.99/5.03 c | | | | Limit GC | Var | Constra 4.99/5.03 c ============================================================================= 4.99/5.07 c 0.0s | 0 | 0 | 0 | 6157 0 | 2834 | 0 5.09/5.17 c 0.1s | 1 | 1137 | 100 | 6157 0 | 2834 | 0 5.50/5.58 c 0.5s | 2 | 6670 | 250 | 6773 0 | 2861 | 0 5.99/6.02 c 1.0s | 3 | 12625 | 475 | 7451 0 | 2883 | 0 6.19/6.29 c 1.3s | 4 | 13503 | 813 | 8197 0 | 2884 | 0 6.49/6.56 c 1.5s | 5 | 14739 | 1320 | 9017 0 | 2884 | 0 6.99/7.05 c 2.0s | 6 | 15721 | 2081 | 10911 0 | 2884 | 0 7.70/7.75 c 2.7s | 7 | 17460 | 3223 | 12003 0 | 2886 | 0 9.39/9.44 c 4.4s | 8 | 20133 | 4936 | 13204 0 | 2886 | 0 10.69/10.71 c 5.7s | 9 | 24170 | 7506 | 14525 0 | 2892 | 0 12.69/12.78 c 7.7s | 9 | 27959 | 10706 | 14525 0 | 2892 | 0 13.30/13.31 c 8.3s | 10 | 28756 | 11361 | 15978 0 | 2892 | 0 15.29/15.39 c 10.4s | 10 | 34432 | 14461 | 15978 0 | 2892 | 0 17.60/17.61 c 12.6s | 10 | 35438 | 15261 | 15978 0 | 2892 | 0 19.80/19.87 c 14.8s | 10 | 36222 | 15961 | 15978 0 | 2892 | 0 21.89/21.90 c 16.9s | 10 | 36885 | 16561 | 15978 0 | 2892 | 0 23.79/23.88 c 18.9s | 11 | 37566 | 17144 | 17576 0 | 2892 | 0 25.89/25.98 c 20.9s | 11 | 39861 | 18444 | 17576 0 | 2892 | 0 27.89/27.99 c 23.0s | 11 | 50295 | 20444 | 17576 0 | 2913 | 0 29.99/30.01 c 25.0s | 11 | 54430 | 24044 | 17576 1 | 2913 | 0 31.69/31.78 c 26.8s | 12 | 59440 | 25819 | 19334 1 | 2927 | 0 33.69/33.80 c 28.8s | 12 | 62648 | 28519 | 19334 1 | 2927 | 0 35.79/35.89 c 30.9s | 12 | 65387 | 31019 | 19334 1 | 2927 | 0 37.99/38.02 c 33.0s | 12 | 67670 | 33119 | 19334 2 | 2927 | 0 39.98/40.07 c 35.0s | 12 | 69869 | 35119 | 19334 2 | 2927 | 0 42.08/42.19 c 37.2s | 12 | 71928 | 37019 | 19334 2 | 2927 | 0 44.18/44.23 c 39.2s | 12 | 73684 | 38619 | 21268 2 | 2927 | 0 44.48/44.50 c 39.5s | 13 | 73913 | 38832 | 21268 2 | 2927 | 0 46.48/46.53 c 41.5s | 13 | 76922 | 40832 | 21268 2 | 2927 | 0 48.49/48.56 c 43.5s | 13 | 78650 | 42232 | 21268 2 | 2927 | 0 50.59/50.67 c 45.6s | 13 | 80299 | 43532 | 21268 2 | 2927 | 0 52.79/52.85 c 47.8s | 13 | 81579 | 44632 | 21268 2 | 2927 | 0 54.99/55.07 c 50.0s | 13 | 82749 | 45632 | 21268 2 | 2927 | 0 57.19/57.27 c 52.2s | 13 | 84378 | 46932 | 21268 2 | 2927 | 0 59.28/59.30 c 54.3s | 13 | 85590 | 47932 | 21268 3 | 2927 | 0 61.48/61.51 c 56.5s | 13 | 86782 | 48932 | 21268 3 | 2927 | 0 63.48/63.57 c 58.5s | 13 | 88065 | 49932 | 21268 3 | 2927 | 0 65.68/65.75 c 60.7s | 13 | 89293 | 50932 | 21268 3 | 2927 | 0 67.68/67.76 c 62.7s | 13 | 90418 | 51832 | 21268 3 | 2927 | 0 69.98/70.05 c 65.0s | 13 | 91518 | 52732 | 21268 3 | 2927 | 0 72.08/72.10 c 67.1s | 13 | 92653 | 53632 | 21268 3 | 2927 | 0 74.08/74.12 c 69.1s | 13 | 93753 | 54532 | 21268 3 | 2927 | 0 76.08/76.15 c 71.1s | 13 | 94761 | 55332 | 21268 3 | 2927 | 0 78.18/78.28 c 73.2s | 13 | 95836 | 56232 | 21268 3 | 2927 | 0 80.38/80.48 c 75.4s | 13 | 96809 | 57032 | 21268 3 | 2927 | 0 82.48/82.56 c 77.5s | 13 | 97811 | 57832 | 21268 3 | 2927 | 0 83.68/83.75 c 78.7s | 14 | 98415 | 58352 | 23395 3 | 2927 | 0 85.97/86.01 c 81.0s | 14 | 108446 | 60352 | 23395 3 | 2934 | 0 87.98/88.02 c 83.0s | 14 | 112551 | 62752 | 23395 4 | 2949 | 0 89.97/90.06 c 85.0s | 14 | 116415 | 66152 | 23395 4 | 2949 | 0 91.97/92.06 c 87.0s | 14 | 119432 | 68952 | 23395 4 | 2949 | 0 93.97/94.07 c 89.0s | 14 | 122213 | 71452 | 23395 4 | 2949 | 0 96.07/96.15 c 91.1s | 14 | 124804 | 73852 | 23395 4 | 2949 | 0 98.07/98.16 c 93.1s | 14 | 126933 | 75752 | 23395 5 | 2949 | 0 100.18/100.25 c 95.2s | 14 | 129129 | 77752 | 23395 5 | 2949 | 0 102.28/102.35 c 97.3s | 14 | 131179 | 79652 | 23395 5 | 2949 | 0 104.37/104.42 c 99.4s | 14 | 133095 | 81452 | 23395 5 | 2949 | 0 106.37/106.46 c 101s | 14 | 134830 | 83052 | 23395 5 | 2949 | 0 108.37/108.48 c 103s | 14 | 136468 | 84552 | 23395 5 | 2949 | 0 110.47/110.54 c 105s | 14 | 138094 | 86052 | 23395 5 | 2949 | 0 112.47/112.59 c 107s | 14 | 139630 | 87452 | 25735 5 | 2949 | 0 112.77/112.86 c 107s | 15 | 139825 | 87632 | 25735 5 | 2949 | 0 114.77/114.89 c 109s | 15 | 149978 | 89232 | 25735 5 | 2951 | 0 117.58/117.64 c 112s | 15 | 153588 | 91132 | 25735 6 | 2957 | 0 119.57/119.65 c 114s | 15 | 157122 | 93832 | 25735 6 | 2957 | 0 121.67/121.70 c 116s | 15 | 160704 | 96532 | 25735 6 | 2957 | 0 123.67/123.72 c 118s | 15 | 163737 | 99032 | 25735 6 | 2957 | 0 125.67/125.77 c 120s | 15 | 166421 | 101232 | 25735 6 | 2957 | 0 127.68/127.79 c 122s | 15 | 169700 | 103232 | 25735 6 | 2957 | 0 129.67/129.80 c 124s | 15 | 172296 | 105132 | 25735 6 | 2957 | 0 131.77/131.86 c 126s | 15 | 174224 | 106832 | 25735 7 | 2957 | 0 133.87/133.90 c 128s | 15 | 176329 | 108632 | 25735 7 | 2957 | 0 135.87/135.94 c 130s | 15 | 178398 | 110332 | 25735 7 | 2957 | 0 137.97/138.01 c 132s | 15 | 180278 | 111932 | 25735 7 | 2957 | 0 139.97/140.01 c 134s | 15 | 182109 | 113432 | 25735 7 | 2957 | 0 141.97/142.06 c 137s | 15 | 184388 | 115232 | 25735 7 | 2957 | 0 144.07/144.14 c 139s | 15 | 186355 | 116732 | 25735 7 | 2957 | 0 146.07/146.15 c 141s | 15 | 188016 | 118132 | 25735 7 | 2957 | 0 148.17/148.21 c 143s | 15 | 189551 | 119432 | 25735 7 | 2957 | 0 150.17/150.27 c 145s | 15 | 191050 | 120732 | 25735 8 | 2957 | 0 152.27/152.33 c 147s | 15 | 192843 | 122232 | 25735 8 | 2957 | 0 154.27/154.36 c 149s | 15 | 194311 | 123432 | 25735 8 | 2957 | 0 156.37/156.41 c 151s | 15 | 196909 | 125332 | 25735 8 | 2957 | 0 158.38/158.46 c 153s | 15 | 199029 | 127032 | 25735 8 | 2957 | 0 160.47/160.50 c 155s | 15 | 200886 | 128532 | 25735 8 | 2957 | 0 162.47/162.56 c 157s | 15 | 202916 | 130032 | 25735 8 | 2957 | 0 164.47/164.57 c 159s | 16 | 204692 | 131552 | 28309 8 | 2957 | 0 166.47/166.58 c 161s | 16 | 206699 | 133152 | 28309 8 | 2957 | 0 168.57/168.67 c 163s | 16 | 208771 | 135152 | 28309 8 | 2957 | 0 170.67/170.74 c 165s | 16 | 210607 | 136952 | 28309 8 | 2957 | 0 172.77/172.86 c 167s | 16 | 212423 | 138652 | 28309 9 | 2957 | 0 174.87/174.93 c 169s | 16 | 214111 | 140252 | 28309 9 | 2957 | 0 176.97/177.05 c 172s | 16 | 215787 | 141852 | 28309 9 | 2957 | 0 178.96/179.06 c 174s | 16 | 217228 | 143252 | 28309 9 | 2957 | 0 181.06/181.18 c 176s | 16 | 218667 | 144652 | 28309 9 | 2957 | 0 183.16/183.21 c 178s | 16 | 220032 | 145952 | 28309 9 | 2957 | 0 185.26/185.33 c 180s | 16 | 221396 | 147252 | 28309 9 | 2957 | 0 187.26/187.36 c 182s | 16 | 222653 | 148452 | 28309 9 | 2957 | 0 189.46/189.50 c 184s | 16 | 223895 | 149652 | 28309 9 | 2957 | 0 191.47/191.52 c 186s | 16 | 225038 | 150752 | 28309 9 | 2957 | 0 193.57/193.64 c 188s | 16 | 226174 | 151852 | 28309 9 | 2957 | 0 195.66/195.77 c 190s | 16 | 227337 | 152952 | 28309 9 | 2957 | 0 197.66/197.80 c 192s | 16 | 228371 | 153952 | 28309 10 | 2957 | 0 199.76/199.88 c 194s | 16 | 229405 | 154952 | 28309 10 | 2957 | 0 201.96/202.03 c 196s | 16 | 230666 | 156152 | 28309 10 | 2957 | 0 203.96/204.07 c 199s | 16 | 231800 | 157252 | 28309 10 | 2957 | 0 206.06/206.17 c 201s | 16 | 232957 | 158352 | 28309 10 | 2957 | 0 208.06/208.18 c 203s | 16 | 234004 | 159352 | 28309 10 | 2957 | 0 210.17/210.21 c 205s | 16 | 235087 | 160352 | 28309 10 | 2957 | 0 212.27/212.31 c 207s | 16 | 236107 | 161352 | 28309 10 | 2957 | 0 214.36/214.43 c 209s | 16 | 237130 | 162352 | 28309 10 | 2957 | 0 216.86/216.97 c 211s | 16 | 246821 | 163752 | 28309 10 | 2987 | 0 218.86/218.99 c 213s | 16 | 249861 | 165152 | 28309 10 | 2993 | 0 220.96/221.08 c 216s | 16 | 252329 | 167452 | 28309 10 | 2993 | 0 223.06/223.10 c 218s | 16 | 254359 | 169352 | 28309 11 | 2993 | 0 225.06/225.12 c 220s | 16 | 256392 | 171252 | 28309 11 | 2993 | 0 227.06/227.15 c 222s | 16 | 258336 | 173052 | 28309 11 | 2993 | 0 229.16/229.21 c 224s | 16 | 260159 | 174752 | 28309 11 | 2993 | 0 231.15/231.27 c 226s | 16 | 261860 | 176352 | 28309 11 | 2993 | 0 233.26/233.33 c 228s | 16 | 263486 | 177852 | 28309 11 | 2993 | 0 235.36/235.46 c 230s | 16 | 265099 | 179352 | 28309 11 | 2993 | 0 237.45/237.59 c 232s | 16 | 266626 | 180752 | 28309 11 | 2993 | 0 239.55/239.66 c 234s | 16 | 268002 | 182052 | 28309 11 | 2993 | 0 241.65/241.78 c 236s | 16 | 269394 | 183352 | 28309 11 | 2993 | 0 243.75/243.88 c 238s | 16 | 270682 | 184552 | 28309 11 | 2993 | 0 245.85/245.96 c 240s | 16 | 271859 | 185652 | 28309 12 | 2993 | 0 247.95/248.03 c 242s | 16 | 273254 | 186952 | 28309 12 | 2993 | 0 249.95/250.08 c 245s | 16 | 274536 | 188152 | 28309 12 | 2993 | 0 252.05/252.12 c 247s | 16 | 275838 | 189352 | 28309 12 | 2993 | 0 254.16/254.28 c 249s | 16 | 277134 | 190552 | 28309 12 | 2993 | 0 256.36/256.42 c 251s | 16 | 278318 | 191652 | 28309 12 | 2993 | 0 258.46/258.53 c 253s | 16 | 279497 | 192752 | 28309 12 | 2993 | 0 260.55/260.69 c 255s | 16 | 280674 | 193852 | 28309 12 | 2993 | 0 262.75/262.89 c 257s | 16 | 281874 | 194952 | 28309 12 | 2993 | 0 264.85/264.99 c 259s | 16 | 282975 | 195952 | 28309 12 | 2993 | 0 267.05/267.14 c 262s | 16 | 283933 | 196852 | 31140 12 | 2993 | 0 268.25/268.39 c 263s | 17 | 284567 | 197432 | 31140 12 | 2993 | 0 271.04/271.16 c 266s | 17 | 305018 | 197732 | 31140 12 | 3002 | 0 273.14/273.21 c 268s | 17 | 308091 | 200132 | 31140 12 | 3002 | 0 275.14/275.23 c 270s | 17 | 310600 | 202532 | 31140 12 | 3002 | 0 277.25/277.32 c 272s | 17 | 312844 | 204632 | 31140 13 | 3002 | 0 279.24/279.36 c 274s | 17 | 315009 | 206632 | 31140 13 | 3002 | 0 281.24/281.37 c 276s | 17 | 316928 | 208432 | 31140 13 | 3002 | 0 283.34/283.42 c 278s | 17 | 318752 | 210132 | 31140 13 | 3002 | 0 285.84/285.98 c 280s | 17 | 320476 | 211432 | 31140 13 | 3002 | 0 287.94/288.03 c 282s | 17 | 323309 | 213732 | 31140 13 | 3002 | 0 289.94/290.06 c 285s | 17 | 325439 | 215632 | 31140 13 | 3002 | 0 292.04/292.12 c 287s | 17 | 327498 | 217432 | 31140 13 | 3002 | 0 294.04/294.16 c 289s | 17 | 330655 | 220032 | 31140 13 | 3002 | 0 296.14/296.25 c 291s | 17 | 332912 | 221932 | 31140 14 | 3002 | 0 298.24/298.36 c 293s | 17 | 334994 | 223832 | 31140 14 | 3002 | 0 300.35/300.44 c 295s | 17 | 337214 | 225732 | 31140 14 | 3002 | 0 302.45/302.53 c 297s | 17 | 339293 | 227432 | 31140 14 | 3002 | 0 304.44/304.58 c 299s | 17 | 341499 | 229232 | 31140 14 | 3002 | 0 306.54/306.64 c 301s | 17 | 343597 | 231132 | 31140 14 | 3002 | 0 308.64/308.76 c 303s | 17 | 345638 | 232932 | 31140 14 | 3002 | 0 310.74/310.82 c 305s | 17 | 347797 | 234732 | 31140 14 | 3002 | 0 312.74/312.89 c 307s | 17 | 349935 | 236532 | 31140 14 | 3002 | 0 314.94/315.00 c 309s | 17 | 351857 | 238232 | 31140 14 | 3002 | 0 316.94/317.09 c 312s | 17 | 353694 | 239732 | 31140 15 | 3002 | 0 319.04/319.18 c 314s | 17 | 356136 | 241432 | 31140 15 | 3002 | 0 321.14/321.20 c 316s | 17 | 357863 | 242932 | 31140 15 | 3002 | 0 323.13/323.26 c 318s | 17 | 359533 | 244332 | 31140 15 | 3002 | 0 325.23/325.31 c 320s | 17 | 361203 | 245732 | 31140 15 | 3002 | 0 327.23/327.34 c 322s | 17 | 362766 | 247032 | 31140 15 | 3002 | 0 329.23/329.36 c 324s | 17 | 364324 | 248332 | 31140 15 | 3002 | 0 331.43/331.50 c 326s | 17 | 365785 | 249532 | 31140 15 | 3002 | 0 333.53/333.65 c 328s | 17 | 367584 | 250932 | 31140 15 | 3002 | 0 335.63/335.70 c 330s | 17 | 368907 | 252032 | 31140 15 | 3002 | 0 337.64/337.71 c 332s | 17 | 370045 | 253032 | 31140 15 | 3002 | 0 339.84/339.90 c 334s | 17 | 371370 | 254132 | 31140 15 | 3002 | 0 341.83/341.97 c 336s | 17 | 372478 | 255132 | 31140 15 | 3002 | 0 344.03/344.18 c 339s | 17 | 373845 | 256232 | 31140 15 | 3002 | 0 346.13/346.25 c 341s | 17 | 374808 | 257132 | 31140 16 | 3002 | 0 348.23/348.33 c 343s | 17 | 376188 | 258332 | 31140 16 | 3002 | 0 350.23/350.36 c 345s | 17 | 377313 | 259332 | 31140 16 | 3002 | 0 352.33/352.43 c 347s | 17 | 378807 | 260532 | 31140 16 | 3002 | 0 354.43/354.58 c 349s | 17 | 380249 | 261732 | 31140 16 | 3002 | 0 356.53/356.65 c 351s | 17 | 381556 | 262832 | 31140 16 | 3002 | 0 358.64/358.74 c 353s | 17 | 382768 | 263932 | 31140 16 | 3002 | 0 360.84/360.90 c 355s | 17 | 384000 | 265032 | 31140 16 | 3002 | 0 362.94/363.08 c 358s | 17 | 385223 | 266132 | 31140 16 | 3002 | 0 364.93/365.09 c 360s | 17 | 386227 | 267032 | 31140 16 | 3002 | 0 367.03/367.12 c 362s | 17 | 387232 | 267932 | 31140 16 | 3002 | 0 369.03/369.13 c 364s | 17 | 388211 | 268832 | 31140 16 | 3002 | 0 371.23/371.33 c 366s | 17 | 389132 | 269632 | 31140 16 | 3002 | 0 373.33/373.48 c 368s | 17 | 390158 | 270532 | 31140 16 | 3002 | 0 375.53/375.65 c 370s | 17 | 391186 | 271432 | 31140 16 | 3002 | 0 377.73/377.81 c 372s | 17 | 392193 | 272332 | 31140 16 | 3002 | 0 379.73/379.88 c 374s | 17 | 393065 | 273132 | 31140 16 | 3002 | 0 381.83/381.92 c 376s | 17 | 394009 | 273932 | 31140 16 | 3002 | 0 383.83/383.98 c 378s | 17 | 394777 | 274632 | 31140 17 | 3002 | 0 385.83/386.00 c 380s | 17 | 395897 | 275632 | 31140 17 | 3002 | 0 387.93/388.03 c 382s | 17 | 397379 | 276832 | 31140 17 | 3002 | 0 390.03/390.10 c 385s | 17 | 398773 | 278032 | 31140 17 | 3002 | 0 392.03/392.11 c 387s | 17 | 400021 | 279132 | 31140 17 | 3002 | 0 394.03/394.14 c 389s | 17 | 401283 | 280232 | 31140 17 | 3002 | 0 396.13/396.28 c 391s | 17 | 402648 | 281432 | 31140 17 | 3002 | 0 398.33/398.45 c 393s | 17 | 403993 | 282532 | 31140 17 | 3002 | 0 400.44/400.57 c 395s | 17 | 404993 | 283432 | 31140 17 | 3002 | 0 402.43/402.59 c 397s | 17 | 406094 | 284232 | 31140 17 | 3002 | 0 404.63/404.76 c 399s | 17 | 407544 | 285432 | 31140 17 | 3002 | 0 406.83/406.91 c 401s | 17 | 409028 | 286732 | 31140 17 | 3002 | 0 408.83/408.92 c 403s | 17 | 410405 | 287832 | 31140 17 | 3002 | 0 410.93/411.00 c 405s | 17 | 412743 | 289832 | 31140 17 | 3002 | 0 413.03/413.15 c 408s | 17 | 414777 | 291632 | 31140 17 | 3002 | 0 415.02/415.18 c 410s | 17 | 416229 | 292632 | 31140 18 | 3002 | 0 417.12/417.23 c 412s | 17 | 418385 | 294132 | 31140 18 | 3002 | 0 419.13/419.29 c 414s | 17 | 419748 | 295232 | 34254 18 | 3002 | 0 421.12/421.24 c 416s | 18 | 421243 | 296252 | 34254 18 | 3002 | 0 423.22/423.30 c 418s | 18 | 423608 | 297852 | 34254 18 | 3004 | 0 426.84/426.94 c 421s | 18 | 460901 | 298752 | 34254 18 | 3006 | 0 428.93/429.05 c 424s | 18 | 470846 | 300252 | 34254 18 | 3017 | 0 431.03/431.11 c 426s | 18 | 473675 | 302652 | 34254 18 | 3017 | 0 433.03/433.14 c 428s | 18 | 476065 | 304452 | 34254 18 | 3017 | 0 435.23/435.37 c 430s | 18 | 484926 | 305952 | 34254 18 | 3019 | 0 437.43/437.54 c 432s | 18 | 486750 | 307552 | 34254 18 | 3019 | 0 439.43/439.54 c 434s | 18 | 488538 | 309052 | 34254 18 | 3019 | 0 441.53/441.62 c 436s | 18 | 490387 | 310552 | 34254 18 | 3019 | 0 443.63/443.72 c 438s | 18 | 492167 | 311952 | 34254 18 | 3019 | 0 445.63/445.72 c 440s | 18 | 493723 | 313252 | 34254 18 | 3019 | 0 447.63/447.74 c 442s | 18 | 494975 | 314352 | 34254 19 | 3019 | 0 449.72/449.84 c 444s | 18 | 496700 | 315852 | 34254 19 | 3019 | 0 451.72/451.84 c 446s | 18 | 498140 | 317152 | 34254 19 | 3019 | 0 453.72/453.89 c 448s | 18 | 500382 | 318852 | 34254 19 | 3019 | 0 455.82/455.97 c 450s | 18 | 502483 | 320552 | 34254 19 | 3019 | 0 457.92/458.03 c 453s | 18 | 504946 | 322552 | 34254 19 | 3019 | 0 459.92/460.08 c 455s | 18 | 506979 | 324252 | 34254 19 | 3019 | 0 462.03/462.17 c 457s | 18 | 508848 | 325852 | 34254 19 | 3019 | 0 464.13/464.26 c 459s | 18 | 511016 | 327652 | 34254 19 | 3019 | 0 466.22/466.37 c 461s | 18 | 513331 | 329152 | 34254 19 | 3019 | 0 468.42/468.50 c 463s | 18 | 515099 | 330652 | 34254 19 | 3019 | 0 470.52/470.62 c 465s | 18 | 516770 | 332052 | 34254 19 | 3019 | 0 472.62/472.70 c 467s | 18 | 518109 | 333252 | 34254 19 | 3019 | 0 474.72/474.82 c 469s | 18 | 519356 | 334352 | 34254 20 | 3019 | 0 476.72/476.87 c 471s | 18 | 520652 | 335552 | 34254 20 | 3019 | 0 478.82/478.95 c 473s | 18 | 522192 | 336852 | 34254 20 | 3019 | 0 480.92/481.04 c 476s | 18 | 523941 | 338352 | 34254 20 | 3019 | 0 483.02/483.16 c 478s | 18 | 525473 | 339652 | 34254 20 | 3019 | 0 485.02/485.20 c 480s | 18 | 526962 | 340952 | 34254 20 | 3019 | 0 487.22/487.33 c 482s | 18 | 528458 | 342252 | 34254 20 | 3019 | 0 489.31/489.49 c 484s | 18 | 529768 | 343352 | 34254 20 | 3019 | 0 491.41/491.59 c 486s | 18 | 531069 | 344452 | 34254 20 | 3019 | 0 493.51/493.67 c 488s | 18 | 532137 | 345352 | 34254 20 | 3019 | 0 495.61/495.75 c 490s | 18 | 533454 | 346452 | 34254 20 | 3019 | 0 497.71/497.80 c 492s | 18 | 534796 | 347552 | 34254 20 | 3019 | 0 499.91/500.00 c 494s | 18 | 536038 | 348652 | 34254 20 | 3019 | 0 502.01/502.14 c 497s | 18 | 537251 | 349652 | 34254 20 | 3019 | 0 504.21/504.34 c 499s | 18 | 538369 | 350652 | 34254 20 | 3019 | 0 506.21/506.38 c 501s | 18 | 541326 | 352552 | 34254 20 | 3019 | 0 508.31/508.43 c 503s | 18 | 543372 | 353952 | 34254 21 | 3019 | 0 510.42/510.58 c 505s | 18 | 544698 | 355052 | 34254 21 | 3019 | 0 512.41/512.59 c 507s | 18 | 545685 | 355952 | 34254 21 | 3019 | 0 514.61/514.76 c 509s | 18 | 546670 | 356852 | 34254 21 | 3019 | 0 516.71/516.87 c 511s | 18 | 547659 | 357752 | 34254 21 | 3019 | 0 518.81/518.93 c 513s | 18 | 548508 | 358552 | 34254 21 | 3019 | 0 520.91/521.02 c 515s | 18 | 549356 | 359352 | 34254 21 | 3019 | 0 523.01/523.14 c 518s | 18 | 550217 | 360152 | 34254 21 | 3019 | 0 525.11/525.27 c 520s | 18 | 551104 | 360952 | 34254 21 | 3019 | 0 527.21/527.32 c 522s | 18 | 551629 | 361452 | 34254 21 | 3019 | 0 529.31/529.46 c 524s | 18 | 552399 | 362152 | 34254 21 | 3019 | 0 531.31/531.46 c 526s | 18 | 552940 | 362652 | 34254 21 | 3019 | 0 533.61/533.75 c 528s | 18 | 553575 | 363252 | 34254 21 | 3019 | 0 535.91/536.05 c 531s | 18 | 554225 | 363852 | 34254 21 | 3019 | 0 538.11/538.26 c 533s | 18 | 554752 | 364352 | 34254 21 | 3019 | 0 540.30/540.44 c 535s | 18 | 555277 | 364852 | 34254 21 | 3019 | 0 542.50/542.69 c 537s | 18 | 555800 | 365352 | 34254 21 | 3019 | 0 544.80/544.92 c 539s | 18 | 556473 | 365952 | 34254 21 | 3019 | 0 547.00/547.12 c 542s | 18 | 557189 | 366552 | 34254 21 | 3019 | 0 549.40/549.54 c 544s | 18 | 557909 | 367152 | 34254 21 | 3019 | 0 551.60/551.79 c 546s | 18 | 558445 | 367652 | 34254 21 | 3019 | 0 554.10/554.25 c 549s | 18 | 558967 | 368152 | 34254 21 | 3019 | 0 556.51/556.67 c 551s | 18 | 559513 | 368652 | 34254 21 | 3019 | 0 559.00/559.16 c 554s | 18 | 560022 | 369152 | 34254 21 | 3019 | 0 561.50/561.66 c 556s | 18 | 560568 | 369652 | 34254 21 | 3019 | 0 563.90/564.01 c 558s | 18 | 561099 | 370152 | 34254 21 | 3019 | 0 566.30/566.44 c 561s | 18 | 561645 | 370652 | 34254 21 | 3019 | 0 568.61/568.79 c 563s | 18 | 562171 | 371152 | 34254 21 | 3019 | 0 571.10/571.29 c 566s | 18 | 562705 | 371652 | 34254 21 | 3019 | 0 573.20/573.34 c 568s | 18 | 563121 | 372052 | 34254 21 | 3019 | 0 575.31/575.48 c 570s | 18 | 563554 | 372452 | 34254 21 | 3019 | 0 577.80/577.93 c 572s | 18 | 563974 | 372852 | 34254 22 | 3019 | 0 579.90/580.03 c 574s | 18 | 564404 | 373252 | 34254 22 | 3019 | 0 582.00/582.18 c 577s | 18 | 564829 | 373652 | 34254 22 | 3019 | 0 584.60/584.73 c 579s | 18 | 565610 | 374252 | 34254 22 | 3019 | 0 586.90/587.07 c 582s | 18 | 566038 | 374652 | 34254 22 | 3019 | 0 589.40/589.50 c 584s | 18 | 566449 | 375052 | 34254 22 | 3019 | 0 591.70/591.87 c 586s | 18 | 566861 | 375452 | 34254 22 | 3019 | 0 594.10/594.27 c 589s | 18 | 567282 | 375852 | 34254 22 | 3019 | 0 596.49/596.66 c 591s | 18 | 567882 | 376352 | 34254 22 | 3019 | 0 598.99/599.16 c 594s | 18 | 568303 | 376752 | 34254 22 | 3019 | 0 601.39/601.55 c 596s | 18 | 568714 | 377152 | 34254 22 | 3019 | 0 603.69/603.82 c 598s | 18 | 569150 | 377552 | 34254 22 | 3019 | 0 606.00/606.18 c 601s | 18 | 569568 | 377952 | 34254 22 | 3019 | 0 608.39/608.51 c 603s | 18 | 569988 | 378352 | 34254 22 | 3019 | 0 610.89/611.09 c 606s | 18 | 570418 | 378752 | 34254 22 | 3019 | 0 613.39/613.55 c 608s | 18 | 570832 | 379152 | 34254 22 | 3019 | 0 615.79/615.96 c 610s | 18 | 571253 | 379552 | 34254 22 | 3019 | 0 618.39/618.50 c 613s | 18 | 571673 | 379952 | 34254 22 | 3019 | 0 620.59/620.75 c 615s | 18 | 572295 | 380452 | 34254 22 | 3019 | 0 622.89/623.06 c 618s | 18 | 572724 | 380852 | 34254 22 | 3019 | 0 625.49/625.61 c 620s | 18 | 573143 | 381252 | 34254 22 | 3019 | 0 627.89/628.07 c 623s | 18 | 573563 | 381652 | 34254 22 | 3019 | 0 630.49/630.66 c 625s | 18 | 573977 | 382052 | 34254 22 | 3019 | 0 633.09/633.25 c 628s | 18 | 574387 | 382452 | 34254 22 | 3019 | 0 635.59/635.76 c 630s | 18 | 574804 | 382852 | 34254 22 | 3019 | 0 638.19/638.39 c 633s | 18 | 575230 | 383252 | 34254 22 | 3019 | 0 640.79/640.99 c 635s | 18 | 575643 | 383652 | 34254 22 | 3019 | 0 643.39/643.52 c 638s | 18 | 576059 | 384052 | 34254 22 | 3019 | 0 645.99/646.13 c 641s | 18 | 576483 | 384452 | 34254 22 | 3019 | 0 648.19/648.38 c 643s | 18 | 577108 | 384952 | 34254 22 | 3019 | 0 650.29/650.45 c 645s | 18 | 577762 | 385452 | 34254 22 | 3019 | 0 652.78/652.91 c 647s | 18 | 578590 | 386052 | 34254 22 | 3019 | 0 654.98/655.18 c 650s | 18 | 579223 | 386552 | 34254 22 | 3019 | 0 657.08/657.24 c 652s | 18 | 579687 | 386952 | 34254 22 | 3019 | 0 659.48/659.67 c 654s | 18 | 580295 | 387452 | 34254 22 | 3019 | 0 661.78/661.95 c 656s | 18 | 580744 | 387852 | 34254 22 | 3019 | 0 664.29/664.45 c 659s | 18 | 581173 | 388252 | 34254 22 | 3019 | 0 666.68/666.89 c 661s | 18 | 581598 | 388652 | 34254 22 | 3019 | 0 669.09/669.22 c 664s | 18 | 582028 | 389052 | 34254 22 | 3019 | 0 671.49/671.66 c 666s | 18 | 582445 | 389452 | 34254 22 | 3019 | 0 673.79/673.91 c 668s | 18 | 582863 | 389852 | 34254 22 | 3019 | 0 676.19/676.30 c 671s | 18 | 583272 | 390252 | 34254 22 | 3019 | 0 678.70/678.86 c 673s | 18 | 583684 | 390652 | 34254 22 | 3019 | 0 681.29/681.44 c 676s | 18 | 584110 | 391052 | 34254 22 | 3019 | 0 683.29/683.45 c 678s | 18 | 584423 | 391352 | 34254 22 | 3019 | 0 685.79/685.91 c 680s | 18 | 584838 | 391752 | 34254 22 | 3019 | 0 688.29/688.47 c 683s | 18 | 585253 | 392152 | 34254 22 | 3019 | 0 692.59/692.73 c 687s | 18 | 585670 | 392552 | 34254 23 | 3019 | 0 694.99/695.17 c 690s | 18 | 586187 | 393052 | 34254 23 | 3019 | 0 697.49/697.61 c 692s | 18 | 586594 | 393452 | 34254 23 | 3019 | 0 699.78/699.98 c 694s | 18 | 587000 | 393852 | 34254 23 | 3019 | 0 701.98/702.16 c 697s | 18 | 587414 | 394252 | 34254 23 | 3019 | 0 709.48/709.67 c 704s | 18 | 587723 | 394552 | 34254 23 | 3019 | 0 711.59/711.76 c 706s | 18 | 588535 | 395152 | 34254 23 | 3019 | 0 713.89/714.07 c 709s | 18 | 589287 | 395752 | 34254 23 | 3019 | 0 715.99/716.20 c 711s | 18 | 589879 | 396252 | 34254 23 | 3019 | 0 718.08/718.23 c 713s | 18 | 590462 | 396752 | 34254 23 | 3019 | 0 720.18/720.37 c 715s | 18 | 591017 | 397252 | 34254 23 | 3019 | 0 722.38/722.51 c 717s | 18 | 591591 | 397752 | 34254 23 | 3019 | 0 724.79/724.95 c 719s | 18 | 592159 | 398252 | 34254 23 | 3019 | 0 727.09/727.28 c 722s | 18 | 592846 | 398852 | 34254 23 | 3019 | 0 729.48/729.67 c 724s | 18 | 593574 | 399452 | 34254 23 | 3019 | 0 731.68/731.80 c 726s | 18 | 594182 | 399952 | 34254 23 | 3019 | 0 734.08/734.27 c 729s | 18 | 594911 | 400552 | 34254 23 | 3019 | 0 736.38/736.54 c 731s | 18 | 595520 | 401052 | 34254 23 | 3019 | 0 738.78/738.90 c 733s | 18 | 596101 | 401552 | 34254 23 | 3019 | 0 740.78/740.94 c 735s | 18 | 596531 | 401952 | 34254 23 | 3019 | 0 743.18/743.30 c 738s | 18 | 597129 | 402452 | 34254 23 | 3019 | 0 745.58/745.72 c 740s | 18 | 597703 | 402952 | 34254 23 | 3019 | 0 747.68/747.86 c 742s | 18 | 598314 | 403452 | 34254 23 | 3019 | 0 749.98/750.16 c 745s | 18 | 598929 | 403952 | 34254 23 | 3019 | 0 752.08/752.24 c 747s | 18 | 599565 | 404452 | 34254 23 | 3019 | 0 754.18/754.37 c 749s | 18 | 600147 | 404952 | 34254 23 | 3019 | 0 756.28/756.40 c 751s | 18 | 600628 | 405352 | 34254 23 | 3019 | 0 758.38/758.59 c 753s | 18 | 601080 | 405752 | 34254 23 | 3019 | 0 760.68/760.81 c 755s | 18 | 601511 | 406152 | 34254 23 | 3019 | 0 762.88/763.05 c 758s | 18 | 601954 | 406552 | 34254 23 | 3019 | 0 765.28/765.42 c 760s | 18 | 602503 | 407052 | 34254 23 | 3019 | 0 767.68/767.89 c 762s | 18 | 603041 | 407552 | 34254 23 | 3019 | 0 769.78/769.96 c 764s | 18 | 603462 | 407952 | 34254 23 | 3019 | 0 772.08/772.29 c 767s | 18 | 603908 | 408352 | 34254 23 | 3019 | 0 774.28/774.43 c 769s | 18 | 604323 | 408752 | 34254 23 | 3019 | 0 776.58/776.73 c 771s | 18 | 604732 | 409152 | 34254 23 | 3019 | 0 778.78/778.96 c 773s | 18 | 605155 | 409552 | 34254 23 | 3019 | 0 780.98/781.18 c 776s | 18 | 605566 | 409952 | 34254 23 | 3019 | 0 783.27/783.44 c 778s | 18 | 605978 | 410352 | 34254 23 | 3019 | 0 785.57/785.73 c 780s | 18 | 606398 | 410752 | 34254 23 | 3019 | 0 787.97/788.11 c 783s | 18 | 606818 | 411152 | 34254 23 | 3019 | 0 790.27/790.41 c 785s | 18 | 607231 | 411552 | 34254 23 | 3019 | 0 792.57/792.77 c 787s | 18 | 607647 | 411952 | 34254 23 | 3019 | 0 794.87/795.10 c 790s | 18 | 607855 | 412152 | 34254 24 | 3019 | 0 797.07/797.23 c 792s | 18 | 608266 | 412552 | 34254 24 | 3019 | 0 799.58/799.71 c 794s | 18 | 608782 | 413052 | 34254 24 | 3019 | 0 802.07/802.20 c 797s | 18 | 609296 | 413552 | 34254 24 | 3019 | 0 804.37/804.59 c 799s | 18 | 609809 | 414052 | 34254 24 | 3019 | 0 806.77/806.95 c 801s | 18 | 610325 | 414552 | 34254 24 | 3019 | 0 812.36/812.54 c 807s | 18 | 610663 | 414852 | 34254 24 | 3019 | 0 814.56/814.72 c 809s | 18 | 611320 | 415452 | 34254 24 | 3019 | 0 816.66/816.87 c 811s | 18 | 611837 | 415952 | 34254 24 | 3019 | 0 818.86/819.03 c 814s | 18 | 612359 | 416452 | 34254 24 | 3019 | 0 821.06/821.22 c 816s | 18 | 612876 | 416952 | 34254 24 | 3019 | 0 823.36/823.54 c 818s | 18 | 613400 | 417452 | 34254 24 | 3019 | 0 825.87/826.02 c 820s | 18 | 613917 | 417952 | 34254 24 | 3019 | 0 828.17/828.38 c 823s | 18 | 614432 | 418452 | 34254 24 | 3019 | 0 830.47/830.69 c 825s | 18 | 614944 | 418952 | 34254 24 | 3019 | 0 832.97/833.13 c 828s | 18 | 615458 | 419452 | 34254 24 | 3019 | 0 835.27/835.47 c 830s | 18 | 615984 | 419952 | 34254 24 | 3019 | 0 837.36/837.51 c 832s | 18 | 616409 | 420352 | 34254 24 | 3019 | 0 839.66/839.82 c 834s | 18 | 616962 | 420852 | 34254 24 | 3019 | 0 842.06/842.23 c 837s | 18 | 617512 | 421352 | 34254 24 | 3019 | 0 844.46/844.68 c 839s | 18 | 618036 | 421852 | 34254 24 | 3019 | 0 846.66/846.89 c 841s | 18 | 618448 | 422252 | 34254 24 | 3019 | 0 849.17/849.33 c 844s | 18 | 618851 | 422652 | 34254 24 | 3019 | 0 851.46/851.64 c 846s | 18 | 619271 | 423052 | 34254 24 | 3019 | 0 853.76/853.99 c 848s | 18 | 619683 | 423452 | 34254 24 | 3019 | 0 856.26/856.40 c 851s | 18 | 620088 | 423852 | 34254 24 | 3019 | 0 858.66/858.82 c 853s | 18 | 620496 | 424252 | 34254 24 | 3019 | 0 860.86/861.06 c 856s | 18 | 621127 | 424752 | 34254 24 | 3019 | 0 863.16/863.39 c 858s | 18 | 621798 | 425352 | 34254 24 | 3019 | 0 865.36/865.58 c 860s | 18 | 622405 | 425852 | 34254 24 | 3019 | 0 867.46/867.64 c 862s | 18 | 623015 | 426352 | 34254 24 | 3019 | 0 869.86/870.10 c 865s | 18 | 623614 | 426852 | 34254 24 | 3019 | 0 871.96/872.17 c 867s | 18 | 624248 | 427352 | 34254 24 | 3019 | 0 874.06/874.27 c 869s | 18 | 624872 | 427852 | 34254 24 | 3019 | 0 876.16/876.39 c 871s | 18 | 625335 | 428252 | 34254 24 | 3019 | 0 878.46/878.62 c 873s | 18 | 625786 | 428652 | 34254 24 | 3019 | 0 880.56/880.72 c 875s | 18 | 626220 | 429052 | 34254 24 | 3019 | 0 882.76/882.96 c 877s | 18 | 626685 | 429452 | 34254 24 | 3019 | 0 885.16/885.34 c 880s | 18 | 627125 | 429852 | 34254 24 | 3019 | 0 887.56/887.74 c 882s | 18 | 627549 | 430252 | 34254 24 | 3019 | 0 889.96/890.14 c 885s | 18 | 627964 | 430652 | 34254 24 | 3019 | 0 892.26/892.45 c 887s | 18 | 628373 | 431052 | 34254 24 | 3019 | 0 894.66/894.87 c 889s | 18 | 628785 | 431452 | 34254 24 | 3019 | 0 896.75/896.93 c 891s | 18 | 628984 | 431652 | 34254 25 | 3019 | 0 899.05/899.20 c 894s | 18 | 629402 | 432052 | 34254 25 | 3019 | 0 901.05/901.28 c 896s | 18 | 629810 | 432452 | 34254 25 | 3019 | 0 903.35/903.59 c 898s | 18 | 630326 | 432852 | 34254 25 | 3019 | 0 905.45/905.67 c 900s | 18 | 631046 | 433452 | 34254 25 | 3019 | 0 907.85/908.04 c 903s | 18 | 631670 | 434052 | 34254 25 | 3019 | 0 910.15/910.35 c 905s | 18 | 632338 | 434652 | 34254 25 | 3019 | 0 912.25/912.42 c 907s | 18 | 632876 | 435152 | 34254 25 | 3019 | 0 914.45/914.62 c 909s | 18 | 633414 | 435652 | 34254 25 | 3019 | 0 916.65/916.89 c 911s | 18 | 633936 | 436152 | 34254 25 | 3019 | 0 919.05/919.21 c 914s | 18 | 634449 | 436652 | 34254 25 | 3019 | 0 921.45/921.62 c 916s | 18 | 634966 | 437152 | 34254 25 | 3019 | 0 923.65/923.89 c 918s | 18 | 635490 | 437652 | 34254 25 | 3019 | 0 926.16/926.39 c 921s | 18 | 636012 | 438152 | 34254 25 | 3019 | 0 928.65/928.83 c 923s | 18 | 636537 | 438652 | 34254 25 | 3019 | 0 930.85/931.03 c 925s | 18 | 637065 | 439152 | 34254 25 | 3019 | 0 932.85/933.07 c 928s | 18 | 637481 | 439552 | 34254 25 | 3019 | 0 935.25/935.44 c 930s | 18 | 638003 | 440052 | 34254 25 | 3019 | 0 937.25/937.49 c 932s | 18 | 638415 | 440452 | 34254 25 | 3019 | 0 939.65/939.86 c 934s | 18 | 638835 | 440852 | 34254 25 | 3019 | 0 941.85/942.01 c 936s | 18 | 639362 | 441352 | 37680 25 | 3019 | 0 944.15/944.36 c 939s | 18 | 639892 | 441852 | 37680 25 | 3019 | 0 946.25/946.40 c 941s | 18 | 640298 | 442252 | 37680 25 | 3019 | 0 948.34/948.55 c 943s | 18 | 640709 | 442652 | 37680 25 | 3019 | 0 950.44/950.69 c 945s | 18 | 641123 | 443052 | 37680 25 | 3019 | 0 952.84/953.08 c 948s | 18 | 641630 | 443552 | 37680 25 | 3019 | 0 954.94/955.20 c 950s | 18 | 642039 | 443952 | 37680 25 | 3019 | 0 957.54/957.73 c 952s | 18 | 642565 | 444452 | 37680 25 | 3019 | 0 957.74/957.92 c 952s | 19 | 642595 | 444482 | 37680 25 | 3019 | 0 959.74/959.97 c 954s | 19 | 652607 | 445482 | 37680 25 | 3021 | 0 962.54/962.70 c 957s | 19 | 655510 | 446482 | 37680 25 | 3033 | 0 964.55/964.76 c 959s | 19 | 659444 | 448782 | 37680 25 | 3034 | 0 966.64/966.86 c 961s | 19 | 661300 | 450282 | 37680 25 | 3034 | 0 968.74/969.00 c 963s | 19 | 662922 | 451782 | 37680 25 | 3034 | 0 971.34/971.56 c 966s | 19 | 664541 | 453282 | 37680 26 | 3034 | 0 973.45/973.61 c 968s | 19 | 665964 | 454582 | 37680 26 | 3034 | 0 975.55/975.76 c 970s | 19 | 667343 | 455882 | 37680 26 | 3034 | 0 977.64/977.89 c 972s | 19 | 668815 | 457182 | 37680 26 | 3034 | 0 979.74/979.99 c 974s | 19 | 670138 | 458382 | 37680 26 | 3034 | 0 981.84/982.03 c 976s | 19 | 671447 | 459482 | 37680 26 | 3034 | 0 983.94/984.12 c 979s | 19 | 672655 | 460582 | 37680 26 | 3034 | 0 986.04/986.24 c 981s | 19 | 673810 | 461682 | 37680 26 | 3034 | 0 988.14/988.39 c 983s | 19 | 674978 | 462782 | 37680 26 | 3034 | 0 990.24/990.43 c 985s | 19 | 676047 | 463782 | 37680 26 | 3034 | 0 992.34/992.55 c 987s | 19 | 677121 | 464782 | 37680 26 | 3034 | 0 994.54/994.73 c 989s | 19 | 678221 | 465782 | 37680 26 | 3034 | 0 996.54/996.76 c 991s | 19 | 679183 | 466682 | 37680 26 | 3034 | 0 998.64/998.82 c 993s | 19 | 680176 | 467582 | 37680 26 | 3034 | 0 1000.73/1000.95 c 995s | 19 | 681155 | 468482 | 37680 26 | 3034 | 0 1002.93/1003.12 c 998s | 19 | 682108 | 469382 | 37680 26 | 3034 | 0 1005.03/1005.23 c 1000s | 19 | 683052 | 470282 | 37680 26 | 3034 | 0 1007.03/1007.28 c 1002s | 19 | 683987 | 471182 | 37680 26 | 3034 | 0 1009.23/1009.48 c 1004s | 19 | 684928 | 472082 | 37680 26 | 3034 | 0 1011.33/1011.51 c 1006s | 19 | 685795 | 472882 | 37680 26 | 3034 | 0 1013.33/1013.58 c 1008s | 19 | 686648 | 473682 | 37680 26 | 3034 | 0 1015.43/1015.68 c 1010s | 19 | 687375 | 474382 | 37680 27 | 3034 | 0 1017.44/1017.69 c 1012s | 19 | 688250 | 475182 | 37680 27 | 3034 | 0 1019.54/1019.72 c 1014s | 19 | 689080 | 475982 | 37680 27 | 3034 | 0 1021.53/1021.74 c 1016s | 19 | 689737 | 476582 | 37680 27 | 3034 | 0 1023.63/1023.85 c 1018s | 19 | 690708 | 477482 | 37680 27 | 3034 | 0 1025.73/1025.98 c 1020s | 19 | 691706 | 478382 | 37680 27 | 3034 | 0 1027.93/1028.11 c 1023s | 19 | 692737 | 479282 | 37680 27 | 3034 | 0 1029.93/1030.13 c 1025s | 19 | 693610 | 480082 | 37680 27 | 3034 | 0 1032.03/1032.24 c 1027s | 19 | 694482 | 480882 | 37680 27 | 3034 | 0 1034.23/1034.41 c 1029s | 19 | 695345 | 481682 | 37680 27 | 3034 | 0 1036.33/1036.55 c 1031s | 19 | 696196 | 482482 | 37680 27 | 3034 | 0 1038.63/1038.82 c 1033s | 19 | 697071 | 483282 | 37680 27 | 3034 | 0 1040.83/1041.07 c 1036s | 19 | 697957 | 484082 | 37680 27 | 3034 | 0 1042.83/1043.07 c 1038s | 19 | 698703 | 484782 | 37680 27 | 3034 | 0 1045.03/1045.20 c 1040s | 19 | 699431 | 485482 | 37680 27 | 3034 | 0 1047.13/1047.32 c 1042s | 19 | 700175 | 486182 | 37680 27 | 3034 | 0 1049.23/1049.49 c 1044s | 19 | 700915 | 486882 | 37680 27 | 3034 | 0 1051.43/1051.65 c 1046s | 19 | 701674 | 487582 | 37680 27 | 3034 | 0 1053.63/1053.81 c 1048s | 19 | 702433 | 488282 | 37680 27 | 3034 | 0 1055.83/1056.04 c 1051s | 19 | 703205 | 488982 | 37680 27 | 3034 | 0 1058.13/1058.31 c 1053s | 19 | 703946 | 489682 | 37680 27 | 3034 | 0 1060.22/1060.49 c 1055s | 19 | 704774 | 490382 | 37680 27 | 3034 | 0 1062.62/1062.82 c 1057s | 19 | 705556 | 491082 | 37680 27 | 3034 | 0 1064.62/1064.86 c 1059s | 19 | 706235 | 491682 | 37680 27 | 3034 | 0 1066.61/1066.87 c 1061s | 19 | 706879 | 492282 | 37680 27 | 3034 | 0 1068.91/1069.10 c 1064s | 19 | 707539 | 492882 | 37680 27 | 3034 | 0 1070.91/1071.14 c 1066s | 19 | 708215 | 493482 | 37680 27 | 3034 | 0 1073.21/1073.47 c 1068s | 19 | 708994 | 494182 | 37680 27 | 3034 | 0 1075.41/1075.67 c 1070s | 19 | 709430 | 494582 | 37680 28 | 3034 | 0 1077.61/1077.87 c 1072s | 19 | 710383 | 495482 | 37680 28 | 3034 | 0 1079.61/1079.88 c 1074s | 19 | 711249 | 496282 | 37680 28 | 3034 | 0 1081.71/1081.93 c 1076s | 19 | 712099 | 497082 | 37680 28 | 3034 | 0 1083.71/1083.98 c 1078s | 19 | 712956 | 497882 | 37680 28 | 3034 | 0 1085.80/1086.07 c 1081s | 19 | 713808 | 498682 | 37680 28 | 3034 | 0 1087.90/1088.18 c 1083s | 19 | 714657 | 499482 | 37680 28 | 3034 | 0 1090.10/1090.31 c 1085s | 19 | 715528 | 500282 | 37680 28 | 3034 | 0 1092.30/1092.57 c 1087s | 19 | 716388 | 501082 | 37680 28 | 3034 | 0 1094.50/1094.78 c 1089s | 19 | 717235 | 501882 | 37680 28 | 3034 | 0 1096.61/1096.83 c 1091s | 19 | 717978 | 502582 | 37680 28 | 3034 | 0 1098.59/1098.86 c 1093s | 19 | 718608 | 503182 | 37680 28 | 3034 | 0 1101.69/1101.90 c 1096s | 19 | 718816 | 503382 | 37680 28 | 3034 | 0 1103.69/1103.95 c 1098s | 19 | 719567 | 504082 | 37680 28 | 3034 | 0 1105.89/1106.19 c 1101s | 19 | 720433 | 504882 | 37680 28 | 3034 | 0 1107.99/1108.24 c 1103s | 19 | 721179 | 505582 | 37680 28 | 3034 | 0 1110.18/1110.47 c 1105s | 19 | 721909 | 506282 | 37680 28 | 3034 | 0 1112.28/1112.59 c 1107s | 19 | 722639 | 506982 | 37680 28 | 3034 | 0 1114.58/1114.83 c 1109s | 19 | 723377 | 507682 | 37680 28 | 3034 | 0 1116.78/1117.08 c 1112s | 19 | 724105 | 508382 | 37680 28 | 3034 | 0 1119.18/1119.42 c 1114s | 19 | 724848 | 509082 | 37680 28 | 3034 | 0 1121.38/1121.65 c 1116s | 19 | 725598 | 509782 | 37680 28 | 3034 | 0 1123.68/1123.95 c 1118s | 19 | 726352 | 510482 | 37680 28 | 3034 | 0 1125.78/1126.00 c 1120s | 19 | 726999 | 511082 | 37680 28 | 3034 | 0 1127.78/1128.04 c 1123s | 19 | 727634 | 511682 | 37680 28 | 3034 | 0 1129.87/1130.11 c 1125s | 19 | 728272 | 512282 | 37680 28 | 3034 | 0 1132.17/1132.46 c 1127s | 19 | 729027 | 512982 | 37680 28 | 3034 | 0 1134.27/1134.58 c 1129s | 19 | 729676 | 513582 | 37680 28 | 3034 | 0 1136.47/1136.75 c 1131s | 19 | 730316 | 514182 | 37680 28 | 3034 | 0 1138.56/1138.88 c 1133s | 19 | 730977 | 514782 | 37680 28 | 3034 | 0 1140.86/1141.12 c 1136s | 19 | 731389 | 515182 | 37680 29 | 3034 | 0 1142.96/1143.20 c 1138s | 19 | 732044 | 515782 | 37680 29 | 3034 | 0 1144.97/1145.23 c 1140s | 19 | 732902 | 516582 | 37680 29 | 3034 | 0 1146.96/1147.26 c 1142s | 19 | 733768 | 517382 | 37680 29 | 3034 | 0 1149.05/1149.32 c 1144s | 19 | 734619 | 518182 | 37680 29 | 3034 | 0 1151.15/1151.43 c 1146s | 19 | 735463 | 518982 | 37680 29 | 3034 | 0 1153.35/1153.60 c 1148s | 19 | 736323 | 519782 | 37680 29 | 3034 | 0 1155.55/1155.82 c 1150s | 19 | 737189 | 520582 | 37680 29 | 3034 | 0 1157.75/1158.07 c 1153s | 19 | 738055 | 521382 | 37680 29 | 3034 | 0 1159.75/1160.08 c 1155s | 19 | 738709 | 521982 | 37680 29 | 3034 | 0 1161.95/1162.29 c 1157s | 19 | 739473 | 522682 | 37680 29 | 3034 | 0 1164.05/1164.39 c 1159s | 19 | 740223 | 523382 | 37680 29 | 3034 | 0 1166.15/1166.46 c 1161s | 19 | 741006 | 524082 | 37680 29 | 3034 | 0 1168.35/1168.67 c 1163s | 19 | 741758 | 524782 | 37680 29 | 3034 | 0 1170.54/1170.85 c 1165s | 19 | 742491 | 525482 | 37680 29 | 3034 | 0 1172.84/1173.11 c 1168s | 19 | 743258 | 526182 | 37680 29 | 3034 | 0 1174.94/1175.26 c 1170s | 19 | 744043 | 526882 | 37680 29 | 3034 | 0 1176.94/1177.27 c 1172s | 19 | 744688 | 527482 | 37680 29 | 3034 | 0 1179.34/1179.61 c 1174s | 19 | 745423 | 528182 | 37680 29 | 3034 | 0 1184.84/1185.14 c 1180s | 19 | 745532 | 528282 | 37680 29 | 3034 | 0 1186.94/1187.28 c 1182s | 19 | 746284 | 528982 | 37680 29 | 3034 | 0 1188.94/1189.29 c 1184s | 19 | 746922 | 529582 | 37680 29 | 3034 | 0 1191.34/1191.61 c 1186s | 19 | 747664 | 530282 | 37680 29 | 3034 | 0 1193.64/1193.95 c 1188s | 19 | 748410 | 530982 | 37680 29 | 3034 | 0 1195.64/1195.96 c 1190s | 19 | 749053 | 531582 | 37680 29 | 3034 | 0 1197.74/1198.01 c 1192s | 19 | 749690 | 532182 | 37680 29 | 3034 | 0 1199.84/1200.11 c 1195s | 19 | 750329 | 532782 | 37680 29 | 3034 | 0 1201.93/1202.27 c 1197s | 19 | 750972 | 533382 | 37680 29 | 3034 | 0 1204.13/1204.48 c 1199s | 19 | 751602 | 533982 | 37680 29 | 3034 | 0 1206.33/1206.64 c 1201s | 19 | 752235 | 534582 | 37680 29 | 3034 | 0 1208.53/1208.84 c 1203s | 19 | 752871 | 535182 | 37680 29 | 3034 | 0 1211.62/1211.92 c 1206s | 19 | 753507 | 535782 | 37680 30 | 3034 | 0 1213.72/1214.00 c 1208s | 19 | 754346 | 536582 | 37680 30 | 3034 | 0 1215.93/1216.20 c 1211s | 19 | 754792 | 536982 | 37680 30 | 3034 | 0 1218.03/1218.40 c 1213s | 19 | 755645 | 537782 | 37680 30 | 3034 | 0 1220.13/1220.45 c 1215s | 19 | 756493 | 538582 | 37680 30 | 3034 | 0 1222.23/1222.54 c 1217s | 19 | 757373 | 539382 | 37680 30 | 3034 | 0 1224.33/1224.62 c 1219s | 19 | 758218 | 540182 | 37680 30 | 3034 | 0 1226.53/1226.86 c 1221s | 19 | 759063 | 540982 | 37680 30 | 3034 | 0 1228.82/1229.11 c 1224s | 19 | 759925 | 541782 | 37680 30 | 3034 | 0 1231.02/1231.32 c 1226s | 19 | 760791 | 542582 | 37680 30 | 3034 | 0 1233.22/1233.58 c 1228s | 19 | 761622 | 543382 | 37680 30 | 3034 | 0 1235.52/1235.83 c 1230s | 19 | 762379 | 544082 | 37680 30 | 3034 | 0 1237.72/1238.03 c 1232s | 19 | 763116 | 544782 | 37680 30 | 3034 | 0 1239.82/1240.12 c 1235s | 19 | 763858 | 545482 | 37680 30 | 3034 | 0 1241.82/1242.13 c 1237s | 19 | 764602 | 546182 | 37680 30 | 3034 | 0 1243.82/1244.19 c 1239s | 19 | 765352 | 546882 | 37680 30 | 3034 | 0 1246.02/1246.36 c 1241s | 19 | 766083 | 547582 | 37680 30 | 3034 | 0 1248.22/1248.55 c 1243s | 19 | 766815 | 548282 | 37680 30 | 3034 | 0 1250.52/1250.81 c 1245s | 19 | 767564 | 548982 | 37680 30 | 3034 | 0 1252.51/1252.83 c 1247s | 19 | 768198 | 549582 | 37680 30 | 3034 | 0 1254.51/1254.85 c 1249s | 19 | 768830 | 550182 | 37680 30 | 3034 | 0 1256.71/1257.07 c 1252s | 19 | 769575 | 550882 | 37680 30 | 3034 | 0 1259.01/1259.39 c 1254s | 19 | 770313 | 551582 | 37680 30 | 3034 | 0 1261.11/1261.46 c 1256s | 19 | 770964 | 552182 | 37680 30 | 3034 | 0 1263.11/1263.48 c 1258s | 19 | 771625 | 552782 | 37680 30 | 3034 | 0 1265.20/1265.55 c 1260s | 19 | 772259 | 553382 | 37680 30 | 3034 | 0 1267.30/1267.63 c 1262s | 19 | 772983 | 553982 | 37680 30 | 3034 | 0 1269.50/1269.89 c 1264s | 19 | 773783 | 554682 | 37680 30 | 3034 | 0 1271.60/1271.91 c 1266s | 19 | 774427 | 555282 | 37680 30 | 3034 | 0 1273.61/1273.99 c 1268s | 19 | 775065 | 555882 | 37680 30 | 3034 | 0 1276.40/1276.70 c 1271s | 19 | 775706 | 556482 | 37680 31 | 3034 | 0 1278.60/1278.93 c 1273s | 19 | 776660 | 557382 | 37680 31 | 3034 | 0 1280.60/1280.94 c 1275s | 19 | 777490 | 558182 | 37680 31 | 3034 | 0 1282.70/1283.07 c 1278s | 19 | 778344 | 558982 | 37680 31 | 3034 | 0 1284.70/1285.08 c 1280s | 19 | 779062 | 559682 | 37680 31 | 3034 | 0 1286.70/1287.08 c 1282s | 19 | 779809 | 560382 | 37680 31 | 3034 | 0 1289.00/1289.31 c 1284s | 19 | 780680 | 561182 | 37680 31 | 3034 | 0 1291.20/1291.57 c 1286s | 19 | 781554 | 561982 | 37680 31 | 3034 | 0 1293.49/1293.82 c 1288s | 19 | 782432 | 562782 | 37680 31 | 3034 | 0 1295.50/1295.87 c 1290s | 19 | 783195 | 563482 | 37680 31 | 3034 | 0 1297.59/1297.97 c 1292s | 19 | 783939 | 564182 | 37680 31 | 3034 | 0 1299.79/1300.11 c 1295s | 19 | 784681 | 564882 | 37680 31 | 3034 | 0 1301.99/1302.33 c 1297s | 19 | 785424 | 565582 | 37680 31 | 3034 | 0 1304.08/1304.42 c 1299s | 19 | 785971 | 566082 | 37680 31 | 3034 | 0 1306.08/1306.46 c 1301s | 19 | 786739 | 566782 | 37680 31 | 3034 | 0 1308.18/1308.57 c 1303s | 19 | 787526 | 567482 | 37680 31 | 3034 | 0 1310.38/1310.71 c 1305s | 19 | 788261 | 568182 | 37680 31 | 3034 | 0 1312.58/1312.98 c 1307s | 19 | 789018 | 568882 | 37680 31 | 3034 | 0 1314.88/1315.28 c 1310s | 19 | 789791 | 569582 | 37680 31 | 3034 | 0 1317.28/1317.60 c 1312s | 19 | 790534 | 570282 | 37680 31 | 3034 | 0 1319.27/1319.67 c 1314s | 19 | 791175 | 570882 | 37680 31 | 3034 | 0 1321.37/1321.75 c 1316s | 19 | 791821 | 571482 | 37680 31 | 3034 | 0 1323.77/1324.12 c 1319s | 19 | 792580 | 572182 | 37680 31 | 3034 | 0 1325.97/1326.32 c 1321s | 19 | 793261 | 572782 | 37680 31 | 3034 | 0 1327.97/1328.32 c 1323s | 19 | 793946 | 573382 | 37680 31 | 3034 | 0 1330.27/1330.64 c 1325s | 19 | 794751 | 574082 | 37680 31 | 3034 | 0 1332.47/1332.80 c 1327s | 19 | 795400 | 574682 | 37680 31 | 3034 | 0 1334.67/1335.02 c 1329s | 19 | 796037 | 575282 | 37680 31 | 3034 | 0 1336.87/1337.27 c 1332s | 19 | 796691 | 575882 | 37680 31 | 3034 | 0 1339.26/1339.62 c 1334s | 19 | 797353 | 576482 | 37680 31 | 3034 | 0 1342.06/1342.49 c 1337s | 19 | 798004 | 577082 | 37680 32 | 3034 | 0 1344.17/1344.53 c 1339s | 19 | 798649 | 577682 | 37680 32 | 3034 | 0 1346.27/1346.68 c 1341s | 19 | 799621 | 578582 | 37680 32 | 3034 | 0 1348.56/1348.91 c 1343s | 19 | 800588 | 579482 | 37680 32 | 3034 | 0 1350.57/1350.92 c 1345s | 19 | 801446 | 580282 | 37680 32 | 3034 | 0 1352.67/1353.01 c 1347s | 19 | 802312 | 581082 | 37680 32 | 3034 | 0 1354.76/1355.19 c 1350s | 19 | 803145 | 581882 | 37680 32 | 3034 | 0 1356.86/1357.20 c 1352s | 19 | 803886 | 582582 | 37680 32 | 3034 | 0 1359.06/1359.40 c 1354s | 19 | 804761 | 583382 | 37680 32 | 3034 | 0 1361.26/1361.67 c 1356s | 19 | 805628 | 584182 | 37680 32 | 3034 | 0 1363.25/1363.69 c 1358s | 19 | 806382 | 584882 | 37680 32 | 3034 | 0 1365.35/1365.73 c 1360s | 19 | 807118 | 585582 | 37680 32 | 3034 | 0 1367.55/1367.96 c 1362s | 19 | 807946 | 586382 | 37680 32 | 3034 | 0 1369.65/1370.06 c 1365s | 19 | 808676 | 587082 | 37680 32 | 3034 | 0 1374.15/1374.56 c 1369s | 19 | 808995 | 587382 | 37680 32 | 3034 | 0 1376.15/1376.59 c 1371s | 19 | 809642 | 587982 | 37680 32 | 3034 | 0 1378.25/1378.69 c 1373s | 19 | 810400 | 588682 | 37680 32 | 3034 | 0 1380.44/1380.88 c 1375s | 19 | 811154 | 589382 | 37680 32 | 3034 | 0 1382.74/1383.14 c 1378s | 19 | 811909 | 590082 | 37680 32 | 3034 | 0 1385.04/1385.46 c 1380s | 19 | 812675 | 590782 | 37680 32 | 3034 | 0 1387.04/1387.48 c 1382s | 19 | 813310 | 591382 | 37680 32 | 3034 | 0 1389.13/1389.54 c 1384s | 19 | 813945 | 591982 | 37680 32 | 3034 | 0 1391.14/1391.58 c 1386s | 19 | 814560 | 592582 | 37680 32 | 3034 | 0 1393.23/1393.65 c 1388s | 19 | 815203 | 593182 | 37680 32 | 3034 | 0 1395.43/1395.81 c 1390s | 19 | 815850 | 593782 | 37680 32 | 3034 | 0 1397.53/1397.96 c 1392s | 19 | 816478 | 594382 | 37680 32 | 3034 | 0 1399.73/1400.16 c 1395s | 19 | 817107 | 594982 | 37680 32 | 3034 | 0 1402.03/1402.50 c 1397s | 19 | 817738 | 595582 | 37680 32 | 3034 | 0 1404.34/1404.77 c 1399s | 19 | 818372 | 596182 | 37680 32 | 3034 | 0 1406.64/1407.05 c 1402s | 19 | 819022 | 596782 | 37680 32 | 3034 | 0 1408.83/1409.25 c 1404s | 19 | 819672 | 597382 | 37680 32 | 3034 | 0 1411.03/1411.43 c 1406s | 19 | 820090 | 597782 | 37680 33 | 3034 | 0 1413.13/1413.59 c 1408s | 19 | 821052 | 598682 | 37680 33 | 3034 | 0 1415.22/1415.63 c 1410s | 19 | 821891 | 599482 | 37680 33 | 3034 | 0 1417.42/1417.89 c 1412s | 19 | 822647 | 600182 | 37680 33 | 3034 | 0 1419.73/1420.11 c 1415s | 19 | 823394 | 600882 | 37680 33 | 3034 | 0 1421.82/1422.28 c 1417s | 19 | 824131 | 601582 | 37680 33 | 3034 | 0 1423.82/1424.29 c 1419s | 19 | 824914 | 602282 | 37680 33 | 3034 | 0 1425.92/1426.38 c 1421s | 19 | 825682 | 602982 | 37680 33 | 3034 | 0 1428.02/1428.42 c 1423s | 19 | 826527 | 603782 | 37680 33 | 3034 | 0 1430.12/1430.56 c 1425s | 19 | 827425 | 604582 | 37680 33 | 3034 | 0 1432.32/1432.70 c 1427s | 19 | 828276 | 605382 | 37680 33 | 3034 | 0 1434.51/1434.93 c 1429s | 19 | 829153 | 606182 | 37680 33 | 3034 | 0 1436.81/1437.20 c 1432s | 19 | 829998 | 606982 | 37680 33 | 3034 | 0 1438.81/1439.23 c 1434s | 19 | 830745 | 607682 | 37680 33 | 3034 | 0 1440.81/1441.29 c 1436s | 19 | 831487 | 608382 | 37680 33 | 3034 | 0 1442.92/1443.36 c 1438s | 19 | 832228 | 609082 | 37680 33 | 3034 | 0 1445.12/1445.51 c 1440s | 19 | 832972 | 609782 | 37680 33 | 3034 | 0 1447.32/1447.73 c 1442s | 19 | 833734 | 610482 | 37680 33 | 3034 | 0 1450.52/1450.91 c 1445s | 19 | 834049 | 610782 | 37680 33 | 3034 | 0 1452.72/1453.19 c 1448s | 19 | 834688 | 611382 | 37680 33 | 3034 | 0 1454.81/1455.20 c 1450s | 19 | 835266 | 611882 | 37680 33 | 3034 | 0 1456.91/1457.30 c 1452s | 19 | 835929 | 612482 | 37680 33 | 3034 | 0 1459.01/1459.44 c 1454s | 19 | 836577 | 613082 | 37680 33 | 3034 | 0 1461.31/1461.70 c 1456s | 19 | 837256 | 613682 | 37680 33 | 3034 | 0 1463.41/1463.82 c 1458s | 19 | 837905 | 614282 | 37680 33 | 3034 | 0 1465.61/1466.05 c 1461s | 19 | 838543 | 614882 | 37680 33 | 3034 | 0 1467.81/1468.24 c 1463s | 19 | 839175 | 615482 | 37680 33 | 3034 | 0 1470.11/1470.54 c 1465s | 19 | 839813 | 616082 | 37680 33 | 3034 | 0 1472.41/1472.88 c 1467s | 19 | 840454 | 616682 | 37680 33 | 3034 | 0 1474.81/1475.28 c 1470s | 19 | 841070 | 617282 | 37680 33 | 3034 | 0 1477.31/1477.70 c 1472s | 19 | 841695 | 617882 | 37680 33 | 3034 | 0 1479.50/1479.90 c 1474s | 19 | 842014 | 618182 | 37680 34 | 3034 | 0 1481.70/1482.15 c 1477s | 19 | 842677 | 618782 | 37680 34 | 3034 | 0 1483.70/1484.19 c 1479s | 19 | 843412 | 619482 | 37680 34 | 3034 | 0 1485.90/1486.37 c 1481s | 19 | 844417 | 620382 | 37680 34 | 3034 | 0 1488.10/1488.57 c 1483s | 19 | 845360 | 621282 | 37680 34 | 3034 | 0 1490.21/1490.67 c 1485s | 19 | 846189 | 622082 | 37680 34 | 3034 | 0 1492.41/1492.88 c 1487s | 19 | 847014 | 622882 | 37680 34 | 3034 | 0 1494.61/1495.09 c 1490s | 19 | 847864 | 623682 | 37680 34 | 3034 | 0 1496.71/1497.10 c 1492s | 19 | 848724 | 624482 | 37680 34 | 3034 | 0 1498.80/1499.30 c 1494s | 19 | 849589 | 625282 | 37680 34 | 3034 | 0 1501.10/1501.56 c 1496s | 19 | 850444 | 626082 | 37680 34 | 3034 | 0 1503.40/1503.82 c 1498s | 19 | 851297 | 626882 | 37680 34 | 3034 | 0 1505.40/1505.84 c 1500s | 19 | 852053 | 627582 | 37680 34 | 3034 | 0 1507.40/1507.89 c 1502s | 19 | 852799 | 628282 | 37680 34 | 3034 | 0 1509.49/1509.95 c 1504s | 19 | 853541 | 628982 | 37680 34 | 3034 | 0 1511.59/1512.09 c 1507s | 19 | 854291 | 629682 | 37680 34 | 3034 | 0 1513.79/1514.23 c 1509s | 19 | 855026 | 630382 | 37680 34 | 3034 | 0 1515.99/1516.41 c 1511s | 19 | 855777 | 631082 | 37680 34 | 3034 | 0 1518.19/1518.66 c 1513s | 19 | 856507 | 631782 | 37680 34 | 3034 | 0 1525.09/1525.57 c 1520s | 19 | 857146 | 632382 | 37680 34 | 3034 | 0 1527.29/1527.70 c 1522s | 19 | 857925 | 633082 | 37680 34 | 3034 | 0 1529.49/1529.99 c 1524s | 19 | 858723 | 633782 | 37680 34 | 3034 | 0 1531.59/1532.07 c 1527s | 19 | 859423 | 634382 | 37680 34 | 3034 | 0 1533.89/1534.33 c 1529s | 19 | 860222 | 635082 | 37680 34 | 3034 | 0 1535.89/1536.36 c 1531s | 19 | 860921 | 635682 | 37680 34 | 3034 | 0 1537.99/1538.44 c 1533s | 19 | 861596 | 636282 | 37680 34 | 3034 | 0 1540.19/1540.61 c 1535s | 19 | 862273 | 636882 | 37680 34 | 3034 | 0 1542.29/1542.79 c 1537s | 19 | 862942 | 637482 | 37680 34 | 3034 | 0 1544.69/1545.13 c 1540s | 19 | 863601 | 638082 | 37680 34 | 3034 | 0 1546.89/1547.35 c 1542s | 19 | 864257 | 638682 | 37680 34 | 3034 | 0 1549.39/1549.90 c 1544s | 19 | 864574 | 638982 | 37680 35 | 3034 | 0 1552.09/1552.55 c 1547s | 19 | 865569 | 639882 | 37680 35 | 3034 | 0 1554.09/1554.56 c 1549s | 19 | 866481 | 640682 | 37680 35 | 3034 | 0 1556.29/1556.77 c 1551s | 19 | 867515 | 641582 | 37680 35 | 3034 | 0 1558.29/1558.80 c 1553s | 19 | 868394 | 642382 | 37680 35 | 3034 | 0 1560.49/1560.92 c 1555s | 19 | 869255 | 643182 | 37680 35 | 3034 | 0 1562.58/1563.09 c 1558s | 19 | 870120 | 643982 | 37680 35 | 3034 | 0 1564.89/1565.36 c 1560s | 19 | 871004 | 644782 | 37680 35 | 3034 | 0 1566.88/1567.38 c 1562s | 19 | 871749 | 645482 | 37680 35 | 3034 | 0 1569.18/1569.66 c 1564s | 19 | 872623 | 646282 | 37680 35 | 3034 | 0 1571.28/1571.73 c 1566s | 19 | 873400 | 646982 | 37680 35 | 3034 | 0 1573.38/1573.80 c 1568s | 19 | 874144 | 647682 | 37680 35 | 3034 | 0 1575.48/1575.91 c 1570s | 19 | 874908 | 648382 | 37680 35 | 3034 | 0 1577.58/1578.09 c 1573s | 19 | 875664 | 649082 | 37680 35 | 3034 | 0 1579.78/1580.25 c 1575s | 19 | 876402 | 649782 | 37680 35 | 3034 | 0 1581.98/1582.46 c 1577s | 19 | 877151 | 650482 | 37680 35 | 3034 | 0 1584.18/1584.62 c 1579s | 19 | 877893 | 651182 | 37680 35 | 3034 | 0 1586.28/1586.77 c 1581s | 19 | 878644 | 651882 | 37680 35 | 3034 | 0 1588.58/1589.01 c 1583s | 19 | 879410 | 652582 | 37680 35 | 3034 | 0 1590.67/1591.10 c 1586s | 19 | 880038 | 653182 | 37680 35 | 3034 | 0 1592.67/1593.18 c 1588s | 19 | 880701 | 653782 | 37680 35 | 3034 | 0 1594.77/1595.22 c 1590s | 19 | 881355 | 654382 | 37680 35 | 3034 | 0 1596.78/1597.26 c 1592s | 19 | 881996 | 654982 | 37680 35 | 3034 | 0 1598.87/1599.36 c 1594s | 19 | 882653 | 655582 | 37680 35 | 3034 | 0 1600.97/1601.47 c 1596s | 19 | 883297 | 656182 | 37680 35 | 3034 | 0 1603.17/1603.61 c 1598s | 19 | 883933 | 656782 | 37680 35 | 3034 | 0 1605.47/1605.91 c 1600s | 19 | 884572 | 657382 | 37680 35 | 3034 | 0 1607.57/1608.05 c 1603s | 19 | 885209 | 657982 | 37680 35 | 3034 | 0 1609.77/1610.22 c 1605s | 19 | 885852 | 658582 | 37680 35 | 3034 | 0 1611.87/1612.38 c 1607s | 19 | 886502 | 659182 | 37680 35 | 3034 | 0 1613.96/1614.49 c 1609s | 19 | 886939 | 659582 | 37680 36 | 3034 | 0 1616.06/1616.55 c 1611s | 19 | 887801 | 660382 | 37680 36 | 3034 | 0 1618.26/1618.73 c 1613s | 19 | 888023 | 660582 | 37680 36 | 3034 | 0 1620.36/1620.90 c 1615s | 19 | 888973 | 661482 | 37680 36 | 3034 | 0 1622.76/1623.24 c 1618s | 19 | 889953 | 662382 | 41448 36 | 3034 | 0 1624.76/1625.25 c 1620s | 19 | 890837 | 663182 | 41448 36 | 3034 | 0 1626.86/1627.36 c 1622s | 19 | 891684 | 663982 | 41448 36 | 3034 | 0 1628.95/1629.43 c 1624s | 19 | 892526 | 664782 | 41448 36 | 3034 | 0 1631.05/1631.52 c 1626s | 19 | 893376 | 665582 | 41448 36 | 3034 | 0 1633.16/1633.65 c 1628s | 19 | 894245 | 666382 | 41448 36 | 3034 | 0 1634.35/1634.84 c 1629s | 20 | 894724 | 666827 | 41448 36 | 3034 | 0 1636.65/1637.12 c 1632s | 20 | 913801 | 667927 | 41448 36 | 3038 | 0 1638.66/1639.14 c 1634s | 20 | 919039 | 669527 | 41448 36 | 3038 | 0 1640.76/1641.25 c 1636s | 20 | 920709 | 671127 | 41448 36 | 3038 | 0 1643.25/1643.72 c 1638s | 20 | 930824 | 672727 | 41448 36 | 3040 | 0 1645.35/1645.88 c 1640s | 20 | 934380 | 674327 | 41448 36 | 3040 | 0 1647.45/1647.91 c 1642s | 20 | 935674 | 675527 | 41448 36 | 3040 | 0 1649.44/1650.00 c 1644s | 20 | 936975 | 676727 | 41448 36 | 3040 | 0 1651.54/1652.01 c 1646s | 20 | 938182 | 677827 | 41448 36 | 3040 | 0 1653.54/1654.09 c 1649s | 20 | 939379 | 678927 | 41448 36 | 3040 | 0 1655.74/1656.21 c 1651s | 20 | 940572 | 680027 | 41448 36 | 3040 | 0 1657.74/1658.22 c 1653s | 20 | 941673 | 681027 | 41448 36 | 3040 | 0 1659.84/1660.33 c 1655s | 20 | 942744 | 682027 | 41448 36 | 3040 | 0 1662.04/1662.54 c 1657s | 20 | 943820 | 683027 | 41448 36 | 3040 | 0 1664.04/1664.58 c 1659s | 20 | 944788 | 683927 | 41448 36 | 3040 | 0 1666.34/1666.80 c 1661s | 20 | 945873 | 684927 | 41448 36 | 3040 | 0 1668.44/1668.93 c 1663s | 20 | 946717 | 685727 | 41448 37 | 3040 | 0 1670.44/1670.96 c 1665s | 20 | 951897 | 688927 | 41448 37 | 3040 | 0 1672.53/1673.02 c 1667s | 20 | 962551 | 690827 | 41448 37 | 3043 | 0 1674.53/1675.09 c 1670s | 20 | 964899 | 693127 | 41448 37 | 3043 | 0 1676.53/1677.10 c 1672s | 20 | 966941 | 695127 | 41448 37 | 3043 | 0 1678.63/1679.17 c 1674s | 20 | 968895 | 697027 | 41448 37 | 3043 | 0 1680.63/1681.18 c 1676s | 20 | 970632 | 698727 | 41448 37 | 3043 | 0 1682.83/1683.31 c 1678s | 20 | 972362 | 700427 | 41448 37 | 3043 | 0 1684.84/1685.35 c 1680s | 20 | 973886 | 701927 | 41448 37 | 3043 | 0 1686.94/1687.50 c 1682s | 20 | 975425 | 703427 | 41448 37 | 3043 | 0 1689.14/1689.63 c 1684s | 20 | 976854 | 704827 | 41448 37 | 3043 | 0 1691.13/1691.69 c 1686s | 20 | 978175 | 706127 | 41448 37 | 3043 | 0 1693.23/1693.74 c 1688s | 20 | 979096 | 707027 | 41448 38 | 3043 | 0 1695.33/1695.89 c 1690s | 20 | 980429 | 708327 | 41448 38 | 3043 | 0 1697.43/1697.99 c 1692s | 20 | 981654 | 709527 | 41448 38 | 3043 | 0 1699.63/1700.17 c 1695s | 20 | 982881 | 710727 | 41448 38 | 3043 | 0 1701.73/1702.25 c 1697s | 20 | 984002 | 711827 | 41448 38 | 3043 | 0 1703.93/1704.40 c 1699s | 20 | 985117 | 712927 | 41448 38 | 3043 | 0 1705.93/1706.49 c 1701s | 20 | 986127 | 713927 | 41448 38 | 3043 | 0 1708.13/1708.66 c 1703s | 20 | 987144 | 714927 | 41448 38 | 3043 | 0 1710.33/1710.86 c 1705s | 20 | 988175 | 715927 | 41448 38 | 3043 | 0 1712.53/1713.04 c 1708s | 20 | 989210 | 716927 | 41448 38 | 3043 | 0 1714.73/1715.26 c 1710s | 20 | 990237 | 717927 | 41448 38 | 3043 | 0 1716.83/1717.32 c 1712s | 20 | 991175 | 718827 | 41448 38 | 3043 | 0 1718.93/1719.42 c 1714s | 20 | 992098 | 719727 | 41448 38 | 3043 | 0 1721.13/1721.61 c 1716s | 20 | 993015 | 720627 | 41448 38 | 3043 | 0 1723.23/1723.79 c 1718s | 20 | 993938 | 721527 | 41448 38 | 3043 | 0 1725.32/1725.82 c 1720s | 20 | 994752 | 722327 | 41448 38 | 3043 | 0 1727.42/1727.92 c 1722s | 20 | 995581 | 723127 | 41448 38 | 3043 | 0 1729.53/1730.02 c 1724s | 20 | 996389 | 723927 | 41448 38 | 3043 | 0 1731.73/1732.25 c 1727s | 20 | 997199 | 724727 | 41448 38 | 3043 | 0 1734.03/1734.50 c 1729s | 20 | 998024 | 725527 | 41448 38 | 3043 | 0 1736.23/1736.73 c 1731s | 20 | 998839 | 726327 | 41448 38 | 3043 | 0 1738.23/1738.74 c 1733s | 20 | 999564 | 727027 | 41448 38 | 3043 | 0 1740.23/1740.79 c 1735s | 20 | 1000288 | 727727 | 41448 38 | 3043 | 0 1742.33/1742.89 c 1737s | 20 | 1001012 | 728427 | 41448 38 | 3043 | 0 1744.53/1745.03 c 1740s | 20 | 1001733 | 729127 | 41448 38 | 3043 | 0 1746.63/1747.18 c 1742s | 20 | 1002440 | 729827 | 41448 39 | 3043 | 0 1748.82/1749.31 c 1744s | 20 | 1003255 | 730627 | 41448 39 | 3043 | 0 1751.02/1751.54 c 1746s | 20 | 1003364 | 730727 | 41448 39 | 3043 | 0 1753.12/1753.69 c 1748s | 20 | 1004290 | 731627 | 41448 39 | 3043 | 0 1755.23/1755.78 c 1750s | 20 | 1005209 | 732527 | 41448 39 | 3043 | 0 1757.32/1757.87 c 1752s | 20 | 1005922 | 733227 | 41448 39 | 3043 | 0 1759.32/1759.89 c 1754s | 20 | 1006833 | 734127 | 41448 39 | 3043 | 0 1761.42/1761.91 c 1756s | 20 | 1007745 | 735027 | 41448 39 | 3043 | 0 1763.41/1763.97 c 1758s | 20 | 1008665 | 735927 | 41448 39 | 3043 | 0 1765.51/1766.07 c 1761s | 20 | 1009579 | 736827 | 41448 39 | 3043 | 0 1767.71/1768.25 c 1763s | 20 | 1010496 | 737727 | 41448 39 | 3043 | 0 1769.91/1770.47 c 1765s | 20 | 1011409 | 738627 | 41448 39 | 3043 | 0 1772.01/1772.51 c 1767s | 20 | 1012229 | 739427 | 41448 39 | 3043 | 0 1774.11/1774.66 c 1769s | 20 | 1013045 | 740227 | 41448 39 | 3043 | 0 1776.31/1776.85 c 1771s | 20 | 1013865 | 741027 | 41448 39 | 3043 | 0 1778.51/1779.02 c 1773s | 20 | 1014677 | 741827 | 41448 39 | 3043 | 0 1780.71/1781.22 c 1776s | 20 | 1015495 | 742627 | 41448 39 | 3043 | 0 1782.91/1783.49 c 1778s | 20 | 1016303 | 743427 | 41448 39 | 3043 | 0 1785.01/1785.55 c 1780s | 20 | 1017009 | 744127 | 41448 39 | 3043 | 0 1787.21/1787.70 c 1782s | 20 | 1017726 | 744827 | 41448 39 | 3043 | 0 1789.22/1789.75 c 1784s | 20 | 1018445 | 745527 | 41448 39 | 3043 | 0 1791.31/1791.88 c 1786s | 20 | 1019163 | 746227 | 41448 39 | 3043 | 0 1793.51/1794.01 c 1788s | 20 | 1019887 | 746927 | 41448 39 | 3043 | 0 1795.61/1796.11 c 1791s | 20 | 1020597 | 747627 | 41448 39 | 3043 | 0 1797.81/1798.36 c 1793s | 20 | 1021310 | 748327 | 41448 39 | 3043 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4103345-1466235473/watcher-4103345-1466235473 -o /tmp/evaluation-result-4103345-1466235473/solver-4103345-1466235473 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10370 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103345-1466235473.opb pid=15378 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.16 2.04 2.01 3/179 15381 /proc/meminfo: memFree=30190328/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=601532 CPUtime=0 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 2223 0 0 0 0 0 0 0 20 0 4 0 25592981 615968768 2585 33554432000 4194304 16246674 140735193625632 140735193625056 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 150895 2593 441 2943 0 147789 0 [pid=15381/tid=15382] ppid=15378 vsize=618940 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 633794560 2652 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=624060 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 639037440 2670 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=628156 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25592982 643231744 2687 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100174 s] /proc/loadavg: 2.16 2.04 2.01 3/179 15381 /proc/meminfo: memFree=30190328/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=1304132 CPUtime=0.09 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 31659 0 0 0 5 4 0 0 20 0 4 0 25592981 1335431168 31959 33554432000 4194304 16246674 140735193625632 140735193624944 7372101 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 326033 31974 800 2943 0 322927 0 [pid=15381/tid=15382] ppid=15378 vsize=1304132 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 1335431168 31986 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=1304132 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 1335431168 31996 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=1304132 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1335431168 32007 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1304132 [startup+0.200542 s] /proc/loadavg: 2.16 2.04 2.01 3/179 15381 /proc/meminfo: memFree=30190328/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=1316420 CPUtime=0.18 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 43366 0 0 0 13 5 0 0 20 0 4 0 25592981 1348014080 44176 33554432000 4194304 16246674 140735193625632 140735193624944 12652957 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 329105 44176 833 2943 0 325999 0 [pid=15381/tid=15382] ppid=15378 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 1348014080 44176 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 1348014080 44176 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1348014080 44176 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1316420 [startup+0.300529 s] /proc/loadavg: 2.16 2.04 2.01 3/179 15381 /proc/meminfo: memFree=30190328/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=1316420 CPUtime=0.29 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 57039 0 0 0 22 7 0 0 20 0 4 0 25592981 1348014080 57850 33554432000 4194304 16246674 140735193625632 140735193624944 12371445 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 329105 57870 834 2943 0 325999 0 [pid=15381/tid=15382] ppid=15378 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 1348014080 57879 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 1348014080 57893 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1348014080 57905 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1316420 [startup+0.700415 s] /proc/loadavg: 2.16 2.04 2.01 3/179 15381 /proc/meminfo: memFree=30190328/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=1316420 CPUtime=0.68 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 181277 0 0 0 46 22 0 0 20 0 4 0 25592981 1348014080 182087 33554432000 4194304 16246674 140735193625632 140735193624944 13009032 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 329105 182106 834 2943 0 325999 0 [pid=15381/tid=15382] ppid=15378 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 1348014080 182116 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 1348014080 182126 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1348014080 182136 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1316420 [startup+1.50045 s] /proc/loadavg: 2.16 2.04 2.01 3/183 15385 /proc/meminfo: memFree=29109624/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=1316420 CPUtime=1.49 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 269722 0 0 0 115 34 0 0 20 0 4 0 25592981 1348014080 270532 33554432000 4194304 16246674 140735193625632 140735193607552 12429241 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 329105 270532 834 2943 0 325999 0 [pid=15381/tid=15382] ppid=15378 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 1348014080 270532 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 1348014080 270532 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1348014080 270532 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1316420 [startup+3.10043 s] /proc/loadavg: 2.15 2.04 2.01 3/183 15385 /proc/meminfo: memFree=29109252/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=1316420 CPUtime=3.09 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 269722 0 0 0 275 34 0 0 20 0 4 0 25592981 1348014080 270532 33554432000 4194304 16246674 140735193625632 140735193607552 12449399 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 329105 270532 834 2943 0 325999 0 [pid=15381/tid=15382] ppid=15378 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 1348014080 270532 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 1348014080 270532 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1348014080 270532 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1316420 [startup+6.30044 s] /proc/loadavg: 2.15 2.04 2.01 3/183 15385 /proc/meminfo: memFree=29105952/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=1319492 CPUtime=6.29 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 270549 0 0 0 595 34 0 0 20 0 4 0 25592981 1351159808 271359 33554432000 4194304 16246674 140735193625632 140735193607552 5581782 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 329873 271359 889 2943 0 326767 0 [pid=15381/tid=15382] ppid=15378 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 1351159808 271359 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 1351159808 271359 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1351159808 271359 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1319492 [startup+12.7004 s] /proc/loadavg: 2.12 2.04 2.01 3/184 15386 /proc/meminfo: memFree=29105972/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=1319492 CPUtime=12.69 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 270556 0 0 0 1235 34 0 0 20 0 4 0 25592981 1351159808 271366 33554432000 4194304 16246674 140735193625632 140735193607552 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 329873 271366 896 2943 0 326767 0 [pid=15381/tid=15382] ppid=15378 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 1351159808 271366 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 1351159808 271366 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1351159808 271366 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1319492 [startup+25.5005 s] /proc/loadavg: 2.10 2.04 2.01 3/184 15386 /proc/meminfo: memFree=29105852/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=1319492 CPUtime=25.49 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 270557 0 0 0 2515 34 0 0 20 0 4 0 25592981 1351159808 271367 33554432000 4194304 16246674 140735193625632 140735193607552 5824735 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 329873 271367 896 2943 0 326767 0 [pid=15381/tid=15382] ppid=15378 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 1351159808 271367 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 1351159808 271367 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1351159808 271367 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1319492 [startup+51.1005 s] /proc/loadavg: 2.14 2.05 2.01 3/184 15386 /proc/meminfo: memFree=29106300/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=1319492 CPUtime=51.08 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 270560 0 0 0 5074 34 0 0 20 0 4 0 25592981 1351159808 271370 33554432000 4194304 16246674 140735193625632 140735193607552 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 329873 271370 899 2943 0 326767 0 [pid=15381/tid=15382] ppid=15378 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 1351159808 271370 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 1351159808 271370 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1351159808 271370 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1319492 [startup+102.301 s] /proc/loadavg: 2.05 2.04 2.01 3/183 15388 /proc/meminfo: memFree=29106068/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=1319492 CPUtime=102.28 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 270560 0 0 0 10194 34 0 0 20 0 4 0 25592981 1351159808 271370 33554432000 4194304 16246674 140735193625632 140735193607552 5677712 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 329873 271370 899 2943 0 326767 0 [pid=15381/tid=15382] ppid=15378 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 1351159808 271370 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 1351159808 271370 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1351159808 271370 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1319492 ################ # More data... # ################ /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1405685760 284685 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1372740 [startup+1362.3 s] /proc/loadavg: 2.09 2.09 2.02 4/184 15422 /proc/meminfo: memFree=28250108/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=1397316 CPUtime=1361.96 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 289987 0 0 0 136151 45 0 0 20 0 4 0 25592981 1430851584 290584 33554432000 4194304 16246674 140735193625632 140735193607552 12875584 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 349329 290584 899 2943 0 346223 0 [pid=15381/tid=15382] ppid=15378 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 1430851584 290584 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 1430851584 290584 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1430851584 290584 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1397316 [startup+1422.3 s] /proc/loadavg: 2.03 2.07 2.01 3/184 15446 /proc/meminfo: memFree=28249780/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=1397316 CPUtime=1421.93 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 290266 0 0 0 142148 45 0 0 20 0 4 0 25592981 1430851584 290829 33554432000 4194304 16246674 140735193625632 140735193607552 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 349329 290829 899 2943 0 346223 0 [pid=15381/tid=15382] ppid=15378 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 1430851584 290829 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 1430851584 290829 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1430851584 290829 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1397316 [startup+1482.3 s] /proc/loadavg: 2.06 2.07 2.01 3/183 15447 /proc/meminfo: memFree=28249192/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=1397316 CPUtime=1481.9 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 290289 0 0 0 148144 46 0 0 20 0 4 0 25592981 1430851584 290829 33554432000 4194304 16246674 140735193625632 140735193607552 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 349329 290829 899 2943 0 346223 0 [pid=15381/tid=15382] ppid=15378 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 1430851584 290829 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 1430851584 290829 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1430851584 290829 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1397316 [startup+1542.31 s] /proc/loadavg: 2.12 2.09 2.02 3/183 15448 /proc/meminfo: memFree=28249100/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=1397316 CPUtime=1541.9 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 290307 0 0 0 154143 47 0 0 20 0 4 0 25592981 1430851584 290829 33554432000 4194304 16246674 140735193625632 140735193607552 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 349329 290829 899 2943 0 346223 0 [pid=15381/tid=15382] ppid=15378 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 1430851584 290829 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 1430851584 290829 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1430851584 290829 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1397316 [startup+1602.3 s] /proc/loadavg: 2.04 2.07 2.01 3/183 15450 /proc/meminfo: memFree=28248880/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=1397316 CPUtime=1601.87 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 290329 0 0 0 160140 47 0 0 20 0 4 0 25592981 1430851584 290829 33554432000 4194304 16246674 140735193625632 140735193607552 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 349329 290829 899 2943 0 346223 0 [pid=15381/tid=15382] ppid=15378 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 1430851584 290829 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 1430851584 290829 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1430851584 290829 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1397316 [startup+1662.3 s] /proc/loadavg: 2.01 2.05 2.01 3/183 15451 /proc/meminfo: memFree=28248912/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=1397316 CPUtime=1661.84 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 290354 0 0 0 166137 47 0 0 20 0 4 0 25592981 1430851584 290829 33554432000 4194304 16246674 140735193625632 140735193608632 6020448 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 349329 290829 899 2943 0 346223 0 [pid=15381/tid=15382] ppid=15378 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 1430851584 290829 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 1430851584 290829 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1430851584 290829 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1397316 [startup+1722.3 s] /proc/loadavg: 2.12 2.07 2.01 3/183 15452 /proc/meminfo: memFree=28248636/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=1397316 CPUtime=1721.82 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 290365 0 0 0 172135 47 0 0 20 0 4 0 25592981 1430851584 290829 33554432000 4194304 16246674 140735193625632 140735193607552 5672943 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 349329 290829 899 2943 0 346223 0 [pid=15381/tid=15382] ppid=15378 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 1430851584 290829 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 1430851584 290829 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1430851584 290829 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1397316 [startup+1782.3 s] /proc/loadavg: 1.98 2.04 2.00 3/183 15502 /proc/meminfo: memFree=28901160/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=1429060 CPUtime=1781.81 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 298099 0 0 0 178132 49 0 0 20 0 4 0 25592981 1463357440 298563 33554432000 4194304 16246674 140735193625632 140735193607552 5823549 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 357265 298563 899 2943 0 354159 0 [pid=15381/tid=15382] ppid=15378 vsize=1429060 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 1463357440 298563 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=1429060 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 1463357440 298563 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=1429060 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1463357440 298563 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1429060 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.98 2.04 2.00 3/183 15502 /proc/meminfo: memFree=28901296/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=1429060 CPUtime=1800.01 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 298099 0 0 0 179952 49 0 0 20 0 4 0 25592981 1463357440 298563 33554432000 4194304 16246674 140735193625632 140735193607552 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 357265 298563 899 2943 0 354159 0 [pid=15381/tid=15382] ppid=15378 vsize=1429060 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 1463357440 298563 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=1429060 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 1463357440 298563 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=1429060 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1463357440 298563 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1429060 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 15381 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.98 2.04 2.00 3/183 15502 /proc/meminfo: memFree=28901296/32872528 swapFree=534252/566956 [pid=15381] ppid=15378 vsize=1429060 CPUtime=1800.01 cores=1,3,5,7 /proc/15381/stat : 15381 (toysat) R 15378 15381 10353 0 -1 4202496 298099 0 0 0 179952 49 0 0 20 0 4 0 25592981 1463357440 298563 33554432000 4194304 16246674 140735193625632 140735193607552 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/15381/statm: 357265 298563 899 2943 0 354159 0 [pid=15381/tid=15382] ppid=15378 vsize=1429060 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15382/stat : 15382 (toysat) S 15378 15381 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25592982 1463357440 298563 33554432000 4194304 16246674 140735193625632 140345278967024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=15381/tid=15383] ppid=15378 vsize=1429060 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15383/stat : 15383 (toysat) S 15378 15381 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25592982 1463357440 298563 33554432000 4194304 16246674 140735193625632 140345268477168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=15381/tid=15384] ppid=15378 vsize=1429060 CPUtime=0 cores=1,3,5,7 /proc/15381/task/15384/stat : 15384 (toysat) S 15378 15381 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25592982 1463357440 298563 33554432000 4194304 16246674 140735193625632 140345258003632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1429060 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.53 CPU system time (s): 0.498924 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 1429060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.53 system time used= 0.498924 maximum resident set size= 1194252 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 298099 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 363 involuntary context switches= 1846 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.75697 second user time and 9.67253 second system time The end
Begin job on node138 at 2016-06-18 09:37:53 IDJOB=4103345 IDBENCH=2334 IDSOLVER=2542 FILE ID=node138/4103345-1466235473 RUNJOBID= node138-1466206053-10370 PBS_JOBID= 19918139 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos15.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103345-1466235473/watcher-4103345-1466235473 -o /tmp/evaluation-result-4103345-1466235473/solver-4103345-1466235473 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10370 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103345-1466235473.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d360a4da18a1223a5a3c77027ac256df RANDOM SEED=216625988 node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30191228 kB Buffers: 120352 kB Cached: 131308 kB SwapCached: 1060 kB Active: 1221604 kB Inactive: 150080 kB Active(anon): 1121220 kB Inactive(anon): 1228 kB Active(file): 100384 kB Inactive(file): 148852 kB Unevictable: 566956 kB Mlocked: 534252 kB SwapTotal: 67108856 kB SwapFree: 67099636 kB Dirty: 17060 kB Writeback: 0 kB AnonPages: 1690528 kB Mapped: 10472 kB Shmem: 0 kB Slab: 604508 kB SReclaimable: 48048 kB SUnreclaim: 556460 kB KernelStack: 1488 kB PageTables: 7380 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1835228 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 57344 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71696 MiB End job on node138 at 2016-06-18 10:07:54