| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.01 | 1800.41 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_4.opb |
| MD5SUM | 3feaf3974ec1ffdea6d6674c11d1a071 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 39 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 36 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 50 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 15754 |
| Sum of products size (including duplicates) | 31508 |
| Number of different products | 15754 |
| Sum of products size | 31508 |
0.00/0.00 c 2016-06-07T01:54:00+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-4080138-1465257240.opb"] 0.00/0.01 c use --random-gen="768162696 2673583000 589104943 3044216045 2002721420 680713836 604149371 2155567000 2338644358 148276672 1876318685 25684490 2458078073 3608529199 151186048 2382360762 1416161441 93914691 605230134 1973283416 2850885824 1075560946 2117358081 3563440756 4092306876 2199826525 2495937975 3559537449 1444087592 2839294896 3294779365 58253632 3708642268 3764227093 2378417155 3869047513 890766664 64754220 3209326298 4239504810 1603802337 2866235458 2500633892 3563161572 912635146 1881321697 1519012441 4174552817 1163716897 2469472995 129288524 3713098488 2887824093 3026640700 4115389385 1334481389 617931956 1303865214 4276496540 3392031807 1077371515 2549838068 4231791694 4024641307 2768119633 2651213240 669032659 1985006068 798683728 852928908 881797958 4225432023 2486222150 3322424117 1854632007 3820132283 1464751805 185486912 2601628057 2248518136 243212643 2498983395 28921861 4261325645 246615566 2391618670 1261812290 2773770475 869163955 2774931423 3802949056 1205692161 1669302231 2473549011 446397608 2282790702 726945136 2168980907 1728034584 4180632842 3051464514 2323454885 3312088924 722558254 2080773988 1850458539 915438974 3678828903 3173848527 164078333 3523920637 1144461055 2591695248 369956010 1465564973 3734885549 2635946969 1153321415 3271787977 1664750084 4116784724 90377529 2913041438 1149117991 3016564875 2712000975 3033947755 3972916901 1710419423 2531095933 3197763923 1579122983 934418243 141192999 2579364090 2926723833 2961604726 2834487867 4115880657 3614260446 3133738622 4139994819 1965271787 722896767 215722380 1867154705 3233535032 934422610 205099398 2582215331 194452277 1955313233 3342898085 1237716096 522872063 2231995097 1226181414 499707970 2897754297 286339047 4097023834 2592116532 2878775532 2909809894 10347961 3172063078 2137363993 1267974425 4067699571 3877701024 189746580 3627411343 2696297261 2644427990 537625268 3807004699 2578081762 866654785 1988821079 397396540 2995351826 2119320464 2902496473 2094289729 2146802953 2905563360 369381193 1512135765 3225463376 1683589267 904992437 2615921945 55677625 353524589 1250437064 1256398251 810152387 1297672367 145468948 915228940 769614660 1603154435 591105939 2306909258 426314753 3402948582 2825784287 2395567019 368788117 640957122 4082575292 3233797891 1886449175 2081771088 2355283017 628544561 1834375338 3264307719 905665934 1816126253 158302651 2480449764 3933935373 4174164811 2109091475 1328415410 2995605905 3899317505 2277061323 2862762443 3035784636 446597494 145635235 1249023183 3761508071 4184171444 213642861 1693487165 2772358285 2718287688 877069490 3173954438 3729214222 193407745 274935372 525347591 2935473801 4147757974 231701239 3421667582 549045924 3758733891 936444403 234273658 1234767881 3856312247 255 362436" option to reproduce the execution 0.00/0.05 c #vars 500 0.00/0.05 c #constraints 500 0.29/0.38 c BCD2: Hardening is enabled. 0.29/0.38 c BCD2: BiasedSearch is enabled. 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 16087 0 | 0 | 0 0.39/0.42 c 0.0s | 0 | 1736 | 0 | 16087 0 | 0 | 0 0.39/0.42 c #cpu_time = 0.029s 0.39/0.42 c #wall_clock_time = 0.030s 0.39/0.42 c #decision = 1736 0.39/0.42 c #random_decision = 2 0.39/0.42 c #conflict = 0 0.39/0.42 c #restart = 0 0.39/0.42 o 435 0.39/0.42 c BCD2: updating upper bound: 500 -> 434 0.39/0.46 c BCD2: 0 <= obj <= 434 0.39/0.46 c BCD2: #cores=0, #unrelaxed=500, #relaxed=0, #hardened=0 0.39/0.46 c BCD2: #sat=1 #unsat=1 bias=1/2 0.39/0.46 c Solving starts ... 0.39/0.46 c ============================[ Search Statistics ]============================ 0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.46 c | | | | Limit GC | Var | Constra 0.39/0.46 c ============================================================================= 0.39/0.46 c 0.0s | 0 | 0 | 0 | 16087 0 | 0 | 0 0.39/0.49 c 0.0s | 0 | 423 | 0 | 16087 0 | 0 | 0 0.39/0.49 c #cpu_time = 0.027s 0.39/0.49 c #wall_clock_time = 0.027s 0.39/0.49 c #decision = 423 0.39/0.49 c #random_decision = 0 0.39/0.49 c #conflict = 0 0.39/0.49 c #restart = 0 0.39/0.49 c BCD2: found a new core of size 27: cost of the new core is >=1 0.39/0.49 c lower bound updated to 1 0.39/0.49 c BCD2: 1 <= obj <= 434 0.39/0.49 c BCD2: #cores=1, #unrelaxed=473, #relaxed=27, #hardened=0 0.39/0.49 c BCD2: #sat=1 #unsat=2 bias=2/3 0.39/0.49 c Solving starts ... 0.39/0.49 c ============================[ Search Statistics ]============================ 0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.49 c | | | | Limit GC | Var | Constra 0.39/0.49 c ============================================================================= 0.39/0.49 c 0.0s | 0 | 0 | 0 | 16087 0 | 0 | 0 0.49/0.52 c 0.0s | 0 | 441 | 0 | 16087 0 | 0 | 0 0.49/0.52 c #cpu_time = 0.028s 0.49/0.52 c #wall_clock_time = 0.028s 0.49/0.52 c #decision = 441 0.49/0.52 c #random_decision = 0 0.49/0.52 c #conflict = 0 0.49/0.52 c #restart = 0 0.49/0.52 c BCD2: found a new core of size 30: cost of the new core is >=1 0.49/0.52 c lower bound updated to 2 0.49/0.52 c BCD2: 2 <= obj <= 434 0.49/0.52 c BCD2: #cores=2, #unrelaxed=443, #relaxed=57, #hardened=0 0.49/0.52 c BCD2: #sat=1 #unsat=3 bias=3/4 0.49/0.52 c Solving starts ... 0.49/0.52 c ============================[ Search Statistics ]============================ 0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.52 c | | | | Limit GC | Var | Constra 0.49/0.52 c ============================================================================= 0.49/0.52 c 0.0s | 0 | 0 | 0 | 16087 0 | 0 | 0 0.49/0.55 c 0.0s | 0 | 420 | 0 | 16087 0 | 0 | 0 0.49/0.55 c #cpu_time = 0.027s 0.49/0.55 c #wall_clock_time = 0.027s 0.49/0.55 c #decision = 420 0.49/0.55 c #random_decision = 0 0.49/0.55 c #conflict = 0 0.49/0.55 c #restart = 0 0.49/0.55 c BCD2: found a new core of size 26: cost of the new core is >=1 0.49/0.55 c lower bound updated to 3 0.49/0.55 c BCD2: 3 <= obj <= 434 0.49/0.55 c BCD2: #cores=3, #unrelaxed=417, #relaxed=83, #hardened=0 0.49/0.55 c BCD2: #sat=1 #unsat=4 bias=4/5 0.49/0.55 c Solving starts ... 0.49/0.55 c ============================[ Search Statistics ]============================ 0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.55 c | | | | Limit GC | Var | Constra 0.49/0.55 c ============================================================================= 0.49/0.55 c 0.0s | 0 | 0 | 0 | 16087 0 | 0 | 0 0.59/0.60 c 0.0s | 0 | 1704 | 1 | 16087 0 | 0 | 0 0.59/0.60 c #cpu_time = 0.036s 0.59/0.60 c #wall_clock_time = 0.036s 0.59/0.60 c #decision = 1704 0.59/0.60 c #random_decision = 0 0.59/0.60 c #conflict = 1 0.59/0.60 c #restart = 0 0.59/0.60 o 53 0.59/0.60 c BCD2: updating upper bound: 434 -> 52 0.59/0.61 c BCD2: 3 <= obj <= 52 0.59/0.61 c BCD2: #cores=3, #unrelaxed=417, #relaxed=83, #hardened=0 0.59/0.61 c BCD2: #sat=2 #unsat=4 bias=4/6 0.59/0.61 c Solving starts ... 0.59/0.61 c ============================[ Search Statistics ]============================ 0.59/0.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.61 c | | | | Limit GC | Var | Constra 0.59/0.61 c ============================================================================= 0.59/0.64 c 0.0s | 0 | 0 | 0 | 16087 0 | 0 | 1 0.69/0.75 c 0.1s | 1 | 621 | 100 | 17696 0 | 0 | 1 0.89/0.94 c 0.3s | 2 | 1259 | 250 | 17696 0 | 0 | 1 1.20/1.25 c 0.6s | 3 | 1977 | 475 | 19466 0 | 0 | 1 1.69/1.75 c 1.1s | 4 | 2867 | 813 | 21413 0 | 0 | 1 2.49/2.59 c 2.0s | 5 | 4029 | 1320 | 23555 0 | 0 | 1 3.69/3.74 c 3.1s | 6 | 5467 | 2081 | 28503 0 | 0 | 1 5.79/5.86 c 5.2s | 6 | 6880 | 2781 | 28503 0 | 0 | 1 6.99/7.03 c 6.4s | 7 | 7499 | 3223 | 31354 0 | 0 | 1 9.09/9.10 c 8.5s | 7 | 8858 | 3923 | 31354 0 | 0 | 1 11.29/11.32 c 10.7s | 7 | 9620 | 4523 | 31354 0 | 0 | 1 12.29/12.34 c 11.7s | 8 | 10211 | 4936 | 34490 0 | 0 | 1 14.59/14.69 c 14.0s | 8 | 11676 | 5736 | 34490 0 | 0 | 1 16.68/16.71 c 16.1s | 8 | 12498 | 6336 | 34490 0 | 0 | 1 18.80/18.87 c 18.2s | 8 | 13288 | 6936 | 34490 0 | 0 | 1 20.69/20.76 c 20.1s | 9 | 14040 | 7506 | 37939 0 | 0 | 1 23.09/23.19 c 22.6s | 9 | 15084 | 8006 | 37939 0 | 0 | 1 25.39/25.44 c 24.8s | 9 | 15771 | 8506 | 37939 0 | 0 | 1 27.59/27.64 c 27.0s | 9 | 16428 | 9006 | 37939 0 | 0 | 1 29.79/29.87 c 29.2s | 9 | 17070 | 9506 | 37939 0 | 0 | 1 32.28/32.30 c 31.7s | 9 | 17958 | 10106 | 37939 0 | 0 | 1 34.38/34.45 c 33.8s | 9 | 18579 | 10606 | 37939 0 | 0 | 1 36.79/36.82 c 36.2s | 9 | 19211 | 11106 | 37939 0 | 0 | 1 37.79/37.80 c 37.2s | 10 | 19530 | 11361 | 41733 0 | 0 | 1 39.78/39.81 c 39.2s | 10 | 20362 | 11661 | 41733 0 | 0 | 1 41.98/42.07 c 41.4s | 10 | 20966 | 12161 | 41733 0 | 0 | 1 44.18/44.20 c 43.6s | 10 | 21443 | 12561 | 41733 0 | 0 | 1 46.29/46.33 c 45.7s | 10 | 21912 | 12961 | 41733 0 | 0 | 1 48.68/48.78 c 48.1s | 10 | 22537 | 13461 | 41733 0 | 0 | 1 50.78/50.82 c 50.2s | 10 | 23085 | 13898 | 41733 0 | 0 | 1 50.78/50.82 c #cpu_time = 50.042s 50.78/50.82 c #wall_clock_time = 50.173s 50.78/50.82 c #decision = 23085 50.78/50.82 c #random_decision = 17 50.78/50.82 c #conflict = 13898 50.78/50.82 c #restart = 10 50.78/50.82 c BCD2: relaxing 417 and merging with 3 cores into a new core of size 500: cost of the new core is >=4 50.78/50.82 c lower bound updated to 4 50.78/50.82 c BCD2: 4 <= obj <= 52 50.78/50.82 c BCD2: #cores=1, #unrelaxed=0, #relaxed=500, #hardened=0 50.78/50.82 c BCD2: #sat=2 #unsat=5 bias=5/7 50.78/50.82 c Solving starts ... 50.78/50.82 c ============================[ Search Statistics ]============================ 50.78/50.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 50.78/50.82 c | | | | Limit GC | Var | Constra 50.78/50.82 c ============================================================================= 50.78/50.82 c 0.0s | 0 | 0 | 0 | 41733 0 | 9 | 1 54.18/54.26 c 3.4s | 0 | 2906 | 100 | 41733 0 | 9 | 16 54.18/54.26 c 3.4s | 1 | 2906 | 100 | 41733 0 | 9 | 16 56.88/56.96 c 6.1s | 2 | 4563 | 250 | 41733 0 | 9 | 16 60.28/60.39 c 9.6s | 2 | 6145 | 450 | 41733 0 | 9 | 16 60.78/60.82 c 10.0s | 3 | 6281 | 475 | 41733 0 | 9 | 16 64.08/64.13 c 13.3s | 3 | 8506 | 675 | 41733 0 | 9 | 16 66.28/66.35 c 15.5s | 4 | 9658 | 813 | 41733 0 | 9 | 16 69.68/69.72 c 18.9s | 4 | 11341 | 1013 | 41733 0 | 9 | 16 72.78/72.89 c 22.1s | 4 | 12812 | 1213 | 41733 0 | 9 | 16 74.58/74.64 c 23.8s | 5 | 13458 | 1320 | 41733 0 | 9 | 16 77.88/77.96 c 27.1s | 5 | 14846 | 1520 | 41733 0 | 9 | 16 81.18/81.25 c 30.4s | 5 | 15507 | 1720 | 41733 0 | 9 | 16 84.38/84.43 c 33.6s | 5 | 16436 | 1920 | 41733 0 | 9 | 16 86.78/86.86 c 36.0s | 6 | 17448 | 2081 | 41733 0 | 9 | 16 89.88/89.93 c 39.1s | 6 | 18597 | 2281 | 41733 0 | 9 | 16 92.78/92.89 c 42.1s | 6 | 19874 | 2481 | 41733 0 | 9 | 16 95.69/95.79 c 45.0s | 6 | 21037 | 2681 | 41733 0 | 9 | 16 98.68/98.77 c 47.9s | 6 | 21670 | 2881 | 41733 0 | 9 | 16 101.88/101.90 c 51.1s | 6 | 22519 | 3081 | 41733 0 | 9 | 16 103.98/104.05 c 53.2s | 7 | 23121 | 3223 | 45907 0 | 9 | 16 107.28/107.39 c 56.6s | 7 | 24993 | 3423 | 45907 0 | 9 | 16 110.58/110.62 c 59.8s | 7 | 27069 | 3623 | 45907 0 | 9 | 16 113.98/114.00 c 63.2s | 7 | 29915 | 3823 | 45907 0 | 9 | 16 117.18/117.29 c 66.5s | 7 | 32384 | 4023 | 45907 0 | 9 | 16 120.77/120.87 c 70.1s | 7 | 34626 | 4223 | 45907 0 | 9 | 16 124.07/124.15 c 73.3s | 7 | 36152 | 4423 | 45907 0 | 9 | 16 127.37/127.43 c 76.6s | 7 | 37921 | 4623 | 45907 0 | 9 | 16 130.57/130.61 c 79.8s | 7 | 39382 | 4823 | 45907 0 | 9 | 16 132.37/132.48 c 81.7s | 8 | 39806 | 4936 | 45907 0 | 9 | 16 135.38/135.41 c 84.6s | 8 | 40826 | 5136 | 45907 0 | 9 | 16 138.68/138.76 c 87.9s | 8 | 41597 | 5336 | 45907 0 | 9 | 16 141.88/141.93 c 91.1s | 8 | 43424 | 5536 | 45907 0 | 9 | 16 145.07/145.11 c 94.3s | 8 | 45543 | 5736 | 45907 0 | 9 | 16 148.27/148.38 c 97.6s | 8 | 47067 | 5936 | 45907 0 | 9 | 16 151.78/151.80 c 100s | 8 | 49403 | 6136 | 45907 0 | 9 | 16 155.18/155.27 c 104s | 8 | 52129 | 6336 | 45907 0 | 9 | 16 158.67/158.74 c 107s | 8 | 54167 | 6536 | 45907 0 | 9 | 16 161.97/162.07 c 111s | 8 | 56613 | 6736 | 45907 0 | 9 | 16 165.27/165.35 c 114s | 8 | 58768 | 6936 | 45907 0 | 9 | 16 168.57/168.64 c 117s | 8 | 60942 | 7136 | 45907 0 | 9 | 16 171.77/171.88 c 121s | 8 | 61966 | 7336 | 45907 0 | 9 | 16 174.57/174.60 c 123s | 9 | 62709 | 7506 | 45907 0 | 9 | 16 177.77/177.86 c 127s | 9 | 63914 | 7706 | 45907 0 | 9 | 16 180.77/180.87 c 130s | 9 | 64690 | 7906 | 45907 0 | 9 | 16 184.07/184.12 c 133s | 9 | 65358 | 8106 | 45907 0 | 9 | 16 187.26/187.34 c 136s | 9 | 65947 | 8306 | 45907 0 | 9 | 16 190.27/190.40 c 139s | 9 | 67444 | 8506 | 45907 0 | 9 | 16 193.46/193.54 c 142s | 9 | 69483 | 8706 | 45907 0 | 9 | 16 196.87/197.00 c 146s | 9 | 71787 | 8906 | 45907 0 | 9 | 16 200.36/200.43 c 149s | 9 | 73738 | 9106 | 45907 0 | 9 | 16 203.86/203.97 c 153s | 9 | 76823 | 9306 | 45907 0 | 9 | 16 207.26/207.33 c 156s | 9 | 79219 | 9506 | 45907 0 | 9 | 16 210.46/210.55 c 159s | 9 | 81481 | 9706 | 45907 0 | 9 | 16 213.76/213.82 c 162s | 9 | 83492 | 9906 | 45907 0 | 9 | 16 216.96/217.05 c 166s | 9 | 85312 | 10106 | 45907 0 | 9 | 16 220.16/220.20 c 169s | 9 | 86129 | 10306 | 45907 0 | 9 | 16 223.46/223.50 c 172s | 9 | 86660 | 10506 | 45907 0 | 9 | 16 226.67/226.74 c 175s | 9 | 87548 | 10706 | 45907 0 | 9 | 16 229.87/229.93 c 179s | 9 | 88456 | 10906 | 45907 0 | 9 | 16 233.36/233.40 c 182s | 9 | 90161 | 11106 | 45907 0 | 9 | 16 236.76/236.84 c 186s | 9 | 91855 | 11306 | 45907 0 | 9 | 16 237.76/237.84 c 187s | 10 | 92332 | 11361 | 45907 0 | 9 | 16 240.66/240.75 c 189s | 10 | 93195 | 11561 | 45907 0 | 9 | 16 244.16/244.21 c 193s | 10 | 94704 | 11761 | 45907 0 | 9 | 16 247.46/247.50 c 196s | 10 | 96632 | 11961 | 50498 0 | 9 | 16 250.65/250.70 c 199s | 10 | 98959 | 12161 | 50498 0 | 9 | 16 253.85/253.93 c 203s | 10 | 101253 | 12361 | 50498 0 | 9 | 16 257.15/257.27 c 206s | 10 | 103525 | 12561 | 50498 0 | 9 | 16 260.45/260.53 c 209s | 10 | 104351 | 12761 | 50498 0 | 9 | 16 263.55/263.63 c 212s | 10 | 105389 | 12961 | 50498 0 | 9 | 16 266.75/266.84 c 216s | 10 | 106417 | 13161 | 50498 0 | 9 | 16 269.95/270.01 c 219s | 10 | 107346 | 13361 | 50498 0 | 9 | 16 273.05/273.13 c 222s | 10 | 107933 | 13561 | 50498 0 | 9 | 16 276.25/276.34 c 225s | 10 | 109364 | 13761 | 50498 0 | 9 | 16 279.36/279.47 c 228s | 10 | 111320 | 13961 | 50498 0 | 9 | 16 282.35/282.49 c 231s | 10 | 112276 | 14161 | 50498 0 | 9 | 16 285.65/285.73 c 234s | 10 | 114369 | 14361 | 50498 0 | 9 | 16 288.95/289.09 c 238s | 10 | 116302 | 14561 | 50498 0 | 9 | 16 292.35/292.41 c 241s | 10 | 117375 | 14761 | 50498 0 | 9 | 16 295.75/295.85 c 245s | 10 | 119194 | 14961 | 50498 0 | 9 | 16 299.15/299.24 c 248s | 10 | 120931 | 15161 | 50498 0 | 9 | 16 302.55/302.69 c 251s | 10 | 122591 | 15361 | 50498 0 | 9 | 16 305.95/306.04 c 255s | 10 | 123908 | 15561 | 50498 0 | 9 | 16 309.15/309.28 c 258s | 10 | 125310 | 15761 | 50498 0 | 9 | 16 312.35/312.46 c 261s | 10 | 126357 | 15961 | 50498 0 | 9 | 16 315.45/315.58 c 264s | 10 | 127321 | 16161 | 50498 0 | 9 | 16 318.64/318.72 c 267s | 10 | 128495 | 16361 | 50498 0 | 9 | 16 321.94/322.05 c 271s | 10 | 129737 | 16561 | 50498 0 | 9 | 16 325.34/325.41 c 274s | 10 | 131605 | 16761 | 50498 0 | 9 | 16 328.54/328.65 c 277s | 10 | 133427 | 16961 | 50498 0 | 9 | 16 331.34/331.46 c 280s | 11 | 134963 | 17144 | 50498 0 | 9 | 16 334.74/334.81 c 283s | 11 | 136146 | 17344 | 50498 0 | 9 | 16 338.04/338.17 c 287s | 11 | 137613 | 17544 | 50498 0 | 9 | 16 341.14/341.23 c 290s | 11 | 138843 | 17744 | 50498 0 | 9 | 16 344.35/344.47 c 293s | 11 | 140138 | 17944 | 50498 0 | 9 | 16 347.44/347.57 c 296s | 11 | 141049 | 18144 | 50498 0 | 9 | 16 350.54/350.67 c 299s | 11 | 142679 | 18344 | 50498 0 | 9 | 16 353.64/353.77 c 302s | 11 | 143818 | 18544 | 50498 0 | 9 | 16 356.84/356.95 c 306s | 11 | 144420 | 18744 | 50498 0 | 9 | 16 359.84/359.94 c 309s | 11 | 145229 | 18944 | 50498 0 | 9 | 16 362.84/362.90 c 312s | 11 | 145974 | 19144 | 50498 0 | 9 | 16 366.34/366.48 c 315s | 11 | 147419 | 19344 | 50498 0 | 9 | 16 369.64/369.73 c 318s | 11 | 148628 | 19544 | 50498 0 | 9 | 16 372.94/373.05 c 322s | 11 | 150459 | 19744 | 50498 0 | 9 | 16 375.94/376.09 c 325s | 11 | 152013 | 19944 | 50498 0 | 9 | 16 379.34/379.43 c 328s | 11 | 154320 | 20144 | 50498 0 | 9 | 16 382.74/382.83 c 332s | 11 | 156362 | 20344 | 50498 0 | 9 | 16 386.24/386.38 c 335s | 11 | 158465 | 20544 | 50498 0 | 9 | 16 389.83/389.92 c 339s | 11 | 160868 | 20744 | 50498 0 | 9 | 16 393.13/393.24 c 342s | 11 | 162400 | 20944 | 50498 0 | 9 | 16 396.53/396.66 c 345s | 11 | 163872 | 21144 | 50498 0 | 9 | 16 400.13/400.22 c 349s | 11 | 164391 | 21344 | 50498 0 | 9 | 16 403.64/403.71 c 352s | 11 | 165804 | 21544 | 50498 0 | 9 | 16 407.13/407.26 c 356s | 11 | 167184 | 21744 | 50498 0 | 9 | 16 410.63/410.70 c 359s | 11 | 168316 | 21944 | 50498 0 | 9 | 16 414.13/414.24 c 363s | 11 | 169716 | 22144 | 50498 0 | 9 | 16 417.73/417.88 c 367s | 11 | 170822 | 22344 | 50498 0 | 9 | 16 421.13/421.27 c 370s | 11 | 172493 | 22544 | 50498 0 | 9 | 16 424.64/424.78 c 373s | 11 | 174106 | 22744 | 50498 0 | 9 | 16 428.33/428.46 c 377s | 11 | 175838 | 22944 | 50498 0 | 9 | 16 432.03/432.19 c 381s | 11 | 177579 | 23144 | 50498 0 | 9 | 16 435.73/435.88 c 385s | 11 | 178982 | 23344 | 50498 0 | 9 | 16 439.43/439.57 c 388s | 11 | 180001 | 23544 | 50498 0 | 9 | 16 443.23/443.32 c 392s | 11 | 180864 | 23744 | 50498 0 | 9 | 16 447.03/447.11 c 396s | 11 | 182074 | 23944 | 50498 0 | 9 | 16 450.72/450.87 c 400s | 11 | 183975 | 24144 | 50498 0 | 9 | 16 454.42/454.53 c 403s | 11 | 185387 | 24344 | 50498 0 | 9 | 16 458.12/458.24 c 407s | 11 | 186659 | 24544 | 50498 0 | 9 | 16 461.72/461.84 c 411s | 11 | 188183 | 24744 | 55548 0 | 9 | 16 465.23/465.33 c 414s | 11 | 190190 | 24944 | 55548 0 | 9 | 16 468.92/469.03 c 418s | 11 | 192700 | 25144 | 55548 0 | 9 | 16 472.32/472.49 c 421s | 11 | 194595 | 25344 | 55548 0 | 9 | 16 475.82/475.94 c 425s | 11 | 196658 | 25544 | 55548 0 | 9 | 16 479.22/479.31 c 428s | 11 | 198239 | 25744 | 55548 0 | 9 | 16 480.52/480.63 c 429s | 12 | 198370 | 25819 | 55548 0 | 9 | 16 484.12/484.24 c 433s | 12 | 199077 | 26019 | 55548 0 | 9 | 16 487.42/487.54 c 436s | 12 | 200313 | 26219 | 55548 0 | 9 | 16 490.72/490.82 c 439s | 12 | 201552 | 26419 | 55548 0 | 9 | 16 493.92/494.00 c 443s | 12 | 202564 | 26619 | 55548 0 | 9 | 16 497.12/497.27 c 446s | 12 | 203148 | 26819 | 55548 0 | 9 | 16 500.32/500.40 c 449s | 12 | 204484 | 27019 | 55548 0 | 9 | 16 503.92/504.06 c 453s | 12 | 206505 | 27219 | 55548 0 | 9 | 16 507.72/507.81 c 456s | 12 | 208047 | 27419 | 55548 0 | 9 | 16 511.32/511.49 c 460s | 12 | 209199 | 27619 | 55548 0 | 9 | 16 515.11/515.22 c 464s | 12 | 210304 | 27819 | 55548 0 | 9 | 16 518.51/518.62 c 467s | 12 | 211557 | 28019 | 55548 0 | 9 | 16 522.01/522.16 c 471s | 12 | 212378 | 28219 | 55548 0 | 9 | 16 525.51/525.62 c 474s | 12 | 213234 | 28419 | 55548 0 | 9 | 16 529.02/529.18 c 478s | 12 | 214084 | 28619 | 55548 0 | 9 | 16 532.91/533.05 c 482s | 12 | 214972 | 28819 | 55548 0 | 9 | 16 536.51/536.62 c 485s | 12 | 216434 | 29019 | 55548 0 | 9 | 16 540.31/540.43 c 489s | 12 | 217332 | 29219 | 55548 0 | 9 | 16 543.91/544.03 c 493s | 12 | 218636 | 29419 | 55548 0 | 9 | 16 547.31/547.49 c 496s | 12 | 220553 | 29619 | 55548 0 | 9 | 16 550.61/550.75 c 499s | 12 | 222716 | 29819 | 55548 0 | 9 | 16 554.11/554.29 c 503s | 12 | 224173 | 30019 | 55548 0 | 9 | 16 557.62/557.79 c 506s | 12 | 226422 | 30219 | 55548 0 | 9 | 16 560.81/561.00 c 510s | 12 | 228836 | 30419 | 55548 0 | 9 | 16 564.11/564.26 c 513s | 12 | 230300 | 30619 | 55548 0 | 9 | 16 567.41/567.59 c 516s | 12 | 231920 | 30819 | 55548 0 | 9 | 16 570.81/570.92 c 520s | 12 | 233546 | 31019 | 55548 0 | 9 | 16 574.11/574.23 c 523s | 12 | 234944 | 31219 | 55548 0 | 9 | 16 577.30/577.45 c 526s | 12 | 236179 | 31419 | 55548 0 | 9 | 16 580.50/580.64 c 529s | 12 | 237027 | 31619 | 55548 0 | 9 | 16 583.70/583.85 c 533s | 12 | 237671 | 31819 | 55548 0 | 9 | 16 587.00/587.10 c 536s | 12 | 239096 | 32019 | 55548 0 | 9 | 16 590.20/590.39 c 539s | 12 | 239924 | 32219 | 55548 0 | 9 | 16 593.40/593.54 c 542s | 12 | 240369 | 32419 | 55548 0 | 9 | 16 596.90/597.07 c 546s | 12 | 241238 | 32619 | 55548 0 | 9 | 16 600.51/600.63 c 549s | 12 | 243199 | 32819 | 55548 0 | 9 | 16 604.20/604.36 c 553s | 12 | 245530 | 33019 | 55548 0 | 9 | 16 607.90/608.03 c 557s | 12 | 247720 | 33219 | 55548 0 | 9 | 16 611.61/611.79 c 560s | 12 | 249526 | 33419 | 55548 0 | 9 | 16 615.20/615.36 c 564s | 12 | 251409 | 33619 | 55548 0 | 9 | 16 618.70/618.85 c 568s | 12 | 252802 | 33819 | 55548 0 | 9 | 16 622.10/622.27 c 571s | 12 | 254077 | 34019 | 55548 0 | 9 | 16 625.49/625.64 c 574s | 12 | 254904 | 34219 | 55548 0 | 9 | 16 628.59/628.70 c 577s | 12 | 255691 | 34419 | 55548 0 | 9 | 16 631.49/631.66 c 580s | 12 | 256905 | 34619 | 55548 0 | 9 | 16 634.29/634.48 c 583s | 12 | 257908 | 34819 | 55548 0 | 9 | 16 637.69/637.81 c 586s | 12 | 258515 | 35019 | 55548 0 | 9 | 16 641.20/641.35 c 590s | 12 | 259067 | 35219 | 55548 0 | 9 | 16 644.89/645.07 c 594s | 12 | 261036 | 35419 | 55548 0 | 9 | 16 648.29/648.49 c 597s | 12 | 262510 | 35619 | 55548 0 | 9 | 16 651.89/652.00 c 601s | 12 | 264678 | 35819 | 55548 0 | 9 | 16 655.39/655.54 c 604s | 12 | 266941 | 36019 | 55548 0 | 9 | 16 658.90/659.08 c 608s | 12 | 268335 | 36219 | 55548 0 | 9 | 16 662.59/662.74 c 611s | 12 | 270307 | 36419 | 55548 0 | 9 | 16 665.99/666.18 c 615s | 12 | 271456 | 36619 | 55548 0 | 9 | 16 669.39/669.52 c 618s | 12 | 272633 | 36819 | 55548 0 | 9 | 16 672.79/672.90 c 622s | 12 | 273561 | 37019 | 55548 0 | 9 | 16 675.99/676.16 c 625s | 12 | 274415 | 37219 | 55548 0 | 9 | 16 679.59/679.77 c 628s | 12 | 275594 | 37419 | 55548 0 | 9 | 16 683.29/683.45 c 632s | 12 | 276717 | 37619 | 55548 0 | 9 | 16 686.78/686.92 c 636s | 12 | 277997 | 37819 | 55548 0 | 9 | 16 690.48/690.60 c 639s | 12 | 279146 | 38019 | 55548 0 | 9 | 16 693.88/694.08 c 643s | 12 | 281294 | 38219 | 55548 0 | 9 | 16 697.29/697.43 c 646s | 12 | 283166 | 38419 | 55548 0 | 9 | 16 700.48/700.60 c 649s | 12 | 284339 | 38619 | 55548 0 | 9 | 16 703.68/703.87 c 653s | 12 | 285569 | 38819 | 55548 0 | 9 | 16 703.89/704.08 c 653s | 13 | 285630 | 38832 | 55548 0 | 9 | 16 707.58/707.74 c 656s | 13 | 286766 | 39032 | 55548 0 | 9 | 16 710.78/710.96 c 660s | 13 | 288401 | 39232 | 55548 0 | 9 | 16 713.89/714.08 c 663s | 13 | 290278 | 39432 | 55548 0 | 9 | 16 716.98/717.20 c 666s | 13 | 291003 | 39632 | 55548 0 | 9 | 16 720.28/720.43 c 669s | 13 | 291943 | 39832 | 55548 0 | 9 | 16 723.38/723.51 c 672s | 13 | 292741 | 40032 | 55548 0 | 9 | 16 726.98/727.12 c 676s | 13 | 293535 | 40232 | 55548 0 | 9 | 16 730.18/730.34 c 679s | 13 | 295265 | 40432 | 55548 0 | 9 | 16 733.78/733.94 c 683s | 13 | 297201 | 40632 | 55548 0 | 9 | 16 737.28/737.44 c 686s | 13 | 299317 | 40832 | 55548 0 | 9 | 16 740.88/741.09 c 690s | 13 | 301184 | 41032 | 55548 0 | 9 | 16 744.87/745.07 c 694s | 13 | 303483 | 41232 | 55548 0 | 9 | 16 748.57/748.77 c 697s | 13 | 305890 | 41432 | 55548 0 | 9 | 16 752.17/752.33 c 701s | 13 | 308064 | 41632 | 55548 0 | 9 | 16 755.77/755.94 c 705s | 13 | 309791 | 41832 | 55548 0 | 9 | 16 759.17/759.35 c 708s | 13 | 311260 | 42032 | 55548 0 | 9 | 16 762.67/762.83 c 712s | 13 | 312420 | 42232 | 55548 0 | 9 | 16 766.37/766.51 c 715s | 13 | 313279 | 42432 | 55548 0 | 9 | 16 769.88/770.04 c 719s | 13 | 314155 | 42632 | 55548 0 | 9 | 16 773.47/773.68 c 722s | 13 | 315412 | 42832 | 55548 0 | 9 | 16 776.97/777.19 c 726s | 13 | 316029 | 43032 | 55548 0 | 9 | 16 780.47/780.62 c 729s | 13 | 316935 | 43232 | 55548 0 | 9 | 16 784.17/784.34 c 733s | 13 | 318840 | 43432 | 55548 0 | 9 | 16 787.37/787.56 c 736s | 13 | 319360 | 43632 | 55548 0 | 9 | 16 790.87/791.09 c 740s | 13 | 320530 | 43832 | 55548 0 | 9 | 16 794.47/794.69 c 743s | 13 | 321430 | 44032 | 55548 0 | 9 | 16 796.46/796.69 c 745s | 13 | 322109 | 44132 | 61103 0 | 9 | 16 800.36/800.51 c 749s | 13 | 325085 | 44332 | 61103 0 | 9 | 16 804.26/804.41 c 753s | 13 | 327151 | 44532 | 61103 0 | 9 | 16 806.27/806.42 c 755s | 13 | 328354 | 44632 | 61103 0 | 9 | 16 809.66/809.84 c 759s | 13 | 330302 | 44832 | 61103 0 | 9 | 16 813.16/813.37 c 762s | 13 | 331889 | 45032 | 61103 0 | 9 | 16 816.96/817.15 c 766s | 13 | 333122 | 45232 | 61103 0 | 9 | 16 820.57/820.79 c 769s | 13 | 334989 | 45432 | 61103 0 | 9 | 16 824.16/824.33 c 773s | 13 | 337256 | 45632 | 61103 0 | 9 | 16 827.56/827.78 c 776s | 13 | 338520 | 45832 | 61103 0 | 9 | 16 831.26/831.45 c 780s | 13 | 339544 | 46032 | 61103 0 | 9 | 16 834.76/834.97 c 784s | 13 | 340646 | 46232 | 61103 0 | 9 | 16 838.36/838.58 c 787s | 13 | 342072 | 46432 | 61103 0 | 9 | 16 842.16/842.31 c 791s | 13 | 343130 | 46632 | 61103 0 | 9 | 16 845.76/845.94 c 795s | 13 | 343969 | 46832 | 61103 0 | 9 | 16 849.25/849.48 c 798s | 13 | 345361 | 47032 | 61103 0 | 9 | 16 853.05/853.27 c 802s | 13 | 346583 | 47232 | 61103 0 | 9 | 16 855.15/855.38 c 804s | 13 | 347236 | 47332 | 61103 0 | 9 | 16 858.55/858.74 c 807s | 13 | 348403 | 47532 | 61103 0 | 9 | 16 862.15/862.35 c 811s | 13 | 349611 | 47732 | 61103 0 | 9 | 16 865.95/866.18 c 815s | 13 | 351277 | 47932 | 61103 0 | 9 | 16 869.65/869.84 c 819s | 13 | 352838 | 48132 | 61103 0 | 9 | 16 873.55/873.80 c 822s | 13 | 353710 | 48332 | 61103 0 | 9 | 16 877.25/877.40 c 826s | 13 | 354631 | 48532 | 61103 0 | 9 | 16 879.25/879.47 c 828s | 13 | 355211 | 48632 | 61103 0 | 9 | 16 883.26/883.46 c 832s | 13 | 356286 | 48832 | 61103 0 | 9 | 16 885.36/885.57 c 834s | 13 | 356812 | 48932 | 61103 0 | 9 | 16 889.35/889.51 c 838s | 13 | 358022 | 49132 | 61103 0 | 9 | 16 891.35/891.53 c 840s | 13 | 358999 | 49232 | 61103 0 | 9 | 16 895.05/895.24 c 844s | 13 | 360636 | 49432 | 61103 0 | 9 | 16 898.85/899.01 c 848s | 13 | 362547 | 49632 | 61103 0 | 9 | 16 902.64/902.81 c 851s | 13 | 363786 | 49832 | 61103 0 | 9 | 16 906.44/906.60 c 855s | 13 | 366032 | 50032 | 61103 0 | 9 | 16 910.24/910.45 c 859s | 13 | 367638 | 50232 | 61103 0 | 9 | 16 914.14/914.36 c 863s | 13 | 368676 | 50432 | 61103 0 | 9 | 16 917.84/918.09 c 867s | 13 | 369493 | 50632 | 61103 0 | 9 | 16 919.94/920.12 c 869s | 13 | 370058 | 50732 | 61103 0 | 9 | 16 921.94/922.16 c 871s | 13 | 370635 | 50832 | 61103 0 | 9 | 16 924.04/924.25 c 873s | 13 | 371435 | 50932 | 61103 0 | 9 | 16 928.04/928.21 c 877s | 13 | 372624 | 51132 | 61103 0 | 9 | 16 931.44/931.70 c 880s | 13 | 373546 | 51332 | 61103 0 | 9 | 16 935.34/935.55 c 884s | 13 | 375189 | 51532 | 61103 0 | 9 | 16 938.93/939.16 c 888s | 13 | 376377 | 51732 | 61103 0 | 9 | 16 942.83/943.04 c 892s | 13 | 377120 | 51932 | 61103 0 | 9 | 16 946.43/946.67 c 895s | 13 | 377993 | 52132 | 61103 0 | 9 | 16 950.03/950.29 c 899s | 13 | 378510 | 52332 | 61103 0 | 9 | 16 953.83/954.06 c 903s | 13 | 379394 | 52532 | 61103 0 | 9 | 16 957.43/957.64 c 906s | 13 | 381416 | 52732 | 61103 0 | 9 | 16 961.24/961.45 c 910s | 13 | 382398 | 52932 | 61103 0 | 9 | 16 964.93/965.13 c 914s | 13 | 383932 | 53132 | 61103 0 | 9 | 16 967.03/967.26 c 916s | 13 | 385236 | 53232 | 61103 0 | 9 | 16 970.73/970.95 c 920s | 13 | 386263 | 53432 | 61103 0 | 9 | 16 974.33/974.59 c 923s | 13 | 387756 | 53632 | 61103 0 | 9 | 16 978.53/978.71 c 927s | 13 | 390125 | 53832 | 61103 0 | 9 | 16 982.43/982.68 c 931s | 13 | 392358 | 54032 | 61103 0 | 9 | 16 986.33/986.55 c 935s | 13 | 394112 | 54232 | 61103 0 | 9 | 16 990.12/990.34 c 939s | 13 | 395827 | 54432 | 61103 0 | 9 | 16 993.82/994.03 c 943s | 13 | 397410 | 54632 | 61103 0 | 9 | 16 997.32/997.59 c 946s | 13 | 398395 | 54832 | 61103 0 | 9 | 16 1001.02/1001.28 c 950s | 13 | 399464 | 55032 | 61103 0 | 9 | 16 1004.72/1004.90 c 954s | 13 | 400214 | 55232 | 61103 0 | 9 | 16 1006.72/1006.94 c 956s | 13 | 401117 | 55332 | 61103 0 | 9 | 16 1010.52/1010.71 c 959s | 13 | 402832 | 55532 | 61103 0 | 9 | 16 1014.22/1014.47 c 963s | 13 | 403709 | 55732 | 61103 0 | 9 | 16 1018.12/1018.30 c 967s | 13 | 404795 | 55932 | 61103 0 | 9 | 16 1020.12/1020.32 c 969s | 13 | 405494 | 56032 | 61103 0 | 9 | 16 1023.42/1023.61 c 972s | 13 | 406317 | 56232 | 61103 0 | 9 | 16 1027.02/1027.22 c 976s | 13 | 407307 | 56432 | 61103 0 | 9 | 16 1029.02/1029.25 c 978s | 13 | 407967 | 56532 | 61103 0 | 9 | 16 1031.12/1031.37 c 980s | 13 | 409203 | 56632 | 61103 0 | 9 | 16 1033.21/1033.44 c 982s | 13 | 410059 | 56732 | 61103 0 | 9 | 16 1036.91/1037.19 c 986s | 13 | 412160 | 56932 | 61103 0 | 9 | 16 1040.52/1040.72 c 989s | 13 | 413279 | 57132 | 61103 0 | 9 | 16 1044.21/1044.46 c 993s | 13 | 414686 | 57332 | 61103 0 | 9 | 16 1047.91/1048.18 c 997s | 13 | 416119 | 57532 | 61103 0 | 9 | 16 1051.81/1052.06 c 1001s | 13 | 417848 | 57732 | 61103 0 | 9 | 16 1055.51/1055.75 c 1004s | 13 | 419127 | 57932 | 61103 0 | 9 | 16 1059.31/1059.54 c 1008s | 13 | 419651 | 58132 | 61103 0 | 9 | 16 1061.31/1061.58 c 1010s | 13 | 420279 | 58232 | 61103 0 | 9 | 16 1063.41/1063.68 c 1012s | 14 | 421426 | 58352 | 61103 0 | 9 | 16 1067.00/1067.24 c 1016s | 14 | 422398 | 58552 | 61103 0 | 9 | 16 1071.00/1071.22 c 1020s | 14 | 424221 | 58752 | 61103 0 | 9 | 16 1073.00/1073.29 c 1022s | 14 | 425806 | 58852 | 61103 0 | 9 | 16 1075.10/1075.32 c 1024s | 14 | 427318 | 58952 | 61103 0 | 9 | 16 1077.20/1077.41 c 1026s | 14 | 428679 | 59052 | 61103 0 | 9 | 16 1081.11/1081.40 c 1030s | 14 | 431155 | 59252 | 61103 0 | 9 | 16 1083.20/1083.46 c 1032s | 14 | 432366 | 59352 | 61103 0 | 9 | 16 1087.10/1087.37 c 1036s | 14 | 435107 | 59552 | 61103 0 | 9 | 16 1090.90/1091.10 c 1040s | 14 | 437044 | 59752 | 61103 0 | 9 | 16 1092.89/1093.13 c 1042s | 14 | 437939 | 59852 | 61103 0 | 9 | 16 1096.69/1096.95 c 1046s | 14 | 439514 | 60052 | 61103 0 | 9 | 16 1100.29/1100.55 c 1049s | 14 | 440350 | 60252 | 61103 0 | 9 | 16 1104.19/1104.48 c 1053s | 14 | 441188 | 60452 | 61103 0 | 9 | 16 1106.39/1106.63 c 1055s | 14 | 441420 | 60552 | 61103 0 | 9 | 16 1108.39/1108.64 c 1057s | 14 | 442323 | 60652 | 61103 0 | 9 | 16 1112.09/1112.31 c 1061s | 14 | 443506 | 60852 | 61103 0 | 9 | 16 1115.98/1116.30 c 1065s | 14 | 444782 | 61052 | 61103 0 | 9 | 16 1118.18/1118.41 c 1067s | 14 | 445662 | 61152 | 61103 0 | 9 | 16 1122.27/1122.50 c 1071s | 14 | 448037 | 61352 | 61103 0 | 9 | 16 1126.47/1126.70 c 1075s | 14 | 449899 | 61552 | 61103 0 | 9 | 16 1128.67/1128.90 c 1078s | 14 | 451101 | 61652 | 61103 0 | 9 | 16 1130.77/1131.01 c 1080s | 14 | 452073 | 61752 | 61103 0 | 9 | 16 1132.77/1133.05 c 1082s | 14 | 453420 | 61852 | 61103 0 | 9 | 16 1136.87/1137.14 c 1086s | 14 | 455518 | 62052 | 61103 0 | 9 | 16 1138.97/1139.25 c 1088s | 14 | 456353 | 62152 | 61103 0 | 9 | 16 1141.27/1141.50 c 1090s | 14 | 457276 | 62252 | 61103 0 | 9 | 16 1143.36/1143.66 c 1092s | 14 | 458664 | 62352 | 61103 0 | 9 | 16 1145.56/1145.80 c 1094s | 14 | 459277 | 62452 | 61103 0 | 9 | 16 1147.56/1147.87 c 1097s | 14 | 460250 | 62552 | 61103 0 | 9 | 16 1149.66/1149.90 c 1099s | 14 | 461196 | 62652 | 61103 0 | 9 | 16 1151.76/1152.00 c 1101s | 14 | 461429 | 62752 | 61103 0 | 9 | 16 1153.86/1154.10 c 1103s | 14 | 461720 | 62852 | 61103 0 | 9 | 16 1156.06/1156.32 c 1105s | 14 | 461954 | 62952 | 61103 0 | 9 | 16 1158.75/1159.07 c 1108s | 14 | 462652 | 63052 | 61103 1 | 9 | 16 1161.15/1161.45 c 1110s | 14 | 463378 | 63152 | 61103 1 | 9 | 16 1164.95/1165.29 c 1114s | 14 | 464863 | 63352 | 61103 1 | 9 | 16 1167.35/1167.61 c 1116s | 14 | 465720 | 63452 | 61103 1 | 9 | 16 1169.45/1169.72 c 1118s | 14 | 467126 | 63552 | 61103 1 | 9 | 16 1172.05/1172.34 c 1121s | 14 | 468612 | 63652 | 61103 1 | 9 | 16 1174.14/1174.43 c 1123s | 14 | 469182 | 63752 | 61103 1 | 9 | 16 1176.24/1176.52 c 1125s | 14 | 469908 | 63852 | 61103 1 | 9 | 16 1180.15/1180.44 c 1129s | 14 | 471808 | 64052 | 61103 1 | 9 | 16 1182.24/1182.56 c 1131s | 14 | 472342 | 64152 | 61103 1 | 9 | 16 1184.44/1184.71 c 1133s | 14 | 472697 | 64252 | 61103 1 | 9 | 16 1186.53/1186.83 c 1136s | 14 | 473085 | 64352 | 61103 1 | 9 | 16 1188.63/1188.94 c 1138s | 14 | 473574 | 64452 | 61103 1 | 9 | 16 1190.73/1191.05 c 1140s | 14 | 474708 | 64552 | 61103 1 | 9 | 16 1194.63/1194.96 c 1144s | 14 | 475835 | 64752 | 61103 1 | 9 | 16 1196.63/1196.99 c 1146s | 14 | 476430 | 64852 | 61103 1 | 9 | 16 1198.73/1199.09 c 1148s | 14 | 477257 | 64952 | 61103 1 | 9 | 16 1200.83/1201.20 c 1150s | 14 | 477896 | 65052 | 61103 1 | 9 | 16 1204.72/1205.02 c 1154s | 14 | 479165 | 65252 | 61103 1 | 9 | 16 1208.82/1209.11 c 1158s | 14 | 480206 | 65452 | 61103 1 | 9 | 16 1210.83/1211.17 c 1160s | 14 | 481296 | 65552 | 61103 1 | 9 | 16 1213.12/1213.42 c 1162s | 14 | 482416 | 65652 | 61103 1 | 9 | 16 1215.51/1215.80 c 1164s | 14 | 483766 | 65752 | 61103 1 | 9 | 16 1217.52/1217.90 c 1167s | 14 | 484773 | 65852 | 61103 1 | 9 | 16 1219.62/1220.00 c 1169s | 14 | 486131 | 65952 | 61103 1 | 9 | 16 1221.82/1222.15 c 1171s | 14 | 487424 | 66052 | 61103 1 | 9 | 16 1224.11/1224.42 c 1173s | 14 | 488898 | 66152 | 61103 1 | 9 | 16 1226.31/1226.67 c 1175s | 14 | 489960 | 66252 | 61103 1 | 9 | 16 1228.61/1228.92 c 1178s | 14 | 491091 | 66352 | 61103 1 | 9 | 16 1230.81/1231.10 c 1180s | 14 | 491814 | 66452 | 61103 1 | 9 | 16 1233.00/1233.32 c 1182s | 14 | 492655 | 66552 | 61103 1 | 9 | 16 1235.11/1235.44 c 1184s | 14 | 493142 | 66652 | 61103 1 | 9 | 16 1237.31/1237.66 c 1186s | 14 | 493653 | 66752 | 61103 1 | 9 | 16 1239.41/1239.72 c 1188s | 14 | 494139 | 66852 | 61103 1 | 9 | 16 1241.40/1241.74 c 1190s | 14 | 494413 | 66952 | 61103 1 | 9 | 16 1243.49/1243.81 c 1192s | 14 | 494701 | 67052 | 61103 1 | 9 | 16 1245.59/1245.97 c 1195s | 14 | 495179 | 67152 | 61103 1 | 9 | 16 1247.79/1248.12 c 1197s | 14 | 495660 | 67252 | 61103 1 | 9 | 16 1249.99/1250.36 c 1199s | 14 | 496554 | 67352 | 61103 1 | 9 | 16 1252.28/1252.68 c 1201s | 14 | 497156 | 67452 | 61103 1 | 9 | 16 1254.58/1254.91 c 1204s | 14 | 498020 | 67552 | 61103 1 | 9 | 16 1256.89/1257.21 c 1206s | 14 | 498907 | 67652 | 61103 1 | 9 | 16 1259.09/1259.44 c 1208s | 14 | 499855 | 67752 | 61103 1 | 9 | 16 1261.09/1261.48 c 1210s | 14 | 501277 | 67852 | 61103 1 | 9 | 16 1263.39/1263.76 c 1212s | 14 | 501827 | 67952 | 61103 1 | 9 | 16 1265.69/1266.03 c 1215s | 14 | 503073 | 68052 | 61103 1 | 9 | 16 1267.99/1268.31 c 1217s | 14 | 503936 | 68152 | 61103 1 | 9 | 16 1270.09/1270.50 c 1219s | 14 | 504894 | 68252 | 61103 1 | 9 | 16 1272.39/1272.72 c 1221s | 14 | 505486 | 68352 | 61103 1 | 9 | 16 1274.59/1274.93 c 1224s | 14 | 506305 | 68452 | 61103 1 | 9 | 16 1276.79/1277.14 c 1226s | 14 | 507198 | 68552 | 61103 1 | 9 | 16 1279.09/1279.47 c 1228s | 14 | 507469 | 68652 | 61103 1 | 9 | 16 1281.38/1281.76 c 1230s | 14 | 507962 | 68752 | 61103 1 | 9 | 16 1283.68/1284.05 c 1233s | 14 | 508265 | 68852 | 61103 1 | 9 | 16 1285.98/1286.31 c 1235s | 14 | 508912 | 68952 | 61103 1 | 9 | 16 1288.28/1288.67 c 1237s | 14 | 509510 | 69052 | 61103 1 | 9 | 16 1290.58/1290.92 c 1240s | 14 | 510397 | 69152 | 61103 1 | 9 | 16 1292.68/1293.08 c 1242s | 14 | 511157 | 69252 | 61103 1 | 9 | 16 1294.98/1295.35 c 1244s | 14 | 511981 | 69352 | 61103 1 | 9 | 16 1299.38/1299.73 c 1248s | 14 | 513878 | 69552 | 61103 1 | 9 | 16 1301.78/1302.12 c 1251s | 14 | 514482 | 69652 | 61103 1 | 9 | 16 1304.29/1304.67 c 1253s | 14 | 515728 | 69752 | 61103 1 | 9 | 16 1306.59/1306.99 c 1256s | 14 | 516711 | 69852 | 61103 1 | 9 | 16 1308.98/1309.37 c 1258s | 14 | 518445 | 69952 | 61103 1 | 9 | 16 1311.38/1311.72 c 1260s | 14 | 519518 | 70052 | 61103 1 | 9 | 16 1313.58/1313.90 c 1263s | 14 | 520102 | 70152 | 61103 1 | 9 | 16 1315.98/1316.39 c 1265s | 14 | 521044 | 70252 | 61103 1 | 9 | 16 1318.28/1318.65 c 1267s | 14 | 521804 | 70352 | 61103 1 | 9 | 16 1320.48/1320.88 c 1270s | 14 | 522926 | 70452 | 61103 1 | 9 | 16 1322.78/1323.11 c 1272s | 14 | 523681 | 70552 | 61103 1 | 9 | 16 1324.98/1325.32 c 1274s | 14 | 524874 | 70652 | 61103 1 | 9 | 16 1327.18/1327.57 c 1276s | 14 | 525863 | 70752 | 61103 1 | 9 | 16 1329.48/1329.84 c 1279s | 14 | 526659 | 70852 | 61103 1 | 9 | 16 1331.68/1332.07 c 1281s | 14 | 527776 | 70952 | 61103 1 | 9 | 16 1333.98/1334.30 c 1283s | 14 | 528165 | 71052 | 61103 1 | 9 | 16 1336.18/1336.53 c 1285s | 14 | 529219 | 71152 | 61103 1 | 9 | 16 1338.48/1338.80 c 1287s | 14 | 529513 | 71252 | 61103 1 | 9 | 16 1340.68/1341.08 c 1290s | 14 | 530119 | 71352 | 61103 1 | 9 | 16 1342.97/1343.30 c 1292s | 14 | 530617 | 71452 | 61103 1 | 9 | 16 1345.08/1345.45 c 1294s | 14 | 531202 | 71552 | 61103 1 | 9 | 16 1347.18/1347.58 c 1296s | 14 | 532112 | 71652 | 61103 1 | 9 | 16 1349.27/1349.60 c 1298s | 14 | 532787 | 71752 | 61103 1 | 9 | 16 1352.68/1353.08 c 1302s | 14 | 533460 | 71952 | 61103 1 | 9 | 16 1356.37/1356.70 c 1305s | 14 | 534463 | 72152 | 61103 1 | 9 | 16 1358.47/1358.87 c 1308s | 14 | 535559 | 72252 | 61103 1 | 9 | 16 1360.97/1361.31 c 1310s | 14 | 536263 | 72352 | 61103 1 | 9 | 16 1363.27/1363.69 c 1312s | 14 | 537579 | 72452 | 61103 1 | 9 | 16 1365.57/1365.94 c 1315s | 14 | 539418 | 72552 | 61103 1 | 9 | 16 1367.87/1368.27 c 1317s | 14 | 540637 | 72652 | 61103 1 | 9 | 16 1370.28/1370.62 c 1319s | 14 | 541555 | 72752 | 61103 1 | 9 | 16 1372.67/1373.00 c 1322s | 14 | 542473 | 72852 | 61103 1 | 9 | 16 1374.87/1375.25 c 1324s | 14 | 543268 | 72952 | 61103 1 | 9 | 16 1377.37/1377.70 c 1326s | 14 | 543948 | 73052 | 61103 1 | 9 | 16 1379.57/1379.98 c 1329s | 14 | 544512 | 73152 | 67214 1 | 9 | 16 1381.97/1382.35 c 1331s | 14 | 544829 | 73252 | 67214 1 | 9 | 16 1384.27/1384.66 c 1333s | 14 | 545013 | 73352 | 67214 1 | 9 | 16 1386.77/1387.14 c 1336s | 14 | 545447 | 73452 | 67214 1 | 9 | 16 1389.07/1389.41 c 1338s | 14 | 545684 | 73552 | 67214 1 | 9 | 16 1391.27/1391.62 c 1340s | 14 | 546495 | 73652 | 67214 1 | 9 | 16 1393.37/1393.79 c 1342s | 14 | 546840 | 73752 | 67214 1 | 9 | 16 1395.77/1396.11 c 1345s | 14 | 547134 | 73852 | 67214 1 | 9 | 16 1398.07/1398.40 c 1347s | 14 | 547353 | 73952 | 67214 1 | 9 | 16 1400.17/1400.56 c 1349s | 14 | 547553 | 74052 | 67214 1 | 9 | 16 1402.37/1402.70 c 1351s | 14 | 548004 | 74152 | 67214 1 | 9 | 16 1404.66/1405.09 c 1354s | 14 | 548703 | 74252 | 67214 1 | 9 | 16 1407.06/1407.49 c 1356s | 14 | 549261 | 74352 | 67214 1 | 9 | 16 1409.46/1409.82 c 1358s | 14 | 550103 | 74452 | 67214 1 | 9 | 16 1411.76/1412.15 c 1361s | 14 | 551296 | 74552 | 67214 1 | 9 | 16 1414.06/1414.49 c 1363s | 14 | 552498 | 74652 | 67214 1 | 9 | 16 1416.57/1416.92 c 1366s | 14 | 553721 | 74752 | 67214 1 | 9 | 16 1418.86/1419.29 c 1368s | 14 | 554658 | 74852 | 67214 1 | 9 | 16 1421.46/1421.82 c 1370s | 14 | 555610 | 74952 | 67214 1 | 9 | 16 1423.76/1424.16 c 1373s | 14 | 556393 | 75052 | 67214 1 | 9 | 16 1426.16/1426.54 c 1375s | 14 | 557120 | 75152 | 67214 1 | 9 | 16 1428.46/1428.80 c 1377s | 14 | 557698 | 75252 | 67214 1 | 9 | 16 1430.66/1431.00 c 1380s | 14 | 558200 | 75352 | 67214 1 | 9 | 16 1432.86/1433.27 c 1382s | 14 | 558464 | 75452 | 67214 1 | 9 | 16 1435.27/1435.64 c 1384s | 14 | 558751 | 75552 | 67214 1 | 9 | 16 1437.56/1437.97 c 1387s | 14 | 559201 | 75652 | 67214 1 | 9 | 16 1439.96/1440.39 c 1389s | 14 | 559877 | 75752 | 67214 1 | 9 | 16 1442.46/1442.86 c 1392s | 14 | 560966 | 75852 | 67214 1 | 9 | 16 1444.86/1445.22 c 1394s | 14 | 562202 | 75952 | 67214 1 | 9 | 16 1446.96/1447.33 c 1396s | 14 | 562825 | 76052 | 67214 1 | 9 | 16 1449.36/1449.78 c 1398s | 14 | 564352 | 76152 | 67214 1 | 9 | 16 1451.76/1452.11 c 1401s | 14 | 565271 | 76252 | 67214 1 | 9 | 16 1454.16/1454.50 c 1403s | 14 | 566134 | 76352 | 67214 1 | 9 | 16 1456.46/1456.82 c 1405s | 14 | 567300 | 76452 | 67214 1 | 9 | 16 1458.86/1459.22 c 1408s | 14 | 568025 | 76552 | 67214 1 | 9 | 16 1461.36/1461.72 c 1410s | 14 | 568704 | 76652 | 67214 1 | 9 | 16 1463.76/1464.18 c 1413s | 14 | 569121 | 76752 | 67214 1 | 9 | 16 1466.16/1466.55 c 1415s | 14 | 569686 | 76852 | 67214 1 | 9 | 16 1468.55/1468.91 c 1418s | 14 | 570333 | 76952 | 67214 1 | 9 | 16 1470.75/1471.19 c 1420s | 14 | 571022 | 77052 | 67214 1 | 9 | 16 1473.15/1473.52 c 1422s | 14 | 571597 | 77152 | 67214 1 | 9 | 16 1475.35/1475.78 c 1424s | 14 | 572026 | 77252 | 67214 1 | 9 | 16 1477.75/1478.18 c 1427s | 14 | 572358 | 77352 | 67214 1 | 9 | 16 1480.26/1480.65 c 1429s | 14 | 572721 | 77452 | 67214 1 | 9 | 16 1482.75/1483.18 c 1432s | 14 | 573440 | 77552 | 67214 1 | 9 | 16 1485.35/1485.74 c 1434s | 14 | 574544 | 77652 | 67214 1 | 9 | 16 1487.96/1488.32 c 1437s | 14 | 575389 | 77752 | 67214 1 | 9 | 16 1490.05/1490.40 c 1439s | 14 | 576325 | 77852 | 67214 1 | 9 | 16 1492.46/1492.84 c 1442s | 14 | 577389 | 77952 | 67214 1 | 9 | 16 1495.05/1495.44 c 1444s | 14 | 578837 | 78052 | 67214 1 | 9 | 16 1497.75/1498.12 c 1447s | 14 | 579949 | 78152 | 67214 1 | 9 | 16 1500.16/1500.59 c 1449s | 14 | 580834 | 78252 | 67214 1 | 9 | 16 1502.75/1503.13 c 1452s | 14 | 581889 | 78352 | 67214 1 | 9 | 16 1505.05/1505.48 c 1454s | 14 | 582650 | 78452 | 67214 1 | 9 | 16 1507.55/1507.92 c 1457s | 14 | 583403 | 78552 | 67214 1 | 9 | 16 1509.95/1510.38 c 1459s | 14 | 584228 | 78652 | 67214 1 | 9 | 16 1512.35/1512.79 c 1461s | 14 | 584906 | 78752 | 67214 1 | 9 | 16 1514.75/1515.19 c 1464s | 14 | 585492 | 78852 | 67214 1 | 9 | 16 1517.45/1517.84 c 1467s | 14 | 585695 | 78952 | 67214 1 | 9 | 16 1519.95/1520.38 c 1469s | 14 | 586540 | 79052 | 67214 1 | 9 | 16 1522.45/1522.84 c 1472s | 14 | 587085 | 79152 | 67214 1 | 9 | 16 1524.85/1525.28 c 1474s | 14 | 587510 | 79252 | 67214 1 | 9 | 16 1527.44/1527.83 c 1477s | 14 | 588449 | 79352 | 67214 1 | 9 | 16 1529.85/1530.23 c 1479s | 14 | 589695 | 79452 | 67214 1 | 9 | 16 1532.24/1532.68 c 1481s | 14 | 590811 | 79552 | 67214 1 | 9 | 16 1534.64/1535.08 c 1484s | 14 | 591245 | 79652 | 67214 1 | 9 | 16 1537.04/1537.44 c 1486s | 14 | 591454 | 79752 | 67214 1 | 9 | 16 1539.44/1539.80 c 1488s | 14 | 592084 | 79852 | 67214 1 | 9 | 16 1541.74/1542.19 c 1491s | 14 | 592656 | 79952 | 67214 1 | 9 | 16 1544.05/1544.40 c 1493s | 14 | 593045 | 80052 | 67214 1 | 9 | 16 1546.54/1546.92 c 1496s | 14 | 593564 | 80152 | 67214 1 | 9 | 16 1548.74/1549.14 c 1498s | 14 | 594007 | 80252 | 67214 1 | 9 | 16 1551.34/1551.72 c 1500s | 14 | 594718 | 80352 | 67214 1 | 9 | 16 1553.74/1554.17 c 1503s | 14 | 595447 | 80452 | 67214 1 | 9 | 16 1556.15/1556.58 c 1505s | 14 | 595842 | 80552 | 67214 1 | 9 | 16 1558.64/1559.08 c 1508s | 14 | 596754 | 80652 | 67214 1 | 9 | 16 1561.04/1561.48 c 1510s | 14 | 597557 | 80752 | 67214 1 | 9 | 16 1563.64/1564.05 c 1513s | 14 | 598562 | 80852 | 67214 1 | 9 | 16 1565.94/1566.31 c 1515s | 14 | 599760 | 80952 | 67214 1 | 9 | 16 1568.25/1568.65 c 1517s | 14 | 601371 | 81052 | 67214 1 | 9 | 16 1570.55/1570.98 c 1520s | 14 | 602099 | 81152 | 67214 1 | 9 | 16 1573.04/1573.45 c 1522s | 14 | 602832 | 81252 | 67214 1 | 9 | 16 1575.44/1575.86 c 1525s | 14 | 603841 | 81352 | 67214 1 | 9 | 16 1577.84/1578.23 c 1527s | 14 | 604392 | 81452 | 67214 1 | 9 | 16 1580.24/1580.60 c 1529s | 14 | 605131 | 81552 | 67214 1 | 9 | 16 1582.44/1582.83 c 1532s | 14 | 605756 | 81652 | 67214 1 | 9 | 16 1584.64/1585.03 c 1534s | 14 | 605987 | 81752 | 67214 1 | 9 | 16 1586.94/1587.33 c 1536s | 14 | 606328 | 81852 | 67214 1 | 9 | 16 1589.54/1589.92 c 1539s | 14 | 606995 | 81952 | 67214 1 | 9 | 16 1591.84/1592.27 c 1541s | 14 | 607528 | 82052 | 67214 1 | 9 | 16 1594.13/1594.51 c 1543s | 14 | 607927 | 82152 | 67214 1 | 9 | 16 1596.33/1596.79 c 1545s | 14 | 608383 | 82252 | 67214 1 | 9 | 16 1598.73/1599.15 c 1548s | 14 | 609371 | 82352 | 67214 1 | 9 | 16 1601.13/1601.60 c 1550s | 14 | 610576 | 82452 | 67214 1 | 9 | 16 1603.54/1603.96 c 1553s | 14 | 611426 | 82552 | 67214 1 | 9 | 16 1605.93/1606.33 c 1555s | 14 | 612480 | 82652 | 67214 1 | 9 | 16 1608.33/1608.75 c 1557s | 14 | 613245 | 82752 | 67214 1 | 9 | 16 1610.73/1611.13 c 1560s | 14 | 613868 | 82852 | 67214 1 | 9 | 16 1612.93/1613.32 c 1562s | 14 | 614236 | 82952 | 67214 1 | 9 | 16 1615.33/1615.71 c 1564s | 14 | 614567 | 83052 | 67214 1 | 9 | 16 1617.74/1618.11 c 1567s | 14 | 615061 | 83152 | 67214 1 | 9 | 16 1620.04/1620.47 c 1569s | 14 | 615477 | 83252 | 67214 1 | 9 | 16 1622.43/1622.88 c 1572s | 14 | 615834 | 83352 | 67214 1 | 9 | 16 1624.93/1625.36 c 1574s | 14 | 616453 | 83452 | 67214 1 | 9 | 16 1627.13/1627.54 c 1576s | 14 | 616852 | 83552 | 67214 1 | 9 | 16 1629.53/1629.98 c 1579s | 14 | 617602 | 83652 | 67214 1 | 9 | 16 1632.04/1632.43 c 1581s | 14 | 618263 | 83752 | 67214 1 | 9 | 16 1634.34/1634.78 c 1583s | 14 | 619290 | 83852 | 67214 1 | 9 | 16 1636.73/1637.16 c 1586s | 14 | 620461 | 83952 | 67214 1 | 9 | 16 1639.23/1639.63 c 1588s | 14 | 621749 | 84052 | 67214 1 | 9 | 16 1641.73/1642.14 c 1591s | 14 | 622764 | 84152 | 67214 1 | 9 | 16 1644.13/1644.59 c 1593s | 14 | 623994 | 84252 | 67214 1 | 9 | 16 1646.63/1647.00 c 1596s | 14 | 624768 | 84352 | 67214 1 | 9 | 16 1649.03/1649.42 c 1598s | 14 | 625564 | 84452 | 67214 1 | 9 | 16 1651.23/1651.68 c 1600s | 14 | 626004 | 84552 | 67214 1 | 9 | 16 1653.73/1654.19 c 1603s | 14 | 626931 | 84652 | 67214 1 | 9 | 16 1655.93/1656.35 c 1605s | 14 | 627189 | 84752 | 67214 1 | 9 | 16 1658.22/1658.65 c 1607s | 14 | 627572 | 84852 | 67214 1 | 9 | 16 1660.32/1660.77 c 1609s | 14 | 628028 | 84952 | 67214 1 | 9 | 16 1662.52/1662.93 c 1612s | 14 | 628248 | 85052 | 67214 1 | 9 | 16 1664.72/1665.11 c 1614s | 14 | 628682 | 85152 | 67214 1 | 9 | 16 1666.92/1667.33 c 1616s | 14 | 629438 | 85252 | 67214 1 | 9 | 16 1669.12/1669.57 c 1618s | 14 | 630328 | 85352 | 67214 1 | 9 | 16 1671.73/1672.14 c 1621s | 14 | 631331 | 85452 | 67214 1 | 9 | 16 1674.22/1674.66 c 1623s | 14 | 632237 | 85552 | 67214 1 | 9 | 16 1676.62/1677.08 c 1626s | 14 | 633005 | 85652 | 67214 1 | 9 | 16 1679.02/1679.43 c 1628s | 14 | 633710 | 85752 | 67214 1 | 9 | 16 1681.42/1681.85 c 1631s | 14 | 634444 | 85852 | 67214 1 | 9 | 16 1683.73/1684.15 c 1633s | 14 | 634988 | 85952 | 67214 1 | 9 | 16 1686.03/1686.47 c 1635s | 14 | 635466 | 86052 | 67214 1 | 9 | 16 1688.42/1688.81 c 1637s | 14 | 635759 | 86152 | 67214 1 | 9 | 16 1690.92/1691.34 c 1640s | 14 | 636465 | 86252 | 67214 1 | 9 | 16 1693.32/1693.75 c 1642s | 14 | 637048 | 86352 | 67214 1 | 9 | 16 1695.62/1696.03 c 1645s | 14 | 637839 | 86452 | 67214 1 | 9 | 16 1698.12/1698.59 c 1647s | 14 | 639138 | 86552 | 67214 1 | 9 | 16 1700.22/1700.69 c 1649s | 14 | 640039 | 86652 | 67214 1 | 9 | 16 1702.52/1702.99 c 1652s | 14 | 640947 | 86752 | 67214 1 | 9 | 16 1704.92/1705.39 c 1654s | 14 | 642088 | 86852 | 67214 1 | 9 | 16 1707.22/1707.63 c 1656s | 14 | 642944 | 86952 | 67214 1 | 9 | 16 1709.52/1709.91 c 1659s | 14 | 643651 | 87052 | 67214 1 | 9 | 16 1711.72/1712.12 c 1661s | 14 | 644417 | 87152 | 67214 1 | 9 | 16 1713.92/1714.39 c 1663s | 14 | 645043 | 87252 | 67214 1 | 9 | 16 1716.42/1716.83 c 1666s | 14 | 645728 | 87352 | 67214 1 | 9 | 16 1718.81/1719.24 c 1668s | 14 | 646397 | 87452 | 67214 1 | 9 | 16 1721.01/1721.42 c 1670s | 14 | 646914 | 87552 | 67214 1 | 9 | 16 1722.91/1723.32 c 1672s | 15 | 647193 | 87632 | 67214 1 | 9 | 16 1725.41/1725.87 c 1675s | 15 | 647740 | 87732 | 67214 1 | 9 | 16 1727.72/1728.13 c 1677s | 15 | 648949 | 87832 | 67214 1 | 9 | 16 1730.02/1730.43 c 1679s | 15 | 650000 | 87932 | 67214 1 | 9 | 16 1732.41/1732.87 c 1682s | 15 | 650481 | 88032 | 67214 1 | 9 | 16 1735.11/1735.52 c 1684s | 15 | 651255 | 88132 | 67214 1 | 9 | 16 1738.01/1738.46 c 1687s | 15 | 652070 | 88232 | 67214 1 | 9 | 16 1740.61/1741.00 c 1690s | 15 | 653223 | 88332 | 67214 1 | 9 | 16 1743.31/1743.74 c 1692s | 15 | 653747 | 88432 | 67214 1 | 9 | 16 1746.01/1746.41 c 1695s | 15 | 654575 | 88532 | 67214 1 | 9 | 16 1748.51/1748.95 c 1698s | 15 | 655313 | 88632 | 67214 1 | 9 | 16 1751.01/1751.50 c 1700s | 15 | 656144 | 88732 | 67214 1 | 9 | 16 1753.81/1754.26 c 1703s | 15 | 656826 | 88832 | 67214 1 | 9 | 16 1756.41/1756.86 c 1706s | 15 | 657184 | 88932 | 67214 1 | 9 | 16 1759.11/1759.59 c 1708s | 15 | 657381 | 89032 | 67214 1 | 9 | 16 1761.61/1762.04 c 1711s | 15 | 657653 | 89132 | 67214 1 | 9 | 16 1764.51/1764.97 c 1714s | 15 | 657970 | 89232 | 67214 1 | 9 | 16 1767.41/1767.88 c 1717s | 15 | 658348 | 89332 | 67214 1 | 9 | 16 1769.91/1770.33 c 1719s | 15 | 658872 | 89432 | 67214 1 | 9 | 16 1772.20/1772.66 c 1721s | 15 | 659091 | 89532 | 67214 1 | 9 | 16 1774.50/1774.96 c 1724s | 15 | 659228 | 89632 | 67214 1 | 9 | 16 1777.21/1777.61 c 1726s | 15 | 659860 | 89732 | 67214 1 | 9 | 16 1780.20/1780.67 c 1729s | 15 | 660862 | 89832 | 67214 1 | 9 | 16 1782.71/1783.12 c 1732s | 15 | 661265 | 89932 | 67214 1 | 9 | 16 1785.10/1785.54 c 1734s | 15 | 661839 | 90032 | 67214 1 | 9 | 16 1787.80/1788.27 c 1737s | 15 | 662736 | 90132 | 67214 1 | 9 | 16 1790.51/1790.96 c 1740s | 15 | 663064 | 90232 | 67214 1 | 9 | 16 1793.30/1793.72 c 1742s | 15 | 663660 | 90332 | 67214 1 | 9 | 16 1796.01/1796.47 c 1745s | 15 | 664271 | 90432 | 67214 1 | 9 | 16 1798.60/1799.08 c 1748s | 15 | 665301 | 90532 | 67214 1 | 9 | 16
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-4080138-1465257240/watcher-4080138-1465257240 -o /tmp/evaluation-result-4080138-1465257240/solver-4080138-1465257240 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31671 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080138-1465257240.opb pid=2911 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.21 2.19 2.18 2/179 2914 /proc/meminfo: memFree=29218136/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=724412 CPUtime=0 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 2697 0 0 0 0 0 0 0 20 0 4 0 107657156 741797888 3569 33554432000 4194304 16246674 140735333907984 140735333907408 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 181615 3580 441 2943 0 178509 0 [pid=2914/tid=2915] ppid=2911 vsize=768444 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 786886656 3742 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=772540 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 791080960 3760 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=777660 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107657156 796323840 3777 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100166 s] /proc/loadavg: 2.21 2.19 2.18 2/179 2914 /proc/meminfo: memFree=29218136/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=1220164 CPUtime=0.09 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 25085 0 0 0 5 4 0 0 20 0 4 0 107657156 1249447936 25894 33554432000 4194304 16246674 140735333907984 140735333907296 12481124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 305041 25902 835 2943 0 301935 0 [pid=2914/tid=2915] ppid=2911 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 1249447936 25909 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 1249447936 25915 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107657156 1249447936 25922 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200523 s] /proc/loadavg: 2.21 2.19 2.18 2/179 2914 /proc/meminfo: memFree=29218136/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=1284676 CPUtime=0.19 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 43382 0 0 0 13 6 0 0 20 0 4 0 107657156 1315508224 44192 33554432000 4194304 16246674 140735333907984 140735333907296 5589389 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 321169 44201 836 2943 0 318063 0 [pid=2914/tid=2915] ppid=2911 vsize=1284676 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 1315508224 44208 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=1284676 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 1315508224 44212 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=1284676 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107657156 1315508224 44219 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1284676 [startup+0.300473 s] /proc/loadavg: 2.21 2.19 2.18 2/179 2914 /proc/meminfo: memFree=29218136/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=1289796 CPUtime=0.29 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 53729 0 0 0 21 8 0 0 20 0 4 0 107657156 1320751104 54538 33554432000 4194304 16246674 140735333907984 140735333907296 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 322449 54543 836 2943 0 319343 0 [pid=2914/tid=2915] ppid=2911 vsize=1289796 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 1320751104 54545 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=1289796 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 1320751104 54548 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=1289796 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107657156 1320751104 54551 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1289796 [startup+0.700409 s] /proc/loadavg: 2.21 2.19 2.18 2/179 2914 /proc/meminfo: memFree=29218136/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=1307204 CPUtime=0.69 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 58253 0 0 0 60 9 0 0 20 0 4 0 107657156 1338576896 59062 33554432000 4194304 16246674 140735333907984 140735333907296 5545721 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 326801 59062 908 2943 0 323695 0 [pid=2914/tid=2915] ppid=2911 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 1338576896 59062 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 1338576896 59062 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107657156 1338576896 59062 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1307204 [startup+1.50041 s] /proc/loadavg: 2.21 2.19 2.18 3/183 2918 /proc/meminfo: memFree=28922120/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=1308228 CPUtime=1.49 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 73679 0 0 0 138 11 0 0 20 0 4 0 107657156 1339625472 74488 33554432000 4194304 16246674 140735333907984 140735333889856 5674764 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 327057 74488 910 2943 0 323951 0 [pid=2914/tid=2915] ppid=2911 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 1339625472 74488 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 1339625472 74488 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107657156 1339625472 74488 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1308228 [startup+3.10042 s] /proc/loadavg: 2.21 2.19 2.18 3/183 2918 /proc/meminfo: memFree=28920748/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=1308228 CPUtime=3.09 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 73679 0 0 0 298 11 0 0 20 0 4 0 107657156 1339625472 74488 33554432000 4194304 16246674 140735333907984 140735333907160 13927254 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 327057 74488 910 2943 0 323951 0 [pid=2914/tid=2915] ppid=2911 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 1339625472 74488 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 1339625472 74488 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107657156 1339625472 74488 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1308228 [startup+6.30043 s] /proc/loadavg: 2.27 2.20 2.18 3/183 2918 /proc/meminfo: memFree=28920404/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=1308228 CPUtime=6.29 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 73682 0 0 0 618 11 0 0 20 0 4 0 107657156 1339625472 74491 33554432000 4194304 16246674 140735333907984 140735333907160 5754712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 327057 74491 913 2943 0 323951 0 [pid=2914/tid=2915] ppid=2911 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 1339625472 74491 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 1339625472 74491 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107657156 1339625472 74491 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.25 2.20 2.18 3/183 2918 /proc/meminfo: memFree=28920444/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=1308228 CPUtime=12.68 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 73682 0 0 0 1256 12 0 0 20 0 4 0 107657156 1339625472 74491 33554432000 4194304 16246674 140735333907984 140735333907160 5661532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 327057 74491 913 2943 0 323951 0 [pid=2914/tid=2915] ppid=2911 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 1339625472 74491 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 1339625472 74491 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107657156 1339625472 74491 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.19 2.19 2.18 3/183 2918 /proc/meminfo: memFree=28921012/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=1308228 CPUtime=25.48 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 73784 0 0 0 2534 14 0 0 20 0 4 0 107657156 1339625472 74593 33554432000 4194304 16246674 140735333907984 140735333889856 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 327057 74593 913 2943 0 323951 0 [pid=2914/tid=2915] ppid=2911 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 1339625472 74593 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 1339625472 74593 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107657156 1339625472 74593 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.18 2.19 2.18 3/183 2918 /proc/meminfo: memFree=28900284/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=1308228 CPUtime=51.09 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 78939 0 0 0 5091 18 0 0 20 0 4 0 107657156 1339625472 79748 33554432000 4194304 16246674 140735333907984 140735333890984 5861627 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 327057 79748 914 2943 0 323951 0 [pid=2914/tid=2915] ppid=2911 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 1339625472 79748 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 1339625472 79748 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107657156 1339625472 79748 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1308228 [startup+102.3 s] /proc/loadavg: 2.29 2.22 2.19 3/183 2919 /proc/meminfo: memFree=28130508/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=1320516 CPUtime=102.28 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 271340 0 0 0 10184 44 0 0 20 0 4 0 107657156 1352208384 272149 33554432000 4194304 16246674 140735333907984 140735333889856 5674768 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 330129 272149 915 2943 0 327023 0 [pid=2914/tid=2915] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272149 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272149 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272149 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1320516 ################ # More data... # ################ /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 1320516 [startup+1302.3 s] /proc/loadavg: 2.26 2.24 2.19 3/183 3119 /proc/meminfo: memFree=28113032/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=1320516 CPUtime=1301.98 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 271553 0 0 0 130153 45 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140735333889856 6836949 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 330129 272154 917 2943 0 327023 0 [pid=2914/tid=2915] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1320516 [startup+1362.3 s] /proc/loadavg: 2.15 2.21 2.18 4/183 3120 /proc/meminfo: memFree=28111396/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=1320516 CPUtime=1361.97 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 271553 0 0 0 136152 45 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140735333889856 5662038 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 330129 272154 917 2943 0 327023 0 [pid=2914/tid=2915] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1320516 [startup+1422.3 s] /proc/loadavg: 2.18 2.20 2.18 3/183 3121 /proc/meminfo: memFree=28111424/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=1320516 CPUtime=1421.97 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 271553 0 0 0 142152 45 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140735333889856 6022674 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 330129 272154 917 2943 0 327023 0 [pid=2914/tid=2915] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 1320516 [startup+1482.3 s] /proc/loadavg: 2.17 2.19 2.18 3/183 3122 /proc/meminfo: memFree=28111336/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=1320516 CPUtime=1481.95 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 271553 0 0 0 148150 45 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140735333889856 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 330129 272154 917 2943 0 327023 0 [pid=2914/tid=2915] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 1320516 [startup+1542.31 s] /proc/loadavg: 2.18 2.18 2.17 3/183 3124 /proc/meminfo: memFree=28111480/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=1320516 CPUtime=1541.95 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 271553 0 0 0 154150 45 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140735333889856 5823611 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 330129 272154 917 2943 0 327023 0 [pid=2914/tid=2915] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 1320516 [startup+1602.3 s] /proc/loadavg: 2.11 2.16 2.17 3/184 3128 /proc/meminfo: memFree=28111316/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=1320516 CPUtime=1601.93 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 271553 0 0 0 160148 45 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140735333889856 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 330129 272154 917 2943 0 327023 0 [pid=2914/tid=2915] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 1320516 [startup+1662.3 s] /proc/loadavg: 2.20 2.18 2.17 3/183 3129 /proc/meminfo: memFree=28110392/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=1320516 CPUtime=1661.92 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 271553 0 0 0 166147 45 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140735333889856 13927305 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 330129 272154 917 2943 0 327023 0 [pid=2914/tid=2915] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1320516 [startup+1722.3 s] /proc/loadavg: 2.31 2.20 2.18 3/183 3130 /proc/meminfo: memFree=28110184/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=1320516 CPUtime=1721.91 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 271553 0 0 0 172146 45 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140735333889856 6022984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 330129 272154 917 2943 0 327023 0 [pid=2914/tid=2915] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107657156 1352208384 272154 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 1320516 [startup+1782.3 s] /proc/loadavg: 2.28 2.21 2.18 3/183 3131 /proc/meminfo: memFree=28107940/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=1322564 CPUtime=1781.9 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 272065 0 0 0 178145 45 0 0 20 0 4 0 107657156 1354305536 272666 33554432000 4194304 16246674 140735333907984 140735333889856 5661363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 330641 272666 917 2943 0 327535 0 [pid=2914/tid=2915] ppid=2911 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 1354305536 272666 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 1354305536 272666 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107657156 1354305536 272666 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 1322564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.27 2.21 2.18 3/182 3131 /proc/meminfo: memFree=28108044/32872528 swapFree=17892/1720544 [pid=2914] ppid=2911 vsize=1322564 CPUtime=1800 cores=0,2,4,6 /proc/2914/stat : 2914 (toysat) R 2911 2914 31655 0 -1 4202496 272065 0 0 0 179955 45 0 0 20 0 4 0 107657156 1354305536 272666 33554432000 4194304 16246674 140735333907984 140735333889856 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2914/statm: 330641 272666 917 2943 0 327535 0 [pid=2914/tid=2915] ppid=2911 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2915/stat : 2915 (toysat) S 2911 2914 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107657156 1354305536 272666 33554432000 4194304 16246674 140735333907984 140531816443120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2914/tid=2916] ppid=2911 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2916/stat : 2916 (toysat) S 2911 2914 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107657156 1354305536 272666 33554432000 4194304 16246674 140735333907984 140531732557040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2914/tid=2917] ppid=2911 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/2914/task/2917/stat : 2917 (toysat) S 2911 2914 31655 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107657156 1354305536 272666 33554432000 4194304 16246674 140735333907984 140531722083504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1322564 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 2914 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.01 CPU user time (s): 1799.56 CPU system time (s): 0.45393 CPU usage (%): 99.978 Max. virtual memory (cumulated for all children) (KiB): 1322564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.45393 maximum resident set size= 1090664 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272065 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= 226 involuntary context switches= 1960 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.3803 second user time and 17.1314 second system time The end
Begin job on node117 at 2016-06-07 01:54:00 IDJOB=4080138 IDBENCH=48153 IDSOLVER=2542 FILE ID=node117/4080138-1465257240 RUNJOBID= node117-1465227498-31671 PBS_JOBID= 19843241 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_4.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080138-1465257240/watcher-4080138-1465257240 -o /tmp/evaluation-result-4080138-1465257240/solver-4080138-1465257240 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31671 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080138-1465257240.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3feaf3974ec1ffdea6d6674c11d1a071 RANDOM SEED=1628757208 node117.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 : 2667.088 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 : 5334.17 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 : 2667.088 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 : 2667.088 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 : 2667.088 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 : 2667.088 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.54 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 : 2667.088 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 : 2667.088 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.53 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 : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29218556 kB Buffers: 15828 kB Cached: 76860 kB SwapCached: 55888 kB Active: 1140092 kB Inactive: 88224 kB Active(anon): 1081984 kB Inactive(anon): 56024 kB Active(file): 58108 kB Inactive(file): 32200 kB Unevictable: 1720544 kB Mlocked: 17892 kB SwapTotal: 67108856 kB SwapFree: 67043784 kB Dirty: 16332 kB Writeback: 0 kB AnonPages: 2932568 kB Mapped: 10392 kB Shmem: 0 kB Slab: 567364 kB SReclaimable: 11620 kB SUnreclaim: 555744 kB KernelStack: 1520 kB PageTables: 9400 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2949588 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1947648 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= 71708 MiB End job on node117 at 2016-06-07 02:24:01