| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | /OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat25_6_3_4_ic.opb |
| MD5SUM | e305c1d0330d93c0634ea10582f6edce |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| 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 | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 15725 |
| Total number of constraints | 31332 |
| Number of constraints which are clauses | 14450 |
| Number of constraints which are cardinality constraints (but not clauses) | 7 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16875 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 300 |
| Number of terms in the objective function | 1825 |
| Biggest coefficient in the objective function | 106496424 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 11026350169 |
| Number of bits of the sum of numbers in the objective function | 34 |
| Biggest number in a constraint | 106496424 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 11026350169 |
| Number of bits of the biggest sum of numbers | 34 |
| 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-08T00:54: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-4079331-1465340094.opb"] 0.00/0.01 c use --random-gen="2575928451 1532540257 1220354783 3735679862 2363385673 1188612575 3985391002 3664322295 3560129678 2559771938 1293596528 3061732307 755140732 2154397351 3323795215 3475260756 1312226413 3919731697 3942986047 3855251715 3807791287 4105062414 4239666917 1582553130 2122235731 804752424 3336029815 3730632792 2909361990 715878348 507283075 878929628 266289705 674489930 2171906934 3495391562 510655410 1274680290 4183494029 2869686827 2688604156 382734035 2263506256 1223050830 2192831236 1714099629 560397486 1158578069 2619796865 545360366 3755354055 2219011809 1932321057 1964963097 452957458 3224430999 1129240894 2124789977 800743360 3884821601 1938885617 3377124972 3312629958 3091584923 118526607 308628650 2973686090 1855193545 3144727118 2427316910 1577303769 511186610 2439965293 3420256604 2338635387 882498798 414603192 1008428378 531950208 2806075578 356354510 2702971007 3447984692 3064680490 3354714267 2334901341 2497949106 4255894128 873168488 3814948906 2959959199 961053591 3154000485 3213065200 1091926699 3713182365 501883413 3986796754 678751933 1732106500 2881852574 3800899713 1829421115 3971695095 3059411701 2782258228 2643838302 3548793818 317250708 1306840427 3046204155 306312611 1909871012 1209691655 339752719 1625825862 539926677 1799498193 1558134603 2909900386 270501110 2324382431 4051659631 3706363010 1550615721 1165605245 3930714022 2731112777 2977102391 43095103 3111383019 543226724 5802656 2285531950 231806555 4130844302 425640269 3079872588 2479535659 2055793333 1699685658 1427579299 1464223790 2218404924 670500666 3116958353 4017792298 2873883155 720403416 965503555 88857750 2083815460 1166989875 851518712 4007945322 1150950878 2159195970 3677918453 105431709 1813161402 1986716682 3628373333 2825616933 1004764373 3618982899 2820304216 3570915378 1605087643 133728078 2944092147 3454765110 539134177 3136320159 1595568733 3287121488 287831085 563232729 896817473 874386774 1973325496 3351038375 2061320393 3369411161 4214278101 1279323995 1462695189 2348225556 3597038905 112235501 506978983 1871294558 2788219655 2638100455 1332089299 2780887088 553998145 1413876193 3887858114 1322559461 3156520553 1075759747 1329134835 2373264699 3639582886 1008570848 2307732136 539319979 1044970264 245158497 2048977056 2182961918 1593175641 2743220385 1602461758 2110029089 4156059230 1212046300 398600472 268886905 3808867267 684008784 2634363349 6949935 1641322658 2704424596 2977366946 2095183990 3314590401 3347027176 850792590 1091732883 810987074 1607328882 119823047 2325416357 4026294274 2248525899 303824820 3675778368 2968187210 1993719535 2289482369 312064718 1549912331 4111029244 590019052 3806520084 710792756 3816792617 3099523819 2076895709 2287683963 46331464 2792990265 703482140 2668436812 255 362436" option to reproduce the execution 0.19/0.28 c #vars 15725 0.19/0.28 c #constraints 31332 0.79/0.82 c BCD2: Hardening is enabled. 0.79/0.82 c BCD2: BiasedSearch is enabled. 0.79/0.82 c Solving starts ... 0.79/0.82 c ============================[ Search Statistics ]============================ 0.79/0.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.82 c | | | | Limit GC | Var | Constra 0.79/0.82 c ============================================================================= 0.79/0.83 c 0.0s | 0 | 0 | 0 | 16286 0 | 75 | 0 1.79/1.86 c 1.0s | 1 | 129 | 100 | 16286 0 | 75 | 0 3.09/3.13 c 2.3s | 2 | 435 | 250 | 17915 0 | 75 | 0 4.50/4.52 c 3.7s | 3 | 798 | 475 | 19707 0 | 75 | 0 6.70/6.77 c 5.9s | 4 | 1303 | 813 | 21678 0 | 75 | 0 8.39/8.47 c 7.6s | 5 | 1905 | 1320 | 23846 0 | 75 | 0 10.59/10.63 c 9.8s | 5 | 2572 | 1920 | 26231 0 | 75 | 0 11.10/11.18 c 10.4s | 6 | 2748 | 2081 | 28855 0 | 75 | 0 13.39/13.49 c 12.7s | 6 | 3525 | 2681 | 28855 0 | 75 | 0 15.29/15.31 c 14.5s | 7 | 4108 | 3223 | 31741 0 | 75 | 0 17.49/17.52 c 16.7s | 7 | 5174 | 3823 | 31741 0 | 75 | 0 19.69/19.78 c 19.0s | 7 | 5911 | 4523 | 31741 0 | 75 | 0 21.29/21.35 c 20.5s | 8 | 6364 | 4936 | 34916 0 | 75 | 0 23.49/23.55 c 22.7s | 8 | 7173 | 5536 | 34916 0 | 75 | 0 25.59/25.62 c 24.8s | 8 | 8006 | 6136 | 34916 0 | 75 | 0 27.69/27.77 c 26.9s | 8 | 8746 | 6836 | 34916 0 | 75 | 0 29.89/29.92 c 29.1s | 8 | 9385 | 7436 | 34916 0 | 75 | 0 30.09/30.19 c 29.4s | 9 | 9455 | 7506 | 38408 0 | 75 | 0 32.18/32.20 c 31.4s | 9 | 10081 | 8006 | 38408 0 | 75 | 0 34.19/34.24 c 33.4s | 9 | 10685 | 8506 | 38408 0 | 75 | 0 36.48/36.56 c 35.7s | 9 | 11492 | 9006 | 38408 0 | 75 | 0 38.59/38.62 c 37.8s | 9 | 12028 | 9506 | 38408 0 | 75 | 0 40.69/40.79 c 40.0s | 9 | 12640 | 10006 | 38408 0 | 75 | 0 42.78/42.87 c 42.0s | 9 | 13198 | 10506 | 38408 0 | 75 | 0 45.09/45.18 c 44.4s | 9 | 13826 | 11106 | 38408 0 | 75 | 0 46.08/46.15 c 45.3s | 10 | 14093 | 11361 | 42249 0 | 75 | 0 48.08/48.17 c 47.3s | 10 | 14841 | 11761 | 42249 0 | 75 | 0 50.38/50.47 c 49.7s | 10 | 15870 | 12361 | 42249 0 | 75 | 0 52.48/52.55 c 51.7s | 10 | 16522 | 12761 | 42249 0 | 75 | 0 54.78/54.87 c 54.1s | 10 | 16995 | 13161 | 42249 0 | 75 | 0 57.28/57.33 c 56.5s | 10 | 17807 | 13661 | 42249 0 | 75 | 0 59.58/59.63 c 58.8s | 10 | 18277 | 14061 | 42249 0 | 75 | 0 61.97/62.09 c 61.3s | 10 | 18836 | 14561 | 42249 0 | 75 | 0 64.37/64.45 c 63.6s | 10 | 19562 | 15161 | 42249 0 | 75 | 0 66.57/66.66 c 65.8s | 10 | 20453 | 15661 | 42249 0 | 75 | 0 68.77/68.81 c 68.0s | 10 | 20982 | 16161 | 42249 0 | 75 | 0 70.77/70.84 c 70.0s | 10 | 21444 | 16561 | 42249 0 | 75 | 0 73.27/73.33 c 72.5s | 10 | 22023 | 17061 | 46474 0 | 75 | 0 73.68/73.75 c 72.9s | 11 | 22114 | 17144 | 46474 0 | 75 | 0 75.98/76.05 c 75.2s | 11 | 23238 | 17544 | 46474 0 | 75 | 0 78.37/78.48 c 77.7s | 11 | 24012 | 18044 | 46474 0 | 75 | 0 80.38/80.49 c 79.7s | 11 | 25135 | 18444 | 46474 0 | 75 | 0 82.87/82.94 c 82.1s | 11 | 26191 | 18844 | 46474 0 | 75 | 0 85.07/85.12 c 84.3s | 11 | 26737 | 19244 | 46474 0 | 75 | 0 87.47/87.54 c 86.7s | 11 | 27378 | 19644 | 46474 0 | 75 | 0 89.67/89.79 c 89.0s | 11 | 27884 | 20044 | 46474 0 | 75 | 0 91.97/92.02 c 91.2s | 11 | 28451 | 20544 | 46474 0 | 75 | 0 94.07/94.11 c 93.3s | 11 | 28886 | 20944 | 46474 0 | 75 | 0 96.57/96.60 c 95.8s | 11 | 29368 | 21344 | 46474 0 | 75 | 0 98.67/98.76 c 97.9s | 11 | 29780 | 21744 | 46474 0 | 75 | 0 101.06/101.12 c 100s | 11 | 30653 | 22144 | 46474 0 | 75 | 0 103.06/103.13 c 102s | 11 | 31066 | 22544 | 46474 0 | 75 | 0 105.36/105.40 c 104s | 11 | 31795 | 22944 | 46474 0 | 75 | 0 107.87/107.93 c 107s | 11 | 32774 | 23344 | 46474 0 | 75 | 0 109.97/110.06 c 109s | 11 | 33646 | 23744 | 46474 0 | 75 | 0 112.17/112.27 c 111s | 11 | 34245 | 24144 | 46474 0 | 75 | 0 114.37/114.50 c 113s | 11 | 34853 | 24544 | 46474 0 | 75 | 0 116.57/116.69 c 115s | 11 | 35277 | 24944 | 46474 0 | 75 | 0 118.66/118.77 c 117s | 11 | 35689 | 25344 | 46474 0 | 75 | 0 120.56/120.66 c 119s | 12 | 36218 | 25819 | 51122 0 | 75 | 0 122.86/122.91 c 122s | 12 | 36714 | 26119 | 51122 0 | 75 | 0 125.06/125.18 c 124s | 12 | 38326 | 26519 | 51122 0 | 75 | 0 127.56/127.66 c 126s | 12 | 39747 | 26919 | 51122 0 | 75 | 0 129.86/129.92 c 129s | 12 | 40460 | 27319 | 51122 0 | 75 | 0 132.26/132.36 c 131s | 12 | 41147 | 27719 | 51122 0 | 75 | 0 134.66/134.78 c 133s | 12 | 41675 | 28219 | 51122 0 | 75 | 0 136.85/136.90 c 136s | 12 | 42088 | 28619 | 51122 0 | 75 | 0 138.95/139.06 c 138s | 12 | 42500 | 29019 | 51122 0 | 75 | 0 141.25/141.38 c 140s | 12 | 42918 | 29419 | 51122 0 | 75 | 0 143.45/143.60 c 142s | 12 | 43781 | 29819 | 51122 0 | 75 | 0 145.75/145.89 c 145s | 12 | 44758 | 30219 | 51122 0 | 75 | 0 147.85/147.99 c 147s | 12 | 45847 | 30619 | 51122 0 | 75 | 0 150.05/150.18 c 149s | 12 | 46281 | 30919 | 51122 0 | 75 | 0 152.75/152.81 c 151s | 12 | 46911 | 31319 | 51122 0 | 75 | 0 154.95/155.09 c 154s | 12 | 48754 | 31719 | 51122 0 | 75 | 0 157.25/157.36 c 156s | 12 | 49318 | 32019 | 51122 0 | 75 | 0 159.55/159.69 c 158s | 12 | 49831 | 32419 | 51122 0 | 75 | 0 161.84/161.93 c 161s | 12 | 50546 | 32819 | 51122 0 | 75 | 0 164.24/164.35 c 163s | 12 | 51416 | 33219 | 51122 0 | 75 | 0 166.94/167.04 c 166s | 12 | 52463 | 33619 | 51122 0 | 75 | 0 169.45/169.57 c 168s | 12 | 53552 | 34019 | 51122 0 | 75 | 0 171.55/171.64 c 170s | 12 | 54232 | 34319 | 51122 0 | 75 | 0 174.04/174.10 c 173s | 12 | 54610 | 34619 | 51122 0 | 75 | 0 176.34/176.45 c 175s | 12 | 54951 | 34919 | 51122 0 | 75 | 0 179.05/179.16 c 178s | 12 | 57035 | 35319 | 51122 0 | 75 | 0 181.55/181.61 c 180s | 12 | 58759 | 35719 | 51122 0 | 75 | 0 184.05/184.13 c 183s | 12 | 59641 | 36119 | 51122 0 | 75 | 0 186.34/186.40 c 185s | 12 | 60475 | 36419 | 51122 0 | 75 | 0 188.34/188.49 c 187s | 12 | 61935 | 36719 | 51122 0 | 75 | 0 191.04/191.14 c 190s | 12 | 62548 | 37219 | 51122 0 | 75 | 0 193.44/193.51 c 192s | 12 | 63252 | 37619 | 51122 0 | 75 | 0 196.04/196.12 c 195s | 12 | 64243 | 38019 | 51122 0 | 75 | 0 198.14/198.27 c 197s | 12 | 64880 | 38419 | 51122 0 | 75 | 0 200.15/200.29 c 199s | 13 | 65364 | 38832 | 56235 0 | 75 | 0 202.35/202.49 c 201s | 13 | 66120 | 39132 | 56235 0 | 75 | 0 204.64/204.75 c 203s | 13 | 67115 | 39532 | 56235 0 | 75 | 0 207.13/207.25 c 206s | 13 | 67732 | 39932 | 56235 0 | 75 | 0 209.43/209.57 c 208s | 13 | 68069 | 40232 | 56235 0 | 75 | 0 211.83/211.90 c 211s | 13 | 68680 | 40532 | 56235 0 | 75 | 0 213.83/213.96 c 213s | 13 | 69959 | 40832 | 56235 0 | 75 | 0 215.93/216.05 c 215s | 13 | 70833 | 41132 | 56235 0 | 75 | 0 218.33/218.45 c 217s | 13 | 72428 | 41432 | 56235 0 | 75 | 0 220.43/220.54 c 219s | 13 | 73811 | 41732 | 56235 0 | 75 | 0 223.03/223.16 c 222s | 13 | 75363 | 42132 | 56235 0 | 75 | 0 225.63/225.71 c 224s | 13 | 77201 | 42432 | 56235 0 | 75 | 0 228.23/228.31 c 227s | 13 | 77882 | 42832 | 56235 0 | 75 | 0 230.33/230.48 c 229s | 13 | 78369 | 43132 | 56235 0 | 75 | 0 232.52/232.68 c 231s | 13 | 78976 | 43432 | 56235 0 | 75 | 0 234.82/234.94 c 234s | 13 | 79517 | 43732 | 56235 0 | 75 | 0 237.32/237.45 c 236s | 13 | 80215 | 44132 | 56235 0 | 75 | 0 239.52/239.62 c 238s | 13 | 81099 | 44432 | 56235 0 | 75 | 0 241.93/242.10 c 241s | 13 | 81635 | 44832 | 56235 0 | 75 | 0 244.13/244.23 c 243s | 13 | 82642 | 45132 | 56235 0 | 75 | 0 246.43/246.56 c 245s | 13 | 83348 | 45532 | 56235 0 | 75 | 0 248.92/249.03 c 248s | 13 | 84147 | 45932 | 56235 0 | 75 | 0 251.12/251.28 c 250s | 13 | 85581 | 46332 | 56235 0 | 75 | 0 253.12/253.29 c 252s | 13 | 86091 | 46632 | 56235 0 | 75 | 0 255.42/255.59 c 254s | 13 | 86454 | 46932 | 56235 0 | 75 | 0 257.61/257.79 c 256s | 13 | 87060 | 47232 | 56235 0 | 75 | 0 259.91/260.08 c 259s | 13 | 88498 | 47532 | 56235 0 | 75 | 0 262.01/262.12 c 261s | 13 | 89068 | 47832 | 56235 0 | 75 | 0 264.81/264.97 c 264s | 13 | 89604 | 48132 | 56235 0 | 75 | 0 267.22/267.40 c 266s | 13 | 90179 | 48432 | 56235 0 | 75 | 0 269.71/269.81 c 268s | 13 | 91184 | 48732 | 56235 0 | 75 | 0 271.91/272.08 c 271s | 13 | 91650 | 49032 | 56235 0 | 75 | 0 274.21/274.34 c 273s | 13 | 92125 | 49332 | 56235 0 | 75 | 0 276.41/276.52 c 275s | 13 | 93441 | 49632 | 56235 0 | 75 | 0 279.01/279.12 c 278s | 13 | 94889 | 49932 | 56235 0 | 75 | 0 281.71/281.86 c 281s | 13 | 96153 | 50232 | 56235 0 | 75 | 0 284.51/284.66 c 283s | 13 | 97876 | 50532 | 56235 0 | 75 | 0 287.40/287.57 c 286s | 13 | 98397 | 50832 | 56235 0 | 75 | 0 289.70/289.87 c 289s | 13 | 98751 | 51032 | 56235 0 | 75 | 0 291.90/292.00 c 291s | 13 | 99174 | 51232 | 56235 0 | 75 | 0 294.40/294.54 c 293s | 13 | 99775 | 51532 | 56235 0 | 75 | 0 297.01/297.14 c 296s | 13 | 100796 | 51832 | 56235 0 | 75 | 0 299.70/299.81 c 298s | 13 | 101308 | 52132 | 56235 0 | 75 | 0 302.60/302.73 c 301s | 13 | 101770 | 52432 | 56235 0 | 75 | 0 305.20/305.33 c 304s | 13 | 102218 | 52732 | 56235 0 | 75 | 0 307.70/307.89 c 307s | 13 | 103622 | 53032 | 56235 0 | 75 | 0 310.20/310.34 c 309s | 13 | 104389 | 53332 | 56235 0 | 75 | 0 312.59/312.75 c 311s | 13 | 104968 | 53632 | 56235 0 | 75 | 0 314.89/315.05 c 314s | 13 | 106171 | 53932 | 56235 0 | 75 | 0 317.49/317.67 c 316s | 13 | 107420 | 54232 | 56235 0 | 75 | 0 319.89/320.07 c 319s | 13 | 107959 | 54532 | 56235 0 | 75 | 0 322.09/322.23 c 321s | 13 | 109149 | 54832 | 56235 0 | 75 | 0 324.19/324.39 c 323s | 13 | 109739 | 55132 | 56235 0 | 75 | 0 326.48/326.62 c 325s | 13 | 110083 | 55432 | 56235 0 | 75 | 0 328.58/328.71 c 327s | 13 | 110461 | 55632 | 56235 0 | 75 | 0 330.99/331.11 c 330s | 13 | 110920 | 55932 | 56235 0 | 75 | 0 333.58/333.70 c 332s | 13 | 111362 | 56232 | 56235 0 | 75 | 0 336.48/336.65 c 335s | 13 | 111750 | 56532 | 56235 0 | 75 | 0 338.58/338.75 c 337s | 13 | 112013 | 56732 | 56235 0 | 75 | 0 340.58/340.76 c 339s | 13 | 112352 | 56932 | 56235 0 | 75 | 0 343.38/343.55 c 342s | 13 | 113024 | 57232 | 56235 0 | 75 | 0 345.97/346.19 c 345s | 13 | 113392 | 57532 | 56235 0 | 75 | 0 348.37/348.55 c 347s | 13 | 113840 | 57932 | 56235 0 | 75 | 0 350.88/351.03 c 350s | 13 | 114316 | 58232 | 61859 0 | 75 | 0 351.67/351.82 c 350s | 14 | 114449 | 58352 | 61859 0 | 75 | 0 353.77/353.90 c 353s | 14 | 114990 | 58452 | 61859 0 | 75 | 0 355.77/355.94 c 355s | 14 | 115291 | 58652 | 61859 0 | 75 | 0 357.87/358.01 c 357s | 14 | 115704 | 58852 | 61859 0 | 75 | 0 360.47/360.65 c 359s | 14 | 116119 | 59152 | 61859 0 | 75 | 0 362.87/363.05 c 362s | 14 | 117077 | 59452 | 61859 0 | 75 | 0 365.76/365.99 c 365s | 14 | 117598 | 59752 | 61859 0 | 75 | 0 368.47/368.68 c 367s | 14 | 118805 | 60152 | 61859 0 | 75 | 0 370.76/370.99 c 370s | 14 | 119460 | 60452 | 61859 0 | 75 | 0 373.16/373.36 c 372s | 14 | 119795 | 60752 | 61859 0 | 75 | 0 375.46/375.62 c 374s | 14 | 120426 | 61052 | 61859 0 | 75 | 0 377.65/377.83 c 377s | 14 | 120723 | 61252 | 61859 0 | 75 | 0 379.95/380.17 c 379s | 14 | 120997 | 61452 | 61859 0 | 75 | 0 381.95/382.19 c 381s | 14 | 121336 | 61652 | 61859 0 | 75 | 0 384.86/385.09 c 384s | 14 | 121807 | 61952 | 61859 0 | 75 | 0 387.85/388.06 c 387s | 14 | 122319 | 62252 | 61859 0 | 75 | 0 390.65/390.88 c 390s | 14 | 123135 | 62552 | 61859 0 | 75 | 0 392.75/392.94 c 392s | 14 | 123583 | 62752 | 61859 0 | 75 | 0 395.45/395.67 c 394s | 14 | 124016 | 63052 | 61859 0 | 75 | 0 397.94/398.20 c 397s | 14 | 124549 | 63352 | 61859 0 | 75 | 0 400.35/400.58 c 399s | 14 | 126511 | 63652 | 61859 0 | 75 | 0 402.94/403.19 c 402s | 14 | 126916 | 63952 | 61859 0 | 75 | 0 405.44/405.69 c 404s | 14 | 127167 | 64152 | 61859 0 | 75 | 0 408.14/408.37 c 407s | 14 | 127585 | 64452 | 61859 0 | 75 | 0 410.34/410.59 c 409s | 14 | 127872 | 64652 | 61859 0 | 75 | 0 412.84/413.04 c 412s | 14 | 128436 | 64952 | 61859 0 | 75 | 0 414.94/415.16 c 414s | 14 | 128939 | 65252 | 61859 0 | 75 | 0 417.13/417.37 c 416s | 14 | 129651 | 65552 | 61859 0 | 75 | 0 420.43/420.68 c 419s | 14 | 130395 | 65852 | 61859 0 | 75 | 0 422.53/422.79 c 421s | 14 | 130666 | 66052 | 61859 0 | 75 | 0 424.73/424.95 c 424s | 14 | 130906 | 66252 | 61859 0 | 75 | 0 427.43/427.69 c 426s | 14 | 131247 | 66552 | 61859 0 | 75 | 0 429.82/430.07 c 429s | 14 | 131614 | 66852 | 61859 0 | 75 | 0 432.52/432.74 c 431s | 14 | 132227 | 67152 | 61859 0 | 75 | 0 435.62/435.90 c 435s | 14 | 132593 | 67452 | 61859 0 | 75 | 0 437.92/438.15 c 437s | 14 | 132813 | 67652 | 61859 0 | 75 | 0 440.72/440.97 c 440s | 14 | 133229 | 67952 | 61859 0 | 75 | 0 443.92/444.13 c 443s | 14 | 133566 | 68252 | 61859 0 | 75 | 0 446.61/446.89 c 446s | 14 | 133927 | 68552 | 61859 0 | 75 | 0 448.91/449.14 c 448s | 14 | 134187 | 68752 | 61859 0 | 75 | 0 451.41/451.61 c 450s | 14 | 134500 | 69052 | 61859 0 | 75 | 0 454.12/454.32 c 453s | 14 | 134629 | 69152 | 61859 1 | 75 | 0 456.91/457.12 c 456s | 14 | 134981 | 69452 | 61859 1 | 75 | 0 458.91/459.19 c 458s | 14 | 135506 | 69952 | 61859 1 | 75 | 0 461.31/461.59 c 460s | 14 | 136441 | 70352 | 61859 1 | 75 | 0 464.02/464.26 c 463s | 14 | 136754 | 70652 | 61859 1 | 75 | 0 466.21/466.48 c 465s | 14 | 137077 | 70952 | 61859 1 | 75 | 0 469.00/469.29 c 468s | 14 | 137418 | 71252 | 61859 1 | 75 | 0 471.00/471.29 c 470s | 14 | 137627 | 71452 | 61859 1 | 75 | 0 473.30/473.51 c 472s | 14 | 138003 | 71752 | 61859 1 | 75 | 0 475.50/475.72 c 474s | 14 | 138342 | 72052 | 61859 1 | 75 | 0 477.80/478.07 c 477s | 14 | 138875 | 72452 | 61859 1 | 75 | 0 479.90/480.16 c 479s | 14 | 139202 | 72752 | 61859 1 | 75 | 0 482.10/482.31 c 481s | 14 | 139586 | 73052 | 61859 1 | 75 | 0 484.80/485.10 c 484s | 14 | 139984 | 73352 | 61859 1 | 75 | 0 487.20/487.48 c 486s | 14 | 140344 | 73652 | 61859 1 | 75 | 0 489.79/490.07 c 489s | 14 | 140754 | 73952 | 61859 1 | 75 | 0 492.19/492.41 c 491s | 14 | 141079 | 74252 | 61859 1 | 75 | 0 494.49/494.72 c 493s | 14 | 141418 | 74552 | 61859 1 | 75 | 0 496.69/496.98 c 496s | 14 | 141816 | 74852 | 61859 1 | 75 | 0 499.20/499.43 c 498s | 14 | 142284 | 75252 | 61859 1 | 75 | 0 501.40/501.66 c 500s | 14 | 142686 | 75552 | 61859 1 | 75 | 0 503.79/504.02 c 503s | 14 | 143205 | 75852 | 61859 1 | 75 | 0 506.29/506.58 c 505s | 14 | 143632 | 76252 | 61859 1 | 75 | 0 508.88/509.15 c 508s | 14 | 144072 | 76652 | 61859 1 | 75 | 0 511.48/511.70 c 510s | 14 | 144496 | 77052 | 61859 1 | 75 | 0 513.49/513.71 c 512s | 14 | 144805 | 77352 | 61859 1 | 75 | 0 515.88/516.15 c 515s | 14 | 145226 | 77752 | 61859 1 | 75 | 0 518.58/518.85 c 518s | 14 | 145658 | 78152 | 61859 1 | 75 | 0 520.58/520.89 c 520s | 14 | 145968 | 78452 | 61859 1 | 75 | 0 522.68/522.92 c 522s | 14 | 146285 | 78752 | 61859 1 | 75 | 0 524.88/525.11 c 524s | 14 | 146680 | 79052 | 61859 1 | 75 | 0 527.07/527.36 c 526s | 14 | 147012 | 79352 | 61859 1 | 75 | 0 529.67/529.92 c 529s | 14 | 147432 | 79752 | 61859 1 | 75 | 0 531.97/532.23 c 531s | 14 | 147771 | 80052 | 61859 1 | 75 | 0 534.27/534.60 c 533s | 14 | 148099 | 80352 | 61859 1 | 75 | 0 536.96/537.21 c 536s | 14 | 148420 | 80652 | 61859 1 | 75 | 0 539.97/540.23 c 539s | 14 | 149412 | 80952 | 61859 1 | 75 | 0 542.36/542.69 c 541s | 14 | 149792 | 81252 | 61859 1 | 75 | 0 544.86/545.16 c 544s | 14 | 150287 | 81552 | 61859 1 | 75 | 0 547.16/547.45 c 546s | 14 | 150819 | 81752 | 61859 1 | 75 | 0 550.06/550.30 c 549s | 14 | 151438 | 82052 | 61859 1 | 75 | 0 552.66/552.98 c 552s | 14 | 151832 | 82352 | 61859 1 | 75 | 0 555.36/555.68 c 554s | 14 | 152177 | 82652 | 61859 1 | 75 | 0 557.35/557.69 c 556s | 14 | 152422 | 82852 | 61859 1 | 75 | 0 559.95/560.29 c 559s | 14 | 152790 | 83152 | 61859 1 | 75 | 0 562.65/562.94 c 562s | 14 | 153533 | 83452 | 61859 1 | 75 | 0 565.16/565.47 c 564s | 14 | 153912 | 83752 | 61859 1 | 75 | 0 567.85/568.11 c 567s | 14 | 154547 | 84052 | 61859 1 | 75 | 0 570.85/571.10 c 570s | 14 | 154917 | 84352 | 61859 1 | 75 | 0 573.65/573.97 c 573s | 14 | 156391 | 84652 | 61859 1 | 75 | 0 575.74/576.04 c 575s | 14 | 156992 | 84952 | 61859 1 | 75 | 0 578.04/578.38 c 577s | 14 | 157319 | 85252 | 61859 1 | 75 | 0 580.94/581.26 c 580s | 14 | 158713 | 85552 | 61859 1 | 75 | 0 583.24/583.53 c 582s | 14 | 159047 | 85852 | 61859 1 | 75 | 0 585.74/586.00 c 585s | 14 | 159379 | 86152 | 61859 1 | 75 | 0 588.34/588.62 c 587s | 14 | 160514 | 86452 | 61859 1 | 75 | 0 590.44/590.79 c 589s | 14 | 160966 | 86852 | 61859 1 | 75 | 0 593.94/594.25 c 593s | 14 | 161600 | 87152 | 68045 1 | 75 | 0 595.94/596.26 c 595s | 14 | 161865 | 87352 | 68045 1 | 75 | 0 598.03/598.34 c 597s | 15 | 162186 | 87632 | 68045 1 | 75 | 0 600.63/600.92 c 600s | 15 | 162526 | 87832 | 68045 1 | 75 | 0 603.23/603.53 c 602s | 15 | 162741 | 88032 | 68045 1 | 75 | 0 605.83/606.20 c 605s | 15 | 162939 | 88232 | 68045 1 | 75 | 0 607.93/608.22 c 607s | 15 | 163148 | 88432 | 68045 1 | 75 | 0 610.23/610.57 c 609s | 15 | 163494 | 88732 | 68045 1 | 75 | 0 612.73/613.06 c 612s | 15 | 163828 | 89032 | 68045 1 | 75 | 0 615.13/615.47 c 614s | 15 | 164152 | 89332 | 68045 1 | 75 | 0 617.82/618.14 c 617s | 15 | 164483 | 89632 | 68045 1 | 75 | 0 620.23/620.54 c 619s | 15 | 164919 | 89932 | 68045 1 | 75 | 0 623.02/623.38 c 622s | 15 | 165322 | 90232 | 68045 1 | 75 | 0 625.42/625.71 c 624s | 15 | 165544 | 90432 | 68045 1 | 75 | 0 627.62/627.93 c 627s | 15 | 165773 | 90632 | 68045 1 | 75 | 0 629.92/630.23 c 629s | 15 | 166020 | 90832 | 68045 1 | 75 | 0 632.92/633.22 c 632s | 15 | 166408 | 91132 | 68045 1 | 75 | 0 635.62/635.95 c 635s | 15 | 166756 | 91432 | 68045 1 | 75 | 0 638.21/638.53 c 637s | 15 | 167068 | 91732 | 68045 1 | 75 | 0 640.71/641.02 c 640s | 15 | 167383 | 92032 | 68045 1 | 75 | 0 643.11/643.41 c 642s | 15 | 167699 | 92332 | 68045 1 | 75 | 0 645.81/646.19 c 645s | 15 | 168210 | 92632 | 68045 1 | 75 | 0 648.41/648.76 c 647s | 15 | 168640 | 92932 | 68045 1 | 75 | 0 650.51/650.81 c 649s | 15 | 169140 | 93132 | 68045 1 | 75 | 0 653.21/653.51 c 652s | 15 | 169648 | 93432 | 68045 1 | 75 | 0 655.31/655.68 c 654s | 15 | 169958 | 93732 | 68045 1 | 75 | 0 657.51/657.88 c 657s | 15 | 170293 | 94032 | 68045 1 | 75 | 0 659.71/660.05 c 659s | 15 | 170601 | 94332 | 68045 1 | 75 | 0 662.30/662.68 c 661s | 15 | 171049 | 94632 | 68045 1 | 75 | 0 664.90/665.24 c 664s | 15 | 171451 | 94932 | 68045 1 | 75 | 0 667.20/667.57 c 666s | 15 | 171891 | 95232 | 68045 1 | 75 | 0 669.40/669.71 c 668s | 15 | 172203 | 95432 | 68045 1 | 75 | 0 672.30/672.69 c 671s | 15 | 172599 | 95732 | 68045 1 | 75 | 0 674.60/674.90 c 674s | 15 | 172926 | 95932 | 68045 1 | 75 | 0 677.10/677.44 c 676s | 15 | 173250 | 96232 | 68045 1 | 75 | 0 679.60/679.97 c 679s | 15 | 173643 | 96532 | 68045 1 | 75 | 0 681.80/682.18 c 681s | 15 | 174106 | 96732 | 68045 1 | 75 | 0 684.69/685.03 c 684s | 15 | 174944 | 97032 | 68045 1 | 75 | 0 687.30/687.69 c 686s | 15 | 175262 | 97332 | 68045 1 | 75 | 0 689.79/690.19 c 689s | 15 | 175574 | 97632 | 68045 1 | 75 | 0 692.39/692.76 c 691s | 15 | 175909 | 97932 | 68045 1 | 75 | 0 694.90/695.27 c 694s | 15 | 176223 | 98232 | 68045 1 | 75 | 0 697.39/697.71 c 696s | 15 | 176534 | 98532 | 68045 1 | 75 | 0 699.89/700.25 c 699s | 15 | 176845 | 98832 | 68045 1 | 75 | 0 702.39/702.77 c 701s | 15 | 177154 | 99132 | 68045 1 | 75 | 0 704.49/704.86 c 704s | 15 | 177364 | 99332 | 68045 1 | 75 | 0 706.49/706.87 c 706s | 15 | 177571 | 99532 | 68045 1 | 75 | 0 708.59/708.94 c 708s | 15 | 177791 | 99732 | 68045 1 | 75 | 0 711.19/711.57 c 710s | 15 | 178104 | 100032 | 68045 1 | 75 | 0 713.89/714.23 c 713s | 15 | 178449 | 100332 | 68045 1 | 75 | 0 717.19/717.52 c 716s | 15 | 178854 | 100632 | 68045 1 | 75 | 0 719.19/719.57 c 718s | 15 | 179119 | 100832 | 68045 1 | 75 | 0 721.68/722.00 c 721s | 15 | 179442 | 101132 | 68045 1 | 75 | 0 724.08/724.40 c 723s | 15 | 179901 | 101432 | 68045 1 | 75 | 0 726.98/727.33 c 726s | 15 | 180321 | 101732 | 68045 1 | 75 | 0 728.99/729.36 c 728s | 15 | 180594 | 101932 | 68045 1 | 75 | 0 731.78/732.18 c 731s | 15 | 180987 | 102232 | 68045 1 | 75 | 0 734.49/734.81 c 733s | 15 | 181583 | 102532 | 68045 1 | 75 | 0 736.48/736.87 c 736s | 15 | 182018 | 102832 | 68045 1 | 75 | 0 738.99/739.33 c 738s | 15 | 182495 | 103132 | 68045 1 | 75 | 0 741.38/741.80 c 740s | 15 | 182924 | 103432 | 68045 1 | 75 | 0 743.88/744.23 c 743s | 15 | 183402 | 103732 | 68045 1 | 75 | 0 746.48/746.87 c 746s | 15 | 183822 | 104032 | 68045 1 | 75 | 0 749.08/749.47 c 748s | 15 | 184309 | 104332 | 68045 1 | 75 | 0 751.48/751.86 c 751s | 15 | 184935 | 104632 | 68045 1 | 75 | 0 753.48/753.87 c 753s | 15 | 185252 | 104932 | 68045 1 | 75 | 0 755.98/756.31 c 755s | 15 | 185739 | 105232 | 68045 1 | 75 | 0 758.88/759.22 c 758s | 15 | 186118 | 105532 | 68045 1 | 75 | 0 761.68/762.02 c 761s | 15 | 186541 | 105832 | 68045 1 | 75 | 0 764.48/764.81 c 763s | 15 | 187190 | 106132 | 68045 1 | 75 | 0 766.58/766.94 c 766s | 15 | 187600 | 106432 | 68045 1 | 75 | 0 769.08/769.45 c 768s | 15 | 187933 | 106732 | 68045 1 | 75 | 0 771.28/771.67 c 770s | 15 | 188255 | 107032 | 68045 1 | 75 | 0 773.48/773.85 c 773s | 15 | 188594 | 107332 | 68045 1 | 75 | 0 775.58/775.93 c 775s | 15 | 188905 | 107632 | 68045 1 | 75 | 0 778.18/778.53 c 777s | 15 | 189446 | 108032 | 68045 1 | 75 | 0 780.18/780.59 c 779s | 15 | 189769 | 108332 | 68045 1 | 75 | 0 782.28/782.66 c 781s | 15 | 190185 | 108732 | 68045 1 | 75 | 0 784.87/785.20 c 784s | 15 | 190600 | 109132 | 68045 1 | 75 | 0 787.47/787.84 c 787s | 15 | 191021 | 109532 | 68045 1 | 75 | 0 789.97/790.37 c 789s | 15 | 191478 | 109932 | 68045 1 | 75 | 0 792.07/792.41 c 791s | 15 | 191797 | 110232 | 68045 1 | 75 | 0 796.18/796.50 c 795s | 15 | 192256 | 110632 | 68045 2 | 75 | 0 798.28/798.67 c 797s | 15 | 192639 | 110932 | 68045 2 | 75 | 0 800.77/801.15 c 800s | 15 | 193136 | 111232 | 68045 2 | 75 | 0 803.07/803.49 c 802s | 15 | 193565 | 111632 | 68045 2 | 75 | 0 805.67/806.07 c 805s | 15 | 194005 | 112032 | 68045 2 | 75 | 0 808.07/808.41 c 807s | 15 | 194458 | 112332 | 68045 2 | 75 | 0 810.38/810.79 c 809s | 15 | 194793 | 112632 | 68045 2 | 75 | 0 812.77/813.15 c 812s | 15 | 195209 | 113032 | 68045 2 | 75 | 0 815.47/815.81 c 814s | 15 | 195629 | 113432 | 68045 2 | 75 | 0 817.57/817.93 c 817s | 15 | 196061 | 113832 | 68045 2 | 75 | 0 819.87/820.28 c 819s | 15 | 196487 | 114232 | 68045 2 | 75 | 0 822.87/823.29 c 822s | 15 | 196967 | 114632 | 68045 2 | 75 | 0 825.07/825.46 c 824s | 15 | 197276 | 114932 | 68045 2 | 75 | 0 827.27/827.61 c 826s | 15 | 197680 | 115232 | 68045 2 | 75 | 0 829.77/830.11 c 829s | 15 | 198043 | 115532 | 68045 2 | 75 | 0 832.17/832.56 c 831s | 15 | 198466 | 115932 | 68045 2 | 75 | 0 834.57/834.96 c 834s | 15 | 198917 | 116332 | 68045 2 | 75 | 0 836.97/837.39 c 836s | 15 | 199338 | 116732 | 68045 2 | 75 | 0 839.57/839.94 c 839s | 15 | 199908 | 117132 | 68045 2 | 75 | 0 842.07/842.40 c 841s | 15 | 200340 | 117532 | 68045 2 | 75 | 0 844.06/844.45 c 843s | 15 | 200650 | 117832 | 68045 2 | 75 | 0 846.46/846.81 c 845s | 15 | 201063 | 118232 | 68045 2 | 75 | 0 848.56/848.91 c 848s | 15 | 201484 | 118632 | 68045 2 | 75 | 0 850.56/850.92 c 850s | 15 | 201877 | 118932 | 68045 2 | 75 | 0 853.37/853.78 c 852s | 15 | 202361 | 119332 | 68045 2 | 75 | 0 856.06/856.43 c 855s | 15 | 202782 | 119732 | 68045 2 | 75 | 0 858.36/858.70 c 857s | 15 | 203113 | 120032 | 68045 2 | 75 | 0 860.36/860.75 c 859s | 15 | 203427 | 120332 | 68045 2 | 75 | 0 862.66/863.00 c 862s | 15 | 203847 | 120732 | 68045 2 | 75 | 0 864.86/865.21 c 864s | 15 | 204172 | 121032 | 68045 2 | 75 | 0 866.96/867.33 c 866s | 15 | 204502 | 121332 | 68045 2 | 75 | 0 869.26/869.66 c 868s | 15 | 204817 | 121632 | 68045 2 | 75 | 0 871.56/871.93 c 871s | 15 | 205137 | 121932 | 68045 2 | 75 | 0 873.86/874.28 c 873s | 15 | 205557 | 122332 | 68045 2 | 75 | 0 876.37/876.73 c 875s | 15 | 205993 | 122732 | 68045 2 | 75 | 0 878.46/878.88 c 878s | 15 | 206320 | 123032 | 68045 2 | 75 | 0 881.16/881.55 c 880s | 15 | 206806 | 123432 | 68045 2 | 75 | 0 883.36/883.79 c 882s | 15 | 207044 | 123632 | 68045 2 | 75 | 0 885.56/885.95 c 885s | 15 | 207265 | 123832 | 68045 2 | 75 | 0 887.96/888.35 c 887s | 15 | 207491 | 124032 | 68045 2 | 75 | 0 890.06/890.40 c 889s | 15 | 207694 | 124232 | 68045 2 | 75 | 0 892.76/893.14 c 892s | 15 | 208058 | 124532 | 68045 2 | 75 | 0 895.06/895.41 c 894s | 15 | 208410 | 124832 | 68045 2 | 75 | 0 897.06/897.45 c 896s | 15 | 208636 | 125032 | 68045 2 | 75 | 0 899.26/899.66 c 898s | 15 | 208864 | 125232 | 68045 2 | 75 | 0 902.16/902.50 c 901s | 15 | 209253 | 125532 | 68045 2 | 75 | 0 905.16/905.53 c 904s | 15 | 209577 | 125832 | 68045 2 | 75 | 0 907.86/908.21 c 907s | 15 | 209883 | 126132 | 68045 2 | 75 | 0 910.15/910.53 c 909s | 15 | 210203 | 126432 | 68045 2 | 75 | 0 912.35/912.74 c 911s | 15 | 210524 | 126732 | 68045 2 | 75 | 0 914.75/915.16 c 914s | 15 | 210941 | 127132 | 68045 2 | 75 | 0 916.95/917.39 c 916s | 15 | 211255 | 127432 | 68045 2 | 75 | 0 919.55/919.99 c 919s | 15 | 211589 | 127732 | 68045 2 | 75 | 0 921.75/922.10 c 921s | 15 | 211806 | 127932 | 68045 2 | 75 | 0 924.55/924.97 c 924s | 15 | 212126 | 128232 | 68045 2 | 75 | 0 927.06/927.41 c 926s | 15 | 212447 | 128532 | 68045 2 | 75 | 0 929.35/929.78 c 928s | 15 | 212755 | 128832 | 68045 2 | 75 | 0 931.75/932.13 c 931s | 15 | 213060 | 129132 | 68045 2 | 75 | 0 933.85/934.26 c 933s | 15 | 213381 | 129432 | 68045 2 | 75 | 0 936.45/936.82 c 935s | 15 | 213705 | 129732 | 68045 2 | 75 | 0 938.95/939.36 c 938s | 15 | 214049 | 130032 | 68045 2 | 75 | 0 941.26/941.70 c 940s | 15 | 214376 | 130332 | 68045 2 | 75 | 0 943.46/943.84 c 943s | 15 | 214746 | 130632 | 68045 2 | 75 | 0 945.55/945.92 c 945s | 15 | 215070 | 130932 | 74850 2 | 75 | 0 947.55/947.94 c 947s | 15 | 215385 | 131232 | 74850 2 | 75 | 0 950.06/950.42 c 949s | 15 | 215751 | 131532 | 74850 2 | 75 | 0 950.25/950.63 c 949s | 16 | 215771 | 131552 | 74850 2 | 75 | 0 953.05/953.42 c 952s | 16 | 216367 | 131752 | 74850 2 | 75 | 0 955.55/955.94 c 955s | 16 | 216750 | 132052 | 74850 2 | 75 | 0 958.15/958.53 c 957s | 16 | 217289 | 132352 | 74850 2 | 75 | 0 960.85/961.24 c 960s | 16 | 217642 | 132652 | 74850 2 | 75 | 0 962.95/963.39 c 962s | 16 | 217890 | 132852 | 74850 2 | 75 | 0 965.55/965.90 c 965s | 16 | 218227 | 133152 | 74850 2 | 75 | 0 968.45/968.82 c 967s | 16 | 218603 | 133452 | 74850 2 | 75 | 0 971.15/971.55 c 970s | 16 | 218891 | 133752 | 74850 2 | 75 | 0 973.94/974.37 c 973s | 16 | 219205 | 134052 | 74850 2 | 75 | 0 976.34/976.75 c 975s | 16 | 219507 | 134352 | 74850 2 | 75 | 0 978.94/979.37 c 978s | 16 | 219813 | 134652 | 74850 2 | 75 | 0 981.84/982.22 c 981s | 16 | 220125 | 134952 | 74850 2 | 75 | 0 984.34/984.73 c 983s | 16 | 220437 | 135252 | 74850 2 | 75 | 0 986.45/986.84 c 986s | 16 | 220757 | 135552 | 74850 2 | 75 | 0 989.14/989.51 c 988s | 16 | 221075 | 135852 | 74850 2 | 75 | 0 991.44/991.80 c 990s | 16 | 221289 | 136052 | 74850 2 | 75 | 0 993.64/994.04 c 993s | 16 | 221611 | 136352 | 74850 2 | 75 | 0 996.64/997.00 c 996s | 16 | 221926 | 136652 | 74850 2 | 75 | 0 999.14/999.56 c 998s | 16 | 222234 | 136952 | 74850 2 | 75 | 0 1001.64/1002.07 c 1001s | 16 | 222554 | 137252 | 74850 2 | 75 | 0 1003.74/1004.10 c 1003s | 16 | 223086 | 137452 | 74850 2 | 75 | 0 1006.34/1006.70 c 1005s | 16 | 223483 | 137752 | 74850 2 | 75 | 0 1008.84/1009.21 c 1008s | 16 | 223903 | 138052 | 74850 2 | 75 | 0 1011.84/1012.25 c 1011s | 16 | 224474 | 138452 | 74850 2 | 75 | 0 1014.54/1014.96 c 1014s | 16 | 224972 | 138752 | 74850 2 | 75 | 0 1016.74/1017.15 c 1016s | 16 | 225306 | 139052 | 74850 2 | 75 | 0 1019.34/1019.75 c 1018s | 16 | 225682 | 139352 | 74850 2 | 75 | 0 1021.64/1022.04 c 1021s | 16 | 226004 | 139552 | 74850 2 | 75 | 0 1024.34/1024.79 c 1023s | 16 | 226367 | 139852 | 74850 2 | 75 | 0 1027.04/1027.49 c 1026s | 16 | 226695 | 140152 | 74850 2 | 75 | 0 1029.84/1030.21 c 1029s | 16 | 227007 | 140452 | 74850 2 | 75 | 0 1032.24/1032.63 c 1031s | 16 | 227314 | 140752 | 74850 2 | 75 | 0 1034.43/1034.86 c 1034s | 16 | 227618 | 141052 | 74850 2 | 75 | 0 1036.83/1037.29 c 1036s | 16 | 227941 | 141352 | 74850 2 | 75 | 0 1039.33/1039.73 c 1038s | 16 | 228260 | 141652 | 74850 2 | 75 | 0 1042.33/1042.79 c 1041s | 16 | 228651 | 141952 | 74850 2 | 75 | 0 1044.53/1044.97 c 1044s | 16 | 228893 | 142152 | 74850 2 | 75 | 0 1047.43/1047.82 c 1046s | 16 | 229117 | 142352 | 74850 2 | 75 | 0 1050.73/1051.11 c 1050s | 16 | 229488 | 142652 | 74850 2 | 75 | 0 1053.03/1053.45 c 1052s | 16 | 229705 | 142852 | 74850 2 | 75 | 0 1055.13/1055.58 c 1054s | 16 | 229999 | 143052 | 74850 2 | 75 | 0 1057.33/1057.70 c 1056s | 16 | 230254 | 143252 | 74850 2 | 75 | 0 1059.53/1059.98 c 1059s | 16 | 230510 | 143452 | 74850 2 | 75 | 0 1062.43/1062.85 c 1062s | 16 | 230807 | 143752 | 74850 2 | 75 | 0 1064.93/1065.36 c 1064s | 16 | 231113 | 144052 | 74850 2 | 75 | 0 1067.74/1068.13 c 1067s | 16 | 231429 | 144352 | 74850 2 | 75 | 0 1070.73/1071.12 c 1070s | 16 | 231757 | 144652 | 74850 2 | 75 | 0 1072.83/1073.24 c 1072s | 16 | 231956 | 144852 | 74850 2 | 75 | 0 1076.23/1076.66 c 1075s | 16 | 232342 | 145152 | 74850 2 | 75 | 0 1079.63/1080.03 c 1079s | 16 | 232577 | 145352 | 74850 2 | 75 | 0 1082.53/1082.97 c 1082s | 16 | 232796 | 145552 | 74850 2 | 75 | 0 1084.93/1085.36 c 1084s | 16 | 233038 | 145752 | 74850 2 | 75 | 0 1087.93/1088.38 c 1087s | 16 | 233259 | 145952 | 74850 2 | 75 | 0 1090.43/1090.86 c 1090s | 16 | 233477 | 146152 | 74850 2 | 75 | 0 1093.23/1093.69 c 1092s | 16 | 233779 | 146452 | 74850 2 | 75 | 0 1095.33/1095.75 c 1094s | 16 | 233990 | 146652 | 74850 2 | 75 | 0 1097.63/1098.06 c 1097s | 16 | 234198 | 146852 | 74850 2 | 75 | 0 1100.42/1100.80 c 1099s | 16 | 234525 | 147152 | 74850 2 | 75 | 0 1103.03/1103.45 c 1102s | 16 | 234773 | 147352 | 74850 2 | 75 | 0 1105.62/1106.08 c 1105s | 16 | 234974 | 147552 | 74850 2 | 75 | 0 1108.02/1108.41 c 1107s | 16 | 235184 | 147752 | 74850 2 | 75 | 0 1110.32/1110.73 c 1109s | 16 | 235406 | 147952 | 74850 2 | 75 | 0 1112.62/1113.08 c 1112s | 16 | 235610 | 148152 | 74850 2 | 75 | 0 1115.13/1115.53 c 1114s | 16 | 235816 | 148352 | 74850 2 | 75 | 0 1117.33/1117.71 c 1116s | 16 | 236020 | 148552 | 74850 2 | 75 | 0 1120.12/1120.55 c 1119s | 16 | 236247 | 148752 | 74850 2 | 75 | 0 1122.42/1122.82 c 1121s | 16 | 236451 | 148952 | 74850 2 | 75 | 0 1125.32/1125.79 c 1124s | 16 | 236808 | 149252 | 74850 2 | 75 | 0 1127.52/1127.90 c 1127s | 16 | 237043 | 149452 | 74850 2 | 75 | 0 1129.82/1130.25 c 1129s | 16 | 237312 | 149652 | 74850 2 | 75 | 0 1132.52/1132.94 c 1132s | 16 | 237517 | 149852 | 74850 2 | 75 | 0 1135.42/1135.81 c 1134s | 16 | 237831 | 150152 | 74850 2 | 75 | 0 1138.02/1138.48 c 1137s | 16 | 238144 | 150452 | 74850 2 | 75 | 0 1140.62/1141.01 c 1140s | 16 | 238455 | 150752 | 74850 2 | 75 | 0 1143.42/1143.81 c 1142s | 16 | 238773 | 151052 | 74850 2 | 75 | 0 1145.62/1146.02 c 1145s | 16 | 239002 | 151252 | 74850 2 | 75 | 0 1148.42/1148.85 c 1148s | 16 | 239311 | 151552 | 74850 2 | 75 | 0 1150.92/1151.39 c 1150s | 16 | 239619 | 151852 | 74850 2 | 75 | 0 1153.52/1153.91 c 1153s | 16 | 239927 | 152152 | 74850 2 | 75 | 0 1156.32/1156.76 c 1155s | 16 | 240229 | 152452 | 74850 2 | 75 | 0 1158.92/1159.35 c 1158s | 16 | 240538 | 152752 | 74850 2 | 75 | 0 1161.02/1161.43 c 1160s | 16 | 240736 | 152952 | 74850 2 | 75 | 0 1163.22/1163.60 c 1162s | 16 | 240934 | 153152 | 74850 2 | 75 | 0 1165.72/1166.16 c 1165s | 16 | 241249 | 153452 | 74850 2 | 75 | 0 1167.82/1168.23 c 1167s | 16 | 241485 | 153652 | 74850 2 | 75 | 0 1169.81/1170.24 c 1169s | 16 | 241719 | 153852 | 74850 2 | 75 | 0 1172.11/1172.59 c 1171s | 16 | 242029 | 154152 | 74850 2 | 75 | 0 1174.91/1175.38 c 1174s | 16 | 242329 | 154452 | 74850 2 | 75 | 0 1178.82/1179.24 c 1178s | 16 | 242478 | 154552 | 74850 3 | 75 | 0 1180.91/1181.35 c 1180s | 16 | 242697 | 154752 | 74850 3 | 75 | 0 1183.51/1183.90 c 1183s | 16 | 243016 | 155052 | 74850 3 | 75 | 0 1186.21/1186.65 c 1185s | 16 | 243355 | 155352 | 74850 3 | 75 | 0 1188.61/1189.02 c 1188s | 16 | 243674 | 155652 | 74850 3 | 75 | 0 1190.71/1191.13 c 1190s | 16 | 243985 | 155952 | 74850 3 | 75 | 0 1192.91/1193.33 c 1192s | 16 | 244305 | 156252 | 74850 3 | 75 | 0 1194.91/1195.39 c 1194s | 16 | 244612 | 156552 | 74850 3 | 75 | 0 1197.31/1197.72 c 1196s | 16 | 244924 | 156852 | 74850 3 | 75 | 0 1199.41/1199.86 c 1199s | 16 | 245237 | 157152 | 74850 3 | 75 | 0 1202.21/1202.66 c 1201s | 16 | 245658 | 157552 | 74850 3 | 75 | 0 1204.41/1204.86 c 1204s | 16 | 245959 | 157852 | 74850 3 | 75 | 0 1207.01/1207.45 c 1206s | 16 | 246364 | 158252 | 74850 3 | 75 | 0 1209.51/1209.91 c 1209s | 16 | 246667 | 158552 | 74850 3 | 75 | 0 1211.81/1212.21 c 1211s | 16 | 246981 | 158852 | 74850 3 | 75 | 0 1214.51/1214.93 c 1214s | 16 | 247394 | 159252 | 74850 3 | 75 | 0 1216.81/1217.20 c 1216s | 16 | 247716 | 159552 | 74850 3 | 75 | 0 1218.91/1219.37 c 1218s | 16 | 248053 | 159852 | 74850 3 | 75 | 0 1221.01/1221.40 c 1220s | 16 | 248375 | 160152 | 74850 3 | 75 | 0 1223.10/1223.55 c 1222s | 16 | 248684 | 160452 | 74850 3 | 75 | 0 1225.70/1226.16 c 1225s | 16 | 249096 | 160852 | 74850 3 | 75 | 0 1228.50/1228.99 c 1228s | 16 | 249517 | 161252 | 74850 3 | 75 | 0 1231.00/1231.41 c 1230s | 16 | 249831 | 161552 | 74850 3 | 75 | 0 1233.40/1233.80 c 1232s | 16 | 250157 | 161852 | 74850 3 | 75 | 0 1235.60/1236.03 c 1235s | 16 | 250468 | 162152 | 74850 3 | 75 | 0 1237.80/1238.25 c 1237s | 16 | 250778 | 162452 | 74850 3 | 75 | 0 1240.10/1240.57 c 1239s | 16 | 251077 | 162752 | 74850 3 | 75 | 0 1242.71/1243.18 c 1242s | 16 | 251380 | 163052 | 74850 3 | 75 | 0 1245.80/1246.25 c 1245s | 16 | 251733 | 163352 | 74850 3 | 75 | 0 1248.50/1248.92 c 1248s | 16 | 252107 | 163652 | 74850 3 | 75 | 0 1250.80/1251.24 c 1250s | 16 | 252420 | 163952 | 74850 3 | 75 | 0 1252.80/1253.26 c 1252s | 16 | 252724 | 164252 | 74850 3 | 75 | 0 1258.11/1258.56 c 1257s | 16 | 253039 | 164552 | 74850 3 | 75 | 0 1260.50/1260.97 c 1260s | 16 | 253466 | 164952 | 74850 3 | 75 | 0 1262.60/1263.10 c 1262s | 16 | 253775 | 165252 | 74850 3 | 75 | 0 1265.10/1265.55 c 1264s | 16 | 254193 | 165652 | 74850 3 | 75 | 0 1267.60/1268.09 c 1267s | 16 | 254605 | 166052 | 74850 3 | 75 | 0 1270.50/1270.94 c 1270s | 16 | 254930 | 166352 | 74850 3 | 75 | 0 1272.50/1272.96 c 1272s | 16 | 255137 | 166552 | 74850 3 | 75 | 0 1274.90/1275.37 c 1274s | 16 | 255546 | 166952 | 74850 3 | 75 | 0 1277.70/1278.13 c 1277s | 16 | 255881 | 167252 | 74850 3 | 75 | 0 1280.50/1280.91 c 1280s | 16 | 256190 | 167552 | 74850 3 | 75 | 0 1282.90/1283.31 c 1282s | 16 | 256506 | 167852 | 74850 3 | 75 | 0 1285.10/1285.58 c 1284s | 16 | 256816 | 168152 | 74850 3 | 75 | 0 1287.20/1287.65 c 1286s | 16 | 257125 | 168452 | 74850 3 | 75 | 0 1289.40/1289.81 c 1288s | 16 | 257438 | 168752 | 74850 3 | 75 | 0 1291.50/1291.98 c 1291s | 16 | 257747 | 169052 | 74850 3 | 75 | 0 1293.70/1294.11 c 1293s | 16 | 258055 | 169352 | 74850 3 | 75 | 0 1295.70/1296.12 c 1295s | 16 | 258357 | 169652 | 74850 3 | 75 | 0 1298.20/1298.63 c 1297s | 16 | 258739 | 169952 | 74850 3 | 75 | 0 1300.80/1301.25 c 1300s | 16 | 259061 | 170252 | 74850 3 | 75 | 0 1303.40/1303.85 c 1303s | 16 | 259370 | 170552 | 74850 3 | 75 | 0 1306.00/1306.46 c 1305s | 16 | 259672 | 170852 | 74850 3 | 75 | 0 1308.00/1308.49 c 1307s | 16 | 259979 | 171152 | 74850 3 | 75 | 0 1310.29/1310.78 c 1309s | 16 | 260292 | 171452 | 74850 3 | 75 | 0 1312.69/1313.18 c 1312s | 16 | 260713 | 171752 | 74850 3 | 75 | 0 1315.20/1315.66 c 1314s | 16 | 261178 | 172052 | 74850 3 | 75 | 0 1317.79/1318.27 c 1317s | 16 | 261489 | 172352 | 74850 3 | 75 | 0 1319.79/1320.27 c 1319s | 16 | 261797 | 172652 | 74850 3 | 75 | 0 1323.00/1323.47 c 1322s | 16 | 261987 | 172752 | 74850 3 | 75 | 0 1325.49/1325.97 c 1325s | 16 | 262331 | 173052 | 74850 3 | 75 | 0 1327.89/1328.39 c 1327s | 16 | 262640 | 173352 | 74850 3 | 75 | 0 1330.39/1330.81 c 1329s | 16 | 262961 | 173652 | 74850 3 | 75 | 0 1333.29/1333.74 c 1332s | 16 | 263443 | 174052 | 74850 3 | 75 | 0 1335.99/1336.46 c 1335s | 16 | 263676 | 174252 | 74850 3 | 75 | 0 1338.59/1339.04 c 1338s | 16 | 263999 | 174552 | 74850 3 | 75 | 0 1340.89/1341.35 c 1340s | 16 | 264370 | 174852 | 74850 3 | 75 | 0 1343.59/1344.07 c 1343s | 16 | 264699 | 175152 | 74850 3 | 75 | 0 1345.99/1346.50 c 1345s | 16 | 265022 | 175452 | 74850 3 | 75 | 0 1348.69/1349.13 c 1348s | 16 | 265473 | 175752 | 74850 3 | 75 | 0 1351.49/1351.92 c 1351s | 16 | 265786 | 176052 | 74850 3 | 75 | 0 1354.19/1354.65 c 1353s | 16 | 266015 | 176252 | 74850 3 | 75 | 0 1356.78/1357.27 c 1356s | 16 | 266338 | 176552 | 74850 3 | 75 | 0 1359.68/1360.10 c 1359s | 16 | 266665 | 176852 | 74850 3 | 75 | 0 1362.38/1362.82 c 1362s | 16 | 266984 | 177152 | 74850 3 | 75 | 0 1364.88/1365.38 c 1364s | 16 | 267299 | 177452 | 74850 3 | 75 | 0 1367.38/1367.85 c 1367s | 16 | 267620 | 177752 | 74850 3 | 75 | 0 1369.68/1370.11 c 1369s | 16 | 267932 | 178052 | 74850 3 | 75 | 0 1371.98/1372.47 c 1371s | 16 | 268254 | 178352 | 74850 3 | 75 | 0 1374.18/1374.69 c 1373s | 16 | 268562 | 178652 | 74850 3 | 75 | 0 1376.98/1377.41 c 1376s | 16 | 268933 | 178952 | 74850 3 | 75 | 0 1379.58/1380.01 c 1379s | 16 | 269257 | 179252 | 74850 3 | 75 | 0 1381.88/1382.37 c 1381s | 16 | 269571 | 179552 | 74850 3 | 75 | 0 1384.49/1384.97 c 1384s | 16 | 269884 | 179852 | 74850 3 | 75 | 0 1386.88/1387.37 c 1386s | 16 | 270169 | 180052 | 74850 3 | 75 | 0 1389.68/1390.14 c 1389s | 16 | 270487 | 180352 | 74850 3 | 75 | 0 1392.19/1392.61 c 1391s | 16 | 270816 | 180652 | 74850 3 | 75 | 0 1394.78/1395.25 c 1394s | 16 | 271143 | 180952 | 74850 3 | 75 | 0 1397.38/1397.85 c 1397s | 16 | 271498 | 181252 | 74850 3 | 75 | 0 1400.08/1400.58 c 1399s | 16 | 271874 | 181552 | 74850 3 | 75 | 0 1402.28/1402.72 c 1401s | 16 | 272158 | 181752 | 74850 3 | 75 | 0 1404.38/1404.82 c 1403s | 16 | 272367 | 181952 | 74850 3 | 75 | 0 1406.88/1407.35 c 1406s | 16 | 272688 | 182252 | 74850 3 | 75 | 0 1409.48/1409.91 c 1409s | 16 | 273010 | 182552 | 74850 3 | 75 | 0 1411.98/1412.49 c 1411s | 16 | 273325 | 182852 | 74850 3 | 75 | 0 1414.58/1415.08 c 1414s | 16 | 273638 | 183152 | 74850 3 | 75 | 0 1417.48/1417.98 c 1417s | 16 | 274052 | 183452 | 74850 3 | 75 | 0 1420.48/1420.91 c 1420s | 16 | 274386 | 183752 | 74850 3 | 75 | 0 1422.98/1423.42 c 1422s | 16 | 274716 | 184052 | 74850 3 | 75 | 0 1425.67/1426.19 c 1425s | 16 | 275028 | 184352 | 74850 3 | 75 | 0 1427.87/1428.33 c 1427s | 16 | 275241 | 184552 | 74850 3 | 75 | 0 1430.37/1430.88 c 1430s | 16 | 275558 | 184852 | 74850 3 | 75 | 0 1432.98/1433.41 c 1432s | 16 | 275870 | 185152 | 74850 3 | 75 | 0 1435.87/1436.33 c 1435s | 16 | 276186 | 185452 | 74850 3 | 75 | 0 1437.87/1438.37 c 1437s | 16 | 276825 | 185652 | 74850 3 | 75 | 0 1440.07/1440.59 c 1439s | 16 | 277059 | 185852 | 74850 3 | 75 | 0 1442.47/1442.96 c 1442s | 16 | 277340 | 186052 | 74850 3 | 75 | 0 1444.67/1445.19 c 1444s | 16 | 277663 | 186252 | 74850 3 | 75 | 0 1446.77/1447.25 c 1446s | 16 | 277890 | 186452 | 74850 3 | 75 | 0 1448.97/1449.48 c 1448s | 16 | 278121 | 186652 | 74850 3 | 75 | 0 1451.47/1451.92 c 1451s | 16 | 278374 | 186852 | 74850 3 | 75 | 0 1453.78/1454.21 c 1453s | 16 | 278595 | 187052 | 74850 3 | 75 | 0 1455.77/1456.22 c 1455s | 16 | 278808 | 187252 | 74850 3 | 75 | 0 1457.87/1458.38 c 1457s | 16 | 279027 | 187452 | 74850 3 | 75 | 0 1460.07/1460.56 c 1459s | 16 | 279487 | 187652 | 74850 3 | 75 | 0 1462.47/1462.98 c 1462s | 16 | 279738 | 187852 | 74850 3 | 75 | 0 1465.47/1465.90 c 1465s | 16 | 280046 | 188152 | 74850 3 | 75 | 0 1467.67/1468.10 c 1467s | 16 | 280280 | 188352 | 74850 3 | 75 | 0 1469.77/1470.25 c 1469s | 16 | 280501 | 188552 | 74850 3 | 75 | 0 1472.57/1473.09 c 1472s | 16 | 280803 | 188852 | 74850 3 | 75 | 0 1474.57/1475.09 c 1474s | 16 | 281026 | 189052 | 74850 3 | 75 | 0 1476.87/1477.37 c 1476s | 16 | 281251 | 189252 | 74850 3 | 75 | 0 1479.87/1480.32 c 1479s | 16 | 281557 | 189552 | 74850 3 | 75 | 0 1482.17/1482.63 c 1481s | 16 | 281764 | 189752 | 74850 3 | 75 | 0 1484.87/1485.31 c 1484s | 16 | 282293 | 189952 | 74850 3 | 75 | 0 1486.87/1487.40 c 1486s | 16 | 282503 | 190152 | 74850 3 | 75 | 0 1489.96/1490.42 c 1489s | 16 | 282818 | 190452 | 74850 3 | 75 | 0 1492.16/1492.66 c 1491s | 16 | 283018 | 190652 | 74850 3 | 75 | 0 1494.36/1494.89 c 1494s | 16 | 283227 | 190852 | 74850 3 | 75 | 0 1496.67/1497.17 c 1496s | 16 | 283438 | 191052 | 74850 3 | 75 | 0 1499.56/1500.06 c 1499s | 16 | 283747 | 191352 | 74850 3 | 75 | 0 1501.86/1502.35 c 1501s | 16 | 283949 | 191552 | 74850 3 | 75 | 0 1504.76/1505.23 c 1504s | 16 | 284254 | 191852 | 74850 3 | 75 | 0 1507.46/1507.95 c 1507s | 16 | 284565 | 192152 | 74850 3 | 75 | 0 1509.66/1510.16 c 1509s | 16 | 284969 | 192352 | 74850 3 | 75 | 0 1512.07/1512.58 c 1511s | 16 | 285326 | 192552 | 74850 3 | 75 | 0 1514.37/1514.82 c 1513s | 16 | 285588 | 192752 | 74850 3 | 75 | 0 1517.06/1517.57 c 1516s | 16 | 285896 | 193052 | 74850 3 | 75 | 0 1523.36/1523.87 c 1523s | 16 | 286385 | 193352 | 74850 4 | 75 | 0 1526.26/1526.73 c 1525s | 16 | 286888 | 193652 | 74850 4 | 75 | 0 1528.86/1529.39 c 1528s | 16 | 287215 | 193952 | 74850 4 | 75 | 0 1530.96/1531.44 c 1530s | 16 | 287335 | 194052 | 74850 4 | 75 | 0 1533.26/1533.78 c 1532s | 16 | 287644 | 194352 | 74850 4 | 75 | 0 1535.56/1536.03 c 1535s | 16 | 288093 | 194652 | 74850 4 | 75 | 0 1537.96/1538.47 c 1537s | 16 | 288483 | 194952 | 74850 4 | 75 | 0 1540.26/1540.73 c 1539s | 16 | 288787 | 195252 | 74850 4 | 75 | 0 1542.46/1542.91 c 1542s | 16 | 289088 | 195452 | 74850 4 | 75 | 0 1544.86/1545.33 c 1544s | 16 | 289499 | 195852 | 74850 4 | 75 | 0 1546.96/1547.40 c 1546s | 16 | 289814 | 196152 | 82335 4 | 75 | 0 1549.16/1549.64 c 1548s | 16 | 290117 | 196452 | 82335 4 | 75 | 0 1551.67/1552.16 c 1551s | 16 | 290462 | 196752 | 82335 4 | 75 | 0 1554.26/1554.70 c 1553s | 16 | 290785 | 197052 | 82335 4 | 75 | 0 1556.66/1557.15 c 1556s | 17 | 291201 | 197432 | 82335 4 | 75 | 0 1562.77/1563.22 c 1562s | 17 | 291445 | 197532 | 82335 4 | 75 | 0 1565.26/1565.70 c 1564s | 17 | 291843 | 197832 | 82335 4 | 75 | 0 1567.86/1568.31 c 1567s | 17 | 292931 | 198232 | 82335 4 | 75 | 0 1570.37/1570.85 c 1570s | 17 | 293429 | 198632 | 82335 4 | 75 | 0 1572.67/1573.19 c 1572s | 17 | 293825 | 198932 | 82335 4 | 75 | 0 1574.96/1575.40 c 1574s | 17 | 294241 | 199332 | 82335 4 | 75 | 0 1576.96/1577.49 c 1576s | 17 | 294858 | 199632 | 82335 4 | 75 | 0 1579.86/1580.33 c 1579s | 17 | 295316 | 200032 | 82335 4 | 75 | 0 1582.06/1582.53 c 1581s | 17 | 295998 | 200332 | 82335 4 | 75 | 0 1584.36/1584.85 c 1584s | 17 | 296521 | 200632 | 82335 4 | 75 | 0 1586.86/1587.34 c 1586s | 17 | 296878 | 200932 | 82335 4 | 75 | 0 1589.06/1589.58 c 1588s | 17 | 297195 | 201232 | 82335 4 | 75 | 0 1591.26/1591.78 c 1590s | 17 | 298231 | 201532 | 82335 4 | 75 | 0 1593.95/1594.42 c 1593s | 17 | 298689 | 201932 | 82335 4 | 75 | 0 1595.95/1596.49 c 1595s | 17 | 299121 | 202232 | 82335 4 | 75 | 0 1598.55/1599.06 c 1598s | 17 | 299527 | 202632 | 82335 4 | 75 | 0 1600.85/1601.35 c 1600s | 17 | 299899 | 202932 | 82335 4 | 75 | 0 1603.15/1603.65 c 1602s | 17 | 300216 | 203232 | 82335 4 | 75 | 0 1605.66/1606.17 c 1605s | 17 | 300725 | 203532 | 82335 4 | 75 | 0 1608.15/1608.68 c 1607s | 17 | 301085 | 203832 | 82335 4 | 75 | 0 1610.55/1611.01 c 1610s | 17 | 301414 | 204132 | 82335 4 | 75 | 0 1612.55/1613.07 c 1612s | 17 | 301726 | 204432 | 82335 4 | 75 | 0 1615.15/1615.69 c 1614s | 17 | 302246 | 204832 | 82335 4 | 75 | 0 1618.05/1618.56 c 1617s | 17 | 302931 | 205132 | 82335 4 | 75 | 0 1620.25/1620.70 c 1619s | 17 | 303297 | 205432 | 82335 4 | 75 | 0 1623.16/1623.64 c 1622s | 17 | 303659 | 205732 | 82335 4 | 75 | 0 1626.15/1626.61 c 1625s | 17 | 303984 | 206032 | 82335 4 | 75 | 0 1628.76/1629.27 c 1628s | 17 | 304284 | 206332 | 82335 4 | 75 | 0 1631.55/1632.00 c 1631s | 17 | 304620 | 206632 | 82335 4 | 75 | 0 1634.05/1634.60 c 1633s | 17 | 304952 | 206932 | 82335 4 | 75 | 0 1636.65/1637.15 c 1636s | 17 | 305331 | 207232 | 82335 4 | 75 | 0 1639.45/1639.92 c 1639s | 17 | 305716 | 207532 | 82335 4 | 75 | 0 1642.15/1642.61 c 1641s | 17 | 306046 | 207832 | 82335 4 | 75 | 0 1644.65/1645.10 c 1644s | 17 | 306370 | 208132 | 82335 4 | 75 | 0 1646.84/1647.39 c 1646s | 17 | 306780 | 208432 | 82335 4 | 75 | 0 1649.84/1650.34 c 1649s | 17 | 307242 | 208732 | 82335 4 | 75 | 0 1652.54/1653.07 c 1652s | 17 | 307644 | 209032 | 82335 4 | 75 | 0 1654.74/1655.21 c 1654s | 17 | 307872 | 209232 | 82335 4 | 75 | 0 1656.84/1657.35 c 1656s | 17 | 308092 | 209432 | 82335 4 | 75 | 0 1659.74/1660.28 c 1659s | 17 | 308460 | 209732 | 82335 4 | 75 | 0 1662.64/1663.19 c 1662s | 17 | 308791 | 210032 | 82335 4 | 75 | 0 1665.44/1665.96 c 1665s | 17 | 309215 | 210332 | 82335 4 | 75 | 0 1667.84/1668.33 c 1667s | 17 | 309531 | 210632 | 82335 4 | 75 | 0 1670.24/1670.72 c 1669s | 17 | 309837 | 210932 | 82335 4 | 75 | 0 1672.34/1672.84 c 1672s | 17 | 310153 | 211232 | 82335 4 | 75 | 0 1674.85/1675.34 c 1674s | 17 | 310469 | 211532 | 82335 4 | 75 | 0 1677.15/1677.69 c 1676s | 17 | 310794 | 211832 | 82335 4 | 75 | 0 1679.54/1680.03 c 1679s | 17 | 311172 | 212132 | 82335 4 | 75 | 0 1681.64/1682.15 c 1681s | 17 | 311621 | 212432 | 82335 4 | 75 | 0 1684.44/1684.98 c 1684s | 17 | 311994 | 212732 | 82335 4 | 75 | 0 1687.24/1687.73 c 1686s | 17 | 312345 | 213032 | 82335 4 | 75 | 0 1690.14/1690.61 c 1689s | 17 | 312672 | 213332 | 82335 4 | 75 | 0 1692.44/1693.00 c 1692s | 17 | 313102 | 213632 | 82335 4 | 75 | 0 1695.14/1695.69 c 1694s | 17 | 314085 | 213932 | 82335 4 | 75 | 0 1697.24/1697.70 c 1696s | 17 | 314335 | 214132 | 82335 4 | 75 | 0 1699.44/1699.94 c 1699s | 17 | 314676 | 214432 | 82335 4 | 75 | 0 1701.94/1702.40 c 1701s | 17 | 315215 | 214732 | 82335 4 | 75 | 0 1704.23/1704.74 c 1703s | 17 | 315664 | 215032 | 82335 4 | 75 | 0 1706.74/1707.23 c 1706s | 17 | 316083 | 215332 | 82335 4 | 75 | 0 1709.43/1709.90 c 1709s | 17 | 316402 | 215632 | 82335 4 | 75 | 0 1712.24/1712.75 c 1711s | 17 | 316716 | 215932 | 82335 4 | 75 | 0 1714.63/1715.11 c 1714s | 17 | 317014 | 216232 | 82335 4 | 75 | 0 1717.53/1718.05 c 1717s | 17 | 317332 | 216532 | 82335 4 | 75 | 0 1720.04/1720.54 c 1719s | 17 | 317636 | 216832 | 82335 4 | 75 | 0 1722.33/1722.86 c 1722s | 17 | 317951 | 217132 | 82335 4 | 75 | 0 1724.93/1725.46 c 1724s | 17 | 318259 | 217432 | 82335 4 | 75 | 0 1727.43/1727.96 c 1727s | 17 | 318562 | 217732 | 82335 4 | 75 | 0 1730.03/1730.59 c 1729s | 17 | 318869 | 218032 | 82335 4 | 75 | 0 1732.73/1733.24 c 1732s | 17 | 319188 | 218332 | 82335 4 | 75 | 0 1735.03/1735.50 c 1734s | 17 | 319507 | 218532 | 82335 4 | 75 | 0 1737.23/1737.73 c 1736s | 17 | 319809 | 218732 | 82335 4 | 75 | 0 1740.03/1740.55 c 1739s | 17 | 320145 | 219032 | 82335 4 | 75 | 0 1742.93/1743.40 c 1742s | 17 | 320456 | 219332 | 82335 4 | 75 | 0 1745.43/1745.96 c 1745s | 17 | 320759 | 219632 | 82335 4 | 75 | 0 1747.73/1748.25 c 1747s | 17 | 321615 | 219832 | 82335 4 | 75 | 0 1749.93/1750.46 c 1749s | 17 | 321978 | 220032 | 82335 4 | 75 | 0 1752.93/1753.44 c 1752s | 17 | 322292 | 220332 | 82335 4 | 75 | 0 1754.93/1755.49 c 1754s | 17 | 322489 | 220532 | 82335 4 | 75 | 0 1757.63/1758.18 c 1757s | 17 | 322797 | 220832 | 82335 4 | 75 | 0 1759.93/1760.40 c 1759s | 17 | 323690 | 221032 | 82335 4 | 75 | 0 1761.93/1762.41 c 1761s | 17 | 323940 | 221232 | 82335 4 | 75 | 0 1764.52/1765.08 c 1764s | 17 | 324257 | 221532 | 82335 4 | 75 | 0 1767.42/1767.90 c 1767s | 17 | 324572 | 221832 | 82335 4 | 75 | 0 1770.32/1770.84 c 1770s | 17 | 324871 | 222132 | 82335 4 | 75 | 0 1772.42/1772.90 c 1772s | 17 | 325207 | 222432 | 82335 4 | 75 | 0 1774.72/1775.26 c 1774s | 17 | 325706 | 222732 | 82335 4 | 75 | 0 1777.42/1777.93 c 1777s | 17 | 326030 | 223032 | 82335 4 | 75 | 0 1780.02/1780.57 c 1779s | 17 | 326345 | 223332 | 82335 4 | 75 | 0 1782.82/1783.31 c 1782s | 17 | 326670 | 223632 | 82335 4 | 75 | 0 1785.42/1785.94 c 1785s | 17 | 327004 | 223932 | 82335 4 | 75 | 0 1788.02/1788.59 c 1787s | 17 | 327337 | 224232 | 82335 4 | 75 | 0 1790.62/1791.13 c 1790s | 17 | 327723 | 224532 | 82335 4 | 75 | 0 1793.92/1794.47 c 1793s | 17 | 328118 | 224732 | 82335 4 | 75 | 0 1796.52/1797.09 c 1796s | 17 | 328455 | 225032 | 82335 4 | 75 | 0 1798.62/1799.10 c 1798s | 17 | 328685 | 225232 | 82335 4 | 75 | 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-4079331-1465340094/watcher-4079331-1465340094 -o /tmp/evaluation-result-4079331-1465340094/solver-4079331-1465340094 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19943 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079331-1465340094.opb pid=22581 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.30 2.26 2.20 3/179 22584 /proc/meminfo: memFree=29106652/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=788924 CPUtime=0 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 2958 0 0 0 0 0 0 0 20 0 4 0 115941724 807858176 3318 33554432000 4194304 16246674 140735418541824 140735418541248 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 197999 3327 441 2943 0 194893 0 [pid=22584/tid=22585] ppid=22581 vsize=807356 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 826732544 3387 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=811452 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 830926848 3404 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=815548 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 835121152 3422 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100162 s] /proc/loadavg: 2.30 2.26 2.20 3/179 22584 /proc/meminfo: memFree=29106652/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 27636 0 0 0 5 4 0 0 20 0 4 0 115941724 1333334016 27935 33554432000 4194304 16246674 140735418541824 140735418541136 7364033 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 325521 27949 801 2943 0 322415 0 [pid=22584/tid=22585] ppid=22581 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 1333334016 27960 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 1333334016 27971 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1333334016 27981 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200511 s] /proc/loadavg: 2.30 2.26 2.20 3/179 22584 /proc/meminfo: memFree=29106652/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=1314372 CPUtime=0.19 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 46417 0 0 0 12 7 0 0 20 0 4 0 115941724 1345916928 47226 33554432000 4194304 16246674 140735418541824 140735418541136 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 328593 47226 801 2943 0 325487 0 [pid=22584/tid=22585] ppid=22581 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 1345916928 47226 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 1345916928 47226 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1345916928 47226 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1314372 [startup+0.300488 s] /proc/loadavg: 2.30 2.26 2.20 3/179 22584 /proc/meminfo: memFree=29106652/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=1314372 CPUtime=0.29 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 54965 0 0 0 21 8 0 0 20 0 4 0 115941724 1345916928 55774 33554432000 4194304 16246674 140735418541824 140735418541136 4221019 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 328593 55774 812 2943 0 325487 0 [pid=22584/tid=22585] ppid=22581 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 1345916928 55774 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 1345916928 55774 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1345916928 55774 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700394 s] /proc/loadavg: 2.30 2.26 2.20 3/179 22584 /proc/meminfo: memFree=29106652/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=1314372 CPUtime=0.69 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 96200 0 0 0 55 14 0 0 20 0 4 0 115941724 1345916928 97010 33554432000 4194304 16246674 140735418541824 140735418523712 12874965 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 328593 97019 842 2943 0 325487 0 [pid=22584/tid=22585] ppid=22581 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 1345916928 97024 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 1345916928 97029 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1345916928 97035 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50039 s] /proc/loadavg: 2.30 2.26 2.20 4/183 22588 /proc/meminfo: memFree=28546624/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=1314372 CPUtime=1.49 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 159749 0 0 0 126 23 0 0 20 0 4 0 115941724 1345916928 160559 33554432000 4194304 16246674 140735418541824 140735418523712 13759916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 328593 160561 885 2943 0 325487 0 [pid=22584/tid=22585] ppid=22581 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 1345916928 160562 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 1345916928 160564 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1345916928 160565 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.10039 s] /proc/loadavg: 2.30 2.26 2.20 4/183 22588 /proc/meminfo: memFree=28285924/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=1314372 CPUtime=3.09 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 254751 0 0 0 273 36 0 0 20 0 4 0 115941724 1345916928 255560 33554432000 4194304 16246674 140735418541824 140735418523712 5602147 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 328593 255562 885 2943 0 325487 0 [pid=22584/tid=22585] ppid=22581 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 1345916928 255563 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 1345916928 255564 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1345916928 255566 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1314372 [startup+6.3004 s] /proc/loadavg: 2.28 2.26 2.20 4/183 22588 /proc/meminfo: memFree=28021928/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=1322564 CPUtime=6.29 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 271318 0 0 0 590 39 0 0 20 0 4 0 115941724 1354305536 272127 33554432000 4194304 16246674 140735418541824 140735418523712 5822488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 330641 272127 888 2943 0 327535 0 [pid=22584/tid=22585] ppid=22581 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 1354305536 272127 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 1354305536 272127 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1354305536 272127 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1322564 [startup+12.7004 s] /proc/loadavg: 2.26 2.25 2.20 4/183 22588 /proc/meminfo: memFree=28021648/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=1322564 CPUtime=12.69 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 271324 0 0 0 1230 39 0 0 20 0 4 0 115941724 1354305536 272133 33554432000 4194304 16246674 140735418541824 140735418523712 5523460 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 330641 272133 893 2943 0 327535 0 [pid=22584/tid=22585] ppid=22581 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 1354305536 272133 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 1354305536 272133 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1354305536 272133 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1322564 [startup+25.5005 s] /proc/loadavg: 2.20 2.24 2.19 3/183 22588 /proc/meminfo: memFree=28022748/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=1322564 CPUtime=25.49 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 271324 0 0 0 2510 39 0 0 20 0 4 0 115941724 1354305536 272133 33554432000 4194304 16246674 140735418541824 140735418523712 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 330641 272133 893 2943 0 327535 0 [pid=22584/tid=22585] ppid=22581 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 1354305536 272133 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 1354305536 272133 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1354305536 272133 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1322564 [startup+51.1005 s] /proc/loadavg: 2.20 2.23 2.19 3/183 22588 /proc/meminfo: memFree=28022220/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=1322564 CPUtime=51.08 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 271330 0 0 0 5069 39 0 0 20 0 4 0 115941724 1354305536 272133 33554432000 4194304 16246674 140735418541824 140735418523712 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 330641 272133 893 2943 0 327535 0 [pid=22584/tid=22585] ppid=22581 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 1354305536 272133 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 1354305536 272133 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1354305536 272133 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1322564 [startup+102.3 s] /proc/loadavg: 2.20 2.23 2.19 3/183 22589 /proc/meminfo: memFree=28022220/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=1322564 CPUtime=102.27 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 271352 0 0 0 10188 39 0 0 20 0 4 0 115941724 1354305536 272134 33554432000 4194304 16246674 140735418541824 140735418523712 6862286 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 330641 272134 894 2943 0 327535 0 [pid=22584/tid=22585] ppid=22581 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 1354305536 272134 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 1354305536 272134 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1354305536 272134 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1322564 ################ # More data... # ################ /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1379471360 278282 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1347140 [startup+1362.3 s] /proc/loadavg: 2.25 2.23 2.19 3/183 22691 /proc/meminfo: memFree=27985892/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=1347140 CPUtime=1361.88 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 277865 0 0 0 136146 42 0 0 20 0 4 0 115941724 1379471360 278282 33554432000 4194304 16246674 140735418541824 140735418523712 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 336785 278282 898 2943 0 333679 0 [pid=22584/tid=22585] ppid=22581 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 1379471360 278282 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 1379471360 278282 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1379471360 278282 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1347140 [startup+1422.3 s] /proc/loadavg: 2.20 2.22 2.18 3/183 22693 /proc/meminfo: memFree=27985580/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=1347140 CPUtime=1421.88 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 277865 0 0 0 142146 42 0 0 20 0 4 0 115941724 1379471360 278282 33554432000 4194304 16246674 140735418541824 140735418523712 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 336785 278282 898 2943 0 333679 0 [pid=22584/tid=22585] ppid=22581 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 1379471360 278282 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 1379471360 278282 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1379471360 278282 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1347140 [startup+1482.3 s] /proc/loadavg: 2.15 2.21 2.18 4/183 22694 /proc/meminfo: memFree=27985464/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=1347140 CPUtime=1481.87 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 277865 0 0 0 148145 42 0 0 20 0 4 0 115941724 1379471360 278282 33554432000 4194304 16246674 140735418541824 140735418523712 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 336785 278282 898 2943 0 333679 0 [pid=22584/tid=22585] ppid=22581 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 1379471360 278282 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 1379471360 278282 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1379471360 278282 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1347140 [startup+1542.31 s] /proc/loadavg: 2.19 2.21 2.18 3/184 22698 /proc/meminfo: memFree=27973044/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=1359428 CPUtime=1541.87 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 280937 0 0 0 154143 44 0 0 20 0 4 0 115941724 1392054272 281354 33554432000 4194304 16246674 140735418541824 140735418523712 5673965 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 339857 281354 898 2943 0 336751 0 [pid=22584/tid=22585] ppid=22581 vsize=1359428 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 1392054272 281354 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=1359428 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 1392054272 281354 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=1359428 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1392054272 281354 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1359428 [startup+1602.3 s] /proc/loadavg: 2.21 2.21 2.18 4/183 22699 /proc/meminfo: memFree=27912224/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=1359428 CPUtime=1601.85 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 280937 0 0 0 160140 45 0 0 20 0 4 0 115941724 1392054272 281354 33554432000 4194304 16246674 140735418541824 140735418523712 5661428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 339857 281354 898 2943 0 336751 0 [pid=22584/tid=22585] ppid=22581 vsize=1359428 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 1392054272 281354 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=1359428 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 1392054272 281354 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=1359428 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1392054272 281354 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1359428 [startup+1662.3 s] /proc/loadavg: 2.24 2.22 2.18 4/183 22700 /proc/meminfo: memFree=27912168/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=1359428 CPUtime=1661.84 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 280937 0 0 0 166139 45 0 0 20 0 4 0 115941724 1392054272 281354 33554432000 4194304 16246674 140735418541824 140735418523712 6836961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 339857 281354 898 2943 0 336751 0 [pid=22584/tid=22585] ppid=22581 vsize=1359428 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 1392054272 281354 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=1359428 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 1392054272 281354 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=1359428 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1392054272 281354 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1359428 [startup+1722.3 s] /proc/loadavg: 2.18 2.20 2.18 3/183 22702 /proc/meminfo: memFree=27910772/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=1359428 CPUtime=1721.83 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 280938 0 0 0 172138 45 0 0 20 0 4 0 115941724 1392054272 281610 33554432000 4194304 16246674 140735418541824 140735418523712 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 339857 281610 898 2943 0 336751 0 [pid=22584/tid=22585] ppid=22581 vsize=1359428 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 1392054272 281610 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=1359428 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 1392054272 281610 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=1359428 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1392054272 281610 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1359428 [startup+1782.3 s] /proc/loadavg: 2.22 2.21 2.18 3/183 22703 /proc/meminfo: memFree=27910832/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=1359428 CPUtime=1781.82 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 280938 0 0 0 178137 45 0 0 20 0 4 0 115941724 1392054272 281610 33554432000 4194304 16246674 140735418541824 140735418523712 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 339857 281610 898 2943 0 336751 0 [pid=22584/tid=22585] ppid=22581 vsize=1359428 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 1392054272 281610 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=1359428 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 1392054272 281610 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=1359428 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1392054272 281610 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1359428 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.17 2.20 2.18 4/183 22703 /proc/meminfo: memFree=27910956/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=1359428 CPUtime=1800.02 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 280938 0 0 0 179957 45 0 0 20 0 4 0 115941724 1392054272 281610 33554432000 4194304 16246674 140735418541824 140735418523712 5600380 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 339857 281610 898 2943 0 336751 0 [pid=22584/tid=22585] ppid=22581 vsize=1359428 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 1392054272 281610 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=1359428 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 1392054272 281610 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=1359428 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1392054272 281610 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1359428 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 22584 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.17 2.20 2.18 4/183 22703 /proc/meminfo: memFree=27910956/32872528 swapFree=16636/1570076 [pid=22584] ppid=22581 vsize=1359428 CPUtime=1800.02 cores=0,2,4,6 /proc/22584/stat : 22584 (toysat) R 22581 22584 2168 0 -1 4202496 280938 0 0 0 179957 45 0 0 20 0 4 0 115941724 1392054272 281610 33554432000 4194304 16246674 140735418541824 140735418523712 5600380 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22584/statm: 339857 281610 898 2943 0 336751 0 [pid=22584/tid=22585] ppid=22581 vsize=1359428 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22585/stat : 22585 (toysat) S 22581 22584 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115941724 1392054272 281610 33554432000 4194304 16246674 140735418541824 139736051068144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22584/tid=22586] ppid=22581 vsize=1359428 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22586/stat : 22586 (toysat) S 22581 22584 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115941724 1392054272 281610 33554432000 4194304 16246674 140735418541824 139736040578288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22584/tid=22587] ppid=22581 vsize=1359428 CPUtime=0 cores=0,2,4,6 /proc/22584/task/22587/stat : 22587 (toysat) S 22581 22584 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115941724 1392054272 281610 33554432000 4194304 16246674 140735418541824 139735955664048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1359428 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.58 CPU system time (s): 0.45793 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 1359428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.45793 maximum resident set size= 1126440 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 280938 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= 412 involuntary context switches= 1838 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.42333 second user time and 7.06693 second system time The end
Begin job on node140 at 2016-06-08 00:54:54 IDJOB=4079331 IDBENCH=92767 IDSOLVER=2542 FILE ID=node140/4079331-1465340094 RUNJOBID= node140-1465312758-19943 PBS_JOBID= 19850417 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_4_ic.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079331-1465340094/watcher-4079331-1465340094 -o /tmp/evaluation-result-4079331-1465340094/solver-4079331-1465340094 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19943 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079331-1465340094.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e305c1d0330d93c0634ea10582f6edce RANDOM SEED=2115059569 node140.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.768 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 : 5333.53 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.768 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.768 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.768 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.56 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.768 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.768 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.768 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.55 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.768 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 : 5334.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29106552 kB Buffers: 76936 kB Cached: 221408 kB SwapCached: 1660 kB Active: 1284468 kB Inactive: 157808 kB Active(anon): 1140672 kB Inactive(anon): 5988 kB Active(file): 143796 kB Inactive(file): 151820 kB Unevictable: 1570076 kB Mlocked: 16636 kB SwapTotal: 67108856 kB SwapFree: 67098752 kB Dirty: 17868 kB Writeback: 0 kB AnonPages: 2713696 kB Mapped: 10704 kB Shmem: 0 kB Slab: 614304 kB SReclaimable: 58340 kB SUnreclaim: 555964 kB KernelStack: 1520 kB PageTables: 9940 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2858552 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2691072 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 node140 at 2016-06-08 01:24:54