| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.04 | 1800.51 |
| Name | /OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_15_errors.opb |
| MD5SUM | b155444c97f18a8f3025da7494a3d01e |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 15 |
| Best CPU time to get the best result obtained on this benchmark | 107.715 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 584 |
| Total number of constraints | 427 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 33 |
| Number of constraints which are nor clauses,nor cardinality constraints | 394 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 34 |
| Number of terms in the objective function | 182 |
| 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 | 182 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 19 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 182 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2406 |
| Sum of products size (including duplicates) | 10572 |
| Number of different products | 2406 |
| Sum of products size | 10572 |
0.00/0.00 c 2016-06-07T06:10:51+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-4080206-1465272650.opb"] 0.00/0.01 c use --random-gen="1232670506 3713132307 891316512 2658246293 3682713266 3188854849 1862374356 2251588210 2827999242 2007286948 2732488001 53432002 4047926733 1581626791 2364712275 2414747806 3993564756 511572937 448944128 2825098882 1909375667 467900191 1987452167 4178631451 2265264758 2627021316 797036904 704078226 1834443782 2481003372 3755687754 2770540533 2698587229 1752750579 794243791 2701901618 404981458 3022123900 357006535 194385832 2201301855 3232545177 656691747 2834658750 358387522 948234721 191943313 1638982671 809538750 3524367181 969265052 3398543482 356387419 3277833710 3716283680 1085507886 2473076239 2540191868 3254620965 1584996522 2878051062 3200037032 1971979041 712770109 768858949 827225310 3043313898 223324926 740265471 7255855 2305254416 2818900812 1112141900 361245214 1045269166 2978700247 1516066168 4281566259 448078927 573368179 3248465981 147471603 12924392 950034435 3777201934 1382153100 1710100943 3184427426 554881505 845134609 2426465784 2748062348 18511165 3302558602 404554507 2190520367 4255615025 3372229477 3851932112 721064717 13035405 2160486097 1383015313 3018945068 2155693979 2623413189 4195150491 3611304910 514637968 596292764 688905023 2846090138 3291131586 774097349 4213722867 180921686 1171727906 743951426 3953977682 313724444 2275503075 1233143199 2439952634 1180705507 2208341953 1534940313 2311404216 2821587654 935544575 1822445373 3756537687 2163241464 358414046 2308486901 1650554980 2924985971 1592970265 3130918169 2954085161 2501394841 4213450403 634207201 3724627566 2562313498 656655473 3183895821 44400694 1462253829 143673121 4185481741 1382744362 3178353312 3855047841 263847718 2447361434 2301072370 4085485675 2573841747 1081524501 2643261102 1029650780 1462740189 2206105464 195573728 3341642947 1414520041 1569120796 1047817916 3782978576 381073606 1550665678 1103054848 2501692626 3740355268 2044655764 1612403864 589575745 4122705464 1694840958 3595605930 2085650776 4050801047 3611902739 302827448 2387934898 1363720204 3966727972 3681824717 3626351425 128887061 3019434051 1383529338 2171952164 839708729 2353550160 87876535 2568714828 359902003 3780536146 3872480335 2913432601 1053201305 1765752635 122638490 1193419182 1909687256 2103065753 2362100287 3096479051 832804669 542406042 2985737110 1957094579 1549080375 1691797922 1589294907 3261554147 1906489524 362372911 2348545545 2309429252 4179044995 3898856335 3737076175 2427903295 2690377608 909172517 3866929661 4259682210 369365708 3016769612 3967055576 3543617828 3035972756 1929549121 3362772673 1112536093 2365426712 1028003533 1403792631 4048662165 2727027129 1673676610 1985541798 3686095319 3433989563 583690966 33900740 2359424153 2988391911 2144444679 1984787056 3137909641 2900599576 2183354299 514466385 255 362436" option to reproduce the execution 0.00/0.03 c #vars 584 0.00/0.03 c #constraints 427 0.09/0.15 c BCD2: Hardening is enabled. 0.09/0.15 c BCD2: BiasedSearch is enabled. 0.09/0.15 c Solving starts ... 0.09/0.15 c ============================[ Search Statistics ]============================ 0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.15 c | | | | Limit GC | Var | Constra 0.09/0.15 c ============================================================================= 0.09/0.15 c 0.0s | 0 | 0 | 0 | 4648 0 | 694 | 0 0.19/0.21 c 0.1s | 1 | 158 | 100 | 4648 0 | 694 | 824 0.28/0.32 c 0.2s | 2 | 393 | 250 | 5113 0 | 694 | 824 0.58/0.62 c 0.5s | 3 | 698 | 475 | 5625 0 | 694 | 824 0.98/1.02 c 0.9s | 4 | 1165 | 813 | 6188 0 | 694 | 824 1.38/1.44 c 1.3s | 5 | 1729 | 1320 | 6807 0 | 694 | 824 1.78/1.87 c 1.7s | 6 | 2804 | 2081 | 8237 0 | 694 | 824 2.49/2.56 c 2.4s | 7 | 4327 | 3223 | 9061 0 | 694 | 824 3.69/3.79 c 3.6s | 8 | 6189 | 4936 | 9968 0 | 694 | 824 4.89/4.97 c 4.8s | 9 | 9489 | 7506 | 10965 0 | 694 | 824 5.39/5.44 c 5.3s | 9 | 10379 | 8291 | 10965 0 | 694 | 824 5.39/5.44 c #cpu_time = 5.287s 5.39/5.44 c #wall_clock_time = 5.290s 5.39/5.44 c #decision = 10379 5.39/5.44 c #random_decision = 24 5.39/5.44 c #conflict = 8291 5.39/5.44 c #restart = 9 5.39/5.44 o 86 5.39/5.44 c BCD2: updating upper bound: 182 -> 85 5.39/5.44 c BCD2: 0 <= obj <= 85 5.39/5.44 c BCD2: #cores=0, #unrelaxed=182, #relaxed=0, #hardened=0 5.39/5.44 c BCD2: #sat=1 #unsat=1 bias=1/2 5.39/5.44 c Solving starts ... 5.39/5.44 c ============================[ Search Statistics ]============================ 5.39/5.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.39/5.44 c | | | | Limit GC | Var | Constra 5.39/5.44 c ============================================================================= 5.39/5.44 c 0.0s | 0 | 0 | 0 | 10965 0 | 694 | 824 5.39/5.47 c 0.0s | 0 | 24 | 0 | 10965 0 | 694 | 824 5.39/5.47 c #cpu_time = 0.025s 5.39/5.47 c #wall_clock_time = 0.025s 5.39/5.47 c #decision = 24 5.39/5.47 c #random_decision = 0 5.39/5.47 c #conflict = 0 5.39/5.47 c #restart = 0 5.39/5.47 c BCD2: found a new core of size 14: cost of the new core is >=1 5.39/5.47 c lower bound updated to 1 5.39/5.47 c BCD2: 1 <= obj <= 85 5.39/5.47 c BCD2: #cores=1, #unrelaxed=168, #relaxed=14, #hardened=0 5.39/5.47 c BCD2: #sat=1 #unsat=2 bias=2/3 5.39/5.47 c Solving starts ... 5.39/5.47 c ============================[ Search Statistics ]============================ 5.39/5.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.39/5.47 c | | | | Limit GC | Var | Constra 5.39/5.47 c ============================================================================= 5.39/5.47 c 0.0s | 0 | 0 | 0 | 10965 0 | 694 | 824 5.49/5.51 c 0.0s | 1 | 295 | 100 | 10965 0 | 694 | 824 5.49/5.55 c 0.1s | 2 | 655 | 250 | 10965 0 | 694 | 824 5.49/5.60 c 0.1s | 3 | 1080 | 475 | 10965 0 | 694 | 824 5.59/5.67 c 0.2s | 4 | 1613 | 813 | 10965 0 | 694 | 824 5.69/5.76 c 0.3s | 5 | 2313 | 1320 | 10965 0 | 694 | 824 5.89/5.92 c 0.5s | 6 | 3265 | 2081 | 10965 0 | 694 | 824 6.09/6.16 c 0.7s | 7 | 4600 | 3223 | 12062 0 | 694 | 824 6.59/6.66 c 1.2s | 8 | 6504 | 4936 | 12062 1 | 694 | 824 7.49/7.50 c 2.0s | 9 | 9268 | 7506 | 12062 1 | 694 | 824 8.89/8.91 c 3.4s | 10 | 13338 | 11361 | 13269 1 | 694 | 824 10.88/10.95 c 5.5s | 10 | 18016 | 15761 | 13269 2 | 694 | 824 11.68/11.74 c 6.3s | 11 | 19425 | 17144 | 13269 2 | 694 | 824 13.79/13.89 c 8.4s | 11 | 23400 | 20844 | 14596 3 | 694 | 824 15.88/15.91 c 10.4s | 11 | 28093 | 25444 | 14596 3 | 694 | 824 16.28/16.30 c 10.8s | 12 | 28499 | 25819 | 14596 3 | 694 | 824 18.28/18.33 c 12.9s | 12 | 33462 | 30519 | 16056 4 | 694 | 824 20.28/20.35 c 14.9s | 12 | 36785 | 33719 | 16056 4 | 694 | 824 22.28/22.37 c 16.9s | 12 | 40278 | 37119 | 16056 4 | 694 | 824 23.58/23.67 c 18.2s | 13 | 41994 | 38832 | 16056 5 | 694 | 824 25.58/25.67 c 20.2s | 13 | 45737 | 42332 | 16056 5 | 694 | 824 27.68/27.72 c 22.3s | 13 | 49325 | 45832 | 16056 5 | 694 | 824 29.68/29.75 c 24.3s | 13 | 52423 | 48832 | 16056 6 | 694 | 824 31.67/31.79 c 26.3s | 13 | 55712 | 52032 | 17662 6 | 694 | 824 33.77/33.80 c 28.3s | 13 | 58697 | 54932 | 17662 6 | 694 | 824 35.77/35.84 c 30.4s | 13 | 61763 | 57932 | 17662 7 | 694 | 824 35.97/36.04 c 30.6s | 14 | 62191 | 58352 | 17662 7 | 694 | 824 37.98/38.09 c 32.6s | 14 | 65436 | 61352 | 17662 7 | 694 | 824 40.08/40.13 c 34.7s | 14 | 69286 | 65152 | 17662 7 | 694 | 824 42.08/42.19 c 36.7s | 14 | 72282 | 68052 | 17662 8 | 694 | 824 44.18/44.21 c 38.7s | 14 | 75694 | 71352 | 17662 8 | 694 | 824 46.18/46.25 c 40.8s | 14 | 78143 | 73752 | 17662 8 | 694 | 824 48.27/48.32 c 42.9s | 14 | 81114 | 76652 | 17662 9 | 694 | 824 50.27/50.37 c 44.9s | 14 | 84270 | 79752 | 19429 9 | 694 | 824 52.37/52.44 c 47.0s | 14 | 87149 | 82552 | 19429 9 | 694 | 824 54.47/54.51 c 49.0s | 14 | 89495 | 84852 | 19429 9 | 694 | 824 57.28/57.32 c 51.9s | 14 | 91337 | 86652 | 19429 10 | 694 | 824 57.47/57.56 c 52.1s | 15 | 92340 | 87632 | 19429 10 | 694 | 824 59.48/59.57 c 54.1s | 15 | 95463 | 90532 | 19429 10 | 694 | 824 61.47/61.58 c 56.1s | 15 | 98638 | 93632 | 19429 10 | 694 | 824 63.57/63.60 c 58.1s | 15 | 101545 | 96432 | 19429 11 | 694 | 824 65.68/65.77 c 60.3s | 15 | 105173 | 99932 | 19429 11 | 694 | 824 67.77/67.84 c 62.4s | 15 | 107861 | 102532 | 19429 11 | 694 | 824 69.77/69.84 c 64.4s | 15 | 110336 | 104932 | 19429 11 | 694 | 824 71.77/71.85 c 66.4s | 15 | 112188 | 106732 | 19429 12 | 694 | 824 73.78/73.88 c 68.4s | 15 | 114952 | 109432 | 19429 12 | 694 | 824 75.88/75.94 c 70.5s | 15 | 118435 | 112832 | 19429 12 | 694 | 824 77.97/78.00 c 72.5s | 15 | 121121 | 115432 | 19429 12 | 694 | 824 79.97/80.02 c 74.5s | 15 | 123068 | 117332 | 19429 13 | 694 | 824 82.58/82.70 c 77.2s | 15 | 126230 | 120432 | 19429 13 | 694 | 824 84.68/84.73 c 79.3s | 15 | 129579 | 123732 | 21372 13 | 694 | 824 86.67/86.74 c 81.3s | 15 | 132650 | 126732 | 21372 13 | 694 | 824 88.77/88.82 c 83.3s | 15 | 135512 | 129432 | 21372 14 | 694 | 824 89.77/89.85 c 84.4s | 16 | 137727 | 131552 | 21372 14 | 694 | 824 91.87/91.90 c 86.4s | 16 | 140052 | 133652 | 21372 14 | 694 | 824 93.87/93.91 c 88.4s | 16 | 142790 | 136352 | 21372 14 | 694 | 824 95.97/96.00 c 90.5s | 16 | 145246 | 138752 | 21372 14 | 694 | 824 97.97/98.06 c 92.6s | 16 | 148271 | 141652 | 21372 15 | 694 | 824 100.07/100.12 c 94.6s | 16 | 151251 | 144552 | 21372 15 | 694 | 824 102.06/102.19 c 96.7s | 16 | 153947 | 147152 | 21372 15 | 694 | 824 104.16/104.28 c 98.8s | 16 | 156204 | 149352 | 21372 15 | 694 | 824 106.46/106.58 c 101s | 16 | 157826 | 150952 | 21372 16 | 694 | 824 108.56/108.61 c 103s | 16 | 161001 | 154052 | 21372 16 | 694 | 824 110.56/110.65 c 105s | 16 | 164149 | 157152 | 21372 16 | 694 | 824 112.56/112.68 c 107s | 16 | 166733 | 159652 | 21372 16 | 694 | 824 114.66/114.77 c 109s | 16 | 168866 | 161752 | 21372 16 | 694 | 824 118.78/118.87 c 113s | 16 | 170293 | 163152 | 21372 17 | 694 | 824 120.87/120.91 c 115s | 16 | 174582 | 167352 | 21372 17 | 694 | 824 122.87/122.91 c 117s | 16 | 177645 | 170352 | 21372 17 | 694 | 824 124.87/124.92 c 119s | 16 | 180476 | 173052 | 21372 17 | 694 | 824 126.87/126.93 c 121s | 16 | 183178 | 175652 | 21372 18 | 694 | 824 128.87/128.94 c 123s | 16 | 186369 | 178752 | 21372 18 | 694 | 824 130.87/130.95 c 125s | 16 | 188713 | 181052 | 21372 18 | 694 | 824 132.87/132.96 c 127s | 16 | 190985 | 183252 | 21372 18 | 694 | 824 134.87/134.96 c 129s | 16 | 192536 | 184752 | 21372 19 | 694 | 824 136.96/137.01 c 131s | 16 | 196125 | 188252 | 23510 19 | 694 | 824 138.96/139.05 c 133s | 16 | 199033 | 191052 | 23510 19 | 694 | 824 140.96/141.06 c 135s | 16 | 201704 | 193652 | 23510 19 | 694 | 824 142.97/143.09 c 137s | 16 | 203730 | 195652 | 23510 19 | 694 | 824 148.16/148.26 c 142s | 16 | 205058 | 196952 | 23510 19 | 694 | 824 148.56/148.66 c 143s | 17 | 205545 | 197432 | 23510 19 | 694 | 824 150.56/150.67 c 145s | 17 | 209720 | 201332 | 23510 20 | 694 | 824 152.66/152.71 c 147s | 17 | 214715 | 206232 | 23510 20 | 694 | 824 154.76/154.85 c 149s | 17 | 218399 | 209832 | 23510 21 | 694 | 824 156.86/156.90 c 151s | 17 | 222065 | 213432 | 23510 21 | 694 | 824 158.85/158.98 c 153s | 17 | 224999 | 216332 | 23510 21 | 694 | 824 160.95/161.02 c 155s | 17 | 228029 | 219332 | 23510 21 | 694 | 824 163.35/163.49 c 158s | 17 | 230760 | 222032 | 23510 22 | 694 | 824 165.45/165.51 c 160s | 17 | 233698 | 224932 | 23510 22 | 694 | 824 167.45/167.56 c 162s | 17 | 236623 | 227832 | 23510 22 | 694 | 824 169.55/169.65 c 164s | 17 | 238872 | 230032 | 23510 22 | 694 | 824 172.06/172.14 c 166s | 17 | 239180 | 230332 | 23510 22 | 694 | 824 174.06/174.17 c 168s | 17 | 243150 | 234232 | 23510 23 | 694 | 824 177.16/177.24 c 171s | 17 | 248692 | 239732 | 23510 23 | 694 | 824 179.16/179.28 c 173s | 17 | 252965 | 243732 | 23510 23 | 694 | 824 181.36/181.40 c 175s | 17 | 255818 | 246432 | 23510 24 | 694 | 824 183.36/183.45 c 177s | 17 | 259001 | 249432 | 23510 24 | 694 | 824 185.45/185.50 c 180s | 17 | 262372 | 252632 | 23510 24 | 694 | 824 187.45/187.55 c 182s | 17 | 265228 | 255332 | 23510 24 | 694 | 824 189.45/189.56 c 184s | 17 | 267676 | 257632 | 23510 24 | 694 | 824 191.46/191.59 c 186s | 17 | 269578 | 259432 | 23510 25 | 694 | 824 193.56/193.63 c 188s | 17 | 271904 | 261632 | 23510 25 | 694 | 824 195.55/195.64 c 190s | 17 | 275185 | 264732 | 23510 25 | 694 | 824 197.65/197.71 c 192s | 17 | 278000 | 267332 | 23510 25 | 694 | 824 199.65/199.71 c 194s | 17 | 281085 | 270232 | 23510 25 | 694 | 824 201.75/201.80 c 196s | 17 | 283090 | 272132 | 23510 26 | 694 | 824 203.75/203.82 c 198s | 17 | 286844 | 275532 | 23510 26 | 694 | 824 205.75/205.84 c 200s | 17 | 289513 | 278032 | 23510 26 | 694 | 824 207.75/207.85 c 202s | 17 | 292353 | 280732 | 23510 26 | 694 | 824 209.85/209.96 c 204s | 17 | 294823 | 283132 | 23510 27 | 694 | 824 211.85/211.98 c 206s | 17 | 298041 | 286132 | 25862 27 | 694 | 824 213.95/214.02 c 208s | 17 | 302721 | 290732 | 25862 27 | 694 | 824 215.95/216.05 c 210s | 17 | 306135 | 293932 | 25862 27 | 694 | 824 217.95/218.06 c 212s | 18 | 308596 | 296252 | 25862 27 | 694 | 824 220.05/220.14 c 214s | 18 | 310210 | 297652 | 25862 28 | 694 | 824 222.05/222.17 c 216s | 18 | 311643 | 299052 | 25862 28 | 694 | 824 224.15/224.20 c 218s | 18 | 315998 | 303352 | 25862 28 | 694 | 824 226.15/226.21 c 220s | 18 | 319361 | 306652 | 25862 28 | 694 | 824 228.15/228.24 c 222s | 18 | 322220 | 309452 | 25862 28 | 694 | 824 230.45/230.53 c 225s | 18 | 323883 | 311052 | 25862 29 | 694 | 824 232.44/232.56 c 227s | 18 | 327327 | 314352 | 25862 29 | 694 | 824 234.44/234.57 c 229s | 18 | 328863 | 315752 | 25862 29 | 694 | 824 236.55/236.61 c 231s | 18 | 332459 | 319152 | 25862 29 | 694 | 824 238.55/238.63 c 233s | 18 | 335492 | 322052 | 25862 29 | 694 | 824 240.65/240.76 c 235s | 18 | 337855 | 324352 | 25862 30 | 694 | 824 242.65/242.79 c 237s | 18 | 340056 | 326452 | 25862 30 | 694 | 824 247.04/247.15 c 241s | 18 | 341684 | 328052 | 25862 30 | 694 | 824 249.14/249.24 c 243s | 18 | 345246 | 331452 | 25862 30 | 694 | 824 251.14/251.25 c 245s | 18 | 348375 | 334452 | 25862 30 | 694 | 824 253.24/253.33 c 247s | 18 | 351052 | 337052 | 25862 30 | 694 | 824 255.25/255.37 c 249s | 18 | 353770 | 339652 | 25862 31 | 694 | 824 257.24/257.38 c 251s | 18 | 353983 | 339852 | 25862 31 | 694 | 824 259.34/259.45 c 253s | 18 | 357720 | 343452 | 25862 31 | 694 | 824 261.34/261.48 c 256s | 18 | 363530 | 349152 | 25862 31 | 694 | 824 263.45/263.52 c 258s | 18 | 367372 | 352952 | 25862 32 | 694 | 824 265.45/265.53 c 260s | 18 | 370674 | 356152 | 25862 32 | 694 | 824 267.45/267.56 c 262s | 18 | 374711 | 360152 | 25862 32 | 694 | 824 269.45/269.56 c 264s | 18 | 377449 | 362852 | 25862 32 | 694 | 824 271.94/272.07 c 266s | 18 | 379154 | 364552 | 25862 33 | 694 | 824 274.04/274.19 c 268s | 18 | 381369 | 366752 | 25862 33 | 694 | 824 276.05/276.20 c 270s | 18 | 383421 | 368752 | 25862 33 | 694 | 824 278.14/278.25 c 272s | 18 | 386086 | 371352 | 25862 33 | 694 | 824 280.24/280.30 c 274s | 18 | 388557 | 373752 | 25862 33 | 694 | 824 282.24/282.35 c 276s | 18 | 390604 | 375752 | 25862 33 | 694 | 824 284.24/284.38 c 278s | 18 | 391232 | 376352 | 25862 33 | 694 | 824 286.94/287.08 c 281s | 18 | 392861 | 377952 | 25862 34 | 694 | 824 289.04/289.10 c 283s | 18 | 395950 | 380952 | 25862 34 | 694 | 824 291.04/291.17 c 285s | 18 | 398701 | 383652 | 25862 34 | 694 | 824 293.14/293.22 c 287s | 18 | 401077 | 385952 | 25862 34 | 694 | 824 295.14/295.25 c 289s | 18 | 402944 | 387752 | 25862 34 | 694 | 824 297.23/297.31 c 291s | 18 | 405756 | 390552 | 25862 34 | 694 | 824 299.24/299.37 c 293s | 18 | 407090 | 391852 | 25862 35 | 694 | 824 301.34/301.43 c 295s | 18 | 409537 | 394252 | 25862 35 | 694 | 824 303.33/303.48 c 298s | 18 | 412319 | 396952 | 25862 35 | 694 | 824 305.43/305.50 c 300s | 18 | 414591 | 399152 | 25862 35 | 694 | 824 310.14/310.27 c 304s | 18 | 415109 | 399652 | 25862 35 | 694 | 824 312.23/312.30 c 306s | 18 | 417465 | 401952 | 25862 35 | 694 | 824 314.23/314.33 c 308s | 18 | 419615 | 404052 | 25862 35 | 694 | 824 316.23/316.34 c 310s | 18 | 421146 | 405552 | 25862 36 | 694 | 824 318.23/318.37 c 312s | 18 | 424416 | 408752 | 25862 36 | 694 | 824 320.23/320.39 c 314s | 18 | 426969 | 411252 | 25862 36 | 694 | 824 322.34/322.47 c 317s | 18 | 429315 | 413552 | 25862 36 | 694 | 824 324.33/324.50 c 319s | 18 | 431155 | 415352 | 25862 36 | 694 | 824 330.23/330.34 c 324s | 18 | 432381 | 416552 | 25862 36 | 694 | 824 333.24/333.37 c 327s | 18 | 433881 | 418052 | 25862 37 | 694 | 824 335.33/335.44 c 329s | 18 | 436735 | 420852 | 25862 37 | 694 | 824 337.33/337.49 c 332s | 18 | 439249 | 423352 | 25862 37 | 694 | 824 339.43/339.58 c 334s | 18 | 441609 | 425652 | 25862 37 | 694 | 824 341.42/341.59 c 336s | 18 | 443641 | 427652 | 25862 37 | 694 | 824 343.52/343.66 c 338s | 18 | 445383 | 429352 | 25862 37 | 694 | 824 345.62/345.74 c 340s | 18 | 447020 | 430952 | 25862 37 | 694 | 824 347.73/347.86 c 342s | 18 | 447919 | 431852 | 25862 38 | 694 | 824 349.74/349.87 c 344s | 18 | 450666 | 434552 | 28449 38 | 694 | 824 351.83/351.94 c 346s | 18 | 452409 | 436252 | 28449 38 | 694 | 824 353.83/353.96 c 348s | 18 | 454757 | 438552 | 28449 38 | 694 | 824 355.93/356.03 c 350s | 18 | 456691 | 440452 | 28449 38 | 694 | 824 358.03/358.14 c 352s | 18 | 458744 | 442452 | 28449 38 | 694 | 824 360.13/360.22 c 354s | 18 | 460561 | 444252 | 28449 38 | 694 | 824 360.33/360.48 c 355s | 19 | 460795 | 444482 | 28449 38 | 694 | 824 362.32/362.48 c 357s | 19 | 461081 | 444582 | 28449 38 | 694 | 824 364.42/364.52 c 359s | 19 | 463093 | 446582 | 28449 38 | 694 | 824 366.43/366.53 c 361s | 19 | 464703 | 448182 | 28449 39 | 694 | 824 369.13/369.23 c 363s | 19 | 468469 | 451882 | 28449 39 | 694 | 824 371.13/371.23 c 365s | 19 | 471120 | 454482 | 28449 39 | 694 | 824 373.23/373.30 c 367s | 19 | 473544 | 456882 | 28449 39 | 694 | 824 375.23/375.34 c 369s | 19 | 476020 | 459282 | 28449 39 | 694 | 824 377.33/377.44 c 371s | 19 | 478172 | 461382 | 28449 39 | 694 | 824 379.32/379.46 c 373s | 19 | 479516 | 462682 | 28449 40 | 694 | 824 381.32/381.48 c 376s | 19 | 481937 | 465082 | 28449 40 | 694 | 824 383.42/383.52 c 378s | 19 | 485365 | 468482 | 28449 40 | 694 | 824 389.22/389.36 c 383s | 19 | 487824 | 470882 | 28449 40 | 694 | 824 391.32/391.42 c 385s | 19 | 489343 | 472382 | 28449 40 | 694 | 824 393.32/393.49 c 388s | 19 | 491624 | 474582 | 28449 40 | 694 | 824 395.42/395.53 c 390s | 19 | 493490 | 476382 | 28449 40 | 694 | 824 397.42/397.57 c 392s | 19 | 494737 | 477582 | 28449 41 | 694 | 824 399.52/399.60 c 394s | 19 | 497518 | 480282 | 28449 41 | 694 | 824 403.82/403.91 c 398s | 19 | 500279 | 482982 | 28449 41 | 694 | 824 405.82/405.98 c 400s | 19 | 502807 | 485482 | 28449 41 | 694 | 824 407.92/408.00 c 402s | 19 | 505062 | 487682 | 28449 41 | 694 | 824 409.92/410.01 c 404s | 19 | 506985 | 489582 | 28449 41 | 694 | 824 411.92/412.05 c 406s | 19 | 508918 | 491482 | 28449 42 | 694 | 824 414.21/414.36 c 408s | 19 | 512178 | 494682 | 28449 42 | 694 | 824 416.21/416.39 c 410s | 19 | 516139 | 498582 | 28449 42 | 694 | 824 418.31/418.43 c 412s | 19 | 519209 | 501582 | 28449 42 | 694 | 824 420.31/420.47 c 415s | 19 | 521754 | 504082 | 28449 42 | 694 | 824 422.52/422.69 c 417s | 19 | 523178 | 505482 | 28449 42 | 694 | 824 424.72/424.81 c 419s | 19 | 523987 | 506282 | 28449 43 | 694 | 824 426.72/426.85 c 421s | 19 | 527481 | 509682 | 28449 43 | 694 | 824 428.82/428.91 c 423s | 19 | 530661 | 512782 | 28449 43 | 694 | 824 430.81/430.97 c 425s | 19 | 533097 | 515182 | 28449 43 | 694 | 824 432.91/433.01 c 427s | 19 | 534740 | 516782 | 28449 43 | 694 | 824 434.91/435.05 c 429s | 19 | 536583 | 518582 | 28449 43 | 694 | 824 437.01/437.18 c 431s | 19 | 538420 | 520382 | 28449 43 | 694 | 824 439.11/439.22 c 433s | 19 | 539337 | 521282 | 28449 44 | 694 | 824 441.51/441.62 c 436s | 19 | 540458 | 522382 | 28449 44 | 694 | 824 443.51/443.69 c 438s | 19 | 543229 | 525082 | 28449 44 | 694 | 824 445.61/445.71 c 440s | 19 | 545473 | 527282 | 28449 44 | 694 | 824 447.62/447.71 c 442s | 19 | 547318 | 529082 | 28449 44 | 694 | 824 449.72/449.81 c 444s | 19 | 549269 | 530982 | 28449 44 | 694 | 824 452.12/452.25 c 446s | 19 | 550397 | 532082 | 28449 44 | 694 | 824 454.11/454.28 c 448s | 19 | 552129 | 533782 | 28449 44 | 694 | 824 457.31/457.42 c 451s | 19 | 553870 | 535482 | 28449 45 | 694 | 824 459.31/459.46 c 453s | 19 | 555762 | 537282 | 28449 45 | 694 | 824 461.31/461.49 c 456s | 19 | 558509 | 539982 | 28449 45 | 694 | 824 463.41/463.51 c 458s | 19 | 560866 | 542282 | 28449 45 | 694 | 824 465.41/465.54 c 460s | 19 | 562739 | 544082 | 28449 45 | 694 | 824 467.42/467.55 c 462s | 19 | 564893 | 546182 | 28449 45 | 694 | 824 469.41/469.56 c 464s | 19 | 567247 | 548482 | 28449 45 | 694 | 824 471.51/471.61 c 466s | 19 | 568784 | 549982 | 28449 45 | 694 | 824 473.51/473.66 c 468s | 19 | 569901 | 551082 | 28449 46 | 694 | 824 475.61/475.70 c 470s | 19 | 572657 | 553782 | 28449 46 | 694 | 824 477.61/477.76 c 472s | 19 | 575341 | 556382 | 28449 46 | 694 | 824 479.62/479.78 c 474s | 19 | 577871 | 558882 | 28449 46 | 694 | 824 481.71/481.83 c 476s | 19 | 581442 | 562382 | 28449 46 | 694 | 824 484.51/484.61 c 479s | 19 | 583988 | 564882 | 28449 47 | 694 | 824 486.51/486.66 c 481s | 19 | 587116 | 567882 | 28449 47 | 694 | 824 488.50/488.66 c 483s | 19 | 589841 | 570482 | 28449 47 | 694 | 824 490.51/490.68 c 485s | 19 | 593191 | 573582 | 28449 47 | 694 | 824 492.60/492.73 c 487s | 19 | 595968 | 576182 | 28449 47 | 694 | 824 494.70/494.80 c 489s | 19 | 597871 | 577982 | 28449 47 | 694 | 824 497.11/497.21 c 491s | 19 | 599555 | 579582 | 28449 48 | 694 | 824 499.10/499.23 c 493s | 19 | 602632 | 582582 | 28449 48 | 694 | 824 501.90/502.03 c 496s | 19 | 606214 | 586082 | 28449 48 | 694 | 824 503.90/504.07 c 498s | 19 | 608380 | 588182 | 28449 48 | 694 | 824 505.91/506.10 c 500s | 19 | 612329 | 592082 | 28449 48 | 694 | 824 508.11/508.21 c 502s | 19 | 614542 | 594282 | 28449 49 | 694 | 824 510.11/510.25 c 504s | 19 | 615558 | 595282 | 28449 49 | 694 | 824 514.40/514.56 c 509s | 19 | 617587 | 597282 | 28449 49 | 694 | 824 516.50/516.61 c 511s | 19 | 621262 | 600882 | 28449 49 | 694 | 824 518.50/518.63 c 513s | 19 | 624031 | 603582 | 28449 49 | 694 | 824 520.50/520.67 c 515s | 19 | 626435 | 605882 | 28449 49 | 694 | 824 522.60/522.75 c 517s | 19 | 628517 | 607882 | 28449 49 | 694 | 824 524.71/524.80 c 519s | 19 | 630053 | 609382 | 28449 50 | 694 | 824 526.70/526.84 c 521s | 19 | 632494 | 611782 | 28449 50 | 694 | 824 528.70/528.89 c 523s | 19 | 636317 | 615482 | 28449 50 | 694 | 824 530.80/530.90 c 525s | 19 | 639302 | 618382 | 28449 50 | 694 | 824 532.90/533.00 c 527s | 19 | 641994 | 620982 | 28449 50 | 694 | 824 534.90/535.06 c 529s | 19 | 643995 | 622882 | 28449 50 | 694 | 824 538.10/538.22 c 532s | 19 | 645125 | 623982 | 28449 51 | 694 | 824 540.19/540.38 c 534s | 19 | 648241 | 626982 | 28449 51 | 694 | 824 542.20/542.39 c 536s | 19 | 650846 | 629482 | 28449 51 | 694 | 824 544.29/544.42 c 538s | 19 | 653061 | 631582 | 28449 51 | 694 | 824 546.29/546.46 c 540s | 19 | 655222 | 633682 | 28449 51 | 694 | 824 548.39/548.50 c 543s | 19 | 657773 | 636182 | 28449 51 | 694 | 824 550.39/550.51 c 545s | 19 | 660296 | 638682 | 28449 52 | 694 | 824 553.89/554.05 c 548s | 19 | 660403 | 638782 | 28449 52 | 694 | 824 555.89/556.06 c 550s | 19 | 663351 | 641682 | 28449 52 | 694 | 824 558.39/558.56 c 553s | 19 | 665979 | 644182 | 28449 52 | 694 | 824 560.49/560.62 c 555s | 19 | 668407 | 646482 | 28449 52 | 694 | 824 562.49/562.62 c 557s | 19 | 670399 | 648382 | 28449 52 | 694 | 824 564.50/564.68 c 559s | 19 | 671643 | 649582 | 28449 52 | 694 | 824 566.60/566.76 c 561s | 19 | 674041 | 651882 | 28449 52 | 694 | 824 569.19/569.31 c 563s | 19 | 675203 | 652982 | 28449 53 | 694 | 824 571.19/571.35 c 565s | 19 | 678125 | 655782 | 31294 53 | 694 | 824 575.09/575.27 c 569s | 19 | 679485 | 657082 | 31294 53 | 694 | 824 577.09/577.29 c 571s | 19 | 682207 | 659682 | 31294 53 | 694 | 824 579.19/579.34 c 573s | 19 | 684643 | 661982 | 31294 53 | 694 | 824 581.29/581.42 c 575s | 19 | 686617 | 663882 | 31294 53 | 694 | 824 583.29/583.46 c 577s | 19 | 688627 | 665782 | 31294 53 | 694 | 824 584.69/584.81 c 579s | 20 | 689719 | 666827 | 31294 53 | 694 | 824 586.79/586.90 c 581s | 20 | 690833 | 667727 | 31294 53 | 694 | 824 588.79/588.94 c 583s | 20 | 692554 | 669427 | 31294 53 | 694 | 824 590.99/591.11 c 585s | 20 | 693578 | 670427 | 31294 54 | 694 | 824 592.98/593.17 c 587s | 20 | 696069 | 672827 | 31294 54 | 694 | 824 594.99/595.20 c 589s | 20 | 698458 | 675127 | 31294 54 | 694 | 824 597.08/597.22 c 591s | 20 | 700646 | 677227 | 31294 54 | 694 | 824 599.18/599.30 c 593s | 20 | 702712 | 679227 | 31294 54 | 694 | 824 601.18/601.35 c 595s | 20 | 704589 | 681027 | 31294 54 | 694 | 824 603.28/603.41 c 597s | 20 | 707042 | 683427 | 31294 54 | 694 | 824 606.09/606.25 c 600s | 20 | 708079 | 684427 | 31294 54 | 694 | 824 608.59/608.79 c 603s | 20 | 710308 | 686627 | 31294 55 | 694 | 824 610.59/610.79 c 605s | 20 | 712424 | 688727 | 31294 55 | 694 | 824 612.69/612.85 c 607s | 20 | 715687 | 691927 | 31294 55 | 694 | 824 614.69/614.89 c 609s | 20 | 718125 | 694327 | 31294 55 | 694 | 824 616.79/616.97 c 611s | 20 | 720593 | 696727 | 31294 55 | 694 | 824 618.88/619.02 c 613s | 20 | 722774 | 698827 | 31294 55 | 694 | 824 620.88/621.08 c 615s | 20 | 724828 | 700827 | 31294 55 | 694 | 824 623.48/623.70 c 618s | 20 | 726674 | 702627 | 31294 56 | 694 | 824 625.89/626.02 c 620s | 20 | 727194 | 703127 | 31294 56 | 694 | 824 627.88/628.03 c 622s | 20 | 730046 | 705927 | 31294 56 | 694 | 824 629.98/630.10 c 624s | 20 | 733627 | 709427 | 31294 56 | 694 | 824 631.98/632.12 c 626s | 20 | 737116 | 712827 | 31294 56 | 694 | 824 633.98/634.12 c 628s | 20 | 739991 | 715627 | 31294 56 | 694 | 824 635.98/636.16 c 630s | 20 | 742185 | 717627 | 31294 56 | 694 | 824 638.18/638.38 c 632s | 20 | 743653 | 719027 | 31294 57 | 694 | 824 640.28/640.40 c 634s | 20 | 747413 | 722627 | 31294 57 | 694 | 824 642.29/642.42 c 636s | 20 | 751216 | 726327 | 31294 57 | 694 | 824 644.28/644.44 c 638s | 20 | 754400 | 729427 | 31294 57 | 694 | 824 648.67/648.85 c 643s | 20 | 756770 | 731727 | 31294 57 | 694 | 824 650.77/650.90 c 645s | 20 | 759438 | 734327 | 31294 57 | 694 | 824 652.77/652.94 c 647s | 20 | 761274 | 736127 | 31294 58 | 694 | 824 654.87/655.07 c 649s | 20 | 764249 | 739027 | 31294 58 | 694 | 824 656.97/657.12 c 651s | 20 | 766741 | 741427 | 31294 58 | 694 | 824 658.96/659.12 c 653s | 20 | 769223 | 743827 | 31294 58 | 694 | 824 660.98/661.13 c 655s | 20 | 772824 | 747327 | 31294 58 | 694 | 824 662.97/663.16 c 657s | 20 | 775275 | 749727 | 31294 58 | 694 | 824 665.67/665.88 c 660s | 20 | 776602 | 751027 | 31294 59 | 694 | 824 667.77/667.91 c 662s | 20 | 779037 | 753327 | 31294 59 | 694 | 824 671.36/671.51 c 666s | 20 | 781893 | 756027 | 31294 59 | 694 | 824 673.36/673.52 c 668s | 20 | 784838 | 758827 | 31294 59 | 694 | 824 675.37/675.58 c 670s | 20 | 788037 | 761927 | 31294 59 | 694 | 824 677.36/677.60 c 672s | 20 | 790359 | 764127 | 31294 59 | 694 | 824 679.46/679.66 c 674s | 20 | 792424 | 766027 | 31294 59 | 694 | 824 681.55/681.72 c 676s | 20 | 793752 | 767227 | 31294 60 | 694 | 824 683.75/683.96 c 678s | 20 | 793873 | 767327 | 31294 60 | 694 | 824 685.76/686.00 c 680s | 20 | 798317 | 771727 | 31294 60 | 694 | 824 687.86/688.02 c 682s | 20 | 802548 | 775927 | 31294 60 | 694 | 824 689.86/690.05 c 684s | 20 | 805465 | 778827 | 31294 60 | 694 | 824 691.95/692.11 c 686s | 20 | 807784 | 781027 | 31294 60 | 694 | 824 693.96/694.15 c 688s | 20 | 809716 | 782827 | 31294 60 | 694 | 824 696.05/696.25 c 690s | 20 | 811408 | 784427 | 31294 61 | 694 | 824 698.05/698.26 c 692s | 20 | 813590 | 786427 | 31294 61 | 694 | 824 700.15/700.31 c 694s | 20 | 816169 | 788827 | 31294 61 | 694 | 824 702.15/702.33 c 696s | 20 | 818572 | 791127 | 31294 61 | 694 | 824 704.15/704.36 c 698s | 20 | 820861 | 793327 | 31294 61 | 694 | 824 706.24/706.43 c 700s | 20 | 823583 | 796027 | 31294 61 | 694 | 824 708.25/708.50 c 703s | 20 | 825897 | 798327 | 31294 61 | 694 | 824 710.34/710.54 c 705s | 20 | 827302 | 799727 | 31294 62 | 694 | 824 712.33/712.57 c 707s | 20 | 829113 | 801527 | 31294 62 | 694 | 824 714.43/714.66 c 709s | 20 | 831934 | 804327 | 31294 62 | 694 | 824 716.53/716.74 c 711s | 20 | 834575 | 806827 | 31294 62 | 694 | 824 718.54/718.79 c 713s | 20 | 837181 | 809327 | 31294 62 | 694 | 824 720.64/720.84 c 715s | 20 | 839601 | 811727 | 31294 62 | 694 | 824 722.74/722.91 c 717s | 20 | 840709 | 812827 | 31294 62 | 694 | 824 724.75/724.96 c 719s | 20 | 842816 | 814927 | 31294 62 | 694 | 824 726.84/727.10 c 721s | 20 | 843818 | 815927 | 31294 63 | 694 | 824 728.94/729.12 c 723s | 20 | 846640 | 818727 | 31294 63 | 694 | 824 730.93/731.15 c 725s | 20 | 849865 | 821927 | 31294 63 | 694 | 824 732.93/733.19 c 727s | 20 | 852485 | 824527 | 31294 63 | 694 | 824 735.03/735.24 c 729s | 20 | 854298 | 826327 | 31294 63 | 694 | 824 737.03/737.24 c 731s | 20 | 856008 | 828027 | 31294 63 | 694 | 824 739.04/739.25 c 733s | 20 | 857907 | 829927 | 31294 63 | 694 | 824 741.73/741.95 c 736s | 20 | 859539 | 831527 | 31294 64 | 694 | 824 743.73/743.97 c 738s | 20 | 864435 | 836327 | 31294 64 | 694 | 824 745.83/746.00 c 740s | 20 | 869168 | 841027 | 31294 64 | 694 | 824 747.94/748.19 c 742s | 20 | 869363 | 841227 | 31294 64 | 694 | 824 750.13/750.36 c 744s | 20 | 873088 | 844927 | 31294 64 | 694 | 824 752.23/752.41 c 746s | 20 | 875996 | 847827 | 31294 65 | 694 | 824 754.22/754.46 c 748s | 20 | 880314 | 852127 | 31294 65 | 694 | 824 756.32/756.52 c 751s | 20 | 884132 | 855927 | 31294 65 | 694 | 824 758.32/758.55 c 753s | 20 | 886417 | 858127 | 31294 65 | 694 | 824 760.32/760.56 c 755s | 20 | 888388 | 860027 | 31294 65 | 694 | 824 762.42/762.66 c 757s | 20 | 890301 | 861927 | 31294 65 | 694 | 824 764.52/764.73 c 759s | 20 | 892115 | 863727 | 31294 66 | 694 | 824 766.53/766.80 c 761s | 20 | 895038 | 866627 | 31294 66 | 694 | 824 768.62/768.81 c 763s | 20 | 897242 | 868827 | 31294 66 | 694 | 824 770.62/770.84 c 765s | 20 | 899056 | 870627 | 31294 66 | 694 | 824 772.72/772.93 c 767s | 20 | 900859 | 872427 | 31294 66 | 694 | 824 774.82/775.00 c 769s | 20 | 902470 | 874027 | 31294 66 | 694 | 824 776.82/777.09 c 771s | 20 | 904072 | 875627 | 31294 66 | 694 | 824 779.01/779.20 c 773s | 20 | 905585 | 877127 | 31294 66 | 694 | 824 781.11/781.33 c 775s | 20 | 907194 | 878727 | 31294 66 | 694 | 824 783.51/783.73 c 778s | 20 | 908287 | 879827 | 31294 67 | 694 | 824 785.51/785.79 c 780s | 20 | 909089 | 880627 | 31294 67 | 694 | 824 787.61/787.83 c 782s | 20 | 911309 | 882827 | 31294 67 | 694 | 824 789.61/789.86 c 784s | 20 | 913820 | 885327 | 31294 67 | 694 | 824 791.70/791.99 c 786s | 20 | 915632 | 887127 | 31294 67 | 694 | 824 793.80/794.04 c 788s | 20 | 917646 | 889127 | 31294 67 | 694 | 824 795.80/796.08 c 790s | 20 | 919843 | 891327 | 31294 67 | 694 | 824 797.90/798.11 c 792s | 20 | 922558 | 894027 | 31294 67 | 694 | 824 799.90/800.11 c 794s | 20 | 924107 | 895527 | 31294 67 | 694 | 824 801.90/802.13 c 796s | 20 | 929213 | 900527 | 31294 68 | 694 | 824 803.90/804.15 c 798s | 20 | 934140 | 905327 | 31294 68 | 694 | 824 805.91/806.19 c 800s | 20 | 937633 | 908727 | 31294 68 | 694 | 824 808.01/808.23 c 802s | 20 | 940499 | 911527 | 31294 68 | 694 | 824 810.00/810.23 c 804s | 20 | 942746 | 913727 | 31294 69 | 694 | 824 812.00/812.26 c 806s | 20 | 945215 | 916127 | 31294 69 | 694 | 824 814.10/814.32 c 808s | 20 | 947506 | 918327 | 31294 69 | 694 | 824 816.11/816.33 c 810s | 20 | 949671 | 920427 | 31294 69 | 694 | 824 818.21/818.42 c 812s | 20 | 951760 | 922427 | 31294 69 | 694 | 824 820.20/820.48 c 815s | 20 | 953616 | 924227 | 31294 69 | 694 | 824 822.30/822.52 c 817s | 20 | 955258 | 925827 | 31294 69 | 694 | 824 824.40/824.67 c 819s | 20 | 956697 | 927227 | 31294 69 | 694 | 824 827.70/827.95 c 822s | 20 | 957623 | 928127 | 31294 70 | 694 | 824 829.79/830.00 c 824s | 20 | 960303 | 930727 | 31294 70 | 694 | 824 832.09/832.32 c 826s | 20 | 962043 | 932427 | 31294 70 | 694 | 824 834.09/834.33 c 828s | 20 | 964393 | 934727 | 31294 70 | 694 | 824 836.09/836.39 c 830s | 20 | 966449 | 936727 | 31294 70 | 694 | 824 838.19/838.44 c 832s | 20 | 968300 | 938527 | 31294 70 | 694 | 824 840.19/840.46 c 834s | 20 | 970292 | 940427 | 31294 70 | 694 | 824 842.28/842.55 c 837s | 20 | 972162 | 942227 | 31294 70 | 694 | 824 847.28/847.55 c 842s | 20 | 974225 | 944227 | 31294 71 | 694 | 824 849.38/849.63 c 844s | 20 | 977121 | 947027 | 31294 71 | 694 | 824 851.38/851.64 c 846s | 20 | 980614 | 950427 | 31294 71 | 694 | 824 853.38/853.67 c 848s | 20 | 983114 | 952827 | 31294 71 | 694 | 824 855.48/855.71 c 850s | 20 | 985764 | 955327 | 31294 71 | 694 | 824 857.48/857.72 c 852s | 20 | 988052 | 957427 | 31294 71 | 694 | 824 861.68/861.93 c 856s | 20 | 989282 | 958627 | 31294 71 | 694 | 824 864.28/864.53 c 859s | 20 | 991007 | 960327 | 31294 72 | 694 | 824 866.38/866.62 c 861s | 20 | 994990 | 964227 | 31294 72 | 694 | 824 868.38/868.67 c 863s | 20 | 997125 | 966327 | 31294 72 | 694 | 824 870.47/870.70 c 865s | 20 | 999871 | 969027 | 31294 72 | 694 | 824 872.47/872.76 c 867s | 20 | 1002310 | 971427 | 31294 72 | 694 | 824 874.57/874.83 c 869s | 20 | 1004661 | 973727 | 31294 72 | 694 | 824 876.58/876.89 c 871s | 20 | 1006612 | 975627 | 31294 72 | 694 | 824 878.68/878.92 c 873s | 20 | 1007624 | 976627 | 31294 73 | 694 | 824 880.77/881.01 c 875s | 20 | 1009678 | 978627 | 31294 73 | 694 | 824 882.86/883.10 c 877s | 20 | 1011921 | 980827 | 31294 73 | 694 | 824 884.86/885.16 c 879s | 20 | 1014408 | 983227 | 31294 73 | 694 | 824 886.96/887.25 c 881s | 20 | 1016549 | 985327 | 34424 73 | 694 | 824 889.06/889.31 c 883s | 20 | 1018622 | 987327 | 34424 73 | 694 | 824 891.16/891.42 c 885s | 20 | 1020469 | 989127 | 34424 73 | 694 | 824 893.16/893.43 c 887s | 20 | 1022004 | 990627 | 34424 73 | 694 | 824 895.26/895.50 c 890s | 20 | 1023437 | 992027 | 34424 73 | 694 | 824 897.26/897.53 c 892s | 20 | 1024967 | 993527 | 34424 73 | 694 | 824 899.25/899.60 c 894s | 20 | 1026900 | 995427 | 34424 73 | 694 | 824 901.45/901.70 c 896s | 20 | 1027415 | 995927 | 34424 74 | 694 | 824 904.25/904.53 c 899s | 20 | 1028733 | 997227 | 34424 74 | 694 | 824 906.35/906.62 c 901s | 20 | 1031416 | 999827 | 34424 74 | 694 | 824 906.75/907.06 c 901s | 21 | 1031955 | 1000345 | 34424 74 | 694 | 824 908.75/909.06 c 903s | 21 | 1032757 | 1000945 | 34424 74 | 694 | 824 910.75/911.07 c 905s | 21 | 1036039 | 1004145 | 34424 74 | 694 | 824 912.86/913.15 c 907s | 21 | 1038631 | 1006645 | 34424 74 | 694 | 824 914.95/915.23 c 909s | 21 | 1040480 | 1008445 | 34424 74 | 694 | 824 919.46/919.72 c 914s | 21 | 1040896 | 1008845 | 34424 74 | 694 | 824 921.45/921.79 c 916s | 21 | 1043517 | 1011345 | 34424 74 | 694 | 824 924.15/924.40 c 918s | 21 | 1045593 | 1013345 | 34424 75 | 694 | 824 926.15/926.41 c 920s | 21 | 1048142 | 1015745 | 34424 75 | 694 | 824 928.15/928.45 c 922s | 21 | 1051424 | 1018845 | 34424 75 | 694 | 824 930.14/930.48 c 925s | 21 | 1054275 | 1021545 | 34424 75 | 694 | 824 932.24/932.52 c 927s | 21 | 1056836 | 1023945 | 34424 75 | 694 | 824 934.34/934.60 c 929s | 21 | 1059009 | 1025945 | 34424 75 | 694 | 824 936.54/936.85 c 931s | 21 | 1061317 | 1028145 | 34424 75 | 694 | 824 938.54/938.90 c 933s | 21 | 1063465 | 1030245 | 34424 75 | 694 | 824 940.74/941.01 c 935s | 21 | 1064380 | 1031145 | 34424 76 | 694 | 824 942.74/943.04 c 937s | 21 | 1068419 | 1035145 | 34424 76 | 694 | 824 944.75/945.08 c 939s | 21 | 1071083 | 1037745 | 34424 76 | 694 | 824 946.85/947.14 c 941s | 21 | 1074168 | 1040745 | 34424 76 | 694 | 824 948.94/949.24 c 943s | 21 | 1076807 | 1043345 | 34424 76 | 694 | 824 950.94/951.29 c 945s | 21 | 1078944 | 1045445 | 34424 76 | 694 | 824 953.04/953.31 c 947s | 21 | 1080772 | 1047245 | 34424 76 | 694 | 824 955.64/955.90 c 950s | 21 | 1082297 | 1048745 | 34424 77 | 694 | 824 957.64/957.95 c 952s | 21 | 1084854 | 1051245 | 34424 77 | 694 | 824 959.63/959.96 c 954s | 21 | 1086703 | 1053045 | 34424 77 | 694 | 824 961.73/962.04 c 956s | 21 | 1089081 | 1055345 | 34424 77 | 694 | 824 964.63/964.98 c 959s | 21 | 1090659 | 1056845 | 34424 77 | 694 | 824 966.74/967.02 c 961s | 21 | 1093360 | 1059445 | 34424 77 | 694 | 824 968.73/969.05 c 963s | 21 | 1096420 | 1062345 | 34424 77 | 694 | 824 970.83/971.11 c 965s | 21 | 1099605 | 1065345 | 34424 77 | 694 | 824 973.73/974.01 c 968s | 21 | 1100760 | 1066445 | 34424 78 | 694 | 824 975.72/976.04 c 970s | 21 | 1104018 | 1069545 | 34424 78 | 694 | 824 977.82/978.11 c 972s | 21 | 1106482 | 1071945 | 34424 78 | 694 | 824 979.83/980.16 c 974s | 21 | 1109111 | 1074545 | 34424 78 | 694 | 824 981.91/982.22 c 976s | 21 | 1111555 | 1076945 | 34424 78 | 694 | 824 983.91/984.28 c 978s | 21 | 1113379 | 1078745 | 34424 78 | 694 | 824 986.01/986.35 c 980s | 21 | 1115225 | 1080545 | 34424 78 | 694 | 824 990.82/991.15 c 985s | 21 | 1117118 | 1082345 | 34424 78 | 694 | 824 993.61/993.97 c 988s | 21 | 1118926 | 1084045 | 34424 79 | 694 | 824 995.71/996.04 c 990s | 21 | 1121554 | 1086545 | 34424 79 | 694 | 824 997.81/998.13 c 992s | 21 | 1123944 | 1088845 | 34424 79 | 694 | 824 999.80/1000.19 c 994s | 21 | 1125782 | 1090645 | 34424 79 | 694 | 824 1001.91/1002.27 c 996s | 21 | 1127783 | 1092545 | 34424 79 | 694 | 824 1004.01/1004.32 c 998s | 21 | 1129357 | 1094045 | 34424 79 | 694 | 824 1006.00/1006.37 c 1000s | 21 | 1130856 | 1095445 | 34424 79 | 694 | 824 1008.10/1008.45 c 1002s | 21 | 1132307 | 1096845 | 34424 79 | 694 | 824 1010.10/1010.46 c 1004s | 21 | 1134661 | 1099145 | 34424 79 | 694 | 824 1012.20/1012.58 c 1007s | 21 | 1136612 | 1101045 | 34424 79 | 694 | 824 1014.30/1014.65 c 1009s | 21 | 1137315 | 1101745 | 34424 80 | 694 | 824 1016.31/1016.66 c 1011s | 21 | 1138845 | 1103245 | 34424 80 | 694 | 824 1018.41/1018.74 c 1013s | 21 | 1141487 | 1105845 | 34424 80 | 694 | 824 1020.70/1021.08 c 1015s | 21 | 1143643 | 1107945 | 34424 80 | 694 | 824 1022.81/1023.16 c 1017s | 21 | 1145694 | 1109945 | 34424 80 | 694 | 824 1024.80/1025.20 c 1019s | 21 | 1147783 | 1111945 | 34424 80 | 694 | 824 1026.90/1027.21 c 1021s | 21 | 1149526 | 1113645 | 34424 80 | 694 | 824 1028.90/1029.23 c 1023s | 21 | 1151285 | 1115345 | 34424 80 | 694 | 824 1030.89/1031.28 c 1025s | 21 | 1152720 | 1116745 | 34424 80 | 694 | 824 1033.09/1033.46 c 1027s | 21 | 1154166 | 1118145 | 34424 80 | 694 | 824 1036.49/1036.80 c 1031s | 21 | 1155393 | 1119345 | 34424 81 | 694 | 824 1041.88/1042.28 c 1036s | 21 | 1155815 | 1119745 | 34424 81 | 694 | 824 1043.99/1044.34 c 1038s | 21 | 1157656 | 1121545 | 34424 81 | 694 | 824 1045.99/1046.34 c 1040s | 21 | 1161244 | 1125045 | 34424 81 | 694 | 824 1047.99/1048.37 c 1042s | 21 | 1163597 | 1127345 | 34424 81 | 694 | 824 1050.08/1050.49 c 1045s | 21 | 1165721 | 1129445 | 34424 81 | 694 | 824 1052.18/1052.59 c 1047s | 21 | 1167457 | 1131145 | 34424 81 | 694 | 824 1054.38/1054.72 c 1049s | 21 | 1169022 | 1132645 | 34424 81 | 694 | 824 1056.38/1056.79 c 1051s | 21 | 1170634 | 1134245 | 34424 81 | 694 | 824 1058.38/1058.79 c 1053s | 21 | 1172175 | 1135745 | 34424 81 | 694 | 824 1061.19/1061.57 c 1056s | 21 | 1173502 | 1137045 | 34424 82 | 694 | 824 1063.28/1063.61 c 1058s | 21 | 1175442 | 1138945 | 34424 82 | 694 | 824 1066.68/1067.09 c 1061s | 21 | 1176450 | 1139945 | 34424 82 | 694 | 824 1068.78/1069.10 c 1063s | 21 | 1179263 | 1142745 | 34424 82 | 694 | 824 1070.78/1071.12 c 1065s | 21 | 1181425 | 1144845 | 34424 82 | 694 | 824 1072.78/1073.17 c 1067s | 21 | 1183372 | 1146745 | 34424 82 | 694 | 824 1074.78/1075.18 c 1069s | 21 | 1185130 | 1148445 | 34424 82 | 694 | 824 1077.08/1077.49 c 1072s | 21 | 1186869 | 1150145 | 34424 82 | 694 | 824 1079.18/1079.52 c 1074s | 21 | 1188502 | 1151745 | 34424 82 | 694 | 824 1081.17/1081.58 c 1076s | 21 | 1189934 | 1153145 | 34424 82 | 694 | 824 1084.07/1084.49 c 1079s | 21 | 1190048 | 1153245 | 34424 82 | 694 | 824 1086.97/1087.34 c 1081s | 21 | 1191571 | 1154745 | 34424 83 | 694 | 824 1088.98/1089.36 c 1083s | 21 | 1193623 | 1156745 | 34424 83 | 694 | 824 1091.07/1091.43 c 1085s | 21 | 1196303 | 1159345 | 34424 83 | 694 | 824 1093.08/1093.49 c 1088s | 21 | 1198538 | 1161545 | 34424 83 | 694 | 824 1095.57/1095.93 c 1090s | 21 | 1200493 | 1163445 | 34424 83 | 694 | 824 1097.58/1097.97 c 1092s | 21 | 1202452 | 1165345 | 34424 83 | 694 | 824 1099.68/1100.06 c 1094s | 21 | 1204203 | 1167045 | 34424 83 | 694 | 824 1101.77/1102.15 c 1096s | 21 | 1205739 | 1168545 | 34424 83 | 694 | 824 1103.87/1104.20 c 1098s | 21 | 1207177 | 1169945 | 34424 83 | 694 | 824 1105.87/1106.27 c 1100s | 21 | 1208823 | 1171545 | 34424 83 | 694 | 824 1108.37/1108.71 c 1103s | 21 | 1209654 | 1172345 | 34424 84 | 694 | 824 1110.37/1110.74 c 1105s | 21 | 1211919 | 1174545 | 34424 84 | 694 | 824 1112.37/1112.76 c 1107s | 21 | 1214520 | 1177045 | 34424 84 | 694 | 824 1114.37/1114.76 c 1109s | 21 | 1216876 | 1179345 | 34424 84 | 694 | 824 1116.47/1116.84 c 1111s | 21 | 1218821 | 1181245 | 34424 84 | 694 | 824 1118.57/1118.92 c 1113s | 21 | 1220556 | 1182945 | 34424 84 | 694 | 824 1120.57/1120.94 c 1115s | 21 | 1221983 | 1184345 | 34424 84 | 694 | 824 1122.56/1122.98 c 1117s | 21 | 1223545 | 1185845 | 34424 84 | 694 | 824 1124.66/1125.08 c 1119s | 21 | 1224991 | 1187245 | 34424 84 | 694 | 824 1126.86/1127.21 c 1121s | 21 | 1226336 | 1188545 | 34424 84 | 694 | 824 1128.96/1129.35 c 1123s | 21 | 1227559 | 1189745 | 34424 84 | 694 | 824 1130.96/1131.38 c 1125s | 21 | 1227959 | 1190145 | 34424 85 | 694 | 824 1133.06/1133.46 c 1127s | 21 | 1230418 | 1192545 | 34424 85 | 694 | 824 1135.06/1135.48 c 1130s | 21 | 1231969 | 1194045 | 34424 85 | 694 | 824 1137.16/1137.53 c 1132s | 21 | 1233914 | 1195945 | 34424 85 | 694 | 824 1139.16/1139.53 c 1134s | 21 | 1235542 | 1197545 | 34424 85 | 694 | 824 1141.36/1141.70 c 1136s | 21 | 1236984 | 1198945 | 34424 85 | 694 | 824 1143.46/1143.84 c 1138s | 21 | 1238424 | 1200345 | 34424 85 | 694 | 824 1145.45/1145.89 c 1140s | 21 | 1239750 | 1201645 | 34424 85 | 694 | 824 1147.45/1147.89 c 1142s | 21 | 1241186 | 1203045 | 34424 85 | 694 | 824 1149.55/1149.91 c 1144s | 21 | 1242492 | 1204345 | 34424 85 | 694 | 824 1151.75/1152.10 c 1146s | 21 | 1243911 | 1205745 | 34424 85 | 694 | 824 1153.85/1154.25 c 1148s | 21 | 1245032 | 1206845 | 34424 85 | 694 | 824 1158.35/1158.78 c 1153s | 21 | 1245966 | 1207745 | 34424 86 | 694 | 824 1162.05/1162.43 c 1156s | 21 | 1246890 | 1208645 | 34424 86 | 694 | 824 1164.05/1164.49 c 1159s | 21 | 1249473 | 1211145 | 34424 86 | 694 | 824 1166.15/1166.57 c 1161s | 21 | 1251836 | 1213445 | 34424 86 | 694 | 824 1168.25/1168.68 c 1163s | 21 | 1253603 | 1215145 | 34424 86 | 694 | 824 1170.35/1170.77 c 1165s | 21 | 1255470 | 1216945 | 34424 86 | 694 | 824 1172.55/1172.95 c 1167s | 21 | 1257227 | 1218645 | 34424 86 | 694 | 824 1174.65/1175.01 c 1169s | 21 | 1258680 | 1220045 | 34424 86 | 694 | 824 1176.75/1177.12 c 1171s | 21 | 1260221 | 1221545 | 34424 86 | 694 | 824 1178.75/1179.16 c 1173s | 21 | 1261551 | 1222845 | 34424 86 | 694 | 824 1180.95/1181.31 c 1175s | 21 | 1262894 | 1224145 | 34424 86 | 694 | 824 1184.55/1184.94 c 1179s | 21 | 1264132 | 1225345 | 34424 87 | 694 | 824 1186.55/1186.95 c 1181s | 21 | 1266170 | 1227345 | 34424 87 | 694 | 824 1188.54/1188.95 c 1183s | 21 | 1269442 | 1230445 | 34424 87 | 694 | 824 1190.64/1191.01 c 1185s | 21 | 1272844 | 1233645 | 34424 87 | 694 | 824 1192.64/1193.03 c 1187s | 21 | 1276035 | 1236645 | 34424 87 | 694 | 824 1194.64/1195.09 c 1189s | 21 | 1278678 | 1239145 | 34424 87 | 694 | 824 1196.74/1197.18 c 1191s | 21 | 1280770 | 1241145 | 34424 87 | 694 | 824 1198.94/1199.30 c 1193s | 21 | 1282659 | 1242945 | 34424 87 | 694 | 824 1200.94/1201.30 c 1195s | 21 | 1282765 | 1243045 | 34424 88 | 694 | 824 1203.04/1203.42 c 1197s | 21 | 1284446 | 1244645 | 34424 88 | 694 | 824 1205.43/1205.84 c 1200s | 21 | 1286890 | 1246945 | 34424 88 | 694 | 824 1207.44/1207.87 c 1202s | 21 | 1289300 | 1249245 | 34424 88 | 694 | 824 1209.53/1209.91 c 1204s | 21 | 1290555 | 1250445 | 34424 88 | 694 | 824 1212.03/1212.47 c 1206s | 21 | 1293079 | 1252945 | 34424 88 | 694 | 824 1214.03/1214.49 c 1209s | 21 | 1295582 | 1255445 | 34424 88 | 694 | 824 1216.13/1216.54 c 1211s | 21 | 1297295 | 1257145 | 34424 88 | 694 | 824 1218.23/1218.63 c 1213s | 21 | 1299402 | 1259245 | 34424 88 | 694 | 824 1222.12/1222.58 c 1217s | 21 | 1300907 | 1260745 | 34424 89 | 694 | 824 1224.12/1224.58 c 1219s | 21 | 1303120 | 1262945 | 34424 89 | 694 | 824 1226.23/1226.61 c 1221s | 21 | 1305727 | 1265545 | 34424 89 | 694 | 824 1233.22/1233.60 c 1228s | 21 | 1306756 | 1266545 | 34424 89 | 694 | 824 1235.22/1235.65 c 1230s | 21 | 1309714 | 1269445 | 34424 89 | 694 | 824 1237.23/1237.69 c 1232s | 21 | 1312168 | 1271845 | 34424 89 | 694 | 824 1239.33/1239.76 c 1234s | 21 | 1314817 | 1274445 | 34424 89 | 694 | 824 1241.42/1241.87 c 1236s | 21 | 1316556 | 1276145 | 34424 89 | 694 | 824 1243.62/1244.04 c 1238s | 21 | 1318102 | 1277645 | 34424 89 | 694 | 824 1247.92/1248.38 c 1242s | 21 | 1318949 | 1278445 | 34424 90 | 694 | 824 1250.02/1250.41 c 1244s | 21 | 1322505 | 1281845 | 34424 90 | 694 | 824 1252.02/1252.46 c 1246s | 21 | 1325459 | 1284745 | 34424 90 | 694 | 824 1255.51/1255.97 c 1250s | 21 | 1327003 | 1286245 | 34424 90 | 694 | 824 1257.61/1258.00 c 1252s | 21 | 1329045 | 1288245 | 34424 90 | 694 | 824 1259.61/1260.01 c 1254s | 21 | 1330675 | 1289845 | 34424 90 | 694 | 824 1261.61/1262.03 c 1256s | 21 | 1332624 | 1291745 | 34424 90 | 694 | 824 1263.71/1264.11 c 1258s | 21 | 1334382 | 1293445 | 34424 90 | 694 | 824 1265.82/1266.22 c 1260s | 21 | 1336131 | 1295145 | 34424 90 | 694 | 824 1268.62/1269.03 c 1263s | 21 | 1337053 | 1296045 | 34424 91 | 694 | 824 1270.61/1271.06 c 1265s | 21 | 1338991 | 1297945 | 34424 91 | 694 | 824 1272.71/1273.15 c 1267s | 21 | 1341524 | 1300445 | 34424 91 | 694 | 824 1276.51/1276.96 c 1271s | 21 | 1343598 | 1302445 | 34424 91 | 694 | 824 1278.61/1279.07 c 1273s | 21 | 1346732 | 1305545 | 34424 91 | 694 | 824 1280.61/1281.09 c 1275s | 21 | 1350062 | 1308845 | 34424 91 | 694 | 824 1282.71/1283.18 c 1277s | 21 | 1352498 | 1311245 | 34424 91 | 694 | 824 1285.61/1286.01 c 1280s | 21 | 1355607 | 1314345 | 34424 92 | 694 | 824 1287.61/1288.03 c 1282s | 21 | 1359946 | 1318645 | 34424 92 | 694 | 824 1289.61/1290.09 c 1284s | 21 | 1363589 | 1322245 | 34424 92 | 694 | 824 1297.71/1298.11 c 1292s | 21 | 1365122 | 1323745 | 34424 92 | 694 | 824 1299.70/1300.15 c 1294s | 21 | 1367433 | 1326045 | 34424 92 | 694 | 824 1301.70/1302.16 c 1296s | 21 | 1369859 | 1328445 | 34424 92 | 694 | 824 1303.80/1304.21 c 1298s | 21 | 1372095 | 1330645 | 34424 92 | 694 | 824 1306.00/1306.41 c 1300s | 21 | 1373818 | 1332345 | 34424 93 | 694 | 824 1308.00/1308.44 c 1302s | 21 | 1376050 | 1334545 | 34424 93 | 694 | 824 1310.10/1310.54 c 1305s | 21 | 1378084 | 1336545 | 34424 93 | 694 | 824 1312.10/1312.56 c 1307s | 21 | 1380010 | 1338445 | 34424 93 | 694 | 824 1314.10/1314.57 c 1309s | 21 | 1382021 | 1340445 | 34424 93 | 694 | 824 1316.20/1316.68 c 1311s | 21 | 1383738 | 1342145 | 34424 93 | 694 | 824 1318.40/1318.84 c 1313s | 21 | 1385260 | 1343645 | 34424 93 | 694 | 824 1320.50/1320.92 c 1315s | 21 | 1386668 | 1345045 | 34424 93 | 694 | 824 1322.60/1323.03 c 1317s | 21 | 1387981 | 1346345 | 34424 93 | 694 | 824 1324.70/1325.12 c 1319s | 21 | 1389191 | 1347545 | 34424 93 | 694 | 824 1326.80/1327.23 c 1321s | 21 | 1390308 | 1348645 | 34424 93 | 694 | 824 1328.79/1329.25 c 1323s | 21 | 1390722 | 1349045 | 34424 94 | 694 | 824 1330.79/1331.27 c 1325s | 21 | 1392942 | 1351245 | 34424 94 | 694 | 824 1335.90/1336.33 c 1330s | 21 | 1395667 | 1353945 | 34424 94 | 694 | 824 1337.90/1338.37 c 1332s | 21 | 1398176 | 1356445 | 34424 94 | 694 | 824 1340.00/1340.40 c 1334s | 21 | 1400588 | 1358845 | 34424 94 | 694 | 824 1342.10/1342.51 c 1337s | 21 | 1402399 | 1360645 | 34424 94 | 694 | 824 1344.20/1344.62 c 1339s | 21 | 1403936 | 1362145 | 34424 94 | 694 | 824 1346.30/1346.74 c 1341s | 21 | 1405457 | 1363645 | 34424 94 | 694 | 824 1348.50/1348.91 c 1343s | 21 | 1406873 | 1365045 | 34424 94 | 694 | 824 1350.50/1350.98 c 1345s | 21 | 1408080 | 1366245 | 34424 94 | 694 | 824 1353.29/1353.76 c 1348s | 21 | 1408590 | 1366745 | 34424 95 | 694 | 824 1355.29/1355.78 c 1350s | 21 | 1411031 | 1369145 | 34424 95 | 694 | 824 1357.39/1357.84 c 1352s | 21 | 1413143 | 1371245 | 34424 95 | 694 | 824 1359.49/1359.96 c 1354s | 21 | 1415744 | 1373845 | 34424 95 | 694 | 824 1361.50/1361.98 c 1356s | 21 | 1417657 | 1375745 | 34424 95 | 694 | 824 1363.60/1364.05 c 1358s | 21 | 1419764 | 1377845 | 34424 95 | 694 | 824 1365.70/1366.10 c 1360s | 21 | 1420890 | 1378945 | 34424 95 | 694 | 824 1367.70/1368.12 c 1362s | 21 | 1422709 | 1380745 | 34424 95 | 694 | 824 1369.70/1370.18 c 1364s | 21 | 1424527 | 1382545 | 34424 95 | 694 | 824 1371.80/1372.22 c 1366s | 21 | 1426247 | 1384245 | 34424 95 | 694 | 824 1373.79/1374.24 c 1368s | 21 | 1427154 | 1385145 | 34424 96 | 694 | 824 1375.80/1376.24 c 1370s | 21 | 1429591 | 1387545 | 34424 96 | 694 | 824 1377.90/1378.31 c 1372s | 21 | 1432300 | 1390245 | 34424 96 | 694 | 824 1379.89/1380.32 c 1374s | 21 | 1434330 | 1392245 | 34424 96 | 694 | 824 1381.99/1382.40 c 1376s | 21 | 1436241 | 1394145 | 34424 96 | 694 | 824 1384.09/1384.51 c 1379s | 21 | 1437456 | 1395345 | 34424 96 | 694 | 824 1386.09/1386.54 c 1381s | 21 | 1438968 | 1396845 | 34424 96 | 694 | 824 1388.29/1388.75 c 1383s | 21 | 1440495 | 1398345 | 34424 96 | 694 | 824 1390.39/1390.86 c 1385s | 21 | 1441902 | 1399745 | 34424 96 | 694 | 824 1393.09/1393.57 c 1388s | 21 | 1442917 | 1400745 | 34424 96 | 694 | 824 1396.08/1396.59 c 1391s | 21 | 1444218 | 1402045 | 34424 97 | 694 | 824 1398.18/1398.64 c 1393s | 21 | 1446445 | 1404245 | 34424 97 | 694 | 824 1400.18/1400.66 c 1395s | 21 | 1448960 | 1406745 | 34424 97 | 694 | 824 1402.19/1402.67 c 1397s | 21 | 1450974 | 1408745 | 34424 97 | 694 | 824 1404.30/1404.76 c 1399s | 21 | 1452996 | 1410745 | 34424 97 | 694 | 824 1406.39/1406.87 c 1401s | 21 | 1454915 | 1412645 | 34424 97 | 694 | 824 1408.39/1408.89 c 1403s | 21 | 1456522 | 1414245 | 34424 97 | 694 | 824 1410.49/1410.98 c 1405s | 21 | 1458527 | 1416245 | 34424 97 | 694 | 824 1412.59/1413.03 c 1407s | 21 | 1460433 | 1418145 | 34424 97 | 694 | 824 1415.09/1415.57 c 1410s | 21 | 1461957 | 1419645 | 34424 98 | 694 | 824 1417.78/1418.25 c 1412s | 21 | 1462158 | 1419845 | 34424 98 | 694 | 824 1419.79/1420.26 c 1414s | 21 | 1464658 | 1422345 | 34424 98 | 694 | 824 1421.78/1422.28 c 1416s | 21 | 1466869 | 1424545 | 34424 98 | 694 | 824 1426.98/1427.42 c 1421s | 21 | 1466991 | 1424645 | 34424 98 | 694 | 824 1429.18/1429.67 c 1424s | 21 | 1469630 | 1427145 | 34424 98 | 694 | 824 1431.18/1431.68 c 1426s | 21 | 1473497 | 1430845 | 34424 98 | 694 | 824 1433.28/1433.70 c 1428s | 21 | 1476364 | 1433645 | 34424 98 | 694 | 824 1435.28/1435.71 c 1430s | 21 | 1479040 | 1436245 | 34424 98 | 694 | 824 1437.29/1437.76 c 1432s | 21 | 1480691 | 1437845 | 34424 99 | 694 | 824 1439.28/1439.79 c 1434s | 21 | 1483155 | 1440245 | 34424 99 | 694 | 824 1442.08/1442.57 c 1437s | 21 | 1485306 | 1442345 | 34424 99 | 694 | 824 1444.18/1444.60 c 1439s | 21 | 1489532 | 1446445 | 34424 99 | 694 | 824 1446.18/1446.62 c 1441s | 21 | 1494125 | 1450845 | 34424 99 | 694 | 824 1448.18/1448.64 c 1443s | 21 | 1497431 | 1454045 | 34424 99 | 694 | 824 1450.18/1450.64 c 1445s | 21 | 1499172 | 1455745 | 34424 100 | 694 | 824 1452.18/1452.66 c 1447s | 21 | 1502464 | 1458845 | 34424 100 | 694 | 824 1454.18/1454.67 c 1449s | 21 | 1505280 | 1461545 | 34424 100 | 694 | 824 1456.68/1457.14 c 1451s | 21 | 1506207 | 1462445 | 34424 100 | 694 | 824 1458.78/1459.22 c 1453s | 21 | 1509031 | 1465145 | 34424 100 | 694 | 824 1460.88/1461.30 c 1455s | 21 | 1511452 | 1467445 | 34424 100 | 694 | 824 1462.88/1463.37 c 1457s | 21 | 1513325 | 1469245 | 34424 100 | 694 | 824 1464.98/1465.46 c 1459s | 21 | 1515224 | 1471045 | 34424 100 | 694 | 824 1467.98/1468.42 c 1462s | 21 | 1517016 | 1472745 | 34424 101 | 694 | 824 1470.38/1470.81 c 1465s | 21 | 1517225 | 1472945 | 34424 101 | 694 | 824 1472.37/1472.81 c 1467s | 21 | 1520086 | 1475645 | 34424 101 | 694 | 824 1474.37/1474.85 c 1469s | 21 | 1522533 | 1477945 | 34424 101 | 694 | 824 1476.47/1476.90 c 1471s | 21 | 1524668 | 1479945 | 34424 101 | 694 | 824 1478.47/1478.97 c 1473s | 21 | 1525832 | 1481045 | 34424 101 | 694 | 824 1480.57/1481.05 c 1475s | 21 | 1527781 | 1482945 | 37867 101 | 694 | 824 1482.67/1483.14 c 1477s | 21 | 1529394 | 1484545 | 37867 101 | 694 | 824 1484.68/1485.19 c 1479s | 21 | 1531014 | 1486145 | 37867 101 | 694 | 824 1486.78/1487.29 c 1481s | 21 | 1532541 | 1487645 | 37867 101 | 694 | 824 1488.97/1489.41 c 1483s | 21 | 1533958 | 1489045 | 37867 101 | 694 | 824 1490.97/1491.43 c 1485s | 21 | 1535275 | 1490345 | 37867 101 | 694 | 824 1492.97/1493.46 c 1487s | 21 | 1536492 | 1491545 | 37867 101 | 694 | 824 1495.07/1495.59 c 1490s | 21 | 1537610 | 1492645 | 37867 101 | 694 | 824 1497.17/1497.62 c 1492s | 21 | 1538720 | 1493745 | 37867 101 | 694 | 824 1499.28/1499.73 c 1494s | 21 | 1538818 | 1493845 | 37867 102 | 694 | 824 1501.27/1501.75 c 1496s | 21 | 1540260 | 1495245 | 37867 102 | 694 | 824 1503.67/1504.11 c 1498s | 21 | 1542089 | 1497045 | 37867 102 | 694 | 824 1505.67/1506.13 c 1500s | 21 | 1544011 | 1498945 | 37867 102 | 694 | 824 1507.47/1507.91 c 1502s | 22 | 1545708 | 1500622 | 37867 102 | 694 | 824 1513.87/1514.37 c 1508s | 22 | 1547673 | 1502322 | 37867 102 | 694 | 824 1515.97/1516.44 c 1510s | 22 | 1550121 | 1504722 | 37867 102 | 694 | 824 1517.97/1518.47 c 1513s | 22 | 1552370 | 1506922 | 37867 102 | 694 | 824 1520.07/1520.50 c 1515s | 22 | 1554628 | 1509122 | 37867 102 | 694 | 824 1522.07/1522.55 c 1517s | 22 | 1556496 | 1510922 | 37867 102 | 694 | 824 1524.17/1524.64 c 1519s | 22 | 1558565 | 1512922 | 37867 102 | 694 | 824 1526.16/1526.65 c 1521s | 22 | 1559076 | 1513422 | 37867 103 | 694 | 824 1528.26/1528.70 c 1523s | 22 | 1561644 | 1515922 | 37867 103 | 694 | 824 1530.26/1530.74 c 1525s | 22 | 1564073 | 1518322 | 37867 103 | 694 | 824 1536.47/1536.94 c 1531s | 22 | 1566341 | 1520522 | 37867 103 | 694 | 824 1538.47/1538.94 c 1533s | 22 | 1568783 | 1522922 | 37867 103 | 694 | 824 1540.57/1541.00 c 1535s | 22 | 1570949 | 1525022 | 37867 103 | 694 | 824 1542.56/1543.01 c 1537s | 22 | 1572790 | 1526822 | 37867 103 | 694 | 824 1544.66/1545.11 c 1539s | 22 | 1574849 | 1528822 | 37867 103 | 694 | 824 1546.66/1547.15 c 1541s | 22 | 1576278 | 1530222 | 37867 103 | 694 | 824 1548.76/1549.26 c 1543s | 22 | 1577699 | 1531622 | 37867 103 | 694 | 824 1551.26/1551.77 c 1546s | 22 | 1578712 | 1532622 | 37867 104 | 694 | 824 1553.97/1554.49 c 1549s | 22 | 1579443 | 1533322 | 37867 104 | 694 | 824 1556.06/1556.54 c 1551s | 22 | 1583412 | 1537222 | 37867 104 | 694 | 824 1558.06/1558.55 c 1553s | 22 | 1586061 | 1539822 | 37867 104 | 694 | 824 1560.16/1560.61 c 1555s | 22 | 1588242 | 1541922 | 37867 104 | 694 | 824 1562.16/1562.67 c 1557s | 22 | 1590109 | 1543722 | 37867 104 | 694 | 824 1564.36/1564.82 c 1559s | 22 | 1591738 | 1545322 | 37867 104 | 694 | 824 1566.46/1566.95 c 1561s | 22 | 1593166 | 1546722 | 37867 104 | 694 | 824 1568.56/1569.03 c 1563s | 22 | 1594531 | 1548022 | 37867 104 | 694 | 824 1570.66/1571.18 c 1565s | 22 | 1595858 | 1549322 | 37867 104 | 694 | 824 1572.76/1573.29 c 1567s | 22 | 1597178 | 1550622 | 37867 104 | 694 | 824 1574.76/1575.30 c 1569s | 22 | 1598291 | 1551722 | 37867 104 | 694 | 824 1576.86/1577.39 c 1571s | 22 | 1598602 | 1552022 | 37867 105 | 694 | 824 1578.86/1579.39 c 1573s | 22 | 1600547 | 1553922 | 37867 105 | 694 | 824 1580.96/1581.48 c 1576s | 22 | 1602483 | 1555822 | 37867 105 | 694 | 824 1583.06/1583.54 c 1578s | 22 | 1604533 | 1557822 | 37867 105 | 694 | 824 1585.06/1585.58 c 1580s | 22 | 1606164 | 1559422 | 37867 105 | 694 | 824 1587.06/1587.59 c 1582s | 22 | 1607828 | 1561022 | 37867 105 | 694 | 824 1589.17/1589.64 c 1584s | 22 | 1609365 | 1562522 | 37867 105 | 694 | 824 1591.27/1591.74 c 1586s | 22 | 1610875 | 1564022 | 37867 105 | 694 | 824 1593.36/1593.81 c 1588s | 22 | 1612300 | 1565422 | 37867 105 | 694 | 824 1595.36/1595.84 c 1590s | 22 | 1613640 | 1566722 | 37867 105 | 694 | 824 1597.36/1597.88 c 1592s | 22 | 1614970 | 1568022 | 37867 105 | 694 | 824 1599.56/1600.02 c 1594s | 22 | 1616401 | 1569422 | 37867 105 | 694 | 824 1601.66/1602.17 c 1596s | 22 | 1617617 | 1570622 | 37867 105 | 694 | 824 1605.26/1605.78 c 1600s | 22 | 1618349 | 1571322 | 37867 106 | 694 | 824 1615.25/1615.79 c 1610s | 22 | 1620479 | 1573422 | 37867 106 | 694 | 824 1617.35/1617.80 c 1612s | 22 | 1623027 | 1575922 | 37867 106 | 694 | 824 1619.35/1619.84 c 1614s | 22 | 1625643 | 1578522 | 37867 106 | 694 | 824 1621.35/1621.85 c 1616s | 22 | 1628186 | 1581022 | 37867 106 | 694 | 824 1623.35/1623.88 c 1618s | 22 | 1630329 | 1583122 | 37867 106 | 694 | 824 1625.46/1625.97 c 1620s | 22 | 1631252 | 1584022 | 37867 106 | 694 | 824 1627.56/1628.02 c 1622s | 22 | 1636489 | 1589222 | 37867 106 | 694 | 824 1629.65/1630.10 c 1624s | 22 | 1638795 | 1591522 | 37867 107 | 694 | 824 1631.85/1632.33 c 1626s | 22 | 1639507 | 1592222 | 37867 107 | 694 | 824 1633.95/1634.40 c 1628s | 22 | 1640679 | 1593322 | 37867 107 | 694 | 824 1635.95/1636.41 c 1630s | 22 | 1643432 | 1595922 | 37867 107 | 694 | 824 1637.95/1638.45 c 1632s | 22 | 1646894 | 1599322 | 37867 107 | 694 | 824 1640.05/1640.53 c 1635s | 22 | 1649775 | 1602122 | 37867 107 | 694 | 824 1642.15/1642.60 c 1637s | 22 | 1651964 | 1604222 | 37867 107 | 694 | 824 1644.16/1644.64 c 1639s | 22 | 1654388 | 1606522 | 37867 107 | 694 | 824 1646.26/1646.70 c 1641s | 22 | 1656766 | 1608822 | 37867 107 | 694 | 824 1648.25/1648.74 c 1643s | 22 | 1658116 | 1610122 | 37867 108 | 694 | 824 1650.25/1650.77 c 1645s | 22 | 1660885 | 1612822 | 37867 108 | 694 | 824 1652.25/1652.78 c 1647s | 22 | 1663370 | 1615222 | 37867 108 | 694 | 824 1654.25/1654.78 c 1649s | 22 | 1665545 | 1617322 | 37867 108 | 694 | 824 1656.35/1656.83 c 1651s | 22 | 1667401 | 1619122 | 37867 108 | 694 | 824 1658.35/1658.84 c 1653s | 22 | 1669350 | 1621022 | 37867 108 | 694 | 824 1660.34/1660.87 c 1655s | 22 | 1671990 | 1623622 | 37867 108 | 694 | 824 1662.44/1662.90 c 1657s | 22 | 1674506 | 1626122 | 37867 108 | 694 | 824 1664.44/1664.93 c 1659s | 22 | 1676633 | 1628222 | 37867 108 | 694 | 824 1666.94/1667.49 c 1662s | 22 | 1678045 | 1629622 | 37867 109 | 694 | 824 1669.04/1669.51 c 1664s | 22 | 1679670 | 1631222 | 37867 109 | 694 | 824 1671.65/1672.15 c 1666s | 22 | 1681683 | 1633222 | 37867 109 | 694 | 824 1673.64/1674.15 c 1668s | 22 | 1684291 | 1635822 | 37867 109 | 694 | 824 1675.64/1676.17 c 1670s | 22 | 1686717 | 1638222 | 37867 109 | 694 | 824 1677.74/1678.24 c 1672s | 22 | 1689034 | 1640522 | 37867 109 | 694 | 824 1679.74/1680.28 c 1674s | 22 | 1690958 | 1642422 | 37867 109 | 694 | 824 1681.84/1682.30 c 1676s | 22 | 1692766 | 1644222 | 37867 109 | 694 | 824 1683.94/1684.41 c 1678s | 22 | 1694476 | 1645922 | 37867 109 | 694 | 824 1685.94/1686.42 c 1680s | 22 | 1696096 | 1647522 | 37867 109 | 694 | 824 1688.54/1689.05 c 1683s | 22 | 1697509 | 1648922 | 37867 110 | 694 | 824 1690.64/1691.10 c 1685s | 22 | 1699717 | 1651122 | 37867 110 | 694 | 824 1693.24/1693.78 c 1688s | 22 | 1701128 | 1652522 | 37867 110 | 694 | 824 1695.75/1696.27 c 1690s | 22 | 1701238 | 1652622 | 37867 110 | 694 | 824 1697.84/1698.30 c 1692s | 22 | 1703848 | 1655222 | 37867 110 | 694 | 824 1699.84/1700.32 c 1694s | 22 | 1705957 | 1657322 | 37867 110 | 694 | 824 1701.94/1702.42 c 1696s | 22 | 1707866 | 1659222 | 37867 110 | 694 | 824 1703.94/1704.48 c 1699s | 22 | 1709582 | 1660922 | 37867 110 | 694 | 824 1706.14/1706.60 c 1701s | 22 | 1711190 | 1662522 | 37867 110 | 694 | 824 1708.24/1708.72 c 1703s | 22 | 1712599 | 1663922 | 37867 110 | 694 | 824 1710.34/1710.83 c 1705s | 22 | 1713914 | 1665222 | 37867 110 | 694 | 824 1712.44/1712.95 c 1707s | 22 | 1715318 | 1666622 | 37867 110 | 694 | 824 1714.55/1715.02 c 1709s | 22 | 1716626 | 1667922 | 37867 110 | 694 | 824 1717.04/1717.58 c 1712s | 22 | 1717035 | 1668322 | 37867 111 | 694 | 824 1721.33/1721.85 c 1716s | 22 | 1719046 | 1670322 | 37867 111 | 694 | 824 1723.34/1723.89 c 1718s | 22 | 1721109 | 1672322 | 37867 111 | 694 | 824 1725.44/1725.97 c 1720s | 22 | 1723076 | 1674222 | 37867 111 | 694 | 824 1727.53/1728.04 c 1722s | 22 | 1725127 | 1676222 | 37867 111 | 694 | 824 1729.63/1730.12 c 1724s | 22 | 1726650 | 1677722 | 37867 111 | 694 | 824 1734.03/1734.53 c 1729s | 22 | 1727857 | 1678922 | 37867 111 | 694 | 824 1736.13/1736.63 c 1731s | 22 | 1730063 | 1681122 | 37867 111 | 694 | 824 1738.13/1738.64 c 1733s | 22 | 1732066 | 1683122 | 37867 111 | 694 | 824 1740.23/1740.71 c 1735s | 22 | 1733876 | 1684922 | 37867 111 | 694 | 824 1742.23/1742.73 c 1737s | 22 | 1735492 | 1686522 | 37867 111 | 694 | 824 1745.53/1746.03 c 1740s | 22 | 1736699 | 1687722 | 37867 112 | 694 | 824 1747.63/1748.10 c 1742s | 22 | 1739421 | 1690422 | 37867 112 | 694 | 824 1749.64/1750.16 c 1744s | 22 | 1741737 | 1692722 | 37867 112 | 694 | 824 1751.63/1752.18 c 1746s | 22 | 1743945 | 1694922 | 37867 112 | 694 | 824 1753.73/1754.26 c 1748s | 22 | 1745776 | 1696722 | 37867 112 | 694 | 824 1755.73/1756.27 c 1750s | 22 | 1747603 | 1698522 | 37867 112 | 694 | 824 1757.73/1758.28 c 1752s | 22 | 1749308 | 1700222 | 37867 112 | 694 | 824 1759.83/1760.32 c 1754s | 22 | 1750826 | 1701722 | 37867 112 | 694 | 824 1761.93/1762.40 c 1756s | 22 | 1752336 | 1703222 | 37867 112 | 694 | 824 1764.03/1764.55 c 1759s | 22 | 1753546 | 1704422 | 37867 112 | 694 | 824 1766.13/1766.70 c 1761s | 22 | 1754770 | 1705622 | 37867 112 | 694 | 824 1768.33/1768.80 c 1763s | 22 | 1755982 | 1706822 | 37867 112 | 694 | 824 1770.53/1771.10 c 1765s | 22 | 1756593 | 1707422 | 37867 113 | 694 | 824 1776.53/1777.01 c 1771s | 22 | 1758211 | 1709022 | 37867 113 | 694 | 824 1778.53/1779.08 c 1773s | 22 | 1761118 | 1711922 | 37867 113 | 694 | 824 1780.63/1781.17 c 1775s | 22 | 1763542 | 1714322 | 37867 113 | 694 | 824 1782.73/1783.25 c 1777s | 22 | 1765549 | 1716322 | 37867 113 | 694 | 824 1784.83/1785.32 c 1779s | 22 | 1767367 | 1718122 | 37867 113 | 694 | 824 1786.92/1787.42 c 1781s | 22 | 1769078 | 1719822 | 37867 113 | 694 | 824 1788.92/1789.42 c 1783s | 22 | 1769978 | 1720722 | 37867 113 | 694 | 824 1791.02/1791.50 c 1786s | 22 | 1771585 | 1722322 | 37867 113 | 694 | 824 1793.02/1793.54 c 1788s | 22 | 1773402 | 1724122 | 37867 113 | 694 | 824 1795.13/1795.61 c 1790s | 22 | 1774514 | 1725222 | 37867 113 | 694 | 824 1799.23/1799.75 c 1794s | 22 | 1775819 | 1726522 | 37867 114 | 694 | 824
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-4080206-1465272650/watcher-4080206-1465272650 -o /tmp/evaluation-result-4080206-1465272650/solver-4080206-1465272650 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4332 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080206-1465272650.opb pid=6830 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.35 2.26 2.20 3/180 6833 /proc/meminfo: memFree=27659680/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=518588 CPUtime=0 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 1899 0 0 0 0 0 0 0 20 0 4 0 109198637 531034112 1749 33554432000 4194304 16246674 140734388466912 140734388466336 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6833/statm: 130159 1759 441 2943 0 127053 0 [pid=6833/tid=6834] ppid=6830 vsize=534972 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 547811328 1816 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=539068 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 552005632 1832 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=544188 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109198637 557248512 1848 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100176 s] /proc/loadavg: 2.35 2.26 2.20 3/180 6833 /proc/meminfo: memFree=27659680/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 28125 0 0 0 6 3 0 0 20 0 4 0 109198637 1247350784 27966 33554432000 4194304 16246674 140734388466912 140734388466336 7203965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6833/statm: 304529 27976 645 2943 0 301423 0 [pid=6833/tid=6834] ppid=6830 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 1247350784 27983 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 1247350784 27990 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109198637 1247350784 27997 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200532 s] /proc/loadavg: 2.35 2.26 2.20 3/180 6833 /proc/meminfo: memFree=27659680/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=1227332 CPUtime=0.19 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 35034 0 0 0 15 4 0 0 20 0 4 0 109198637 1256787968 34831 33554432000 4194304 16246674 140734388466912 140734388466224 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6833/statm: 306833 34831 890 2943 0 303727 0 [pid=6833/tid=6834] ppid=6830 vsize=1227332 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 1256787968 34831 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=1227332 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 1256787968 34831 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=1227332 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109198637 1256787968 34831 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1227332 [startup+0.300495 s] /proc/loadavg: 2.35 2.26 2.20 3/180 6833 /proc/meminfo: memFree=27659680/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=1227332 CPUtime=0.28 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 49352 0 0 0 22 6 0 0 20 0 4 0 109198637 1256787968 49150 33554432000 4194304 16246674 140734388466912 140734388466224 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6833/statm: 306833 49157 890 2943 0 303727 0 [pid=6833/tid=6834] ppid=6830 vsize=1227332 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 1256787968 49164 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=1227332 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 1256787968 49168 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=1227332 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109198637 1256787968 49175 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1227332 [startup+0.700409 s] /proc/loadavg: 2.35 2.26 2.20 3/180 6833 /proc/meminfo: memFree=27659680/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=1227332 CPUtime=0.68 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 126231 0 0 0 51 17 0 0 20 0 4 0 109198637 1256787968 126028 33554432000 4194304 16246674 140734388466912 140734388448832 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6833/statm: 306833 126037 890 2943 0 303727 0 [pid=6833/tid=6834] ppid=6830 vsize=1227332 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 1256787968 126044 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=1227332 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 1256787968 126049 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=1227332 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109198637 1256787968 126054 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1227332 [startup+1.50042 s] /proc/loadavg: 2.35 2.26 2.20 3/184 6837 /proc/meminfo: memFree=26866832/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=1297988 CPUtime=1.48 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 265590 0 0 0 113 35 0 0 20 0 4 0 109198637 1329139712 265387 33554432000 4194304 16246674 140734388466912 140734388464704 5674919 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6833/statm: 324497 265387 893 2943 0 321391 0 [pid=6833/tid=6834] ppid=6830 vsize=1297988 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 1329139712 265387 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=1297988 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 1329139712 265387 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=1297988 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109198637 1329139712 265387 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1297988 [startup+3.10042 s] /proc/loadavg: 2.32 2.26 2.19 3/184 6837 /proc/meminfo: memFree=26599488/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=1307204 CPUtime=3.09 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 267800 0 0 0 273 36 0 0 20 0 4 0 109198637 1338576896 267597 33554432000 4194304 16246674 140734388466912 140734388448832 5670747 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6833/statm: 326801 267597 897 2943 0 323695 0 [pid=6833/tid=6834] ppid=6830 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 1338576896 267597 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 1338576896 267597 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109198637 1338576896 267597 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30042 s] /proc/loadavg: 2.32 2.26 2.19 3/184 6837 /proc/meminfo: memFree=26589568/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 267998 0 0 0 592 37 0 0 20 0 4 0 109198637 1338576896 267795 33554432000 4194304 16246674 140734388466912 140734388448832 5822428 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6833/statm: 326801 267795 916 2943 0 323695 0 [pid=6833/tid=6834] ppid=6830 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 1338576896 267795 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 1338576896 267795 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109198637 1338576896 267795 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.35 2.27 2.20 4/183 6837 /proc/meminfo: memFree=27428484/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=1323588 CPUtime=12.69 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 271962 0 0 0 1231 38 0 0 20 0 4 0 109198637 1355354112 271759 33554432000 4194304 16246674 140734388466912 140734388449912 13962576 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6833/statm: 330897 271759 919 2943 0 327791 0 [pid=6833/tid=6834] ppid=6830 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 1355354112 271759 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 1355354112 271759 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109198637 1355354112 271759 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1323588 [startup+25.5005 s] /proc/loadavg: 2.30 2.26 2.19 3/183 6837 /proc/meminfo: memFree=27413792/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=1338948 CPUtime=25.48 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 275939 0 0 0 2510 38 0 0 20 0 4 0 109198637 1371082752 275736 33554432000 4194304 16246674 140734388466912 140734388448832 5822484 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6833/statm: 334737 275736 919 2943 0 331631 0 [pid=6833/tid=6834] ppid=6830 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 1371082752 275736 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 1371082752 275736 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=1338948 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109198637 1371082752 275736 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1338948 [startup+51.1005 s] /proc/loadavg: 2.20 2.23 2.19 3/183 6837 /proc/meminfo: memFree=27222912/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=1350212 CPUtime=51.07 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 278755 0 0 0 5068 39 0 0 20 0 4 0 109198637 1382617088 278552 33554432000 4194304 16246674 140734388466912 140734388448832 5822428 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6833/statm: 337553 278552 919 2943 0 334447 0 [pid=6833/tid=6834] ppid=6830 vsize=1350212 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 1382617088 278552 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=1350212 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 1382617088 278552 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=1350212 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109198637 1382617088 278552 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1350212 [startup+102.3 s] /proc/loadavg: 2.44 2.29 2.20 4/183 6838 /proc/meminfo: memFree=26783640/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=1370692 CPUtime=102.27 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 283876 0 0 0 10187 40 0 0 20 0 4 0 109198637 1403588608 283673 33554432000 4194304 16246674 140734388466912 140734388448832 5822612 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6833/statm: 342673 283673 920 2943 0 339567 0 [pid=6833/tid=6834] ppid=6830 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 1403588608 283673 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 1403588608 283673 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109198637 1403588608 283673 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1370692 ################ # More data... # ################ /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109198637 1418268672 287514 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1385028 [startup+1362.3 s] /proc/loadavg: 2.15 2.19 2.18 3/183 6918 /proc/meminfo: memFree=27869116/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=1385028 CPUtime=1361.89 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 287784 0 0 0 136114 75 0 0 20 0 4 0 109198637 1418268672 287514 33554432000 4194304 16246674 140734388466912 140734388448832 5677802 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6833/statm: 346257 287514 921 2943 0 343151 0 [pid=6833/tid=6834] ppid=6830 vsize=1385028 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 1418268672 287514 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=1385028 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 1418268672 287514 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=1385028 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109198637 1418268672 287514 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1385028 [startup+1422.3 s] /proc/loadavg: 2.19 2.20 2.18 3/183 6919 /proc/meminfo: memFree=27868828/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=1385028 CPUtime=1421.89 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 287784 0 0 0 142112 77 0 0 20 0 4 0 109198637 1418268672 287514 33554432000 4194304 16246674 140734388466912 140734388448832 5829740 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6833/statm: 346257 287514 921 2943 0 343151 0 [pid=6833/tid=6834] ppid=6830 vsize=1385028 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 1418268672 287514 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=1385028 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 1418268672 287514 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=1385028 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109198637 1418268672 287514 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1385028 [startup+1482.3 s] /proc/loadavg: 2.19 2.19 2.18 3/183 6921 /proc/meminfo: memFree=27869240/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=1385028 CPUtime=1481.87 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 287784 0 0 0 148108 79 0 0 20 0 4 0 109198637 1418268672 287514 33554432000 4194304 16246674 140734388466912 140734388448832 5674036 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6833/statm: 346257 287514 921 2943 0 343151 0 [pid=6833/tid=6834] ppid=6830 vsize=1385028 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 1418268672 287514 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=1385028 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 1418268672 287514 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=1385028 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109198637 1418268672 287514 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1385028 [startup+1542.31 s] /proc/loadavg: 2.18 2.19 2.18 3/183 6922 /proc/meminfo: memFree=27818088/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=1436228 CPUtime=1541.87 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 300498 0 0 0 154103 84 0 0 20 0 4 0 109198637 1470697472 300228 33554432000 4194304 16246674 140734388466912 140734388448832 5672188 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6833/statm: 359057 300228 921 2943 0 355951 0 [pid=6833/tid=6834] ppid=6830 vsize=1436228 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 1470697472 300228 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=1436228 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 1470697472 300228 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=1436228 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109198637 1470697472 300228 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1436228 [startup+1602.3 s] /proc/loadavg: 2.20 2.19 2.18 3/183 6923 /proc/meminfo: memFree=27818084/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=1436228 CPUtime=1601.86 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 300498 0 0 0 160101 85 0 0 20 0 4 0 109198637 1470697472 300228 33554432000 4194304 16246674 140734388466912 140734388448832 5677712 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6833/statm: 359057 300228 921 2943 0 355951 0 [pid=6833/tid=6834] ppid=6830 vsize=1436228 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 1470697472 300228 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=1436228 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 1470697472 300228 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=1436228 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109198637 1470697472 300228 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1436228 [startup+1662.3 s] /proc/loadavg: 2.20 2.19 2.18 3/183 6924 /proc/meminfo: memFree=27818500/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=1436228 CPUtime=1661.84 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 300498 0 0 0 166096 88 0 0 20 0 4 0 109198637 1470697472 300228 33554432000 4194304 16246674 140734388466912 140734388448832 5822484 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6833/statm: 359057 300228 921 2943 0 355951 0 [pid=6833/tid=6834] ppid=6830 vsize=1436228 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 1470697472 300228 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=1436228 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 1470697472 300228 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=1436228 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109198637 1470697472 300228 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1436228 [startup+1722.3 s] /proc/loadavg: 2.22 2.20 2.18 3/183 6925 /proc/meminfo: memFree=27818308/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=1436228 CPUtime=1721.83 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 300584 0 0 0 172094 89 0 0 20 0 4 0 109198637 1470697472 300314 33554432000 4194304 16246674 140734388466912 140734388464704 5822252 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6833/statm: 359057 300314 921 2943 0 355951 0 [pid=6833/tid=6834] ppid=6830 vsize=1436228 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 1470697472 300314 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=1436228 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 1470697472 300314 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=1436228 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109198637 1470697472 300314 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1436228 [startup+1782.3 s] /proc/loadavg: 2.27 2.22 2.19 3/184 6930 /proc/meminfo: memFree=27818320/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=1436228 CPUtime=1781.83 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 300584 0 0 0 178092 91 0 0 20 0 4 0 109198637 1470697472 300314 33554432000 4194304 16246674 140734388466912 140734388448832 5822484 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6833/statm: 359057 300314 921 2943 0 355951 0 [pid=6833/tid=6834] ppid=6830 vsize=1436228 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 1470697472 300314 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=1436228 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 1470697472 300314 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=1436228 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109198637 1470697472 300314 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1436228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.26 2.22 2.18 3/184 6930 /proc/meminfo: memFree=27818428/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=1436228 CPUtime=1800.02 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 300584 0 0 0 179910 92 0 0 20 0 4 0 109198637 1470697472 300314 33554432000 4194304 16246674 140734388466912 140734388448832 5677537 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6833/statm: 359057 300314 921 2943 0 355951 0 [pid=6833/tid=6834] ppid=6830 vsize=1436228 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 1470697472 300314 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=1436228 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 1470697472 300314 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=1436228 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109198637 1470697472 300314 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1436228 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 6833 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.26 2.22 2.18 3/184 6930 /proc/meminfo: memFree=27818428/32872528 swapFree=15644/1722384 [pid=6833] ppid=6830 vsize=1436228 CPUtime=1800.02 cores=1,3,5,7 /proc/6833/stat : 6833 (toysat) R 6830 6833 4315 0 -1 4202496 300584 0 0 0 179910 92 0 0 20 0 4 0 109198637 1470697472 300314 33554432000 4194304 16246674 140734388466912 140734388448832 5677537 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/6833/statm: 359057 300314 921 2943 0 355951 0 [pid=6833/tid=6834] ppid=6830 vsize=1436228 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6834/stat : 6834 (toysat) S 6830 6833 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109198637 1470697472 300314 33554432000 4194304 16246674 140734388466912 140722693975280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6833/tid=6835] ppid=6830 vsize=1436228 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6835/stat : 6835 (toysat) S 6830 6833 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109198637 1470697472 300314 33554432000 4194304 16246674 140734388466912 140722683485424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6833/tid=6836] ppid=6830 vsize=1436228 CPUtime=0 cores=1,3,5,7 /proc/6833/task/6836/stat : 6836 (toysat) S 6830 6833 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109198637 1470697472 300314 33554432000 4194304 16246674 140734388466912 140722673011888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1436228 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1799.11 CPU system time (s): 0.924859 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 1436228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.11 system time used= 0.924859 maximum resident set size= 1201256 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 300584 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= 336 involuntary context switches= 3960 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.68529 second user time and 6.94294 second system time The end
Begin job on node120 at 2016-06-07 06:10:51 IDJOB=4080206 IDBENCH=72485 IDSOLVER=2542 FILE ID=node120/4080206-1465272650 RUNJOBID= node120-1465256721-4332 PBS_JOBID= 19843284 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_15_errors.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080206-1465272650/watcher-4080206-1465272650 -o /tmp/evaluation-result-4080206-1465272650/solver-4080206-1465272650 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4332 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080206-1465272650.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b155444c97f18a8f3025da7494a3d01e RANDOM SEED=555334635 node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 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: 27660604 kB Buffers: 102444 kB Cached: 127776 kB SwapCached: 1476 kB Active: 2617516 kB Inactive: 114052 kB Active(anon): 2500328 kB Inactive(anon): 3252 kB Active(file): 117188 kB Inactive(file): 110800 kB Unevictable: 1722384 kB Mlocked: 15644 kB SwapTotal: 67108856 kB SwapFree: 67099668 kB Dirty: 16328 kB Writeback: 0 kB AnonPages: 4242900 kB Mapped: 11940 kB Shmem: 0 kB Slab: 614884 kB SReclaimable: 59040 kB SUnreclaim: 555844 kB KernelStack: 1528 kB PageTables: 12360 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4364568 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1734656 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= 71704 MiB End job on node120 at 2016-06-07 06:40:51