| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.51 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb |
| MD5SUM | 5b0d3259e94309f2983f84185a6f768c |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 105 |
| Best CPU time to get the best result obtained on this benchmark | 1800.69 |
| Has Objective Function | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | |
| Total number of constraints | |
| Number of constraints which are clauses | |
| Number of constraints which are cardinality constraints (but not clauses) | |
| Number of constraints which are nor clauses,nor cardinality constraints | |
| Minimum length of a constraint | |
| Maximum length of a constraint | |
| Number of terms in the objective function | |
| Biggest coefficient in the objective function | |
| Number of bits for the biggest coefficient in the objective function | |
| Sum of the numbers in the objective function | |
| Number of bits of the sum of numbers in the objective function | |
| Biggest number in a constraint | |
| Number of bits of the biggest number in a constraint | |
| Biggest sum of numbers in a constraint | |
| Number of bits of the biggest sum of numbers | |
| Number of products (including duplicates) | |
| Sum of products size (including duplicates) | |
| Number of different products | |
| Sum of products size |
0.00/0.00 c 2016-06-30T11:19:08+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-4119798-1467278347.opb"] 0.00/0.01 c use --random-gen="560294790 185593050 821645735 4092373935 17163211 3751258701 3120336954 3491122680 1738351747 425143059 4273627379 1315435829 2230342078 3670021568 3189700595 3069227579 782591442 19128818 3736702866 3822504330 1161370508 3022605576 2763333773 469947532 2388069840 2942147666 3569804112 3742488292 646841705 3606468961 3124373476 466266939 4156227561 3268009420 1245861787 3082160019 1071742485 2700251669 2274652354 3901525866 2054025043 3763143959 4133918580 1668664381 2267276654 1755947532 3596860334 960854320 400527289 1573525857 1195600153 671556318 1583873243 1444769982 1472181903 3234202105 1083273520 2546704701 899889108 2737633103 2841673744 966166576 1823800102 494336138 1769556516 687545399 3445487090 1795508282 4058786290 601514055 882613193 1431010096 1777110439 1030203038 1657748974 2882662317 3704608160 4184642574 1010453917 2119642830 1737018517 2502350489 129560471 4249261658 1401215342 1059871851 3433699445 3779859954 108397569 3607499239 2532856995 3484707427 3481675789 3618357133 394631937 64397525 603963898 59230502 494241206 3407653832 2272798370 75404040 458657868 4098945571 3353515046 1164322233 325065486 2750437644 1677776139 1975850856 1721762330 1575525765 4007785370 3208766547 2494312034 3818325479 1058680034 3820441311 1678989111 2476195285 861710766 2775512260 40982189 2486020364 3073854074 2537319965 1977334011 1274749102 2952346866 1869366813 2689554842 2354929467 2286168510 3051925931 2358589875 1114880669 4079200001 3193252062 1346173416 4240326488 789883426 2763971967 340587253 3195856632 2365885627 521558321 4293509848 1311745995 2642552153 3544061604 3491854633 1468518781 2351569416 1900037320 1496888755 2902588119 658789654 1444730636 1837460060 786245345 1372491101 2143046226 3836762451 2879052608 3715566167 2371555066 2423689462 922931945 3932244285 1236285210 4029297189 3077624058 116727487 2238434722 1169922523 1656678401 3920822775 3274713185 2977463956 3858809274 559492053 171183188 4194277636 323295618 498595497 1546357413 4006353866 12060992 2193534233 1749922857 2158499838 1410038665 662229658 2777015985 159895940 2448793445 4284787006 118118218 4107622473 3831536018 857866437 87301421 4149951012 3509356031 3469159683 1803735071 204905176 177489233 2574008212 1346225056 3219549412 1247674193 2172478081 697143231 532628172 463640943 2086387261 3990317166 2606151119 186485665 4144759318 2821947135 4206722979 1790385093 2067645810 879843795 4285195898 4236877968 2931617904 306613159 3898687485 2588660507 1723097096 2393664658 2306810022 2169156392 2027154769 2533495395 2064291508 1631732955 33093499 2439757500 3122447248 1135859231 891371744 3562314953 930520353 2929814727 2020972695 3195931178 3582178099 1365185953 2291436805 2236060164 1259464413 1677415791 255 362436" option to reproduce the execution 0.89/0.93 c #vars 134272 0.89/0.93 c #constraints 2354 3.30/3.39 c BCD2: Hardening is enabled. 3.30/3.39 c BCD2: BiasedSearch is enabled. 3.30/3.39 c Solving starts ... 3.30/3.39 c ============================[ Search Statistics ]============================ 3.30/3.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.30/3.39 c | | | | Limit GC | Var | Constra 3.30/3.39 c ============================================================================= 3.40/3.47 c 0.0s | 0 | 0 | 0 | 45542 0 | 463 | 0 3.69/3.76 c 0.3s | 0 | 1065 | 0 | 45542 0 | 463 | 0 3.69/3.76 c #cpu_time = 0.209s 3.69/3.76 c #wall_clock_time = 0.209s 3.69/3.76 c #decision = 1065 3.69/3.76 c #random_decision = 2 3.69/3.76 c #conflict = 0 3.69/3.76 c #restart = 0 3.69/3.76 o 128 3.69/3.76 c BCD2: updating upper bound: 128 -> 127 3.69/3.76 c BCD2: 0 <= obj <= 127 3.69/3.76 c BCD2: #cores=0, #unrelaxed=128, #relaxed=0, #hardened=0 3.69/3.76 c BCD2: #sat=1 #unsat=1 bias=1/2 3.69/3.76 c Solving starts ... 3.69/3.76 c ============================[ Search Statistics ]============================ 3.69/3.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.69/3.76 c | | | | Limit GC | Var | Constra 3.69/3.76 c ============================================================================= 3.69/3.76 c 0.0s | 0 | 0 | 0 | 45542 0 | 463 | 0 3.79/3.85 c 0.1s | 0 | 32 | 0 | 45542 0 | 463 | 0 3.79/3.85 c #cpu_time = 0.085s 3.79/3.85 c #wall_clock_time = 0.085s 3.79/3.85 c #decision = 32 3.79/3.85 c #random_decision = 0 3.79/3.85 c #conflict = 0 3.79/3.85 c #restart = 0 3.79/3.85 c BCD2: found a new core of size 33: cost of the new core is >=1 3.79/3.85 c lower bound updated to 1 3.99/4.08 c BCD2: 1 <= obj <= 127 3.99/4.08 c BCD2: #cores=1, #unrelaxed=95, #relaxed=33, #hardened=0 3.99/4.08 c BCD2: #sat=1 #unsat=2 bias=2/3 3.99/4.08 c Solving starts ... 3.99/4.08 c ============================[ Search Statistics ]============================ 3.99/4.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.99/4.08 c | | | | Limit GC | Var | Constra 3.99/4.08 c ============================================================================= 3.99/4.08 c 0.0s | 0 | 0 | 0 | 45542 0 | 463 | 0 3.99/4.08 c 0.1s | 0 | 34 | 1 | 45542 0 | 463 | 0 3.99/4.08 c #cpu_time = 0.094s 3.99/4.08 c #wall_clock_time = 0.094s 3.99/4.08 c #decision = 34 3.99/4.08 c #random_decision = 0 3.99/4.08 c #conflict = 1 3.99/4.08 c #restart = 0 3.99/4.08 c BCD2: relaxing 33 and merging with 1 cores into a new core of size 66: cost of the new core is >=2 3.99/4.08 c lower bound updated to 2 3.99/4.08 c BCD2: 2 <= obj <= 127 3.99/4.08 c BCD2: #cores=1, #unrelaxed=62, #relaxed=66, #hardened=0 3.99/4.08 c BCD2: #sat=1 #unsat=3 bias=3/4 3.99/4.08 c Solving starts ... 3.99/4.08 c ============================[ Search Statistics ]============================ 3.99/4.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.99/4.08 c | | | | Limit GC | Var | Constra 3.99/4.08 c ============================================================================= 3.99/4.08 c 0.0s | 0 | 0 | 0 | 45542 0 | 464 | 0 4.09/4.15 c 0.1s | 0 | 32 | 1 | 45542 0 | 464 | 1 4.09/4.15 c #cpu_time = 0.089s 4.09/4.15 c #wall_clock_time = 0.089s 4.09/4.15 c #decision = 32 4.09/4.15 c #random_decision = 0 4.09/4.15 c #conflict = 1 4.09/4.15 c #restart = 0 4.09/4.15 c BCD2: relaxing 31 and merging with 1 cores into a new core of size 97: cost of the new core is >=3 4.09/4.15 c lower bound updated to 3 4.09/4.15 c BCD2: 3 <= obj <= 127 4.09/4.15 c BCD2: #cores=1, #unrelaxed=31, #relaxed=97, #hardened=0 4.09/4.15 c BCD2: #sat=1 #unsat=4 bias=4/5 4.09/4.15 c Solving starts ... 4.09/4.15 c ============================[ Search Statistics ]============================ 4.09/4.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.09/4.15 c | | | | Limit GC | Var | Constra 4.09/4.15 c ============================================================================= 4.09/4.16 c 0.0s | 0 | 0 | 0 | 45542 0 | 465 | 1 4.29/4.34 c 0.2s | 1 | 209 | 100 | 50097 0 | 465 | 2 4.40/4.48 c 0.3s | 1 | 312 | 157 | 50097 0 | 465 | 2 4.40/4.48 c #cpu_time = 0.315s 4.40/4.48 c #wall_clock_time = 0.315s 4.40/4.48 c #decision = 312 4.40/4.48 c #random_decision = 2 4.40/4.48 c #conflict = 157 4.40/4.48 c #restart = 1 4.40/4.48 c BCD2: relaxing 31 and merging with 1 cores into a new core of size 128: cost of the new core is >=4 4.40/4.48 c lower bound updated to 4 4.40/4.48 c BCD2: 4 <= obj <= 127 4.40/4.48 c BCD2: #cores=1, #unrelaxed=0, #relaxed=128, #hardened=0 4.40/4.48 c BCD2: #sat=1 #unsat=5 bias=5/6 4.40/4.48 c Solving starts ... 4.40/4.48 c ============================[ Search Statistics ]============================ 4.40/4.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.40/4.48 c | | | | Limit GC | Var | Constra 4.40/4.48 c ============================================================================= 4.50/4.50 c 0.0s | 0 | 0 | 0 | 50097 0 | 466 | 2 5.29/5.35 c 0.8s | 1 | 64798 | 100 | 55107 0 | 466 | 3 6.99/7.06 c 2.6s | 2 | 128602 | 250 | 55107 0 | 466 | 3 8.90/8.95 c 4.4s | 3 | 191752 | 475 | 60618 0 | 466 | 3 11.00/11.02 c 6.5s | 3 | 252120 | 675 | 66680 0 | 466 | 3 12.39/12.49 c 8.0s | 4 | 252269 | 813 | 66680 0 | 466 | 3 15.40/15.41 c 10.9s | 4 | 323502 | 1113 | 66680 0 | 466 | 3 17.39/17.42 c 12.9s | 4 | 323808 | 1213 | 73348 0 | 466 | 3 19.19/19.24 c 14.7s | 5 | 323975 | 1320 | 73348 0 | 466 | 3 22.39/22.40 c 17.9s | 5 | 383224 | 1520 | 73348 0 | 466 | 3 25.09/25.14 c 20.6s | 5 | 383514 | 1720 | 73348 0 | 466 | 3 27.89/27.94 c 23.4s | 5 | 383769 | 1920 | 73348 0 | 466 | 3 30.59/30.64 c 26.1s | 6 | 383983 | 2081 | 80683 0 | 466 | 3 33.09/33.19 c 28.7s | 6 | 440448 | 2281 | 80683 0 | 466 | 3 35.48/35.56 c 31.1s | 6 | 440661 | 2481 | 80683 0 | 466 | 3 37.58/37.65 c 33.1s | 6 | 440768 | 2581 | 80683 0 | 466 | 3 40.48/40.50 c 36.0s | 6 | 440867 | 2681 | 80683 0 | 466 | 3 42.89/42.98 c 38.5s | 6 | 441038 | 2781 | 80683 0 | 466 | 3 46.48/46.54 c 42.0s | 6 | 441140 | 2881 | 80683 0 | 466 | 3 49.59/49.67 c 45.2s | 6 | 441413 | 2981 | 80683 0 | 466 | 3 52.18/52.20 c 47.7s | 6 | 441529 | 3081 | 88752 0 | 466 | 3 54.18/54.29 c 49.8s | 6 | 441653 | 3181 | 88752 0 | 466 | 3 55.48/55.51 c 51.0s | 7 | 441694 | 3223 | 88752 0 | 466 | 3 58.18/58.28 c 53.8s | 7 | 493414 | 3323 | 88752 0 | 466 | 3 60.68/60.78 c 56.3s | 7 | 493527 | 3423 | 88752 0 | 466 | 3 63.28/63.33 c 58.8s | 7 | 493638 | 3523 | 88752 0 | 466 | 3 66.18/66.23 c 61.7s | 7 | 493749 | 3623 | 88752 0 | 466 | 3 68.98/69.06 c 64.6s | 7 | 493880 | 3723 | 88752 0 | 466 | 3 71.59/71.61 c 67.1s | 7 | 493995 | 3823 | 88752 0 | 466 | 3 74.18/74.22 c 69.7s | 7 | 494140 | 3923 | 88752 0 | 466 | 3 76.78/76.80 c 72.3s | 7 | 494263 | 4023 | 88752 0 | 466 | 3 79.78/79.81 c 75.3s | 7 | 494373 | 4123 | 88752 0 | 466 | 3 82.87/82.90 c 78.4s | 7 | 494481 | 4223 | 88752 0 | 466 | 3 85.88/85.91 c 81.4s | 7 | 494590 | 4323 | 88752 0 | 466 | 3 89.57/89.64 c 85.1s | 7 | 494737 | 4423 | 88752 0 | 466 | 3 91.67/91.75 c 87.2s | 7 | 494843 | 4523 | 88752 0 | 466 | 3 94.17/94.21 c 89.7s | 7 | 494973 | 4623 | 88752 0 | 466 | 3 96.58/96.66 c 92.2s | 7 | 495104 | 4723 | 88752 0 | 466 | 3 99.38/99.44 c 94.9s | 7 | 495211 | 4823 | 97628 0 | 466 | 3 102.58/102.61 c 98.1s | 7 | 495331 | 4923 | 97628 0 | 466 | 3 103.08/103.11 c 98.6s | 8 | 495346 | 4936 | 97628 0 | 466 | 3 104.49/104.56 c 100s | 8 | 523390 | 4944 | 97628 0 | 466 | 3 104.49/104.56 c #cpu_time = 99.942s 104.49/104.56 c #wall_clock_time = 99.938s 104.49/104.56 c #decision = 523390 104.49/104.56 c #random_decision = 1566 104.49/104.56 c #conflict = 4944 104.49/104.56 c #restart = 8 104.49/104.56 o 107 104.49/104.56 c BCD2: updating upper bound: 127 -> 106 104.49/104.56 c BCD2: 4 <= obj <= 106 104.49/104.56 c BCD2: #cores=1, #unrelaxed=0, #relaxed=128, #hardened=0 104.49/104.56 c BCD2: #sat=2 #unsat=5 bias=5/7 104.49/104.56 c Solving starts ... 104.49/104.56 c ============================[ Search Statistics ]============================ 104.49/104.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 104.49/104.56 c | | | | Limit GC | Var | Constra 104.49/104.56 c ============================================================================= 104.49/104.58 c 0.0s | 0 | 0 | 0 | 97628 0 | 466 | 5 106.58/106.60 c 2.0s | 0 | 10493 | 100 | 97628 0 | 466 | 5 106.58/106.67 c 2.1s | 1 | 10493 | 100 | 97628 0 | 466 | 5 108.48/108.55 c 4.0s | 2 | 10739 | 250 | 97628 0 | 466 | 5 110.18/110.24 c 5.7s | 3 | 11042 | 475 | 97628 0 | 466 | 5 112.37/112.47 c 7.9s | 3 | 11320 | 675 | 97628 0 | 466 | 5 113.28/113.30 c 8.7s | 4 | 11456 | 813 | 97628 0 | 466 | 5 115.28/115.35 c 10.8s | 4 | 12052 | 1313 | 97628 0 | 466 | 5 115.28/115.37 c 10.8s | 5 | 12065 | 1320 | 97628 0 | 466 | 5 117.47/117.57 c 13.0s | 5 | 12342 | 1520 | 97628 0 | 466 | 5 119.67/119.70 c 15.1s | 5 | 12753 | 1920 | 97628 0 | 466 | 5 120.17/120.23 c 15.7s | 6 | 12918 | 2081 | 97628 0 | 466 | 5 122.27/122.37 c 17.8s | 6 | 13201 | 2281 | 97628 0 | 466 | 5 124.57/124.68 c 20.1s | 6 | 13618 | 2681 | 107391 0 | 466 | 5 126.77/126.82 c 22.2s | 6 | 14013 | 3081 | 107391 0 | 466 | 5 127.77/127.82 c 23.2s | 7 | 14155 | 3223 | 107391 0 | 466 | 5 129.77/129.83 c 25.3s | 7 | 14655 | 3623 | 107391 0 | 466 | 5 131.88/131.90 c 27.3s | 7 | 15449 | 4423 | 107391 0 | 466 | 5 133.67/133.75 c 29.2s | 8 | 15970 | 4936 | 107391 0 | 466 | 5 135.97/136.07 c 31.5s | 8 | 16265 | 5136 | 107391 0 | 466 | 5 138.47/138.58 c 34.0s | 8 | 16661 | 5536 | 107391 0 | 466 | 5 140.57/140.60 c 36.0s | 8 | 16977 | 5836 | 107391 0 | 466 | 5 142.77/142.85 c 38.3s | 8 | 17378 | 6236 | 118131 0 | 466 | 5 144.87/144.90 c 40.3s | 8 | 18078 | 6936 | 118131 0 | 466 | 5 146.97/147.04 c 42.5s | 9 | 18660 | 7506 | 118131 0 | 466 | 5 149.17/149.25 c 44.7s | 9 | 18955 | 7706 | 118131 0 | 466 | 5 151.57/151.65 c 47.1s | 9 | 19368 | 8106 | 118131 0 | 466 | 5 153.77/153.89 c 49.3s | 9 | 20081 | 8806 | 118131 0 | 466 | 5 155.97/156.01 c 51.4s | 9 | 20490 | 9206 | 118131 0 | 466 | 5 157.97/158.07 c 53.5s | 9 | 20829 | 9506 | 118131 0 | 466 | 5 160.17/160.21 c 55.6s | 9 | 21113 | 9806 | 118131 0 | 466 | 5 162.47/162.59 c 58.0s | 9 | 21717 | 10406 | 118131 0 | 466 | 5 164.67/164.72 c 60.1s | 9 | 22524 | 11206 | 118131 0 | 466 | 5 165.17/165.29 c 60.7s | 10 | 22692 | 11361 | 118131 0 | 466 | 5 167.57/167.65 c 63.1s | 10 | 22973 | 11561 | 118131 0 | 466 | 5 169.77/169.89 c 65.3s | 10 | 23285 | 11861 | 118131 0 | 466 | 5 172.07/172.14 c 67.6s | 10 | 23592 | 12161 | 129945 0 | 466 | 5 174.17/174.29 c 69.7s | 10 | 24311 | 12861 | 129945 0 | 466 | 5 176.57/176.60 c 72.0s | 10 | 24810 | 13361 | 129945 0 | 466 | 5 178.96/179.01 c 74.4s | 10 | 25337 | 13861 | 129945 0 | 466 | 5 181.16/181.20 c 76.6s | 10 | 25738 | 14261 | 129945 0 | 466 | 5 183.36/183.49 c 78.9s | 10 | 26142 | 14661 | 129945 0 | 466 | 5 185.76/185.89 c 81.3s | 10 | 26547 | 15061 | 129945 0 | 466 | 5 188.07/188.20 c 83.6s | 10 | 26871 | 15361 | 129945 0 | 466 | 5 190.16/190.27 c 85.7s | 10 | 27278 | 15761 | 129945 0 | 466 | 5 192.47/192.59 c 88.0s | 10 | 27767 | 16261 | 129945 0 | 466 | 5 194.86/194.95 c 90.4s | 10 | 28574 | 17061 | 129945 0 | 466 | 5 195.16/195.22 c 90.6s | 11 | 28652 | 17144 | 129945 0 | 466 | 5 197.36/197.41 c 92.8s | 11 | 28953 | 17344 | 129945 0 | 466 | 5 199.86/199.98 c 95.4s | 11 | 29241 | 17644 | 129945 0 | 466 | 5 201.96/202.04 c 97.5s | 11 | 29559 | 17944 | 129945 0 | 466 | 5 204.16/204.24 c 99.7s | 11 | 29847 | 18244 | 129945 0 | 466 | 5 206.56/206.62 c 102s | 11 | 30566 | 18944 | 129945 0 | 466 | 5 208.86/208.95 c 104s | 11 | 30969 | 19344 | 129945 0 | 466 | 5 211.56/211.62 c 107s | 11 | 31469 | 19844 | 129945 0 | 466 | 5 213.76/213.88 c 109s | 11 | 31863 | 20244 | 129945 0 | 466 | 5 216.16/216.24 c 111s | 11 | 32285 | 20644 | 142940 0 | 466 | 5 218.26/218.33 c 113s | 11 | 32595 | 20944 | 142940 0 | 466 | 5 220.86/220.99 c 116s | 11 | 32889 | 21244 | 142940 0 | 466 | 5 223.16/223.24 c 118s | 11 | 33603 | 21944 | 142940 0 | 466 | 5 225.46/225.57 c 120s | 11 | 34200 | 22544 | 142940 0 | 466 | 5 227.86/227.97 c 123s | 11 | 34710 | 23044 | 142940 0 | 466 | 5 230.56/230.62 c 126s | 11 | 35208 | 23544 | 142940 0 | 466 | 5 232.96/233.01 c 128s | 11 | 35596 | 23944 | 142940 0 | 466 | 5 235.26/235.33 c 130s | 11 | 35999 | 24344 | 142940 0 | 466 | 5 237.25/237.39 c 132s | 11 | 36303 | 24644 | 142940 0 | 466 | 5 239.55/239.61 c 135s | 11 | 36615 | 24944 | 142940 0 | 466 | 5 241.55/241.64 c 137s | 11 | 36920 | 25244 | 142940 0 | 466 | 5 244.45/244.58 c 140s | 11 | 37306 | 25644 | 142940 0 | 466 | 5 246.05/246.12 c 141s | 12 | 37479 | 25819 | 142940 0 | 466 | 5 248.35/248.40 c 143s | 12 | 37781 | 26019 | 142940 0 | 466 | 5 251.15/251.28 c 146s | 12 | 38159 | 26419 | 142940 0 | 466 | 5 253.25/253.33 c 148s | 12 | 38373 | 26619 | 142940 0 | 466 | 5 255.26/255.36 c 150s | 12 | 38656 | 26919 | 142940 0 | 466 | 5 257.36/257.46 c 152s | 12 | 38866 | 27119 | 142940 0 | 466 | 5 259.75/259.81 c 155s | 12 | 39281 | 27519 | 142940 0 | 466 | 5 262.05/262.12 c 157s | 12 | 39877 | 28119 | 142940 0 | 466 | 5 264.35/264.43 c 159s | 12 | 40384 | 28619 | 142940 0 | 466 | 5 266.85/266.90 c 162s | 12 | 40776 | 29019 | 142940 0 | 466 | 5 269.15/269.23 c 164s | 12 | 41177 | 29419 | 142940 0 | 466 | 5 271.95/272.01 c 167s | 12 | 41591 | 29819 | 142940 0 | 466 | 5 274.65/274.79 c 170s | 12 | 41985 | 30219 | 142940 0 | 466 | 5 276.95/277.05 c 172s | 12 | 42289 | 30519 | 142940 0 | 466 | 5 279.15/279.21 c 174s | 12 | 42590 | 30819 | 142940 0 | 466 | 5 281.15/281.25 c 176s | 12 | 42879 | 31119 | 142940 0 | 466 | 5 283.85/283.96 c 179s | 12 | 43180 | 31419 | 142940 0 | 466 | 5 286.05/286.16 c 181s | 12 | 43810 | 32019 | 142940 0 | 466 | 5 288.45/288.55 c 183s | 12 | 44315 | 32519 | 142940 0 | 466 | 5 290.74/290.85 c 186s | 12 | 44720 | 32919 | 142940 0 | 466 | 5 293.04/293.16 c 188s | 12 | 45111 | 33319 | 142940 0 | 466 | 5 295.14/295.25 c 190s | 12 | 45430 | 33619 | 157234 0 | 466 | 5 297.24/297.32 c 192s | 12 | 45715 | 33919 | 157234 0 | 466 | 5 299.34/299.47 c 194s | 12 | 46021 | 34219 | 157234 0 | 466 | 5 302.45/302.50 c 197s | 12 | 46419 | 34619 | 157234 0 | 466 | 5 304.75/304.82 c 200s | 12 | 46734 | 34919 | 157234 0 | 466 | 5 306.85/306.92 c 202s | 12 | 47039 | 35219 | 157234 0 | 466 | 5 309.05/309.15 c 204s | 12 | 47229 | 35419 | 157234 0 | 466 | 5 311.44/311.60 c 207s | 12 | 47531 | 35719 | 157234 0 | 466 | 5 313.94/314.03 c 209s | 12 | 47823 | 36019 | 157234 0 | 466 | 5 315.94/316.09 c 211s | 12 | 48025 | 36219 | 157234 0 | 466 | 5 318.54/318.61 c 214s | 12 | 48322 | 36519 | 157234 0 | 466 | 5 320.74/320.83 c 216s | 12 | 48951 | 37119 | 157234 0 | 466 | 5 323.24/323.35 c 218s | 12 | 49440 | 37619 | 157234 0 | 466 | 5 325.44/325.56 c 220s | 12 | 49841 | 38019 | 157234 0 | 466 | 5 327.94/328.04 c 223s | 12 | 50239 | 38419 | 157234 0 | 466 | 5 330.14/330.26 c 225s | 12 | 50550 | 38719 | 157234 0 | 466 | 5 330.84/330.91 c 226s | 13 | 50657 | 38832 | 157234 0 | 466 | 5 333.84/333.94 c 229s | 13 | 50944 | 39032 | 157234 0 | 466 | 5 336.23/336.37 c 231s | 13 | 51245 | 39332 | 157234 0 | 466 | 5 338.74/338.85 c 234s | 13 | 51541 | 39632 | 157234 0 | 466 | 5 341.33/341.45 c 236s | 13 | 51942 | 40032 | 157234 0 | 466 | 5 344.34/344.42 c 239s | 13 | 52238 | 40332 | 157234 0 | 466 | 5 346.33/346.43 c 241s | 13 | 52448 | 40532 | 157234 0 | 466 | 5 348.43/348.53 c 243s | 13 | 52967 | 41032 | 157234 0 | 466 | 5 350.53/350.60 c 246s | 13 | 53362 | 41432 | 157234 0 | 466 | 5 352.93/353.09 c 248s | 13 | 53778 | 41832 | 157234 0 | 466 | 5 355.03/355.15 c 250s | 13 | 54071 | 42132 | 157234 0 | 466 | 5 358.03/358.10 c 253s | 13 | 54476 | 42532 | 157234 0 | 466 | 5 360.33/360.43 c 255s | 13 | 54771 | 42832 | 157234 0 | 466 | 5 362.73/362.89 c 258s | 13 | 55074 | 43132 | 157234 0 | 466 | 5 365.34/365.42 c 260s | 13 | 55366 | 43432 | 157234 0 | 466 | 5 367.84/367.97 c 263s | 13 | 55684 | 43732 | 157234 0 | 466 | 5 370.34/370.44 c 265s | 13 | 55979 | 44032 | 157234 0 | 466 | 5 372.64/372.73 c 268s | 13 | 56285 | 44332 | 157234 0 | 466 | 5 375.04/375.19 c 270s | 13 | 56476 | 44532 | 157234 0 | 466 | 5 377.14/377.28 c 272s | 13 | 56894 | 44932 | 157234 0 | 466 | 5 379.34/379.47 c 274s | 13 | 57392 | 45432 | 157234 0 | 466 | 5 381.74/381.86 c 277s | 13 | 57791 | 45832 | 157234 0 | 466 | 5 384.24/384.36 c 279s | 13 | 58192 | 46232 | 157234 0 | 466 | 5 386.94/387.01 c 282s | 13 | 58587 | 46632 | 157234 0 | 466 | 5 389.03/389.12 c 284s | 13 | 58896 | 46932 | 157234 0 | 466 | 5 391.23/391.39 c 286s | 13 | 59196 | 47232 | 157234 0 | 466 | 5 393.74/393.86 c 289s | 13 | 59494 | 47532 | 157234 0 | 466 | 5 396.23/396.37 c 291s | 13 | 59790 | 47832 | 157234 0 | 466 | 5 398.43/398.59 c 294s | 13 | 60201 | 48232 | 157234 0 | 466 | 5 400.83/400.94 c 296s | 13 | 60797 | 48832 | 157234 0 | 466 | 5 403.13/403.26 c 298s | 13 | 61199 | 49232 | 157234 0 | 466 | 5 405.33/405.43 c 300s | 13 | 61495 | 49532 | 157234 0 | 466 | 5 408.23/408.31 c 303s | 13 | 61898 | 49932 | 157234 0 | 466 | 5 410.73/410.88 c 306s | 13 | 62208 | 50232 | 157234 0 | 466 | 5 413.23/413.30 c 308s | 13 | 62494 | 50532 | 157234 0 | 466 | 5 415.53/415.61 c 311s | 13 | 62802 | 50832 | 157234 0 | 466 | 5 417.73/417.88 c 313s | 13 | 63306 | 51332 | 157234 0 | 466 | 5 420.24/420.33 c 315s | 13 | 63813 | 51832 | 157234 0 | 466 | 5 422.63/422.74 c 318s | 13 | 64213 | 52232 | 157234 0 | 466 | 5 425.43/425.52 c 320s | 13 | 64615 | 52632 | 157234 0 | 466 | 5 427.53/427.66 c 323s | 13 | 64910 | 52932 | 172958 0 | 466 | 5 429.73/429.89 c 325s | 13 | 65207 | 53232 | 172958 0 | 466 | 5 432.43/432.59 c 328s | 13 | 65513 | 53532 | 172958 0 | 466 | 5 434.83/434.95 c 330s | 13 | 66035 | 54032 | 172958 0 | 466 | 5 437.33/437.47 c 332s | 13 | 66437 | 54432 | 172958 0 | 466 | 5 439.53/439.63 c 335s | 13 | 66735 | 54732 | 172958 0 | 466 | 5 442.03/442.13 c 337s | 13 | 67042 | 55032 | 172958 0 | 466 | 5 444.53/444.68 c 340s | 13 | 67343 | 55332 | 172958 0 | 466 | 5 447.13/447.26 c 342s | 13 | 67656 | 55632 | 172958 0 | 466 | 5 449.83/449.97 c 345s | 13 | 67956 | 55932 | 172958 0 | 466 | 5 452.03/452.19 c 347s | 13 | 68144 | 56132 | 172958 0 | 466 | 5 454.12/454.28 c 349s | 13 | 68558 | 56532 | 172958 0 | 466 | 5 456.62/456.79 c 352s | 13 | 68957 | 56932 | 172958 0 | 466 | 5 458.73/458.83 c 354s | 13 | 69252 | 57232 | 172958 0 | 466 | 5 461.62/461.78 c 357s | 13 | 69651 | 57632 | 172958 0 | 466 | 5 463.92/464.09 c 359s | 13 | 69950 | 57932 | 172958 0 | 466 | 5 466.33/466.47 c 361s | 13 | 70262 | 58232 | 172958 0 | 466 | 5 466.82/466.99 c 362s | 14 | 70377 | 58352 | 172958 0 | 466 | 5 469.02/469.15 c 364s | 14 | 70563 | 58452 | 172958 0 | 466 | 5 471.52/471.63 c 367s | 14 | 70866 | 58752 | 172958 0 | 466 | 5 473.82/473.90 c 369s | 14 | 71266 | 59152 | 172958 0 | 466 | 5 476.23/476.38 c 371s | 14 | 71658 | 59552 | 172958 0 | 466 | 5 478.22/478.39 c 373s | 14 | 71959 | 59852 | 172958 0 | 466 | 5 480.82/480.98 c 376s | 14 | 72285 | 60152 | 172958 0 | 466 | 5 483.12/483.28 c 378s | 14 | 72475 | 60352 | 172958 0 | 466 | 5 485.62/485.77 c 381s | 14 | 72881 | 60752 | 172958 0 | 466 | 5 487.72/487.88 c 383s | 14 | 73177 | 61052 | 172958 0 | 466 | 5 489.92/490.05 c 385s | 14 | 73487 | 61352 | 172958 0 | 466 | 5 492.32/492.41 c 387s | 14 | 73799 | 61652 | 172958 0 | 466 | 5 494.82/494.96 c 390s | 14 | 74088 | 61952 | 172958 0 | 466 | 5 497.72/497.83 c 393s | 14 | 74380 | 62252 | 172958 0 | 466 | 5 500.52/500.69 c 396s | 14 | 74683 | 62552 | 172958 0 | 466 | 5 503.62/503.70 c 399s | 14 | 74993 | 62852 | 172958 0 | 466 | 5 506.62/506.77 c 402s | 14 | 75292 | 63152 | 172958 0 | 466 | 5 509.91/510.05 c 405s | 14 | 75589 | 63452 | 172958 0 | 466 | 5 512.11/512.24 c 407s | 14 | 75787 | 63652 | 172958 0 | 466 | 5 514.41/514.51 c 409s | 14 | 75997 | 63852 | 172958 0 | 466 | 5 516.92/517.04 c 412s | 14 | 76184 | 64052 | 172958 0 | 466 | 5 519.12/519.26 c 414s | 14 | 76388 | 64252 | 172958 0 | 466 | 5 521.51/521.62 c 417s | 14 | 76596 | 64452 | 172958 0 | 466 | 5 523.52/523.64 c 419s | 14 | 76804 | 64652 | 172958 0 | 466 | 5 526.51/526.60 c 422s | 14 | 76993 | 64852 | 172958 0 | 466 | 5 529.91/530.04 c 425s | 14 | 77303 | 65152 | 172958 0 | 466 | 5 532.51/532.67 c 428s | 14 | 77492 | 65352 | 172958 0 | 466 | 5 534.91/535.05 c 430s | 14 | 77805 | 65652 | 172958 0 | 466 | 5 537.21/537.38 c 432s | 14 | 78106 | 65952 | 172958 0 | 466 | 5 539.31/539.44 c 434s | 14 | 78508 | 66352 | 172958 0 | 466 | 5 541.71/541.86 c 437s | 14 | 78818 | 66652 | 172958 0 | 466 | 5 544.21/544.40 c 439s | 14 | 79115 | 66952 | 172958 0 | 466 | 5 547.31/547.45 c 442s | 14 | 79416 | 67252 | 172958 0 | 466 | 5 550.11/550.24 c 445s | 14 | 79709 | 67552 | 172958 0 | 466 | 5 553.01/553.16 c 448s | 14 | 80008 | 67852 | 172958 0 | 466 | 5 555.11/555.28 c 450s | 14 | 80218 | 68052 | 172958 0 | 466 | 5 558.41/558.52 c 453s | 14 | 80509 | 68352 | 172958 0 | 466 | 5 560.41/560.56 c 455s | 14 | 80707 | 68552 | 172958 0 | 466 | 5 562.91/563.00 c 458s | 14 | 80913 | 68752 | 172958 0 | 466 | 5 564.91/565.06 c 460s | 14 | 81112 | 68952 | 172958 0 | 466 | 5 567.51/567.70 c 463s | 14 | 81308 | 69152 | 172958 0 | 466 | 5 569.61/569.79 c 465s | 14 | 81518 | 69352 | 172958 0 | 466 | 5 572.01/572.11 c 467s | 14 | 81714 | 69552 | 172958 0 | 466 | 5 574.11/574.27 c 469s | 14 | 81904 | 69752 | 172958 0 | 466 | 5 577.00/577.14 c 472s | 14 | 82108 | 69952 | 172958 0 | 466 | 5 579.00/579.17 c 474s | 14 | 82320 | 70152 | 172958 0 | 466 | 5 581.81/581.98 c 477s | 14 | 82517 | 70352 | 172958 0 | 466 | 5 584.30/584.47 c 479s | 14 | 82826 | 70652 | 172958 0 | 466 | 5 586.31/586.47 c 481s | 14 | 83023 | 70852 | 172958 0 | 466 | 5 588.41/588.54 c 483s | 14 | 83433 | 71252 | 172958 0 | 466 | 5 590.90/591.05 c 486s | 14 | 83836 | 71652 | 172958 0 | 466 | 5 593.60/593.79 c 489s | 14 | 84144 | 71952 | 172958 0 | 466 | 5 596.80/596.91 c 492s | 14 | 84440 | 72252 | 172958 0 | 466 | 5 598.90/599.04 c 494s | 14 | 84635 | 72452 | 172958 0 | 466 | 5 602.40/602.50 c 497s | 14 | 84952 | 72752 | 172958 0 | 466 | 5 604.40/604.54 c 499s | 14 | 85152 | 72952 | 172958 0 | 466 | 5 606.80/606.98 c 502s | 14 | 85342 | 73152 | 172958 0 | 466 | 5 609.10/609.23 c 504s | 14 | 85544 | 73352 | 172958 0 | 466 | 5 612.50/612.63 c 508s | 14 | 85856 | 73652 | 172958 0 | 466 | 5 614.90/615.06 c 510s | 14 | 86044 | 73852 | 172958 0 | 466 | 5 617.50/617.67 c 513s | 14 | 86259 | 74052 | 172958 0 | 466 | 5 619.60/619.79 c 515s | 14 | 86442 | 74252 | 172958 0 | 466 | 5 622.40/622.52 c 517s | 14 | 86644 | 74452 | 172958 0 | 466 | 5 624.70/624.81 c 520s | 14 | 86843 | 74652 | 172958 0 | 466 | 5 627.50/627.67 c 523s | 14 | 87060 | 74852 | 172958 0 | 466 | 5 630.00/630.11 c 525s | 14 | 87247 | 75052 | 172958 0 | 466 | 5 632.29/632.41 c 527s | 14 | 87557 | 75352 | 172958 0 | 466 | 5 634.49/634.60 c 530s | 14 | 87957 | 75752 | 172958 0 | 466 | 5 637.29/637.46 c 532s | 14 | 88364 | 76152 | 172958 0 | 466 | 5 640.20/640.39 c 535s | 14 | 88652 | 76452 | 172958 0 | 466 | 5 643.09/643.27 c 538s | 14 | 88969 | 76752 | 172958 0 | 466 | 5 645.09/645.28 c 540s | 14 | 89166 | 76952 | 172958 0 | 466 | 5 647.29/647.45 c 542s | 14 | 89355 | 77152 | 172958 0 | 466 | 5 649.59/649.77 c 545s | 14 | 89563 | 77352 | 172958 0 | 466 | 5 651.69/651.88 c 547s | 14 | 89763 | 77552 | 172958 0 | 466 | 5 653.79/653.94 c 549s | 14 | 89954 | 77752 | 172958 0 | 466 | 5 656.39/656.51 c 551s | 14 | 90163 | 77952 | 172958 0 | 466 | 5 658.39/658.55 c 553s | 14 | 90357 | 78152 | 172958 0 | 466 | 5 661.00/661.12 c 556s | 14 | 90557 | 78352 | 172958 0 | 466 | 5 663.30/663.46 c 558s | 14 | 90764 | 78552 | 172958 0 | 466 | 5 665.59/665.72 c 561s | 14 | 90963 | 78752 | 172958 0 | 466 | 5 668.29/668.42 c 563s | 14 | 91177 | 78952 | 172958 0 | 466 | 5 670.90/671.10 c 566s | 14 | 91363 | 79152 | 172958 0 | 466 | 5 673.59/673.77 c 569s | 14 | 91792 | 79552 | 172958 0 | 466 | 5 675.89/676.06 c 571s | 14 | 92098 | 79852 | 172958 0 | 466 | 5 678.39/678.55 c 573s | 14 | 92391 | 80152 | 172958 0 | 466 | 5 681.19/681.31 c 576s | 14 | 92691 | 80452 | 172958 0 | 466 | 5 683.19/683.36 c 578s | 14 | 92896 | 80652 | 172958 0 | 466 | 5 686.19/686.38 c 581s | 14 | 93197 | 80952 | 172958 0 | 466 | 5 688.29/688.46 c 583s | 14 | 93397 | 81152 | 172958 0 | 466 | 5 690.29/690.49 c 585s | 14 | 93586 | 81352 | 172958 0 | 466 | 5 693.78/693.91 c 589s | 14 | 93887 | 81652 | 172958 0 | 466 | 5 697.29/697.43 c 592s | 14 | 94198 | 81952 | 190254 0 | 466 | 5 699.59/699.76 c 595s | 14 | 94394 | 82152 | 190254 0 | 466 | 5 702.18/702.32 c 597s | 14 | 94592 | 82352 | 190254 0 | 466 | 5 705.48/705.64 c 601s | 14 | 94906 | 82652 | 190254 0 | 466 | 5 707.78/707.98 c 603s | 14 | 95093 | 82852 | 190254 0 | 466 | 5 710.49/710.62 c 606s | 14 | 95311 | 83052 | 190254 0 | 466 | 5 713.08/713.24 c 608s | 14 | 95500 | 83252 | 190254 0 | 466 | 5 715.18/715.36 c 610s | 14 | 95806 | 83552 | 190254 0 | 466 | 5 717.98/718.10 c 613s | 14 | 96312 | 84052 | 190254 0 | 466 | 5 720.58/720.77 c 616s | 14 | 96622 | 84352 | 190254 0 | 466 | 5 723.48/723.69 c 619s | 14 | 96909 | 84652 | 190254 0 | 466 | 5 725.58/725.73 c 621s | 14 | 97112 | 84852 | 190254 0 | 466 | 5 728.09/728.22 c 623s | 14 | 97422 | 85152 | 190254 0 | 466 | 5 730.58/730.74 c 626s | 14 | 97617 | 85352 | 190254 0 | 466 | 5 732.59/732.76 c 628s | 14 | 97818 | 85552 | 190254 0 | 466 | 5 734.58/734.77 c 630s | 14 | 98019 | 85752 | 190254 0 | 466 | 5 736.68/736.86 c 632s | 14 | 98210 | 85952 | 190254 0 | 466 | 5 739.28/739.43 c 634s | 14 | 98418 | 86152 | 190254 0 | 466 | 5 742.58/742.79 c 638s | 14 | 98716 | 86452 | 190254 0 | 466 | 5 745.28/745.47 c 640s | 14 | 99035 | 86752 | 190254 0 | 466 | 5 747.28/747.48 c 642s | 14 | 99329 | 87052 | 190254 0 | 466 | 5 749.48/749.67 c 645s | 14 | 99734 | 87452 | 190254 0 | 466 | 5 751.38/751.56 c 646s | 15 | 99907 | 87632 | 190254 0 | 466 | 5 754.37/754.57 c 649s | 15 | 100096 | 87732 | 190254 0 | 466 | 5 757.07/757.23 c 652s | 15 | 100300 | 87932 | 190254 0 | 466 | 5 760.17/760.38 c 655s | 15 | 100601 | 88232 | 190254 0 | 466 | 5 762.67/762.81 c 658s | 15 | 101008 | 88632 | 190254 0 | 466 | 5 765.27/765.41 c 660s | 15 | 101303 | 88932 | 190254 0 | 466 | 5 767.27/767.47 c 662s | 15 | 101507 | 89132 | 190254 0 | 466 | 5 770.07/770.23 c 665s | 15 | 101814 | 89432 | 190254 0 | 466 | 5 772.37/772.54 c 667s | 15 | 102023 | 89632 | 190254 0 | 466 | 5 776.37/776.56 c 671s | 15 | 102228 | 89832 | 190254 0 | 466 | 5 778.47/778.60 c 674s | 15 | 102318 | 89932 | 190254 0 | 466 | 5 781.67/781.81 c 677s | 15 | 102520 | 90132 | 190254 0 | 466 | 5 784.28/784.49 c 679s | 15 | 102837 | 90432 | 190254 0 | 466 | 5 786.97/787.12 c 682s | 15 | 103235 | 90832 | 190254 0 | 466 | 5 789.37/789.51 c 684s | 15 | 103535 | 91132 | 190254 0 | 466 | 5 792.47/792.65 c 688s | 15 | 103833 | 91432 | 190254 0 | 466 | 5 794.97/795.14 c 690s | 15 | 104043 | 91632 | 190254 0 | 466 | 5 796.97/797.18 c 692s | 15 | 104234 | 91832 | 190254 0 | 466 | 5 799.17/799.33 c 694s | 15 | 104434 | 92032 | 190254 0 | 466 | 5 801.57/801.72 c 697s | 15 | 104635 | 92232 | 190254 0 | 466 | 5 804.07/804.26 c 699s | 15 | 104836 | 92432 | 190254 0 | 466 | 5 806.67/806.89 c 702s | 15 | 105051 | 92632 | 190254 0 | 466 | 5 809.76/809.90 c 705s | 15 | 105239 | 92832 | 190254 0 | 466 | 5 812.46/812.68 c 708s | 15 | 105448 | 93032 | 190254 0 | 466 | 5 814.97/815.13 c 710s | 15 | 105637 | 93232 | 190254 0 | 466 | 5 818.27/818.48 c 713s | 15 | 105836 | 93432 | 190254 0 | 466 | 5 820.76/820.92 c 716s | 15 | 106046 | 93632 | 190254 0 | 466 | 5 824.06/824.27 c 719s | 15 | 106250 | 93832 | 190254 0 | 466 | 5 826.46/826.60 c 722s | 15 | 106443 | 94032 | 190254 0 | 466 | 5 828.46/828.62 c 724s | 15 | 106550 | 94132 | 190254 0 | 466 | 5 831.76/831.97 c 727s | 15 | 106747 | 94332 | 190254 0 | 466 | 5 834.66/834.83 c 730s | 15 | 106939 | 94532 | 190254 0 | 466 | 5 837.76/837.97 c 733s | 15 | 107148 | 94732 | 190254 0 | 466 | 5 840.06/840.25 c 735s | 15 | 107365 | 94932 | 190254 0 | 466 | 5 842.76/842.93 c 738s | 15 | 107658 | 95232 | 190254 0 | 466 | 5 844.96/845.10 c 740s | 15 | 107860 | 95432 | 190254 0 | 466 | 5 847.16/847.31 c 742s | 15 | 108058 | 95632 | 190254 0 | 466 | 5 849.46/849.68 c 745s | 15 | 108263 | 95832 | 190254 0 | 466 | 5 852.16/852.34 c 747s | 15 | 108456 | 96032 | 190254 0 | 466 | 5 854.56/854.72 c 750s | 15 | 108656 | 96232 | 190254 0 | 466 | 5 857.06/857.24 c 752s | 15 | 108872 | 96432 | 190254 0 | 466 | 5 859.66/859.86 c 755s | 15 | 109067 | 96632 | 190254 0 | 466 | 5 861.96/862.15 c 757s | 15 | 109273 | 96832 | 190254 0 | 466 | 5 865.26/865.42 c 760s | 15 | 109462 | 97032 | 190254 0 | 466 | 5 867.76/867.98 c 763s | 15 | 109665 | 97232 | 190254 0 | 466 | 5 869.96/870.11 c 765s | 15 | 109878 | 97432 | 190254 0 | 466 | 5 872.26/872.50 c 767s | 15 | 110061 | 97632 | 190254 0 | 466 | 5 875.25/875.48 c 770s | 15 | 110258 | 97832 | 190254 0 | 466 | 5 877.76/877.97 c 773s | 15 | 110481 | 98032 | 190254 0 | 466 | 5 880.15/880.38 c 775s | 15 | 110666 | 98232 | 190254 0 | 466 | 5 882.55/882.75 c 778s | 15 | 110880 | 98432 | 190254 0 | 466 | 5 885.95/886.14 c 781s | 15 | 111068 | 98632 | 190254 0 | 466 | 5 888.66/888.89 c 784s | 15 | 111279 | 98832 | 190254 0 | 466 | 5 891.45/891.66 c 787s | 15 | 111455 | 99032 | 190254 0 | 466 | 5 893.65/893.82 c 789s | 15 | 111682 | 99232 | 190254 0 | 466 | 5 897.35/897.58 c 792s | 15 | 111856 | 99432 | 190254 0 | 466 | 5 900.15/900.30 c 795s | 15 | 112058 | 99632 | 190254 0 | 466 | 5 902.45/902.60 c 798s | 15 | 112382 | 99932 | 190254 0 | 466 | 5 905.05/905.28 c 800s | 15 | 112679 | 100232 | 190254 0 | 466 | 5 907.75/907.96 c 803s | 15 | 112978 | 100532 | 190254 0 | 466 | 5 910.35/910.53 c 805s | 15 | 113281 | 100832 | 190254 0 | 466 | 5 912.95/913.11 c 808s | 15 | 113585 | 101132 | 190254 0 | 466 | 5 915.95/916.11 c 811s | 15 | 113887 | 101432 | 190254 0 | 466 | 5 918.75/918.97 c 814s | 15 | 114178 | 101732 | 190254 0 | 466 | 5 921.85/922.00 c 817s | 15 | 114488 | 102032 | 190254 0 | 466 | 5 923.95/924.12 c 819s | 15 | 114684 | 102232 | 190254 0 | 466 | 5 927.25/927.45 c 822s | 15 | 114984 | 102532 | 190254 0 | 466 | 5 929.54/929.72 c 825s | 15 | 115181 | 102732 | 190254 0 | 466 | 5 931.94/932.17 c 827s | 15 | 115383 | 102932 | 190254 0 | 466 | 5 935.54/935.72 c 831s | 15 | 115696 | 103232 | 190254 0 | 466 | 5 938.34/938.60 c 834s | 15 | 115877 | 103432 | 190254 0 | 466 | 5 941.24/941.41 c 836s | 15 | 116100 | 103632 | 190254 0 | 466 | 5 944.04/944.23 c 839s | 15 | 116281 | 103832 | 190254 0 | 466 | 5 946.64/946.81 c 842s | 15 | 116597 | 104132 | 190254 0 | 466 | 5 949.25/949.41 c 844s | 15 | 116897 | 104432 | 190254 0 | 466 | 5 951.94/952.19 c 847s | 15 | 117293 | 104832 | 190254 0 | 466 | 5 954.94/955.15 c 850s | 15 | 117593 | 105132 | 190254 0 | 466 | 5 957.34/957.58 c 852s | 15 | 117803 | 105332 | 190254 0 | 466 | 5 959.84/960.06 c 855s | 15 | 117998 | 105532 | 190254 0 | 466 | 5 962.14/962.33 c 857s | 15 | 118187 | 105732 | 190254 0 | 466 | 5 964.55/964.76 c 860s | 15 | 118395 | 105932 | 190254 0 | 466 | 5 967.14/967.30 c 862s | 15 | 118598 | 106132 | 190254 0 | 466 | 5 969.44/969.62 c 865s | 15 | 118807 | 106332 | 190254 0 | 466 | 5 971.54/971.79 c 867s | 15 | 118990 | 106532 | 190254 0 | 466 | 5 974.44/974.63 c 870s | 15 | 119191 | 106732 | 190254 0 | 466 | 5 976.74/976.96 c 872s | 15 | 119395 | 106932 | 190254 0 | 466 | 5 979.44/979.67 c 875s | 15 | 119603 | 107132 | 190254 0 | 466 | 5 982.05/982.27 c 877s | 15 | 119798 | 107332 | 190254 0 | 466 | 5 984.94/985.18 c 880s | 15 | 119996 | 107532 | 190254 0 | 466 | 5 987.54/987.71 c 883s | 15 | 120201 | 107732 | 190254 0 | 466 | 5 990.04/990.27 c 885s | 15 | 120401 | 107932 | 190254 0 | 466 | 5 992.64/992.81 c 888s | 15 | 120810 | 108332 | 190254 0 | 466 | 5 995.24/995.44 c 890s | 15 | 121215 | 108732 | 190254 0 | 466 | 5 997.55/997.79 c 893s | 15 | 121508 | 109032 | 190254 0 | 466 | 5 999.85/1000.09 c 895s | 15 | 121808 | 109332 | 190254 0 | 466 | 5 1002.54/1002.78 c 898s | 15 | 122113 | 109632 | 190254 0 | 466 | 5 1004.64/1004.87 c 900s | 15 | 122305 | 109832 | 190254 0 | 466 | 5 1007.34/1007.55 c 902s | 15 | 122520 | 110032 | 190254 0 | 466 | 5 1009.65/1009.85 c 905s | 15 | 122707 | 110232 | 190254 0 | 466 | 5 1011.95/1012.17 c 907s | 15 | 122919 | 110432 | 190254 0 | 466 | 5 1013.94/1014.19 c 909s | 15 | 123121 | 110632 | 190254 0 | 466 | 5 1016.44/1016.67 c 912s | 15 | 123307 | 110832 | 190254 0 | 466 | 5 1019.24/1019.41 c 914s | 15 | 123521 | 111032 | 190254 0 | 466 | 5 1022.54/1022.74 c 918s | 15 | 123708 | 111232 | 190254 0 | 466 | 5 1025.05/1025.28 c 920s | 15 | 124029 | 111532 | 190254 0 | 466 | 5 1027.94/1028.11 c 923s | 15 | 124331 | 111832 | 190254 0 | 466 | 5 1030.04/1030.27 c 925s | 15 | 124533 | 112032 | 190254 0 | 466 | 5 1032.24/1032.49 c 927s | 15 | 124731 | 112232 | 190254 0 | 466 | 5 1034.44/1034.64 c 930s | 15 | 124943 | 112432 | 190254 0 | 466 | 5 1037.24/1037.49 c 932s | 15 | 125131 | 112632 | 190254 0 | 466 | 5 1039.44/1039.68 c 935s | 15 | 125332 | 112832 | 190254 0 | 466 | 5 1041.84/1042.09 c 937s | 15 | 125536 | 113032 | 190254 0 | 466 | 5 1044.24/1044.42 c 939s | 15 | 125735 | 113232 | 190254 0 | 466 | 5 1046.34/1046.54 c 941s | 15 | 125945 | 113432 | 190254 0 | 466 | 5 1048.43/1048.61 c 944s | 15 | 126147 | 113632 | 190254 0 | 466 | 5 1051.03/1051.24 c 946s | 15 | 126333 | 113832 | 190254 0 | 466 | 5 1053.74/1053.98 c 949s | 15 | 126532 | 114032 | 190254 0 | 466 | 5 1057.33/1057.54 c 952s | 15 | 126842 | 114332 | 190254 0 | 466 | 5 1059.83/1060.03 c 955s | 15 | 127037 | 114532 | 190254 0 | 466 | 5 1062.44/1062.64 c 958s | 15 | 127455 | 114932 | 190254 0 | 466 | 5 1064.74/1064.91 c 960s | 15 | 127754 | 115232 | 190254 0 | 466 | 5 1067.33/1067.50 c 962s | 15 | 128053 | 115532 | 190254 0 | 466 | 5 1069.83/1070.07 c 965s | 15 | 128347 | 115832 | 190254 0 | 466 | 5 1072.73/1072.93 c 968s | 15 | 128654 | 116132 | 190254 0 | 466 | 5 1074.93/1075.13 c 970s | 15 | 128852 | 116332 | 190254 0 | 466 | 5 1077.03/1077.29 c 972s | 15 | 129054 | 116532 | 190254 0 | 466 | 5 1079.13/1079.31 c 974s | 15 | 129249 | 116732 | 190254 0 | 466 | 5 1081.53/1081.73 c 977s | 15 | 129455 | 116932 | 190254 0 | 466 | 5 1083.93/1084.19 c 979s | 15 | 129647 | 117132 | 190254 0 | 466 | 5 1086.23/1086.49 c 981s | 15 | 129964 | 117432 | 190254 0 | 466 | 5 1088.43/1088.69 c 984s | 15 | 130268 | 117732 | 190254 0 | 466 | 5 1090.83/1091.01 c 986s | 15 | 130562 | 118032 | 190254 0 | 466 | 5 1093.53/1093.74 c 989s | 15 | 130870 | 118332 | 190254 0 | 466 | 5 1096.03/1096.27 c 991s | 15 | 131159 | 118632 | 190254 0 | 466 | 5 1098.13/1098.34 c 993s | 15 | 131356 | 118832 | 190254 0 | 466 | 5 1100.23/1100.44 c 995s | 15 | 131558 | 119032 | 190254 0 | 466 | 5 1102.73/1102.93 c 998s | 15 | 131766 | 119232 | 190254 0 | 466 | 5 1104.93/1105.19 c 1000s | 15 | 131960 | 119432 | 190254 0 | 466 | 5 1107.63/1107.82 c 1003s | 15 | 132271 | 119732 | 190254 0 | 466 | 5 1109.73/1109.92 c 1005s | 15 | 132568 | 120032 | 190254 0 | 466 | 5 1112.22/1112.43 c 1007s | 15 | 132879 | 120332 | 190254 0 | 466 | 5 1115.02/1115.23 c 1010s | 15 | 133169 | 120632 | 190254 0 | 466 | 5 1118.22/1118.44 c 1013s | 15 | 133474 | 120932 | 190254 0 | 466 | 5 1120.52/1120.71 c 1016s | 15 | 133679 | 121132 | 190254 0 | 466 | 5 1123.52/1123.78 c 1019s | 15 | 133969 | 121432 | 190254 0 | 466 | 5 1126.62/1126.81 c 1022s | 15 | 134167 | 121632 | 190254 0 | 466 | 5 1128.82/1129.04 c 1024s | 15 | 134385 | 121832 | 190254 0 | 466 | 5 1131.22/1131.50 c 1026s | 15 | 134684 | 122132 | 190254 0 | 466 | 5 1133.32/1133.54 c 1028s | 15 | 134893 | 122332 | 190254 0 | 466 | 5 1135.42/1135.68 c 1031s | 15 | 135087 | 122532 | 190254 0 | 466 | 5 1138.52/1138.73 c 1034s | 15 | 135378 | 122832 | 190254 0 | 466 | 5 1140.92/1141.16 c 1036s | 15 | 135586 | 123032 | 190254 0 | 466 | 5 1143.02/1143.27 c 1038s | 15 | 135783 | 123232 | 190254 0 | 466 | 5 1145.62/1145.84 c 1041s | 15 | 135979 | 123432 | 190254 0 | 466 | 5 1147.82/1148.09 c 1043s | 15 | 136186 | 123632 | 190254 0 | 466 | 5 1150.02/1150.28 c 1045s | 15 | 136492 | 123932 | 190254 0 | 466 | 5 1152.62/1152.85 c 1048s | 15 | 136793 | 124232 | 190254 0 | 466 | 5 1155.32/1155.57 c 1050s | 15 | 137093 | 124532 | 190254 0 | 466 | 5 1157.92/1158.10 c 1053s | 15 | 137395 | 124832 | 190254 0 | 466 | 5 1160.01/1160.24 c 1055s | 15 | 137604 | 125032 | 190254 0 | 466 | 5 1162.31/1162.50 c 1057s | 15 | 137795 | 125232 | 190254 0 | 466 | 5 1164.82/1165.04 c 1060s | 15 | 138106 | 125532 | 190254 0 | 466 | 5 1167.21/1167.45 c 1062s | 15 | 138405 | 125832 | 209280 0 | 466 | 5 1170.11/1170.39 c 1065s | 15 | 138702 | 126132 | 209280 0 | 466 | 5 1172.42/1172.66 c 1068s | 15 | 138906 | 126332 | 209280 0 | 466 | 5 1174.62/1174.88 c 1070s | 15 | 139100 | 126532 | 209280 0 | 466 | 5 1176.92/1177.19 c 1072s | 15 | 139305 | 126732 | 209280 0 | 466 | 5 1179.11/1179.33 c 1074s | 15 | 139613 | 127032 | 209280 0 | 466 | 5 1181.41/1181.61 c 1077s | 15 | 139906 | 127332 | 209280 0 | 466 | 5 1184.21/1184.41 c 1079s | 15 | 140214 | 127632 | 209280 0 | 466 | 5 1187.21/1187.42 c 1082s | 15 | 140505 | 127932 | 209280 0 | 466 | 5 1189.30/1189.57 c 1084s | 15 | 140812 | 128232 | 209280 0 | 466 | 5 1191.90/1192.16 c 1087s | 15 | 141109 | 128532 | 209280 0 | 466 | 5 1194.90/1195.18 c 1090s | 15 | 141415 | 128832 | 209280 0 | 466 | 5 1197.20/1197.46 c 1092s | 15 | 141613 | 129032 | 209280 0 | 466 | 5 1199.60/1199.83 c 1095s | 15 | 141913 | 129332 | 209280 0 | 466 | 5 1201.80/1202.04 c 1097s | 15 | 142211 | 129632 | 209280 0 | 466 | 5 1204.50/1204.71 c 1100s | 15 | 142519 | 129932 | 209280 0 | 466 | 5 1206.90/1207.17 c 1102s | 15 | 142817 | 130232 | 209280 0 | 466 | 5 1209.90/1210.11 c 1105s | 15 | 143117 | 130532 | 209280 0 | 466 | 5 1212.10/1212.38 c 1107s | 15 | 143417 | 130832 | 209280 0 | 466 | 5 1214.80/1215.06 c 1110s | 15 | 143720 | 131132 | 209280 0 | 466 | 5 1217.00/1217.29 c 1112s | 15 | 144017 | 131432 | 209280 0 | 466 | 5 1218.09/1218.37 c 1113s | 16 | 144141 | 131552 | 209280 0 | 466 | 5 1220.80/1221.05 c 1116s | 16 | 144318 | 131652 | 209280 0 | 466 | 5 1223.69/1223.96 c 1119s | 16 | 144538 | 131852 | 209280 0 | 466 | 5 1226.99/1227.22 c 1122s | 16 | 144736 | 132052 | 209280 0 | 466 | 5 1229.19/1229.45 c 1124s | 16 | 144943 | 132252 | 209280 0 | 466 | 5 1231.58/1231.85 c 1127s | 16 | 145146 | 132452 | 209280 0 | 466 | 5 1234.38/1234.64 c 1130s | 16 | 145343 | 132652 | 209280 0 | 466 | 5 1237.08/1237.31 c 1132s | 16 | 145550 | 132852 | 209280 0 | 466 | 5 1239.88/1240.18 c 1135s | 16 | 145742 | 133052 | 209280 0 | 466 | 5 1242.68/1242.93 c 1138s | 16 | 145939 | 133252 | 209280 0 | 466 | 5 1246.28/1246.50 c 1141s | 16 | 146143 | 133452 | 209280 0 | 466 | 5 1249.58/1249.83 c 1145s | 16 | 146344 | 133652 | 209280 0 | 466 | 5 1252.87/1253.12 c 1148s | 16 | 146541 | 133852 | 209280 0 | 466 | 5 1256.27/1256.52 c 1151s | 16 | 146737 | 134052 | 209280 0 | 466 | 5 1259.57/1259.88 c 1155s | 16 | 146941 | 134252 | 209280 0 | 466 | 5 1263.37/1263.62 c 1159s | 16 | 147137 | 134452 | 209280 0 | 466 | 5 1265.37/1265.64 c 1161s | 16 | 147241 | 134552 | 209280 0 | 466 | 5 1268.97/1269.20 c 1164s | 16 | 147438 | 134752 | 209280 0 | 466 | 5 1272.27/1272.50 c 1167s | 16 | 147641 | 134952 | 209280 0 | 466 | 5 1276.07/1276.36 c 1171s | 16 | 147850 | 135152 | 209280 0 | 466 | 5 1278.17/1278.49 c 1173s | 16 | 147945 | 135252 | 209280 0 | 466 | 5 1281.77/1282.02 c 1177s | 16 | 148160 | 135452 | 209280 0 | 466 | 5 1283.76/1284.05 c 1179s | 16 | 148256 | 135552 | 209280 0 | 466 | 5 1286.87/1287.11 c 1182s | 16 | 148438 | 135752 | 209280 0 | 466 | 5 1290.86/1291.16 c 1186s | 16 | 148655 | 135952 | 209280 0 | 466 | 5 1293.16/1293.46 c 1188s | 16 | 148740 | 136052 | 209280 0 | 466 | 5 1296.56/1296.84 c 1192s | 16 | 148957 | 136252 | 209280 0 | 466 | 5 1298.76/1299.08 c 1194s | 16 | 149043 | 136352 | 209280 0 | 466 | 5 1300.86/1301.15 c 1196s | 16 | 149143 | 136452 | 209280 0 | 466 | 5 1304.06/1304.33 c 1199s | 16 | 149346 | 136652 | 209280 0 | 466 | 5 1306.76/1307.06 c 1202s | 16 | 149559 | 136852 | 209280 0 | 466 | 5 1309.96/1310.28 c 1205s | 16 | 149764 | 137052 | 209280 0 | 466 | 5 1312.95/1313.22 c 1208s | 16 | 149962 | 137252 | 209280 0 | 466 | 5 1315.15/1315.43 c 1210s | 16 | 150160 | 137452 | 209280 0 | 466 | 5 1317.95/1318.25 c 1213s | 16 | 150356 | 137652 | 209280 0 | 466 | 5 1320.75/1321.09 c 1216s | 16 | 150559 | 137852 | 209280 0 | 466 | 5 1323.65/1323.90 c 1219s | 16 | 150758 | 138052 | 209280 0 | 466 | 5 1326.85/1327.17 c 1222s | 16 | 150959 | 138252 | 209280 0 | 466 | 5 1330.44/1330.71 c 1226s | 16 | 151156 | 138452 | 209280 0 | 466 | 5 1333.94/1334.23 c 1229s | 16 | 151356 | 138652 | 209280 0 | 466 | 5 1337.24/1337.57 c 1232s | 16 | 151577 | 138852 | 209280 0 | 466 | 5 1340.04/1340.35 c 1235s | 16 | 151760 | 139052 | 209280 0 | 466 | 5 1342.34/1342.63 c 1238s | 16 | 151878 | 139152 | 209280 0 | 466 | 5 1344.44/1344.73 c 1240s | 16 | 151964 | 139252 | 209280 0 | 466 | 5 1348.04/1348.39 c 1243s | 16 | 152171 | 139452 | 209280 0 | 466 | 5 1351.64/1351.92 c 1247s | 16 | 152366 | 139652 | 209280 0 | 466 | 5 1355.93/1356.21 c 1251s | 16 | 152582 | 139852 | 209280 0 | 466 | 5 1357.93/1358.25 c 1253s | 16 | 152665 | 139952 | 209280 0 | 466 | 5 1361.73/1362.08 c 1257s | 16 | 152867 | 140152 | 209280 0 | 466 | 5 1365.43/1365.78 c 1261s | 16 | 153069 | 140352 | 209280 0 | 466 | 5 1369.33/1369.67 c 1265s | 16 | 153283 | 140552 | 209280 0 | 466 | 5 1371.63/1371.91 c 1267s | 16 | 153370 | 140652 | 209280 0 | 466 | 5 1373.63/1373.92 c 1269s | 16 | 153470 | 140752 | 209280 0 | 466 | 5 1377.43/1377.74 c 1273s | 16 | 153670 | 140952 | 209280 0 | 466 | 5 1379.52/1379.86 c 1275s | 16 | 153786 | 141052 | 209280 0 | 466 | 5 1382.72/1383.09 c 1278s | 16 | 153967 | 141252 | 209280 0 | 466 | 5 1385.52/1385.85 c 1281s | 16 | 154187 | 141452 | 209280 0 | 466 | 5 1388.82/1389.12 c 1284s | 16 | 154383 | 141652 | 209280 0 | 466 | 5 1391.23/1391.50 c 1286s | 16 | 154591 | 141852 | 209280 0 | 466 | 5 1393.92/1394.25 c 1289s | 16 | 154788 | 142052 | 209280 0 | 466 | 5 1396.62/1396.98 c 1292s | 16 | 154988 | 142252 | 209280 0 | 466 | 5 1399.32/1399.61 c 1295s | 16 | 155178 | 142452 | 209280 0 | 466 | 5 1402.51/1402.80 c 1298s | 16 | 155399 | 142652 | 209280 0 | 466 | 5 1406.11/1406.45 c 1301s | 16 | 155586 | 142852 | 209280 0 | 466 | 5 1410.02/1410.31 c 1305s | 16 | 155783 | 143052 | 209280 0 | 466 | 5 1413.41/1413.78 c 1309s | 16 | 155986 | 143252 | 209280 0 | 466 | 5 1416.81/1417.19 c 1312s | 16 | 156187 | 143452 | 209280 0 | 466 | 5 1418.91/1419.27 c 1314s | 16 | 156285 | 143552 | 209280 0 | 466 | 5 1422.60/1422.94 c 1318s | 16 | 156496 | 143752 | 209280 0 | 466 | 5 1425.70/1426.02 c 1321s | 16 | 156688 | 143952 | 209280 0 | 466 | 5 1427.90/1428.27 c 1323s | 16 | 156797 | 144052 | 209280 0 | 466 | 5 1431.30/1431.60 c 1327s | 16 | 156984 | 144252 | 209280 0 | 466 | 5 1433.30/1433.61 c 1329s | 16 | 157084 | 144352 | 209280 0 | 466 | 5 1436.80/1437.19 c 1332s | 16 | 157291 | 144552 | 209280 0 | 466 | 5 1441.00/1441.39 c 1336s | 16 | 157500 | 144752 | 209280 0 | 466 | 5 1443.20/1443.56 c 1338s | 16 | 157593 | 144852 | 209280 0 | 466 | 5 1446.90/1447.24 c 1342s | 16 | 157809 | 145052 | 209280 0 | 466 | 5 1448.90/1449.26 c 1344s | 16 | 157903 | 145152 | 209280 0 | 466 | 5 1452.50/1452.80 c 1348s | 16 | 158094 | 145352 | 209280 0 | 466 | 5 1455.00/1455.38 c 1350s | 16 | 158304 | 145552 | 209280 0 | 466 | 5 1458.10/1458.41 c 1353s | 16 | 158608 | 145852 | 209280 0 | 466 | 5 1460.80/1461.16 c 1356s | 16 | 158802 | 146052 | 209280 0 | 466 | 5 1464.20/1464.52 c 1359s | 16 | 159004 | 146252 | 209280 0 | 466 | 5 1467.00/1467.34 c 1362s | 16 | 159202 | 146452 | 209280 0 | 466 | 5 1470.09/1470.40 c 1365s | 16 | 159411 | 146652 | 209280 0 | 466 | 5 1473.29/1473.61 c 1369s | 16 | 159614 | 146852 | 209280 0 | 466 | 5 1476.19/1476.51 c 1371s | 16 | 159799 | 147052 | 209280 0 | 466 | 5 1479.30/1479.65 c 1375s | 16 | 160000 | 147252 | 209280 0 | 466 | 5 1482.60/1482.96 c 1378s | 16 | 160209 | 147452 | 209280 0 | 466 | 5 1484.80/1485.18 c 1380s | 16 | 160304 | 147552 | 209280 0 | 466 | 5 1488.39/1488.76 c 1384s | 16 | 160519 | 147752 | 209280 0 | 466 | 5 1490.59/1490.95 c 1386s | 16 | 160615 | 147852 | 209280 0 | 466 | 5 1494.19/1494.50 c 1389s | 16 | 160817 | 148052 | 209280 0 | 466 | 5 1496.49/1496.88 c 1392s | 16 | 160903 | 148152 | 209280 0 | 466 | 5 1498.69/1499.03 c 1394s | 16 | 161005 | 148252 | 209280 0 | 466 | 5 1502.49/1502.89 c 1398s | 16 | 161204 | 148452 | 209280 0 | 466 | 5 1506.19/1506.55 c 1401s | 16 | 161403 | 148652 | 209280 0 | 466 | 5 1510.38/1510.78 c 1406s | 16 | 161613 | 148852 | 209280 0 | 466 | 5 1512.68/1513.02 c 1408s | 16 | 161709 | 148952 | 209280 0 | 466 | 5 1515.88/1516.25 c 1411s | 16 | 161925 | 149152 | 209280 0 | 466 | 5 1518.38/1518.73 c 1414s | 16 | 162120 | 149352 | 209280 0 | 466 | 5 1520.98/1521.38 c 1416s | 16 | 162321 | 149552 | 209280 0 | 466 | 5 1523.68/1524.08 c 1419s | 16 | 162532 | 149752 | 209280 0 | 466 | 5 1526.48/1526.87 c 1422s | 16 | 162719 | 149952 | 209280 0 | 466 | 5 1529.27/1529.61 c 1425s | 16 | 162922 | 150152 | 209280 0 | 466 | 5 1532.37/1532.73 c 1428s | 16 | 163123 | 150352 | 209280 0 | 466 | 5 1535.57/1535.90 c 1431s | 16 | 163328 | 150552 | 209280 0 | 466 | 5 1538.77/1539.12 c 1434s | 16 | 163520 | 150752 | 209280 0 | 466 | 5 1541.98/1542.35 c 1437s | 16 | 163728 | 150952 | 209280 0 | 466 | 5 1545.07/1545.48 c 1440s | 16 | 163918 | 151152 | 209280 0 | 466 | 5 1548.47/1548.88 c 1444s | 16 | 164121 | 151352 | 209280 0 | 466 | 5 1551.96/1552.38 c 1447s | 16 | 164327 | 151552 | 209280 0 | 466 | 5 1555.36/1555.79 c 1451s | 16 | 164526 | 151752 | 209280 0 | 466 | 5 1557.56/1557.92 c 1453s | 16 | 164629 | 151852 | 209280 0 | 466 | 5 1560.86/1561.28 c 1456s | 16 | 164839 | 152052 | 209280 0 | 466 | 5 1563.36/1563.76 c 1459s | 16 | 164934 | 152152 | 209280 0 | 466 | 5 1565.56/1565.95 c 1461s | 16 | 165029 | 152252 | 209280 0 | 466 | 5 1569.36/1569.71 c 1465s | 16 | 165235 | 152452 | 209280 0 | 466 | 5 1571.66/1572.09 c 1467s | 16 | 165325 | 152552 | 209280 0 | 466 | 5 1573.76/1574.11 c 1469s | 16 | 165428 | 152652 | 209280 0 | 466 | 5 1576.06/1576.44 c 1471s | 16 | 165642 | 152852 | 209280 0 | 466 | 5 1578.55/1578.93 c 1474s | 16 | 165841 | 153052 | 209280 0 | 466 | 5 1580.94/1581.37 c 1476s | 16 | 166036 | 153252 | 209280 0 | 466 | 5 1583.75/1584.14 c 1479s | 16 | 166241 | 153452 | 209280 0 | 466 | 5 1586.34/1586.74 c 1482s | 16 | 166432 | 153652 | 209280 0 | 466 | 5 1589.25/1589.70 c 1485s | 16 | 166646 | 153852 | 209280 0 | 466 | 5 1592.64/1593.00 c 1488s | 16 | 166833 | 154052 | 209280 0 | 466 | 5 1594.84/1595.20 c 1490s | 16 | 167041 | 154252 | 209280 0 | 466 | 5 1597.14/1597.59 c 1493s | 16 | 167236 | 154452 | 209280 0 | 466 | 5 1600.14/1600.54 c 1495s | 16 | 167434 | 154652 | 209280 0 | 466 | 5 1602.53/1602.96 c 1498s | 16 | 167637 | 154852 | 209280 0 | 466 | 5 1604.93/1605.32 c 1500s | 16 | 167836 | 155052 | 209280 0 | 466 | 5 1607.33/1607.76 c 1503s | 16 | 168047 | 155252 | 209280 0 | 466 | 5 1610.33/1610.75 c 1506s | 16 | 168241 | 155452 | 209280 0 | 466 | 5 1612.62/1613.01 c 1508s | 16 | 168554 | 155752 | 209280 0 | 466 | 5 1615.22/1615.66 c 1511s | 16 | 168853 | 156052 | 209280 0 | 466 | 5 1618.42/1618.80 c 1514s | 16 | 169162 | 156352 | 209280 0 | 466 | 5 1620.62/1621.07 c 1516s | 16 | 169357 | 156552 | 209280 0 | 466 | 5 1622.62/1623.09 c 1518s | 16 | 169550 | 156752 | 209280 0 | 466 | 5 1624.82/1625.28 c 1520s | 16 | 169753 | 156952 | 209280 0 | 466 | 5 1627.22/1627.63 c 1523s | 16 | 169950 | 157152 | 209280 0 | 466 | 5 1629.72/1630.19 c 1525s | 16 | 170159 | 157352 | 209280 0 | 466 | 5 1632.02/1632.41 c 1527s | 16 | 170357 | 157552 | 209280 0 | 466 | 5 1634.51/1634.99 c 1530s | 16 | 170551 | 157752 | 209280 0 | 466 | 5 1637.91/1638.39 c 1533s | 16 | 170745 | 157952 | 209280 0 | 466 | 5 1640.01/1640.40 c 1535s | 16 | 170968 | 158152 | 209280 0 | 466 | 5 1642.31/1642.72 c 1538s | 16 | 171167 | 158352 | 209280 0 | 466 | 5 1645.22/1645.70 c 1541s | 16 | 171471 | 158652 | 209280 0 | 466 | 5 1647.81/1648.28 c 1543s | 16 | 171669 | 158852 | 209280 0 | 466 | 5 1650.72/1651.11 c 1546s | 16 | 171875 | 159052 | 209280 0 | 466 | 5 1653.52/1653.92 c 1549s | 16 | 172073 | 159252 | 209280 0 | 466 | 5 1656.33/1656.79 c 1552s | 16 | 172272 | 159452 | 209280 0 | 466 | 5 1659.12/1659.54 c 1554s | 16 | 172466 | 159652 | 209280 0 | 466 | 5 1662.32/1662.75 c 1558s | 16 | 172670 | 159852 | 209280 0 | 466 | 5 1665.31/1665.71 c 1561s | 16 | 172873 | 160052 | 209280 0 | 466 | 5 1668.01/1668.49 c 1563s | 16 | 173069 | 160252 | 209280 0 | 466 | 5 1670.21/1670.61 c 1566s | 16 | 173169 | 160352 | 209280 0 | 466 | 5 1673.31/1673.75 c 1569s | 16 | 173386 | 160552 | 209280 0 | 466 | 5 1675.91/1676.32 c 1571s | 16 | 173572 | 160752 | 209280 0 | 466 | 5 1678.61/1679.05 c 1574s | 16 | 173981 | 161152 | 209280 0 | 466 | 5 1681.11/1681.59 c 1577s | 16 | 174281 | 161452 | 209280 0 | 466 | 5 1684.01/1684.40 c 1579s | 16 | 174478 | 161652 | 209280 0 | 466 | 5 1686.10/1686.55 c 1581s | 16 | 174682 | 161852 | 209280 0 | 466 | 5 1688.60/1689.07 c 1584s | 16 | 174881 | 162052 | 209280 0 | 466 | 5 1691.20/1691.63 c 1587s | 16 | 175075 | 162252 | 209280 0 | 466 | 5 1693.90/1694.35 c 1589s | 16 | 175286 | 162452 | 209280 0 | 466 | 5 1696.00/1696.44 c 1591s | 16 | 175587 | 162752 | 209280 0 | 466 | 5 1698.90/1699.30 c 1594s | 16 | 175894 | 163052 | 209280 0 | 466 | 5 1701.00/1701.40 c 1596s | 16 | 176088 | 163252 | 209280 0 | 466 | 5 1703.10/1703.59 c 1599s | 16 | 176296 | 163452 | 209280 0 | 466 | 5 1705.60/1706.05 c 1601s | 16 | 176486 | 163652 | 209280 0 | 466 | 5 1708.01/1708.48 c 1603s | 16 | 176701 | 163852 | 209280 0 | 466 | 5 1710.29/1710.77 c 1606s | 16 | 176885 | 164052 | 209280 0 | 466 | 5 1712.99/1713.43 c 1608s | 16 | 177090 | 164252 | 209280 0 | 466 | 5 1715.49/1715.92 c 1611s | 16 | 177288 | 164452 | 209280 0 | 466 | 5 1717.80/1718.22 c 1613s | 16 | 177596 | 164752 | 209280 0 | 466 | 5 1719.79/1720.28 c 1615s | 16 | 177794 | 164952 | 209280 0 | 466 | 5 1722.09/1722.53 c 1617s | 16 | 178004 | 165152 | 209280 0 | 466 | 5 1724.19/1724.63 c 1620s | 16 | 178198 | 165352 | 209280 0 | 466 | 5 1726.49/1727.00 c 1622s | 16 | 178400 | 165552 | 209280 0 | 466 | 5 1728.79/1729.26 c 1624s | 16 | 178610 | 165752 | 209280 0 | 466 | 5 1731.09/1731.52 c 1626s | 16 | 178910 | 166052 | 209280 0 | 466 | 5 1733.88/1734.35 c 1629s | 16 | 179204 | 166352 | 209280 0 | 466 | 5 1736.18/1736.65 c 1632s | 16 | 179405 | 166552 | 209280 0 | 466 | 5 1738.58/1739.08 c 1634s | 16 | 179609 | 166752 | 209280 0 | 466 | 5 1740.89/1741.32 c 1636s | 16 | 179806 | 166952 | 209280 0 | 466 | 5 1742.98/1743.45 c 1638s | 16 | 180113 | 167252 | 209280 0 | 466 | 5 1745.18/1745.68 c 1641s | 16 | 180415 | 167552 | 209280 0 | 466 | 5 1747.28/1747.70 c 1643s | 16 | 180608 | 167752 | 209280 0 | 466 | 5 1749.58/1750.03 c 1645s | 16 | 180809 | 167952 | 209280 0 | 466 | 5 1751.68/1752.19 c 1647s | 16 | 181019 | 168152 | 209280 0 | 466 | 5 1754.38/1754.81 c 1650s | 16 | 181313 | 168452 | 209280 0 | 466 | 5 1757.28/1757.70 c 1653s | 16 | 181608 | 168752 | 209280 0 | 466 | 5 1759.37/1759.84 c 1655s | 16 | 181808 | 168952 | 209280 0 | 466 | 5 1761.67/1762.11 c 1657s | 16 | 182118 | 169252 | 209280 0 | 466 | 5 1764.27/1764.76 c 1660s | 16 | 182416 | 169552 | 209280 0 | 466 | 5 1766.37/1766.81 c 1662s | 16 | 182614 | 169752 | 209280 0 | 466 | 5 1768.87/1769.34 c 1664s | 16 | 182914 | 170052 | 209280 0 | 466 | 5 1771.68/1772.13 c 1667s | 16 | 183216 | 170352 | 209280 0 | 466 | 5 1773.98/1774.41 c 1669s | 16 | 183523 | 170652 | 209280 0 | 466 | 5 1776.77/1777.20 c 1672s | 16 | 183824 | 170952 | 209280 0 | 466 | 5 1778.96/1779.41 c 1674s | 16 | 184126 | 171252 | 209280 0 | 466 | 5 1781.57/1782.08 c 1677s | 16 | 184431 | 171552 | 209280 0 | 466 | 5 1783.66/1784.20 c 1679s | 16 | 184732 | 171852 | 209280 0 | 466 | 5 1786.07/1786.57 c 1681s | 16 | 185133 | 172252 | 209280 0 | 466 | 5 1788.27/1788.79 c 1684s | 16 | 185429 | 172552 | 209280 0 | 466 | 5 1791.06/1791.53 c 1686s | 16 | 185767 | 172852 | 209280 0 | 466 | 5 1793.26/1793.79 c 1689s | 16 | 185968 | 173052 | 209280 0 | 466 | 5 1795.87/1796.36 c 1691s | 16 | 186268 | 173352 | 209280 0 | 466 | 5 1798.56/1799.00 c 1694s | 16 | 186567 | 173652 | 209280 0 | 466 | 5
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-4119798-1467278347/watcher-4119798-1467278347 -o /tmp/evaluation-result-4119798-1467278347/solver-4119798-1467278347 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1467278347-13105 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119798-1467278347.opb pid=13135 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.09 2.19 2.17 3/179 13138 /proc/meminfo: memFree=30390216/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=735676 CPUtime=0 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 2746 0 0 0 0 0 0 0 20 0 4 0 6856667 753332224 3617 33554432000 4194304 16246674 140734031106080 140734031105504 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 184431 3624 441 2943 0 181325 0 [pid=13138/tid=13139] ppid=13135 vsize=754108 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 772206592 3689 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=758204 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 776400896 3705 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=763324 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 781643776 3721 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100166 s] /proc/loadavg: 2.09 2.19 2.17 3/179 13138 /proc/meminfo: memFree=30390216/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 29531 0 0 0 5 4 0 0 20 0 4 0 6856667 1333334016 30340 33554432000 4194304 16246674 140734031106080 140734031105392 8056990 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 325521 30354 800 2943 0 322415 0 [pid=13138/tid=13139] ppid=13135 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 1333334016 30366 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 1333334016 30378 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1333334016 30388 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200515 s] /proc/loadavg: 2.09 2.19 2.17 3/179 13138 /proc/meminfo: memFree=30390216/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=1312324 CPUtime=0.19 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 43785 0 0 0 14 5 0 0 20 0 4 0 6856667 1343819776 45105 33554432000 4194304 16246674 140734031106080 140734031105392 7361304 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 328081 45105 800 2943 0 324975 0 [pid=13138/tid=13139] ppid=13135 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 1343819776 45105 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 1343819776 45105 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1343819776 45105 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1312324 [startup+0.300502 s] /proc/loadavg: 2.09 2.19 2.17 3/179 13138 /proc/meminfo: memFree=30390216/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=1312324 CPUtime=0.29 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 51681 0 0 0 23 6 0 0 20 0 4 0 6856667 1343819776 53001 33554432000 4194304 16246674 140734031106080 140734031105392 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 328081 53001 800 2943 0 324975 0 [pid=13138/tid=13139] ppid=13135 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 1343819776 53001 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 1343819776 53001 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1343819776 53001 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1312324 [startup+0.700311 s] /proc/loadavg: 2.09 2.19 2.17 3/179 13138 /proc/meminfo: memFree=30390216/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=1312324 CPUtime=0.69 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 64187 0 0 0 60 9 0 0 20 0 4 0 6856667 1343819776 65507 33554432000 4194304 16246674 140734031106080 140734031105392 7364273 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 328081 65507 801 2943 0 324975 0 [pid=13138/tid=13139] ppid=13135 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 1343819776 65507 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 1343819776 65507 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1343819776 65507 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1312324 [startup+1.5004 s] /proc/loadavg: 2.09 2.19 2.17 3/183 13142 /proc/meminfo: memFree=29495000/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=1371716 CPUtime=1.49 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 160326 0 0 0 126 23 0 0 20 0 4 0 6856667 1404637184 161646 33554432000 4194304 16246674 140734031106080 140734031105392 12414001 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 342929 161656 831 2943 0 339823 0 [pid=13138/tid=13139] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 161661 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 161667 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 161672 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1371716 [startup+3.1004 s] /proc/loadavg: 2.08 2.18 2.17 3/183 13142 /proc/meminfo: memFree=28976928/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=1371716 CPUtime=3.09 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 201968 0 0 0 281 28 0 0 20 0 4 0 6856667 1404637184 203288 33554432000 4194304 16246674 140734031106080 140734031088000 12481330 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 342929 203288 844 2943 0 339823 0 [pid=13138/tid=13139] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 203288 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 203288 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 203288 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1371716 [startup+6.30041 s] /proc/loadavg: 2.08 2.18 2.17 3/183 13142 /proc/meminfo: memFree=28279400/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=1371716 CPUtime=6.29 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 268907 0 0 0 590 39 0 0 20 0 4 0 6856667 1404637184 270227 33554432000 4194304 16246674 140734031106080 140734031105256 5546200 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 342929 270227 914 2943 0 339823 0 [pid=13138/tid=13139] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 270227 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 270227 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 270227 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1371716 [startup+12.7004 s] /proc/loadavg: 2.07 2.18 2.17 3/183 13142 /proc/meminfo: memFree=28280816/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=1371716 CPUtime=12.69 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 268907 0 0 0 1230 39 0 0 20 0 4 0 6856667 1404637184 270227 33554432000 4194304 16246674 140734031106080 140734031088000 6018828 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 342929 270227 914 2943 0 339823 0 [pid=13138/tid=13139] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 270227 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 270227 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 270227 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1371716 [startup+25.5005 s] /proc/loadavg: 2.06 2.17 2.17 3/183 13142 /proc/meminfo: memFree=28281920/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=1371716 CPUtime=25.49 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 268911 0 0 0 2510 39 0 0 20 0 4 0 6856667 1404637184 270231 33554432000 4194304 16246674 140734031106080 140734031105256 5711342 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 342929 270231 918 2943 0 339823 0 [pid=13138/tid=13139] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 270231 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 270231 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 270231 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1371716 [startup+51.1005 s] /proc/loadavg: 2.17 2.19 2.17 3/183 13142 /proc/meminfo: memFree=28281804/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=1371716 CPUtime=51.08 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 268912 0 0 0 5069 39 0 0 20 0 4 0 6856667 1404637184 270232 33554432000 4194304 16246674 140734031106080 140734031088000 12477804 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 342929 270232 919 2943 0 339823 0 [pid=13138/tid=13139] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 270232 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 270232 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 270232 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1371716 [startup+102.3 s] /proc/loadavg: 2.21 2.20 2.18 3/184 13146 /proc/meminfo: memFree=28282112/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=1371716 CPUtime=102.29 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 268912 0 0 0 10188 41 0 0 20 0 4 0 6856667 1404637184 270232 33554432000 4194304 16246674 140734031106080 140734031105256 13780640 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 342929 270232 919 2943 0 339823 0 [pid=13138/tid=13139] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 270232 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 270232 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 270232 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 1371716 ################ # More data... # ################ /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 1371716 [startup+1362.3 s] /proc/loadavg: 2.22 2.24 2.19 3/183 13177 /proc/meminfo: memFree=27984748/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=1371716 CPUtime=1362.03 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 283746 0 0 0 136157 46 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 140734031088000 13906976 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 342929 284956 921 2943 0 339823 0 [pid=13138/tid=13139] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1362.03 Current children cumulated vsize (KiB) 1371716 [startup+1422.3 s] /proc/loadavg: 2.16 2.23 2.18 3/183 13178 /proc/meminfo: memFree=27984904/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=1371716 CPUtime=1422.01 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 283777 0 0 0 142155 46 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 140734031088000 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 342929 284956 921 2943 0 339823 0 [pid=13138/tid=13139] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1422.01 Current children cumulated vsize (KiB) 1371716 [startup+1482.3 s] /proc/loadavg: 2.18 2.21 2.18 4/183 13180 /proc/meminfo: memFree=27984824/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=1371716 CPUtime=1481.99 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 283786 0 0 0 148153 46 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 140734031088000 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 342929 284956 921 2943 0 339823 0 [pid=13138/tid=13139] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.99 Current children cumulated vsize (KiB) 1371716 [startup+1542.31 s] /proc/loadavg: 2.18 2.20 2.18 3/183 13181 /proc/meminfo: memFree=27984976/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=1371716 CPUtime=1541.98 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 283814 0 0 0 154152 46 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 140734031088000 5677712 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 342929 284956 921 2943 0 339823 0 [pid=13138/tid=13139] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.98 Current children cumulated vsize (KiB) 1371716 [startup+1602.3 s] /proc/loadavg: 2.18 2.19 2.18 3/183 13182 /proc/meminfo: memFree=27984900/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=1371716 CPUtime=1601.93 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 283858 0 0 0 160147 46 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 140734031088000 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 342929 284956 921 2943 0 339823 0 [pid=13138/tid=13139] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 1371716 [startup+1662.3 s] /proc/loadavg: 2.07 2.16 2.17 3/183 13183 /proc/meminfo: memFree=27984932/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=1371716 CPUtime=1661.92 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 283886 0 0 0 166145 47 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 140734031088000 5600384 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 342929 284956 921 2943 0 339823 0 [pid=13138/tid=13139] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1371716 [startup+1722.3 s] /proc/loadavg: 2.08 2.14 2.16 4/183 13184 /proc/meminfo: memFree=27984372/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=1371716 CPUtime=1721.89 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 283919 0 0 0 172142 47 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 140734031088000 5822432 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 342929 284956 921 2943 0 339823 0 [pid=13138/tid=13139] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 1371716 [startup+1782.3 s] /proc/loadavg: 2.19 2.16 2.16 3/183 13186 /proc/meminfo: memFree=27984088/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=1371716 CPUtime=1781.86 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 283957 0 0 0 178139 47 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 140734031088000 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 342929 284956 921 2943 0 339823 0 [pid=13138/tid=13139] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1371716 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.37 2.20 2.18 3/183 13186 /proc/meminfo: memFree=27984184/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=1371716 CPUtime=1800.06 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 283968 0 0 0 179959 47 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 140734031088000 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 342929 284956 921 2943 0 339823 0 [pid=13138/tid=13139] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1371716 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 13138 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.37 2.20 2.18 3/183 13186 /proc/meminfo: memFree=27984184/32872528 swapFree=1199948/1314412 [pid=13138] ppid=13135 vsize=1371716 CPUtime=1800.06 cores=0,2,4,6 /proc/13138/stat : 13138 (toysat) R 13135 13138 12151 0 -1 4202496 283968 0 0 0 179959 47 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 140734031088000 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/13138/statm: 342929 284956 921 2943 0 339823 0 [pid=13138/tid=13139] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13139/stat : 13139 (toysat) S 13135 13138 12151 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836816076016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=13138/tid=13140] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13140/stat : 13140 (toysat) S 13135 13138 12151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836805586160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=13138/tid=13141] ppid=13135 vsize=1371716 CPUtime=0 cores=0,2,4,6 /proc/13138/task/13141/stat : 13141 (toysat) S 13135 13138 12151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6856667 1404637184 284956 33554432000 4194304 16246674 140734031106080 139836686068912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1371716 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1799.6 CPU system time (s): 0.472928 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (KiB): 1371716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.6 system time used= 0.472928 maximum resident set size= 1139824 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 283968 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= 350 involuntary context switches= 1838 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.41433 second user time and 7.09792 second system time The end
Begin job on node131 at 2016-06-30 11:19:08 IDJOB=4119798 IDBENCH=111807 IDSOLVER=2542 FILE ID=node131/4119798-1467278347 RUNJOBID= node131-1467278347-13105 PBS_JOBID= 20004502 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119798-1467278347/watcher-4119798-1467278347 -o /tmp/evaluation-result-4119798-1467278347/solver-4119798-1467278347 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1467278347-13105 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119798-1467278347.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5b0d3259e94309f2983f84185a6f768c RANDOM SEED=555919705 node131.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.334 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.66 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.334 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.334 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.334 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.54 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.334 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.56 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.334 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.334 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.334 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: 30405360 kB Buffers: 106728 kB Cached: 239712 kB SwapCached: 0 kB Active: 216800 kB Inactive: 194876 kB Active(anon): 57740 kB Inactive(anon): 9668 kB Active(file): 159060 kB Inactive(file): 185208 kB Unevictable: 1314412 kB Mlocked: 1199948 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 40440 kB Writeback: 0 kB AnonPages: 1417868 kB Mapped: 15204 kB Shmem: 204 kB Slab: 606164 kB SReclaimable: 50248 kB SUnreclaim: 555916 kB KernelStack: 1416 kB PageTables: 8604 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2444856 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 157696 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71696 MiB End job on node131 at 2016-06-30 11:49:08