Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.04 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_3.opb |
| MD5SUM | 0f5da0a781de7969842ad5c8dd7a6f1b |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 38 |
| Best CPU time to get the best result obtained on this benchmark | 1800.07 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 35 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 50 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 15722 |
| Sum of products size (including duplicates) | 31444 |
| Number of different products | 15722 |
| Sum of products size | 31444 |
0.00/0.00 c 2016-06-07T01:31:36+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-4080137-1465255895.opb"] 0.00/0.01 c use --random-gen="1908833562 421246798 3674364870 1474428850 2013222248 4194973257 3469616824 944025628 614658627 3253504224 1409308652 3624454976 2933834490 610816616 2593357704 3192679269 3695784526 1104576184 1630550346 1435860151 3631976061 984732474 3504889435 1335561106 3108200435 1835089274 2095882696 848061800 1902770614 2195613639 1095508014 1010537328 1120017053 2542626920 2735121824 287409324 3163812225 2639205049 2837335717 794959743 1158238033 1758402732 535204481 3180250730 1531088702 1963454611 3564129347 3874937913 1435627092 3400744025 3712141651 1099148409 2540664440 3389861813 2168463436 2606019057 2369291422 864445529 3335735507 893645750 1875038760 1265516598 2764773336 758653581 1956032880 960115028 372712858 12144775 723921938 5234364 2764628020 2875666273 2780092169 810652509 3271204548 621991838 2637390348 1645858874 2981968898 1640107690 1568669177 3694383644 3518232754 2724414977 1299117736 4273252124 1370799668 1307287844 1718220571 4109541808 4143930563 838033841 687993556 3289392967 1923722743 2525908268 1338232950 58406375 3024368445 1609558665 1506962352 3150458269 2132493746 2579568752 2436364464 4106206623 472093562 1584258548 353631459 3213411863 450578280 3071766606 1545327049 1483397192 1716947166 3027163465 1879213295 26791193 2583874221 3660196793 4128730568 4013588993 3371228095 1518585936 4160649810 2556836292 1279170180 1009203984 2696274527 2728162305 2729402387 1822842236 3256843678 615206509 2010216835 1951993079 2177560997 1824335969 3013491263 3207565303 1081032495 3280661883 4065637961 1707838579 2635011538 2196358700 2385594674 14995659 1054083194 3104021916 1933971801 1256402734 3144910854 2737486971 770391050 4256610506 3209269318 1269608106 212699587 3366707247 4023733016 2768837685 340203904 428275017 3307597837 3686463146 3723383168 3843679779 2429934206 4189469702 3105224539 3786309953 777881739 2266491432 3396370716 1311282164 2233664239 1960140774 3134516862 3233026925 256423536 1334124577 311988549 433143059 1247621701 1694258614 314615935 43843360 2726985778 489211383 3827408287 1274982891 2886158828 1161181488 3748547561 4235419878 2111431611 3050036826 1593272532 1609428258 2404845815 1156369122 3974893289 2247105655 1517744185 3143994282 3926877328 1006429393 916416590 3766439073 1708253425 591333112 2631455619 3494091304 2194192295 3277089473 141717587 4119182149 2920187750 2741008009 1944165306 1860933681 1129720469 90847725 2966689493 1091428172 4205095500 1966258481 3094686290 129973763 2851671873 3957945748 2472806421 976441150 3710638206 3197384200 2730442359 489316723 2322985109 2968920367 186005599 3815296321 367571442 3798792551 31291449 248173807 2710886210 658257602 1695858287 3393573595 214636521 2873756955 3737885955 809544457 1634488259 2337344595 255 362436" option to reproduce the execution 0.00/0.05 c #vars 500 0.00/0.05 c #constraints 500 0.29/0.38 c BCD2: Hardening is enabled. 0.29/0.38 c BCD2: BiasedSearch is enabled. 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 16055 0 | 0 | 0 0.39/0.42 c 0.0s | 0 | 1648 | 0 | 16055 0 | 0 | 0 0.39/0.42 c #cpu_time = 0.031s 0.39/0.42 c #wall_clock_time = 0.031s 0.39/0.42 c #decision = 1648 0.39/0.42 c #random_decision = 2 0.39/0.42 c #conflict = 0 0.39/0.42 c #restart = 0 0.39/0.42 o 437 0.39/0.42 c BCD2: updating upper bound: 500 -> 436 0.39/0.46 c BCD2: 0 <= obj <= 436 0.39/0.46 c BCD2: #cores=0, #unrelaxed=500, #relaxed=0, #hardened=0 0.39/0.46 c BCD2: #sat=1 #unsat=1 bias=1/2 0.39/0.46 c Solving starts ... 0.39/0.46 c ============================[ Search Statistics ]============================ 0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.46 c | | | | Limit GC | Var | Constra 0.39/0.46 c ============================================================================= 0.39/0.46 c 0.0s | 0 | 0 | 0 | 16055 0 | 0 | 0 0.39/0.49 c 0.0s | 0 | 413 | 0 | 16055 0 | 0 | 0 0.39/0.49 c #cpu_time = 0.027s 0.39/0.49 c #wall_clock_time = 0.027s 0.39/0.49 c #decision = 413 0.39/0.49 c #random_decision = 0 0.39/0.49 c #conflict = 0 0.39/0.49 c #restart = 0 0.39/0.49 c BCD2: found a new core of size 26: cost of the new core is >=1 0.39/0.49 c lower bound updated to 1 0.39/0.49 c BCD2: 1 <= obj <= 436 0.39/0.49 c BCD2: #cores=1, #unrelaxed=474, #relaxed=26, #hardened=0 0.39/0.49 c BCD2: #sat=1 #unsat=2 bias=2/3 0.39/0.49 c Solving starts ... 0.39/0.49 c ============================[ Search Statistics ]============================ 0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.49 c | | | | Limit GC | Var | Constra 0.39/0.49 c ============================================================================= 0.39/0.49 c 0.0s | 0 | 0 | 0 | 16055 0 | 0 | 0 0.49/0.52 c 0.0s | 0 | 421 | 0 | 16055 0 | 0 | 0 0.49/0.52 c #cpu_time = 0.027s 0.49/0.52 c #wall_clock_time = 0.027s 0.49/0.52 c #decision = 421 0.49/0.52 c #random_decision = 0 0.49/0.52 c #conflict = 0 0.49/0.52 c #restart = 0 0.49/0.52 c BCD2: found a new core of size 38: cost of the new core is >=1 0.49/0.52 c lower bound updated to 2 0.49/0.52 c BCD2: 2 <= obj <= 436 0.49/0.52 c BCD2: #cores=2, #unrelaxed=436, #relaxed=64, #hardened=0 0.49/0.52 c BCD2: #sat=1 #unsat=3 bias=3/4 0.49/0.52 c Solving starts ... 0.49/0.52 c ============================[ Search Statistics ]============================ 0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.52 c | | | | Limit GC | Var | Constra 0.49/0.52 c ============================================================================= 0.49/0.52 c 0.0s | 0 | 0 | 0 | 16055 0 | 0 | 0 0.49/0.56 c 0.0s | 0 | 417 | 0 | 16055 0 | 0 | 0 0.49/0.56 c #cpu_time = 0.028s 0.49/0.56 c #wall_clock_time = 0.028s 0.49/0.56 c #decision = 417 0.49/0.56 c #random_decision = 0 0.49/0.56 c #conflict = 0 0.49/0.56 c #restart = 0 0.49/0.56 c BCD2: found a new core of size 33: cost of the new core is >=1 0.49/0.56 c lower bound updated to 3 0.49/0.56 c BCD2: 3 <= obj <= 436 0.49/0.56 c BCD2: #cores=3, #unrelaxed=403, #relaxed=97, #hardened=0 0.49/0.56 c BCD2: #sat=1 #unsat=4 bias=4/5 0.49/0.56 c Solving starts ... 0.49/0.56 c ============================[ Search Statistics ]============================ 0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.56 c | | | | Limit GC | Var | Constra 0.49/0.56 c ============================================================================= 0.49/0.56 c 0.0s | 0 | 0 | 0 | 16055 0 | 0 | 0 0.49/0.59 c 0.0s | 0 | 404 | 0 | 16055 0 | 0 | 0 0.49/0.59 c #cpu_time = 0.028s 0.49/0.59 c #wall_clock_time = 0.028s 0.49/0.59 c #decision = 404 0.49/0.59 c #random_decision = 0 0.49/0.59 c #conflict = 0 0.49/0.59 c #restart = 0 0.49/0.59 c BCD2: found a new core of size 28: cost of the new core is >=1 0.49/0.59 c lower bound updated to 4 0.49/0.59 c BCD2: 4 <= obj <= 436 0.49/0.59 c BCD2: #cores=4, #unrelaxed=375, #relaxed=125, #hardened=0 0.49/0.59 c BCD2: #sat=1 #unsat=5 bias=5/6 0.49/0.59 c Solving starts ... 0.49/0.59 c ============================[ Search Statistics ]============================ 0.49/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.59 c | | | | Limit GC | Var | Constra 0.49/0.59 c ============================================================================= 0.58/0.62 c 0.0s | 0 | 0 | 0 | 16055 0 | 0 | 0 0.58/0.67 c 0.0s | 0 | 2655 | 0 | 16055 0 | 0 | 0 0.58/0.67 c #cpu_time = 0.036s 0.58/0.67 c #wall_clock_time = 0.036s 0.58/0.67 c #decision = 2655 0.58/0.67 c #random_decision = 3 0.58/0.67 c #conflict = 0 0.58/0.67 c #restart = 0 0.58/0.67 o 66 0.58/0.67 c BCD2: updating upper bound: 436 -> 65 0.58/0.68 c BCD2: 4 <= obj <= 65 0.58/0.68 c BCD2: #cores=4, #unrelaxed=375, #relaxed=125, #hardened=0 0.58/0.68 c BCD2: #sat=2 #unsat=5 bias=5/7 0.58/0.68 c Solving starts ... 0.58/0.68 c ============================[ Search Statistics ]============================ 0.58/0.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.58/0.68 c | | | | Limit GC | Var | Constra 0.58/0.68 c ============================================================================= 0.58/0.68 c 0.0s | 0 | 0 | 0 | 16055 0 | 0 | 1 0.68/0.78 c 0.1s | 1 | 1078 | 100 | 16055 0 | 0 | 1 0.89/0.95 c 0.3s | 2 | 2040 | 250 | 17661 0 | 0 | 1 0.99/1.02 c 0.3s | 2 | 3566 | 255 | 19428 0 | 0 | 1 0.99/1.02 c #cpu_time = 0.331s 0.99/1.02 c #wall_clock_time = 0.331s 0.99/1.02 c #decision = 3566 0.99/1.02 c #random_decision = 4 0.99/1.02 c #conflict = 255 0.99/1.02 c #restart = 2 0.99/1.02 o 47 0.99/1.02 c BCD2: updating upper bound: 65 -> 46 0.99/1.03 c BCD2: 4 <= obj <= 46 0.99/1.03 c BCD2: #cores=4, #unrelaxed=375, #relaxed=125, #hardened=0 0.99/1.03 c BCD2: #sat=3 #unsat=5 bias=5/8 0.99/1.03 c Solving starts ... 0.99/1.03 c ============================[ Search Statistics ]============================ 0.99/1.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.03 c | | | | Limit GC | Var | Constra 0.99/1.03 c ============================================================================= 0.99/1.03 c 0.0s | 0 | 0 | 0 | 19428 0 | 0 | 2 1.09/1.19 c 0.2s | 1 | 577 | 100 | 19428 0 | 0 | 2 1.39/1.48 c 0.5s | 2 | 1317 | 250 | 21371 0 | 0 | 2 1.79/1.85 c 0.8s | 3 | 2071 | 475 | 21371 0 | 0 | 2 2.29/2.36 c 1.3s | 4 | 3058 | 813 | 23509 0 | 0 | 2 3.09/3.14 c 2.1s | 5 | 4450 | 1320 | 25860 0 | 0 | 2 4.49/4.58 c 3.6s | 6 | 6074 | 2081 | 28447 0 | 0 | 2 6.59/6.64 c 5.6s | 6 | 7887 | 2981 | 31292 0 | 0 | 2 7.18/7.23 c 6.2s | 7 | 8213 | 3223 | 31292 0 | 0 | 2 9.19/9.23 c 8.2s | 7 | 9666 | 3923 | 31292 0 | 0 | 2 11.19/11.24 c 10.2s | 8 | 11017 | 4936 | 34422 0 | 0 | 2 13.39/13.40 c 12.4s | 8 | 13437 | 6136 | 34422 0 | 0 | 2 15.49/15.53 c 14.5s | 8 | 15226 | 7236 | 37865 0 | 0 | 2 16.18/16.24 c 15.2s | 9 | 15768 | 7506 | 37865 0 | 0 | 2 18.28/18.33 c 17.3s | 9 | 17762 | 8506 | 37865 0 | 0 | 2 20.29/20.39 c 19.4s | 9 | 19205 | 9406 | 37865 0 | 0 | 2 22.58/22.65 c 21.6s | 9 | 20744 | 10406 | 37865 0 | 0 | 2 24.99/25.06 c 24.0s | 9 | 22086 | 11206 | 41652 0 | 0 | 2 25.59/25.61 c 24.6s | 10 | 22300 | 11361 | 41652 0 | 0 | 2 27.69/27.71 c 26.7s | 10 | 23737 | 12061 | 41652 0 | 0 | 2 29.88/29.95 c 28.9s | 10 | 25042 | 12961 | 41652 0 | 0 | 2 32.08/32.14 c 31.1s | 10 | 26250 | 13661 | 41652 0 | 0 | 2 34.09/34.18 c 33.2s | 10 | 27175 | 14261 | 41652 0 | 0 | 2 36.18/36.25 c 35.2s | 10 | 27986 | 14861 | 41652 0 | 0 | 2 38.29/38.39 c 37.4s | 10 | 28642 | 15361 | 41652 0 | 0 | 2 40.69/40.78 c 39.8s | 10 | 29311 | 15861 | 41652 0 | 0 | 2 42.78/42.84 c 41.8s | 10 | 30115 | 16361 | 41652 0 | 0 | 2 44.89/44.90 c 43.9s | 11 | 31263 | 17144 | 45818 0 | 0 | 2 47.08/47.12 c 46.1s | 11 | 32806 | 17844 | 45818 0 | 0 | 2 49.38/49.44 c 48.4s | 11 | 33789 | 18444 | 45818 0 | 0 | 2 51.49/51.55 c 50.5s | 11 | 35237 | 19244 | 45818 0 | 0 | 2 53.58/53.63 c 52.6s | 11 | 36278 | 19944 | 45818 0 | 0 | 2 55.78/55.84 c 54.8s | 11 | 37781 | 20844 | 45818 0 | 0 | 2 57.88/57.93 c 56.9s | 11 | 38830 | 21544 | 45818 0 | 0 | 2 59.98/60.03 c 59.0s | 11 | 40138 | 22244 | 45818 0 | 0 | 2 62.18/62.28 c 61.2s | 11 | 41430 | 23044 | 45818 0 | 0 | 2 64.58/64.61 c 63.6s | 11 | 42635 | 23744 | 45818 0 | 0 | 2 66.68/66.70 c 65.7s | 11 | 43589 | 24344 | 45818 0 | 0 | 2 68.88/68.94 c 67.9s | 11 | 44542 | 25044 | 45818 0 | 0 | 2 70.88/70.94 c 69.9s | 11 | 45521 | 25644 | 50400 0 | 0 | 2 71.37/71.48 c 70.4s | 12 | 45797 | 25819 | 50400 0 | 0 | 2 73.69/73.72 c 72.7s | 12 | 47139 | 26419 | 50400 0 | 0 | 2 75.78/75.85 c 74.8s | 12 | 47848 | 26919 | 50400 0 | 0 | 2 77.88/77.94 c 76.9s | 12 | 48875 | 27619 | 50400 0 | 0 | 2 80.18/80.24 c 79.2s | 12 | 50046 | 28419 | 50400 0 | 0 | 2 82.58/82.63 c 81.6s | 12 | 50876 | 29019 | 50400 0 | 0 | 2 84.78/84.82 c 83.8s | 12 | 51883 | 29719 | 50400 0 | 0 | 2 86.88/86.97 c 85.9s | 12 | 52457 | 30119 | 50400 0 | 0 | 2 89.27/89.34 c 88.3s | 12 | 52984 | 30519 | 50400 0 | 0 | 2 91.57/91.63 c 90.6s | 12 | 53540 | 30919 | 50400 0 | 0 | 2 94.07/94.18 c 93.2s | 12 | 54101 | 31319 | 50400 0 | 0 | 2 96.38/96.45 c 95.4s | 12 | 54680 | 31719 | 50400 0 | 0 | 2 98.77/98.82 c 97.8s | 12 | 55222 | 32119 | 50400 0 | 0 | 2 101.28/101.39 c 100s | 12 | 55753 | 32519 | 50400 0 | 0 | 2 103.87/103.93 c 102s | 12 | 56308 | 32919 | 50400 0 | 0 | 2 106.07/106.15 c 105s | 12 | 56693 | 33219 | 50400 0 | 0 | 2 108.18/108.27 c 107s | 12 | 57088 | 33519 | 50400 0 | 0 | 2 110.67/110.75 c 109s | 12 | 57459 | 33819 | 50400 0 | 0 | 2 113.17/113.26 c 112s | 12 | 57838 | 34119 | 50400 0 | 0 | 2 115.37/115.42 c 114s | 12 | 58349 | 34519 | 50400 0 | 0 | 2 117.57/117.70 c 116s | 12 | 58721 | 34819 | 50400 0 | 0 | 2 119.67/119.75 c 118s | 12 | 59146 | 35119 | 50400 0 | 0 | 2 121.88/121.91 c 120s | 12 | 60050 | 35719 | 50400 0 | 0 | 2 124.17/124.24 c 123s | 12 | 60438 | 36019 | 50400 0 | 0 | 2 126.27/126.33 c 125s | 12 | 61013 | 36419 | 50400 0 | 0 | 2 128.47/128.59 c 127s | 12 | 61945 | 37019 | 50400 0 | 0 | 2 130.67/130.78 c 129s | 12 | 62534 | 37419 | 50400 0 | 0 | 2 133.37/133.42 c 132s | 12 | 63037 | 37819 | 50400 0 | 0 | 2 135.76/135.83 c 134s | 12 | 63398 | 38119 | 50400 0 | 0 | 2 137.77/137.85 c 136s | 12 | 63789 | 38419 | 55441 0 | 0 | 2 140.17/140.29 c 139s | 12 | 64186 | 38719 | 55441 0 | 0 | 2 141.26/141.30 c 140s | 13 | 64348 | 38832 | 55441 0 | 0 | 2 143.27/143.35 c 142s | 13 | 64893 | 38932 | 55441 0 | 0 | 2 145.46/145.59 c 144s | 13 | 65801 | 39532 | 55441 0 | 0 | 2 147.77/147.86 c 146s | 13 | 67146 | 40332 | 55441 0 | 0 | 2 149.97/150.02 c 148s | 13 | 68434 | 41132 | 55441 0 | 0 | 2 152.17/152.23 c 151s | 13 | 69336 | 41732 | 55441 0 | 0 | 2 154.37/154.44 c 153s | 13 | 70116 | 42232 | 55441 0 | 0 | 2 156.77/156.88 c 155s | 13 | 71008 | 42832 | 55441 0 | 0 | 2 158.87/158.96 c 157s | 13 | 71747 | 43332 | 55441 0 | 0 | 2 161.07/161.19 c 160s | 13 | 72755 | 44032 | 55441 0 | 0 | 2 163.17/163.20 c 162s | 13 | 73652 | 44632 | 55441 0 | 0 | 2 165.27/165.40 c 164s | 13 | 74188 | 45032 | 55441 0 | 0 | 2 167.77/167.85 c 166s | 13 | 74733 | 45432 | 55441 0 | 0 | 2 170.16/170.24 c 169s | 13 | 75355 | 45832 | 55441 0 | 0 | 2 172.17/172.29 c 171s | 13 | 75797 | 46132 | 55441 0 | 0 | 2 174.36/174.45 c 173s | 13 | 76291 | 46532 | 55441 0 | 0 | 2 177.07/177.20 c 176s | 13 | 76987 | 47032 | 55441 0 | 0 | 2 179.27/179.34 c 178s | 13 | 77392 | 47332 | 55441 0 | 0 | 2 181.46/181.58 c 180s | 13 | 78137 | 47832 | 55441 0 | 0 | 2 183.67/183.70 c 182s | 13 | 78655 | 48232 | 55441 0 | 0 | 2 185.97/186.03 c 185s | 13 | 79382 | 48732 | 55441 0 | 0 | 2 188.07/188.13 c 187s | 13 | 80203 | 49232 | 55441 0 | 0 | 2 190.46/190.57 c 189s | 13 | 80899 | 49732 | 55441 0 | 0 | 2 192.56/192.68 c 191s | 13 | 81444 | 50132 | 55441 0 | 0 | 2 195.06/195.11 c 194s | 13 | 82074 | 50632 | 55441 0 | 0 | 2 197.16/197.27 c 196s | 13 | 82727 | 51132 | 55441 0 | 0 | 2 199.36/199.49 c 198s | 13 | 83394 | 51632 | 55441 0 | 0 | 2 201.86/201.92 c 200s | 13 | 84038 | 52132 | 55441 0 | 0 | 2 204.16/204.29 c 203s | 13 | 84452 | 52432 | 55441 0 | 0 | 2 206.46/206.50 c 205s | 13 | 85112 | 52932 | 55441 0 | 0 | 2 208.76/208.85 c 207s | 13 | 85804 | 53432 | 55441 0 | 0 | 2 211.26/211.32 c 210s | 13 | 86478 | 53932 | 55441 0 | 0 | 2 213.47/213.52 c 212s | 13 | 87132 | 54432 | 55441 0 | 0 | 2 215.86/215.92 c 214s | 13 | 87871 | 54932 | 55441 0 | 0 | 2 218.36/218.40 c 217s | 13 | 88781 | 55532 | 55441 0 | 0 | 2 220.35/220.43 c 219s | 13 | 89389 | 55932 | 55441 0 | 0 | 2 222.66/222.79 c 221s | 13 | 89917 | 56332 | 55441 0 | 0 | 2 225.05/225.15 c 224s | 13 | 90431 | 56732 | 55441 0 | 0 | 2 227.25/227.37 c 226s | 13 | 90953 | 57132 | 55441 0 | 0 | 2 229.76/229.82 c 228s | 13 | 91444 | 57532 | 55441 0 | 0 | 2 231.76/231.89 c 230s | 13 | 92091 | 57932 | 60986 0 | 0 | 2 233.35/233.43 c 232s | 14 | 92675 | 58352 | 60986 0 | 0 | 2 235.85/235.95 c 234s | 14 | 93250 | 58452 | 60986 0 | 0 | 2 238.45/238.53 c 237s | 14 | 93783 | 58852 | 60986 0 | 0 | 2 240.66/240.72 c 239s | 14 | 94766 | 59452 | 60986 0 | 0 | 2 242.66/242.79 c 241s | 14 | 95544 | 59952 | 60986 0 | 0 | 2 245.05/245.11 c 244s | 14 | 96490 | 60552 | 60986 0 | 0 | 2 247.35/247.42 c 246s | 14 | 97404 | 61052 | 60986 0 | 0 | 2 249.35/249.48 c 248s | 14 | 98006 | 61452 | 60986 0 | 0 | 2 251.65/251.76 c 250s | 14 | 98636 | 61852 | 60986 0 | 0 | 2 254.06/254.11 c 253s | 14 | 99404 | 62352 | 60986 0 | 0 | 2 256.05/256.17 c 255s | 14 | 99955 | 62752 | 60986 0 | 0 | 2 258.15/258.24 c 257s | 14 | 100485 | 63152 | 60986 0 | 0 | 2 260.66/260.79 c 259s | 14 | 101114 | 63652 | 60986 0 | 0 | 2 263.05/263.11 c 262s | 14 | 101902 | 64152 | 60986 0 | 0 | 2 265.16/265.21 c 264s | 14 | 102457 | 64552 | 60986 0 | 0 | 2 267.26/267.35 c 266s | 14 | 102972 | 64952 | 60986 0 | 0 | 2 269.25/269.38 c 268s | 14 | 103517 | 65352 | 60986 0 | 0 | 2 271.45/271.54 c 270s | 14 | 104211 | 65752 | 60986 0 | 0 | 2 273.45/273.54 c 272s | 14 | 104637 | 66052 | 60986 0 | 0 | 2 276.05/276.12 c 275s | 14 | 105242 | 66452 | 60986 0 | 0 | 2 278.26/278.34 c 277s | 14 | 105661 | 66752 | 60986 0 | 0 | 2 280.65/280.71 c 279s | 14 | 106228 | 67152 | 60986 0 | 0 | 2 282.75/282.88 c 281s | 14 | 106644 | 67452 | 60986 0 | 0 | 2 285.44/285.59 c 284s | 14 | 107226 | 67852 | 60986 0 | 0 | 2 287.75/287.87 c 286s | 14 | 107836 | 68252 | 60986 0 | 0 | 2 290.04/290.14 c 289s | 14 | 108411 | 68652 | 60986 0 | 0 | 2 292.44/292.59 c 291s | 14 | 108987 | 69052 | 60986 0 | 0 | 2 294.54/294.68 c 293s | 14 | 109700 | 69552 | 60986 0 | 0 | 2 296.96/297.02 c 295s | 14 | 110709 | 70152 | 60986 0 | 0 | 2 299.34/299.43 c 298s | 14 | 111533 | 70752 | 60986 0 | 0 | 2 301.65/301.74 c 300s | 14 | 112226 | 71252 | 60986 0 | 0 | 2 303.74/303.86 c 302s | 14 | 112780 | 71652 | 60986 0 | 0 | 2 306.04/306.15 c 305s | 14 | 113275 | 72052 | 60986 0 | 0 | 2 308.55/308.65 c 307s | 14 | 113903 | 72552 | 60986 0 | 0 | 2 310.64/310.79 c 309s | 14 | 114461 | 72952 | 60986 0 | 0 | 2 312.75/312.87 c 311s | 14 | 114981 | 73352 | 60986 0 | 0 | 2 316.54/316.64 c 315s | 14 | 115098 | 73452 | 60986 1 | 0 | 2 320.34/320.43 c 319s | 14 | 115225 | 73552 | 60986 1 | 0 | 2 322.64/322.72 c 321s | 14 | 115664 | 73852 | 60986 1 | 0 | 2 324.64/324.79 c 323s | 14 | 116230 | 74252 | 60986 1 | 0 | 2 326.75/326.85 c 325s | 14 | 116795 | 74652 | 60986 1 | 0 | 2 328.85/329.00 c 327s | 14 | 117366 | 75052 | 60986 1 | 0 | 2 331.14/331.25 c 330s | 14 | 117895 | 75452 | 60986 1 | 0 | 2 333.64/333.72 c 332s | 14 | 118388 | 75852 | 60986 1 | 0 | 2 336.14/336.21 c 335s | 14 | 118906 | 76252 | 60986 1 | 0 | 2 338.23/338.38 c 337s | 14 | 119310 | 76552 | 60986 1 | 0 | 2 340.44/340.51 c 339s | 14 | 119834 | 76952 | 60986 1 | 0 | 2 342.74/342.81 c 341s | 14 | 120453 | 77452 | 60986 1 | 0 | 2 344.94/345.04 c 344s | 14 | 121095 | 77952 | 60986 1 | 0 | 2 346.93/347.04 c 346s | 14 | 121572 | 78352 | 60986 1 | 0 | 2 349.13/349.29 c 348s | 14 | 122261 | 78852 | 60986 1 | 0 | 2 351.34/351.42 c 350s | 14 | 122908 | 79352 | 60986 1 | 0 | 2 353.34/353.46 c 352s | 14 | 123439 | 79752 | 60986 1 | 0 | 2 355.64/355.73 c 354s | 14 | 124111 | 80252 | 60986 1 | 0 | 2 357.83/357.95 c 356s | 14 | 124828 | 80752 | 60986 1 | 0 | 2 360.13/360.24 c 359s | 14 | 125362 | 81152 | 60986 1 | 0 | 2 362.24/362.31 c 361s | 14 | 125883 | 81552 | 60986 1 | 0 | 2 364.64/364.75 c 363s | 14 | 126382 | 81952 | 60986 1 | 0 | 2 366.83/366.95 c 365s | 14 | 127009 | 82352 | 60986 1 | 0 | 2 369.14/369.20 c 368s | 14 | 127510 | 82752 | 60986 1 | 0 | 2 371.23/371.33 c 370s | 14 | 128015 | 83152 | 60986 1 | 0 | 2 373.63/373.78 c 372s | 14 | 128570 | 83552 | 60986 1 | 0 | 2 376.14/376.26 c 375s | 14 | 129107 | 83952 | 60986 1 | 0 | 2 378.44/378.54 c 377s | 14 | 129617 | 84352 | 60986 1 | 0 | 2 380.83/380.95 c 379s | 14 | 130142 | 84752 | 60986 1 | 0 | 2 382.93/383.04 c 382s | 14 | 130525 | 85052 | 60986 1 | 0 | 2 385.53/385.62 c 384s | 14 | 131050 | 85452 | 60986 1 | 0 | 2 387.63/387.74 c 386s | 14 | 131388 | 85752 | 60986 1 | 0 | 2 389.73/389.87 c 388s | 14 | 131742 | 86052 | 60986 1 | 0 | 2 392.03/392.17 c 391s | 14 | 132090 | 86352 | 60986 1 | 0 | 2 394.73/394.85 c 393s | 14 | 132561 | 86752 | 60986 1 | 0 | 2 396.73/396.87 c 395s | 14 | 132965 | 87052 | 67085 1 | 0 | 2 398.83/398.95 c 397s | 14 | 133353 | 87352 | 67085 1 | 0 | 2 400.93/401.01 c 399s | 15 | 133701 | 87632 | 67085 1 | 0 | 2 403.13/403.26 c 402s | 15 | 134241 | 87732 | 67085 1 | 0 | 2 405.23/405.36 c 404s | 15 | 134826 | 88132 | 67085 1 | 0 | 2 407.43/407.57 c 406s | 15 | 135432 | 88532 | 67085 1 | 0 | 2 409.73/409.86 c 408s | 15 | 136212 | 89032 | 67085 1 | 0 | 2 411.83/411.91 c 410s | 15 | 137021 | 89532 | 67085 1 | 0 | 2 414.03/414.17 c 413s | 15 | 138000 | 90132 | 67085 1 | 0 | 2 416.32/416.47 c 415s | 15 | 138613 | 90532 | 67085 1 | 0 | 2 418.33/418.49 c 417s | 15 | 139138 | 90832 | 67085 1 | 0 | 2 420.63/420.73 c 419s | 15 | 140048 | 91432 | 67085 1 | 0 | 2 422.93/423.01 c 421s | 15 | 140971 | 92032 | 67085 1 | 0 | 2 425.23/425.32 c 424s | 15 | 141757 | 92632 | 67085 1 | 0 | 2 427.42/427.55 c 426s | 15 | 142714 | 93232 | 67085 1 | 0 | 2 429.52/429.63 c 428s | 15 | 143466 | 93732 | 67085 1 | 0 | 2 431.62/431.73 c 430s | 15 | 144123 | 94232 | 67085 1 | 0 | 2 434.03/434.15 c 433s | 15 | 144830 | 94732 | 67085 1 | 0 | 2 436.42/436.57 c 435s | 15 | 145492 | 95232 | 67085 1 | 0 | 2 438.83/439.00 c 437s | 15 | 146197 | 95732 | 67085 1 | 0 | 2 441.22/441.36 c 440s | 15 | 146851 | 96232 | 67085 1 | 0 | 2 443.63/443.77 c 442s | 15 | 147570 | 96732 | 67085 1 | 0 | 2 446.22/446.32 c 445s | 15 | 148238 | 97232 | 67085 1 | 0 | 2 448.32/448.40 c 447s | 15 | 148755 | 97632 | 67085 1 | 0 | 2 450.62/450.73 c 449s | 15 | 149287 | 98032 | 67085 1 | 0 | 2 452.82/452.99 c 451s | 15 | 149853 | 98432 | 67085 1 | 0 | 2 455.02/455.18 c 454s | 15 | 150327 | 98832 | 67085 1 | 0 | 2 457.12/457.29 c 456s | 15 | 150864 | 99232 | 67085 1 | 0 | 2 459.32/459.45 c 458s | 15 | 151359 | 99632 | 67085 1 | 0 | 2 461.52/461.61 c 460s | 15 | 151914 | 100032 | 67085 1 | 0 | 2 463.82/463.92 c 462s | 15 | 152621 | 100532 | 67085 1 | 0 | 2 465.82/465.94 c 464s | 15 | 153176 | 100932 | 67085 1 | 0 | 2 468.02/468.18 c 467s | 15 | 153920 | 101432 | 67085 1 | 0 | 2 470.12/470.20 c 469s | 15 | 154469 | 101832 | 67085 1 | 0 | 2 472.11/472.23 c 471s | 15 | 155044 | 102232 | 67085 1 | 0 | 2 474.41/474.58 c 473s | 15 | 155554 | 102632 | 67085 1 | 0 | 2 476.52/476.62 c 475s | 15 | 156079 | 103032 | 67085 1 | 0 | 2 478.62/478.75 c 477s | 15 | 156642 | 103432 | 67085 1 | 0 | 2 481.11/481.21 c 480s | 15 | 157168 | 103832 | 67085 1 | 0 | 2 483.22/483.34 c 482s | 15 | 158350 | 104532 | 67085 1 | 0 | 2 485.52/485.66 c 484s | 15 | 159349 | 105132 | 67085 1 | 0 | 2 487.92/488.05 c 487s | 15 | 160240 | 105732 | 67085 1 | 0 | 2 490.01/490.19 c 489s | 15 | 161346 | 106332 | 67085 1 | 0 | 2 492.41/492.57 c 491s | 15 | 162442 | 106932 | 67085 1 | 0 | 2 494.61/494.71 c 493s | 15 | 163212 | 107432 | 67085 1 | 0 | 2 496.92/497.02 c 495s | 15 | 163999 | 107932 | 67085 1 | 0 | 2 499.12/499.26 c 498s | 15 | 164733 | 108432 | 67085 1 | 0 | 2 501.32/501.42 c 500s | 15 | 165406 | 108932 | 67085 1 | 0 | 2 503.61/503.80 c 502s | 15 | 166293 | 109532 | 67085 1 | 0 | 2 505.92/506.05 c 505s | 15 | 167120 | 110032 | 67085 1 | 0 | 2 508.12/508.21 c 507s | 15 | 167667 | 110432 | 67085 1 | 0 | 2 510.32/510.42 c 509s | 15 | 168428 | 110932 | 67085 1 | 0 | 2 512.41/512.60 c 511s | 15 | 169121 | 111332 | 67085 1 | 0 | 2 514.72/514.82 c 513s | 15 | 169744 | 111732 | 67085 1 | 0 | 2 517.31/517.42 c 516s | 15 | 170504 | 112232 | 67085 1 | 0 | 2 519.41/519.51 c 518s | 15 | 171093 | 112632 | 67085 1 | 0 | 2 522.01/522.15 c 521s | 15 | 171692 | 113032 | 67085 1 | 0 | 2 524.31/524.46 c 523s | 15 | 172278 | 113432 | 67085 1 | 0 | 2 526.82/526.96 c 525s | 15 | 172855 | 113832 | 67085 1 | 0 | 2 529.31/529.47 c 528s | 15 | 173362 | 114232 | 67085 1 | 0 | 2 531.51/531.68 c 530s | 15 | 173927 | 114632 | 67085 1 | 0 | 2 533.91/534.03 c 533s | 15 | 174493 | 115032 | 67085 1 | 0 | 2 536.41/536.56 c 535s | 15 | 175060 | 115432 | 67085 1 | 0 | 2 539.11/539.27 c 538s | 15 | 175627 | 115832 | 67085 1 | 0 | 2 541.21/541.38 c 540s | 15 | 176298 | 116232 | 67085 1 | 0 | 2 545.61/545.73 c 544s | 15 | 176582 | 116432 | 67085 2 | 0 | 2 552.11/552.21 c 551s | 15 | 176715 | 116532 | 67085 2 | 0 | 2 554.80/554.96 c 553s | 15 | 177255 | 116932 | 67085 2 | 0 | 2 557.21/557.38 c 556s | 15 | 177991 | 117432 | 67085 2 | 0 | 2 559.50/559.60 c 558s | 15 | 178737 | 117932 | 67085 2 | 0 | 2 563.40/563.59 c 562s | 15 | 179218 | 118232 | 67085 2 | 0 | 2 565.61/565.74 c 564s | 15 | 179805 | 118632 | 67085 2 | 0 | 2 567.80/567.94 c 566s | 15 | 180601 | 119132 | 67085 2 | 0 | 2 570.00/570.10 c 569s | 15 | 181168 | 119532 | 67085 2 | 0 | 2 572.30/572.40 c 571s | 15 | 181945 | 120032 | 67085 2 | 0 | 2 574.30/574.48 c 573s | 15 | 182603 | 120432 | 67085 2 | 0 | 2 576.50/576.60 c 575s | 15 | 183207 | 120832 | 67085 2 | 0 | 2 578.61/578.76 c 577s | 15 | 183834 | 121232 | 67085 2 | 0 | 2 581.30/581.43 c 580s | 15 | 184410 | 121632 | 67085 2 | 0 | 2 583.50/583.60 c 582s | 15 | 185086 | 122132 | 67085 2 | 0 | 2 585.70/585.85 c 584s | 15 | 185694 | 122532 | 67085 2 | 0 | 2 587.90/588.03 c 586s | 15 | 186638 | 123132 | 67085 2 | 0 | 2 590.00/590.19 c 589s | 15 | 187455 | 123632 | 67085 2 | 0 | 2 592.30/592.40 c 591s | 15 | 188477 | 124232 | 67085 2 | 0 | 2 594.30/594.44 c 593s | 15 | 189193 | 124732 | 67085 2 | 0 | 2 596.30/596.49 c 595s | 15 | 190172 | 125332 | 67085 2 | 0 | 2 598.41/598.55 c 597s | 15 | 190928 | 125832 | 67085 2 | 0 | 2 600.80/600.95 c 599s | 15 | 191808 | 126332 | 67085 2 | 0 | 2 603.19/603.33 c 602s | 15 | 192755 | 126932 | 67085 2 | 0 | 2 605.30/605.43 c 604s | 15 | 193413 | 127332 | 67085 2 | 0 | 2 607.69/607.86 c 606s | 15 | 194144 | 127832 | 67085 2 | 0 | 2 609.99/610.19 c 609s | 15 | 194733 | 128232 | 67085 2 | 0 | 2 612.00/612.19 c 611s | 15 | 195276 | 128632 | 67085 2 | 0 | 2 614.10/614.21 c 613s | 15 | 195986 | 129032 | 67085 2 | 0 | 2 616.30/616.46 c 615s | 15 | 196544 | 129432 | 67085 2 | 0 | 2 618.70/618.85 c 617s | 15 | 197102 | 129832 | 67085 2 | 0 | 2 621.10/621.26 c 620s | 15 | 197674 | 130232 | 67085 2 | 0 | 2 623.50/623.69 c 622s | 15 | 198298 | 130632 | 73794 2 | 0 | 2 625.60/625.74 c 624s | 15 | 198887 | 131032 | 73794 2 | 0 | 2 628.20/628.30 c 627s | 15 | 199738 | 131532 | 73794 2 | 0 | 2 628.29/628.44 c 627s | 16 | 199757 | 131552 | 73794 2 | 0 | 2 630.69/630.84 c 629s | 16 | 200306 | 131652 | 73794 2 | 0 | 2 633.39/633.55 c 632s | 16 | 200942 | 132052 | 73794 2 | 0 | 2 635.59/635.72 c 634s | 16 | 201567 | 132452 | 73794 2 | 0 | 2 637.79/637.94 c 636s | 16 | 202206 | 132852 | 73794 2 | 0 | 2 640.10/640.22 c 639s | 16 | 202864 | 133252 | 73794 2 | 0 | 2 642.40/642.57 c 641s | 16 | 203477 | 133652 | 73794 2 | 0 | 2 644.89/645.05 c 644s | 16 | 203887 | 133952 | 73794 2 | 0 | 2 647.39/647.55 c 646s | 16 | 204317 | 134252 | 73794 2 | 0 | 2 649.79/649.97 c 648s | 16 | 204976 | 134652 | 73794 2 | 0 | 2 651.99/652.10 c 651s | 16 | 205962 | 135252 | 73794 2 | 0 | 2 654.40/654.53 c 653s | 16 | 206907 | 135852 | 73794 2 | 0 | 2 656.70/656.83 c 655s | 16 | 207858 | 136352 | 73794 2 | 0 | 2 658.80/658.99 c 657s | 16 | 208859 | 136952 | 73794 2 | 0 | 2 661.39/661.56 c 660s | 16 | 209682 | 137552 | 73794 2 | 0 | 2 663.89/664.06 c 663s | 16 | 210268 | 137952 | 73794 2 | 0 | 2 666.09/666.23 c 665s | 16 | 210853 | 138352 | 73794 2 | 0 | 2 668.39/668.56 c 667s | 16 | 211346 | 138752 | 73794 2 | 0 | 2 670.69/670.80 c 669s | 16 | 211753 | 139052 | 73794 2 | 0 | 2 672.79/672.93 c 671s | 16 | 212161 | 139352 | 73794 2 | 0 | 2 675.48/675.66 c 674s | 16 | 212637 | 139752 | 73794 2 | 0 | 2 677.79/677.94 c 676s | 16 | 213070 | 140052 | 73794 2 | 0 | 2 679.99/680.15 c 679s | 16 | 213700 | 140452 | 73794 2 | 0 | 2 682.08/682.22 c 681s | 16 | 214267 | 140852 | 73794 2 | 0 | 2 684.29/684.43 c 683s | 16 | 214869 | 141252 | 73794 2 | 0 | 2 686.88/687.01 c 685s | 16 | 215428 | 141652 | 73794 2 | 0 | 2 689.29/689.40 c 688s | 16 | 215859 | 141952 | 73794 2 | 0 | 2 691.59/691.75 c 690s | 16 | 216233 | 142252 | 73794 2 | 0 | 2 694.29/694.48 c 693s | 16 | 216587 | 142552 | 73794 2 | 0 | 2 696.98/697.14 c 696s | 16 | 217019 | 142852 | 73794 2 | 0 | 2 699.18/699.31 c 698s | 16 | 217641 | 143252 | 73794 2 | 0 | 2 701.38/701.53 c 700s | 16 | 218252 | 143652 | 73794 2 | 0 | 2 703.58/703.75 c 702s | 16 | 218849 | 144052 | 73794 2 | 0 | 2 706.18/706.31 c 705s | 16 | 219452 | 144452 | 73794 2 | 0 | 2 708.29/708.43 c 707s | 16 | 220057 | 144852 | 73794 2 | 0 | 2 710.68/710.82 c 709s | 16 | 220621 | 145252 | 73794 2 | 0 | 2 713.08/713.23 c 712s | 16 | 221222 | 145652 | 73794 2 | 0 | 2 715.29/715.41 c 714s | 16 | 221648 | 145952 | 73794 2 | 0 | 2 717.28/717.42 c 716s | 16 | 222033 | 146252 | 73794 2 | 0 | 2 719.68/719.80 c 718s | 16 | 222619 | 146652 | 73794 2 | 0 | 2 722.08/722.27 c 721s | 16 | 223192 | 147052 | 73794 2 | 0 | 2 724.68/724.82 c 723s | 16 | 223778 | 147452 | 73794 2 | 0 | 2 726.99/727.15 c 726s | 16 | 224376 | 147852 | 73794 2 | 0 | 2 728.98/729.15 c 728s | 16 | 224766 | 148152 | 73794 2 | 0 | 2 731.18/731.37 c 730s | 16 | 225154 | 148452 | 73794 2 | 0 | 2 733.37/733.56 c 732s | 16 | 225563 | 148752 | 73794 2 | 0 | 2 735.79/735.93 c 734s | 16 | 225978 | 149052 | 73794 2 | 0 | 2 737.88/738.09 c 737s | 16 | 226407 | 149352 | 73794 2 | 0 | 2 740.48/740.69 c 739s | 16 | 227002 | 149752 | 73794 2 | 0 | 2 742.78/742.96 c 741s | 16 | 227421 | 150052 | 73794 2 | 0 | 2 745.27/745.48 c 744s | 16 | 227825 | 150352 | 73794 2 | 0 | 2 747.78/747.95 c 746s | 16 | 228251 | 150652 | 73794 2 | 0 | 2 750.38/750.50 c 749s | 16 | 228648 | 150952 | 73794 2 | 0 | 2 752.67/752.82 c 751s | 16 | 229113 | 151252 | 73794 2 | 0 | 2 755.17/755.35 c 754s | 16 | 229738 | 151652 | 73794 2 | 0 | 2 757.47/757.62 c 756s | 16 | 230383 | 152052 | 73794 2 | 0 | 2 759.77/759.95 c 758s | 16 | 231089 | 152452 | 73794 2 | 0 | 2 761.87/762.00 c 760s | 16 | 231710 | 152852 | 73794 2 | 0 | 2 764.08/764.28 c 763s | 16 | 232337 | 153252 | 73794 2 | 0 | 2 766.68/766.84 c 765s | 16 | 232862 | 153652 | 73794 2 | 0 | 2 769.18/769.30 c 768s | 16 | 233484 | 154052 | 73794 2 | 0 | 2 771.87/772.00 c 770s | 16 | 234105 | 154452 | 73794 2 | 0 | 2 774.47/774.61 c 773s | 16 | 234749 | 154852 | 73794 2 | 0 | 2 776.98/777.11 c 776s | 16 | 235408 | 155252 | 73794 2 | 0 | 2 779.17/779.34 c 778s | 16 | 235796 | 155552 | 73794 2 | 0 | 2 781.77/781.93 c 780s | 16 | 236429 | 155952 | 73794 2 | 0 | 2 783.87/784.01 c 782s | 16 | 236839 | 156252 | 73794 2 | 0 | 2 786.37/786.52 c 785s | 16 | 237218 | 156552 | 73794 2 | 0 | 2 788.87/789.05 c 788s | 16 | 237632 | 156852 | 73794 2 | 0 | 2 791.57/791.70 c 790s | 16 | 238032 | 157152 | 73794 2 | 0 | 2 793.97/794.10 c 793s | 16 | 238440 | 157452 | 73794 2 | 0 | 2 796.67/796.85 c 795s | 16 | 239031 | 157852 | 73794 2 | 0 | 2 799.37/799.50 c 798s | 16 | 239412 | 158152 | 73794 2 | 0 | 2 801.97/802.18 c 801s | 16 | 240047 | 158552 | 73794 2 | 0 | 2 804.36/804.53 c 803s | 16 | 240436 | 158852 | 73794 2 | 0 | 2 806.57/806.71 c 805s | 16 | 240888 | 159152 | 73794 2 | 0 | 2 808.96/809.15 c 808s | 16 | 241291 | 159452 | 73794 2 | 0 | 2 811.06/811.25 c 810s | 16 | 241779 | 159752 | 73794 2 | 0 | 2 813.37/813.58 c 812s | 16 | 242354 | 160152 | 73794 2 | 0 | 2 815.86/816.07 c 815s | 16 | 242892 | 160552 | 73794 2 | 0 | 2 817.96/818.13 c 817s | 16 | 243372 | 160852 | 73794 2 | 0 | 2 820.57/820.73 c 819s | 16 | 244022 | 161252 | 73794 2 | 0 | 2 822.86/823.01 c 821s | 16 | 244432 | 161552 | 73794 2 | 0 | 2 824.87/825.02 c 823s | 16 | 244827 | 161852 | 73794 2 | 0 | 2 827.17/827.34 c 826s | 16 | 245452 | 162252 | 73794 2 | 0 | 2 829.27/829.42 c 828s | 16 | 245896 | 162552 | 73794 2 | 0 | 2 835.06/835.27 c 834s | 16 | 246561 | 162952 | 73794 3 | 0 | 2 838.86/839.07 c 838s | 16 | 246863 | 163152 | 73794 3 | 0 | 2 842.87/843.07 c 842s | 16 | 247327 | 163452 | 73794 3 | 0 | 2 845.46/845.66 c 844s | 16 | 247809 | 163752 | 73794 3 | 0 | 2 847.56/847.73 c 846s | 16 | 248245 | 164052 | 73794 3 | 0 | 2 849.77/849.97 c 848s | 16 | 248661 | 164352 | 73794 3 | 0 | 2 851.96/852.16 c 851s | 16 | 249097 | 164652 | 73794 3 | 0 | 2 854.46/854.61 c 853s | 16 | 249529 | 164952 | 73794 3 | 0 | 2 856.46/856.67 c 855s | 16 | 249934 | 165252 | 73794 3 | 0 | 2 858.86/859.01 c 857s | 16 | 250334 | 165552 | 73794 3 | 0 | 2 861.06/861.21 c 860s | 16 | 250805 | 165852 | 73794 3 | 0 | 2 867.55/867.75 c 866s | 16 | 250956 | 165952 | 73794 3 | 0 | 2 869.96/870.15 c 869s | 16 | 251573 | 166352 | 73794 3 | 0 | 2 871.96/872.19 c 871s | 16 | 251968 | 166652 | 73794 3 | 0 | 2 874.55/874.78 c 873s | 16 | 252546 | 167052 | 73794 3 | 0 | 2 876.85/877.07 c 876s | 16 | 252951 | 167352 | 73794 3 | 0 | 2 879.15/879.31 c 878s | 16 | 253347 | 167652 | 73794 3 | 0 | 2 881.26/881.43 c 880s | 16 | 253790 | 167952 | 73794 3 | 0 | 2 883.55/883.73 c 882s | 16 | 254636 | 168652 | 73794 3 | 0 | 2 885.55/885.79 c 884s | 16 | 255593 | 169252 | 73794 3 | 0 | 2 887.75/887.98 c 886s | 16 | 256459 | 169852 | 73794 3 | 0 | 2 890.15/890.31 c 889s | 16 | 257093 | 170352 | 73794 3 | 0 | 2 892.34/892.56 c 891s | 16 | 257753 | 170852 | 73794 3 | 0 | 2 894.54/894.75 c 893s | 16 | 258384 | 171352 | 73794 3 | 0 | 2 896.95/897.12 c 896s | 16 | 259156 | 171952 | 73794 3 | 0 | 2 899.14/899.39 c 898s | 16 | 259967 | 172552 | 73794 3 | 0 | 2 901.24/901.44 c 900s | 16 | 260676 | 173052 | 73794 3 | 0 | 2 903.24/903.46 c 902s | 16 | 261152 | 173452 | 73794 3 | 0 | 2 905.34/905.54 c 904s | 16 | 261709 | 173852 | 73794 3 | 0 | 2 907.64/907.89 c 906s | 16 | 262345 | 174352 | 73794 3 | 0 | 2 909.73/909.92 c 908s | 16 | 262837 | 174752 | 73794 3 | 0 | 2 911.85/912.02 c 910s | 16 | 263476 | 175252 | 73794 3 | 0 | 2 913.94/914.15 c 913s | 16 | 263976 | 175652 | 73794 3 | 0 | 2 915.94/916.19 c 915s | 16 | 264472 | 176052 | 73794 3 | 0 | 2 918.24/918.45 c 917s | 16 | 264963 | 176452 | 73794 3 | 0 | 2 920.43/920.69 c 919s | 16 | 265473 | 176852 | 73794 3 | 0 | 2 922.74/922.93 c 921s | 16 | 265935 | 177252 | 73794 3 | 0 | 2 924.94/925.18 c 924s | 16 | 266372 | 177652 | 73794 3 | 0 | 2 927.24/927.46 c 926s | 16 | 266839 | 178052 | 73794 3 | 0 | 2 929.43/929.66 c 928s | 16 | 267336 | 178452 | 73794 3 | 0 | 2 932.02/932.22 c 931s | 16 | 267834 | 178852 | 73794 3 | 0 | 2 934.32/934.55 c 933s | 16 | 268473 | 179352 | 73794 3 | 0 | 2 936.42/936.60 c 935s | 16 | 268978 | 179752 | 73794 3 | 0 | 2 938.52/938.76 c 937s | 16 | 269486 | 180152 | 73794 3 | 0 | 2 940.92/941.17 c 940s | 16 | 269960 | 180552 | 73794 3 | 0 | 2 943.22/943.43 c 942s | 16 | 270463 | 180952 | 73794 3 | 0 | 2 945.71/946.00 c 944s | 16 | 270967 | 181352 | 73794 3 | 0 | 2 947.91/948.14 c 947s | 16 | 271364 | 181652 | 73794 3 | 0 | 2 950.11/950.32 c 949s | 16 | 271794 | 181952 | 73794 3 | 0 | 2 952.42/952.69 c 951s | 16 | 272459 | 182452 | 73794 3 | 0 | 2 954.52/954.72 c 953s | 16 | 272977 | 182852 | 73794 3 | 0 | 2 956.91/957.15 c 956s | 16 | 273633 | 183352 | 73794 3 | 0 | 2 959.11/959.35 c 958s | 16 | 274130 | 183752 | 73794 3 | 0 | 2 961.21/961.44 c 960s | 16 | 274676 | 184152 | 73794 3 | 0 | 2 963.41/963.65 c 962s | 16 | 275254 | 184552 | 73794 3 | 0 | 2 965.61/965.82 c 964s | 16 | 275633 | 184852 | 73794 3 | 0 | 2 967.81/968.03 c 967s | 16 | 275999 | 185152 | 73794 3 | 0 | 2 970.50/970.78 c 969s | 16 | 276524 | 185552 | 73794 3 | 0 | 2 972.50/972.79 c 971s | 16 | 276937 | 185852 | 73794 3 | 0 | 2 974.70/974.97 c 973s | 16 | 277528 | 186252 | 73794 3 | 0 | 2 976.71/976.99 c 975s | 16 | 278101 | 186652 | 73794 3 | 0 | 2 979.00/979.26 c 978s | 16 | 278678 | 187052 | 73794 3 | 0 | 2 981.19/981.40 c 980s | 16 | 279254 | 187452 | 73794 3 | 0 | 2 983.39/983.63 c 982s | 16 | 279660 | 187752 | 73794 3 | 0 | 2 985.89/986.18 c 985s | 16 | 280229 | 188152 | 73794 3 | 0 | 2 988.29/988.50 c 987s | 16 | 280612 | 188452 | 73794 3 | 0 | 2 990.69/990.97 c 989s | 16 | 281202 | 188852 | 73794 3 | 0 | 2 993.29/993.51 c 992s | 16 | 281754 | 189252 | 73794 3 | 0 | 2 995.59/995.80 c 994s | 16 | 282190 | 189552 | 73794 3 | 0 | 2 997.78/998.09 c 997s | 16 | 282637 | 189852 | 73794 3 | 0 | 2 999.88/1000.10 c 999s | 16 | 283120 | 190152 | 73794 3 | 0 | 2 1002.28/1002.57 c 1001s | 16 | 283515 | 190452 | 73794 3 | 0 | 2 1004.89/1005.11 c 1004s | 16 | 284054 | 190852 | 73794 3 | 0 | 2 1007.28/1007.55 c 1006s | 16 | 284555 | 191252 | 73794 3 | 0 | 2 1009.97/1010.21 c 1009s | 16 | 285107 | 191652 | 73794 3 | 0 | 2 1012.57/1012.86 c 1011s | 16 | 285628 | 192052 | 73794 3 | 0 | 2 1014.68/1014.97 c 1013s | 16 | 286092 | 192352 | 73794 3 | 0 | 2 1016.77/1017.04 c 1016s | 16 | 286593 | 192652 | 73794 3 | 0 | 2 1018.97/1019.27 c 1018s | 16 | 287004 | 192952 | 73794 3 | 0 | 2 1021.47/1021.77 c 1020s | 16 | 287658 | 193352 | 73794 3 | 0 | 2 1024.27/1024.50 c 1023s | 16 | 288303 | 193752 | 73794 3 | 0 | 2 1026.47/1026.73 c 1025s | 16 | 288698 | 194052 | 73794 3 | 0 | 2 1028.96/1029.25 c 1028s | 16 | 289342 | 194452 | 73794 3 | 0 | 2 1031.27/1031.57 c 1030s | 16 | 289789 | 194752 | 73794 3 | 0 | 2 1033.56/1033.83 c 1032s | 16 | 290187 | 195052 | 73794 3 | 0 | 2 1036.26/1036.57 c 1035s | 16 | 290595 | 195352 | 73794 3 | 0 | 2 1038.35/1038.62 c 1037s | 16 | 291016 | 195652 | 73794 3 | 0 | 2 1040.65/1040.97 c 1039s | 16 | 291584 | 196052 | 81174 3 | 0 | 2 1042.85/1043.18 c 1042s | 16 | 292012 | 196352 | 81174 3 | 0 | 2 1045.46/1045.77 c 1044s | 16 | 292645 | 196752 | 81174 3 | 0 | 2 1047.45/1047.77 c 1046s | 16 | 293074 | 197052 | 81174 3 | 0 | 2 1049.85/1050.13 c 1049s | 16 | 293608 | 197352 | 81174 3 | 0 | 2 1050.45/1050.75 c 1049s | 17 | 293735 | 197432 | 81174 3 | 0 | 2 1053.45/1053.79 c 1052s | 17 | 294266 | 197532 | 81174 3 | 0 | 2 1055.95/1056.21 c 1055s | 17 | 294871 | 197932 | 81174 3 | 0 | 2 1058.65/1058.98 c 1057s | 17 | 295470 | 198332 | 81174 3 | 0 | 2 1061.15/1061.42 c 1060s | 17 | 296103 | 198732 | 81174 3 | 0 | 2 1063.24/1063.53 c 1062s | 17 | 296508 | 199032 | 81174 3 | 0 | 2 1065.65/1065.92 c 1064s | 17 | 296962 | 199332 | 81174 3 | 0 | 2 1067.95/1068.24 c 1067s | 17 | 297400 | 199632 | 81174 3 | 0 | 2 1070.05/1070.38 c 1069s | 17 | 297899 | 199932 | 81174 3 | 0 | 2 1072.14/1072.42 c 1071s | 17 | 298251 | 200232 | 81174 3 | 0 | 2 1076.34/1076.66 c 1075s | 17 | 298651 | 200432 | 81174 3 | 0 | 2 1078.63/1078.90 c 1077s | 17 | 299699 | 201032 | 81174 3 | 0 | 2 1080.63/1080.98 c 1079s | 17 | 300482 | 201532 | 81174 3 | 0 | 2 1083.03/1083.32 c 1082s | 17 | 301095 | 201932 | 81174 3 | 0 | 2 1085.13/1085.45 c 1084s | 17 | 301802 | 202432 | 81174 3 | 0 | 2 1087.53/1087.87 c 1086s | 17 | 302533 | 202932 | 81174 3 | 0 | 2 1089.72/1090.05 c 1089s | 17 | 303341 | 203432 | 81174 3 | 0 | 2 1092.13/1092.45 c 1091s | 17 | 304082 | 203932 | 81174 3 | 0 | 2 1094.43/1094.72 c 1093s | 17 | 304824 | 204432 | 81174 3 | 0 | 2 1096.82/1097.15 c 1096s | 17 | 305516 | 204932 | 81174 3 | 0 | 2 1099.42/1099.72 c 1098s | 17 | 306220 | 205432 | 81174 3 | 0 | 2 1101.62/1101.90 c 1100s | 17 | 306832 | 205832 | 81174 3 | 0 | 2 1104.22/1104.58 c 1103s | 17 | 307396 | 206232 | 81174 3 | 0 | 2 1106.33/1106.68 c 1105s | 17 | 307954 | 206632 | 81174 3 | 0 | 2 1108.52/1108.85 c 1107s | 17 | 308473 | 207032 | 81174 3 | 0 | 2 1110.92/1111.28 c 1110s | 17 | 309025 | 207432 | 81174 3 | 0 | 2 1113.31/1113.66 c 1112s | 17 | 309541 | 207832 | 81174 3 | 0 | 2 1115.51/1115.89 c 1114s | 17 | 310173 | 208232 | 81174 3 | 0 | 2 1118.11/1118.42 c 1117s | 17 | 310739 | 208632 | 81174 3 | 0 | 2 1120.62/1120.97 c 1119s | 17 | 311238 | 209032 | 81174 3 | 0 | 2 1122.91/1123.29 c 1122s | 17 | 311591 | 209332 | 81174 3 | 0 | 2 1125.20/1125.59 c 1124s | 17 | 312456 | 209832 | 81174 3 | 0 | 2 1127.61/1127.96 c 1126s | 17 | 313153 | 210332 | 81174 3 | 0 | 2 1130.10/1130.47 c 1129s | 17 | 313819 | 210832 | 81174 3 | 0 | 2 1132.71/1133.03 c 1132s | 17 | 314627 | 211332 | 81174 3 | 0 | 2 1134.80/1135.19 c 1134s | 17 | 315163 | 211732 | 81174 3 | 0 | 2 1137.00/1137.37 c 1136s | 17 | 315701 | 212132 | 81174 3 | 0 | 2 1139.40/1139.71 c 1138s | 17 | 316286 | 212532 | 81174 3 | 0 | 2 1141.69/1142.06 c 1141s | 17 | 316897 | 212932 | 81174 3 | 0 | 2 1147.30/1147.60 c 1146s | 17 | 317562 | 213332 | 81174 4 | 0 | 2 1149.49/1149.82 c 1148s | 17 | 317890 | 213532 | 81174 4 | 0 | 2 1152.50/1152.89 c 1151s | 17 | 318056 | 213632 | 81174 4 | 0 | 2 1154.60/1154.94 c 1153s | 17 | 318744 | 214132 | 81174 4 | 0 | 2 1157.00/1157.36 c 1156s | 17 | 319437 | 214632 | 81174 4 | 0 | 2 1158.99/1159.39 c 1158s | 17 | 319933 | 214932 | 81174 4 | 0 | 2 1162.69/1163.09 c 1162s | 17 | 320080 | 215032 | 81174 4 | 0 | 2 1165.19/1165.51 c 1164s | 17 | 320819 | 215532 | 81174 4 | 0 | 2 1167.49/1167.82 c 1166s | 17 | 321459 | 215932 | 81174 4 | 0 | 2 1169.68/1170.01 c 1168s | 17 | 322154 | 216432 | 81174 4 | 0 | 2 1171.88/1172.29 c 1171s | 17 | 322867 | 216932 | 81174 4 | 0 | 2 1174.28/1174.64 c 1173s | 17 | 323590 | 217432 | 81174 4 | 0 | 2 1176.58/1176.90 c 1175s | 17 | 324314 | 217932 | 81174 4 | 0 | 2 1178.57/1178.98 c 1177s | 17 | 324837 | 218332 | 81174 4 | 0 | 2 1180.68/1181.07 c 1180s | 17 | 325413 | 218732 | 81174 4 | 0 | 2 1183.07/1183.43 c 1182s | 17 | 325929 | 219132 | 81174 4 | 0 | 2 1185.17/1185.52 c 1184s | 17 | 326528 | 219532 | 81174 4 | 0 | 2 1187.48/1187.88 c 1186s | 17 | 327234 | 220032 | 81174 4 | 0 | 2 1189.57/1189.96 c 1188s | 17 | 327767 | 220432 | 81174 4 | 0 | 2 1192.08/1192.44 c 1191s | 17 | 328492 | 220932 | 81174 4 | 0 | 2 1194.17/1194.56 c 1193s | 17 | 329067 | 221332 | 81174 4 | 0 | 2 1196.36/1196.75 c 1195s | 17 | 329580 | 221732 | 81174 4 | 0 | 2 1198.46/1198.85 c 1197s | 17 | 330110 | 222132 | 81174 4 | 0 | 2 1200.76/1201.16 c 1200s | 17 | 330635 | 222532 | 81174 4 | 0 | 2 1203.46/1203.89 c 1202s | 17 | 330894 | 222732 | 81174 4 | 0 | 2 1205.97/1206.31 c 1205s | 17 | 331415 | 223132 | 81174 4 | 0 | 2 1208.05/1208.42 c 1207s | 17 | 332023 | 223532 | 81174 4 | 0 | 2 1210.16/1210.58 c 1209s | 17 | 332826 | 224032 | 81174 4 | 0 | 2 1212.45/1212.86 c 1211s | 17 | 333636 | 224532 | 81174 4 | 0 | 2 1214.45/1214.87 c 1213s | 17 | 334231 | 224932 | 81174 4 | 0 | 2 1216.45/1216.90 c 1215s | 17 | 334789 | 225332 | 81174 4 | 0 | 2 1218.55/1218.94 c 1217s | 17 | 335339 | 225732 | 81174 4 | 0 | 2 1220.95/1221.36 c 1220s | 17 | 336082 | 226232 | 81174 4 | 0 | 2 1223.24/1223.63 c 1222s | 17 | 336574 | 226632 | 81174 4 | 0 | 2 1225.45/1225.82 c 1224s | 17 | 337358 | 227132 | 81174 4 | 0 | 2 1227.74/1228.15 c 1227s | 17 | 338134 | 227632 | 81174 4 | 0 | 2 1230.25/1230.62 c 1229s | 17 | 338827 | 228132 | 81174 4 | 0 | 2 1232.44/1232.84 c 1231s | 17 | 339441 | 228532 | 81174 4 | 0 | 2 1234.84/1235.29 c 1234s | 17 | 340263 | 229032 | 81174 4 | 0 | 2 1236.94/1237.33 c 1236s | 17 | 340885 | 229432 | 81174 4 | 0 | 2 1239.04/1239.47 c 1238s | 17 | 341560 | 229832 | 81174 4 | 0 | 2 1241.34/1241.71 c 1240s | 17 | 342147 | 230232 | 81174 4 | 0 | 2 1243.43/1243.80 c 1242s | 17 | 342814 | 230632 | 81174 4 | 0 | 2 1246.04/1246.42 c 1245s | 17 | 343392 | 231032 | 81174 4 | 0 | 2 1248.43/1248.85 c 1247s | 17 | 344017 | 231432 | 81174 4 | 0 | 2 1250.73/1251.10 c 1250s | 17 | 344608 | 231832 | 81174 4 | 0 | 2 1253.13/1253.54 c 1252s | 17 | 345367 | 232332 | 81174 4 | 0 | 2 1255.53/1255.98 c 1254s | 17 | 346133 | 232832 | 81174 4 | 0 | 2 1257.92/1258.36 c 1257s | 17 | 346906 | 233332 | 81174 4 | 0 | 2 1260.02/1260.49 c 1259s | 17 | 347572 | 233732 | 81174 4 | 0 | 2 1262.43/1262.80 c 1261s | 17 | 348191 | 234132 | 81174 4 | 0 | 2 1264.82/1265.23 c 1264s | 17 | 348770 | 234532 | 81174 4 | 0 | 2 1267.52/1267.92 c 1266s | 17 | 349304 | 234932 | 81174 4 | 0 | 2 1269.92/1270.40 c 1269s | 17 | 349852 | 235332 | 81174 4 | 0 | 2 1272.32/1272.71 c 1271s | 17 | 350419 | 235732 | 81174 4 | 0 | 2 1274.42/1274.86 c 1273s | 17 | 351048 | 236132 | 81174 4 | 0 | 2 1276.92/1277.34 c 1276s | 17 | 351701 | 236532 | 81174 4 | 0 | 2 1279.12/1279.54 c 1278s | 17 | 352192 | 236832 | 81174 4 | 0 | 2 1281.22/1281.60 c 1280s | 17 | 352660 | 237132 | 81174 4 | 0 | 2 1283.42/1283.86 c 1282s | 17 | 353081 | 237432 | 81174 4 | 0 | 2 1285.91/1286.30 c 1285s | 17 | 353700 | 237832 | 81174 4 | 0 | 2 1287.91/1288.38 c 1287s | 17 | 354190 | 238132 | 81174 4 | 0 | 2 1290.41/1290.88 c 1289s | 17 | 354804 | 238532 | 81174 4 | 0 | 2 1292.61/1293.04 c 1292s | 17 | 355284 | 238832 | 81174 4 | 0 | 2 1294.70/1295.16 c 1294s | 17 | 355811 | 239132 | 81174 4 | 0 | 2 1296.81/1297.27 c 1296s | 17 | 356272 | 239432 | 81174 4 | 0 | 2 1299.20/1299.67 c 1298s | 17 | 356687 | 239732 | 81174 4 | 0 | 2 1301.49/1301.95 c 1300s | 17 | 357125 | 240032 | 81174 4 | 0 | 2 1304.09/1304.54 c 1303s | 17 | 357569 | 240332 | 81174 4 | 0 | 2 1306.20/1306.62 c 1305s | 17 | 357978 | 240632 | 81174 4 | 0 | 2 1308.79/1309.22 c 1308s | 17 | 358587 | 241032 | 81174 4 | 0 | 2 1310.99/1311.45 c 1310s | 17 | 359000 | 241332 | 81174 4 | 0 | 2 1313.39/1313.85 c 1312s | 17 | 359358 | 241632 | 81174 4 | 0 | 2 1315.89/1316.30 c 1315s | 17 | 359803 | 241932 | 81174 4 | 0 | 2 1318.59/1319.00 c 1317s | 17 | 360370 | 242332 | 81174 4 | 0 | 2 1320.79/1321.22 c 1320s | 17 | 360813 | 242632 | 81174 4 | 0 | 2 1323.08/1323.58 c 1322s | 17 | 361255 | 242932 | 81174 4 | 0 | 2 1325.79/1326.29 c 1325s | 17 | 361648 | 243232 | 81174 4 | 0 | 2 1331.48/1331.93 c 1330s | 17 | 361883 | 243432 | 81174 4 | 0 | 2 1333.98/1334.45 c 1333s | 17 | 362566 | 243932 | 81174 4 | 0 | 2 1336.28/1336.77 c 1335s | 17 | 363067 | 244332 | 81174 4 | 0 | 2 1338.58/1339.09 c 1338s | 17 | 363590 | 244732 | 81174 4 | 0 | 2 1341.07/1341.51 c 1340s | 17 | 364075 | 245132 | 81174 4 | 0 | 2 1343.57/1344.02 c 1342s | 17 | 364613 | 245532 | 81174 4 | 0 | 2 1345.67/1346.13 c 1345s | 17 | 365012 | 245832 | 81174 4 | 0 | 2 1347.87/1348.39 c 1347s | 17 | 365606 | 246232 | 81174 4 | 0 | 2 1350.27/1350.80 c 1349s | 17 | 366221 | 246632 | 81174 4 | 0 | 2 1352.86/1353.36 c 1352s | 17 | 366818 | 247032 | 81174 4 | 0 | 2 1355.16/1355.67 c 1354s | 17 | 367418 | 247432 | 81174 4 | 0 | 2 1357.86/1358.34 c 1357s | 17 | 368025 | 247832 | 81174 4 | 0 | 2 1359.96/1360.42 c 1359s | 17 | 368422 | 248132 | 81174 4 | 0 | 2 1362.56/1363.05 c 1362s | 17 | 368941 | 248532 | 81174 4 | 0 | 2 1364.77/1365.21 c 1364s | 17 | 369355 | 248832 | 81174 4 | 0 | 2 1366.97/1367.46 c 1366s | 17 | 369769 | 249132 | 81174 4 | 0 | 2 1369.45/1369.92 c 1368s | 17 | 370138 | 249432 | 81174 4 | 0 | 2 1372.05/1372.54 c 1371s | 17 | 370686 | 249832 | 81174 4 | 0 | 2 1374.15/1374.65 c 1373s | 17 | 371050 | 250132 | 81174 4 | 0 | 2 1376.15/1376.69 c 1375s | 17 | 371457 | 250432 | 81174 4 | 0 | 2 1378.35/1378.81 c 1377s | 17 | 371867 | 250732 | 81174 4 | 0 | 2 1380.45/1380.99 c 1379s | 17 | 372306 | 251032 | 81174 4 | 0 | 2 1382.85/1383.32 c 1382s | 17 | 372736 | 251332 | 81174 4 | 0 | 2 1384.95/1385.43 c 1384s | 17 | 373149 | 251632 | 81174 4 | 0 | 2 1387.14/1387.60 c 1386s | 17 | 373569 | 251932 | 81174 4 | 0 | 2 1389.54/1390.09 c 1389s | 17 | 374094 | 252332 | 81174 4 | 0 | 2 1392.04/1392.50 c 1391s | 17 | 374500 | 252632 | 81174 4 | 0 | 2 1394.04/1394.57 c 1393s | 17 | 374869 | 252932 | 81174 4 | 0 | 2 1396.74/1397.24 c 1396s | 17 | 375375 | 253332 | 81174 4 | 0 | 2 1399.03/1399.58 c 1398s | 17 | 375755 | 253632 | 81174 4 | 0 | 2 1401.54/1402.01 c 1400s | 17 | 376171 | 253932 | 81174 4 | 0 | 2 1403.83/1404.39 c 1403s | 17 | 376571 | 254232 | 81174 4 | 0 | 2 1406.83/1407.30 c 1406s | 17 | 376961 | 254532 | 81174 4 | 0 | 2 1409.43/1410.00 c 1408s | 17 | 377522 | 254932 | 81174 4 | 0 | 2 1412.33/1412.82 c 1411s | 17 | 378078 | 255332 | 81174 4 | 0 | 2 1414.63/1415.13 c 1414s | 17 | 378483 | 255632 | 81174 4 | 0 | 2 1416.93/1417.46 c 1416s | 17 | 378881 | 255932 | 81174 4 | 0 | 2 1419.43/1419.97 c 1418s | 17 | 379279 | 256232 | 81174 4 | 0 | 2 1422.32/1422.88 c 1421s | 17 | 379705 | 256532 | 81174 4 | 0 | 2 1424.52/1425.07 c 1424s | 17 | 380090 | 256832 | 81174 4 | 0 | 2 1427.21/1427.70 c 1426s | 17 | 380489 | 257132 | 81174 4 | 0 | 2 1429.72/1430.29 c 1429s | 17 | 380864 | 257432 | 81174 4 | 0 | 2 1432.12/1432.65 c 1431s | 17 | 381307 | 257732 | 81174 4 | 0 | 2 1434.41/1434.96 c 1433s | 17 | 381684 | 258032 | 81174 4 | 0 | 2 1437.02/1437.56 c 1436s | 17 | 382069 | 258332 | 81174 4 | 0 | 2 1439.91/1440.40 c 1439s | 17 | 382435 | 258632 | 81174 4 | 0 | 2 1442.72/1443.29 c 1442s | 17 | 382815 | 258932 | 81174 4 | 0 | 2 1445.71/1446.27 c 1445s | 17 | 383208 | 259232 | 81174 4 | 0 | 2 1448.81/1449.38 c 1448s | 17 | 383604 | 259532 | 81174 4 | 0 | 2 1451.00/1451.55 c 1450s | 17 | 383891 | 259732 | 81174 4 | 0 | 2 1453.31/1453.89 c 1452s | 17 | 384435 | 260132 | 81174 4 | 0 | 2 1461.30/1461.85 c 1460s | 17 | 384586 | 260232 | 81174 5 | 0 | 2 1463.50/1464.08 c 1463s | 17 | 384830 | 260432 | 81174 5 | 0 | 2 1465.81/1466.36 c 1465s | 17 | 385240 | 260732 | 81174 5 | 0 | 2 1468.30/1468.85 c 1467s | 17 | 385662 | 261032 | 81174 5 | 0 | 2 1470.99/1471.59 c 1470s | 17 | 386340 | 261532 | 81174 5 | 0 | 2 1473.60/1474.12 c 1473s | 17 | 386881 | 261932 | 81174 5 | 0 | 2 1475.99/1476.53 c 1475s | 17 | 387449 | 262332 | 81174 5 | 0 | 2 1478.19/1478.78 c 1477s | 17 | 387841 | 262632 | 81174 5 | 0 | 2 1480.49/1481.07 c 1480s | 17 | 388238 | 262932 | 81174 5 | 0 | 2 1483.19/1483.76 c 1482s | 17 | 388770 | 263332 | 81174 5 | 0 | 2 1485.69/1486.28 c 1485s | 17 | 389159 | 263632 | 81174 5 | 0 | 2 1488.18/1488.75 c 1487s | 17 | 389542 | 263932 | 81174 5 | 0 | 2 1490.79/1491.34 c 1490s | 17 | 389909 | 264232 | 81174 5 | 0 | 2 1493.39/1493.92 c 1492s | 17 | 390476 | 264632 | 81174 5 | 0 | 2 1495.88/1496.46 c 1495s | 17 | 390877 | 264932 | 81174 5 | 0 | 2 1497.98/1498.54 c 1497s | 17 | 391156 | 265132 | 81174 5 | 0 | 2 1500.38/1500.90 c 1499s | 17 | 391559 | 265432 | 81174 5 | 0 | 2 1502.77/1503.39 c 1502s | 17 | 392180 | 265832 | 81174 5 | 0 | 2 1505.49/1506.04 c 1505s | 17 | 392606 | 266132 | 81174 5 | 0 | 2 1507.77/1508.31 c 1507s | 17 | 392994 | 266432 | 81174 5 | 0 | 2 1510.07/1510.67 c 1509s | 17 | 393434 | 266732 | 81174 5 | 0 | 2 1512.38/1512.97 c 1511s | 17 | 393823 | 267032 | 81174 5 | 0 | 2 1515.17/1515.72 c 1514s | 17 | 394215 | 267332 | 81174 5 | 0 | 2 1517.18/1517.75 c 1516s | 17 | 394463 | 267532 | 81174 5 | 0 | 2 1520.07/1520.60 c 1519s | 17 | 394837 | 267832 | 81174 5 | 0 | 2 1522.37/1522.96 c 1521s | 17 | 395218 | 268132 | 81174 5 | 0 | 2 1524.97/1525.52 c 1524s | 17 | 395633 | 268432 | 81174 5 | 0 | 2 1527.56/1528.11 c 1527s | 17 | 396037 | 268732 | 81174 5 | 0 | 2 1530.37/1530.92 c 1529s | 17 | 396489 | 269032 | 81174 5 | 0 | 2 1532.57/1533.13 c 1532s | 17 | 396733 | 269232 | 81174 5 | 0 | 2 1535.17/1535.70 c 1534s | 17 | 397110 | 269532 | 81174 5 | 0 | 2 1538.67/1539.26 c 1538s | 17 | 397251 | 269632 | 81174 5 | 0 | 2 1540.87/1541.45 c 1540s | 17 | 397636 | 269932 | 81174 5 | 0 | 2 1543.46/1544.06 c 1543s | 17 | 398177 | 270332 | 81174 5 | 0 | 2 1545.46/1546.08 c 1545s | 17 | 398672 | 270632 | 81174 5 | 0 | 2 1548.47/1549.04 c 1548s | 17 | 399218 | 271032 | 81174 5 | 0 | 2 1550.57/1551.13 c 1550s | 17 | 399616 | 271332 | 81174 5 | 0 | 2 1552.67/1553.22 c 1552s | 17 | 400006 | 271632 | 81174 5 | 0 | 2 1554.97/1555.53 c 1554s | 17 | 400433 | 271932 | 81174 5 | 0 | 2 1556.96/1557.57 c 1556s | 17 | 400819 | 272232 | 81174 5 | 0 | 2 1559.46/1560.01 c 1558s | 17 | 401223 | 272532 | 81174 5 | 0 | 2 1561.66/1562.28 c 1561s | 17 | 401679 | 272832 | 81174 5 | 0 | 2 1563.86/1564.47 c 1563s | 17 | 402068 | 273132 | 81174 5 | 0 | 2 1566.46/1567.09 c 1566s | 17 | 402487 | 273432 | 81174 5 | 0 | 2 1569.06/1569.70 c 1568s | 17 | 402875 | 273732 | 81174 5 | 0 | 2 1571.66/1572.22 c 1571s | 17 | 403303 | 274032 | 81174 5 | 0 | 2 1573.66/1574.24 c 1573s | 17 | 403557 | 274232 | 81174 5 | 0 | 2 1575.66/1576.29 c 1575s | 17 | 403819 | 274432 | 81174 5 | 0 | 2 1578.26/1578.89 c 1577s | 17 | 404222 | 274732 | 81174 5 | 0 | 2 1581.06/1581.64 c 1580s | 17 | 404672 | 275032 | 81174 5 | 0 | 2 1583.76/1584.36 c 1583s | 17 | 405083 | 275332 | 81174 5 | 0 | 2 1585.77/1586.38 c 1585s | 17 | 405351 | 275532 | 81174 5 | 0 | 2 1588.65/1589.20 c 1588s | 17 | 405759 | 275832 | 81174 5 | 0 | 2 1590.66/1591.23 c 1590s | 17 | 406002 | 276032 | 81174 5 | 0 | 2 1593.46/1594.01 c 1592s | 17 | 406414 | 276332 | 81174 5 | 0 | 2 1595.76/1596.34 c 1595s | 17 | 406826 | 276632 | 81174 5 | 0 | 2 1598.15/1598.75 c 1597s | 17 | 407206 | 276932 | 81174 5 | 0 | 2 1600.85/1601.46 c 1600s | 17 | 407648 | 277232 | 81174 5 | 0 | 2 1603.65/1604.25 c 1603s | 17 | 408047 | 277532 | 81174 5 | 0 | 2 1606.45/1607.08 c 1606s | 17 | 408552 | 277832 | 81174 5 | 0 | 2 1608.86/1609.44 c 1608s | 17 | 409052 | 278132 | 81174 5 | 0 | 2 1611.26/1611.80 c 1610s | 17 | 409488 | 278432 | 81174 5 | 0 | 2 1613.26/1613.83 c 1612s | 17 | 409740 | 278632 | 81174 5 | 0 | 2 1615.86/1616.43 c 1615s | 17 | 410249 | 278932 | 81174 5 | 0 | 2 1618.66/1619.23 c 1618s | 17 | 410668 | 279232 | 81174 5 | 0 | 2 1620.75/1621.36 c 1620s | 17 | 410966 | 279432 | 81174 5 | 0 | 2 1622.95/1623.59 c 1622s | 17 | 411404 | 279732 | 81174 5 | 0 | 2 1625.45/1626.05 c 1625s | 17 | 411841 | 280032 | 81174 5 | 0 | 2 1627.95/1628.51 c 1627s | 17 | 412234 | 280332 | 81174 5 | 0 | 2 1630.15/1630.70 c 1629s | 17 | 412666 | 280632 | 81174 5 | 0 | 2 1632.55/1633.13 c 1632s | 17 | 413179 | 280932 | 81174 5 | 0 | 2 1634.95/1635.54 c 1634s | 17 | 413579 | 281232 | 81174 5 | 0 | 2 1637.65/1638.26 c 1637s | 17 | 413957 | 281532 | 81174 5 | 0 | 2 1640.05/1640.68 c 1639s | 17 | 414436 | 281832 | 81174 5 | 0 | 2 1642.86/1643.40 c 1642s | 17 | 414823 | 282132 | 81174 5 | 0 | 2 1645.45/1646.06 c 1645s | 17 | 415272 | 282432 | 81174 5 | 0 | 2 1647.95/1648.57 c 1647s | 17 | 415733 | 282732 | 81174 5 | 0 | 2 1650.56/1651.13 c 1650s | 17 | 416143 | 283032 | 81174 5 | 0 | 2 1653.25/1653.84 c 1652s | 17 | 416612 | 283332 | 81174 5 | 0 | 2 1655.75/1656.33 c 1655s | 17 | 417058 | 283632 | 81174 5 | 0 | 2 1657.84/1658.45 c 1657s | 17 | 417450 | 283932 | 81174 5 | 0 | 2 1660.15/1660.73 c 1659s | 17 | 417864 | 284232 | 81174 5 | 0 | 2 1662.25/1662.85 c 1661s | 17 | 418307 | 284532 | 81174 5 | 0 | 2 1664.64/1665.28 c 1664s | 17 | 418728 | 284832 | 81174 5 | 0 | 2 1667.15/1667.72 c 1666s | 17 | 419201 | 285132 | 81174 5 | 0 | 2 1669.45/1670.06 c 1669s | 17 | 419660 | 285432 | 81174 5 | 0 | 2 1672.25/1672.84 c 1671s | 17 | 420052 | 285732 | 81174 5 | 0 | 2 1675.04/1675.69 c 1674s | 17 | 420523 | 286032 | 81174 5 | 0 | 2 1677.24/1677.81 c 1676s | 17 | 420823 | 286232 | 81174 5 | 0 | 2 1679.44/1680.04 c 1679s | 17 | 421149 | 286432 | 81174 5 | 0 | 2 1682.25/1682.83 c 1681s | 17 | 421567 | 286732 | 81174 5 | 0 | 2 1684.84/1685.47 c 1684s | 17 | 422043 | 287032 | 81174 5 | 0 | 2 1687.04/1687.69 c 1686s | 17 | 422485 | 287332 | 81174 5 | 0 | 2 1690.05/1690.68 c 1689s | 17 | 422858 | 287632 | 81174 5 | 0 | 2 1692.84/1693.46 c 1692s | 17 | 423271 | 287932 | 81174 5 | 0 | 2 1694.84/1695.49 c 1694s | 17 | 423559 | 288132 | 81174 5 | 0 | 2 1698.34/1698.93 c 1697s | 17 | 423850 | 288332 | 81174 5 | 0 | 2 1700.64/1701.25 c 1700s | 17 | 424587 | 288832 | 81174 5 | 0 | 2 1702.94/1703.51 c 1702s | 17 | 425386 | 289332 | 81174 5 | 0 | 2 1705.04/1705.64 c 1704s | 17 | 425938 | 289732 | 81174 5 | 0 | 2 1707.23/1707.85 c 1706s | 17 | 426508 | 290132 | 81174 5 | 0 | 2 1709.74/1710.37 c 1709s | 17 | 427241 | 290632 | 81174 5 | 0 | 2 1712.04/1712.61 c 1711s | 17 | 427866 | 291032 | 81174 5 | 0 | 2 1714.35/1714.96 c 1713s | 17 | 428511 | 291432 | 81174 5 | 0 | 2 1716.44/1717.08 c 1716s | 17 | 428946 | 291732 | 81174 5 | 0 | 2 1719.13/1719.72 c 1718s | 17 | 429503 | 292132 | 81174 5 | 0 | 2 1721.13/1721.78 c 1720s | 17 | 429875 | 292432 | 81174 5 | 0 | 2 1723.74/1724.33 c 1723s | 17 | 430420 | 292832 | 81174 5 | 0 | 2 1725.73/1726.34 c 1725s | 17 | 430823 | 293132 | 81174 5 | 0 | 2 1728.23/1728.81 c 1727s | 17 | 431440 | 293532 | 81174 5 | 0 | 2 1730.84/1731.47 c 1730s | 17 | 431920 | 293932 | 89292 5 | 0 | 2 1733.23/1733.82 c 1732s | 17 | 432369 | 294232 | 89292 5 | 0 | 2 1735.44/1736.00 c 1734s | 17 | 432743 | 294532 | 89292 5 | 0 | 2 1738.03/1738.60 c 1737s | 17 | 433347 | 294932 | 89292 5 | 0 | 2 1740.04/1740.63 c 1739s | 17 | 433774 | 295232 | 89292 5 | 0 | 2 1742.03/1742.65 c 1741s | 17 | 434211 | 295532 | 89292 5 | 0 | 2 1744.53/1745.15 c 1744s | 17 | 434818 | 295932 | 89292 5 | 0 | 2 1746.63/1747.24 c 1746s | 17 | 435220 | 296232 | 89292 5 | 0 | 2 1746.73/1747.34 c 1746s | 18 | 435261 | 296252 | 89292 5 | 0 | 2 1750.33/1750.90 c 1749s | 18 | 435811 | 296352 | 89292 5 | 0 | 2 1752.33/1752.95 c 1751s | 18 | 436321 | 296652 | 89292 5 | 0 | 2 1754.73/1755.36 c 1754s | 18 | 436809 | 296952 | 89292 5 | 0 | 2 1757.63/1758.26 c 1757s | 18 | 437220 | 297252 | 89292 5 | 0 | 2 1760.23/1760.89 c 1759s | 18 | 437682 | 297552 | 89292 5 | 0 | 2 1762.33/1762.91 c 1761s | 18 | 437995 | 297752 | 89292 5 | 0 | 2 1764.43/1765.01 c 1763s | 18 | 438264 | 297952 | 89292 5 | 0 | 2 1767.43/1768.08 c 1767s | 18 | 438744 | 298252 | 89292 5 | 0 | 2 1769.93/1770.56 c 1769s | 18 | 439176 | 298552 | 89292 5 | 0 | 2 1773.03/1773.60 c 1772s | 18 | 439612 | 298852 | 89292 5 | 0 | 2 1775.72/1776.35 c 1775s | 18 | 440133 | 299152 | 89292 5 | 0 | 2 1778.63/1779.27 c 1778s | 18 | 440512 | 299452 | 89292 5 | 0 | 2 1780.73/1781.32 c 1780s | 18 | 440774 | 299652 | 89292 5 | 0 | 2 1783.03/1783.68 c 1782s | 18 | 441244 | 299952 | 89292 5 | 0 | 2 1785.43/1786.01 c 1784s | 18 | 441773 | 300352 | 89292 5 | 0 | 2 1788.03/1788.63 c 1787s | 18 | 442351 | 300752 | 89292 5 | 0 | 2 1790.12/1790.70 c 1789s | 18 | 442895 | 301152 | 89292 5 | 0 | 2 1792.13/1792.79 c 1791s | 18 | 443288 | 301452 | 89292 5 | 0 | 2 1794.83/1795.41 c 1794s | 18 | 443942 | 301852 | 89292 5 | 0 | 2 1797.13/1797.76 c 1796s | 18 | 444418 | 302152 | 89292 5 | 0 | 2 1799.33/1799.90 c 1798s | 18 | 444859 | 302452 | 89292 5 | 0 | 2
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-4080137-1465255895/watcher-4080137-1465255895 -o /tmp/evaluation-result-4080137-1465255895/solver-4080137-1465255895 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5583 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080137-1465255895.opb pid=5611 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.01 1.26 1.62 4/178 5614 /proc/meminfo: memFree=31686256/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=804420 CPUtime=0 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 3015 0 0 0 0 0 0 0 20 0 4 0 107524302 823726080 2866 33554432000 4194304 16246674 140736706591088 140736706590512 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 201617 2876 442 2943 0 198511 0 [pid=5614/tid=5615] ppid=5611 vsize=821828 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 841551872 2936 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=826948 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 846794752 2954 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=831044 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107524302 850989056 2970 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100178 s] /proc/loadavg: 1.01 1.26 1.62 4/178 5614 /proc/meminfo: memFree=31686256/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 25208 0 0 0 5 4 0 0 20 0 4 0 107524302 1249447936 24996 33554432000 4194304 16246674 140736706591088 140736706590400 6190374 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 305041 25004 835 2943 0 301935 0 [pid=5614/tid=5615] ppid=5611 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1249447936 25010 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1249447936 25017 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107524302 1249447936 25023 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200592 s] /proc/loadavg: 1.01 1.26 1.62 4/178 5614 /proc/meminfo: memFree=31686256/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=1284676 CPUtime=0.18 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 43560 0 0 0 12 6 0 0 20 0 4 0 107524302 1315508224 43349 33554432000 4194304 16246674 140736706591088 140736706590400 13008268 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 321169 43359 836 2943 0 318063 0 [pid=5614/tid=5615] ppid=5611 vsize=1284676 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1315508224 43365 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=1284676 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1315508224 43372 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=1284676 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107524302 1315508224 43378 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1284676 [startup+0.300456 s] /proc/loadavg: 1.01 1.26 1.62 4/178 5614 /proc/meminfo: memFree=31686256/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=1291844 CPUtime=0.29 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 54125 0 0 0 21 8 0 0 20 0 4 0 107524302 1322848256 53914 33554432000 4194304 16246674 140736706591088 140736706590400 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 322961 53919 836 2943 0 319855 0 [pid=5614/tid=5615] ppid=5611 vsize=1291844 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1322848256 53924 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=1291844 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1322848256 53928 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=1291844 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107524302 1322848256 53932 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1291844 [startup+0.700509 s] /proc/loadavg: 1.01 1.26 1.62 4/178 5614 /proc/meminfo: memFree=31686256/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=1307204 CPUtime=0.68 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 58246 0 0 0 60 8 0 0 20 0 4 0 107524302 1338576896 58034 33554432000 4194304 16246674 140736706591088 140736706574088 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 326801 58034 899 2943 0 323695 0 [pid=5614/tid=5615] ppid=5611 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1338576896 58034 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1338576896 58034 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107524302 1338576896 58034 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1307204 [startup+1.50044 s] /proc/loadavg: 1.01 1.26 1.62 4/183 5619 /proc/meminfo: memFree=30800212/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=1307204 CPUtime=1.49 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 158284 0 0 0 129 20 0 0 20 0 4 0 107524302 1338576896 158072 33554432000 4194304 16246674 140736706591088 140736706574088 5531428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 326801 158072 911 2943 0 323695 0 [pid=5614/tid=5615] ppid=5611 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1338576896 158072 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1338576896 158072 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107524302 1338576896 158072 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1307204 [startup+3.10046 s] /proc/loadavg: 1.09 1.27 1.63 4/183 5619 /proc/meminfo: memFree=30612848/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=1308228 CPUtime=3.09 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 158540 0 0 0 289 20 0 0 20 0 4 0 107524302 1339625472 158328 33554432000 4194304 16246674 140736706591088 140736706574088 12483512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 327057 158328 911 2943 0 323951 0 [pid=5614/tid=5615] ppid=5611 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 158328 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 158328 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 158328 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1308228 [startup+6.30044 s] /proc/loadavg: 1.09 1.27 1.63 4/183 5619 /proc/meminfo: memFree=30611040/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=1308228 CPUtime=6.29 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 158543 0 0 0 609 20 0 0 20 0 4 0 107524302 1339625472 158331 33554432000 4194304 16246674 140736706591088 140736706572992 5829313 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 327057 158331 914 2943 0 323951 0 [pid=5614/tid=5615] ppid=5611 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 158331 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 158331 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 158331 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 1.23 1.29 1.63 4/183 5619 /proc/meminfo: memFree=29990652/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=1308228 CPUtime=12.69 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 158543 0 0 0 1248 21 0 0 20 0 4 0 107524302 1339625472 158331 33554432000 4194304 16246674 140736706591088 140736706572992 13192974 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 327057 158331 914 2943 0 323951 0 [pid=5614/tid=5615] ppid=5611 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 158331 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 158331 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 158331 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5006 s] /proc/loadavg: 1.34 1.32 1.63 5/183 5619 /proc/meminfo: memFree=29991844/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=1308228 CPUtime=25.49 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 158543 0 0 0 2525 24 0 0 20 0 4 0 107524302 1339625472 158331 33554432000 4194304 16246674 140736706591088 140736706590264 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 327057 158331 914 2943 0 323951 0 [pid=5614/tid=5615] ppid=5611 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 158331 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 158331 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 158331 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1308228 [startup+51.1006 s] /proc/loadavg: 1.57 1.37 1.64 4/183 5619 /proc/meminfo: memFree=29991976/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=1308228 CPUtime=51.09 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 158543 0 0 0 5078 31 0 0 20 0 4 0 107524302 1339625472 158331 33554432000 4194304 16246674 140736706591088 140736706572992 13854894 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 327057 158331 914 2943 0 323951 0 [pid=5614/tid=5615] ppid=5611 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 158331 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 158331 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 158331 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1308228 [startup+102.301 s] /proc/loadavg: 1.94 1.50 1.67 4/183 5620 /proc/meminfo: memFree=29991596/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=1308228 CPUtime=102.28 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 158543 0 0 0 10182 46 0 0 20 0 4 0 107524302 1339625472 158331 33554432000 4194304 16246674 140736706591088 140736706590184 5553608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 327057 158331 914 2943 0 323951 0 [pid=5614/tid=5615] ppid=5611 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 158331 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 158331 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107524302 1339625472 158331 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1308228 ################ # More data... # ################ /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107524302 1373179904 276512 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 1340996 [startup+1302.3 s] /proc/loadavg: 2.09 2.08 1.95 5/183 5650 /proc/meminfo: memFree=29507756/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=1340996 CPUtime=1301.9 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 276778 0 0 0 129724 466 0 0 20 0 4 0 107524302 1373179904 276512 33554432000 4194304 16246674 140736706591088 140736706590264 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 335249 276512 919 2943 0 332143 0 [pid=5614/tid=5615] ppid=5611 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1373179904 276512 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1373179904 276512 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107524302 1373179904 276512 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1340996 [startup+1362.3 s] /proc/loadavg: 2.15 2.10 1.96 4/183 5651 /proc/meminfo: memFree=29507404/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=1340996 CPUtime=1361.86 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 276820 0 0 0 135684 502 0 0 20 0 4 0 107524302 1373179904 276512 33554432000 4194304 16246674 140736706591088 140736706590264 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 335249 276512 919 2943 0 332143 0 [pid=5614/tid=5615] ppid=5611 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1373179904 276512 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1373179904 276512 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107524302 1373179904 276512 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1340996 [startup+1422.3 s] /proc/loadavg: 2.15 2.11 1.97 4/183 5653 /proc/meminfo: memFree=29507300/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=1340996 CPUtime=1421.83 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 276864 0 0 0 141657 526 0 0 20 0 4 0 107524302 1373179904 276512 33554432000 4194304 16246674 140736706591088 140736706590264 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 335249 276512 919 2943 0 332143 0 [pid=5614/tid=5615] ppid=5611 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1373179904 276512 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1373179904 276512 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107524302 1373179904 276512 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1340996 [startup+1482.3 s] /proc/loadavg: 2.17 2.12 1.98 5/183 5654 /proc/meminfo: memFree=29457708/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=1390148 CPUtime=1481.79 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 289189 0 0 0 147610 569 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140736706590264 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 347537 288800 919 2943 0 344431 0 [pid=5614/tid=5615] ppid=5611 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 1390148 [startup+1542.31 s] /proc/loadavg: 2.13 2.12 1.99 4/183 5655 /proc/meminfo: memFree=29455064/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=1390148 CPUtime=1541.77 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 289216 0 0 0 153568 609 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140736706590184 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 347537 288800 919 2943 0 344431 0 [pid=5614/tid=5615] ppid=5611 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 1390148 [startup+1602.3 s] /proc/loadavg: 2.17 2.13 2.00 4/183 5656 /proc/meminfo: memFree=29455260/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=1390148 CPUtime=1601.75 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 289216 0 0 0 159549 626 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140736706590264 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 347537 288800 919 2943 0 344431 0 [pid=5614/tid=5615] ppid=5611 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 1390148 [startup+1662.3 s] /proc/loadavg: 2.06 2.10 2.00 4/183 5657 /proc/meminfo: memFree=29454888/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=1390148 CPUtime=1661.75 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 289216 0 0 0 165522 653 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140736706590264 13907875 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 347537 288800 919 2943 0 344431 0 [pid=5614/tid=5615] ppid=5611 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 1390148 [startup+1722.3 s] /proc/loadavg: 2.02 2.08 2.00 4/184 5662 /proc/meminfo: memFree=29454636/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=1390148 CPUtime=1721.73 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 289216 0 0 0 171510 663 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140736706572992 5546248 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 347537 288800 919 2943 0 344431 0 [pid=5614/tid=5615] ppid=5611 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 1390148 [startup+1782.3 s] /proc/loadavg: 2.14 2.11 2.01 4/185 5686 /proc/meminfo: memFree=29452412/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=1390148 CPUtime=1781.73 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 289216 0 0 0 177495 678 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140736706572992 5545796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 347537 288800 919 2943 0 344431 0 [pid=5614/tid=5615] ppid=5611 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 1390148 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.10 2.10 2.01 4/185 5686 /proc/meminfo: memFree=29453056/32872528 swapFree=12744/274376 [pid=5614] ppid=5611 vsize=1390148 CPUtime=1800.03 cores=1,3,5,7 /proc/5614/stat : 5614 (toysat) R 5611 5614 5566 0 -1 4202496 289216 0 0 0 179323 680 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140736706572992 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5614/statm: 347537 288800 919 2943 0 344431 0 [pid=5614/tid=5615] ppid=5611 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5615/stat : 5615 (toysat) S 5611 5614 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140470918294768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5614/tid=5616] ppid=5611 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5616/stat : 5616 (toysat) S 5611 5614 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140470907804912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5614/tid=5617] ppid=5611 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5614/task/5617/stat : 5617 (toysat) S 5611 5614 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 107524302 1423511552 288800 33554432000 4194304 16246674 140736706591088 140470897331376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1390148 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 5614 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.04 CPU user time (s): 1793.23 CPU system time (s): 6.80496 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (KiB): 1390148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.23 system time used= 6.80497 maximum resident set size= 1155200 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 289216 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= 476 involuntary context switches= 1902 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.3394 second user time and 14.4598 second system time The end
Begin job on node107 at 2016-06-07 01:31:36 IDJOB=4080137 IDBENCH=48113 IDSOLVER=2542 FILE ID=node107/4080137-1465255895 RUNJOBID= node107-1465255895-5583 PBS_JOBID= 19843278 Free space on /tmp= 71736 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_3.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080137-1465255895/watcher-4080137-1465255895 -o /tmp/evaluation-result-4080137-1465255895/solver-4080137-1465255895 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5583 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080137-1465255895.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0f5da0a781de7969842ad5c8dd7a6f1b RANDOM SEED=1058651183 node107.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.441 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.88 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.441 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.441 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.54 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.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 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.441 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.56 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.441 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: 31696296 kB Buffers: 46856 kB Cached: 149300 kB SwapCached: 1684 kB Active: 113616 kB Inactive: 85016 kB Active(anon): 4584 kB Inactive(anon): 388 kB Active(file): 109032 kB Inactive(file): 84628 kB Unevictable: 274376 kB Mlocked: 12744 kB SwapTotal: 67108856 kB SwapFree: 67098436 kB Dirty: 32732 kB Writeback: 0 kB AnonPages: 276704 kB Mapped: 6888 kB Shmem: 0 kB Slab: 569968 kB SReclaimable: 13280 kB SUnreclaim: 556688 kB KernelStack: 1376 kB PageTables: 4304 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 372948 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 262144 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= 71716 MiB End job on node107 at 2016-06-07 02:01:36