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.08 | 1800.53 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_2.opb |
| MD5SUM | 4286ef8a2349cd557f37fdb755cd5234 |
| 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 | 80 |
| Best CPU time to get the best result obtained on this benchmark | 1800.09 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 75 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| 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 | 1000 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 51 |
| Number of terms in the objective function | 1000 |
| 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 | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31544 |
| Sum of products size (including duplicates) | 63088 |
| Number of different products | 31544 |
| Sum of products size | 63088 |
0.00/0.00 c 2016-06-18T20:15:44+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-4106574-1466273743.opb"] 0.00/0.01 c use --random-gen="2512304077 2565006241 696932629 1058532931 1391264588 940553054 1731155791 3780265218 97473896 458384573 2130969884 75681799 3185981564 1186515947 1850723554 2342112893 126366430 1820626067 2285740160 1601793597 1682159622 3596069709 1034723521 3337827059 2855041365 4263397773 3717051543 4169272779 3776178945 1192425348 1466039926 2860052694 145660400 1637248736 1924204483 114805815 818995225 877895349 709689931 3343183622 2662620347 999171584 2164487609 619315322 144801092 2793864400 1815298110 1571361200 3198732237 2914712287 2241279438 3554051721 3529114056 926924096 1626033668 1362948378 495201904 382491481 2480487148 2048131625 4221303390 1874910724 947547501 696084822 3884618526 4052681442 66605167 963928212 1731514628 1316295219 4090645983 3339164673 2887540270 1917954163 3461489911 316748867 652364621 843920940 929057574 2138307749 1966036108 3653436432 1734455773 1979301585 3051895841 3806705800 1785207814 2039445373 3231776049 3555239345 2758637712 781324517 1888119722 2217007065 3202416178 1458267506 126710584 3543201809 363366593 1621846268 3092474352 3297124794 1092139188 2158386369 1344534165 351581546 1753571367 2786215792 1271225109 2737530171 1055773909 1369886751 1059901808 1912939968 413579076 3373177885 1480470667 3945138934 185678450 577215647 3473538877 456704629 918682810 3981349506 3852518472 1714877148 1910914400 4191333065 693661773 3298303403 1691498404 3897054704 167006647 3829348882 4156094356 392845606 3579106433 3853942305 1892663576 1570950549 1889381280 280364040 2881611596 694939744 3247312287 931174447 1983922087 2511158267 3584457006 3937386036 2737455833 880916814 3147894642 145145839 3927907219 3867234330 3244772263 718145865 3242133749 4279781335 2447283234 4106186838 2817779959 3053158609 3162318067 3489725855 1214245711 343489331 1155668164 1564170708 1805364289 3563835577 1851094565 2501497616 1970770107 3139835203 974797506 3673370860 563481127 2340967604 3783187682 3346608821 982275966 2090594731 1691854430 3066107455 1335701483 1431415984 1360120412 3170236848 3599192504 499259011 2245225310 3721401173 2909176059 1490022594 1433031302 2197693869 3733016229 2683262712 1337108960 1261929961 2886955276 2226270186 3697903975 572198452 2653568890 872168615 4001008401 517930973 2147374019 1472568783 1129202151 1587081529 4037784143 816907433 835235836 1704065569 4114041086 119129512 3841605167 2684849016 3316722409 2916070000 2612240493 3927210238 1143609558 2048800076 4276556327 19088358 3424741346 1275722682 1067492462 2722331538 3373422342 1780734722 2751827053 2174095657 727981857 1006553475 770098712 2892306668 3404261750 2548217359 2468184802 143041660 3127528764 727218208 3723607905 1096281814 539091817 72513704 114534238 3207290274 753700461 1255114348 255 362436" option to reproduce the execution 0.09/0.11 c #vars 1000 0.09/0.11 c #constraints 1000 0.69/0.73 c BCD2: Hardening is enabled. 0.69/0.73 c BCD2: BiasedSearch is enabled. 0.69/0.73 c Solving starts ... 0.69/0.73 c ============================[ Search Statistics ]============================ 0.69/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.73 c | | | | Limit GC | Var | Constra 0.69/0.73 c ============================================================================= 0.69/0.78 c 0.0s | 0 | 0 | 0 | 32210 0 | 0 | 0 0.79/0.86 c 0.1s | 0 | 3392 | 0 | 32210 0 | 0 | 0 0.79/0.86 c #cpu_time = 0.059s 0.79/0.86 c #wall_clock_time = 0.059s 0.79/0.86 c #decision = 3392 0.79/0.86 c #random_decision = 6 0.79/0.86 c #conflict = 0 0.79/0.86 c #restart = 0 0.79/0.86 o 872 0.79/0.86 c BCD2: updating upper bound: 1000 -> 871 0.79/0.86 c BCD2: 0 <= obj <= 871 0.79/0.86 c BCD2: #cores=0, #unrelaxed=1000, #relaxed=0, #hardened=0 0.79/0.86 c BCD2: #sat=1 #unsat=1 bias=1/2 0.79/0.86 c Solving starts ... 0.79/0.86 c ============================[ Search Statistics ]============================ 0.79/0.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.86 c | | | | Limit GC | Var | Constra 0.79/0.86 c ============================================================================= 0.79/0.86 c 0.0s | 0 | 0 | 0 | 32210 0 | 0 | 0 0.88/0.94 c 0.1s | 0 | 808 | 0 | 32210 0 | 0 | 0 0.88/0.94 c #cpu_time = 0.069s 0.88/0.94 c #wall_clock_time = 0.069s 0.88/0.94 c #decision = 808 0.88/0.94 c #random_decision = 0 0.88/0.94 c #conflict = 0 0.88/0.94 c #restart = 0 0.88/0.94 c BCD2: found a new core of size 27: cost of the new core is >=1 0.88/0.94 c lower bound updated to 1 0.88/0.94 c BCD2: 1 <= obj <= 871 0.88/0.94 c BCD2: #cores=1, #unrelaxed=973, #relaxed=27, #hardened=0 0.88/0.94 c BCD2: #sat=1 #unsat=2 bias=2/3 0.88/0.94 c Solving starts ... 0.88/0.94 c ============================[ Search Statistics ]============================ 0.88/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.88/0.94 c | | | | Limit GC | Var | Constra 0.88/0.94 c ============================================================================= 0.99/1.01 c 0.0s | 0 | 0 | 0 | 32210 0 | 0 | 0 0.99/1.08 c 0.1s | 0 | 787 | 0 | 32210 0 | 0 | 0 0.99/1.08 c #cpu_time = 0.055s 0.99/1.08 c #wall_clock_time = 0.055s 0.99/1.08 c #decision = 787 0.99/1.08 c #random_decision = 0 0.99/1.08 c #conflict = 0 0.99/1.08 c #restart = 0 0.99/1.08 c BCD2: found a new core of size 26: cost of the new core is >=1 0.99/1.08 c lower bound updated to 2 0.99/1.08 c BCD2: 2 <= obj <= 871 0.99/1.08 c BCD2: #cores=2, #unrelaxed=947, #relaxed=53, #hardened=0 0.99/1.08 c BCD2: #sat=1 #unsat=3 bias=3/4 0.99/1.08 c Solving starts ... 0.99/1.08 c ============================[ Search Statistics ]============================ 0.99/1.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.08 c | | | | Limit GC | Var | Constra 0.99/1.08 c ============================================================================= 0.99/1.08 c 0.0s | 0 | 0 | 0 | 32210 0 | 0 | 0 1.10/1.15 c 0.1s | 0 | 841 | 0 | 32210 0 | 0 | 0 1.10/1.15 c #cpu_time = 0.058s 1.10/1.15 c #wall_clock_time = 0.058s 1.10/1.15 c #decision = 841 1.10/1.15 c #random_decision = 0 1.10/1.15 c #conflict = 0 1.10/1.15 c #restart = 0 1.10/1.15 c BCD2: found a new core of size 28: cost of the new core is >=1 1.10/1.15 c lower bound updated to 3 1.10/1.15 c BCD2: 3 <= obj <= 871 1.10/1.15 c BCD2: #cores=3, #unrelaxed=919, #relaxed=81, #hardened=0 1.10/1.15 c BCD2: #sat=1 #unsat=4 bias=4/5 1.10/1.15 c Solving starts ... 1.10/1.15 c ============================[ Search Statistics ]============================ 1.10/1.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.15 c | | | | Limit GC | Var | Constra 1.10/1.15 c ============================================================================= 1.10/1.16 c 0.0s | 0 | 0 | 0 | 32210 0 | 0 | 0 1.20/1.23 c 0.1s | 0 | 834 | 0 | 32210 0 | 0 | 0 1.20/1.23 c #cpu_time = 0.058s 1.20/1.23 c #wall_clock_time = 0.058s 1.20/1.23 c #decision = 834 1.20/1.23 c #random_decision = 0 1.20/1.23 c #conflict = 0 1.20/1.23 c #restart = 0 1.20/1.23 c BCD2: found a new core of size 28: cost of the new core is >=1 1.20/1.23 c lower bound updated to 4 1.20/1.23 c BCD2: 4 <= obj <= 871 1.20/1.23 c BCD2: #cores=4, #unrelaxed=891, #relaxed=109, #hardened=0 1.20/1.23 c BCD2: #sat=1 #unsat=5 bias=5/6 1.20/1.23 c Solving starts ... 1.20/1.23 c ============================[ Search Statistics ]============================ 1.20/1.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.20/1.23 c | | | | Limit GC | Var | Constra 1.20/1.23 c ============================================================================= 1.20/1.23 c 0.0s | 0 | 0 | 0 | 32210 0 | 0 | 0 1.29/1.30 c 0.1s | 0 | 830 | 0 | 32210 0 | 0 | 0 1.29/1.30 c #cpu_time = 0.058s 1.29/1.30 c #wall_clock_time = 0.059s 1.29/1.30 c #decision = 830 1.29/1.30 c #random_decision = 0 1.29/1.30 c #conflict = 0 1.29/1.30 c #restart = 0 1.29/1.30 c BCD2: found a new core of size 26: cost of the new core is >=1 1.29/1.30 c lower bound updated to 5 1.29/1.30 c BCD2: 5 <= obj <= 871 1.29/1.30 c BCD2: #cores=5, #unrelaxed=865, #relaxed=135, #hardened=0 1.29/1.30 c BCD2: #sat=1 #unsat=6 bias=6/7 1.29/1.30 c Solving starts ... 1.29/1.30 c ============================[ Search Statistics ]============================ 1.29/1.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.30 c | | | | Limit GC | Var | Constra 1.29/1.30 c ============================================================================= 1.29/1.32 c 0.0s | 0 | 0 | 0 | 32210 0 | 0 | 0 1.29/1.38 c 0.1s | 0 | 815 | 0 | 32210 0 | 0 | 0 1.29/1.38 c #cpu_time = 0.057s 1.29/1.38 c #wall_clock_time = 0.057s 1.29/1.38 c #decision = 815 1.29/1.38 c #random_decision = 0 1.29/1.38 c #conflict = 0 1.29/1.38 c #restart = 0 1.29/1.38 c BCD2: found a new core of size 37: cost of the new core is >=1 1.29/1.38 c lower bound updated to 6 1.29/1.38 c BCD2: 6 <= obj <= 871 1.29/1.38 c BCD2: #cores=6, #unrelaxed=828, #relaxed=172, #hardened=0 1.29/1.38 c BCD2: #sat=1 #unsat=7 bias=7/8 1.29/1.38 c Solving starts ... 1.29/1.38 c ============================[ Search Statistics ]============================ 1.29/1.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.38 c | | | | Limit GC | Var | Constra 1.29/1.38 c ============================================================================= 1.29/1.38 c 0.0s | 0 | 0 | 0 | 32210 0 | 0 | 0 1.39/1.45 c 0.1s | 0 | 799 | 0 | 32210 0 | 0 | 0 1.39/1.45 c #cpu_time = 0.057s 1.39/1.45 c #wall_clock_time = 0.057s 1.39/1.45 c #decision = 799 1.39/1.45 c #random_decision = 0 1.39/1.45 c #conflict = 0 1.39/1.45 c #restart = 0 1.39/1.45 c BCD2: found a new core of size 27: cost of the new core is >=1 1.39/1.45 c lower bound updated to 7 1.39/1.45 c BCD2: 7 <= obj <= 871 1.39/1.45 c BCD2: #cores=7, #unrelaxed=801, #relaxed=199, #hardened=0 1.39/1.45 c BCD2: #sat=1 #unsat=8 bias=8/9 1.39/1.45 c Solving starts ... 1.39/1.45 c ============================[ Search Statistics ]============================ 1.39/1.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.45 c | | | | Limit GC | Var | Constra 1.39/1.45 c ============================================================================= 1.39/1.46 c 0.0s | 0 | 0 | 0 | 32210 0 | 0 | 0 1.49/1.53 c 0.1s | 0 | 800 | 0 | 32210 0 | 0 | 0 1.49/1.53 c #cpu_time = 0.057s 1.49/1.53 c #wall_clock_time = 0.058s 1.49/1.53 c #decision = 800 1.49/1.53 c #random_decision = 0 1.49/1.53 c #conflict = 0 1.49/1.53 c #restart = 0 1.49/1.53 c BCD2: found a new core of size 33: cost of the new core is >=1 1.49/1.53 c lower bound updated to 8 1.49/1.53 c BCD2: 8 <= obj <= 871 1.49/1.53 c BCD2: #cores=8, #unrelaxed=768, #relaxed=232, #hardened=0 1.49/1.53 c BCD2: #sat=1 #unsat=9 bias=9/10 1.49/1.53 c Solving starts ... 1.49/1.53 c ============================[ Search Statistics ]============================ 1.49/1.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.53 c | | | | Limit GC | Var | Constra 1.49/1.53 c ============================================================================= 1.49/1.53 c 0.0s | 0 | 0 | 0 | 32210 0 | 0 | 0 1.59/1.64 c 0.1s | 0 | 4998 | 0 | 32210 0 | 0 | 0 1.59/1.64 c #cpu_time = 0.076s 1.59/1.64 c #wall_clock_time = 0.077s 1.59/1.64 c #decision = 4998 1.59/1.64 c #random_decision = 4 1.59/1.64 c #conflict = 0 1.59/1.64 c #restart = 0 1.59/1.64 o 133 1.59/1.64 c BCD2: updating upper bound: 871 -> 132 1.59/1.64 c BCD2: 8 <= obj <= 132 1.59/1.64 c BCD2: #cores=8, #unrelaxed=768, #relaxed=232, #hardened=0 1.59/1.64 c BCD2: #sat=2 #unsat=9 bias=9/11 1.59/1.64 c Solving starts ... 1.59/1.64 c ============================[ Search Statistics ]============================ 1.59/1.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.64 c | | | | Limit GC | Var | Constra 1.59/1.64 c ============================================================================= 1.59/1.66 c 0.0s | 0 | 0 | 0 | 32210 0 | 0 | 1 1.79/1.80 c 0.1s | 0 | 4000 | 41 | 32210 0 | 0 | 1 1.79/1.80 c #cpu_time = 0.115s 1.79/1.80 c #wall_clock_time = 0.116s 1.79/1.80 c #decision = 4000 1.79/1.80 c #random_decision = 16 1.79/1.80 c #conflict = 41 1.79/1.80 c #restart = 0 1.79/1.80 o 106 1.79/1.80 c BCD2: updating upper bound: 132 -> 105 1.79/1.81 c BCD2: 8 <= obj <= 105 1.79/1.81 c BCD2: #cores=8, #unrelaxed=768, #relaxed=232, #hardened=0 1.79/1.81 c BCD2: #sat=3 #unsat=9 bias=9/12 1.79/1.81 c Solving starts ... 1.79/1.81 c ============================[ Search Statistics ]============================ 1.79/1.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.81 c | | | | Limit GC | Var | Constra 1.79/1.81 c ============================================================================= 1.79/1.81 c 0.0s | 0 | 0 | 0 | 32210 0 | 0 | 2 1.99/2.04 c 0.2s | 1 | 966 | 100 | 35431 0 | 0 | 2 2.39/2.42 c 0.6s | 2 | 2019 | 250 | 38975 0 | 0 | 2 2.79/2.82 c 1.0s | 3 | 3477 | 475 | 42873 0 | 0 | 2 3.39/3.44 c 1.6s | 4 | 5066 | 813 | 47161 0 | 0 | 2 4.69/4.75 c 2.9s | 5 | 6675 | 1320 | 51878 0 | 0 | 2 6.29/6.36 c 4.5s | 6 | 9027 | 2081 | 57066 0 | 0 | 2 8.39/8.41 c 6.6s | 6 | 11532 | 3081 | 57066 0 | 0 | 2 8.69/8.74 c 6.9s | 7 | 11724 | 3223 | 62773 0 | 0 | 2 10.99/11.04 c 9.2s | 7 | 13743 | 4023 | 62773 0 | 0 | 2 12.98/13.06 c 11.2s | 7 | 14609 | 4623 | 62773 0 | 0 | 2 14.08/14.15 c 12.3s | 8 | 15114 | 4936 | 69051 0 | 0 | 2 16.08/16.19 c 14.4s | 8 | 17536 | 5736 | 69051 0 | 0 | 2 18.18/18.21 c 16.4s | 8 | 18581 | 6436 | 69051 0 | 0 | 2 20.28/20.32 c 18.5s | 8 | 19520 | 7036 | 69051 0 | 0 | 2 21.59/21.66 c 19.9s | 9 | 20254 | 7506 | 75957 0 | 0 | 2 23.78/23.89 c 22.1s | 9 | 22518 | 8406 | 75957 0 | 0 | 2 25.88/25.96 c 24.1s | 9 | 23773 | 9206 | 75957 0 | 0 | 2 27.98/28.06 c 26.2s | 9 | 24689 | 9906 | 75957 0 | 0 | 2 30.18/30.22 c 28.4s | 9 | 25809 | 10606 | 75957 0 | 0 | 2 32.18/32.28 c 30.5s | 10 | 27094 | 11361 | 83553 0 | 0 | 2 34.29/34.36 c 32.6s | 10 | 28862 | 11961 | 83553 0 | 0 | 2 36.29/36.38 c 34.6s | 10 | 30045 | 12661 | 83553 0 | 0 | 2 38.39/38.43 c 36.6s | 10 | 31022 | 13361 | 83553 0 | 0 | 2 40.69/40.75 c 38.9s | 10 | 32241 | 14161 | 83553 0 | 0 | 2 42.78/42.82 c 41.0s | 10 | 33113 | 14761 | 83553 0 | 0 | 2 44.98/45.10 c 43.3s | 10 | 34048 | 15361 | 83553 0 | 0 | 2 47.18/47.22 c 45.4s | 10 | 35017 | 16061 | 83553 0 | 0 | 2 49.49/49.54 c 47.7s | 10 | 35769 | 16661 | 83553 0 | 0 | 2 51.48/51.56 c 49.7s | 11 | 36357 | 17144 | 91909 0 | 0 | 2 53.58/53.66 c 51.8s | 11 | 38037 | 17744 | 91909 0 | 0 | 2 55.78/55.87 c 54.1s | 11 | 39133 | 18544 | 91909 0 | 0 | 2 58.08/58.13 c 56.3s | 11 | 40185 | 19244 | 91909 0 | 0 | 2 60.38/60.43 c 58.6s | 11 | 41157 | 19944 | 91909 0 | 0 | 2 62.58/62.67 c 60.9s | 11 | 42099 | 20644 | 91909 0 | 0 | 2 64.89/64.99 c 63.2s | 11 | 43012 | 21244 | 91909 0 | 0 | 2 67.08/67.19 c 65.4s | 11 | 43806 | 21844 | 91909 0 | 0 | 2 69.18/69.22 c 67.4s | 11 | 44484 | 22344 | 91909 0 | 0 | 2 71.58/71.66 c 69.8s | 11 | 45172 | 22844 | 91909 0 | 0 | 2 73.98/74.10 c 72.3s | 11 | 45823 | 23344 | 91909 0 | 0 | 2 76.08/76.16 c 74.3s | 11 | 46330 | 23744 | 91909 0 | 0 | 2 78.28/78.34 c 76.5s | 11 | 47049 | 24244 | 91909 0 | 0 | 2 80.68/80.77 c 79.0s | 11 | 47742 | 24744 | 91909 0 | 0 | 2 82.77/82.89 c 81.1s | 11 | 48514 | 25244 | 91909 0 | 0 | 2 84.87/84.94 c 83.1s | 11 | 49125 | 25644 | 101100 0 | 0 | 2 85.68/85.75 c 83.9s | 12 | 49399 | 25819 | 101100 0 | 0 | 2 87.88/87.90 c 86.1s | 12 | 51059 | 26319 | 101100 0 | 0 | 2 89.98/90.04 c 88.2s | 12 | 51919 | 26919 | 101100 0 | 0 | 2 92.28/92.33 c 90.5s | 12 | 52795 | 27519 | 101100 0 | 0 | 2 94.48/94.55 c 92.7s | 12 | 53553 | 28019 | 101100 0 | 0 | 2 96.79/96.84 c 95.0s | 12 | 54247 | 28519 | 101100 0 | 0 | 2 98.78/98.86 c 97.1s | 12 | 54859 | 28919 | 101100 0 | 0 | 2 100.78/100.88 c 99.1s | 12 | 55433 | 29319 | 101100 0 | 0 | 2 102.98/103.01 c 101s | 12 | 56199 | 29819 | 101100 0 | 0 | 2 104.98/105.04 c 103s | 12 | 56882 | 30319 | 101100 0 | 0 | 2 107.07/107.14 c 105s | 12 | 57634 | 30819 | 101100 0 | 0 | 2 109.27/109.38 c 107s | 12 | 58479 | 31319 | 101100 0 | 0 | 2 111.77/111.82 c 110s | 12 | 59293 | 31819 | 101100 0 | 0 | 2 114.27/114.39 c 112s | 12 | 59857 | 32219 | 101100 0 | 0 | 2 116.47/116.54 c 114s | 12 | 60416 | 32619 | 101100 0 | 0 | 2 118.47/118.57 c 116s | 12 | 60954 | 33019 | 101100 0 | 0 | 2 120.57/120.67 c 118s | 12 | 61535 | 33419 | 101100 0 | 0 | 2 122.67/122.71 c 120s | 12 | 62099 | 33819 | 101100 0 | 0 | 2 125.27/125.32 c 123s | 12 | 62639 | 34219 | 101100 0 | 0 | 2 127.68/127.75 c 125s | 12 | 63194 | 34619 | 101100 0 | 0 | 2 130.37/130.42 c 128s | 12 | 63750 | 35019 | 101100 0 | 0 | 2 132.77/132.81 c 130s | 12 | 64143 | 35319 | 101100 0 | 0 | 2 135.17/135.26 c 133s | 12 | 64883 | 35819 | 101100 0 | 0 | 2 137.36/137.40 c 135s | 12 | 65412 | 36219 | 101100 0 | 0 | 2 139.47/139.52 c 137s | 12 | 65943 | 36619 | 101100 0 | 0 | 2 141.57/141.67 c 139s | 12 | 66480 | 37019 | 101100 0 | 0 | 2 144.07/144.12 c 142s | 12 | 66993 | 37419 | 101100 0 | 0 | 2 146.46/146.53 c 144s | 12 | 67525 | 37819 | 101100 0 | 0 | 2 148.97/149.00 c 147s | 12 | 68073 | 38219 | 101100 0 | 0 | 2 150.97/151.09 c 149s | 12 | 68477 | 38519 | 101100 0 | 0 | 2 152.87/152.97 c 151s | 13 | 68958 | 38832 | 111211 0 | 0 | 2 155.07/155.13 c 153s | 13 | 70162 | 39032 | 111211 0 | 0 | 2 157.57/157.64 c 155s | 13 | 70697 | 39432 | 111211 0 | 0 | 2 159.86/159.97 c 158s | 13 | 71595 | 40032 | 111211 0 | 0 | 2 161.86/161.99 c 160s | 13 | 72107 | 40432 | 111211 0 | 0 | 2 164.37/164.50 c 162s | 13 | 72619 | 40832 | 111211 0 | 0 | 2 166.57/166.61 c 164s | 13 | 73010 | 41132 | 111211 0 | 0 | 2 168.57/168.62 c 166s | 13 | 73414 | 41432 | 111211 0 | 0 | 2 170.87/170.96 c 169s | 13 | 73984 | 41832 | 111211 0 | 0 | 2 173.27/173.38 c 171s | 13 | 74353 | 42132 | 111211 0 | 0 | 2 175.66/175.73 c 173s | 13 | 74907 | 42532 | 111211 0 | 0 | 2 177.96/178.10 c 176s | 13 | 75395 | 42932 | 111211 0 | 0 | 2 180.07/180.15 c 178s | 13 | 75774 | 43232 | 111211 0 | 0 | 2 182.67/182.72 c 180s | 13 | 76272 | 43632 | 111211 0 | 0 | 2 184.96/185.00 c 183s | 13 | 76998 | 44132 | 111211 0 | 0 | 2 187.26/187.33 c 185s | 13 | 77689 | 44632 | 111211 0 | 0 | 2 189.36/189.42 c 187s | 13 | 78242 | 45032 | 111211 0 | 0 | 2 191.76/191.84 c 190s | 13 | 78740 | 45432 | 111211 0 | 0 | 2 194.16/194.25 c 192s | 13 | 79256 | 45832 | 111211 0 | 0 | 2 196.26/196.36 c 194s | 13 | 79846 | 46232 | 111211 0 | 0 | 2 198.45/198.54 c 196s | 13 | 80349 | 46632 | 111211 0 | 0 | 2 200.86/200.94 c 199s | 13 | 80715 | 46932 | 111211 0 | 0 | 2 203.66/203.76 c 201s | 13 | 81231 | 47332 | 111211 0 | 0 | 2 206.36/206.40 c 204s | 13 | 81762 | 47732 | 111211 0 | 0 | 2 209.06/209.19 c 207s | 13 | 82135 | 48032 | 111211 0 | 0 | 2 211.56/211.62 c 209s | 13 | 82647 | 48432 | 111211 0 | 0 | 2 214.06/214.11 c 212s | 13 | 83170 | 48832 | 111211 0 | 0 | 2 216.86/216.92 c 215s | 13 | 83655 | 49232 | 111211 0 | 0 | 2 219.25/219.31 c 217s | 13 | 84227 | 49632 | 111211 0 | 0 | 2 221.35/221.42 c 219s | 13 | 84769 | 50032 | 111211 0 | 0 | 2 223.75/223.88 c 222s | 13 | 85259 | 50432 | 111211 0 | 0 | 2 226.45/226.53 c 224s | 13 | 85753 | 50832 | 111211 0 | 0 | 2 228.46/228.57 c 226s | 13 | 86118 | 51132 | 111211 0 | 0 | 2 230.66/230.75 c 228s | 13 | 86481 | 51432 | 111211 0 | 0 | 2 233.05/233.11 c 231s | 13 | 86826 | 51732 | 111211 0 | 0 | 2 235.25/235.32 c 233s | 13 | 87181 | 52032 | 111211 0 | 0 | 2 237.35/237.45 c 235s | 13 | 87542 | 52332 | 111211 0 | 0 | 2 239.76/239.85 c 238s | 13 | 87948 | 52632 | 111211 0 | 0 | 2 242.35/242.44 c 240s | 13 | 88329 | 52932 | 111211 0 | 0 | 2 244.95/245.03 c 243s | 13 | 88909 | 53332 | 111211 0 | 0 | 2 247.56/247.65 c 245s | 13 | 89288 | 53632 | 111211 0 | 0 | 2 249.85/249.99 c 248s | 13 | 89538 | 53832 | 111211 0 | 0 | 2 252.25/252.32 c 250s | 13 | 89803 | 54032 | 111211 0 | 0 | 2 255.05/255.11 c 253s | 13 | 90186 | 54332 | 111211 0 | 0 | 2 257.05/257.19 c 255s | 13 | 90421 | 54532 | 111211 0 | 0 | 2 259.66/259.74 c 257s | 13 | 90801 | 54832 | 111211 0 | 0 | 2 262.15/262.27 c 260s | 13 | 91161 | 55132 | 111211 0 | 0 | 2 264.75/264.87 c 263s | 13 | 91677 | 55532 | 111211 0 | 0 | 2 267.54/267.63 c 265s | 13 | 92271 | 55932 | 111211 0 | 0 | 2 270.05/270.16 c 268s | 13 | 92817 | 56332 | 111211 0 | 0 | 2 272.45/272.51 c 270s | 13 | 93391 | 56732 | 111211 0 | 0 | 2 274.75/274.89 c 273s | 13 | 93936 | 57132 | 111211 0 | 0 | 2 276.85/276.92 c 275s | 13 | 94332 | 57432 | 111211 0 | 0 | 2 279.35/279.40 c 277s | 13 | 94839 | 57832 | 111211 0 | 0 | 2 281.94/282.03 c 280s | 13 | 95338 | 58232 | 122333 0 | 0 | 2 282.66/282.74 c 280s | 14 | 95484 | 58352 | 122333 0 | 0 | 2 284.85/284.92 c 283s | 14 | 96657 | 58452 | 122333 0 | 0 | 2 286.95/287.09 c 285s | 14 | 97344 | 58952 | 122333 0 | 0 | 2 289.15/289.23 c 287s | 14 | 98007 | 59452 | 122333 0 | 0 | 2 291.65/291.78 c 289s | 14 | 98668 | 59952 | 122333 0 | 0 | 2 294.14/294.29 c 292s | 14 | 99362 | 60452 | 122333 0 | 0 | 2 296.54/296.61 c 294s | 14 | 99821 | 60852 | 122333 0 | 0 | 2 298.75/298.85 c 297s | 14 | 100354 | 61252 | 122333 0 | 0 | 2 301.05/301.19 c 299s | 14 | 101065 | 61752 | 122333 0 | 0 | 2 303.34/303.48 c 301s | 14 | 101763 | 62252 | 122333 0 | 0 | 2 305.44/305.57 c 303s | 14 | 102296 | 62652 | 122333 0 | 0 | 2 307.54/307.62 c 305s | 14 | 102868 | 63052 | 122333 0 | 0 | 2 309.94/310.07 c 308s | 14 | 103451 | 63452 | 122333 0 | 0 | 2 312.45/312.51 c 310s | 14 | 104043 | 63852 | 122333 0 | 0 | 2 314.55/314.66 c 312s | 14 | 104568 | 64252 | 122333 0 | 0 | 2 317.14/317.29 c 315s | 14 | 105164 | 64652 | 122333 0 | 0 | 2 319.24/319.39 c 317s | 14 | 105547 | 64952 | 122333 0 | 0 | 2 321.44/321.54 c 319s | 14 | 105927 | 65252 | 122333 0 | 0 | 2 323.84/323.92 c 322s | 14 | 106459 | 65652 | 122333 0 | 0 | 2 325.84/325.95 c 324s | 14 | 106798 | 65952 | 122333 0 | 0 | 2 328.04/328.18 c 326s | 14 | 107398 | 66352 | 122333 0 | 0 | 2 330.44/330.50 c 328s | 14 | 107977 | 66752 | 122333 0 | 0 | 2 332.54/332.63 c 330s | 14 | 108511 | 67152 | 122333 0 | 0 | 2 334.93/335.02 c 333s | 14 | 109049 | 67552 | 122333 0 | 0 | 2 337.44/337.53 c 335s | 14 | 109563 | 67952 | 122333 0 | 0 | 2 339.85/339.98 c 338s | 14 | 110113 | 68352 | 122333 0 | 0 | 2 342.24/342.33 c 340s | 14 | 110723 | 68752 | 122333 0 | 0 | 2 344.54/344.65 c 342s | 14 | 111260 | 69152 | 122333 0 | 0 | 2 346.94/347.04 c 345s | 14 | 112017 | 69652 | 122333 0 | 0 | 2 348.94/349.08 c 347s | 14 | 112602 | 70052 | 122333 0 | 0 | 2 351.14/351.27 c 349s | 14 | 113384 | 70552 | 122333 0 | 0 | 2 353.43/353.56 c 351s | 14 | 113914 | 70952 | 122333 0 | 0 | 2 355.83/355.97 c 354s | 14 | 114608 | 71452 | 122333 0 | 0 | 2 357.94/358.06 c 356s | 14 | 115195 | 71852 | 122333 0 | 0 | 2 360.44/360.54 c 358s | 14 | 115936 | 72352 | 122333 0 | 0 | 2 362.94/363.05 c 361s | 14 | 116595 | 72852 | 122333 0 | 0 | 2 365.24/365.34 c 363s | 14 | 117192 | 73352 | 122333 0 | 0 | 2 367.63/367.71 c 365s | 14 | 117905 | 73852 | 122333 0 | 0 | 2 369.83/369.92 c 368s | 14 | 118417 | 74252 | 122333 0 | 0 | 2 372.23/372.36 c 370s | 14 | 118944 | 74652 | 122333 0 | 0 | 2 374.23/374.38 c 372s | 14 | 119336 | 74952 | 122333 0 | 0 | 2 376.53/376.66 c 374s | 14 | 119976 | 75352 | 122333 0 | 0 | 2 379.13/379.23 c 377s | 14 | 120562 | 75752 | 122333 0 | 0 | 2 381.23/381.34 c 379s | 14 | 121005 | 76052 | 122333 0 | 0 | 2 383.54/383.61 c 381s | 14 | 121595 | 76452 | 122333 0 | 0 | 2 386.23/386.34 c 384s | 14 | 122165 | 76852 | 122333 0 | 0 | 2 388.93/389.00 c 387s | 14 | 122758 | 77252 | 122333 0 | 0 | 2 391.23/391.34 c 389s | 14 | 123316 | 77652 | 122333 0 | 0 | 2 393.43/393.55 c 391s | 14 | 123708 | 77952 | 122333 0 | 0 | 2 395.63/395.71 c 393s | 14 | 124109 | 78252 | 122333 0 | 0 | 2 397.83/397.93 c 396s | 14 | 124595 | 78552 | 122333 0 | 0 | 2 400.03/400.10 c 398s | 14 | 125011 | 78852 | 122333 0 | 0 | 2 402.23/402.33 c 400s | 14 | 125611 | 79252 | 122333 0 | 0 | 2 404.33/404.49 c 402s | 14 | 126212 | 79652 | 122333 0 | 0 | 2 406.63/406.71 c 404s | 14 | 126820 | 80052 | 122333 0 | 0 | 2 409.43/409.57 c 407s | 14 | 127363 | 80452 | 122333 0 | 0 | 2 411.83/411.95 c 410s | 14 | 127898 | 80852 | 122333 0 | 0 | 2 414.03/414.13 c 412s | 14 | 128407 | 81252 | 122333 0 | 0 | 2 416.73/416.80 c 414s | 14 | 128915 | 81652 | 122333 0 | 0 | 2 418.92/419.04 c 417s | 14 | 129434 | 82052 | 122333 0 | 0 | 2 421.42/421.56 c 419s | 14 | 129973 | 82452 | 122333 0 | 0 | 2 423.43/423.58 c 421s | 14 | 130388 | 82752 | 122333 0 | 0 | 2 425.82/425.91 c 424s | 14 | 130769 | 83052 | 122333 0 | 0 | 2 428.22/428.30 c 426s | 14 | 131151 | 83352 | 122333 0 | 0 | 2 430.53/430.69 c 428s | 14 | 131543 | 83652 | 122333 0 | 0 | 2 432.73/432.80 c 430s | 14 | 132106 | 84052 | 122333 0 | 0 | 2 434.93/435.04 c 433s | 14 | 132627 | 84452 | 122333 0 | 0 | 2 437.43/437.53 c 435s | 14 | 133147 | 84852 | 122333 0 | 0 | 2 439.43/439.56 c 437s | 14 | 133514 | 85152 | 122333 0 | 0 | 2 441.72/441.83 c 440s | 14 | 134022 | 85552 | 122333 0 | 0 | 2 443.72/443.86 c 442s | 14 | 134424 | 85852 | 122333 0 | 0 | 2 445.72/445.88 c 444s | 14 | 134802 | 86152 | 122333 0 | 0 | 2 447.82/447.97 c 446s | 14 | 135220 | 86452 | 122333 0 | 0 | 2 450.02/450.11 c 448s | 14 | 135648 | 86752 | 122333 0 | 0 | 2 452.42/452.53 c 450s | 14 | 136021 | 87052 | 134567 0 | 0 | 2 455.02/455.18 c 453s | 14 | 136547 | 87452 | 134567 0 | 0 | 2 456.22/456.39 c 454s | 15 | 136781 | 87632 | 134567 0 | 0 | 2 459.92/460.09 c 458s | 15 | 137774 | 87732 | 134567 0 | 0 | 2 462.82/462.99 c 461s | 15 | 138178 | 88032 | 134567 0 | 0 | 2 465.32/465.43 c 463s | 15 | 138599 | 88332 | 134567 0 | 0 | 2 468.01/468.11 c 466s | 15 | 139115 | 88732 | 134567 0 | 0 | 2 470.83/470.99 c 469s | 15 | 139489 | 89032 | 134567 0 | 0 | 2 473.22/473.33 c 471s | 15 | 139926 | 89332 | 134567 0 | 0 | 2 475.62/475.76 c 473s | 15 | 140304 | 89632 | 134567 0 | 0 | 2 477.82/477.92 c 476s | 15 | 140723 | 89932 | 134567 0 | 0 | 2 479.92/480.07 c 478s | 15 | 141140 | 90232 | 134567 0 | 0 | 2 482.02/482.11 c 480s | 15 | 141562 | 90532 | 134567 0 | 0 | 2 484.42/484.54 c 482s | 15 | 142155 | 90932 | 134567 0 | 0 | 2 486.61/486.77 c 484s | 15 | 142748 | 91332 | 134567 0 | 0 | 2 489.21/489.35 c 487s | 15 | 143318 | 91732 | 134567 0 | 0 | 2 491.51/491.69 c 489s | 15 | 143740 | 92032 | 134567 0 | 0 | 2 494.01/494.11 c 492s | 15 | 144150 | 92332 | 134567 0 | 0 | 2 496.02/496.17 c 494s | 15 | 144609 | 92632 | 134567 0 | 0 | 2 498.22/498.38 c 496s | 15 | 145228 | 93032 | 134567 0 | 0 | 2 500.72/500.89 c 499s | 15 | 145783 | 93432 | 134567 0 | 0 | 2 502.92/503.06 c 501s | 15 | 146141 | 93732 | 134567 0 | 0 | 2 505.41/505.55 c 503s | 15 | 146557 | 94032 | 134567 0 | 0 | 2 507.41/507.56 c 505s | 15 | 146952 | 94332 | 134567 0 | 0 | 2 510.11/510.26 c 508s | 15 | 147477 | 94732 | 134567 0 | 0 | 2 512.31/512.44 c 510s | 15 | 147929 | 95032 | 134567 0 | 0 | 2 514.41/514.54 c 512s | 15 | 148359 | 95332 | 134567 0 | 0 | 2 516.61/516.74 c 514s | 15 | 148769 | 95632 | 134567 0 | 0 | 2 518.81/518.93 c 517s | 15 | 149165 | 95932 | 134567 0 | 0 | 2 520.81/520.93 c 519s | 15 | 149576 | 96232 | 134567 0 | 0 | 2 522.91/523.00 c 521s | 15 | 149939 | 96532 | 134567 0 | 0 | 2 524.91/525.00 c 523s | 15 | 150352 | 96832 | 134567 0 | 0 | 2 527.11/527.27 c 525s | 15 | 150716 | 97132 | 134567 0 | 0 | 2 529.51/529.65 c 527s | 15 | 151091 | 97432 | 134567 0 | 0 | 2 531.91/532.07 c 530s | 15 | 151460 | 97732 | 134567 0 | 0 | 2 534.11/534.29 c 532s | 15 | 151868 | 98032 | 134567 0 | 0 | 2 536.31/536.40 c 534s | 15 | 152273 | 98332 | 134567 0 | 0 | 2 538.71/538.81 c 536s | 15 | 152978 | 98832 | 134567 0 | 0 | 2 540.81/540.93 c 539s | 15 | 153482 | 99232 | 134567 0 | 0 | 2 543.32/543.50 c 541s | 15 | 154099 | 99632 | 134567 0 | 0 | 2 545.81/545.92 c 544s | 15 | 154632 | 100032 | 134567 0 | 0 | 2 547.91/548.08 c 546s | 15 | 155057 | 100332 | 134567 0 | 0 | 2 550.02/550.18 c 548s | 15 | 155485 | 100632 | 134567 0 | 0 | 2 552.12/552.27 c 550s | 15 | 156029 | 101032 | 134567 0 | 0 | 2 554.31/554.47 c 552s | 15 | 156551 | 101432 | 134567 0 | 0 | 2 556.61/556.79 c 554s | 15 | 157046 | 101832 | 134567 0 | 0 | 2 558.81/558.99 c 557s | 15 | 157584 | 102232 | 134567 0 | 0 | 2 561.40/561.58 c 559s | 15 | 158106 | 102632 | 134567 0 | 0 | 2 563.80/563.90 c 562s | 15 | 158610 | 103032 | 134567 0 | 0 | 2 566.11/566.24 c 564s | 15 | 159136 | 103432 | 134567 0 | 0 | 2 568.21/568.39 c 566s | 15 | 159495 | 103732 | 134567 0 | 0 | 2 570.81/570.94 c 569s | 15 | 160054 | 104132 | 134567 0 | 0 | 2 572.91/573.07 c 571s | 15 | 160458 | 104432 | 134567 0 | 0 | 2 575.60/575.71 c 573s | 15 | 160980 | 104832 | 134567 0 | 0 | 2 577.80/577.98 c 576s | 15 | 161346 | 105132 | 134567 0 | 0 | 2 580.10/580.29 c 578s | 15 | 161726 | 105432 | 134567 0 | 0 | 2 582.60/582.71 c 580s | 15 | 162119 | 105732 | 134567 0 | 0 | 2 585.00/585.13 c 583s | 15 | 162511 | 106032 | 134567 0 | 0 | 2 587.30/587.46 c 585s | 15 | 162897 | 106332 | 134567 0 | 0 | 2 589.61/589.76 c 587s | 15 | 163261 | 106632 | 134567 0 | 0 | 2 591.90/592.05 c 590s | 15 | 163618 | 106932 | 134567 0 | 0 | 2 594.20/594.30 c 592s | 15 | 164017 | 107232 | 134567 0 | 0 | 2 596.70/596.88 c 595s | 15 | 164376 | 107532 | 134567 0 | 0 | 2 599.20/599.37 c 597s | 15 | 164757 | 107832 | 134567 0 | 0 | 2 601.90/602.00 c 600s | 15 | 165146 | 108132 | 134567 0 | 0 | 2 604.10/604.27 c 602s | 15 | 165566 | 108432 | 134567 0 | 0 | 2 606.60/606.76 c 604s | 15 | 165969 | 108732 | 134567 0 | 0 | 2 609.10/609.29 c 607s | 15 | 166324 | 109032 | 134567 0 | 0 | 2 611.79/611.93 c 610s | 15 | 166731 | 109332 | 134567 0 | 0 | 2 614.30/614.44 c 612s | 15 | 167119 | 109632 | 134567 0 | 0 | 2 617.00/617.18 c 615s | 15 | 167522 | 109932 | 134567 0 | 0 | 2 619.49/619.62 c 617s | 15 | 167929 | 110232 | 134567 0 | 0 | 2 622.30/622.41 c 620s | 15 | 168311 | 110532 | 134567 0 | 0 | 2 624.90/625.03 c 623s | 15 | 168793 | 110832 | 134567 0 | 0 | 2 626.90/627.03 c 625s | 15 | 169049 | 111032 | 134567 0 | 0 | 2 628.99/629.14 c 627s | 15 | 169292 | 111232 | 134567 0 | 0 | 2 631.49/631.61 c 629s | 15 | 169748 | 111532 | 134567 0 | 0 | 2 633.99/634.13 c 632s | 15 | 170271 | 111932 | 134567 0 | 0 | 2 635.99/636.18 c 634s | 15 | 170695 | 112232 | 134567 0 | 0 | 2 638.09/638.25 c 636s | 15 | 171094 | 112532 | 134567 0 | 0 | 2 640.39/640.53 c 638s | 15 | 171496 | 112832 | 134567 0 | 0 | 2 643.10/643.21 c 641s | 15 | 171860 | 113132 | 134567 0 | 0 | 2 645.40/645.52 c 643s | 15 | 172332 | 113432 | 134567 0 | 0 | 2 648.00/648.14 c 646s | 15 | 172744 | 113732 | 134567 0 | 0 | 2 650.49/650.66 c 648s | 15 | 173111 | 114032 | 134567 0 | 0 | 2 653.19/653.34 c 651s | 15 | 173490 | 114332 | 134567 0 | 0 | 2 655.69/655.85 c 654s | 15 | 173897 | 114632 | 134567 0 | 0 | 2 658.69/658.83 c 657s | 15 | 174291 | 114932 | 134567 0 | 0 | 2 661.58/661.78 c 659s | 15 | 174682 | 115232 | 134567 0 | 0 | 2 663.69/663.89 c 662s | 15 | 174975 | 115432 | 134567 0 | 0 | 2 666.18/666.36 c 664s | 15 | 175222 | 115632 | 134567 0 | 0 | 2 668.59/668.77 c 666s | 15 | 175835 | 116032 | 134567 0 | 0 | 2 671.09/671.25 c 669s | 15 | 176468 | 116432 | 134567 0 | 0 | 2 673.59/673.77 c 671s | 15 | 176993 | 116832 | 134567 0 | 0 | 2 676.19/676.35 c 674s | 15 | 177489 | 117232 | 134567 0 | 0 | 2 678.78/678.99 c 677s | 15 | 178024 | 117632 | 134567 0 | 0 | 2 680.89/681.06 c 679s | 15 | 178396 | 117932 | 134567 0 | 0 | 2 683.28/683.43 c 681s | 15 | 178909 | 118332 | 134567 0 | 0 | 2 685.48/685.67 c 683s | 15 | 179266 | 118632 | 134567 0 | 0 | 2 687.99/688.15 c 686s | 15 | 179770 | 119032 | 134567 0 | 0 | 2 690.39/690.53 c 688s | 15 | 180289 | 119432 | 134567 0 | 0 | 2 692.99/693.18 c 691s | 15 | 180805 | 119832 | 134567 0 | 0 | 2 695.09/695.23 c 693s | 15 | 181188 | 120132 | 134567 0 | 0 | 2 697.69/697.84 c 696s | 15 | 181757 | 120532 | 134567 0 | 0 | 2 700.29/700.43 c 698s | 15 | 182322 | 120932 | 134567 0 | 0 | 2 702.79/702.93 c 701s | 15 | 182833 | 121332 | 134567 0 | 0 | 2 705.38/705.57 c 703s | 15 | 183297 | 121732 | 134567 0 | 0 | 2 707.48/707.66 c 705s | 15 | 183671 | 122032 | 134567 0 | 0 | 2 709.78/709.93 c 708s | 15 | 184077 | 122332 | 134567 0 | 0 | 2 712.69/712.89 c 711s | 15 | 184589 | 122732 | 134567 0 | 0 | 2 714.99/715.12 c 713s | 15 | 184945 | 123032 | 134567 0 | 0 | 2 717.19/717.37 c 715s | 15 | 185332 | 123332 | 134567 0 | 0 | 2 719.68/719.81 c 717s | 15 | 185706 | 123632 | 134567 0 | 0 | 2 722.08/722.27 c 720s | 15 | 186272 | 124032 | 134567 0 | 0 | 2 724.47/724.63 c 722s | 15 | 186780 | 124432 | 134567 0 | 0 | 2 727.18/727.31 c 725s | 15 | 187305 | 124832 | 134567 0 | 0 | 2 729.78/729.99 c 728s | 15 | 187840 | 125232 | 134567 0 | 0 | 2 731.98/732.13 c 730s | 15 | 188233 | 125532 | 134567 0 | 0 | 2 734.37/734.50 c 732s | 15 | 188635 | 125832 | 134567 0 | 0 | 2 736.48/736.63 c 734s | 15 | 189079 | 126132 | 134567 0 | 0 | 2 738.98/739.20 c 737s | 15 | 189590 | 126532 | 134567 0 | 0 | 2 741.18/741.39 c 739s | 15 | 189963 | 126832 | 134567 0 | 0 | 2 743.88/744.07 c 742s | 15 | 190480 | 127232 | 134567 0 | 0 | 2 746.48/746.66 c 744s | 15 | 190862 | 127532 | 134567 0 | 0 | 2 748.77/748.99 c 747s | 15 | 191125 | 127732 | 134567 0 | 0 | 2 750.88/751.06 c 749s | 15 | 191371 | 127932 | 134567 0 | 0 | 2 753.07/753.22 c 751s | 15 | 191780 | 128232 | 134567 0 | 0 | 2 755.47/755.68 c 753s | 15 | 192171 | 128532 | 134567 0 | 0 | 2 758.48/758.63 c 756s | 15 | 192534 | 128832 | 134567 0 | 0 | 2 760.78/760.95 c 759s | 15 | 192906 | 129132 | 134567 0 | 0 | 2 763.47/763.61 c 761s | 15 | 193302 | 129432 | 134567 0 | 0 | 2 766.27/766.44 c 764s | 15 | 193728 | 129732 | 134567 0 | 0 | 2 768.88/769.09 c 767s | 15 | 194129 | 130032 | 134567 0 | 0 | 2 771.17/771.35 c 769s | 15 | 194564 | 130332 | 134567 0 | 0 | 2 773.47/773.67 c 771s | 15 | 194926 | 130632 | 148024 0 | 0 | 2 775.87/776.04 c 774s | 15 | 195335 | 130932 | 148024 0 | 0 | 2 778.17/778.39 c 776s | 15 | 195735 | 131232 | 148024 0 | 0 | 2 780.67/780.85 c 779s | 15 | 196135 | 131532 | 148024 0 | 0 | 2 780.88/781.05 c 779s | 16 | 196163 | 131552 | 148024 0 | 0 | 2 785.67/785.89 c 784s | 16 | 197135 | 131652 | 148024 0 | 0 | 2 788.07/788.27 c 786s | 16 | 197382 | 131852 | 148024 0 | 0 | 2 790.17/790.30 c 788s | 16 | 197649 | 132052 | 148024 0 | 0 | 2 792.87/793.06 c 791s | 16 | 198019 | 132352 | 148024 0 | 0 | 2 795.57/795.75 c 793s | 16 | 198427 | 132652 | 148024 0 | 0 | 2 797.77/797.99 c 796s | 16 | 198849 | 132952 | 148024 0 | 0 | 2 800.27/800.47 c 798s | 16 | 199273 | 133252 | 148024 0 | 0 | 2 803.06/803.28 c 801s | 16 | 199655 | 133552 | 148024 0 | 0 | 2 805.17/805.35 c 803s | 16 | 199918 | 133752 | 148024 0 | 0 | 2 807.27/807.43 c 805s | 16 | 200209 | 133952 | 148024 0 | 0 | 2 809.96/810.11 c 808s | 16 | 200609 | 134252 | 148024 0 | 0 | 2 811.96/812.12 c 810s | 16 | 200835 | 134452 | 148024 0 | 0 | 2 814.56/814.76 c 812s | 16 | 201243 | 134752 | 148024 0 | 0 | 2 816.56/816.78 c 814s | 16 | 201514 | 134952 | 148024 0 | 0 | 2 819.06/819.27 c 817s | 16 | 201909 | 135252 | 148024 0 | 0 | 2 822.06/822.22 c 820s | 16 | 202334 | 135552 | 148024 0 | 0 | 2 825.06/825.24 c 823s | 16 | 202709 | 135852 | 148024 0 | 0 | 2 827.26/827.49 c 825s | 16 | 203167 | 136152 | 148024 0 | 0 | 2 830.16/830.31 c 828s | 16 | 203614 | 136452 | 148024 0 | 0 | 2 832.96/833.13 c 831s | 16 | 203984 | 136752 | 148024 0 | 0 | 2 835.06/835.20 c 833s | 16 | 204249 | 136952 | 148024 0 | 0 | 2 838.06/838.21 c 836s | 16 | 204664 | 137252 | 148024 0 | 0 | 2 840.15/840.32 c 838s | 16 | 205100 | 137552 | 148024 0 | 0 | 2 842.95/843.15 c 841s | 16 | 205516 | 137852 | 148024 0 | 0 | 2 845.95/846.11 c 844s | 16 | 205912 | 138152 | 148024 0 | 0 | 2 847.96/848.16 c 846s | 16 | 206187 | 138352 | 148024 0 | 0 | 2 850.74/850.92 c 849s | 16 | 206601 | 138652 | 148024 0 | 0 | 2 853.35/853.58 c 851s | 16 | 207056 | 138952 | 148024 0 | 0 | 2 856.35/856.52 c 854s | 16 | 207458 | 139252 | 148024 0 | 0 | 2 859.15/859.38 c 857s | 16 | 207815 | 139552 | 148024 0 | 0 | 2 861.25/861.40 c 859s | 16 | 208071 | 139752 | 148024 0 | 0 | 2 864.04/864.26 c 862s | 16 | 208425 | 140052 | 148024 0 | 0 | 2 866.34/866.52 c 864s | 16 | 208682 | 140252 | 148024 0 | 0 | 2 868.54/868.78 c 866s | 16 | 208957 | 140452 | 148024 0 | 0 | 2 871.45/871.68 c 869s | 16 | 209392 | 140752 | 148024 0 | 0 | 2 874.35/874.53 c 872s | 16 | 209759 | 141052 | 148024 0 | 0 | 2 877.34/877.60 c 875s | 16 | 210126 | 141352 | 148024 0 | 0 | 2 880.14/880.35 c 878s | 16 | 210515 | 141652 | 148024 0 | 0 | 2 882.94/883.19 c 881s | 16 | 210900 | 141952 | 148024 0 | 0 | 2 885.14/885.38 c 883s | 16 | 211155 | 142152 | 148024 0 | 0 | 2 887.34/887.57 c 885s | 16 | 211558 | 142452 | 148024 0 | 0 | 2 890.23/890.49 c 888s | 16 | 211946 | 142752 | 148024 0 | 0 | 2 893.04/893.22 c 891s | 16 | 212412 | 143052 | 148024 0 | 0 | 2 895.13/895.33 c 893s | 16 | 212702 | 143252 | 148024 0 | 0 | 2 897.83/898.06 c 896s | 16 | 213116 | 143552 | 148024 0 | 0 | 2 900.73/900.95 c 899s | 16 | 213510 | 143852 | 148024 0 | 0 | 2 903.33/903.58 c 901s | 16 | 213939 | 144152 | 148024 0 | 0 | 2 906.33/906.55 c 904s | 16 | 214334 | 144452 | 148024 0 | 0 | 2 908.92/909.10 c 907s | 16 | 214592 | 144652 | 148024 0 | 0 | 2 911.03/911.20 c 909s | 16 | 214836 | 144852 | 148024 0 | 0 | 2 913.32/913.55 c 911s | 16 | 215065 | 145052 | 148024 0 | 0 | 2 915.63/915.87 c 914s | 16 | 215322 | 145252 | 148024 0 | 0 | 2 918.52/918.79 c 916s | 16 | 215557 | 145452 | 148024 0 | 0 | 2 921.52/921.75 c 919s | 16 | 215995 | 145752 | 148024 0 | 0 | 2 924.42/924.62 c 922s | 16 | 216423 | 146052 | 148024 0 | 0 | 2 926.52/926.72 c 924s | 16 | 216681 | 146252 | 148024 0 | 0 | 2 928.71/928.97 c 927s | 16 | 216962 | 146452 | 148024 0 | 0 | 2 931.22/931.48 c 929s | 16 | 217208 | 146652 | 148024 0 | 0 | 2 934.02/934.25 c 932s | 16 | 217458 | 146852 | 148024 0 | 0 | 2 937.02/937.29 c 935s | 16 | 217710 | 147052 | 148024 0 | 0 | 2 939.72/939.93 c 938s | 16 | 218100 | 147352 | 148024 0 | 0 | 2 941.91/942.13 c 940s | 16 | 218491 | 147652 | 148024 0 | 0 | 2 944.31/944.55 c 942s | 16 | 218887 | 147952 | 148024 0 | 0 | 2 946.51/946.74 c 944s | 16 | 219298 | 148252 | 148024 0 | 0 | 2 949.11/949.37 c 947s | 16 | 219714 | 148552 | 148024 0 | 0 | 2 951.81/952.09 c 950s | 16 | 220094 | 148852 | 148024 0 | 0 | 2 954.21/954.45 c 952s | 16 | 220503 | 149152 | 148024 0 | 0 | 2 956.71/956.91 c 955s | 16 | 220925 | 149452 | 148024 0 | 0 | 2 959.11/959.37 c 957s | 16 | 221301 | 149752 | 148024 0 | 0 | 2 961.41/961.65 c 959s | 16 | 221732 | 150052 | 148024 0 | 0 | 2 964.10/964.38 c 962s | 16 | 222234 | 150452 | 148024 0 | 0 | 2 966.91/967.19 c 965s | 16 | 222629 | 150752 | 148024 0 | 0 | 2 968.92/969.19 c 967s | 16 | 222924 | 150952 | 148024 0 | 0 | 2 971.51/971.75 c 969s | 16 | 223284 | 151252 | 148024 0 | 0 | 2 974.21/974.49 c 972s | 16 | 223692 | 151552 | 148024 0 | 0 | 2 977.01/977.24 c 975s | 16 | 224122 | 151852 | 148024 0 | 0 | 2 979.71/979.90 c 978s | 16 | 224536 | 152152 | 148024 0 | 0 | 2 982.30/982.51 c 980s | 16 | 224952 | 152452 | 148024 0 | 0 | 2 985.10/985.30 c 983s | 16 | 225334 | 152752 | 148024 0 | 0 | 2 987.61/987.86 c 986s | 16 | 225737 | 153052 | 148024 0 | 0 | 2 990.39/990.65 c 988s | 16 | 226107 | 153352 | 148024 0 | 0 | 2 992.80/993.04 c 991s | 16 | 226505 | 153652 | 148024 0 | 0 | 2 995.60/995.82 c 994s | 16 | 226904 | 153952 | 148024 0 | 0 | 2 998.70/998.92 c 997s | 16 | 227292 | 154252 | 148024 0 | 0 | 2 1001.09/1001.36 c 999s | 16 | 227548 | 154452 | 148024 0 | 0 | 2 1003.89/1004.19 c 1002s | 16 | 227930 | 154752 | 148024 0 | 0 | 2 1006.19/1006.48 c 1004s | 16 | 228197 | 154952 | 148024 0 | 0 | 2 1008.60/1008.83 c 1007s | 16 | 228476 | 155152 | 148024 0 | 0 | 2 1010.89/1011.12 c 1009s | 16 | 228917 | 155452 | 148024 0 | 0 | 2 1013.69/1013.98 c 1012s | 16 | 229324 | 155752 | 148024 0 | 0 | 2 1016.49/1016.73 c 1014s | 16 | 229766 | 156052 | 148024 0 | 0 | 2 1019.19/1019.41 c 1017s | 16 | 230130 | 156352 | 148024 0 | 0 | 2 1021.28/1021.54 c 1019s | 16 | 230361 | 156552 | 148024 0 | 0 | 2 1023.68/1023.94 c 1022s | 16 | 230601 | 156752 | 148024 0 | 0 | 2 1026.38/1026.69 c 1024s | 16 | 230985 | 157052 | 148024 0 | 0 | 2 1028.59/1028.84 c 1027s | 16 | 231251 | 157252 | 148024 0 | 0 | 2 1030.98/1031.28 c 1029s | 16 | 231503 | 157452 | 148024 0 | 0 | 2 1033.08/1033.31 c 1031s | 16 | 231745 | 157652 | 148024 0 | 0 | 2 1036.08/1036.34 c 1034s | 16 | 232154 | 157952 | 148024 0 | 0 | 2 1038.68/1038.99 c 1037s | 16 | 232526 | 158252 | 148024 0 | 0 | 2 1041.59/1041.88 c 1040s | 16 | 232954 | 158552 | 148024 0 | 0 | 2 1044.58/1044.88 c 1043s | 16 | 233305 | 158852 | 148024 0 | 0 | 2 1046.88/1047.17 c 1045s | 16 | 233594 | 159052 | 148024 0 | 0 | 2 1049.18/1049.42 c 1047s | 16 | 233868 | 159252 | 148024 0 | 0 | 2 1051.28/1051.51 c 1049s | 16 | 234121 | 159452 | 148024 0 | 0 | 2 1053.77/1054.07 c 1052s | 16 | 234390 | 159652 | 148024 0 | 0 | 2 1056.27/1056.53 c 1054s | 16 | 234815 | 159952 | 148024 0 | 0 | 2 1059.18/1059.42 c 1057s | 16 | 235213 | 160252 | 148024 0 | 0 | 2 1061.38/1061.66 c 1059s | 16 | 235480 | 160452 | 148024 0 | 0 | 2 1063.58/1063.83 c 1062s | 16 | 235724 | 160652 | 148024 0 | 0 | 2 1065.78/1066.06 c 1064s | 16 | 235982 | 160852 | 148024 0 | 0 | 2 1067.77/1068.07 c 1066s | 16 | 236242 | 161052 | 148024 0 | 0 | 2 1069.87/1070.17 c 1068s | 16 | 236476 | 161252 | 148024 0 | 0 | 2 1072.67/1072.93 c 1071s | 16 | 236908 | 161552 | 148024 0 | 0 | 2 1074.77/1075.08 c 1073s | 16 | 237213 | 161752 | 148024 0 | 0 | 2 1076.87/1077.18 c 1075s | 16 | 237476 | 161952 | 148024 0 | 0 | 2 1079.17/1079.47 c 1077s | 16 | 237720 | 162152 | 148024 0 | 0 | 2 1081.26/1081.52 c 1079s | 16 | 237980 | 162352 | 148024 0 | 0 | 2 1083.38/1083.69 c 1081s | 16 | 238232 | 162552 | 148024 0 | 0 | 2 1085.96/1086.26 c 1084s | 16 | 238471 | 162752 | 148024 0 | 0 | 2 1088.96/1089.23 c 1087s | 16 | 238890 | 163052 | 148024 0 | 0 | 2 1091.07/1091.35 c 1089s | 16 | 239153 | 163252 | 148024 0 | 0 | 2 1093.06/1093.39 c 1091s | 16 | 239385 | 163452 | 148024 0 | 0 | 2 1095.26/1095.53 c 1093s | 16 | 239630 | 163652 | 148024 0 | 0 | 2 1097.26/1097.59 c 1095s | 16 | 239898 | 163852 | 148024 0 | 0 | 2 1100.06/1100.30 c 1098s | 16 | 240279 | 164152 | 148024 0 | 0 | 2 1102.76/1103.07 c 1101s | 16 | 240658 | 164452 | 148024 0 | 0 | 2 1105.66/1105.95 c 1104s | 16 | 241024 | 164752 | 148024 0 | 0 | 2 1108.25/1108.50 c 1106s | 16 | 241458 | 165052 | 148024 0 | 0 | 2 1110.76/1111.07 c 1109s | 16 | 241881 | 165352 | 148024 0 | 0 | 2 1113.65/1113.98 c 1112s | 16 | 242260 | 165652 | 148024 0 | 0 | 2 1116.66/1116.94 c 1115s | 16 | 242660 | 165952 | 148024 0 | 0 | 2 1119.46/1119.73 c 1117s | 16 | 243033 | 166252 | 148024 0 | 0 | 2 1122.36/1122.67 c 1120s | 16 | 243408 | 166552 | 148024 0 | 0 | 2 1125.56/1125.82 c 1124s | 16 | 243772 | 166852 | 148024 0 | 0 | 2 1128.46/1128.77 c 1126s | 16 | 244164 | 167152 | 148024 0 | 0 | 2 1131.35/1131.64 c 1129s | 16 | 244542 | 167452 | 148024 0 | 0 | 2 1134.35/1134.66 c 1132s | 16 | 244957 | 167752 | 148024 0 | 0 | 2 1137.05/1137.34 c 1135s | 16 | 245380 | 168052 | 148024 0 | 0 | 2 1139.74/1140.09 c 1138s | 16 | 245742 | 168352 | 148024 0 | 0 | 2 1142.34/1142.63 c 1140s | 16 | 246021 | 168552 | 148024 0 | 0 | 2 1145.14/1145.43 c 1143s | 16 | 246447 | 168852 | 148024 0 | 0 | 2 1148.16/1148.42 c 1146s | 16 | 246840 | 169152 | 148024 0 | 0 | 2 1150.45/1150.72 c 1148s | 16 | 247115 | 169352 | 148024 0 | 0 | 2 1152.55/1152.89 c 1151s | 16 | 247455 | 169552 | 148024 0 | 0 | 2 1154.94/1155.21 c 1153s | 16 | 247708 | 169752 | 148024 0 | 0 | 2 1157.24/1157.55 c 1155s | 16 | 247966 | 169952 | 148024 0 | 0 | 2 1160.14/1160.45 c 1158s | 16 | 248344 | 170252 | 148024 0 | 0 | 2 1163.04/1163.32 c 1161s | 16 | 248724 | 170552 | 148024 0 | 0 | 2 1165.03/1165.35 c 1163s | 16 | 248981 | 170752 | 148024 0 | 0 | 2 1168.34/1168.60 c 1166s | 16 | 249328 | 171052 | 148024 0 | 0 | 2 1170.44/1170.73 c 1168s | 16 | 249580 | 171252 | 148024 0 | 0 | 2 1172.74/1173.05 c 1171s | 16 | 249867 | 171452 | 148024 0 | 0 | 2 1175.04/1175.38 c 1173s | 16 | 250130 | 171652 | 148024 0 | 0 | 2 1177.34/1177.66 c 1175s | 16 | 250413 | 171852 | 148024 0 | 0 | 2 1179.63/1179.90 c 1178s | 16 | 250726 | 172052 | 148024 0 | 0 | 2 1181.83/1182.15 c 1180s | 16 | 250962 | 172252 | 148024 0 | 0 | 2 1184.13/1184.42 c 1182s | 16 | 251202 | 172452 | 148024 0 | 0 | 2 1186.43/1186.70 c 1184s | 16 | 251466 | 172652 | 148024 0 | 0 | 2 1188.43/1188.79 c 1186s | 16 | 251721 | 172852 | 148024 0 | 0 | 2 1190.63/1190.91 c 1189s | 16 | 251953 | 173052 | 148024 0 | 0 | 2 1193.43/1193.77 c 1191s | 16 | 252194 | 173252 | 148024 0 | 0 | 2 1195.93/1196.29 c 1194s | 16 | 252470 | 173452 | 148024 0 | 0 | 2 1207.33/1207.63 c 1205s | 16 | 252604 | 173552 | 148024 1 | 0 | 2 1211.52/1211.89 c 1210s | 16 | 252872 | 173752 | 148024 1 | 0 | 2 1214.32/1214.64 c 1212s | 16 | 253308 | 174052 | 148024 1 | 0 | 2 1217.02/1217.33 c 1215s | 16 | 253837 | 174452 | 148024 1 | 0 | 2 1219.32/1219.64 c 1217s | 16 | 254154 | 174652 | 148024 1 | 0 | 2 1222.92/1223.23 c 1221s | 16 | 254540 | 174952 | 148024 1 | 0 | 2 1225.32/1225.61 c 1223s | 16 | 255034 | 175352 | 148024 1 | 0 | 2 1227.51/1227.82 c 1226s | 16 | 255422 | 175652 | 148024 1 | 0 | 2 1230.12/1230.40 c 1228s | 16 | 255810 | 175952 | 148024 1 | 0 | 2 1232.72/1233.06 c 1231s | 16 | 256292 | 176352 | 148024 1 | 0 | 2 1235.02/1235.37 c 1233s | 16 | 256693 | 176652 | 148024 1 | 0 | 2 1237.11/1237.46 c 1235s | 16 | 257091 | 176952 | 148024 1 | 0 | 2 1239.81/1240.17 c 1238s | 16 | 257623 | 177352 | 148024 1 | 0 | 2 1242.31/1242.68 c 1240s | 16 | 258016 | 177652 | 148024 1 | 0 | 2 1244.81/1245.13 c 1243s | 16 | 258415 | 177952 | 148024 1 | 0 | 2 1247.41/1247.78 c 1245s | 16 | 258978 | 178352 | 148024 1 | 0 | 2 1249.51/1249.86 c 1248s | 16 | 259354 | 178652 | 148024 1 | 0 | 2 1251.81/1252.11 c 1250s | 16 | 259710 | 178952 | 148024 1 | 0 | 2 1254.01/1254.36 c 1252s | 16 | 260069 | 179252 | 148024 1 | 0 | 2 1256.10/1256.40 c 1254s | 16 | 260432 | 179552 | 148024 1 | 0 | 2 1258.50/1258.84 c 1257s | 16 | 260808 | 179852 | 148024 1 | 0 | 2 1261.00/1261.37 c 1259s | 16 | 261208 | 180152 | 148024 1 | 0 | 2 1263.50/1263.81 c 1261s | 16 | 261571 | 180452 | 148024 1 | 0 | 2 1266.60/1266.98 c 1265s | 16 | 261953 | 180752 | 148024 1 | 0 | 2 1268.90/1269.29 c 1267s | 16 | 262444 | 181152 | 148024 1 | 0 | 2 1270.90/1271.30 c 1269s | 16 | 262831 | 181452 | 148024 1 | 0 | 2 1273.30/1273.67 c 1271s | 16 | 263172 | 181752 | 148024 1 | 0 | 2 1275.50/1275.88 c 1274s | 16 | 263586 | 182052 | 148024 1 | 0 | 2 1277.60/1277.91 c 1276s | 16 | 263947 | 182352 | 148024 1 | 0 | 2 1279.70/1280.09 c 1278s | 16 | 264308 | 182652 | 148024 1 | 0 | 2 1281.89/1282.24 c 1280s | 16 | 264732 | 182952 | 148024 1 | 0 | 2 1284.09/1284.42 c 1282s | 16 | 265071 | 183252 | 148024 1 | 0 | 2 1286.80/1287.13 c 1285s | 16 | 265618 | 183652 | 148024 1 | 0 | 2 1289.00/1289.35 c 1287s | 16 | 265981 | 183952 | 148024 1 | 0 | 2 1291.10/1291.46 c 1289s | 16 | 266339 | 184252 | 148024 1 | 0 | 2 1293.49/1293.81 c 1291s | 16 | 266723 | 184552 | 148024 1 | 0 | 2 1296.09/1296.49 c 1294s | 16 | 267092 | 184852 | 148024 1 | 0 | 2 1298.80/1299.16 c 1297s | 16 | 267439 | 185152 | 148024 1 | 0 | 2 1301.09/1301.45 c 1299s | 16 | 267822 | 185452 | 148024 1 | 0 | 2 1303.39/1303.73 c 1301s | 16 | 268194 | 185752 | 148024 1 | 0 | 2 1305.68/1306.09 c 1304s | 16 | 268564 | 186052 | 148024 1 | 0 | 2 1308.29/1308.69 c 1306s | 16 | 268926 | 186352 | 148024 1 | 0 | 2 1310.29/1310.69 c 1308s | 16 | 269167 | 186552 | 148024 1 | 0 | 2 1312.98/1313.38 c 1311s | 16 | 269522 | 186852 | 148024 1 | 0 | 2 1316.08/1316.40 c 1314s | 16 | 269864 | 187152 | 148024 1 | 0 | 2 1318.88/1319.25 c 1317s | 16 | 270231 | 187452 | 148024 1 | 0 | 2 1321.49/1321.84 c 1320s | 16 | 270604 | 187752 | 148024 1 | 0 | 2 1323.69/1324.02 c 1322s | 16 | 270850 | 187952 | 148024 1 | 0 | 2 1325.78/1326.17 c 1324s | 16 | 271103 | 188152 | 148024 1 | 0 | 2 1327.88/1328.20 c 1326s | 16 | 271366 | 188352 | 148024 1 | 0 | 2 1330.08/1330.47 c 1328s | 16 | 271631 | 188552 | 148024 1 | 0 | 2 1333.18/1333.59 c 1331s | 16 | 272008 | 188852 | 148024 1 | 0 | 2 1335.37/1335.73 c 1333s | 16 | 272275 | 189052 | 148024 1 | 0 | 2 1337.67/1338.03 c 1336s | 16 | 272532 | 189252 | 148024 1 | 0 | 2 1339.87/1340.27 c 1338s | 16 | 272769 | 189452 | 148024 1 | 0 | 2 1342.47/1342.81 c 1341s | 16 | 273056 | 189652 | 148024 1 | 0 | 2 1344.67/1345.01 c 1343s | 16 | 273291 | 189852 | 148024 1 | 0 | 2 1346.87/1347.21 c 1345s | 16 | 273553 | 190052 | 148024 1 | 0 | 2 1349.07/1349.44 c 1347s | 16 | 273801 | 190252 | 148024 1 | 0 | 2 1351.77/1352.14 c 1350s | 16 | 274214 | 190552 | 148024 1 | 0 | 2 1355.07/1355.46 c 1353s | 16 | 274598 | 190852 | 148024 1 | 0 | 2 1357.87/1358.25 c 1356s | 16 | 274998 | 191152 | 148024 1 | 0 | 2 1360.37/1360.74 c 1358s | 16 | 275407 | 191452 | 148024 1 | 0 | 2 1362.96/1363.35 c 1361s | 16 | 275814 | 191752 | 148024 1 | 0 | 2 1365.76/1366.10 c 1364s | 16 | 276193 | 192052 | 148024 1 | 0 | 2 1368.17/1368.57 c 1366s | 16 | 276609 | 192352 | 148024 1 | 0 | 2 1370.46/1370.85 c 1369s | 16 | 277065 | 192652 | 148024 1 | 0 | 2 1373.06/1373.48 c 1371s | 16 | 277487 | 192952 | 148024 1 | 0 | 2 1375.77/1376.17 c 1374s | 16 | 277946 | 193252 | 148024 1 | 0 | 2 1378.46/1378.89 c 1377s | 16 | 278352 | 193552 | 148024 1 | 0 | 2 1381.26/1381.70 c 1379s | 16 | 278774 | 193852 | 148024 1 | 0 | 2 1383.76/1384.13 c 1382s | 16 | 279160 | 194152 | 148024 1 | 0 | 2 1385.76/1386.13 c 1384s | 16 | 279437 | 194352 | 148024 1 | 0 | 2 1388.56/1388.97 c 1387s | 16 | 279854 | 194652 | 148024 1 | 0 | 2 1391.35/1391.73 c 1389s | 16 | 280205 | 194952 | 148024 1 | 0 | 2 1394.15/1394.50 c 1392s | 16 | 280619 | 195252 | 148024 1 | 0 | 2 1396.85/1397.22 c 1395s | 16 | 281011 | 195552 | 148024 1 | 0 | 2 1399.75/1400.18 c 1398s | 16 | 281409 | 195852 | 148024 1 | 0 | 2 1402.05/1402.42 c 1400s | 16 | 281711 | 196052 | 162827 1 | 0 | 2 1405.05/1405.40 c 1403s | 16 | 282116 | 196352 | 162827 1 | 0 | 2 1407.35/1407.80 c 1405s | 16 | 282534 | 196652 | 162827 1 | 0 | 2 1410.45/1410.81 c 1408s | 16 | 282939 | 196952 | 162827 1 | 0 | 2 1413.16/1413.59 c 1411s | 16 | 283339 | 197252 | 162827 1 | 0 | 2 1414.75/1415.11 c 1413s | 17 | 283579 | 197432 | 162827 1 | 0 | 2 1419.05/1419.47 c 1417s | 17 | 284566 | 197532 | 162827 1 | 0 | 2 1421.05/1421.49 c 1419s | 17 | 285178 | 197932 | 162827 1 | 0 | 2 1423.34/1423.72 c 1421s | 17 | 285780 | 198332 | 162827 1 | 0 | 2 1425.54/1425.95 c 1424s | 17 | 286236 | 198632 | 162827 1 | 0 | 2 1428.04/1428.43 c 1426s | 17 | 286824 | 199032 | 162827 1 | 0 | 2 1430.24/1430.64 c 1428s | 17 | 287456 | 199432 | 162827 1 | 0 | 2 1432.44/1432.89 c 1431s | 17 | 288092 | 199832 | 162827 1 | 0 | 2 1435.04/1435.47 c 1433s | 17 | 288644 | 200232 | 162827 1 | 0 | 2 1437.74/1438.18 c 1436s | 17 | 289221 | 200632 | 162827 1 | 0 | 2 1439.84/1440.29 c 1438s | 17 | 289660 | 200932 | 162827 1 | 0 | 2 1441.94/1442.40 c 1440s | 17 | 290060 | 201232 | 162827 1 | 0 | 2 1444.24/1444.63 c 1442s | 17 | 290645 | 201632 | 162827 1 | 0 | 2 1446.34/1446.77 c 1444s | 17 | 291121 | 201932 | 162827 1 | 0 | 2 1448.45/1448.89 c 1447s | 17 | 291601 | 202232 | 162827 1 | 0 | 2 1451.03/1451.48 c 1449s | 17 | 292130 | 202632 | 162827 1 | 0 | 2 1453.44/1453.86 c 1452s | 17 | 292653 | 203032 | 162827 1 | 0 | 2 1455.74/1456.11 c 1454s | 17 | 293195 | 203432 | 162827 1 | 0 | 2 1457.84/1458.27 c 1456s | 17 | 293609 | 203732 | 162827 1 | 0 | 2 1460.14/1460.58 c 1458s | 17 | 294009 | 204032 | 162827 1 | 0 | 2 1462.34/1462.74 c 1460s | 17 | 294385 | 204332 | 162827 1 | 0 | 2 1464.64/1465.05 c 1463s | 17 | 294858 | 204732 | 162827 1 | 0 | 2 1466.94/1467.31 c 1465s | 17 | 295259 | 205032 | 162827 1 | 0 | 2 1469.13/1469.55 c 1467s | 17 | 295630 | 205332 | 162827 1 | 0 | 2 1471.33/1471.73 c 1469s | 17 | 296030 | 205632 | 162827 1 | 0 | 2 1473.53/1473.95 c 1472s | 17 | 296455 | 205932 | 162827 1 | 0 | 2 1475.94/1476.32 c 1474s | 17 | 296830 | 206232 | 162827 1 | 0 | 2 1478.33/1478.70 c 1476s | 17 | 297246 | 206532 | 162827 1 | 0 | 2 1480.53/1480.96 c 1479s | 17 | 297699 | 206832 | 162827 1 | 0 | 2 1482.73/1483.12 c 1481s | 17 | 298083 | 207132 | 162827 1 | 0 | 2 1485.23/1485.65 c 1483s | 17 | 298516 | 207432 | 162827 1 | 0 | 2 1487.94/1488.31 c 1486s | 17 | 299103 | 207832 | 162827 1 | 0 | 2 1490.03/1490.46 c 1488s | 17 | 299510 | 208132 | 162827 1 | 0 | 2 1492.53/1492.93 c 1491s | 17 | 299905 | 208432 | 162827 1 | 0 | 2 1494.73/1495.18 c 1493s | 17 | 300331 | 208732 | 162827 1 | 0 | 2 1497.03/1497.46 c 1495s | 17 | 300746 | 209032 | 162827 1 | 0 | 2 1499.63/1500.02 c 1498s | 17 | 301136 | 209332 | 162827 1 | 0 | 2 1501.63/1502.05 c 1500s | 17 | 301517 | 209632 | 162827 1 | 0 | 2 1504.03/1504.43 c 1502s | 17 | 301892 | 209932 | 162827 1 | 0 | 2 1506.33/1506.73 c 1504s | 17 | 302300 | 210232 | 162827 1 | 0 | 2 1509.43/1509.89 c 1508s | 17 | 302746 | 210532 | 162827 1 | 0 | 2 1512.03/1512.44 c 1510s | 17 | 303010 | 210732 | 162827 1 | 0 | 2 1514.03/1514.45 c 1512s | 17 | 303425 | 211032 | 162827 1 | 0 | 2 1516.13/1516.58 c 1514s | 17 | 303697 | 211232 | 162827 1 | 0 | 2 1518.23/1518.61 c 1516s | 17 | 303977 | 211432 | 162827 1 | 0 | 2 1520.23/1520.66 c 1518s | 17 | 304375 | 211732 | 162827 1 | 0 | 2 1522.42/1522.81 c 1521s | 17 | 304786 | 212032 | 162827 1 | 0 | 2 1525.02/1525.43 c 1523s | 17 | 305176 | 212332 | 162827 1 | 0 | 2 1527.53/1528.00 c 1526s | 17 | 305567 | 212632 | 162827 1 | 0 | 2 1530.33/1530.78 c 1528s | 17 | 305948 | 212932 | 162827 1 | 0 | 2 1533.83/1534.26 c 1532s | 17 | 306378 | 213232 | 162827 1 | 0 | 2 1536.12/1536.50 c 1534s | 17 | 306747 | 213532 | 162827 1 | 0 | 2 1538.63/1539.01 c 1537s | 17 | 307205 | 213832 | 162827 1 | 0 | 2 1540.72/1541.20 c 1539s | 17 | 307661 | 214132 | 162827 1 | 0 | 2 1543.32/1543.73 c 1541s | 17 | 308036 | 214432 | 162827 1 | 0 | 2 1546.12/1546.55 c 1544s | 17 | 308422 | 214732 | 162827 1 | 0 | 2 1548.82/1549.23 c 1547s | 17 | 308837 | 215032 | 162827 1 | 0 | 2 1551.12/1551.58 c 1549s | 17 | 309326 | 215332 | 162827 1 | 0 | 2 1553.61/1554.09 c 1552s | 17 | 309731 | 215632 | 162827 1 | 0 | 2 1556.22/1556.62 c 1554s | 17 | 310122 | 215932 | 162827 1 | 0 | 2 1559.12/1559.54 c 1557s | 17 | 310531 | 216232 | 162827 1 | 0 | 2 1561.11/1561.58 c 1559s | 17 | 310782 | 216432 | 162827 1 | 0 | 2 1563.41/1563.89 c 1562s | 17 | 311058 | 216632 | 162827 1 | 0 | 2 1566.02/1566.42 c 1564s | 17 | 311636 | 217032 | 162827 1 | 0 | 2 1568.51/1568.91 c 1567s | 17 | 312008 | 217332 | 162827 1 | 0 | 2 1571.51/1571.91 c 1570s | 17 | 312281 | 217532 | 162827 1 | 0 | 2 1573.72/1574.11 c 1572s | 17 | 312838 | 217932 | 162827 1 | 0 | 2 1576.20/1576.61 c 1574s | 17 | 313270 | 218232 | 162827 1 | 0 | 2 1578.30/1578.78 c 1576s | 17 | 313765 | 218532 | 162827 1 | 0 | 2 1580.61/1581.03 c 1579s | 17 | 314181 | 218832 | 162827 1 | 0 | 2 1583.01/1583.48 c 1581s | 17 | 314594 | 219132 | 162827 1 | 0 | 2 1586.10/1586.59 c 1584s | 17 | 314975 | 219432 | 162827 1 | 0 | 2 1588.31/1588.74 c 1586s | 17 | 315202 | 219632 | 162827 1 | 0 | 2 1590.60/1591.03 c 1589s | 17 | 315513 | 219832 | 162827 1 | 0 | 2 1593.10/1593.55 c 1591s | 17 | 316067 | 220232 | 162827 1 | 0 | 2 1595.40/1595.89 c 1594s | 17 | 316583 | 220632 | 162827 1 | 0 | 2 1597.80/1598.29 c 1596s | 17 | 317085 | 221032 | 162827 1 | 0 | 2 1600.12/1600.53 c 1598s | 17 | 317464 | 221332 | 162827 1 | 0 | 2 1602.21/1602.63 c 1600s | 17 | 317829 | 221632 | 162827 1 | 0 | 2 1604.90/1605.32 c 1603s | 17 | 318338 | 222032 | 162827 1 | 0 | 2 1607.30/1607.76 c 1605s | 17 | 318884 | 222432 | 162827 1 | 0 | 2 1609.70/1610.15 c 1608s | 17 | 319374 | 222832 | 162827 1 | 0 | 2 1612.50/1612.90 c 1611s | 17 | 319871 | 223232 | 162827 1 | 0 | 2 1615.00/1615.42 c 1613s | 17 | 320270 | 223532 | 162827 1 | 0 | 2 1617.20/1617.63 c 1615s | 17 | 320661 | 223832 | 162827 1 | 0 | 2 1619.80/1620.24 c 1618s | 17 | 321040 | 224132 | 162827 1 | 0 | 2 1621.99/1622.43 c 1620s | 17 | 321422 | 224432 | 162827 1 | 0 | 2 1624.59/1625.05 c 1623s | 17 | 321818 | 224732 | 162827 1 | 0 | 2 1627.50/1627.93 c 1626s | 17 | 322190 | 225032 | 162827 1 | 0 | 2 1629.60/1630.01 c 1628s | 17 | 322435 | 225232 | 162827 1 | 0 | 2 1631.90/1632.33 c 1630s | 17 | 322681 | 225432 | 162827 1 | 0 | 2 1634.79/1635.21 c 1633s | 17 | 323077 | 225732 | 162827 1 | 0 | 2 1637.39/1637.84 c 1636s | 17 | 323479 | 226032 | 162827 1 | 0 | 2 1640.10/1640.58 c 1638s | 17 | 323833 | 226332 | 162827 1 | 0 | 2 1642.69/1643.15 c 1641s | 17 | 324241 | 226632 | 162827 1 | 0 | 2 1645.30/1645.73 c 1643s | 17 | 324602 | 226932 | 162827 1 | 0 | 2 1647.89/1648.30 c 1646s | 17 | 324974 | 227232 | 162827 1 | 0 | 2 1650.39/1650.85 c 1649s | 17 | 325354 | 227532 | 162827 1 | 0 | 2 1652.79/1653.25 c 1651s | 17 | 325729 | 227832 | 162827 1 | 0 | 2 1655.49/1655.92 c 1654s | 17 | 326099 | 228132 | 162827 1 | 0 | 2 1658.29/1658.76 c 1656s | 17 | 326480 | 228432 | 162827 1 | 0 | 2 1660.88/1661.35 c 1659s | 17 | 326866 | 228732 | 162827 1 | 0 | 2 1663.99/1664.43 c 1662s | 17 | 327217 | 229032 | 162827 1 | 0 | 2 1666.88/1667.38 c 1665s | 17 | 327578 | 229332 | 162827 1 | 0 | 2 1669.88/1670.33 c 1668s | 17 | 327930 | 229632 | 162827 1 | 0 | 2 1672.59/1673.04 c 1671s | 17 | 328302 | 229932 | 162827 1 | 0 | 2 1675.49/1675.95 c 1674s | 17 | 328685 | 230232 | 162827 1 | 0 | 2 1677.69/1678.16 c 1676s | 17 | 328929 | 230432 | 162827 1 | 0 | 2 1680.39/1680.90 c 1679s | 17 | 329302 | 230732 | 162827 1 | 0 | 2 1682.59/1683.08 c 1681s | 17 | 329548 | 230932 | 162827 1 | 0 | 2 1685.68/1686.11 c 1684s | 17 | 329971 | 231232 | 162827 1 | 0 | 2 1687.68/1688.12 c 1686s | 17 | 330253 | 231432 | 162827 1 | 0 | 2 1690.38/1690.88 c 1689s | 17 | 330626 | 231732 | 162827 1 | 0 | 2 1692.49/1693.00 c 1691s | 17 | 330875 | 231932 | 162827 1 | 0 | 2 1694.69/1695.14 c 1693s | 17 | 331103 | 232132 | 162827 1 | 0 | 2 1696.78/1697.21 c 1695s | 17 | 331345 | 232332 | 162827 1 | 0 | 2 1698.98/1699.45 c 1697s | 17 | 331590 | 232532 | 162827 1 | 0 | 2 1701.08/1701.54 c 1699s | 17 | 331837 | 232732 | 162827 1 | 0 | 2 1703.78/1704.27 c 1702s | 17 | 332083 | 232932 | 162827 1 | 0 | 2 1706.47/1706.91 c 1705s | 17 | 332312 | 233132 | 162827 1 | 0 | 2 1708.99/1709.43 c 1707s | 17 | 332571 | 233332 | 162827 1 | 0 | 2 1711.58/1712.00 c 1710s | 17 | 332819 | 233532 | 162827 1 | 0 | 2 1714.27/1714.70 c 1712s | 17 | 333063 | 233732 | 162827 1 | 0 | 2 1716.48/1716.97 c 1715s | 17 | 333314 | 233932 | 162827 1 | 0 | 2 1719.08/1719.57 c 1717s | 17 | 333559 | 234132 | 162827 1 | 0 | 2 1721.27/1721.79 c 1719s | 17 | 333805 | 234332 | 162827 1 | 0 | 2 1723.57/1724.01 c 1722s | 17 | 334050 | 234532 | 162827 1 | 0 | 2 1726.17/1726.67 c 1724s | 17 | 334299 | 234732 | 162827 1 | 0 | 2 1729.17/1729.64 c 1727s | 17 | 334690 | 235032 | 162827 1 | 0 | 2 1731.37/1731.83 c 1730s | 17 | 334926 | 235232 | 162827 1 | 0 | 2 1733.58/1734.01 c 1732s | 17 | 335197 | 235432 | 162827 1 | 0 | 2 1735.57/1736.03 c 1734s | 17 | 335464 | 235632 | 162827 1 | 0 | 2 1738.17/1738.61 c 1736s | 17 | 335725 | 235832 | 162827 1 | 0 | 2 1740.88/1741.34 c 1739s | 17 | 335955 | 236032 | 162827 1 | 0 | 2 1743.47/1743.97 c 1742s | 17 | 336227 | 236232 | 162827 1 | 0 | 2 1746.38/1746.88 c 1745s | 17 | 336461 | 236432 | 162827 1 | 0 | 2 1748.58/1749.04 c 1747s | 17 | 336718 | 236632 | 162827 1 | 0 | 2 1751.17/1751.64 c 1749s | 17 | 336962 | 236832 | 162827 1 | 0 | 2 1753.37/1753.85 c 1752s | 17 | 337201 | 237032 | 162827 1 | 0 | 2 1755.97/1756.48 c 1754s | 17 | 337494 | 237232 | 162827 1 | 0 | 2 1759.07/1759.50 c 1757s | 17 | 337755 | 237432 | 162827 1 | 0 | 2 1761.27/1761.70 c 1759s | 17 | 338019 | 237632 | 162827 1 | 0 | 2 1764.27/1764.77 c 1762s | 17 | 338428 | 237932 | 162827 1 | 0 | 2 1766.28/1766.79 c 1764s | 17 | 338676 | 238132 | 162827 1 | 0 | 2 1768.57/1769.04 c 1767s | 17 | 339068 | 238432 | 162827 1 | 0 | 2 1771.16/1771.66 c 1769s | 17 | 339454 | 238732 | 162827 1 | 0 | 2 1774.16/1774.69 c 1772s | 17 | 339830 | 239032 | 162827 1 | 0 | 2 1776.36/1776.88 c 1775s | 17 | 340069 | 239232 | 162827 1 | 0 | 2 1778.75/1779.21 c 1777s | 17 | 340478 | 239532 | 162827 1 | 0 | 2 1780.85/1781.37 c 1779s | 17 | 340742 | 239732 | 162827 1 | 0 | 2 1783.35/1783.89 c 1782s | 17 | 341228 | 240032 | 162827 1 | 0 | 2 1785.55/1786.06 c 1784s | 17 | 341496 | 240232 | 162827 1 | 0 | 2 1789.05/1789.59 c 1787s | 17 | 341767 | 240432 | 162827 1 | 0 | 2 1792.05/1792.59 c 1790s | 17 | 342058 | 240632 | 162827 1 | 0 | 2 1794.76/1795.29 c 1793s | 17 | 342360 | 240832 | 162827 1 | 0 | 2 1797.15/1797.61 c 1795s | 17 | 342687 | 241032 | 162827 1 | 0 | 2 1799.55/1800.01 c 1798s | 17 | 342963 | 241232 | 162827 1 | 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-4106574-1466273743/watcher-4106574-1466273743 -o /tmp/evaluation-result-4106574-1466273743/solver-4106574-1466273743 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13249 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106574-1466273743.opb pid=15000 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.23 2.20 2.17 3/179 15003 /proc/meminfo: memFree=30082128/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=686524 CPUtime=0 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 2552 0 0 0 0 0 0 0 20 0 4 0 29423582 703000576 3423 33554432000 4194304 16246674 140733672177328 140733672176752 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 172143 3433 441 2943 0 169037 0 [pid=15003/tid=15004] ppid=15000 vsize=703932 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 720826368 3491 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=708028 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 725020672 3510 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=712124 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 729214976 3525 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.10017 s] /proc/loadavg: 2.23 2.20 2.17 3/179 15003 /proc/meminfo: memFree=30082128/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 28283 0 0 0 5 4 0 0 20 0 4 0 29423582 1333334016 29093 33554432000 4194304 16246674 140733672177328 140733672176640 7370353 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 325521 29107 800 2943 0 322415 0 [pid=15003/tid=15004] ppid=15000 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 1333334016 29118 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 1333334016 29132 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 1333334016 29143 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200484 s] /proc/loadavg: 2.23 2.20 2.17 3/179 15003 /proc/meminfo: memFree=30082128/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=1309252 CPUtime=0.19 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 48189 0 0 0 12 7 0 0 20 0 4 0 29423582 1340674048 48998 33554432000 4194304 16246674 140733672177328 140733672176640 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 327313 49004 835 2943 0 324207 0 [pid=15003/tid=15004] ppid=15000 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 1340674048 49007 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 1340674048 49011 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 1340674048 49014 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1309252 [startup+0.300463 s] /proc/loadavg: 2.23 2.20 2.17 3/179 15003 /proc/meminfo: memFree=30082128/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=1314372 CPUtime=0.28 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 49681 0 0 0 21 7 0 0 20 0 4 0 29423582 1345916928 50490 33554432000 4194304 16246674 140733672177328 140733672176640 4206864 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 328593 50490 835 2943 0 325487 0 [pid=15003/tid=15004] ppid=15000 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 1345916928 50490 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 1345916928 50490 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 1345916928 50490 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1314372 [startup+0.700398 s] /proc/loadavg: 2.23 2.20 2.17 3/179 15003 /proc/meminfo: memFree=30082128/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=1316420 CPUtime=0.69 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 60761 0 0 0 60 9 0 0 20 0 4 0 29423582 1348014080 61570 33554432000 4194304 16246674 140733672177328 140733672176640 13923765 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 329105 61570 835 2943 0 325999 0 [pid=15003/tid=15004] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 61570 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 61570 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 61570 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1316420 [startup+1.50038 s] /proc/loadavg: 2.23 2.20 2.17 3/183 15007 /proc/meminfo: memFree=29792312/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=1316420 CPUtime=1.49 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 72057 0 0 0 139 10 0 0 20 0 4 0 29423582 1348014080 72866 33554432000 4194304 16246674 140733672177328 140733672159232 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 329105 72866 895 2943 0 325999 0 [pid=15003/tid=15004] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 72866 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 72866 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 72866 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1316420 [startup+3.1004 s] /proc/loadavg: 2.23 2.20 2.17 3/183 15007 /proc/meminfo: memFree=29727956/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=1316420 CPUtime=3.09 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 88137 0 0 0 297 12 0 0 20 0 4 0 29423582 1348014080 88946 33554432000 4194304 16246674 140733672177328 140733672159232 5545916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 329105 88946 910 2943 0 325999 0 [pid=15003/tid=15004] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 88946 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 88946 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 88946 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1316420 [startup+6.3004 s] /proc/loadavg: 2.21 2.19 2.16 3/183 15007 /proc/meminfo: memFree=29727988/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=1316420 CPUtime=6.29 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 88137 0 0 0 616 13 0 0 20 0 4 0 29423582 1348014080 88946 33554432000 4194304 16246674 140733672177328 140733672159232 5754924 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 329105 88946 910 2943 0 325999 0 [pid=15003/tid=15004] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 88946 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 88946 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 88946 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1316420 [startup+12.7004 s] /proc/loadavg: 2.20 2.19 2.16 3/183 15007 /proc/meminfo: memFree=29665520/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=1316420 CPUtime=12.68 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 103862 0 0 0 1254 14 0 0 20 0 4 0 29423582 1348014080 104671 33554432000 4194304 16246674 140733672177328 140733672159232 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 329105 104671 913 2943 0 325999 0 [pid=15003/tid=15004] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 104671 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 104671 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 104671 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1316420 [startup+25.5005 s] /proc/loadavg: 2.22 2.20 2.17 3/183 15007 /proc/meminfo: memFree=29484516/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=1316420 CPUtime=25.48 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 149179 0 0 0 2528 20 0 0 20 0 4 0 29423582 1348014080 149988 33554432000 4194304 16246674 140733672177328 140733672159232 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 329105 149988 913 2943 0 325999 0 [pid=15003/tid=15004] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 149988 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 149988 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 149988 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1316420 [startup+51.1005 s] /proc/loadavg: 2.15 2.18 2.16 3/183 15007 /proc/meminfo: memFree=29484556/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=1316420 CPUtime=51.08 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 149179 0 0 0 5087 21 0 0 20 0 4 0 29423582 1348014080 149988 33554432000 4194304 16246674 140733672177328 140733672159232 6022984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 329105 149988 913 2943 0 325999 0 [pid=15003/tid=15004] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 149988 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 149988 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 149988 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1316420 [startup+102.3 s] /proc/loadavg: 2.06 2.15 2.15 3/183 15009 /proc/meminfo: memFree=29483836/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=1316420 CPUtime=102.28 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 149181 0 0 0 10205 23 0 0 20 0 4 0 29423582 1348014080 149990 33554432000 4194304 16246674 140733672177328 140733672159232 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 329105 149990 915 2943 0 325999 0 [pid=15003/tid=15004] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 149990 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 149990 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 1348014080 149990 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1316420 ################ # More data... # ################ /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 2254404 [startup+1362.3 s] /proc/loadavg: 2.16 2.08 2.09 3/183 15040 /proc/meminfo: memFree=28028492/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=2254404 CPUtime=1361.96 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 505076 0 0 0 136013 183 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140733672159232 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 563601 505628 918 2943 0 560495 0 [pid=15003/tid=15004] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 2254404 [startup+1422.3 s] /proc/loadavg: 2.16 2.11 2.10 3/183 15041 /proc/meminfo: memFree=28028380/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=2254404 CPUtime=1421.95 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 505104 0 0 0 142007 188 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140733672175168 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 563601 505628 918 2943 0 560495 0 [pid=15003/tid=15004] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 2254404 [startup+1482.3 s] /proc/loadavg: 2.15 2.11 2.10 3/184 15045 /proc/meminfo: memFree=28028452/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=2254404 CPUtime=1481.94 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 505113 0 0 0 148000 194 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140733672176504 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 563601 505628 918 2943 0 560495 0 [pid=15003/tid=15004] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 2254404 [startup+1542.31 s] /proc/loadavg: 2.15 2.12 2.09 3/183 15046 /proc/meminfo: memFree=28028240/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=2254404 CPUtime=1541.92 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 505121 0 0 0 153992 200 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140733672159232 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 563601 505628 918 2943 0 560495 0 [pid=15003/tid=15004] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 2254404 [startup+1602.3 s] /proc/loadavg: 2.20 2.14 2.10 3/183 15048 /proc/meminfo: memFree=28028372/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=2254404 CPUtime=1601.91 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 505138 0 0 0 159983 208 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140733672159232 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 563601 505628 918 2943 0 560495 0 [pid=15003/tid=15004] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 2254404 [startup+1662.3 s] /proc/loadavg: 2.27 2.16 2.10 3/183 15098 /proc/meminfo: memFree=28046812/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=2254404 CPUtime=1661.89 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 505150 0 0 0 165972 217 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140733672176504 5545832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 563601 505628 918 2943 0 560495 0 [pid=15003/tid=15004] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 2254404 [startup+1722.3 s] /proc/loadavg: 2.14 2.14 2.10 3/183 15099 /proc/meminfo: memFree=28015156/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=2254404 CPUtime=1721.88 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 505158 0 0 0 171963 225 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140733672176504 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 563601 505628 918 2943 0 560495 0 [pid=15003/tid=15004] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 2254404 [startup+1782.3 s] /proc/loadavg: 2.19 2.16 2.10 4/183 15100 /proc/meminfo: memFree=27985284/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=2254404 CPUtime=1781.86 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 505180 0 0 0 177951 235 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140733672176504 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 563601 505628 918 2943 0 560495 0 [pid=15003/tid=15004] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 2254404 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.13 2.15 2.10 3/183 15100 /proc/meminfo: memFree=27985520/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=2254404 CPUtime=1800.05 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 505181 0 0 0 179768 237 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140733672159232 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 563601 505628 918 2943 0 560495 0 [pid=15003/tid=15004] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2254404 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 15003 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.13 2.15 2.10 3/183 15100 /proc/meminfo: memFree=27985520/32872528 swapFree=681964/737152 [pid=15003] ppid=15000 vsize=2254404 CPUtime=1800.05 cores=0,2,4,6 /proc/15003/stat : 15003 (toysat) R 15000 15003 13233 0 -1 4202496 505181 0 0 0 179768 237 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140733672159232 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15003/statm: 563601 505628 918 2943 0 560495 0 [pid=15003/tid=15004] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15004/stat : 15004 (toysat) S 15000 15003 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640304213232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15003/tid=15005] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15005/stat : 15005 (toysat) S 15000 15003 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640293723376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15003/tid=15006] ppid=15000 vsize=2254404 CPUtime=0 cores=0,2,4,6 /proc/15003/task/15006/stat : 15006 (toysat) S 15000 15003 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29423582 2308509696 505628 33554432000 4194304 16246674 140733672177328 140640180497584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2254404 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.53 CPU time (s): 1800.08 CPU user time (s): 1797.69 CPU system time (s): 2.39564 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 2254404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.69 system time used= 2.39563 maximum resident set size= 2022512 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 505181 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= 410 involuntary context switches= 1829 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.21921 second user time and 7.54585 second system time The end
Begin job on node112 at 2016-06-18 20:15:43 IDJOB=4106574 IDBENCH=48115 IDSOLVER=2542 FILE ID=node112/4106574-1466273743 RUNJOBID= node112-1466264161-13249 PBS_JOBID= 19918218 Free space on /tmp= 71696 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_2.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106574-1466273743/watcher-4106574-1466273743 -o /tmp/evaluation-result-4106574-1466273743/solver-4106574-1466273743 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13249 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106574-1466273743.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4286ef8a2349cd557f37fdb755cd5234 RANDOM SEED=172851720 node112.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.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.46 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.734 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.734 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 : 5321.48 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.734 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.734 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.734 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.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30083044 kB Buffers: 72528 kB Cached: 157424 kB SwapCached: 2028 kB Active: 1179216 kB Inactive: 137456 kB Active(anon): 1086776 kB Inactive(anon): 2096 kB Active(file): 92440 kB Inactive(file): 135360 kB Unevictable: 737152 kB Mlocked: 681964 kB SwapTotal: 67108856 kB SwapFree: 67096744 kB Dirty: 16680 kB Writeback: 0 kB AnonPages: 1822660 kB Mapped: 10464 kB Shmem: 0 kB Slab: 602368 kB SReclaimable: 45992 kB SUnreclaim: 556376 kB KernelStack: 1464 kB PageTables: 7656 kB NFS_Unstable: 4 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1964388 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 59392 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= 71680 MiB End job on node112 at 2016-06-18 20:45:44