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.12 | 1800.49 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_5.opb |
| MD5SUM | d79bd0f7d6fceec4ec599aa8716e2601 |
| 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 | 78 |
| Best CPU time to get the best result obtained on this benchmark | 1800.11 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 74 |
| 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) | 31590 |
| Sum of products size (including duplicates) | 63180 |
| Number of different products | 31590 |
| Sum of products size | 63180 |
0.00/0.00 c 2016-06-07T01:45:13+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-4080115-1465256712.opb"] 0.00/0.01 c use --random-gen="4062569087 1761070748 839645646 2275464882 4099609979 329284001 1787086052 1738661838 2450866903 739432326 4046104050 3010686872 3693567709 2195681267 2341503397 172943334 1076573825 3627813226 4214813530 3347028097 3270719114 667217037 2914283549 2985493005 955628382 290225988 2308228368 1176375704 368146159 2854929121 344126140 3455328132 467812263 2316379956 3624880651 2067058679 3699946028 135564370 2935770477 3462783064 3715614457 2737837600 499029480 3790910082 1282218574 1030222295 3385858191 2624731305 1803957262 4098812863 2713079056 3029251809 1802876957 1968572910 2177949124 2325925736 1639204136 1993593210 52315770 1315323663 2793065593 3089200258 152168342 3254491486 2485537303 3862245485 3411610359 135560543 1192090055 3637817316 3112546054 2178417529 1679754059 3145240673 339306850 3459842303 4220288128 2575873415 2420868273 1812096983 2162646495 3640592956 1972749244 292427531 2636207633 1500384146 1897122077 2939628752 11023459 2584194610 2239162007 3788653879 2982376794 3178028616 2752234804 734386175 1342235485 2832320737 2023848145 507833971 1739635090 946963491 1272064329 1244451997 3830630920 1715319798 1267155521 603648106 1443889398 4010039722 3416709040 866562676 1178147255 273759131 3238213685 1087219174 837041586 1564523143 2458388145 959598512 1736762341 3198659608 853701162 2621672351 2225651451 3001538103 1740048877 3754286817 4031492593 332599350 3733953689 713906332 791847742 1969140978 1613507008 1257369035 1263647247 3914140394 2181715538 3161053536 1547741955 3974751512 2025373590 307505280 1486496947 988170869 1773066835 2746336029 2949677846 2957397358 289660864 1471572539 785180649 3648548780 220997293 949165813 2064843384 391841701 93520168 2827611089 4198795184 1586241397 4131822928 148422381 2297714818 3228289617 1871764834 3999819811 1804796736 3721382303 1807511641 495163122 1549563987 518231314 2444365532 383191280 685493920 2306995861 3203127177 3029076286 1533189959 2004838153 2379332973 1443889027 3450603226 739749272 793852394 2053719209 3859572781 2579123868 3031627529 918268890 184442177 2502409052 3148342310 1123890596 2325702965 3900496900 231288781 2188679714 975946495 774045827 3656137343 4114971722 2085125778 1421708848 3669892742 2611762560 3029902036 1551738340 2781645926 3972500257 2831400871 2020223617 1356138728 1936854716 2304032162 903254996 3684694414 3182019370 3953209947 431381257 3269175938 4179807354 480280879 230057378 1554525354 4045717585 2557308966 296937148 1627844786 3558270656 2797745721 2774756556 4126607833 429755300 917812853 2241283893 4202277606 550473377 1403332746 2695326851 186492093 902173536 3483385079 3979030586 2001821965 1572209428 224621732 1680102983 180783406 3137449098 1167804927 3969706523 20539051 2613831106 255 362436" option to reproduce the execution 0.09/0.11 c #vars 1000 0.09/0.11 c #constraints 1000 0.68/0.72 c BCD2: Hardening is enabled. 0.68/0.72 c BCD2: BiasedSearch is enabled. 0.68/0.72 c Solving starts ... 0.68/0.72 c ============================[ Search Statistics ]============================ 0.68/0.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.72 c | | | | Limit GC | Var | Constra 0.68/0.72 c ============================================================================= 0.68/0.78 c 0.0s | 0 | 0 | 0 | 32256 0 | 0 | 0 0.79/0.85 c 0.1s | 0 | 3152 | 0 | 32256 0 | 0 | 0 0.79/0.85 c #cpu_time = 0.058s 0.79/0.85 c #wall_clock_time = 0.058s 0.79/0.85 c #decision = 3152 0.79/0.85 c #random_decision = 4 0.79/0.85 c #conflict = 0 0.79/0.85 c #restart = 0 0.79/0.85 o 881 0.79/0.85 c BCD2: updating upper bound: 1000 -> 880 0.79/0.85 c BCD2: 0 <= obj <= 880 0.79/0.85 c BCD2: #cores=0, #unrelaxed=1000, #relaxed=0, #hardened=0 0.79/0.85 c BCD2: #sat=1 #unsat=1 bias=1/2 0.79/0.85 c Solving starts ... 0.79/0.85 c ============================[ Search Statistics ]============================ 0.79/0.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.85 c | | | | Limit GC | Var | Constra 0.79/0.85 c ============================================================================= 0.79/0.85 c 0.0s | 0 | 0 | 0 | 32256 0 | 0 | 0 0.89/0.94 c 0.1s | 0 | 857 | 0 | 32256 0 | 0 | 0 0.89/0.94 c #cpu_time = 0.072s 0.89/0.94 c #wall_clock_time = 0.072s 0.89/0.94 c #decision = 857 0.89/0.94 c #random_decision = 0 0.89/0.94 c #conflict = 0 0.89/0.94 c #restart = 0 0.89/0.94 c BCD2: found a new core of size 30: cost of the new core is >=1 0.89/0.94 c lower bound updated to 1 0.89/0.94 c BCD2: 1 <= obj <= 880 0.89/0.94 c BCD2: #cores=1, #unrelaxed=970, #relaxed=30, #hardened=0 0.89/0.94 c BCD2: #sat=1 #unsat=2 bias=2/3 0.89/0.94 c Solving starts ... 0.89/0.94 c ============================[ Search Statistics ]============================ 0.89/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.94 c | | | | Limit GC | Var | Constra 0.89/0.94 c ============================================================================= 0.99/1.01 c 0.0s | 0 | 0 | 0 | 32256 0 | 0 | 0 0.99/1.08 c 0.1s | 0 | 845 | 0 | 32256 0 | 0 | 0 0.99/1.08 c #cpu_time = 0.057s 0.99/1.08 c #wall_clock_time = 0.057s 0.99/1.08 c #decision = 845 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 35: 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 <= 880 0.99/1.08 c BCD2: #cores=2, #unrelaxed=935, #relaxed=65, #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 | 32256 0 | 0 | 0 1.09/1.15 c 0.1s | 0 | 829 | 0 | 32256 0 | 0 | 0 1.09/1.15 c #cpu_time = 0.057s 1.09/1.15 c #wall_clock_time = 0.057s 1.09/1.15 c #decision = 829 1.09/1.15 c #random_decision = 0 1.09/1.15 c #conflict = 0 1.09/1.15 c #restart = 0 1.09/1.15 c BCD2: found a new core of size 29: cost of the new core is >=1 1.09/1.15 c lower bound updated to 3 1.09/1.15 c BCD2: 3 <= obj <= 880 1.09/1.15 c BCD2: #cores=3, #unrelaxed=906, #relaxed=94, #hardened=0 1.09/1.15 c BCD2: #sat=1 #unsat=4 bias=4/5 1.09/1.15 c Solving starts ... 1.09/1.15 c ============================[ Search Statistics ]============================ 1.09/1.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.15 c | | | | Limit GC | Var | Constra 1.09/1.15 c ============================================================================= 1.09/1.16 c 0.0s | 0 | 0 | 0 | 32256 0 | 0 | 0 1.19/1.23 c 0.1s | 0 | 810 | 0 | 32256 0 | 0 | 0 1.19/1.23 c #cpu_time = 0.056s 1.19/1.23 c #wall_clock_time = 0.056s 1.19/1.23 c #decision = 810 1.19/1.23 c #random_decision = 0 1.19/1.23 c #conflict = 0 1.19/1.23 c #restart = 0 1.19/1.23 c BCD2: found a new core of size 31: cost of the new core is >=1 1.19/1.23 c lower bound updated to 4 1.19/1.23 c BCD2: 4 <= obj <= 880 1.19/1.23 c BCD2: #cores=4, #unrelaxed=875, #relaxed=125, #hardened=0 1.19/1.23 c BCD2: #sat=1 #unsat=5 bias=5/6 1.19/1.23 c Solving starts ... 1.19/1.23 c ============================[ Search Statistics ]============================ 1.19/1.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.23 c | | | | Limit GC | Var | Constra 1.19/1.23 c ============================================================================= 1.19/1.23 c 0.0s | 0 | 0 | 0 | 32256 0 | 0 | 0 1.19/1.29 c 0.1s | 0 | 797 | 0 | 32256 0 | 0 | 0 1.19/1.29 c #cpu_time = 0.056s 1.19/1.29 c #wall_clock_time = 0.056s 1.19/1.29 c #decision = 797 1.19/1.29 c #random_decision = 0 1.19/1.29 c #conflict = 0 1.19/1.29 c #restart = 0 1.19/1.29 c BCD2: found a new core of size 27: cost of the new core is >=1 1.19/1.29 c lower bound updated to 5 1.19/1.29 c BCD2: 5 <= obj <= 880 1.19/1.29 c BCD2: #cores=5, #unrelaxed=848, #relaxed=152, #hardened=0 1.19/1.29 c BCD2: #sat=1 #unsat=6 bias=6/7 1.19/1.30 c Solving starts ... 1.19/1.30 c ============================[ Search Statistics ]============================ 1.19/1.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.30 c | | | | Limit GC | Var | Constra 1.19/1.30 c ============================================================================= 1.29/1.31 c 0.0s | 0 | 0 | 0 | 32256 0 | 0 | 0 1.29/1.38 c 0.1s | 0 | 816 | 0 | 32256 0 | 0 | 0 1.29/1.38 c #cpu_time = 0.058s 1.29/1.38 c #wall_clock_time = 0.058s 1.29/1.38 c #decision = 816 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 31: 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 <= 880 1.29/1.38 c BCD2: #cores=6, #unrelaxed=817, #relaxed=183, #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 | 32256 0 | 0 | 0 1.39/1.45 c 0.1s | 0 | 812 | 0 | 32256 0 | 0 | 0 1.39/1.45 c #cpu_time = 0.058s 1.39/1.45 c #wall_clock_time = 0.058s 1.39/1.45 c #decision = 812 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 26: 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 <= 880 1.39/1.45 c BCD2: #cores=7, #unrelaxed=791, #relaxed=209, #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 | 32256 0 | 0 | 0 1.49/1.53 c 0.1s | 0 | 788 | 0 | 32256 0 | 0 | 0 1.49/1.53 c #cpu_time = 0.056s 1.49/1.53 c #wall_clock_time = 0.056s 1.49/1.53 c #decision = 788 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 29: 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 <= 880 1.49/1.53 c BCD2: #cores=8, #unrelaxed=762, #relaxed=238, #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 | 32256 0 | 0 | 0 1.59/1.63 c 0.1s | 0 | 5089 | 0 | 32256 0 | 0 | 0 1.59/1.63 c #cpu_time = 0.074s 1.59/1.63 c #wall_clock_time = 0.074s 1.59/1.63 c #decision = 5089 1.59/1.63 c #random_decision = 6 1.59/1.63 c #conflict = 0 1.59/1.63 c #restart = 0 1.59/1.63 o 126 1.59/1.63 c BCD2: updating upper bound: 880 -> 125 1.59/1.64 c BCD2: 8 <= obj <= 125 1.59/1.64 c BCD2: #cores=8, #unrelaxed=762, #relaxed=238, #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.65 c 0.0s | 0 | 0 | 0 | 32256 0 | 0 | 1 1.69/1.76 c 0.1s | 0 | 3908 | 8 | 32256 0 | 0 | 1 1.69/1.76 c #cpu_time = 0.086s 1.69/1.76 c #wall_clock_time = 0.086s 1.69/1.76 c #decision = 3908 1.69/1.76 c #random_decision = 13 1.69/1.76 c #conflict = 8 1.69/1.76 c #restart = 0 1.69/1.77 o 101 1.69/1.77 c BCD2: updating upper bound: 125 -> 100 1.69/1.77 c BCD2: 8 <= obj <= 100 1.69/1.77 c BCD2: #cores=8, #unrelaxed=762, #relaxed=238, #hardened=0 1.69/1.77 c BCD2: #sat=3 #unsat=9 bias=9/12 1.69/1.77 c Solving starts ... 1.69/1.77 c ============================[ Search Statistics ]============================ 1.69/1.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.77 c | | | | Limit GC | Var | Constra 1.69/1.77 c ============================================================================= 1.69/1.77 c 0.0s | 0 | 0 | 0 | 32256 0 | 0 | 2 1.99/2.04 c 0.3s | 1 | 948 | 100 | 35482 0 | 0 | 2 2.29/2.32 c 0.5s | 2 | 2253 | 250 | 39031 0 | 0 | 2 2.69/2.78 c 1.0s | 3 | 3553 | 475 | 42935 0 | 0 | 2 3.09/3.28 c 1.5s | 4 | 4968 | 813 | 47229 0 | 0 | 2 4.19/4.25 c 2.5s | 5 | 6776 | 1320 | 51952 0 | 0 | 2 6.09/6.19 c 4.4s | 6 | 9243 | 2081 | 57148 0 | 0 | 2 7.79/7.83 c 6.1s | 7 | 12057 | 3223 | 62863 0 | 0 | 2 9.79/9.87 c 8.1s | 7 | 14492 | 4223 | 62863 0 | 0 | 2 11.78/11.89 c 10.1s | 7 | 15327 | 4823 | 62863 0 | 0 | 2 12.29/12.33 c 10.6s | 8 | 15476 | 4936 | 69150 0 | 0 | 2 14.49/14.51 c 12.7s | 8 | 18314 | 6236 | 69150 0 | 0 | 2 16.48/16.57 c 14.8s | 9 | 20315 | 7506 | 76065 0 | 0 | 2 18.79/18.85 c 17.1s | 9 | 22877 | 8506 | 76065 0 | 0 | 2 21.10/21.12 c 19.4s | 9 | 24428 | 9506 | 76065 0 | 0 | 2 23.30/23.32 c 21.5s | 9 | 25443 | 10306 | 76065 0 | 0 | 2 25.29/25.35 c 23.6s | 9 | 26200 | 10906 | 76065 0 | 0 | 2 26.69/26.76 c 25.0s | 10 | 26821 | 11361 | 83672 0 | 0 | 2 28.99/29.05 c 27.3s | 10 | 29191 | 12061 | 83672 0 | 0 | 2 31.19/31.22 c 29.4s | 10 | 29879 | 12561 | 83672 0 | 0 | 2 33.39/33.47 c 31.7s | 10 | 30614 | 13061 | 83672 0 | 0 | 2 35.39/35.48 c 33.7s | 10 | 31462 | 13561 | 83672 0 | 0 | 2 37.59/37.68 c 35.9s | 10 | 32455 | 14061 | 83672 0 | 0 | 2 39.58/39.69 c 37.9s | 10 | 33228 | 14561 | 83672 0 | 0 | 2 41.68/41.72 c 39.9s | 10 | 33764 | 14961 | 83672 0 | 0 | 2 43.98/44.09 c 42.3s | 10 | 34492 | 15461 | 83672 0 | 0 | 2 46.39/46.47 c 44.7s | 10 | 35241 | 15961 | 83672 0 | 0 | 2 48.79/48.81 c 47.0s | 10 | 35969 | 16461 | 83672 0 | 0 | 2 51.38/51.42 c 49.6s | 10 | 36526 | 16761 | 83672 0 | 0 | 2 53.58/53.63 c 51.9s | 10 | 37155 | 17061 | 92040 0 | 0 | 2 54.38/54.45 c 52.7s | 11 | 37297 | 17144 | 92040 0 | 0 | 2 56.38/56.48 c 54.7s | 11 | 39160 | 17744 | 92040 0 | 0 | 2 58.49/58.55 c 56.8s | 11 | 40616 | 18644 | 92040 0 | 0 | 2 60.78/60.87 c 59.1s | 11 | 41655 | 19344 | 92040 0 | 0 | 2 63.08/63.11 c 61.3s | 11 | 42788 | 19944 | 92040 0 | 0 | 2 65.09/65.16 c 63.4s | 11 | 43752 | 20544 | 92040 0 | 0 | 2 67.48/67.57 c 65.8s | 11 | 44648 | 21144 | 92040 0 | 0 | 2 69.58/69.65 c 67.9s | 11 | 45350 | 21644 | 92040 0 | 0 | 2 71.78/71.87 c 70.1s | 11 | 46042 | 22144 | 92040 0 | 0 | 2 73.88/73.92 c 72.1s | 11 | 46793 | 22644 | 92040 0 | 0 | 2 76.18/76.21 c 74.4s | 11 | 47449 | 23144 | 92040 0 | 0 | 2 78.48/78.58 c 76.8s | 11 | 47985 | 23544 | 92040 0 | 0 | 2 80.58/80.61 c 78.8s | 11 | 48689 | 24044 | 92040 0 | 0 | 2 82.88/82.92 c 81.1s | 11 | 49365 | 24544 | 92040 0 | 0 | 2 85.37/85.42 c 83.6s | 11 | 49889 | 24944 | 92040 0 | 0 | 2 87.77/87.85 c 86.1s | 11 | 50668 | 25444 | 92040 0 | 0 | 2 89.58/89.66 c 87.9s | 12 | 51282 | 25819 | 101245 0 | 0 | 2 91.58/91.68 c 89.9s | 12 | 52999 | 26319 | 101245 0 | 0 | 2 93.88/93.97 c 92.2s | 12 | 53813 | 26819 | 101245 0 | 0 | 2 95.98/96.09 c 94.3s | 12 | 54565 | 27219 | 101245 0 | 0 | 2 98.28/98.30 c 96.5s | 12 | 55341 | 27719 | 101245 0 | 0 | 2 100.48/100.50 c 98.7s | 12 | 56187 | 28219 | 101245 0 | 0 | 2 102.78/102.84 c 101s | 12 | 56965 | 28719 | 101245 0 | 0 | 2 105.27/105.35 c 103s | 12 | 57870 | 29219 | 101245 0 | 0 | 2 107.57/107.66 c 105s | 12 | 58576 | 29619 | 101245 0 | 0 | 2 109.77/109.86 c 108s | 12 | 59248 | 30019 | 101245 0 | 0 | 2 112.07/112.18 c 110s | 12 | 59933 | 30419 | 101245 0 | 0 | 2 114.27/114.37 c 112s | 12 | 60513 | 30819 | 101245 0 | 0 | 2 116.78/116.85 c 115s | 12 | 61157 | 31219 | 101245 0 | 0 | 2 119.18/119.21 c 117s | 12 | 61931 | 31719 | 101245 0 | 0 | 2 121.57/121.62 c 119s | 12 | 62689 | 32219 | 101245 0 | 0 | 2 123.97/124.06 c 122s | 12 | 63346 | 32619 | 101245 0 | 0 | 2 126.07/126.14 c 124s | 12 | 64418 | 33119 | 101245 0 | 0 | 2 128.47/128.53 c 126s | 12 | 65330 | 33619 | 101245 0 | 0 | 2 130.87/130.95 c 129s | 12 | 66035 | 34119 | 101245 0 | 0 | 2 132.87/132.99 c 131s | 12 | 67168 | 34619 | 101245 0 | 0 | 2 135.27/135.30 c 133s | 12 | 68047 | 35119 | 101245 0 | 0 | 2 137.47/137.54 c 135s | 12 | 68623 | 35519 | 101245 0 | 0 | 2 139.96/140.07 c 138s | 12 | 69193 | 35919 | 101245 0 | 0 | 2 142.56/142.67 c 140s | 12 | 69734 | 36319 | 101245 0 | 0 | 2 144.97/145.06 c 143s | 12 | 70315 | 36719 | 101245 0 | 0 | 2 147.17/147.29 c 145s | 12 | 70681 | 37019 | 101245 0 | 0 | 2 149.87/149.94 c 148s | 12 | 71064 | 37319 | 101245 0 | 0 | 2 152.47/152.59 c 150s | 12 | 71657 | 37719 | 101245 0 | 0 | 2 154.56/154.64 c 152s | 12 | 72122 | 38019 | 101245 0 | 0 | 2 156.76/156.82 c 155s | 12 | 72576 | 38319 | 101245 0 | 0 | 2 158.96/159.09 c 157s | 12 | 73369 | 38819 | 111370 0 | 0 | 2 159.06/159.19 c 157s | 13 | 73387 | 38832 | 111370 0 | 0 | 2 161.57/161.62 c 159s | 13 | 74515 | 39032 | 111370 0 | 0 | 2 163.76/163.88 c 162s | 13 | 75085 | 39432 | 111370 0 | 0 | 2 166.06/166.16 c 164s | 13 | 75777 | 39932 | 111370 0 | 0 | 2 168.37/168.49 c 166s | 13 | 76327 | 40332 | 111370 0 | 0 | 2 170.67/170.80 c 169s | 13 | 77113 | 40832 | 111370 0 | 0 | 2 172.77/172.86 c 171s | 13 | 77664 | 41232 | 111370 0 | 0 | 2 174.97/175.02 c 173s | 13 | 78380 | 41632 | 111370 0 | 0 | 2 177.17/177.24 c 175s | 13 | 78907 | 42032 | 111370 0 | 0 | 2 179.56/179.62 c 177s | 13 | 79511 | 42432 | 111370 0 | 0 | 2 181.86/181.90 c 180s | 13 | 80273 | 42932 | 111370 0 | 0 | 2 184.06/184.11 c 182s | 13 | 81044 | 43432 | 111370 0 | 0 | 2 186.36/186.46 c 184s | 13 | 81673 | 43832 | 111370 0 | 0 | 2 188.57/188.63 c 186s | 13 | 82224 | 44232 | 111370 0 | 0 | 2 190.66/190.71 c 188s | 13 | 82804 | 44632 | 111370 0 | 0 | 2 193.26/193.38 c 191s | 13 | 83413 | 45032 | 111370 0 | 0 | 2 195.36/195.46 c 193s | 13 | 83836 | 45332 | 111370 0 | 0 | 2 197.66/197.70 c 195s | 13 | 84526 | 45832 | 111370 0 | 0 | 2 200.26/200.36 c 198s | 13 | 85097 | 46232 | 111370 0 | 0 | 2 202.57/202.63 c 200s | 13 | 85661 | 46632 | 111370 0 | 0 | 2 205.16/205.26 c 203s | 13 | 86260 | 47032 | 111370 0 | 0 | 2 207.36/207.44 c 205s | 13 | 86701 | 47332 | 111370 0 | 0 | 2 209.86/209.93 c 208s | 13 | 87219 | 47732 | 111370 0 | 0 | 2 212.26/212.31 c 210s | 13 | 87816 | 48132 | 111370 0 | 0 | 2 214.46/214.55 c 212s | 13 | 88223 | 48432 | 111370 0 | 0 | 2 216.66/216.75 c 214s | 13 | 88642 | 48732 | 111370 0 | 0 | 2 219.45/219.54 c 217s | 13 | 89083 | 49032 | 111370 0 | 0 | 2 221.95/222.06 c 220s | 13 | 89707 | 49432 | 111370 0 | 0 | 2 224.25/224.38 c 222s | 13 | 90231 | 49832 | 111370 0 | 0 | 2 226.85/226.93 c 225s | 13 | 90796 | 50232 | 111370 0 | 0 | 2 228.86/228.98 c 227s | 13 | 91070 | 50432 | 111370 0 | 0 | 2 231.36/231.45 c 229s | 13 | 91613 | 50832 | 111370 0 | 0 | 2 233.65/233.75 c 231s | 13 | 92044 | 51132 | 111370 0 | 0 | 2 235.95/236.06 c 234s | 13 | 92514 | 51432 | 111370 0 | 0 | 2 238.15/238.23 c 236s | 13 | 92995 | 51732 | 111370 0 | 0 | 2 241.06/241.15 c 239s | 13 | 93545 | 52132 | 111370 0 | 0 | 2 243.45/243.51 c 241s | 13 | 93946 | 52432 | 111370 0 | 0 | 2 245.65/245.71 c 243s | 13 | 94393 | 52732 | 111370 0 | 0 | 2 248.05/248.12 c 246s | 13 | 94794 | 53032 | 111370 0 | 0 | 2 250.45/250.57 c 248s | 13 | 95189 | 53332 | 111370 0 | 0 | 2 252.65/252.76 c 250s | 13 | 95611 | 53632 | 111370 0 | 0 | 2 254.85/254.92 c 253s | 13 | 96045 | 53932 | 111370 0 | 0 | 2 257.25/257.31 c 255s | 13 | 96455 | 54232 | 111370 0 | 0 | 2 259.76/259.82 c 258s | 13 | 96816 | 54532 | 111370 0 | 0 | 2 262.35/262.47 c 260s | 13 | 97240 | 54832 | 111370 0 | 0 | 2 264.45/264.56 c 262s | 13 | 97496 | 55032 | 111370 0 | 0 | 2 266.75/266.81 c 265s | 13 | 97929 | 55332 | 111370 0 | 0 | 2 268.85/268.95 c 267s | 13 | 98423 | 55632 | 111370 0 | 0 | 2 270.84/270.99 c 269s | 13 | 98927 | 55932 | 111370 0 | 0 | 2 273.34/273.41 c 271s | 13 | 99347 | 56232 | 111370 0 | 0 | 2 275.55/275.61 c 273s | 13 | 99857 | 56532 | 111370 0 | 0 | 2 278.15/278.20 c 276s | 13 | 100499 | 56932 | 111370 0 | 0 | 2 280.56/280.61 c 278s | 13 | 101155 | 57332 | 111370 0 | 0 | 2 282.55/282.69 c 280s | 13 | 101607 | 57632 | 111370 0 | 0 | 2 285.15/285.27 c 283s | 13 | 102038 | 57932 | 111370 0 | 0 | 2 287.74/287.84 c 286s | 13 | 102444 | 58232 | 122508 0 | 0 | 2 288.75/288.88 c 287s | 14 | 102615 | 58352 | 122508 0 | 0 | 2 291.55/291.65 c 289s | 14 | 103600 | 58452 | 122508 0 | 0 | 2 293.64/293.72 c 291s | 14 | 104168 | 58852 | 122508 0 | 0 | 2 295.95/296.07 c 294s | 14 | 104744 | 59252 | 122508 0 | 0 | 2 298.25/298.34 c 296s | 14 | 105420 | 59752 | 122508 0 | 0 | 2 300.64/300.71 c 298s | 14 | 106287 | 60352 | 122508 0 | 0 | 2 303.04/303.11 c 301s | 14 | 106945 | 60852 | 122508 0 | 0 | 2 305.24/305.36 c 303s | 14 | 107418 | 61252 | 122508 0 | 0 | 2 307.54/307.61 c 305s | 14 | 107938 | 61652 | 122508 0 | 0 | 2 309.84/309.98 c 308s | 14 | 108471 | 62052 | 122508 0 | 0 | 2 312.45/312.59 c 310s | 14 | 108970 | 62452 | 122508 0 | 0 | 2 314.54/314.62 c 312s | 14 | 109398 | 62752 | 122508 0 | 0 | 2 316.54/316.63 c 314s | 14 | 109768 | 63052 | 122508 0 | 0 | 2 318.54/318.67 c 316s | 14 | 110111 | 63352 | 122508 0 | 0 | 2 321.14/321.20 c 319s | 14 | 110670 | 63752 | 122508 0 | 0 | 2 323.64/323.75 c 321s | 14 | 111202 | 64152 | 122508 0 | 0 | 2 325.65/325.79 c 324s | 14 | 111607 | 64452 | 122508 0 | 0 | 2 327.85/327.97 c 326s | 14 | 111981 | 64752 | 122508 0 | 0 | 2 330.24/330.36 c 328s | 14 | 112627 | 65152 | 122508 0 | 0 | 2 332.44/332.53 c 330s | 14 | 113120 | 65552 | 122508 0 | 0 | 2 335.04/335.12 c 333s | 14 | 113660 | 65952 | 122508 0 | 0 | 2 337.04/337.14 c 335s | 14 | 114046 | 66252 | 122508 0 | 0 | 2 339.14/339.27 c 337s | 14 | 114516 | 66552 | 122508 0 | 0 | 2 341.24/341.36 c 339s | 14 | 114882 | 66852 | 122508 0 | 0 | 2 343.74/343.82 c 342s | 14 | 115397 | 67252 | 122508 0 | 0 | 2 346.04/346.16 c 344s | 14 | 115906 | 67652 | 122508 0 | 0 | 2 348.34/348.47 c 346s | 14 | 116416 | 68052 | 122508 0 | 0 | 2 350.73/350.87 c 349s | 14 | 116923 | 68452 | 122508 0 | 0 | 2 353.43/353.50 c 351s | 14 | 117466 | 68852 | 122508 0 | 0 | 2 355.73/355.86 c 354s | 14 | 117984 | 69252 | 122508 0 | 0 | 2 358.23/358.31 c 356s | 14 | 118506 | 69652 | 122508 0 | 0 | 2 360.43/360.55 c 358s | 14 | 118884 | 69952 | 122508 0 | 0 | 2 362.84/362.97 c 361s | 14 | 119429 | 70352 | 122508 0 | 0 | 2 365.13/365.22 c 363s | 14 | 119828 | 70652 | 122508 0 | 0 | 2 367.13/367.28 c 365s | 14 | 120208 | 70952 | 122508 0 | 0 | 2 369.83/369.97 c 368s | 14 | 120697 | 71352 | 122508 0 | 0 | 2 372.14/372.27 c 370s | 14 | 121070 | 71652 | 122508 0 | 0 | 2 374.24/374.37 c 372s | 14 | 121449 | 71952 | 122508 0 | 0 | 2 376.43/376.58 c 374s | 14 | 121839 | 72252 | 122508 0 | 0 | 2 378.73/378.84 c 377s | 14 | 122228 | 72552 | 122508 0 | 0 | 2 380.74/380.88 c 379s | 14 | 122654 | 72852 | 122508 0 | 0 | 2 383.23/383.36 c 381s | 14 | 123088 | 73152 | 122508 0 | 0 | 2 385.53/385.61 c 383s | 14 | 123518 | 73452 | 122508 0 | 0 | 2 387.54/387.61 c 385s | 14 | 123925 | 73752 | 122508 0 | 0 | 2 389.63/389.75 c 387s | 14 | 124303 | 74052 | 122508 0 | 0 | 2 391.74/391.86 c 390s | 14 | 124663 | 74352 | 122508 0 | 0 | 2 393.84/393.96 c 392s | 14 | 125062 | 74652 | 122508 0 | 0 | 2 396.33/396.48 c 394s | 14 | 125491 | 74952 | 122508 0 | 0 | 2 399.03/399.15 c 397s | 14 | 125882 | 75252 | 122508 0 | 0 | 2 401.42/401.60 c 399s | 14 | 126572 | 75652 | 122508 0 | 0 | 2 403.93/404.03 c 402s | 14 | 127319 | 76152 | 122508 0 | 0 | 2 406.04/406.19 c 404s | 14 | 127848 | 76552 | 122508 0 | 0 | 2 408.43/408.51 c 406s | 14 | 128393 | 76952 | 122508 0 | 0 | 2 410.93/411.00 c 409s | 14 | 128941 | 77352 | 122508 0 | 0 | 2 413.32/413.47 c 411s | 14 | 129432 | 77752 | 122508 0 | 0 | 2 415.73/415.86 c 414s | 14 | 129978 | 78152 | 122508 0 | 0 | 2 417.72/417.86 c 416s | 14 | 130344 | 78452 | 122508 0 | 0 | 2 420.02/420.17 c 418s | 14 | 130914 | 78852 | 122508 0 | 0 | 2 422.22/422.31 c 420s | 14 | 131494 | 79252 | 122508 0 | 0 | 2 424.63/424.75 c 422s | 14 | 132042 | 79652 | 122508 0 | 0 | 2 427.22/427.32 c 425s | 14 | 132546 | 80052 | 122508 0 | 0 | 2 429.22/429.36 c 427s | 14 | 132922 | 80352 | 122508 0 | 0 | 2 431.53/431.63 c 429s | 14 | 133308 | 80652 | 122508 0 | 0 | 2 433.73/433.84 c 432s | 14 | 133720 | 80952 | 122508 0 | 0 | 2 435.83/435.93 c 434s | 14 | 134129 | 81252 | 122508 0 | 0 | 2 438.12/438.21 c 436s | 14 | 134538 | 81552 | 122508 0 | 0 | 2 440.22/440.38 c 438s | 14 | 135021 | 81852 | 122508 0 | 0 | 2 442.42/442.50 c 440s | 14 | 135433 | 82152 | 122508 0 | 0 | 2 444.62/444.70 c 442s | 14 | 135921 | 82452 | 122508 0 | 0 | 2 447.12/447.27 c 445s | 14 | 136459 | 82852 | 122508 0 | 0 | 2 449.32/449.41 c 447s | 14 | 136889 | 83152 | 122508 0 | 0 | 2 451.72/451.83 c 450s | 14 | 137278 | 83452 | 122508 0 | 0 | 2 454.22/454.31 c 452s | 14 | 137664 | 83752 | 122508 0 | 0 | 2 456.52/456.64 c 454s | 14 | 138025 | 84052 | 122508 0 | 0 | 2 458.92/459.02 c 457s | 14 | 138388 | 84352 | 122508 0 | 0 | 2 460.93/461.06 c 459s | 14 | 138824 | 84652 | 122508 0 | 0 | 2 463.42/463.52 c 461s | 14 | 139197 | 84952 | 122508 0 | 0 | 2 466.12/466.23 c 464s | 14 | 139651 | 85252 | 122508 0 | 0 | 2 468.92/469.03 c 467s | 14 | 140040 | 85552 | 122508 0 | 0 | 2 471.22/471.33 c 469s | 14 | 140447 | 85852 | 122508 0 | 0 | 2 473.62/473.76 c 471s | 14 | 141119 | 86252 | 122508 0 | 0 | 2 475.82/475.92 c 474s | 14 | 141702 | 86652 | 122508 0 | 0 | 2 478.42/478.50 c 476s | 14 | 142266 | 87052 | 134759 0 | 0 | 2 480.52/480.60 c 478s | 14 | 142692 | 87352 | 134759 0 | 0 | 2 482.52/482.69 c 480s | 15 | 143069 | 87632 | 134759 0 | 0 | 2 486.12/486.25 c 484s | 15 | 144068 | 87732 | 134759 0 | 0 | 2 488.42/488.58 c 486s | 15 | 144612 | 88132 | 134759 0 | 0 | 2 490.82/490.95 c 489s | 15 | 145177 | 88532 | 134759 0 | 0 | 2 493.11/493.22 c 491s | 15 | 145864 | 89032 | 134759 0 | 0 | 2 495.61/495.71 c 493s | 15 | 146513 | 89532 | 134759 0 | 0 | 2 497.72/497.81 c 496s | 15 | 147110 | 90032 | 134759 0 | 0 | 2 500.12/500.28 c 498s | 15 | 147739 | 90532 | 134759 0 | 0 | 2 502.41/502.51 c 500s | 15 | 148234 | 90932 | 134759 0 | 0 | 2 504.41/504.59 c 502s | 15 | 149011 | 91532 | 134759 0 | 0 | 2 506.51/506.65 c 504s | 15 | 149508 | 91932 | 134759 0 | 0 | 2 508.51/508.68 c 506s | 15 | 150000 | 92332 | 134759 0 | 0 | 2 510.82/510.93 c 509s | 15 | 150476 | 92732 | 134759 0 | 0 | 2 513.32/513.48 c 511s | 15 | 151120 | 93232 | 134759 0 | 0 | 2 515.51/515.62 c 513s | 15 | 151626 | 93632 | 134759 0 | 0 | 2 517.81/517.95 c 516s | 15 | 152130 | 94032 | 134759 0 | 0 | 2 519.91/520.07 c 518s | 15 | 152703 | 94432 | 134759 0 | 0 | 2 521.91/522.08 c 520s | 15 | 153169 | 94832 | 134759 0 | 0 | 2 524.01/524.15 c 522s | 15 | 153685 | 95232 | 134759 0 | 0 | 2 526.31/526.43 c 524s | 15 | 154187 | 95632 | 134759 0 | 0 | 2 528.81/528.95 c 527s | 15 | 154690 | 96032 | 134759 0 | 0 | 2 531.42/531.60 c 529s | 15 | 155206 | 96432 | 134759 0 | 0 | 2 533.71/533.87 c 532s | 15 | 155743 | 96832 | 134759 0 | 0 | 2 536.11/536.28 c 534s | 15 | 156245 | 97232 | 134759 0 | 0 | 2 538.71/538.80 c 537s | 15 | 156625 | 97532 | 134759 0 | 0 | 2 541.11/541.26 c 539s | 15 | 157002 | 97832 | 134759 0 | 0 | 2 543.20/543.32 c 541s | 15 | 157357 | 98132 | 134759 0 | 0 | 2 545.81/545.99 c 544s | 15 | 157832 | 98532 | 134759 0 | 0 | 2 548.31/548.47 c 546s | 15 | 158297 | 98932 | 134759 0 | 0 | 2 550.41/550.50 c 548s | 15 | 158625 | 99232 | 134759 0 | 0 | 2 552.51/552.66 c 550s | 15 | 158985 | 99532 | 134759 0 | 0 | 2 554.61/554.70 c 552s | 15 | 159400 | 99832 | 134759 0 | 0 | 2 556.71/556.86 c 555s | 15 | 159778 | 100132 | 134759 0 | 0 | 2 559.20/559.32 c 557s | 15 | 160333 | 100532 | 134759 0 | 0 | 2 561.81/561.97 c 560s | 15 | 160839 | 100932 | 134759 0 | 0 | 2 564.11/564.24 c 562s | 15 | 161380 | 101332 | 134759 0 | 0 | 2 566.21/566.30 c 564s | 15 | 161866 | 101732 | 134759 0 | 0 | 2 568.71/568.86 c 567s | 15 | 162375 | 102132 | 134759 0 | 0 | 2 570.70/570.89 c 569s | 15 | 162887 | 102532 | 134759 0 | 0 | 2 572.90/573.09 c 571s | 15 | 163414 | 102932 | 134759 0 | 0 | 2 575.00/575.15 c 573s | 15 | 163782 | 103232 | 134759 0 | 0 | 2 577.10/577.25 c 575s | 15 | 164151 | 103532 | 134759 0 | 0 | 2 579.50/579.60 c 577s | 15 | 164671 | 103932 | 134759 0 | 0 | 2 582.01/582.15 c 580s | 15 | 165179 | 104332 | 134759 0 | 0 | 2 584.00/584.17 c 582s | 15 | 165560 | 104632 | 134759 0 | 0 | 2 586.70/586.89 c 585s | 15 | 166104 | 105032 | 134759 0 | 0 | 2 588.80/588.93 c 587s | 15 | 166495 | 105332 | 134759 0 | 0 | 2 590.81/590.97 c 589s | 15 | 166898 | 105632 | 134759 0 | 0 | 2 593.50/593.63 c 591s | 15 | 167418 | 106032 | 134759 0 | 0 | 2 595.60/595.74 c 593s | 15 | 167828 | 106332 | 134759 0 | 0 | 2 598.00/598.11 c 596s | 15 | 168211 | 106632 | 134759 0 | 0 | 2 600.40/600.55 c 598s | 15 | 168596 | 106932 | 134759 0 | 0 | 2 602.90/603.00 c 601s | 15 | 168988 | 107232 | 134759 0 | 0 | 2 605.29/605.48 c 603s | 15 | 169392 | 107532 | 134759 0 | 0 | 2 607.49/607.66 c 605s | 15 | 169825 | 107832 | 134759 0 | 0 | 2 609.69/609.84 c 608s | 15 | 170247 | 108132 | 134759 0 | 0 | 2 611.99/612.15 c 610s | 15 | 170774 | 108532 | 134759 0 | 0 | 2 614.29/614.44 c 612s | 15 | 171149 | 108832 | 134759 0 | 0 | 2 616.39/616.58 c 614s | 15 | 171535 | 109132 | 134759 0 | 0 | 2 618.90/619.07 c 617s | 15 | 172026 | 109532 | 134759 0 | 0 | 2 620.90/621.07 c 619s | 15 | 172399 | 109832 | 134759 0 | 0 | 2 622.90/623.08 c 621s | 15 | 172754 | 110132 | 134759 0 | 0 | 2 624.90/625.09 c 623s | 15 | 173141 | 110432 | 134759 0 | 0 | 2 626.89/627.10 c 625s | 15 | 173533 | 110732 | 134759 0 | 0 | 2 629.49/629.68 c 627s | 15 | 174034 | 111132 | 134759 0 | 0 | 2 631.59/631.75 c 629s | 15 | 174415 | 111432 | 134759 0 | 0 | 2 634.09/634.29 c 632s | 15 | 174980 | 111832 | 134759 0 | 0 | 2 636.19/636.35 c 634s | 15 | 175382 | 112132 | 134759 0 | 0 | 2 638.39/638.51 c 636s | 15 | 175804 | 112432 | 134759 0 | 0 | 2 640.59/640.74 c 638s | 15 | 176229 | 112732 | 134759 0 | 0 | 2 643.09/643.29 c 641s | 15 | 176586 | 113032 | 134759 0 | 0 | 2 645.19/645.38 c 643s | 15 | 176999 | 113332 | 134759 0 | 0 | 2 647.59/647.78 c 646s | 15 | 177399 | 113632 | 134759 0 | 0 | 2 650.39/650.53 c 648s | 15 | 177792 | 113932 | 134759 0 | 0 | 2 652.49/652.67 c 650s | 15 | 178191 | 114232 | 134759 0 | 0 | 2 654.89/655.01 c 653s | 15 | 178543 | 114532 | 134759 0 | 0 | 2 657.49/657.61 c 655s | 15 | 178906 | 114832 | 134759 0 | 0 | 2 660.00/660.17 c 658s | 15 | 179278 | 115132 | 134759 0 | 0 | 2 662.69/662.80 c 661s | 15 | 179623 | 115432 | 134759 0 | 0 | 2 665.39/665.50 c 663s | 15 | 180015 | 115732 | 134759 0 | 0 | 2 667.69/667.83 c 666s | 15 | 180383 | 116032 | 134759 0 | 0 | 2 669.78/669.95 c 668s | 15 | 180740 | 116332 | 134759 0 | 0 | 2 671.89/672.05 c 670s | 15 | 181117 | 116632 | 134759 0 | 0 | 2 673.89/674.08 c 672s | 15 | 181512 | 116932 | 134759 0 | 0 | 2 675.99/676.16 c 674s | 15 | 181888 | 117232 | 134759 0 | 0 | 2 678.49/678.63 c 676s | 15 | 182259 | 117532 | 134759 0 | 0 | 2 681.48/681.63 c 679s | 15 | 182649 | 117832 | 134759 0 | 0 | 2 683.69/683.81 c 682s | 15 | 182905 | 118032 | 134759 0 | 0 | 2 686.28/686.47 c 684s | 15 | 183291 | 118332 | 134759 0 | 0 | 2 689.09/689.20 c 687s | 15 | 183771 | 118732 | 134759 0 | 0 | 2 691.29/691.48 c 689s | 15 | 184246 | 119032 | 134759 0 | 0 | 2 693.69/693.86 c 692s | 15 | 184725 | 119332 | 134759 0 | 0 | 2 696.09/696.22 c 694s | 15 | 185098 | 119632 | 134759 0 | 0 | 2 698.28/698.43 c 696s | 15 | 185475 | 119932 | 134759 0 | 0 | 2 700.38/700.57 c 698s | 15 | 185844 | 120232 | 134759 0 | 0 | 2 703.08/703.22 c 701s | 15 | 186261 | 120532 | 134759 0 | 0 | 2 705.58/705.78 c 704s | 15 | 186676 | 120832 | 134759 0 | 0 | 2 707.79/707.99 c 706s | 15 | 187069 | 121132 | 134759 0 | 0 | 2 710.48/710.68 c 708s | 15 | 187471 | 121432 | 134759 0 | 0 | 2 713.18/713.31 c 711s | 15 | 187836 | 121732 | 134759 0 | 0 | 2 715.58/715.76 c 713s | 15 | 188096 | 121932 | 134759 0 | 0 | 2 718.39/718.52 c 716s | 15 | 188487 | 122232 | 134759 0 | 0 | 2 720.38/720.54 c 718s | 15 | 188727 | 122432 | 134759 0 | 0 | 2 723.08/723.21 c 721s | 15 | 189087 | 122732 | 134759 0 | 0 | 2 725.38/725.51 c 723s | 15 | 189543 | 123032 | 134759 0 | 0 | 2 727.68/727.83 c 726s | 15 | 189946 | 123332 | 134759 0 | 0 | 2 730.39/730.52 c 728s | 15 | 190353 | 123632 | 134759 0 | 0 | 2 733.38/733.50 c 731s | 15 | 190767 | 123932 | 134759 0 | 0 | 2 736.38/736.53 c 734s | 15 | 191160 | 124232 | 134759 0 | 0 | 2 738.88/739.05 c 737s | 15 | 191569 | 124532 | 134759 0 | 0 | 2 741.08/741.28 c 739s | 15 | 191821 | 124732 | 134759 0 | 0 | 2 743.38/743.52 c 741s | 15 | 192078 | 124932 | 134759 0 | 0 | 2 746.07/746.20 c 744s | 15 | 192457 | 125232 | 134759 0 | 0 | 2 748.17/748.30 c 746s | 15 | 192827 | 125532 | 134759 0 | 0 | 2 750.87/751.01 c 749s | 15 | 193199 | 125832 | 134759 0 | 0 | 2 753.77/753.94 c 752s | 15 | 193605 | 126132 | 134759 0 | 0 | 2 756.28/756.47 c 754s | 15 | 194043 | 126432 | 134759 0 | 0 | 2 759.28/759.42 c 757s | 15 | 194436 | 126732 | 134759 0 | 0 | 2 761.28/761.50 c 759s | 15 | 194687 | 126932 | 134759 0 | 0 | 2 763.97/764.12 c 762s | 15 | 195054 | 127232 | 134759 0 | 0 | 2 766.87/767.02 c 765s | 15 | 195439 | 127532 | 134759 0 | 0 | 2 769.58/769.79 c 768s | 15 | 195834 | 127832 | 134759 0 | 0 | 2 771.77/771.95 c 770s | 15 | 196145 | 128032 | 134759 0 | 0 | 2 773.97/774.18 c 772s | 15 | 196402 | 128232 | 134759 0 | 0 | 2 776.07/776.22 c 774s | 15 | 196645 | 128432 | 134759 0 | 0 | 2 778.67/778.87 c 777s | 15 | 197010 | 128732 | 134759 0 | 0 | 2 780.87/781.07 c 779s | 15 | 197412 | 129032 | 134759 0 | 0 | 2 783.57/783.76 c 781s | 15 | 197799 | 129332 | 134759 0 | 0 | 2 786.37/786.58 c 784s | 15 | 198155 | 129632 | 134759 0 | 0 | 2 789.47/789.64 c 787s | 15 | 198517 | 129932 | 134759 0 | 0 | 2 791.47/791.69 c 789s | 15 | 198755 | 130132 | 134759 0 | 0 | 2 794.67/794.83 c 793s | 15 | 199133 | 130432 | 134759 0 | 0 | 2 796.87/797.04 c 795s | 15 | 199407 | 130632 | 134759 0 | 0 | 2 799.67/799.87 c 798s | 15 | 199819 | 130932 | 148235 0 | 0 | 2 802.77/802.98 c 801s | 15 | 200226 | 131232 | 148235 0 | 0 | 2 804.87/805.06 c 803s | 15 | 200482 | 131432 | 148235 0 | 0 | 2 806.27/806.45 c 804s | 16 | 200614 | 131552 | 148235 0 | 0 | 2 811.26/811.42 c 809s | 16 | 201665 | 131652 | 148235 0 | 0 | 2 813.66/813.89 c 812s | 16 | 202604 | 132152 | 148235 0 | 0 | 2 815.76/815.99 c 814s | 16 | 203170 | 132552 | 148235 0 | 0 | 2 817.86/818.02 c 816s | 16 | 203836 | 132952 | 148235 0 | 0 | 2 820.06/820.27 c 818s | 16 | 204410 | 133352 | 148235 0 | 0 | 2 822.46/822.67 c 820s | 16 | 204965 | 133752 | 148235 0 | 0 | 2 824.77/824.96 c 823s | 16 | 205521 | 134152 | 148235 0 | 0 | 2 826.87/827.02 c 825s | 16 | 205924 | 134452 | 148235 0 | 0 | 2 829.07/829.29 c 827s | 16 | 206486 | 134852 | 148235 0 | 0 | 2 831.27/831.44 c 829s | 16 | 207102 | 135252 | 148235 0 | 0 | 2 833.46/833.61 c 831s | 16 | 207502 | 135552 | 148235 0 | 0 | 2 835.76/835.94 c 834s | 16 | 207888 | 135852 | 148235 0 | 0 | 2 837.96/838.10 c 836s | 16 | 208268 | 136152 | 148235 0 | 0 | 2 840.26/840.48 c 838s | 16 | 208660 | 136452 | 148235 0 | 0 | 2 842.26/842.49 c 840s | 16 | 209057 | 136752 | 148235 0 | 0 | 2 844.66/844.85 c 843s | 16 | 209573 | 137152 | 148235 0 | 0 | 2 847.26/847.45 c 845s | 16 | 210179 | 137552 | 148235 0 | 0 | 2 849.36/849.50 c 847s | 16 | 210549 | 137852 | 148235 0 | 0 | 2 851.46/851.66 c 849s | 16 | 211022 | 138152 | 148235 0 | 0 | 2 853.86/854.02 c 852s | 16 | 211753 | 138652 | 148235 0 | 0 | 2 856.36/856.50 c 854s | 16 | 212479 | 139152 | 148235 0 | 0 | 2 858.36/858.54 c 856s | 16 | 213010 | 139552 | 148235 0 | 0 | 2 860.66/860.87 c 859s | 16 | 213561 | 139952 | 148235 0 | 0 | 2 863.25/863.43 c 861s | 16 | 214111 | 140352 | 148235 0 | 0 | 2 865.66/865.87 c 864s | 16 | 214623 | 140752 | 148235 0 | 0 | 2 867.97/868.18 c 866s | 16 | 215200 | 141152 | 148235 0 | 0 | 2 870.36/870.52 c 868s | 16 | 215833 | 141552 | 148235 0 | 0 | 2 872.66/872.81 c 871s | 16 | 216359 | 141952 | 148235 0 | 0 | 2 875.06/875.30 c 873s | 16 | 217071 | 142452 | 148235 0 | 0 | 2 877.65/877.81 c 876s | 16 | 217577 | 142852 | 148235 0 | 0 | 2 879.66/879.87 c 878s | 16 | 217803 | 143052 | 148235 0 | 0 | 2 882.17/882.34 c 880s | 16 | 218466 | 143552 | 148235 0 | 0 | 2 884.16/884.37 c 882s | 16 | 218990 | 143952 | 148235 0 | 0 | 2 886.46/886.61 c 884s | 16 | 219535 | 144352 | 148235 0 | 0 | 2 888.46/888.66 c 886s | 16 | 220034 | 144752 | 148235 0 | 0 | 2 890.96/891.15 c 889s | 16 | 220491 | 145152 | 148235 0 | 0 | 2 893.05/893.20 c 891s | 16 | 221080 | 145552 | 148235 0 | 0 | 2 895.25/895.45 c 893s | 16 | 222032 | 146152 | 148235 0 | 0 | 2 897.56/897.80 c 896s | 16 | 222994 | 146752 | 148235 0 | 0 | 2 899.76/899.95 c 898s | 16 | 223744 | 147252 | 148235 0 | 0 | 2 901.75/901.97 c 900s | 16 | 224458 | 147752 | 148235 0 | 0 | 2 904.05/904.29 c 902s | 16 | 225236 | 148252 | 148235 0 | 0 | 2 906.25/906.47 c 904s | 16 | 225846 | 148652 | 148235 0 | 0 | 2 908.75/908.97 c 907s | 16 | 226429 | 149052 | 148235 0 | 0 | 2 910.86/911.04 c 909s | 16 | 226967 | 149352 | 148235 0 | 0 | 2 913.25/913.44 c 911s | 16 | 227573 | 149752 | 148235 0 | 0 | 2 915.55/915.75 c 913s | 16 | 228265 | 150252 | 148235 0 | 0 | 2 918.35/918.50 c 916s | 16 | 228845 | 150652 | 148235 0 | 0 | 2 920.85/921.04 c 919s | 16 | 229252 | 150952 | 148235 0 | 0 | 2 923.35/923.52 c 921s | 16 | 229652 | 151252 | 148235 0 | 0 | 2 925.35/925.58 c 923s | 16 | 230016 | 151552 | 148235 0 | 0 | 2 927.55/927.75 c 925s | 16 | 230523 | 151952 | 148235 0 | 0 | 2 930.05/930.27 c 928s | 16 | 231040 | 152352 | 148235 0 | 0 | 2 932.15/932.30 c 930s | 16 | 231623 | 152752 | 148235 0 | 0 | 2 934.65/934.88 c 933s | 16 | 232155 | 153152 | 148235 0 | 0 | 2 937.04/937.28 c 935s | 16 | 232537 | 153452 | 148235 0 | 0 | 2 939.84/940.05 c 938s | 16 | 232928 | 153752 | 148235 0 | 0 | 2 942.45/942.65 c 940s | 16 | 233324 | 154052 | 148235 0 | 0 | 2 944.74/944.95 c 943s | 16 | 233713 | 154352 | 148235 0 | 0 | 2 946.75/947.00 c 945s | 16 | 233965 | 154552 | 148235 0 | 0 | 2 949.55/949.78 c 948s | 16 | 234331 | 154852 | 148235 0 | 0 | 2 951.55/951.79 c 950s | 16 | 234569 | 155052 | 148235 0 | 0 | 2 953.54/953.80 c 952s | 16 | 234813 | 155252 | 148235 0 | 0 | 2 956.24/956.40 c 954s | 16 | 235168 | 155552 | 148235 0 | 0 | 2 958.24/958.42 c 956s | 16 | 235407 | 155752 | 148235 0 | 0 | 2 961.14/961.32 c 959s | 16 | 235799 | 156052 | 148235 0 | 0 | 2 963.34/963.57 c 961s | 16 | 236040 | 156252 | 148235 0 | 0 | 2 966.54/966.74 c 964s | 16 | 236409 | 156552 | 148235 0 | 0 | 2 968.84/969.09 c 967s | 16 | 236671 | 156752 | 148235 0 | 0 | 2 971.74/971.96 c 970s | 16 | 237084 | 157052 | 148235 0 | 0 | 2 974.55/974.78 c 973s | 16 | 237455 | 157352 | 148235 0 | 0 | 2 976.85/977.09 c 975s | 16 | 237679 | 157552 | 148235 0 | 0 | 2 978.95/979.13 c 977s | 16 | 237910 | 157752 | 148235 0 | 0 | 2 981.04/981.29 c 979s | 16 | 238164 | 157952 | 148235 0 | 0 | 2 983.64/983.86 c 982s | 16 | 238417 | 158152 | 148235 0 | 0 | 2 986.65/986.88 c 985s | 16 | 238662 | 158352 | 148235 0 | 0 | 2 988.94/989.12 c 987s | 16 | 238915 | 158552 | 148235 0 | 0 | 2 991.63/991.80 c 990s | 16 | 239319 | 158852 | 148235 0 | 0 | 2 994.84/995.00 c 993s | 16 | 239684 | 159152 | 148235 0 | 0 | 2 997.34/997.54 c 995s | 16 | 239899 | 159352 | 148235 0 | 0 | 2 999.53/999.74 c 997s | 16 | 240172 | 159552 | 148235 0 | 0 | 2 1002.84/1003.01 c 1001s | 16 | 240567 | 159852 | 148235 0 | 0 | 2 1005.24/1005.40 c 1003s | 16 | 240822 | 160052 | 148235 0 | 0 | 2 1007.93/1008.12 c 1006s | 16 | 241067 | 160252 | 148235 0 | 0 | 2 1009.93/1010.16 c 1008s | 16 | 241313 | 160452 | 148235 0 | 0 | 2 1012.43/1012.64 c 1010s | 16 | 241587 | 160652 | 148235 0 | 0 | 2 1014.54/1014.75 c 1012s | 16 | 241831 | 160852 | 148235 0 | 0 | 2 1016.54/1016.77 c 1014s | 16 | 242140 | 161052 | 148235 0 | 0 | 2 1018.64/1018.83 c 1017s | 16 | 242386 | 161252 | 148235 0 | 0 | 2 1020.64/1020.84 c 1019s | 16 | 243009 | 161552 | 148235 0 | 0 | 2 1022.83/1023.00 c 1021s | 16 | 243439 | 161852 | 148235 0 | 0 | 2 1025.15/1025.33 c 1023s | 16 | 243922 | 162152 | 148235 0 | 0 | 2 1027.53/1027.78 c 1026s | 16 | 244346 | 162452 | 148235 0 | 0 | 2 1029.64/1029.89 c 1028s | 16 | 244604 | 162652 | 148235 0 | 0 | 2 1032.03/1032.26 c 1030s | 16 | 245011 | 162952 | 148235 0 | 0 | 2 1034.63/1034.84 c 1033s | 16 | 245407 | 163252 | 148235 0 | 0 | 2 1037.53/1037.70 c 1035s | 16 | 245781 | 163552 | 148235 0 | 0 | 2 1040.23/1040.42 c 1038s | 16 | 246174 | 163852 | 148235 0 | 0 | 2 1042.93/1043.17 c 1041s | 16 | 246534 | 164152 | 148235 0 | 0 | 2 1045.04/1045.22 c 1043s | 16 | 246796 | 164352 | 148235 0 | 0 | 2 1047.63/1047.86 c 1046s | 16 | 247165 | 164652 | 148235 0 | 0 | 2 1050.23/1050.47 c 1048s | 16 | 247536 | 164952 | 148235 0 | 0 | 2 1052.43/1052.60 c 1050s | 16 | 247775 | 165152 | 148235 0 | 0 | 2 1055.13/1055.33 c 1053s | 16 | 248133 | 165452 | 148235 0 | 0 | 2 1057.13/1057.34 c 1055s | 16 | 248402 | 165652 | 148235 0 | 0 | 2 1059.23/1059.47 c 1057s | 16 | 248644 | 165852 | 148235 0 | 0 | 2 1061.43/1061.69 c 1059s | 16 | 248893 | 166052 | 148235 0 | 0 | 2 1064.13/1064.35 c 1062s | 16 | 249301 | 166352 | 148235 0 | 0 | 2 1066.53/1066.74 c 1064s | 16 | 249685 | 166652 | 148235 0 | 0 | 2 1069.33/1069.59 c 1067s | 16 | 250064 | 166952 | 148235 0 | 0 | 2 1071.44/1071.68 c 1069s | 16 | 250319 | 167152 | 148235 0 | 0 | 2 1074.23/1074.42 c 1072s | 16 | 250698 | 167452 | 148235 0 | 0 | 2 1076.84/1077.08 c 1075s | 16 | 251082 | 167752 | 148235 0 | 0 | 2 1079.73/1079.98 c 1078s | 16 | 251435 | 168052 | 148235 0 | 0 | 2 1083.22/1083.43 c 1081s | 16 | 251787 | 168352 | 148235 0 | 0 | 2 1086.02/1086.26 c 1084s | 16 | 252037 | 168552 | 148235 0 | 0 | 2 1088.42/1088.64 c 1086s | 16 | 252287 | 168752 | 148235 0 | 0 | 2 1091.62/1091.80 c 1090s | 16 | 252704 | 169052 | 148235 0 | 0 | 2 1094.43/1094.67 c 1092s | 16 | 253065 | 169352 | 148235 0 | 0 | 2 1097.42/1097.67 c 1095s | 16 | 253426 | 169652 | 148235 0 | 0 | 2 1099.42/1099.69 c 1097s | 16 | 253648 | 169852 | 148235 0 | 0 | 2 1102.92/1103.10 c 1101s | 16 | 254021 | 170152 | 148235 0 | 0 | 2 1105.43/1105.67 c 1103s | 16 | 254432 | 170452 | 148235 0 | 0 | 2 1108.63/1108.80 c 1107s | 16 | 254795 | 170752 | 148235 0 | 0 | 2 1111.52/1111.72 c 1109s | 16 | 255142 | 171052 | 148235 0 | 0 | 2 1113.72/1113.95 c 1112s | 16 | 255382 | 171252 | 148235 0 | 0 | 2 1116.12/1116.32 c 1114s | 16 | 255642 | 171452 | 148235 0 | 0 | 2 1118.62/1118.83 c 1117s | 16 | 255903 | 171652 | 148235 0 | 0 | 2 1121.51/1121.70 c 1119s | 16 | 256291 | 171952 | 148235 0 | 0 | 2 1123.62/1123.88 c 1122s | 16 | 256583 | 172152 | 148235 0 | 0 | 2 1126.32/1126.56 c 1124s | 16 | 256967 | 172452 | 148235 0 | 0 | 2 1129.02/1129.26 c 1127s | 16 | 257374 | 172752 | 148235 0 | 0 | 2 1131.93/1132.14 c 1130s | 16 | 257748 | 173052 | 148235 0 | 0 | 2 1134.72/1134.96 c 1133s | 16 | 258120 | 173352 | 148235 0 | 0 | 2 1136.92/1137.17 c 1135s | 16 | 258376 | 173552 | 148235 0 | 0 | 2 1139.01/1139.26 c 1137s | 16 | 258664 | 173752 | 148235 0 | 0 | 2 1142.01/1142.21 c 1140s | 16 | 259075 | 174052 | 148235 0 | 0 | 2 1144.31/1144.54 c 1142s | 16 | 259297 | 174252 | 148235 0 | 0 | 2 1146.31/1146.57 c 1144s | 16 | 259546 | 174452 | 148235 0 | 0 | 2 1148.72/1148.95 c 1147s | 16 | 259781 | 174652 | 148235 0 | 0 | 2 1151.42/1151.66 c 1149s | 16 | 260014 | 174852 | 148235 0 | 0 | 2 1161.62/1161.85 c 1160s | 16 | 260183 | 174952 | 148235 1 | 0 | 2 1164.61/1164.88 c 1163s | 16 | 260406 | 175152 | 148235 1 | 0 | 2 1166.81/1167.09 c 1165s | 16 | 260633 | 175352 | 148235 1 | 0 | 2 1169.00/1169.21 c 1167s | 16 | 260902 | 175552 | 148235 1 | 0 | 2 1171.60/1171.85 c 1170s | 16 | 261162 | 175752 | 148235 1 | 0 | 2 1173.81/1174.01 c 1172s | 16 | 261401 | 175952 | 148235 1 | 0 | 2 1176.71/1176.94 c 1175s | 16 | 261667 | 176152 | 148235 1 | 0 | 2 1179.70/1179.90 c 1178s | 16 | 262082 | 176452 | 148235 1 | 0 | 2 1182.42/1182.63 c 1180s | 16 | 262348 | 176652 | 148235 1 | 0 | 2 1184.61/1184.82 c 1183s | 16 | 262608 | 176852 | 148235 1 | 0 | 2 1187.91/1188.14 c 1186s | 16 | 262986 | 177152 | 148235 1 | 0 | 2 1190.91/1191.11 c 1189s | 16 | 263121 | 177252 | 148235 1 | 0 | 2 1193.31/1193.54 c 1191s | 16 | 263611 | 177552 | 148235 1 | 0 | 2 1195.50/1195.72 c 1193s | 16 | 264012 | 177852 | 148235 1 | 0 | 2 1197.70/1197.90 c 1196s | 16 | 264421 | 178152 | 148235 1 | 0 | 2 1200.11/1200.40 c 1198s | 16 | 264975 | 178552 | 148235 1 | 0 | 2 1202.50/1202.78 c 1201s | 16 | 265536 | 178952 | 148235 1 | 0 | 2 1204.90/1205.18 c 1203s | 16 | 266021 | 179352 | 148235 1 | 0 | 2 1207.50/1207.78 c 1206s | 16 | 266535 | 179752 | 148235 1 | 0 | 2 1209.80/1210.06 c 1208s | 16 | 266928 | 180052 | 148235 1 | 0 | 2 1212.30/1212.51 c 1210s | 16 | 267337 | 180352 | 148235 1 | 0 | 2 1215.30/1215.50 c 1213s | 16 | 267854 | 180752 | 148235 1 | 0 | 2 1217.39/1217.68 c 1215s | 16 | 268243 | 181052 | 148235 1 | 0 | 2 1219.80/1220.03 c 1218s | 16 | 268625 | 181352 | 148235 1 | 0 | 2 1222.40/1222.69 c 1220s | 16 | 269011 | 181652 | 148235 1 | 0 | 2 1225.10/1225.34 c 1223s | 16 | 269524 | 182052 | 148235 1 | 0 | 2 1227.29/1227.54 c 1225s | 16 | 269955 | 182352 | 148235 1 | 0 | 2 1229.49/1229.79 c 1228s | 16 | 270372 | 182652 | 148235 1 | 0 | 2 1232.09/1232.36 c 1230s | 16 | 270914 | 183052 | 148235 1 | 0 | 2 1234.49/1234.71 c 1232s | 16 | 271532 | 183452 | 148235 1 | 0 | 2 1236.59/1236.84 c 1235s | 16 | 271951 | 183752 | 148235 1 | 0 | 2 1238.79/1239.07 c 1237s | 16 | 272351 | 184052 | 148235 1 | 0 | 2 1241.79/1242.05 c 1240s | 16 | 272876 | 184452 | 148235 1 | 0 | 2 1243.88/1244.13 c 1242s | 16 | 273257 | 184752 | 148235 1 | 0 | 2 1246.59/1246.84 c 1245s | 16 | 273819 | 185152 | 148235 1 | 0 | 2 1248.89/1249.15 c 1247s | 16 | 274235 | 185452 | 148235 1 | 0 | 2 1251.39/1251.64 c 1249s | 16 | 274586 | 185752 | 148235 1 | 0 | 2 1253.48/1253.75 c 1251s | 16 | 274988 | 186052 | 148235 1 | 0 | 2 1255.59/1255.81 c 1254s | 16 | 275401 | 186352 | 148235 1 | 0 | 2 1257.68/1257.96 c 1256s | 16 | 275789 | 186652 | 148235 1 | 0 | 2 1259.98/1260.20 c 1258s | 16 | 276170 | 186952 | 148235 1 | 0 | 2 1262.28/1262.52 c 1260s | 16 | 276578 | 187252 | 148235 1 | 0 | 2 1264.58/1264.82 c 1263s | 16 | 276996 | 187552 | 148235 1 | 0 | 2 1267.28/1267.58 c 1265s | 16 | 277391 | 187852 | 148235 1 | 0 | 2 1269.88/1270.10 c 1268s | 16 | 277770 | 188152 | 148235 1 | 0 | 2 1272.28/1272.57 c 1270s | 16 | 278181 | 188452 | 148235 1 | 0 | 2 1274.98/1275.29 c 1273s | 16 | 278574 | 188752 | 148235 1 | 0 | 2 1277.78/1278.03 c 1276s | 16 | 278958 | 189052 | 148235 1 | 0 | 2 1280.17/1280.43 c 1278s | 16 | 279334 | 189352 | 148235 1 | 0 | 2 1282.37/1282.64 c 1280s | 16 | 279768 | 189652 | 148235 1 | 0 | 2 1284.48/1284.77 c 1283s | 16 | 280155 | 189952 | 148235 1 | 0 | 2 1286.57/1286.85 c 1285s | 16 | 280567 | 190252 | 148235 1 | 0 | 2 1288.87/1289.13 c 1287s | 16 | 280985 | 190552 | 148235 1 | 0 | 2 1291.08/1291.36 c 1289s | 16 | 281431 | 190852 | 148235 1 | 0 | 2 1293.67/1293.93 c 1292s | 16 | 281765 | 191152 | 148235 1 | 0 | 2 1295.97/1296.23 c 1294s | 16 | 282129 | 191452 | 148235 1 | 0 | 2 1298.57/1298.82 c 1297s | 16 | 282514 | 191752 | 148235 1 | 0 | 2 1300.97/1301.25 c 1299s | 16 | 282903 | 192052 | 148235 1 | 0 | 2 1303.38/1303.70 c 1301s | 16 | 283308 | 192352 | 148235 1 | 0 | 2 1305.77/1306.06 c 1304s | 16 | 283744 | 192652 | 148235 1 | 0 | 2 1308.16/1308.49 c 1306s | 16 | 284138 | 192952 | 148235 1 | 0 | 2 1310.47/1310.72 c 1308s | 16 | 284562 | 193252 | 148235 1 | 0 | 2 1312.97/1313.23 c 1311s | 16 | 284951 | 193552 | 148235 1 | 0 | 2 1315.58/1315.81 c 1314s | 16 | 285312 | 193852 | 148235 1 | 0 | 2 1317.96/1318.24 c 1316s | 16 | 285718 | 194152 | 148235 1 | 0 | 2 1320.26/1320.52 c 1318s | 16 | 286143 | 194452 | 148235 1 | 0 | 2 1322.56/1322.85 c 1321s | 16 | 286522 | 194752 | 148235 1 | 0 | 2 1325.06/1325.38 c 1323s | 16 | 286919 | 195052 | 148235 1 | 0 | 2 1327.57/1327.89 c 1326s | 16 | 287312 | 195352 | 148235 1 | 0 | 2 1329.96/1330.28 c 1328s | 16 | 287551 | 195552 | 148235 1 | 0 | 2 1332.16/1332.44 c 1330s | 16 | 287808 | 195752 | 148235 1 | 0 | 2 1334.96/1335.29 c 1333s | 16 | 288189 | 196052 | 163059 1 | 0 | 2 1337.57/1337.81 c 1336s | 16 | 288590 | 196352 | 163059 1 | 0 | 2 1339.55/1339.86 c 1338s | 16 | 289054 | 196652 | 163059 1 | 0 | 2 1341.86/1342.13 c 1340s | 16 | 289449 | 196952 | 163059 1 | 0 | 2 1344.17/1344.42 c 1342s | 16 | 289860 | 197252 | 163059 1 | 0 | 2 1345.75/1346.02 c 1344s | 17 | 290119 | 197432 | 163059 1 | 0 | 2 1351.06/1351.33 c 1349s | 17 | 291131 | 197532 | 163059 1 | 0 | 2 1353.35/1353.69 c 1351s | 17 | 291605 | 197832 | 163059 1 | 0 | 2 1355.45/1355.72 c 1353s | 17 | 292232 | 198232 | 163059 1 | 0 | 2 1357.85/1358.12 c 1356s | 17 | 293107 | 198732 | 163059 1 | 0 | 2 1360.15/1360.49 c 1358s | 17 | 293785 | 199132 | 163059 1 | 0 | 2 1362.55/1362.82 c 1361s | 17 | 294577 | 199632 | 163059 1 | 0 | 2 1364.75/1365.03 c 1363s | 17 | 295017 | 199932 | 163059 1 | 0 | 2 1367.35/1367.63 c 1365s | 17 | 295591 | 200332 | 163059 1 | 0 | 2 1369.36/1369.67 c 1367s | 17 | 296240 | 200732 | 163059 1 | 0 | 2 1371.66/1371.93 c 1370s | 17 | 296920 | 201132 | 163059 1 | 0 | 2 1373.96/1374.23 c 1372s | 17 | 297505 | 201532 | 163059 1 | 0 | 2 1376.06/1376.31 c 1374s | 17 | 298046 | 201932 | 163059 1 | 0 | 2 1384.35/1384.66 c 1382s | 17 | 298712 | 202332 | 163059 1 | 0 | 2 1386.44/1386.73 c 1384s | 17 | 299384 | 202732 | 163059 1 | 0 | 2 1388.75/1389.02 c 1387s | 17 | 299927 | 203132 | 163059 1 | 0 | 2 1391.24/1391.52 c 1389s | 17 | 300509 | 203532 | 163059 1 | 0 | 2 1393.74/1394.00 c 1392s | 17 | 301059 | 203932 | 163059 1 | 0 | 2 1396.34/1396.65 c 1394s | 17 | 301609 | 204332 | 163059 1 | 0 | 2 1398.84/1399.18 c 1397s | 17 | 302126 | 204732 | 163059 1 | 0 | 2 1401.35/1401.70 c 1399s | 17 | 302669 | 205132 | 163059 1 | 0 | 2 1403.84/1404.10 c 1402s | 17 | 303234 | 205532 | 163059 1 | 0 | 2 1406.43/1406.72 c 1404s | 17 | 303828 | 205932 | 163059 1 | 0 | 2 1408.44/1408.74 c 1406s | 17 | 304218 | 206232 | 163059 1 | 0 | 2 1410.44/1410.76 c 1408s | 17 | 304682 | 206532 | 163059 1 | 0 | 2 1412.84/1413.16 c 1411s | 17 | 305234 | 206932 | 163059 1 | 0 | 2 1415.24/1415.56 c 1413s | 17 | 305854 | 207332 | 163059 1 | 0 | 2 1417.54/1417.85 c 1416s | 17 | 306402 | 207732 | 163059 1 | 0 | 2 1420.23/1420.58 c 1418s | 17 | 307040 | 208132 | 163059 1 | 0 | 2 1422.64/1422.95 c 1421s | 17 | 307703 | 208532 | 163059 1 | 0 | 2 1424.93/1425.26 c 1423s | 17 | 308177 | 208832 | 163059 1 | 0 | 2 1427.33/1427.64 c 1425s | 17 | 308748 | 209232 | 163059 1 | 0 | 2 1429.84/1430.19 c 1428s | 17 | 309266 | 209632 | 163059 1 | 0 | 2 1432.54/1432.83 c 1431s | 17 | 309849 | 210032 | 163059 1 | 0 | 2 1434.84/1435.13 c 1433s | 17 | 310290 | 210332 | 163059 1 | 0 | 2 1437.43/1437.78 c 1436s | 17 | 310770 | 210632 | 163059 1 | 0 | 2 1439.63/1439.95 c 1438s | 17 | 311206 | 210932 | 163059 1 | 0 | 2 1442.43/1442.70 c 1440s | 17 | 311704 | 211332 | 163059 1 | 0 | 2 1444.92/1445.26 c 1443s | 17 | 312375 | 211732 | 163059 1 | 0 | 2 1447.02/1447.33 c 1445s | 17 | 312846 | 212032 | 163059 1 | 0 | 2 1449.63/1449.93 c 1448s | 17 | 313473 | 212432 | 163059 1 | 0 | 2 1451.72/1452.07 c 1450s | 17 | 313883 | 212732 | 163059 1 | 0 | 2 1454.32/1454.65 c 1452s | 17 | 314530 | 213132 | 163059 1 | 0 | 2 1456.33/1456.69 c 1454s | 17 | 314981 | 213432 | 163059 1 | 0 | 2 1458.92/1459.26 c 1457s | 17 | 315581 | 213832 | 163059 1 | 0 | 2 1461.03/1461.32 c 1459s | 17 | 315979 | 214132 | 163059 1 | 0 | 2 1463.23/1463.53 c 1461s | 17 | 316408 | 214432 | 163059 1 | 0 | 2 1465.52/1465.87 c 1464s | 17 | 316801 | 214732 | 163059 1 | 0 | 2 1467.82/1468.12 c 1466s | 17 | 317202 | 215032 | 163059 1 | 0 | 2 1470.53/1470.86 c 1469s | 17 | 317717 | 215332 | 163059 1 | 0 | 2 1472.73/1473.08 c 1471s | 17 | 318165 | 215632 | 163059 1 | 0 | 2 1475.22/1475.59 c 1473s | 17 | 318573 | 215932 | 163059 1 | 0 | 2 1477.52/1477.81 c 1476s | 17 | 318986 | 216232 | 163059 1 | 0 | 2 1480.12/1480.50 c 1478s | 17 | 319386 | 216532 | 163059 1 | 0 | 2 1482.41/1482.76 c 1480s | 17 | 319763 | 216832 | 163059 1 | 0 | 2 1484.83/1485.18 c 1483s | 17 | 320171 | 217132 | 163059 1 | 0 | 2 1487.32/1487.63 c 1485s | 17 | 320584 | 217432 | 163059 1 | 0 | 2 1490.22/1490.59 c 1488s | 17 | 320961 | 217732 | 163059 1 | 0 | 2 1492.53/1492.90 c 1491s | 17 | 321340 | 218032 | 163059 1 | 0 | 2 1495.42/1495.72 c 1493s | 17 | 321711 | 218332 | 163059 1 | 0 | 2 1498.12/1498.47 c 1496s | 17 | 322094 | 218632 | 163059 1 | 0 | 2 1500.91/1501.29 c 1499s | 17 | 322492 | 218932 | 163059 1 | 0 | 2 1503.41/1503.71 c 1501s | 17 | 322895 | 219232 | 163059 1 | 0 | 2 1506.32/1506.65 c 1504s | 17 | 323324 | 219532 | 163059 1 | 0 | 2 1508.31/1508.68 c 1506s | 17 | 323618 | 219732 | 163059 1 | 0 | 2 1511.32/1511.67 c 1509s | 17 | 324041 | 220032 | 163059 1 | 0 | 2 1513.61/1513.92 c 1512s | 17 | 324311 | 220232 | 163059 1 | 0 | 2 1515.61/1515.96 c 1514s | 17 | 324586 | 220432 | 163059 1 | 0 | 2 1518.01/1518.33 c 1516s | 17 | 324824 | 220632 | 163059 1 | 0 | 2 1520.41/1520.71 c 1518s | 17 | 325187 | 220932 | 163059 1 | 0 | 2 1523.11/1523.48 c 1521s | 17 | 325574 | 221232 | 163059 1 | 0 | 2 1525.21/1525.55 c 1523s | 17 | 325817 | 221432 | 163059 1 | 0 | 2 1528.11/1528.50 c 1526s | 17 | 326184 | 221732 | 163059 1 | 0 | 2 1530.91/1531.20 c 1529s | 17 | 326495 | 221932 | 163059 1 | 0 | 2 1533.71/1534.06 c 1532s | 17 | 326894 | 222232 | 163059 1 | 0 | 2 1536.40/1536.71 c 1534s | 17 | 327329 | 222532 | 163059 1 | 0 | 2 1539.00/1539.32 c 1537s | 17 | 327782 | 222832 | 163059 1 | 0 | 2 1541.10/1541.44 c 1539s | 17 | 328049 | 223032 | 163059 1 | 0 | 2 1543.70/1544.02 c 1542s | 17 | 328521 | 223332 | 163059 1 | 0 | 2 1545.80/1546.16 c 1544s | 17 | 328963 | 223632 | 163059 1 | 0 | 2 1548.00/1548.32 c 1546s | 17 | 329237 | 223832 | 163059 1 | 0 | 2 1550.70/1551.02 c 1549s | 17 | 329696 | 224132 | 163059 1 | 0 | 2 1553.50/1553.89 c 1552s | 17 | 330137 | 224432 | 163059 1 | 0 | 2 1556.00/1556.31 c 1554s | 17 | 330608 | 224732 | 163059 1 | 0 | 2 1558.30/1558.63 c 1556s | 17 | 331075 | 225032 | 163059 1 | 0 | 2 1560.70/1561.01 c 1559s | 17 | 331530 | 225332 | 163059 1 | 0 | 2 1563.40/1563.75 c 1561s | 17 | 331925 | 225632 | 163059 1 | 0 | 2 1565.90/1566.26 c 1564s | 17 | 332381 | 225932 | 163059 1 | 0 | 2 1568.20/1568.59 c 1566s | 17 | 332863 | 226232 | 163059 1 | 0 | 2 1570.90/1571.25 c 1569s | 17 | 333270 | 226532 | 163059 1 | 0 | 2 1573.19/1573.53 c 1571s | 17 | 333569 | 226732 | 163059 1 | 0 | 2 1575.49/1575.88 c 1574s | 17 | 334075 | 227032 | 163059 1 | 0 | 2 1578.30/1578.66 c 1576s | 17 | 334476 | 227332 | 163059 1 | 0 | 2 1580.39/1580.75 c 1578s | 17 | 334740 | 227532 | 163059 1 | 0 | 2 1582.59/1582.90 c 1581s | 17 | 335007 | 227732 | 163059 1 | 0 | 2 1584.59/1584.98 c 1583s | 17 | 335259 | 227932 | 163059 1 | 0 | 2 1586.79/1587.14 c 1585s | 17 | 335509 | 228132 | 163059 1 | 0 | 2 1589.49/1589.88 c 1588s | 17 | 335933 | 228432 | 163059 1 | 0 | 2 1592.49/1592.87 c 1591s | 17 | 336391 | 228732 | 163059 1 | 0 | 2 1595.08/1595.43 c 1593s | 17 | 336790 | 229032 | 163059 1 | 0 | 2 1597.59/1597.98 c 1596s | 17 | 337254 | 229332 | 163059 1 | 0 | 2 1599.99/1600.35 c 1598s | 17 | 337537 | 229532 | 163059 1 | 0 | 2 1602.19/1602.50 c 1600s | 17 | 337850 | 229732 | 163059 1 | 0 | 2 1604.89/1605.20 c 1603s | 17 | 338160 | 229932 | 163059 1 | 0 | 2 1606.89/1607.29 c 1605s | 17 | 338443 | 230132 | 163059 1 | 0 | 2 1608.98/1609.31 c 1607s | 17 | 338729 | 230332 | 163059 1 | 0 | 2 1611.58/1611.97 c 1610s | 17 | 339005 | 230532 | 163059 1 | 0 | 2 1614.59/1614.93 c 1613s | 17 | 339305 | 230732 | 163059 1 | 0 | 2 1616.79/1617.15 c 1615s | 17 | 339767 | 231032 | 163059 1 | 0 | 2 1618.78/1619.18 c 1617s | 17 | 340295 | 231332 | 163059 1 | 0 | 2 1620.98/1621.34 c 1619s | 17 | 340723 | 231632 | 163059 1 | 0 | 2 1623.09/1623.47 c 1621s | 17 | 341137 | 231932 | 163059 1 | 0 | 2 1625.69/1626.06 c 1624s | 17 | 341710 | 232332 | 163059 1 | 0 | 2 1628.48/1628.80 c 1627s | 17 | 342097 | 232632 | 163059 1 | 0 | 2 1630.68/1631.04 c 1629s | 17 | 342508 | 232932 | 163059 1 | 0 | 2 1633.17/1633.53 c 1631s | 17 | 342911 | 233232 | 163059 1 | 0 | 2 1635.38/1635.76 c 1633s | 17 | 343313 | 233532 | 163059 1 | 0 | 2 1637.88/1638.25 c 1636s | 17 | 343702 | 233832 | 163059 1 | 0 | 2 1640.67/1641.04 c 1639s | 17 | 344099 | 234132 | 163059 1 | 0 | 2 1643.28/1643.67 c 1641s | 17 | 344502 | 234432 | 163059 1 | 0 | 2 1645.58/1645.97 c 1644s | 17 | 344765 | 234632 | 163059 1 | 0 | 2 1647.97/1648.38 c 1646s | 17 | 345039 | 234832 | 163059 1 | 0 | 2 1650.47/1650.87 c 1649s | 17 | 345649 | 235232 | 163059 1 | 0 | 2 1652.97/1653.31 c 1651s | 17 | 346054 | 235532 | 163059 1 | 0 | 2 1655.57/1655.95 c 1654s | 17 | 346502 | 235832 | 163059 1 | 0 | 2 1658.07/1658.46 c 1656s | 17 | 346775 | 236032 | 163059 1 | 0 | 2 1660.46/1660.88 c 1659s | 17 | 347030 | 236232 | 163059 1 | 0 | 2 1662.57/1662.95 c 1661s | 17 | 347317 | 236432 | 163059 1 | 0 | 2 1665.47/1665.85 c 1664s | 17 | 347776 | 236732 | 163059 1 | 0 | 2 1668.36/1668.74 c 1666s | 17 | 348216 | 237032 | 163059 1 | 0 | 2 1670.87/1671.24 c 1669s | 17 | 348643 | 237332 | 163059 1 | 0 | 2 1674.17/1674.50 c 1672s | 17 | 349057 | 237632 | 163059 1 | 0 | 2 1676.17/1676.59 c 1674s | 17 | 349293 | 237832 | 163059 1 | 0 | 2 1678.66/1679.02 c 1677s | 17 | 349565 | 238032 | 163059 1 | 0 | 2 1680.95/1681.32 c 1679s | 17 | 349849 | 238232 | 163059 1 | 0 | 2 1683.06/1683.49 c 1681s | 17 | 350151 | 238432 | 163059 1 | 0 | 2 1685.66/1686.02 c 1684s | 17 | 350423 | 238632 | 163059 1 | 0 | 2 1688.36/1688.75 c 1686s | 17 | 350694 | 238832 | 163059 1 | 0 | 2 1690.35/1690.79 c 1689s | 17 | 350948 | 239032 | 163059 1 | 0 | 2 1693.35/1693.71 c 1691s | 17 | 351385 | 239332 | 163059 1 | 0 | 2 1695.96/1696.37 c 1694s | 17 | 351882 | 239632 | 163059 1 | 0 | 2 1698.06/1698.43 c 1696s | 17 | 352144 | 239832 | 163059 1 | 0 | 2 1700.36/1700.75 c 1698s | 17 | 352600 | 240132 | 163059 1 | 0 | 2 1702.86/1703.28 c 1701s | 17 | 352992 | 240432 | 163059 1 | 0 | 2 1705.05/1705.42 c 1703s | 17 | 353249 | 240632 | 163059 1 | 0 | 2 1707.25/1707.65 c 1705s | 17 | 353551 | 240832 | 163059 1 | 0 | 2 1709.75/1710.15 c 1708s | 17 | 353845 | 241032 | 163059 1 | 0 | 2 1712.65/1713.01 c 1711s | 17 | 354275 | 241332 | 163059 1 | 0 | 2 1714.76/1715.17 c 1713s | 17 | 354539 | 241532 | 163059 1 | 0 | 2 1717.15/1717.55 c 1715s | 17 | 354815 | 241732 | 163059 1 | 0 | 2 1719.94/1720.40 c 1718s | 17 | 355115 | 241932 | 163059 1 | 0 | 2 1722.15/1722.54 c 1720s | 17 | 355407 | 242132 | 163059 1 | 0 | 2 1724.45/1724.90 c 1723s | 17 | 355703 | 242332 | 163059 1 | 0 | 2 1726.86/1727.27 c 1725s | 17 | 356001 | 242532 | 163059 1 | 0 | 2 1729.44/1729.83 c 1728s | 17 | 356272 | 242732 | 163059 1 | 0 | 2 1732.44/1732.87 c 1731s | 17 | 356577 | 242932 | 163059 1 | 0 | 2 1735.24/1735.62 c 1733s | 17 | 357035 | 243232 | 163059 1 | 0 | 2 1737.54/1737.96 c 1736s | 17 | 357296 | 243432 | 163059 1 | 0 | 2 1739.65/1740.07 c 1738s | 17 | 357607 | 243632 | 163059 1 | 0 | 2 1742.74/1743.17 c 1741s | 17 | 358019 | 243932 | 163059 1 | 0 | 2 1744.84/1745.29 c 1743s | 17 | 358308 | 244132 | 163059 1 | 0 | 2 1747.65/1748.01 c 1746s | 17 | 358552 | 244332 | 163059 1 | 0 | 2 1750.54/1750.96 c 1749s | 17 | 358800 | 244532 | 163059 1 | 0 | 2 1752.94/1753.31 c 1751s | 17 | 359071 | 244732 | 163059 1 | 0 | 2 1756.34/1756.77 c 1754s | 17 | 359327 | 244932 | 163059 1 | 0 | 2 1759.94/1760.33 c 1758s | 17 | 359580 | 245132 | 163059 1 | 0 | 2 1762.33/1762.77 c 1760s | 17 | 359898 | 245332 | 163059 1 | 0 | 2 1765.14/1765.53 c 1763s | 17 | 360305 | 245632 | 163059 1 | 0 | 2 1767.64/1768.02 c 1766s | 17 | 360693 | 245932 | 163059 1 | 0 | 2 1769.64/1770.07 c 1768s | 17 | 360951 | 246132 | 163059 1 | 0 | 2 1772.23/1772.64 c 1770s | 17 | 361326 | 246432 | 163059 1 | 0 | 2 1774.63/1775.05 c 1773s | 17 | 361563 | 246632 | 163059 1 | 0 | 2 1777.43/1777.83 c 1776s | 17 | 361974 | 246932 | 163059 1 | 0 | 2 1780.13/1780.57 c 1778s | 17 | 362361 | 247232 | 163059 1 | 0 | 2 1782.33/1782.70 c 1780s | 17 | 362602 | 247432 | 163059 1 | 0 | 2 1784.82/1785.29 c 1783s | 17 | 363058 | 247732 | 163059 1 | 0 | 2 1787.24/1787.68 c 1785s | 17 | 363465 | 248032 | 163059 1 | 0 | 2 1789.63/1790.05 c 1788s | 17 | 363929 | 248332 | 163059 1 | 0 | 2 1791.93/1792.32 c 1790s | 17 | 364201 | 248532 | 163059 1 | 0 | 2 1794.02/1794.46 c 1792s | 17 | 364451 | 248732 | 163059 1 | 0 | 2 1796.83/1797.26 c 1795s | 17 | 364971 | 249032 | 163059 1 | 0 | 2 1799.12/1799.58 c 1797s | 17 | 365235 | 249232 | 163059 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-4080115-1465256712/watcher-4080115-1465256712 -o /tmp/evaluation-result-4080115-1465256712/solver-4080115-1465256712 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5799 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080115-1465256712.opb pid=6792 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.10 2.12 2.14 3/179 6795 /proc/meminfo: memFree=29479468/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=701884 CPUtime=0 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 2613 0 0 0 0 0 0 0 20 0 4 0 107604402 718729216 2975 33554432000 4194304 16246674 140737202755920 140737202755344 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 176239 2984 441 2943 0 173133 0 [pid=6795/tid=6796] ppid=6792 vsize=719292 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 736555008 3042 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=723388 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 740749312 3058 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=727484 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 744943616 3075 33554432000 4194304 16246674 140737202755920 140076398931120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100182 s] /proc/loadavg: 2.10 2.12 2.14 3/179 6795 /proc/meminfo: memFree=29479468/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 27671 0 0 0 5 4 0 0 20 0 4 0 107604402 1333334016 27971 33554432000 4194304 16246674 140737202755920 140737202755232 8057278 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 325521 27986 799 2943 0 322415 0 [pid=6795/tid=6796] ppid=6792 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 1333334016 27996 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 1333334016 28007 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 1333334016 28019 33554432000 4194304 16246674 140737202755920 140076398931120 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.200511 s] /proc/loadavg: 2.10 2.12 2.14 3/179 6795 /proc/meminfo: memFree=29479468/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=1314372 CPUtime=0.19 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 44043 0 0 0 13 6 0 0 20 0 4 0 107604402 1345916928 44342 33554432000 4194304 16246674 140737202755920 140737202755232 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 328593 44347 834 2943 0 325487 0 [pid=6795/tid=6796] ppid=6792 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 1345916928 44349 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 1345916928 44352 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 1345916928 44354 33554432000 4194304 16246674 140737202755920 140076398931120 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) 1314372 [startup+0.300483 s] /proc/loadavg: 2.10 2.12 2.14 3/179 6795 /proc/meminfo: memFree=29479468/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=1315396 CPUtime=0.29 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 44520 0 0 0 23 6 0 0 20 0 4 0 107604402 1346965504 44819 33554432000 4194304 16246674 140737202755920 140737202755232 4221070 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 328849 44819 834 2943 0 325743 0 [pid=6795/tid=6796] ppid=6792 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 1346965504 44819 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 1346965504 44819 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 1346965504 44819 33554432000 4194304 16246674 140737202755920 140076398931120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1315396 [startup+0.700349 s] /proc/loadavg: 2.10 2.12 2.14 3/179 6795 /proc/meminfo: memFree=29479468/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=1316420 CPUtime=0.68 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 61200 0 0 0 60 8 0 0 20 0 4 0 107604402 1348014080 61499 33554432000 4194304 16246674 140737202755920 140737202737792 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 329105 61499 834 2943 0 325999 0 [pid=6795/tid=6796] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 61499 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 61499 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 61499 33554432000 4194304 16246674 140737202755920 140076398931120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1316420 [startup+1.5004 s] /proc/loadavg: 2.10 2.12 2.14 3/183 6799 /proc/meminfo: memFree=29189064/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=1316420 CPUtime=1.49 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 72522 0 0 0 139 10 0 0 20 0 4 0 107604402 1348014080 72821 33554432000 4194304 16246674 140737202755920 140737202737792 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 329105 72821 894 2943 0 325999 0 [pid=6795/tid=6796] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 72821 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 72821 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 72821 33554432000 4194304 16246674 140737202755920 140076398931120 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.18 2.13 2.15 3/182 6799 /proc/meminfo: memFree=29188692/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=1316420 CPUtime=3.09 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 93309 0 0 0 295 14 0 0 20 0 4 0 107604402 1348014080 93608 33554432000 4194304 16246674 140737202755920 140737202737792 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 329105 93608 909 2943 0 325999 0 [pid=6795/tid=6796] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 93608 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 93608 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 93608 33554432000 4194304 16246674 140737202755920 140076398931120 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.18 2.13 2.15 3/182 6799 /proc/meminfo: memFree=29031756/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=1316420 CPUtime=6.29 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 111799 0 0 0 613 16 0 0 20 0 4 0 107604402 1348014080 112098 33554432000 4194304 16246674 140737202755920 140737202737792 5675549 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 329105 112098 909 2943 0 325999 0 [pid=6795/tid=6796] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 112098 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 112098 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 112098 33554432000 4194304 16246674 140737202755920 140076398931120 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.15 2.12 2.14 4/183 6800 /proc/meminfo: memFree=28608224/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=1316420 CPUtime=12.68 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 217724 0 0 0 1239 29 0 0 20 0 4 0 107604402 1348014080 218023 33554432000 4194304 16246674 140737202755920 140737202737792 5545776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 329105 218023 912 2943 0 325999 0 [pid=6795/tid=6796] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 218023 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 218023 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 218023 33554432000 4194304 16246674 140737202755920 140076398931120 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.5073 s] /proc/loadavg: 2.20 2.14 2.15 3/183 6800 /proc/meminfo: memFree=28608832/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=1316420 CPUtime=25.5 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 217724 0 0 0 2520 30 0 0 20 0 4 0 107604402 1348014080 218023 33554432000 4194304 16246674 140737202755920 140737202755096 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 329105 218023 912 2943 0 325999 0 [pid=6795/tid=6796] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 218023 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 218023 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 218023 33554432000 4194304 16246674 140737202755920 140076398931120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 1316420 [startup+51.1004 s] /proc/loadavg: 2.21 2.14 2.15 3/183 6800 /proc/meminfo: memFree=28608840/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=1316420 CPUtime=51.09 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 217726 0 0 0 5078 31 0 0 20 0 4 0 107604402 1348014080 218025 33554432000 4194304 16246674 140737202755920 140737202755096 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 329105 218025 914 2943 0 325999 0 [pid=6795/tid=6796] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 218025 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 218025 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 218025 33554432000 4194304 16246674 140737202755920 140076398931120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1316420 [startup+102.3 s] /proc/loadavg: 2.18 2.14 2.15 3/183 6801 /proc/meminfo: memFree=28608556/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=1316420 CPUtime=102.28 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 217726 0 0 0 10195 33 0 0 20 0 4 0 107604402 1348014080 218025 33554432000 4194304 16246674 140737202755920 140737202737792 6837238 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 329105 218025 914 2943 0 325999 0 [pid=6795/tid=6796] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 218025 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 218025 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 1348014080 218025 33554432000 4194304 16246674 140737202755920 140076398931120 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/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 2478379008 546841 33554432000 4194304 16246674 140737202755920 140076398931120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 2420292 [startup+1362.3 s] /proc/loadavg: 2.06 2.08 2.08 3/184 6855 /proc/meminfo: memFree=27280504/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=2420292 CPUtime=1362.05 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 546356 0 0 0 136000 205 0 0 20 0 4 0 107604402 2478379008 546841 33554432000 4194304 16246674 140737202755920 140737202755096 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 605073 546841 916 2943 0 601967 0 [pid=6795/tid=6796] ppid=6792 vsize=2420292 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 2478379008 546841 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=2420292 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 2478379008 546841 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=2420292 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 2478379008 546841 33554432000 4194304 16246674 140737202755920 140076398931120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 2420292 [startup+1422.3 s] /proc/loadavg: 2.09 2.08 2.08 4/184 6856 /proc/meminfo: memFree=27277928/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=2420292 CPUtime=1422.04 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 546375 0 0 0 141988 216 0 0 20 0 4 0 107604402 2478379008 546841 33554432000 4194304 16246674 140737202755920 140737202755096 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 605073 546841 916 2943 0 601967 0 [pid=6795/tid=6796] ppid=6792 vsize=2420292 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 2478379008 546841 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=2420292 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 2478379008 546841 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=2420292 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 2478379008 546841 33554432000 4194304 16246674 140737202755920 140076398931120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 2420292 [startup+1482.3 s] /proc/loadavg: 2.12 2.09 2.09 3/184 6857 /proc/meminfo: memFree=27278096/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=2420292 CPUtime=1482.01 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 546393 0 0 0 147977 224 0 0 20 0 4 0 107604402 2478379008 546841 33554432000 4194304 16246674 140737202755920 140737202755016 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 605073 546841 916 2943 0 601967 0 [pid=6795/tid=6796] ppid=6792 vsize=2420292 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 2478379008 546841 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=2420292 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 2478379008 546841 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=2420292 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 2478379008 546841 33554432000 4194304 16246674 140737202755920 140076398931120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1482.01 Current children cumulated vsize (KiB) 2420292 [startup+1542.3 s] /proc/loadavg: 2.20 2.12 2.09 3/185 6862 /proc/meminfo: memFree=27277920/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=2420292 CPUtime=1542.01 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 546412 0 0 0 153966 235 0 0 20 0 4 0 107604402 2478379008 546842 33554432000 4194304 16246674 140737202755920 140737202737728 5523360 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 605073 546842 917 2943 0 601967 0 [pid=6795/tid=6796] ppid=6792 vsize=2420292 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 2478379008 546842 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=2420292 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 2478379008 546842 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=2420292 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 2478379008 546842 33554432000 4194304 16246674 140737202755920 140076398931120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 2420292 [startup+1602.3 s] /proc/loadavg: 2.07 2.09 2.09 3/184 6911 /proc/meminfo: memFree=27286064/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=2420292 CPUtime=1601.99 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 546432 0 0 0 159947 252 0 0 20 0 4 0 107604402 2478379008 546842 33554432000 4194304 16246674 140737202755920 140737202755096 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 605073 546842 917 2943 0 601967 0 [pid=6795/tid=6796] ppid=6792 vsize=2420292 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 2478379008 546842 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=2420292 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 2478379008 546842 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=2420292 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 2478379008 546842 33554432000 4194304 16246674 140737202755920 140076398931120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.99 Current children cumulated vsize (KiB) 2420292 [startup+1662.31 s] /proc/loadavg: 2.06 2.09 2.09 3/184 6912 /proc/meminfo: memFree=27196660/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=2505284 CPUtime=1661.97 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 567482 0 0 0 165924 273 0 0 20 0 4 0 107604402 2565410816 567871 33554432000 4194304 16246674 140737202755920 140737202755096 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 626321 567871 917 2943 0 623215 0 [pid=6795/tid=6796] ppid=6792 vsize=2505284 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 2565410816 567871 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=2505284 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 2565410816 567871 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=2505284 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 2565410816 567871 33554432000 4194304 16246674 140737202755920 140076398931120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.97 Current children cumulated vsize (KiB) 2505284 [startup+1722.3 s] /proc/loadavg: 2.18 2.12 2.09 3/184 6913 /proc/meminfo: memFree=27117212/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=2584132 CPUtime=1721.95 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 587278 0 0 0 171901 294 0 0 20 0 4 0 107604402 2646151168 587649 33554432000 4194304 16246674 140737202755920 140737202755016 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 646033 587649 917 2943 0 642927 0 [pid=6795/tid=6796] ppid=6792 vsize=2584132 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 2646151168 587649 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=2584132 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 2646151168 587649 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=2584132 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 2646151168 587649 33554432000 4194304 16246674 140737202755920 140076398931120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.95 Current children cumulated vsize (KiB) 2584132 [startup+1782.3 s] /proc/loadavg: 2.23 2.14 2.10 4/184 6914 /proc/meminfo: memFree=27054008/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=2646596 CPUtime=1781.93 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 602898 0 0 0 177872 321 0 0 20 0 4 0 107604402 2710114304 603251 33554432000 4194304 16246674 140737202755920 140737202755016 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 661649 603251 917 2943 0 658543 0 [pid=6795/tid=6796] ppid=6792 vsize=2646596 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 2710114304 603251 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=2646596 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 2710114304 603251 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=2646596 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 2710114304 603251 33554432000 4194304 16246674 140737202755920 140076398931120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.93 Current children cumulated vsize (KiB) 2646596 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.25 2.15 2.10 4/184 6915 /proc/meminfo: memFree=27032152/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=2668100 CPUtime=1800.03 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 608204 0 0 0 179673 330 0 0 20 0 4 0 107604402 2732134400 608549 33554432000 4194304 16246674 140737202755920 140737202755096 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 667025 608549 917 2943 0 663919 0 [pid=6795/tid=6796] ppid=6792 vsize=2668100 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 2732134400 608549 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=2668100 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 2732134400 608549 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=2668100 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 2732134400 608549 33554432000 4194304 16246674 140737202755920 140076398931120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 2668100 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 6795 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.4 s] /proc/loadavg: 2.25 2.15 2.10 4/184 6915 /proc/meminfo: memFree=27032152/32872528 swapFree=16252/1391864 [pid=6795] ppid=6792 vsize=2668100 CPUtime=1800.03 cores=0,2,4,6 /proc/6795/stat : 6795 (toysat) R 6792 6795 5783 0 -1 4202496 608204 0 0 0 179673 330 0 0 20 0 4 0 107604402 2732134400 608549 33554432000 4194304 16246674 140737202755920 140737202755096 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6795/statm: 667025 608549 917 2943 0 663919 0 [pid=6795/tid=6796] ppid=6792 vsize=2668100 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6796/stat : 6796 (toysat) S 6792 6795 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107604402 2732134400 608549 33554432000 4194304 16246674 140737202755920 140076529986800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6795/tid=6797] ppid=6792 vsize=2668100 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6797/stat : 6797 (toysat) S 6792 6795 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107604402 2732134400 608549 33554432000 4194304 16246674 140737202755920 140076519496944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6795/tid=6798] ppid=6792 vsize=2668100 CPUtime=0 cores=0,2,4,6 /proc/6795/task/6798/stat : 6798 (toysat) S 6792 6795 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107604402 2732134400 608549 33554432000 4194304 16246674 140737202755920 140076398931120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 2668100 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.49 CPU time (s): 1800.12 CPU user time (s): 1796.74 CPU system time (s): 3.38049 CPU usage (%): 99.9793 Max. virtual memory (cumulated for all children) (KiB): 2668100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.74 system time used= 3.38049 maximum resident set size= 2434196 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 608204 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= 233 involuntary context switches= 1836 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.5941 second user time and 12.1532 second system time The end
Begin job on node119 at 2016-06-07 01:45:13 IDJOB=4080115 IDBENCH=48133 IDSOLVER=2542 FILE ID=node119/4080115-1465256712 RUNJOBID= node119-1465252213-5799 PBS_JOBID= 19843259 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_5.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080115-1465256712/watcher-4080115-1465256712 -o /tmp/evaluation-result-4080115-1465256712/solver-4080115-1465256712 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5799 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080115-1465256712.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d79bd0f7d6fceec4ec599aa8716e2601 RANDOM SEED=1530722856 node119.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.410 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.82 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.410 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.410 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.410 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.410 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.410 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.410 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.410 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29479360 kB Buffers: 53768 kB Cached: 151616 kB SwapCached: 856 kB Active: 1202408 kB Inactive: 94488 kB Active(anon): 1091720 kB Inactive(anon): 1640 kB Active(file): 110688 kB Inactive(file): 92848 kB Unevictable: 1391864 kB Mlocked: 16252 kB SwapTotal: 67108856 kB SwapFree: 67100136 kB Dirty: 16732 kB Writeback: 0 kB AnonPages: 2481924 kB Mapped: 10756 kB Shmem: 0 kB Slab: 568484 kB SReclaimable: 12544 kB SUnreclaim: 555940 kB KernelStack: 1504 kB PageTables: 8620 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2625232 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1380352 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node119 at 2016-06-07 02:15:13