Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.04 | 1800.62 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_3.opb |
| MD5SUM | 58d1d1d90868b936a5ba7e034aba056d |
| 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 | 84 |
| Best CPU time to get the best result obtained on this benchmark | 1800.13 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 71 |
| 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 | 48 |
| 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) | 31622 |
| Sum of products size (including duplicates) | 63244 |
| Number of different products | 31622 |
| Sum of products size | 63244 |
0.00/0.00 c 2016-06-18T20:12:42+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-4106568-1466273562.opb"] 0.00/0.01 c use --random-gen="2395762913 1894703269 1100518832 2725762608 2286965746 1126339408 1714006139 2363094020 2655493858 3354066606 1492555460 4167137878 3436272197 977796368 737992193 2129630036 1212870090 1871516256 824952761 1246353423 2485129300 1263773425 2682493115 3208781263 3799067899 273586158 3730436063 238972001 1495248868 2752698844 1485618250 2943289547 4292648867 3038407294 2140165309 95637772 3616954750 3504879068 3127640798 321059189 2363476118 4164783263 983670602 4280610713 2700407700 3356817327 3403064862 330009706 1622873589 2974761838 3269120359 3494803065 4211264592 3265760969 369732579 2955850607 2178264234 1500590555 2486500318 2666820273 4261908509 501135546 1141394136 3780825842 324378596 420474162 4110736919 3945895626 2653014553 2779116092 3233313975 357555225 882424246 4231894890 3731071469 3901464366 2700480764 3517430663 827946290 2905512013 542846054 3290403453 325360557 2585931917 3148456170 3950216119 3206654655 4218164442 3306869300 1261049704 822268630 519518746 2339303853 3843935491 1193577384 1192860937 2805292020 3141609374 382009269 1983005770 900947516 506491359 1465560776 2434536385 3926850037 3356805941 3136650518 1334265391 3569232814 2186780551 2839999266 3285769458 2504308884 921626127 2246637082 1567371150 3834079495 3603188673 3129880704 421165713 208202254 1780804333 2216366827 3634068338 1000244413 3061375273 2671188142 1120417258 106052599 2804916989 2571321141 2949317028 750952981 3839001771 372707501 2641297747 3822653929 1881179357 944503257 247300829 3767272957 2663139932 1554389338 575480082 1967793279 4293184860 1750371642 1142694268 1637344317 3252753161 1384523277 3057211941 2093568217 1584652390 3290606251 1407475254 4084317143 365086264 3752658512 1681043093 3464585888 3108546768 1953453372 711686689 1367290904 3471609480 1629101152 1696230936 3170461167 1206275266 3061561218 14821329 3011634980 1358719854 112279824 262877188 2486226904 3479712569 3526418835 638270201 3746849942 130227217 2957590934 2069228890 766663704 525521193 4220754845 2648742557 3777152250 948752319 357040088 2035318277 1506122572 3438558071 1244472461 2293732160 2318674634 724017343 3288477815 3261745055 155670508 4270235081 4083011201 720844704 339498083 3247632736 3264067548 709906958 4088182983 3310433426 1385104918 90377478 3624718995 635612908 2350731179 4262984448 742188882 3314085164 1014795427 3380567275 11172204 3668990553 3570482085 2216806398 3175941374 1300126997 220939575 1747363621 2593759270 1290185252 290078544 2506492655 542083736 4126575419 2203844962 1378927184 4121458526 1243147439 54079331 244940281 3808742338 4221493318 502430820 4245923633 3508517228 2085334983 2905367752 2909979411 847191908 161168968 652400792 2231077729 3286162498 3773603553 1581225012 646904570 255 362436" option to reproduce the execution 0.09/0.11 c #vars 1000 0.09/0.11 c #constraints 1000 0.69/0.73 c BCD2: Hardening is enabled. 0.69/0.73 c BCD2: BiasedSearch is enabled. 0.69/0.73 c Solving starts ... 0.69/0.73 c ============================[ Search Statistics ]============================ 0.69/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.73 c | | | | Limit GC | Var | Constra 0.69/0.73 c ============================================================================= 0.69/0.78 c 0.0s | 0 | 0 | 0 | 32288 0 | 0 | 0 0.78/0.86 c 0.1s | 0 | 3340 | 0 | 32288 0 | 0 | 0 0.78/0.86 c #cpu_time = 0.059s 0.78/0.86 c #wall_clock_time = 0.059s 0.78/0.86 c #decision = 3340 0.78/0.86 c #random_decision = 2 0.78/0.86 c #conflict = 0 0.78/0.86 c #restart = 0 0.78/0.86 o 875 0.78/0.86 c BCD2: updating upper bound: 1000 -> 874 0.78/0.86 c BCD2: 0 <= obj <= 874 0.78/0.86 c BCD2: #cores=0, #unrelaxed=1000, #relaxed=0, #hardened=0 0.78/0.86 c BCD2: #sat=1 #unsat=1 bias=1/2 0.78/0.86 c Solving starts ... 0.78/0.86 c ============================[ Search Statistics ]============================ 0.78/0.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.78/0.86 c | | | | Limit GC | Var | Constra 0.78/0.86 c ============================================================================= 0.78/0.86 c 0.0s | 0 | 0 | 0 | 32288 0 | 0 | 0 0.89/0.94 c 0.1s | 0 | 840 | 0 | 32288 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 = 840 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 26: 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 <= 874 0.89/0.94 c BCD2: #cores=1, #unrelaxed=974, #relaxed=26, #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.98/1.02 c 0.0s | 0 | 0 | 0 | 32288 0 | 0 | 0 0.98/1.08 c 0.1s | 0 | 846 | 0 | 32288 0 | 0 | 0 0.98/1.08 c #cpu_time = 0.058s 0.98/1.08 c #wall_clock_time = 0.058s 0.98/1.08 c #decision = 846 0.98/1.08 c #random_decision = 0 0.98/1.08 c #conflict = 0 0.98/1.08 c #restart = 0 0.98/1.08 c BCD2: found a new core of size 32: cost of the new core is >=1 0.98/1.08 c lower bound updated to 2 0.98/1.08 c BCD2: 2 <= obj <= 874 0.98/1.08 c BCD2: #cores=2, #unrelaxed=942, #relaxed=58, #hardened=0 0.98/1.08 c BCD2: #sat=1 #unsat=3 bias=3/4 0.98/1.08 c Solving starts ... 0.98/1.08 c ============================[ Search Statistics ]============================ 0.98/1.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.98/1.08 c | | | | Limit GC | Var | Constra 0.98/1.08 c ============================================================================= 0.98/1.08 c 0.0s | 0 | 0 | 0 | 32288 0 | 0 | 0 1.09/1.15 c 0.1s | 0 | 822 | 0 | 32288 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 = 822 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 28: 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 <= 874 1.09/1.15 c BCD2: #cores=3, #unrelaxed=914, #relaxed=86, #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.17 c 0.0s | 0 | 0 | 0 | 32288 0 | 0 | 0 1.19/1.23 c 0.1s | 0 | 800 | 0 | 32288 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 = 800 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 26: 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 <= 874 1.19/1.23 c BCD2: #cores=4, #unrelaxed=888, #relaxed=112, #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 | 32288 0 | 0 | 0 1.28/1.30 c 0.1s | 0 | 819 | 0 | 32288 0 | 0 | 0 1.28/1.30 c #cpu_time = 0.057s 1.28/1.30 c #wall_clock_time = 0.057s 1.28/1.30 c #decision = 819 1.28/1.30 c #random_decision = 0 1.28/1.30 c #conflict = 0 1.28/1.30 c #restart = 0 1.28/1.30 c BCD2: found a new core of size 32: cost of the new core is >=1 1.28/1.30 c lower bound updated to 5 1.28/1.30 c BCD2: 5 <= obj <= 874 1.28/1.30 c BCD2: #cores=5, #unrelaxed=856, #relaxed=144, #hardened=0 1.28/1.30 c BCD2: #sat=1 #unsat=6 bias=6/7 1.28/1.30 c Solving starts ... 1.28/1.30 c ============================[ Search Statistics ]============================ 1.28/1.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.28/1.30 c | | | | Limit GC | Var | Constra 1.28/1.30 c ============================================================================= 1.28/1.32 c 0.0s | 0 | 0 | 0 | 32288 0 | 0 | 0 1.28/1.38 c 0.1s | 0 | 813 | 0 | 32288 0 | 0 | 0 1.28/1.38 c #cpu_time = 0.057s 1.28/1.38 c #wall_clock_time = 0.057s 1.28/1.38 c #decision = 813 1.28/1.38 c #random_decision = 0 1.28/1.38 c #conflict = 0 1.28/1.38 c #restart = 0 1.28/1.38 c BCD2: found a new core of size 30: cost of the new core is >=1 1.28/1.38 c lower bound updated to 6 1.28/1.38 c BCD2: 6 <= obj <= 874 1.28/1.38 c BCD2: #cores=6, #unrelaxed=826, #relaxed=174, #hardened=0 1.28/1.38 c BCD2: #sat=1 #unsat=7 bias=7/8 1.28/1.38 c Solving starts ... 1.28/1.38 c ============================[ Search Statistics ]============================ 1.28/1.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.28/1.38 c | | | | Limit GC | Var | Constra 1.28/1.38 c ============================================================================= 1.28/1.38 c 0.0s | 0 | 0 | 0 | 32288 0 | 0 | 0 1.38/1.45 c 0.1s | 0 | 812 | 0 | 32288 0 | 0 | 0 1.38/1.45 c #cpu_time = 0.059s 1.38/1.45 c #wall_clock_time = 0.059s 1.38/1.45 c #decision = 812 1.38/1.45 c #random_decision = 0 1.38/1.45 c #conflict = 0 1.38/1.45 c #restart = 0 1.38/1.45 c BCD2: found a new core of size 26: cost of the new core is >=1 1.38/1.45 c lower bound updated to 7 1.38/1.45 c BCD2: 7 <= obj <= 874 1.38/1.45 c BCD2: #cores=7, #unrelaxed=800, #relaxed=200, #hardened=0 1.38/1.45 c BCD2: #sat=1 #unsat=8 bias=8/9 1.38/1.45 c Solving starts ... 1.38/1.45 c ============================[ Search Statistics ]============================ 1.38/1.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.38/1.45 c | | | | Limit GC | Var | Constra 1.38/1.45 c ============================================================================= 1.38/1.47 c 0.0s | 0 | 0 | 0 | 32288 0 | 0 | 0 1.48/1.53 c 0.1s | 0 | 799 | 0 | 32288 0 | 0 | 0 1.48/1.53 c #cpu_time = 0.058s 1.48/1.53 c #wall_clock_time = 0.058s 1.48/1.53 c #decision = 799 1.48/1.53 c #random_decision = 0 1.48/1.53 c #conflict = 0 1.48/1.53 c #restart = 0 1.48/1.53 c BCD2: found a new core of size 27: cost of the new core is >=1 1.48/1.53 c lower bound updated to 8 1.48/1.54 c BCD2: 8 <= obj <= 874 1.48/1.54 c BCD2: #cores=8, #unrelaxed=773, #relaxed=227, #hardened=0 1.48/1.54 c BCD2: #sat=1 #unsat=9 bias=9/10 1.48/1.54 c Solving starts ... 1.48/1.54 c ============================[ Search Statistics ]============================ 1.48/1.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.48/1.54 c | | | | Limit GC | Var | Constra 1.48/1.54 c ============================================================================= 1.48/1.54 c 0.0s | 0 | 0 | 0 | 32288 0 | 0 | 0 1.58/1.64 c 0.1s | 0 | 4995 | 0 | 32288 0 | 0 | 0 1.58/1.64 c #cpu_time = 0.074s 1.58/1.64 c #wall_clock_time = 0.074s 1.58/1.64 c #decision = 4995 1.58/1.64 c #random_decision = 3 1.58/1.64 c #conflict = 0 1.58/1.64 c #restart = 0 1.58/1.64 o 136 1.58/1.64 c BCD2: updating upper bound: 874 -> 135 1.58/1.64 c BCD2: 8 <= obj <= 135 1.58/1.64 c BCD2: #cores=8, #unrelaxed=773, #relaxed=227, #hardened=0 1.58/1.64 c BCD2: #sat=2 #unsat=9 bias=9/11 1.58/1.65 c Solving starts ... 1.58/1.65 c ============================[ Search Statistics ]============================ 1.58/1.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.58/1.65 c | | | | Limit GC | Var | Constra 1.58/1.65 c ============================================================================= 1.58/1.66 c 0.0s | 0 | 0 | 0 | 32288 0 | 0 | 1 1.68/1.77 c 0.1s | 0 | 4071 | 3 | 32288 0 | 0 | 1 1.68/1.77 c #cpu_time = 0.079s 1.68/1.77 c #wall_clock_time = 0.079s 1.68/1.77 c #decision = 4071 1.68/1.77 c #random_decision = 13 1.68/1.77 c #conflict = 3 1.68/1.77 c #restart = 0 1.68/1.77 o 109 1.68/1.77 c BCD2: updating upper bound: 135 -> 108 1.68/1.78 c BCD2: 8 <= obj <= 108 1.68/1.78 c BCD2: #cores=8, #unrelaxed=773, #relaxed=227, #hardened=0 1.68/1.78 c BCD2: #sat=3 #unsat=9 bias=9/12 1.68/1.78 c Solving starts ... 1.68/1.78 c ============================[ Search Statistics ]============================ 1.68/1.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.68/1.78 c | | | | Limit GC | Var | Constra 1.68/1.78 c ============================================================================= 1.68/1.78 c 0.0s | 0 | 0 | 0 | 32288 0 | 0 | 2 1.98/2.03 c 0.3s | 1 | 1419 | 100 | 35517 0 | 0 | 2 2.30/2.35 c 0.6s | 2 | 2494 | 250 | 39069 0 | 0 | 2 2.69/2.75 c 1.0s | 3 | 3675 | 475 | 42976 0 | 0 | 2 3.30/3.35 c 1.6s | 4 | 5118 | 813 | 47274 0 | 0 | 2 4.59/4.69 c 2.9s | 5 | 6719 | 1320 | 52002 0 | 0 | 2 6.09/6.12 c 4.3s | 6 | 8873 | 2081 | 57203 0 | 0 | 2 8.19/8.20 c 6.4s | 6 | 11286 | 2981 | 57203 0 | 0 | 2 8.79/8.82 c 7.0s | 7 | 11751 | 3223 | 62924 0 | 0 | 2 10.99/11.01 c 9.2s | 7 | 14235 | 4123 | 62924 0 | 0 | 2 13.08/13.11 c 11.3s | 7 | 15168 | 4823 | 62924 0 | 0 | 2 13.29/13.38 c 11.6s | 8 | 15356 | 4936 | 69217 0 | 0 | 2 15.58/15.64 c 13.9s | 8 | 18232 | 5836 | 69217 0 | 0 | 2 17.79/17.86 c 16.1s | 8 | 19409 | 6636 | 69217 0 | 0 | 2 19.99/20.02 c 18.2s | 9 | 20736 | 7506 | 76139 0 | 0 | 2 22.00/22.09 c 20.3s | 9 | 22746 | 8206 | 76139 0 | 0 | 2 24.29/24.39 c 22.6s | 9 | 23644 | 8806 | 76139 0 | 0 | 2 26.39/26.41 c 24.6s | 9 | 24420 | 9306 | 76139 0 | 0 | 2 28.59/28.64 c 26.9s | 9 | 25259 | 9806 | 76139 0 | 0 | 2 30.69/30.79 c 29.0s | 9 | 25813 | 10206 | 76139 0 | 0 | 2 33.29/33.37 c 31.6s | 9 | 26750 | 10806 | 76139 0 | 0 | 2 35.38/35.41 c 33.6s | 10 | 27704 | 11361 | 83753 0 | 0 | 2 37.68/37.71 c 35.9s | 10 | 29697 | 12061 | 83753 0 | 0 | 2 39.88/39.97 c 38.2s | 10 | 30618 | 12761 | 83753 0 | 0 | 2 42.18/42.23 c 40.5s | 10 | 31532 | 13461 | 83753 0 | 0 | 2 44.48/44.52 c 42.7s | 10 | 32365 | 14061 | 83753 0 | 0 | 2 46.68/46.72 c 44.9s | 10 | 33002 | 14561 | 83753 0 | 0 | 2 48.88/48.91 c 47.1s | 10 | 33928 | 15261 | 83753 0 | 0 | 2 50.98/51.03 c 49.3s | 10 | 34878 | 15961 | 83753 0 | 0 | 2 53.18/53.22 c 51.4s | 10 | 35642 | 16561 | 83753 0 | 0 | 2 55.18/55.23 c 53.5s | 11 | 36397 | 17144 | 92129 0 | 0 | 2 57.18/57.24 c 55.5s | 11 | 38270 | 17744 | 92129 0 | 0 | 2 59.48/59.56 c 57.8s | 11 | 39411 | 18544 | 92129 0 | 0 | 2 61.68/61.79 c 60.0s | 11 | 40372 | 19244 | 92129 0 | 0 | 2 63.79/63.85 c 62.1s | 11 | 41234 | 19844 | 92129 0 | 0 | 2 65.88/65.94 c 64.2s | 11 | 42242 | 20544 | 92129 0 | 0 | 2 67.88/67.95 c 66.2s | 11 | 43059 | 21144 | 92129 0 | 0 | 2 70.08/70.10 c 68.3s | 11 | 44175 | 21844 | 92129 0 | 0 | 2 72.38/72.47 c 70.7s | 11 | 45212 | 22544 | 92129 0 | 0 | 2 74.79/74.88 c 73.1s | 11 | 46067 | 23144 | 92129 0 | 0 | 2 77.09/77.11 c 75.3s | 11 | 46747 | 23644 | 92129 0 | 0 | 2 79.08/79.19 c 77.4s | 11 | 47472 | 24144 | 92129 0 | 0 | 2 81.49/81.51 c 79.7s | 11 | 48103 | 24644 | 92129 0 | 0 | 2 83.78/83.81 c 82.0s | 11 | 49060 | 25344 | 92129 0 | 0 | 2 85.98/86.05 c 84.3s | 12 | 49694 | 25819 | 101342 0 | 0 | 2 88.08/88.15 c 86.4s | 12 | 51087 | 26219 | 101342 0 | 0 | 2 90.18/90.30 c 88.5s | 12 | 51945 | 26819 | 101342 0 | 0 | 2 92.27/92.31 c 90.5s | 12 | 52642 | 27319 | 101342 0 | 0 | 2 94.47/94.52 c 92.7s | 12 | 53492 | 27919 | 101342 0 | 0 | 2 96.78/96.83 c 95.1s | 12 | 54288 | 28519 | 101342 0 | 0 | 2 98.98/99.05 c 97.3s | 12 | 55052 | 29119 | 101342 0 | 0 | 2 101.08/101.13 c 99.4s | 12 | 55703 | 29619 | 101342 0 | 0 | 2 103.38/103.43 c 101s | 12 | 56324 | 30119 | 101342 0 | 0 | 2 105.48/105.56 c 103s | 12 | 56824 | 30519 | 101342 0 | 0 | 2 107.67/107.79 c 106s | 12 | 57323 | 30919 | 101342 0 | 0 | 2 110.17/110.22 c 108s | 12 | 57948 | 31419 | 101342 0 | 0 | 2 112.57/112.64 c 110s | 12 | 58646 | 31919 | 101342 0 | 0 | 2 114.87/114.94 c 113s | 12 | 59329 | 32419 | 101342 0 | 0 | 2 117.17/117.29 c 115s | 12 | 60009 | 32919 | 101342 0 | 0 | 2 119.27/119.36 c 117s | 12 | 60503 | 33319 | 101342 0 | 0 | 2 121.27/121.40 c 119s | 12 | 61011 | 33719 | 101342 0 | 0 | 2 123.37/123.50 c 121s | 12 | 61567 | 34119 | 101342 0 | 0 | 2 125.47/125.56 c 123s | 12 | 62090 | 34519 | 101342 0 | 0 | 2 127.87/127.94 c 126s | 12 | 62564 | 34919 | 101342 0 | 0 | 2 130.07/130.12 c 128s | 12 | 63123 | 35319 | 101342 0 | 0 | 2 132.47/132.54 c 130s | 12 | 63809 | 35819 | 101342 0 | 0 | 2 134.87/134.99 c 133s | 12 | 64481 | 36319 | 101342 0 | 0 | 2 136.97/137.03 c 135s | 12 | 65024 | 36719 | 101342 0 | 0 | 2 139.07/139.18 c 137s | 12 | 65589 | 37119 | 101342 0 | 0 | 2 141.27/141.34 c 139s | 12 | 66132 | 37519 | 101342 0 | 0 | 2 143.47/143.56 c 141s | 12 | 66636 | 37919 | 101342 0 | 0 | 2 145.86/145.91 c 144s | 12 | 67163 | 38319 | 101342 0 | 0 | 2 147.96/148.04 c 146s | 12 | 67727 | 38719 | 111477 0 | 0 | 2 148.57/148.67 c 146s | 13 | 67887 | 38832 | 111477 0 | 0 | 2 150.78/150.82 c 149s | 13 | 69010 | 39032 | 111477 0 | 0 | 2 153.17/153.23 c 151s | 13 | 69711 | 39532 | 111477 0 | 0 | 2 155.47/155.51 c 153s | 13 | 70392 | 40032 | 111477 0 | 0 | 2 157.67/157.77 c 155s | 13 | 70997 | 40532 | 111477 0 | 0 | 2 159.86/159.93 c 158s | 13 | 71659 | 41032 | 111477 0 | 0 | 2 162.16/162.27 c 160s | 13 | 72285 | 41532 | 111477 0 | 0 | 2 164.26/164.35 c 162s | 13 | 72789 | 41932 | 111477 0 | 0 | 2 166.36/166.46 c 164s | 13 | 73303 | 42332 | 111477 0 | 0 | 2 168.56/168.69 c 166s | 13 | 73837 | 42732 | 111477 0 | 0 | 2 171.16/171.25 c 169s | 13 | 74473 | 43232 | 111477 0 | 0 | 2 173.17/173.28 c 171s | 13 | 75011 | 43632 | 111477 0 | 0 | 2 175.67/175.80 c 174s | 13 | 75536 | 44032 | 111477 0 | 0 | 2 178.27/178.36 c 176s | 13 | 76077 | 44432 | 111477 0 | 0 | 2 180.86/180.97 c 179s | 13 | 76659 | 44832 | 111477 0 | 0 | 2 182.96/183.02 c 181s | 13 | 77082 | 45132 | 111477 0 | 0 | 2 184.97/185.02 c 183s | 13 | 77492 | 45432 | 111477 0 | 0 | 2 187.46/187.50 c 185s | 13 | 78007 | 45832 | 111477 0 | 0 | 2 190.16/190.21 c 188s | 13 | 78526 | 46232 | 111477 0 | 0 | 2 192.57/192.68 c 190s | 13 | 79089 | 46632 | 111477 0 | 0 | 2 194.96/195.02 c 193s | 13 | 79646 | 47032 | 111477 0 | 0 | 2 197.56/197.64 c 195s | 13 | 80152 | 47432 | 111477 0 | 0 | 2 199.66/199.77 c 197s | 13 | 80551 | 47732 | 111477 0 | 0 | 2 202.06/202.15 c 200s | 13 | 80923 | 48032 | 111477 0 | 0 | 2 204.36/204.45 c 202s | 13 | 81285 | 48332 | 111477 0 | 0 | 2 206.65/206.76 c 204s | 13 | 81649 | 48632 | 111477 0 | 0 | 2 209.06/209.11 c 207s | 13 | 82047 | 48932 | 111477 0 | 0 | 2 211.35/211.47 c 209s | 13 | 82564 | 49332 | 111477 0 | 0 | 2 213.56/213.69 c 211s | 13 | 83060 | 49732 | 111477 0 | 0 | 2 215.76/215.85 c 214s | 13 | 83439 | 50032 | 111477 0 | 0 | 2 216.56/216.66 c 214s | 13 | 85344 | 50151 | 111477 0 | 0 | 2 216.56/216.66 c #cpu_time = 214.863s 216.56/216.66 c #wall_clock_time = 214.854s 216.56/216.66 c #decision = 85344 216.56/216.66 c #random_decision = 48 216.56/216.66 c #conflict = 50151 216.56/216.66 c #restart = 13 216.56/216.66 o 80 216.56/216.66 c BCD2: updating upper bound: 108 -> 79 216.56/216.67 c BCD2: 8 <= obj <= 79 216.56/216.67 c BCD2: #cores=8, #unrelaxed=773, #relaxed=227, #hardened=0 216.56/216.67 c BCD2: #sat=4 #unsat=9 bias=9/13 216.56/216.67 c Solving starts ... 216.56/216.67 c ============================[ Search Statistics ]============================ 216.56/216.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 216.56/216.67 c | | | | Limit GC | Var | Constra 216.56/216.67 c ============================================================================= 216.56/216.68 c 0.0s | 0 | 0 | 0 | 111477 0 | 0 | 3 218.45/218.53 c 1.9s | 1 | 1029 | 100 | 111477 0 | 0 | 3 220.45/220.55 c 3.9s | 1 | 2065 | 200 | 111477 0 | 0 | 3 220.75/220.80 c 4.1s | 2 | 2128 | 250 | 111477 0 | 0 | 3 223.05/223.10 c 6.4s | 2 | 3333 | 450 | 111477 0 | 0 | 3 223.15/223.20 c 6.5s | 3 | 3377 | 475 | 111477 0 | 0 | 3 225.35/225.48 c 8.8s | 3 | 4491 | 675 | 111477 0 | 0 | 3 226.05/226.10 c 9.4s | 4 | 4691 | 813 | 111477 0 | 0 | 3 228.25/228.32 c 11.6s | 4 | 5785 | 1013 | 111477 0 | 0 | 3 229.35/229.41 c 12.7s | 5 | 6253 | 1320 | 111477 0 | 0 | 3 231.35/231.41 c 14.7s | 5 | 7223 | 1420 | 111477 0 | 0 | 3 233.55/233.67 c 17.0s | 5 | 8143 | 2020 | 111477 0 | 0 | 3 233.75/233.85 c 17.2s | 6 | 8260 | 2081 | 111477 0 | 0 | 3 236.14/236.24 c 19.6s | 6 | 9370 | 2281 | 111477 0 | 0 | 3 238.54/238.61 c 21.9s | 6 | 10185 | 2881 | 111477 0 | 0 | 3 240.04/240.10 c 23.4s | 7 | 10624 | 3223 | 111477 0 | 0 | 3 242.25/242.37 c 25.7s | 7 | 11559 | 3323 | 111477 0 | 0 | 3 244.26/244.37 c 27.7s | 7 | 12065 | 3723 | 111477 0 | 0 | 3 246.55/246.68 c 30.0s | 7 | 12889 | 4223 | 111477 0 | 0 | 3 248.95/249.05 c 32.4s | 7 | 13679 | 4823 | 111477 0 | 0 | 3 249.45/249.56 c 32.9s | 8 | 13810 | 4936 | 111477 0 | 0 | 3 251.64/251.77 c 35.1s | 8 | 14726 | 5036 | 111477 0 | 0 | 3 253.94/254.02 c 37.3s | 8 | 15326 | 5536 | 111477 0 | 0 | 3 255.94/256.02 c 39.3s | 8 | 15995 | 6036 | 111477 0 | 0 | 3 258.24/258.32 c 41.6s | 8 | 16626 | 6536 | 111477 0 | 0 | 3 260.65/260.73 c 44.0s | 8 | 17112 | 6936 | 111477 0 | 0 | 3 262.74/262.83 c 46.1s | 8 | 17608 | 7336 | 111477 0 | 0 | 3 263.55/263.68 c 47.0s | 9 | 17840 | 7506 | 111477 0 | 0 | 3 265.75/265.82 c 49.1s | 9 | 18821 | 7606 | 111477 0 | 0 | 3 267.84/267.99 c 51.3s | 9 | 19397 | 8006 | 122625 0 | 0 | 3 270.04/270.18 c 53.5s | 9 | 19929 | 8406 | 122625 0 | 0 | 3 272.14/272.24 c 55.6s | 9 | 20393 | 8706 | 122625 0 | 0 | 3 274.14/274.29 c 57.6s | 9 | 20943 | 9106 | 122625 0 | 0 | 3 276.24/276.38 c 59.7s | 9 | 21522 | 9506 | 122625 0 | 0 | 3 278.54/278.60 c 61.9s | 9 | 22238 | 10006 | 122625 0 | 0 | 3 280.83/280.92 c 64.2s | 9 | 22826 | 10406 | 122625 0 | 0 | 3 282.93/283.07 c 66.4s | 9 | 23286 | 10806 | 122625 0 | 0 | 3 285.43/285.57 c 68.9s | 9 | 23833 | 11206 | 122625 0 | 0 | 3 286.33/286.42 c 69.7s | 10 | 24031 | 11361 | 122625 0 | 0 | 3 288.93/289.00 c 72.3s | 10 | 25009 | 11461 | 122625 0 | 0 | 3 291.13/291.23 c 74.6s | 10 | 25390 | 11761 | 122625 0 | 0 | 3 293.42/293.54 c 76.9s | 10 | 25811 | 12061 | 122625 0 | 0 | 3 295.52/295.62 c 78.9s | 10 | 26258 | 12361 | 122625 0 | 0 | 3 297.73/297.80 c 81.1s | 10 | 26770 | 12761 | 122625 0 | 0 | 3 300.03/300.16 c 83.5s | 10 | 27360 | 13161 | 122625 0 | 0 | 3 302.33/302.46 c 85.8s | 10 | 27920 | 13561 | 122625 0 | 0 | 3 304.53/304.67 c 88.0s | 10 | 28431 | 13961 | 122625 0 | 0 | 3 306.83/306.99 c 90.3s | 10 | 28959 | 14361 | 122625 0 | 0 | 3 309.52/309.60 c 92.9s | 10 | 29562 | 14861 | 122625 0 | 0 | 3 311.72/311.84 c 95.2s | 10 | 30046 | 15261 | 122625 0 | 0 | 3 314.42/314.54 c 97.9s | 10 | 30543 | 15661 | 122625 0 | 0 | 3 316.52/316.66 c 100.0s | 10 | 31076 | 16061 | 122625 0 | 0 | 3 319.03/319.14 c 102s | 10 | 31588 | 16461 | 122625 0 | 0 | 3 321.42/321.56 c 104s | 10 | 32080 | 16861 | 122625 0 | 0 | 3 322.82/322.93 c 106s | 11 | 32433 | 17144 | 122625 0 | 0 | 3 325.53/325.63 c 108s | 11 | 33369 | 17244 | 122625 0 | 0 | 3 327.52/327.66 c 110s | 11 | 33942 | 17644 | 122625 0 | 0 | 3 330.02/330.14 c 113s | 11 | 34475 | 18044 | 122625 0 | 0 | 3 332.22/332.39 c 115s | 11 | 35132 | 18544 | 122625 0 | 0 | 3 334.42/334.59 c 117s | 11 | 35641 | 18944 | 122625 0 | 0 | 3 336.91/337.06 c 120s | 11 | 36280 | 19444 | 122625 0 | 0 | 3 339.41/339.53 c 122s | 11 | 36944 | 19944 | 122625 0 | 0 | 3 341.70/341.89 c 125s | 11 | 37450 | 20344 | 122625 0 | 0 | 3 344.00/344.14 c 127s | 11 | 37997 | 20744 | 122625 0 | 0 | 3 346.30/346.46 c 129s | 11 | 38542 | 21144 | 122625 0 | 0 | 3 348.71/348.83 c 132s | 11 | 39089 | 21544 | 122625 0 | 0 | 3 350.69/350.87 c 134s | 11 | 39622 | 21944 | 122625 0 | 0 | 3 352.89/353.06 c 136s | 11 | 40127 | 22344 | 122625 0 | 0 | 3 355.31/355.46 c 138s | 11 | 40649 | 22744 | 122625 0 | 0 | 3 357.30/357.50 c 140s | 11 | 40985 | 23044 | 122625 0 | 0 | 3 359.99/360.13 c 143s | 11 | 41490 | 23444 | 122625 0 | 0 | 3 362.19/362.35 c 145s | 11 | 42050 | 23844 | 122625 0 | 0 | 3 364.40/364.52 c 147s | 11 | 42546 | 24244 | 122625 0 | 0 | 3 366.79/366.90 c 150s | 11 | 43011 | 24644 | 122625 0 | 0 | 3 369.29/369.47 c 152s | 11 | 43531 | 25044 | 122625 0 | 0 | 3 371.38/371.58 c 154s | 11 | 43892 | 25344 | 122625 0 | 0 | 3 373.99/374.13 c 157s | 11 | 44385 | 25744 | 122625 0 | 0 | 3 374.38/374.51 c 157s | 12 | 44480 | 25819 | 122625 0 | 0 | 3 377.38/377.50 c 160s | 12 | 45422 | 25919 | 122625 0 | 0 | 3 379.58/379.75 c 163s | 12 | 45933 | 26319 | 122625 0 | 0 | 3 381.97/382.17 c 165s | 12 | 46584 | 26719 | 122625 0 | 0 | 3 384.37/384.56 c 167s | 12 | 47114 | 27119 | 122625 0 | 0 | 3 386.87/387.06 c 170s | 12 | 47659 | 27519 | 122625 0 | 0 | 3 389.17/389.34 c 172s | 12 | 48130 | 27919 | 122625 0 | 0 | 3 391.37/391.60 c 174s | 12 | 48709 | 28319 | 122625 0 | 0 | 3 393.47/393.67 c 176s | 12 | 49060 | 28619 | 122625 0 | 0 | 3 395.77/395.98 c 179s | 12 | 49565 | 29019 | 122625 0 | 0 | 3 397.97/398.18 c 181s | 12 | 49951 | 29319 | 122625 0 | 0 | 3 400.57/400.74 c 184s | 12 | 50476 | 29719 | 122625 0 | 0 | 3 402.76/402.92 c 186s | 12 | 50900 | 30019 | 122625 0 | 0 | 3 405.16/405.39 c 188s | 12 | 51443 | 30419 | 122625 0 | 0 | 3 407.56/407.73 c 191s | 12 | 52021 | 30819 | 122625 0 | 0 | 3 410.06/410.29 c 193s | 12 | 52587 | 31219 | 122625 0 | 0 | 3 412.25/412.41 c 195s | 12 | 52979 | 31519 | 122625 0 | 0 | 3 414.46/414.70 c 198s | 12 | 53562 | 31919 | 122625 0 | 0 | 3 416.76/416.94 c 200s | 12 | 53977 | 32219 | 122625 0 | 0 | 3 418.86/419.04 c 202s | 12 | 54376 | 32519 | 122625 0 | 0 | 3 421.26/421.48 c 204s | 12 | 54945 | 32919 | 122625 0 | 0 | 3 423.36/423.51 c 206s | 12 | 55334 | 33219 | 122625 0 | 0 | 3 425.45/425.69 c 209s | 12 | 55721 | 33519 | 122625 0 | 0 | 3 428.14/428.33 c 211s | 12 | 56240 | 33919 | 122625 0 | 0 | 3 430.24/430.40 c 213s | 12 | 56632 | 34219 | 122625 0 | 0 | 3 432.75/432.96 c 216s | 12 | 57150 | 34619 | 122625 0 | 0 | 3 435.24/435.43 c 218s | 12 | 57678 | 35019 | 122625 0 | 0 | 3 437.34/437.59 c 220s | 12 | 58095 | 35319 | 122625 0 | 0 | 3 439.54/439.74 c 223s | 12 | 58494 | 35619 | 122625 0 | 0 | 3 441.83/442.00 c 225s | 12 | 58886 | 35919 | 122625 0 | 0 | 3 443.83/444.06 c 227s | 12 | 59331 | 36219 | 122625 0 | 0 | 3 445.93/446.10 c 229s | 12 | 59912 | 36619 | 122625 0 | 0 | 3 448.13/448.38 c 231s | 12 | 60457 | 37019 | 134888 0 | 0 | 3 450.43/450.64 c 233s | 12 | 61003 | 37419 | 134888 0 | 0 | 3 452.53/452.75 c 236s | 12 | 61532 | 37819 | 134888 0 | 0 | 3 455.34/455.53 c 238s | 12 | 62028 | 38219 | 134888 0 | 0 | 3 457.44/457.70 c 241s | 12 | 62413 | 38519 | 134888 0 | 0 | 3 459.63/459.82 c 243s | 13 | 62829 | 38832 | 134888 0 | 0 | 3 462.93/463.18 c 246s | 13 | 63777 | 38932 | 134888 0 | 0 | 3 465.32/465.54 c 248s | 13 | 64432 | 39432 | 134888 0 | 0 | 3 467.52/467.71 c 251s | 13 | 65059 | 39932 | 134888 0 | 0 | 3 469.53/469.78 c 253s | 13 | 65694 | 40432 | 134888 0 | 0 | 3 471.72/471.94 c 255s | 13 | 66368 | 40932 | 134888 0 | 0 | 3 474.12/474.34 c 257s | 13 | 67048 | 41432 | 134888 0 | 0 | 3 476.62/476.81 c 260s | 13 | 67938 | 42032 | 134888 0 | 0 | 3 478.92/479.19 c 262s | 13 | 68632 | 42532 | 134888 0 | 0 | 3 481.31/481.50 c 264s | 13 | 69256 | 43032 | 134888 0 | 0 | 3 483.41/483.65 c 266s | 13 | 69801 | 43432 | 134888 0 | 0 | 3 485.51/485.72 c 269s | 13 | 70313 | 43832 | 134888 0 | 0 | 3 487.91/488.13 c 271s | 13 | 70971 | 44332 | 134888 0 | 0 | 3 490.11/490.33 c 273s | 13 | 71504 | 44732 | 134888 0 | 0 | 3 492.21/492.41 c 275s | 13 | 72029 | 45132 | 134888 0 | 0 | 3 494.41/494.67 c 277s | 13 | 72537 | 45532 | 134888 0 | 0 | 3 496.81/497.01 c 280s | 13 | 73319 | 46032 | 134888 0 | 0 | 3 498.91/499.10 c 282s | 13 | 73867 | 46432 | 134888 0 | 0 | 3 501.30/501.54 c 284s | 13 | 74553 | 46932 | 134888 0 | 0 | 3 503.71/503.99 c 287s | 13 | 75216 | 47432 | 134888 0 | 0 | 3 505.91/506.19 c 289s | 13 | 75763 | 47832 | 134888 0 | 0 | 3 508.30/508.56 c 291s | 13 | 76301 | 48232 | 134888 0 | 0 | 3 510.59/510.88 c 294s | 13 | 76829 | 48632 | 134888 0 | 0 | 3 513.09/513.40 c 296s | 13 | 77334 | 49032 | 134888 0 | 0 | 3 515.39/515.68 c 298s | 13 | 77892 | 49432 | 134888 0 | 0 | 3 518.00/518.29 c 301s | 13 | 78382 | 49832 | 134888 0 | 0 | 3 520.48/520.78 c 304s | 13 | 78915 | 50232 | 134888 0 | 0 | 3 522.58/522.89 c 306s | 13 | 79469 | 50632 | 134888 0 | 0 | 3 524.68/524.98 c 308s | 13 | 79954 | 51032 | 134888 0 | 0 | 3 527.09/527.33 c 310s | 13 | 80463 | 51432 | 134888 0 | 0 | 3 529.59/529.87 c 313s | 13 | 80951 | 51832 | 134888 0 | 0 | 3 532.19/532.47 c 315s | 13 | 81436 | 52232 | 134888 0 | 0 | 3 534.38/534.66 c 317s | 13 | 81834 | 52532 | 134888 0 | 0 | 3 536.68/536.96 c 320s | 13 | 82226 | 52832 | 134888 0 | 0 | 3 538.97/539.21 c 322s | 13 | 82626 | 53132 | 134888 0 | 0 | 3 540.98/541.29 c 324s | 13 | 83021 | 53432 | 134888 0 | 0 | 3 543.37/543.68 c 327s | 13 | 83406 | 53732 | 134888 0 | 0 | 3 545.67/545.97 c 329s | 13 | 83794 | 54032 | 134888 0 | 0 | 3 547.87/548.14 c 331s | 13 | 84197 | 54332 | 134888 0 | 0 | 3 550.17/550.44 c 333s | 13 | 84590 | 54632 | 134888 0 | 0 | 3 552.56/552.88 c 336s | 13 | 84955 | 54932 | 134888 0 | 0 | 3 555.27/555.57 c 338s | 13 | 85334 | 55232 | 134888 0 | 0 | 3 557.86/558.17 c 341s | 13 | 85704 | 55532 | 134888 0 | 0 | 3 560.07/560.38 c 343s | 13 | 86082 | 55832 | 134888 0 | 0 | 3 562.76/563.03 c 346s | 13 | 86436 | 56132 | 134888 0 | 0 | 3 565.16/565.45 c 348s | 13 | 86829 | 56432 | 134888 0 | 0 | 3 567.66/567.99 c 351s | 13 | 87210 | 56732 | 134888 0 | 0 | 3 570.16/570.45 c 353s | 13 | 87625 | 57032 | 134888 0 | 0 | 3 572.35/572.62 c 355s | 13 | 88042 | 57332 | 134888 0 | 0 | 3 574.65/574.91 c 358s | 13 | 88461 | 57632 | 134888 0 | 0 | 3 576.65/576.99 c 360s | 13 | 88854 | 57932 | 134888 0 | 0 | 3 579.25/579.56 c 362s | 13 | 89246 | 58232 | 134888 0 | 0 | 3 580.25/580.57 c 363s | 14 | 89408 | 58352 | 134888 0 | 0 | 3 584.25/584.55 c 367s | 14 | 90375 | 58452 | 134888 0 | 0 | 3 586.45/586.78 c 370s | 14 | 90935 | 58852 | 134888 0 | 0 | 3 588.65/588.93 c 372s | 14 | 91537 | 59252 | 134888 0 | 0 | 3 590.64/590.99 c 374s | 14 | 92122 | 59652 | 134888 0 | 0 | 3 592.74/593.02 c 376s | 14 | 92605 | 59952 | 134888 0 | 0 | 3 595.04/595.32 c 378s | 14 | 93346 | 60452 | 134888 0 | 0 | 3 597.34/597.67 c 380s | 14 | 93918 | 60852 | 134888 0 | 0 | 3 599.74/600.08 c 383s | 14 | 94710 | 61352 | 134888 0 | 0 | 3 601.84/602.13 c 385s | 14 | 95236 | 61752 | 134888 0 | 0 | 3 604.03/604.37 c 387s | 14 | 95947 | 62152 | 134888 0 | 0 | 3 606.43/606.74 c 390s | 14 | 96543 | 62552 | 134888 0 | 0 | 3 609.03/609.40 c 392s | 14 | 97072 | 62952 | 134888 0 | 0 | 3 611.53/611.87 c 395s | 14 | 97854 | 63452 | 134888 0 | 0 | 3 613.83/614.11 c 397s | 14 | 98419 | 63852 | 134888 0 | 0 | 3 615.83/616.14 c 399s | 14 | 98942 | 64252 | 134888 0 | 0 | 3 618.13/618.48 c 401s | 14 | 99562 | 64752 | 134888 0 | 0 | 3 620.33/620.63 c 403s | 14 | 100110 | 65152 | 134888 0 | 0 | 3 622.43/622.74 c 406s | 14 | 100658 | 65552 | 134888 0 | 0 | 3 624.72/625.06 c 408s | 14 | 101205 | 65952 | 134888 0 | 0 | 3 627.32/627.63 c 410s | 14 | 101747 | 66352 | 134888 0 | 0 | 3 629.32/629.66 c 412s | 14 | 102116 | 66652 | 134888 0 | 0 | 3 631.61/631.98 c 415s | 14 | 102669 | 67052 | 134888 0 | 0 | 3 633.81/634.13 c 417s | 14 | 103065 | 67352 | 134888 0 | 0 | 3 636.01/636.39 c 419s | 14 | 103621 | 67752 | 134888 0 | 0 | 3 638.82/639.12 c 422s | 14 | 104122 | 68152 | 134888 0 | 0 | 3 640.91/641.30 c 424s | 14 | 104503 | 68452 | 134888 0 | 0 | 3 643.71/644.04 c 427s | 14 | 105072 | 68852 | 134888 0 | 0 | 3 646.21/646.56 c 429s | 14 | 105442 | 69152 | 134888 0 | 0 | 3 648.60/648.94 c 432s | 14 | 106030 | 69552 | 134888 0 | 0 | 3 650.60/650.99 c 434s | 14 | 106578 | 69952 | 134888 0 | 0 | 3 652.90/653.26 c 436s | 14 | 106948 | 70252 | 134888 0 | 0 | 3 655.01/655.39 c 438s | 14 | 107355 | 70552 | 134888 0 | 0 | 3 657.31/657.69 c 441s | 14 | 107756 | 70852 | 134888 0 | 0 | 3 659.61/659.90 c 443s | 14 | 108135 | 71152 | 134888 0 | 0 | 3 661.80/662.18 c 445s | 14 | 108509 | 71452 | 134888 0 | 0 | 3 664.21/664.58 c 447s | 14 | 108871 | 71752 | 134888 0 | 0 | 3 666.60/666.99 c 450s | 14 | 109253 | 72052 | 134888 0 | 0 | 3 669.20/669.51 c 452s | 14 | 109642 | 72352 | 134888 0 | 0 | 3 671.59/671.96 c 455s | 14 | 109989 | 72652 | 134888 0 | 0 | 3 674.00/674.37 c 457s | 14 | 110582 | 73052 | 134888 0 | 0 | 3 676.30/676.67 c 459s | 14 | 111393 | 73552 | 134888 0 | 0 | 3 678.59/678.91 c 462s | 14 | 111923 | 73952 | 134888 0 | 0 | 3 680.99/681.33 c 464s | 14 | 112470 | 74352 | 134888 0 | 0 | 3 683.29/683.62 c 466s | 14 | 113102 | 74752 | 134888 0 | 0 | 3 685.98/686.31 c 469s | 14 | 113645 | 75152 | 134888 0 | 0 | 3 688.39/688.75 c 472s | 14 | 114215 | 75552 | 134888 0 | 0 | 3 690.88/691.28 c 474s | 14 | 114797 | 75952 | 134888 0 | 0 | 3 693.38/693.79 c 477s | 14 | 115344 | 76352 | 134888 0 | 0 | 3 695.89/696.26 c 479s | 14 | 115919 | 76752 | 134888 0 | 0 | 3 698.49/698.87 c 482s | 14 | 116476 | 77152 | 134888 0 | 0 | 3 700.68/701.00 c 484s | 14 | 116907 | 77452 | 134888 0 | 0 | 3 702.89/703.27 c 486s | 14 | 117356 | 77752 | 134888 0 | 0 | 3 705.58/705.90 c 489s | 14 | 117918 | 78152 | 134888 0 | 0 | 3 707.58/707.98 c 491s | 14 | 118289 | 78452 | 134888 0 | 0 | 3 709.68/710.03 c 493s | 14 | 118668 | 78752 | 134888 0 | 0 | 3 711.68/712.08 c 495s | 14 | 119120 | 79052 | 134888 0 | 0 | 3 714.07/714.40 c 497s | 14 | 119526 | 79352 | 134888 0 | 0 | 3 716.48/716.85 c 500s | 14 | 119893 | 79652 | 134888 0 | 0 | 3 718.58/718.96 c 502s | 14 | 120289 | 79952 | 134888 0 | 0 | 3 720.67/721.04 c 504s | 14 | 120699 | 80252 | 134888 0 | 0 | 3 722.77/723.19 c 506s | 14 | 121098 | 80552 | 148377 0 | 0 | 3 724.87/725.29 c 508s | 14 | 121485 | 80852 | 148377 0 | 0 | 3 727.37/727.72 c 511s | 14 | 122019 | 81252 | 148377 0 | 0 | 3 729.88/730.29 c 513s | 14 | 122532 | 81652 | 148377 0 | 0 | 3 732.17/732.50 c 515s | 14 | 122929 | 81952 | 148377 0 | 0 | 3 734.47/734.87 c 518s | 14 | 123278 | 82252 | 148377 0 | 0 | 3 736.97/737.37 c 520s | 14 | 123655 | 82552 | 148377 0 | 0 | 3 739.46/739.86 c 523s | 14 | 124032 | 82852 | 148377 0 | 0 | 3 741.97/742.34 c 525s | 14 | 124383 | 83152 | 148377 0 | 0 | 3 744.16/744.56 c 527s | 14 | 124633 | 83352 | 148377 0 | 0 | 3 746.96/747.34 c 530s | 14 | 124996 | 83652 | 148377 0 | 0 | 3 749.57/749.95 c 533s | 14 | 125389 | 83952 | 148377 0 | 0 | 3 752.26/752.63 c 535s | 14 | 125781 | 84252 | 148377 0 | 0 | 3 754.76/755.10 c 538s | 14 | 126150 | 84552 | 148377 0 | 0 | 3 757.16/757.55 c 540s | 14 | 126558 | 84852 | 148377 0 | 0 | 3 760.06/760.41 c 543s | 14 | 126938 | 85152 | 148377 0 | 0 | 3 762.45/762.87 c 546s | 14 | 127374 | 85452 | 148377 0 | 0 | 3 764.96/765.32 c 548s | 14 | 127780 | 85752 | 148377 0 | 0 | 3 767.46/767.84 c 551s | 14 | 128213 | 86052 | 148377 0 | 0 | 3 770.16/770.59 c 553s | 14 | 128600 | 86352 | 148377 0 | 0 | 3 772.85/773.20 c 556s | 14 | 128957 | 86652 | 148377 0 | 0 | 3 775.65/776.03 c 559s | 14 | 129328 | 86952 | 148377 0 | 0 | 3 778.35/778.76 c 562s | 14 | 129700 | 87252 | 148377 0 | 0 | 3 780.95/781.32 c 564s | 14 | 130075 | 87552 | 148377 0 | 0 | 3 781.65/782.06 c 565s | 15 | 130170 | 87632 | 148377 0 | 0 | 3 786.84/787.28 c 570s | 15 | 131129 | 87732 | 148377 0 | 0 | 3 789.55/789.91 c 573s | 15 | 131512 | 88032 | 148377 0 | 0 | 3 792.24/792.61 c 575s | 15 | 131858 | 88332 | 148377 0 | 0 | 3 794.95/795.37 c 578s | 15 | 132247 | 88632 | 148377 0 | 0 | 3 797.44/797.89 c 581s | 15 | 132637 | 88932 | 148377 0 | 0 | 3 800.14/800.53 c 583s | 15 | 132979 | 89232 | 148377 0 | 0 | 3 802.93/803.34 c 586s | 15 | 133360 | 89532 | 148377 0 | 0 | 3 805.94/806.33 c 589s | 15 | 133747 | 89832 | 148377 0 | 0 | 3 808.04/808.48 c 591s | 15 | 134021 | 90032 | 148377 0 | 0 | 3 810.34/810.75 c 594s | 15 | 134247 | 90232 | 148377 0 | 0 | 3 812.93/813.36 c 596s | 15 | 134643 | 90532 | 148377 0 | 0 | 3 815.33/815.70 c 599s | 15 | 135050 | 90832 | 148377 0 | 0 | 3 817.83/818.29 c 601s | 15 | 135469 | 91132 | 148377 0 | 0 | 3 820.53/820.92 c 604s | 15 | 135829 | 91432 | 148377 0 | 0 | 3 822.74/823.16 c 606s | 15 | 136229 | 91732 | 148377 0 | 0 | 3 824.74/825.16 c 608s | 15 | 136668 | 92032 | 148377 0 | 0 | 3 826.94/827.33 c 610s | 15 | 137086 | 92332 | 148377 0 | 0 | 3 829.53/829.95 c 613s | 15 | 137669 | 92732 | 148377 0 | 0 | 3 831.73/832.10 c 615s | 15 | 138071 | 93032 | 148377 0 | 0 | 3 833.83/834.23 c 617s | 15 | 138497 | 93332 | 148377 0 | 0 | 3 835.83/836.29 c 619s | 15 | 138925 | 93632 | 148377 0 | 0 | 3 838.23/838.61 c 621s | 15 | 139280 | 93932 | 148377 0 | 0 | 3 840.23/840.70 c 624s | 15 | 139664 | 94232 | 148377 0 | 0 | 3 842.72/843.10 c 626s | 15 | 140030 | 94532 | 148377 0 | 0 | 3 844.72/845.12 c 628s | 15 | 140286 | 94732 | 148377 0 | 0 | 3 847.12/847.56 c 630s | 15 | 140701 | 95032 | 148377 0 | 0 | 3 849.43/849.81 c 633s | 15 | 141105 | 95332 | 148377 0 | 0 | 3 851.63/852.01 c 635s | 15 | 141497 | 95632 | 148377 0 | 0 | 3 853.92/854.35 c 637s | 15 | 141872 | 95932 | 148377 0 | 0 | 3 856.22/856.64 c 639s | 15 | 142257 | 96232 | 148377 0 | 0 | 3 858.42/858.88 c 642s | 15 | 142657 | 96532 | 148377 0 | 0 | 3 860.62/861.06 c 644s | 15 | 143050 | 96832 | 148377 0 | 0 | 3 863.42/863.86 c 647s | 15 | 143446 | 97132 | 148377 0 | 0 | 3 866.11/866.52 c 649s | 15 | 143889 | 97432 | 148377 0 | 0 | 3 868.92/869.30 c 652s | 15 | 144291 | 97732 | 148377 0 | 0 | 3 871.12/871.53 c 654s | 15 | 144591 | 97932 | 148377 0 | 0 | 3 873.51/873.99 c 657s | 15 | 144859 | 98132 | 148377 0 | 0 | 3 875.91/876.34 c 659s | 15 | 145248 | 98432 | 148377 0 | 0 | 3 878.71/879.14 c 662s | 15 | 145639 | 98732 | 148377 0 | 0 | 3 881.32/881.77 c 665s | 15 | 146015 | 99032 | 148377 0 | 0 | 3 883.92/884.30 c 667s | 15 | 146381 | 99332 | 148377 0 | 0 | 3 886.61/887.02 c 670s | 15 | 146762 | 99632 | 148377 0 | 0 | 3 888.71/889.14 c 672s | 15 | 147024 | 99832 | 148377 0 | 0 | 3 891.52/891.94 c 675s | 15 | 147407 | 100132 | 148377 0 | 0 | 3 894.21/894.66 c 677s | 15 | 147840 | 100432 | 148377 0 | 0 | 3 896.81/897.29 c 680s | 15 | 148232 | 100732 | 148377 0 | 0 | 3 899.11/899.57 c 682s | 15 | 148500 | 100932 | 148377 0 | 0 | 3 902.21/902.64 c 685s | 15 | 148864 | 101232 | 148377 0 | 0 | 3 904.31/904.75 c 688s | 15 | 149090 | 101432 | 148377 0 | 0 | 3 906.51/906.99 c 690s | 15 | 149330 | 101632 | 148377 0 | 0 | 3 908.61/909.07 c 692s | 15 | 149577 | 101832 | 148377 0 | 0 | 3 911.71/912.13 c 695s | 15 | 149927 | 102132 | 148377 0 | 0 | 3 913.81/914.25 c 697s | 15 | 150189 | 102332 | 148377 0 | 0 | 3 916.60/917.04 c 700s | 15 | 150561 | 102632 | 148377 0 | 0 | 3 919.41/919.81 c 703s | 15 | 150934 | 102932 | 148377 0 | 0 | 3 922.11/922.53 c 705s | 15 | 151306 | 103232 | 148377 0 | 0 | 3 925.01/925.41 c 708s | 15 | 151661 | 103532 | 148377 0 | 0 | 3 927.02/927.43 c 710s | 15 | 151909 | 103732 | 148377 0 | 0 | 3 929.11/929.55 c 712s | 15 | 152294 | 104032 | 148377 0 | 0 | 3 931.41/931.81 c 715s | 15 | 152645 | 104332 | 148377 0 | 0 | 3 933.61/934.09 c 717s | 15 | 153021 | 104632 | 148377 0 | 0 | 3 935.90/936.30 c 719s | 15 | 153376 | 104932 | 148377 0 | 0 | 3 938.51/938.93 c 722s | 15 | 153732 | 105232 | 148377 0 | 0 | 3 941.11/941.57 c 724s | 15 | 154122 | 105532 | 148377 0 | 0 | 3 943.70/944.18 c 727s | 15 | 154490 | 105832 | 148377 0 | 0 | 3 945.90/946.33 c 729s | 15 | 154913 | 106132 | 148377 0 | 0 | 3 948.11/948.53 c 731s | 15 | 155304 | 106432 | 148377 0 | 0 | 3 950.60/951.07 c 734s | 15 | 155667 | 106732 | 148377 0 | 0 | 3 953.50/953.90 c 737s | 15 | 156048 | 107032 | 148377 0 | 0 | 3 955.51/955.94 c 739s | 15 | 156299 | 107232 | 148377 0 | 0 | 3 957.50/957.96 c 741s | 15 | 156564 | 107432 | 148377 0 | 0 | 3 960.21/960.66 c 743s | 15 | 156943 | 107732 | 148377 0 | 0 | 3 963.11/963.57 c 746s | 15 | 157326 | 108032 | 148377 0 | 0 | 3 965.30/965.75 c 749s | 15 | 157549 | 108232 | 148377 0 | 0 | 3 967.30/967.75 c 751s | 15 | 157802 | 108432 | 148377 0 | 0 | 3 969.90/970.31 c 753s | 15 | 158044 | 108632 | 148377 0 | 0 | 3 972.30/972.76 c 756s | 15 | 158338 | 108832 | 148377 0 | 0 | 3 975.60/976.02 c 759s | 15 | 158586 | 109032 | 148377 0 | 0 | 3 977.90/978.38 c 761s | 15 | 158859 | 109232 | 148377 0 | 0 | 3 980.10/980.55 c 763s | 15 | 159124 | 109432 | 148377 0 | 0 | 3 982.40/982.81 c 766s | 15 | 159358 | 109632 | 148377 0 | 0 | 3 984.89/985.34 c 768s | 15 | 159592 | 109832 | 148377 0 | 0 | 3 987.19/987.68 c 770s | 15 | 159842 | 110032 | 148377 0 | 0 | 3 989.80/990.23 c 773s | 15 | 160068 | 110232 | 148377 0 | 0 | 3 992.59/993.00 c 776s | 15 | 160447 | 110532 | 148377 0 | 0 | 3 994.89/995.35 c 778s | 15 | 160788 | 110832 | 148377 0 | 0 | 3 997.30/997.76 c 781s | 15 | 161145 | 111132 | 148377 0 | 0 | 3 999.99/1000.45 c 783s | 15 | 161528 | 111432 | 148377 0 | 0 | 3 1002.08/1002.50 c 785s | 15 | 161771 | 111632 | 148377 0 | 0 | 3 1004.29/1004.74 c 788s | 15 | 162018 | 111832 | 148377 0 | 0 | 3 1006.29/1006.78 c 790s | 15 | 162255 | 112032 | 148377 0 | 0 | 3 1009.08/1009.55 c 792s | 15 | 162645 | 112332 | 148377 0 | 0 | 3 1011.78/1012.20 c 795s | 15 | 163011 | 112632 | 148377 0 | 0 | 3 1014.48/1014.94 c 798s | 15 | 163380 | 112932 | 148377 0 | 0 | 3 1016.48/1016.95 c 800s | 15 | 163620 | 113132 | 148377 0 | 0 | 3 1018.68/1019.13 c 802s | 15 | 163893 | 113332 | 148377 0 | 0 | 3 1020.78/1021.22 c 804s | 15 | 164247 | 113632 | 148377 0 | 0 | 3 1022.78/1023.27 c 806s | 15 | 164615 | 113932 | 148377 0 | 0 | 3 1025.37/1025.85 c 809s | 15 | 164989 | 114232 | 148377 0 | 0 | 3 1027.77/1028.20 c 811s | 15 | 165377 | 114532 | 148377 0 | 0 | 3 1030.17/1030.63 c 813s | 15 | 165753 | 114832 | 148377 0 | 0 | 3 1032.49/1033.00 c 816s | 15 | 166143 | 115132 | 148377 0 | 0 | 3 1035.08/1035.51 c 818s | 15 | 166504 | 115432 | 148377 0 | 0 | 3 1037.28/1037.73 c 821s | 15 | 166908 | 115732 | 148377 0 | 0 | 3 1039.57/1040.07 c 823s | 15 | 167274 | 116032 | 148377 0 | 0 | 3 1041.97/1042.46 c 825s | 15 | 167665 | 116332 | 148377 0 | 0 | 3 1044.37/1044.87 c 828s | 15 | 168022 | 116632 | 148377 0 | 0 | 3 1046.57/1047.00 c 830s | 15 | 168388 | 116932 | 148377 0 | 0 | 3 1048.98/1049.50 c 832s | 15 | 168779 | 117232 | 148377 0 | 0 | 3 1051.67/1052.12 c 835s | 15 | 169155 | 117532 | 148377 0 | 0 | 3 1053.87/1054.31 c 837s | 15 | 169386 | 117732 | 148377 0 | 0 | 3 1056.37/1056.88 c 840s | 15 | 169769 | 118032 | 148377 0 | 0 | 3 1058.97/1059.46 c 842s | 15 | 170149 | 118332 | 148377 0 | 0 | 3 1061.87/1062.39 c 845s | 15 | 170492 | 118632 | 148377 0 | 0 | 3 1064.97/1065.44 c 848s | 15 | 170834 | 118932 | 148377 0 | 0 | 3 1067.47/1067.91 c 851s | 15 | 171217 | 119232 | 148377 0 | 0 | 3 1069.97/1070.48 c 853s | 15 | 171636 | 119532 | 148377 0 | 0 | 3 1072.56/1073.04 c 856s | 15 | 171995 | 119832 | 148377 0 | 0 | 3 1074.86/1075.37 c 858s | 15 | 172260 | 120032 | 148377 0 | 0 | 3 1077.46/1077.93 c 861s | 15 | 172621 | 120332 | 148377 0 | 0 | 3 1079.96/1080.40 c 863s | 15 | 172990 | 120632 | 148377 0 | 0 | 3 1082.55/1083.09 c 866s | 15 | 173381 | 120932 | 148377 0 | 0 | 3 1085.15/1085.62 c 868s | 15 | 173753 | 121232 | 148377 0 | 0 | 3 1087.56/1088.01 c 871s | 15 | 174119 | 121532 | 148377 0 | 0 | 3 1090.55/1091.05 c 874s | 15 | 174474 | 121832 | 148377 0 | 0 | 3 1093.85/1094.33 c 877s | 15 | 174896 | 122132 | 148377 0 | 0 | 3 1096.15/1096.61 c 879s | 15 | 175140 | 122332 | 148377 0 | 0 | 3 1098.15/1098.64 c 881s | 15 | 175448 | 122532 | 148377 0 | 0 | 3 1100.95/1101.49 c 884s | 15 | 175801 | 122832 | 148377 0 | 0 | 3 1103.15/1103.61 c 886s | 15 | 176067 | 123032 | 148377 0 | 0 | 3 1105.25/1105.70 c 889s | 15 | 176298 | 123232 | 148377 0 | 0 | 3 1107.74/1108.24 c 891s | 15 | 176542 | 123432 | 148377 0 | 0 | 3 1110.65/1111.16 c 894s | 15 | 176792 | 123632 | 148377 0 | 0 | 3 1120.14/1120.65 c 903s | 15 | 177013 | 123832 | 148377 1 | 0 | 3 1122.65/1123.12 c 906s | 15 | 177130 | 123932 | 148377 1 | 0 | 3 1125.44/1125.96 c 909s | 15 | 177373 | 124132 | 148377 1 | 0 | 3 1128.34/1128.84 c 912s | 15 | 177591 | 124332 | 148377 1 | 0 | 3 1131.24/1131.71 c 915s | 15 | 177821 | 124532 | 148377 1 | 0 | 3 1134.25/1134.75 c 918s | 15 | 178057 | 124732 | 148377 1 | 0 | 3 1138.94/1139.42 c 922s | 15 | 178312 | 124932 | 148377 1 | 0 | 3 1141.54/1142.07 c 925s | 15 | 178551 | 125132 | 148377 1 | 0 | 3 1144.04/1144.54 c 927s | 15 | 178806 | 125332 | 148377 1 | 0 | 3 1146.34/1146.85 c 930s | 15 | 179033 | 125532 | 148377 1 | 0 | 3 1149.05/1149.52 c 932s | 15 | 179254 | 125732 | 148377 1 | 0 | 3 1151.04/1151.58 c 934s | 15 | 179495 | 125932 | 148377 1 | 0 | 3 1153.14/1153.63 c 936s | 15 | 179733 | 126132 | 148377 1 | 0 | 3 1155.53/1156.04 c 939s | 15 | 179973 | 126332 | 148377 1 | 0 | 3 1158.73/1159.21 c 942s | 15 | 180211 | 126532 | 148377 1 | 0 | 3 1161.84/1162.32 c 945s | 15 | 180563 | 126832 | 148377 1 | 0 | 3 1164.54/1165.09 c 948s | 15 | 180813 | 127032 | 148377 1 | 0 | 3 1167.43/1167.98 c 951s | 15 | 181202 | 127332 | 148377 1 | 0 | 3 1169.73/1170.26 c 953s | 15 | 181446 | 127532 | 148377 1 | 0 | 3 1172.23/1172.74 c 956s | 15 | 181693 | 127732 | 148377 1 | 0 | 3 1174.44/1175.00 c 958s | 15 | 181923 | 127932 | 148377 1 | 0 | 3 1177.43/1177.92 c 961s | 15 | 182310 | 128232 | 148377 1 | 0 | 3 1180.43/1180.93 c 964s | 15 | 182689 | 128532 | 148377 1 | 0 | 3 1182.82/1183.33 c 966s | 15 | 182922 | 128732 | 148377 1 | 0 | 3 1185.83/1186.32 c 969s | 15 | 183141 | 128932 | 148377 1 | 0 | 3 1187.93/1188.44 c 971s | 15 | 183259 | 129032 | 148377 1 | 0 | 3 1190.02/1190.59 c 973s | 15 | 183524 | 129232 | 148377 1 | 0 | 3 1192.22/1192.74 c 976s | 15 | 183881 | 129532 | 148377 1 | 0 | 3 1194.32/1194.80 c 978s | 15 | 184231 | 129832 | 148377 1 | 0 | 3 1196.43/1196.98 c 980s | 15 | 184625 | 130132 | 148377 1 | 0 | 3 1198.72/1199.28 c 982s | 15 | 184975 | 130432 | 148377 1 | 0 | 3 1200.92/1201.49 c 984s | 15 | 185347 | 130732 | 148377 1 | 0 | 3 1203.21/1203.71 c 987s | 15 | 185699 | 131032 | 148377 1 | 0 | 3 1205.71/1206.26 c 989s | 15 | 186069 | 131332 | 148377 1 | 0 | 3 1207.82/1208.36 c 991s | 16 | 186312 | 131552 | 148377 1 | 0 | 3 1214.21/1214.73 c 998s | 16 | 187260 | 131652 | 148377 1 | 0 | 3 1216.22/1216.75 c 1000s | 16 | 187532 | 131852 | 148377 1 | 0 | 3 1218.52/1219.09 c 1002s | 16 | 188138 | 132252 | 148377 1 | 0 | 3 1220.52/1221.10 c 1004s | 16 | 188463 | 132452 | 148377 1 | 0 | 3 1223.21/1223.72 c 1007s | 16 | 188863 | 132752 | 148377 1 | 0 | 3 1225.61/1226.17 c 1009s | 16 | 189397 | 133152 | 148377 1 | 0 | 3 1227.90/1228.44 c 1011s | 16 | 189924 | 133552 | 148377 1 | 0 | 3 1230.21/1230.72 c 1014s | 16 | 190604 | 134052 | 148377 1 | 0 | 3 1232.31/1232.86 c 1016s | 16 | 191040 | 134452 | 148377 1 | 0 | 3 1234.41/1234.91 c 1018s | 16 | 191547 | 134852 | 148377 1 | 0 | 3 1236.51/1237.07 c 1020s | 16 | 192085 | 135252 | 148377 1 | 0 | 3 1238.80/1239.31 c 1022s | 16 | 192609 | 135652 | 148377 1 | 0 | 3 1240.81/1241.35 c 1024s | 16 | 192985 | 135952 | 148377 1 | 0 | 3 1243.10/1243.62 c 1026s | 16 | 193375 | 136252 | 148377 1 | 0 | 3 1245.40/1245.95 c 1029s | 16 | 193736 | 136552 | 148377 1 | 0 | 3 1248.11/1248.61 c 1031s | 16 | 194271 | 136952 | 148377 1 | 0 | 3 1250.21/1250.72 c 1034s | 16 | 194638 | 137252 | 148377 1 | 0 | 3 1252.31/1252.80 c 1036s | 16 | 194989 | 137552 | 148377 1 | 0 | 3 1254.61/1255.18 c 1038s | 16 | 195344 | 137852 | 148377 1 | 0 | 3 1257.30/1257.84 c 1041s | 16 | 195709 | 138152 | 148377 1 | 0 | 3 1259.70/1260.24 c 1043s | 16 | 196065 | 138452 | 148377 1 | 0 | 3 1261.70/1262.28 c 1045s | 16 | 196459 | 138752 | 148377 1 | 0 | 3 1263.80/1264.32 c 1047s | 16 | 196848 | 139052 | 148377 1 | 0 | 3 1266.20/1266.73 c 1050s | 16 | 197272 | 139352 | 148377 1 | 0 | 3 1268.50/1269.09 c 1052s | 16 | 197649 | 139652 | 148377 1 | 0 | 3 1270.90/1271.45 c 1054s | 16 | 198118 | 140052 | 148377 1 | 0 | 3 1273.30/1273.83 c 1057s | 16 | 198593 | 140452 | 148377 1 | 0 | 3 1275.60/1276.14 c 1059s | 16 | 199073 | 140852 | 148377 1 | 0 | 3 1277.90/1278.42 c 1061s | 16 | 199438 | 141152 | 148377 1 | 0 | 3 1280.20/1280.76 c 1064s | 16 | 199806 | 141452 | 148377 1 | 0 | 3 1282.30/1282.88 c 1066s | 16 | 200193 | 141752 | 148377 1 | 0 | 3 1284.40/1284.95 c 1068s | 16 | 200546 | 142052 | 148377 1 | 0 | 3 1287.10/1287.66 c 1070s | 16 | 201073 | 142452 | 148377 1 | 0 | 3 1289.40/1289.93 c 1073s | 16 | 201452 | 142752 | 148377 1 | 0 | 3 1291.50/1292.06 c 1075s | 16 | 201961 | 143152 | 148377 1 | 0 | 3 1294.00/1294.51 c 1077s | 16 | 202573 | 143652 | 148377 1 | 0 | 3 1296.30/1296.88 c 1080s | 16 | 203065 | 144052 | 148377 1 | 0 | 3 1298.99/1299.50 c 1082s | 16 | 203533 | 144452 | 148377 1 | 0 | 3 1301.09/1301.64 c 1084s | 16 | 203876 | 144752 | 148377 1 | 0 | 3 1303.69/1304.23 c 1087s | 16 | 204359 | 145152 | 148377 1 | 0 | 3 1306.41/1306.97 c 1090s | 16 | 204853 | 145552 | 148377 1 | 0 | 3 1308.70/1309.26 c 1092s | 16 | 205213 | 145852 | 148377 1 | 0 | 3 1311.09/1311.62 c 1094s | 16 | 205671 | 146252 | 163215 1 | 0 | 3 1313.49/1314.02 c 1097s | 16 | 206179 | 146652 | 163215 1 | 0 | 3 1315.79/1316.34 c 1099s | 16 | 206669 | 147052 | 163215 1 | 0 | 3 1317.80/1318.37 c 1101s | 16 | 207038 | 147352 | 163215 1 | 0 | 3 1320.29/1320.85 c 1104s | 16 | 207409 | 147652 | 163215 1 | 0 | 3 1322.59/1323.11 c 1106s | 16 | 207789 | 147952 | 163215 1 | 0 | 3 1324.89/1325.42 c 1108s | 16 | 208159 | 148252 | 163215 1 | 0 | 3 1327.09/1327.61 c 1110s | 16 | 208506 | 148552 | 163215 1 | 0 | 3 1329.59/1330.17 c 1113s | 16 | 208986 | 148952 | 163215 1 | 0 | 3 1331.70/1332.30 c 1115s | 16 | 209341 | 149252 | 163215 1 | 0 | 3 1334.19/1334.75 c 1118s | 16 | 209724 | 149552 | 163215 1 | 0 | 3 1336.49/1337.09 c 1120s | 16 | 210126 | 149852 | 163215 1 | 0 | 3 1338.69/1339.24 c 1122s | 16 | 210501 | 150152 | 163215 1 | 0 | 3 1341.19/1341.72 c 1125s | 16 | 210892 | 150452 | 163215 1 | 0 | 3 1343.69/1344.28 c 1127s | 16 | 211262 | 150752 | 163215 1 | 0 | 3 1346.19/1346.79 c 1130s | 16 | 211791 | 151152 | 163215 1 | 0 | 3 1348.69/1349.27 c 1132s | 16 | 212295 | 151552 | 163215 1 | 0 | 3 1350.88/1351.44 c 1134s | 16 | 212670 | 151852 | 163215 1 | 0 | 3 1353.79/1354.34 c 1137s | 16 | 213037 | 152152 | 163215 1 | 0 | 3 1356.29/1356.88 c 1140s | 16 | 213433 | 152452 | 163215 1 | 0 | 3 1358.38/1358.95 c 1142s | 16 | 213788 | 152752 | 163215 1 | 0 | 3 1360.89/1361.43 c 1144s | 16 | 214153 | 153052 | 163215 1 | 0 | 3 1363.09/1363.66 c 1146s | 16 | 214492 | 153352 | 163215 1 | 0 | 3 1365.38/1365.97 c 1149s | 16 | 214847 | 153652 | 163215 1 | 0 | 3 1367.79/1368.31 c 1151s | 16 | 215205 | 153952 | 163215 1 | 0 | 3 1370.29/1370.84 c 1154s | 16 | 215559 | 154252 | 163215 1 | 0 | 3 1373.18/1373.70 c 1157s | 16 | 215921 | 154552 | 163215 1 | 0 | 3 1375.28/1375.90 c 1159s | 16 | 216286 | 154852 | 163215 1 | 0 | 3 1377.69/1378.29 c 1161s | 16 | 216626 | 155152 | 163215 1 | 0 | 3 1380.78/1381.35 c 1164s | 16 | 217004 | 155452 | 163215 1 | 0 | 3 1383.18/1383.73 c 1167s | 16 | 217376 | 155752 | 163215 1 | 0 | 3 1385.88/1386.47 c 1169s | 16 | 217745 | 156052 | 163215 1 | 0 | 3 1388.79/1389.31 c 1172s | 16 | 218094 | 156352 | 163215 1 | 0 | 3 1391.79/1392.33 c 1175s | 16 | 218448 | 156652 | 163215 1 | 0 | 3 1394.59/1395.10 c 1178s | 16 | 218805 | 156952 | 163215 1 | 0 | 3 1397.48/1398.10 c 1181s | 16 | 219154 | 157252 | 163215 1 | 0 | 3 1399.89/1400.44 c 1183s | 16 | 219401 | 157452 | 163215 1 | 0 | 3 1402.28/1402.88 c 1186s | 16 | 219789 | 157752 | 163215 1 | 0 | 3 1404.48/1405.07 c 1188s | 16 | 220298 | 158152 | 163215 1 | 0 | 3 1406.58/1407.12 c 1190s | 16 | 220865 | 158552 | 163215 1 | 0 | 3 1408.98/1409.52 c 1192s | 16 | 221362 | 158952 | 163215 1 | 0 | 3 1411.18/1411.75 c 1195s | 16 | 221881 | 159352 | 163215 1 | 0 | 3 1413.28/1413.85 c 1197s | 16 | 222301 | 159652 | 163215 1 | 0 | 3 1415.78/1416.32 c 1199s | 16 | 222810 | 160052 | 163215 1 | 0 | 3 1418.17/1418.70 c 1202s | 16 | 223365 | 160452 | 163215 1 | 0 | 3 1420.57/1421.11 c 1204s | 16 | 223949 | 160852 | 163215 1 | 0 | 3 1422.78/1423.34 c 1206s | 16 | 224328 | 161152 | 163215 1 | 0 | 3 1425.19/1425.75 c 1209s | 16 | 224840 | 161552 | 163215 1 | 0 | 3 1427.88/1428.44 c 1211s | 16 | 225366 | 161952 | 163215 1 | 0 | 3 1431.58/1432.12 c 1215s | 16 | 225723 | 162252 | 163215 1 | 0 | 3 1433.88/1434.46 c 1217s | 16 | 226107 | 162552 | 163215 1 | 0 | 3 1436.18/1436.74 c 1220s | 16 | 226522 | 162852 | 163215 1 | 0 | 3 1438.28/1438.82 c 1222s | 16 | 227020 | 163152 | 163215 1 | 0 | 3 1440.48/1441.08 c 1224s | 16 | 227395 | 163452 | 163215 1 | 0 | 3 1442.78/1443.39 c 1226s | 16 | 227749 | 163752 | 163215 1 | 0 | 3 1444.98/1445.56 c 1228s | 16 | 228151 | 164052 | 163215 1 | 0 | 3 1447.27/1447.86 c 1231s | 16 | 228747 | 164452 | 163215 1 | 0 | 3 1449.38/1449.93 c 1233s | 16 | 229228 | 164752 | 163215 1 | 0 | 3 1451.37/1451.95 c 1235s | 16 | 229637 | 165052 | 163215 1 | 0 | 3 1453.87/1454.45 c 1237s | 16 | 230123 | 165452 | 163215 1 | 0 | 3 1456.17/1456.73 c 1240s | 16 | 230617 | 165852 | 163215 1 | 0 | 3 1458.27/1458.86 c 1242s | 16 | 231013 | 166152 | 163215 1 | 0 | 3 1460.38/1460.95 c 1244s | 16 | 231418 | 166452 | 163215 1 | 0 | 3 1462.47/1463.10 c 1246s | 16 | 231805 | 166752 | 163215 1 | 0 | 3 1464.57/1465.15 c 1248s | 16 | 232160 | 167052 | 163215 1 | 0 | 3 1466.77/1467.36 c 1250s | 16 | 232537 | 167352 | 163215 1 | 0 | 3 1469.27/1469.81 c 1253s | 16 | 233025 | 167752 | 163215 1 | 0 | 3 1471.38/1471.94 c 1255s | 16 | 233411 | 168052 | 163215 1 | 0 | 3 1473.58/1474.14 c 1257s | 16 | 233773 | 168352 | 163215 1 | 0 | 3 1475.68/1476.29 c 1259s | 16 | 234152 | 168652 | 163215 1 | 0 | 3 1477.77/1478.40 c 1261s | 16 | 234508 | 168952 | 163215 1 | 0 | 3 1480.26/1480.86 c 1264s | 16 | 235116 | 169352 | 163215 1 | 0 | 3 1482.67/1483.24 c 1266s | 16 | 235540 | 169652 | 163215 1 | 0 | 3 1484.97/1485.51 c 1268s | 16 | 235916 | 169952 | 163215 1 | 0 | 3 1487.16/1487.80 c 1271s | 16 | 236342 | 170252 | 163215 1 | 0 | 3 1489.47/1490.00 c 1273s | 16 | 236759 | 170552 | 163215 1 | 0 | 3 1491.77/1492.31 c 1275s | 16 | 237179 | 170852 | 163215 1 | 0 | 3 1494.07/1494.68 c 1278s | 16 | 237590 | 171152 | 163215 1 | 0 | 3 1496.46/1497.05 c 1280s | 16 | 238076 | 171452 | 163215 1 | 0 | 3 1498.87/1499.44 c 1282s | 16 | 238498 | 171752 | 163215 1 | 0 | 3 1500.87/1501.47 c 1284s | 16 | 238773 | 171952 | 163215 1 | 0 | 3 1503.46/1504.00 c 1287s | 16 | 239161 | 172252 | 163215 1 | 0 | 3 1506.07/1506.69 c 1290s | 16 | 239567 | 172552 | 163215 1 | 0 | 3 1509.37/1509.94 c 1293s | 16 | 239934 | 172852 | 163215 1 | 0 | 3 1511.46/1512.09 c 1295s | 16 | 240162 | 173052 | 163215 1 | 0 | 3 1513.76/1514.36 c 1297s | 16 | 240548 | 173352 | 163215 1 | 0 | 3 1515.86/1516.47 c 1299s | 16 | 240925 | 173652 | 163215 1 | 0 | 3 1518.57/1519.16 c 1302s | 16 | 241494 | 174052 | 163215 1 | 0 | 3 1520.87/1521.46 c 1304s | 16 | 241837 | 174352 | 163215 1 | 0 | 3 1523.07/1523.63 c 1306s | 16 | 242238 | 174652 | 163215 1 | 0 | 3 1525.47/1526.04 c 1309s | 16 | 242632 | 174952 | 163215 1 | 0 | 3 1527.66/1528.27 c 1311s | 16 | 242974 | 175252 | 163215 1 | 0 | 3 1530.16/1530.70 c 1314s | 16 | 243356 | 175552 | 163215 1 | 0 | 3 1533.16/1533.73 c 1317s | 16 | 243716 | 175852 | 163215 1 | 0 | 3 1535.56/1536.17 c 1319s | 16 | 244121 | 176152 | 163215 1 | 0 | 3 1537.86/1538.45 c 1321s | 16 | 244532 | 176452 | 163215 1 | 0 | 3 1540.26/1540.87 c 1324s | 16 | 245064 | 176852 | 163215 1 | 0 | 3 1542.26/1542.89 c 1326s | 16 | 245445 | 177152 | 163215 1 | 0 | 3 1544.56/1545.11 c 1328s | 16 | 245827 | 177452 | 163215 1 | 0 | 3 1546.86/1547.49 c 1330s | 16 | 246231 | 177752 | 163215 1 | 0 | 3 1549.36/1549.93 c 1333s | 16 | 246572 | 178052 | 163215 1 | 0 | 3 1551.56/1552.10 c 1335s | 16 | 246943 | 178352 | 163215 1 | 0 | 3 1554.15/1554.73 c 1338s | 16 | 247329 | 178652 | 163215 1 | 0 | 3 1556.96/1557.51 c 1340s | 16 | 247708 | 178952 | 163215 1 | 0 | 3 1559.26/1559.86 c 1343s | 16 | 248116 | 179252 | 163215 1 | 0 | 3 1562.15/1562.70 c 1346s | 16 | 248502 | 179552 | 163215 1 | 0 | 3 1564.96/1565.54 c 1348s | 16 | 248861 | 179852 | 163215 1 | 0 | 3 1567.26/1567.88 c 1351s | 16 | 249221 | 180152 | 163215 1 | 0 | 3 1569.56/1570.10 c 1353s | 16 | 249584 | 180452 | 163215 1 | 0 | 3 1571.75/1572.38 c 1355s | 16 | 249942 | 180752 | 163215 1 | 0 | 3 1574.85/1575.43 c 1358s | 16 | 250291 | 181052 | 163215 1 | 0 | 3 1576.97/1577.54 c 1360s | 16 | 250525 | 181252 | 163215 1 | 0 | 3 1579.25/1579.85 c 1363s | 16 | 250878 | 181552 | 163215 1 | 0 | 3 1581.95/1582.50 c 1365s | 16 | 251239 | 181852 | 163215 1 | 0 | 3 1584.76/1585.32 c 1368s | 16 | 251627 | 182152 | 163215 1 | 0 | 3 1586.76/1587.38 c 1370s | 16 | 251896 | 182352 | 163215 1 | 0 | 3 1589.85/1590.43 c 1373s | 16 | 252282 | 182652 | 163215 1 | 0 | 3 1592.36/1592.92 c 1376s | 16 | 252533 | 182852 | 163215 1 | 0 | 3 1594.46/1595.10 c 1378s | 16 | 252773 | 183052 | 163215 1 | 0 | 3 1596.85/1597.48 c 1380s | 16 | 253138 | 183352 | 163215 1 | 0 | 3 1599.55/1600.10 c 1383s | 16 | 253508 | 183652 | 163215 1 | 0 | 3 1602.45/1603.05 c 1386s | 16 | 253910 | 183952 | 163215 1 | 0 | 3 1604.65/1605.20 c 1388s | 16 | 254140 | 184152 | 163215 1 | 0 | 3 1607.15/1607.75 c 1391s | 16 | 254387 | 184352 | 163215 1 | 0 | 3 1609.75/1610.35 c 1393s | 16 | 254659 | 184552 | 163215 1 | 0 | 3 1612.54/1613.18 c 1396s | 16 | 255061 | 184852 | 163215 1 | 0 | 3 1615.15/1615.71 c 1399s | 16 | 255324 | 185052 | 163215 1 | 0 | 3 1617.65/1618.24 c 1401s | 16 | 255557 | 185252 | 163215 1 | 0 | 3 1619.75/1620.38 c 1403s | 16 | 255779 | 185452 | 163215 1 | 0 | 3 1622.95/1623.56 c 1406s | 16 | 256144 | 185752 | 163215 1 | 0 | 3 1625.04/1625.68 c 1409s | 16 | 256391 | 185952 | 163215 1 | 0 | 3 1627.65/1628.20 c 1411s | 16 | 256647 | 186152 | 163215 1 | 0 | 3 1629.85/1630.45 c 1413s | 16 | 257019 | 186452 | 163215 1 | 0 | 3 1632.55/1633.17 c 1416s | 16 | 257395 | 186752 | 163215 1 | 0 | 3 1635.15/1635.71 c 1419s | 16 | 257764 | 187052 | 163215 1 | 0 | 3 1637.24/1637.90 c 1421s | 16 | 258039 | 187252 | 163215 1 | 0 | 3 1639.45/1640.06 c 1423s | 16 | 258280 | 187452 | 163215 1 | 0 | 3 1641.85/1642.45 c 1425s | 16 | 258575 | 187652 | 163215 1 | 0 | 3 1644.24/1644.87 c 1428s | 16 | 258864 | 187852 | 163215 1 | 0 | 3 1646.44/1647.01 c 1430s | 16 | 259100 | 188052 | 163215 1 | 0 | 3 1648.75/1649.31 c 1432s | 16 | 259343 | 188252 | 163215 1 | 0 | 3 1650.85/1651.47 c 1434s | 16 | 259575 | 188452 | 163215 1 | 0 | 3 1653.74/1654.32 c 1437s | 16 | 259939 | 188752 | 163215 1 | 0 | 3 1656.44/1657.01 c 1440s | 16 | 260181 | 188952 | 163215 1 | 0 | 3 1659.04/1659.63 c 1442s | 16 | 260416 | 189152 | 163215 1 | 0 | 3 1661.55/1662.17 c 1445s | 16 | 260795 | 189452 | 163215 1 | 0 | 3 1663.94/1664.50 c 1447s | 16 | 261057 | 189652 | 163215 1 | 0 | 3 1666.74/1667.34 c 1450s | 16 | 261413 | 189952 | 163215 1 | 0 | 3 1669.64/1670.21 c 1453s | 16 | 261835 | 190252 | 163215 1 | 0 | 3 1671.74/1672.35 c 1455s | 16 | 262067 | 190452 | 163215 1 | 0 | 3 1675.04/1675.60 c 1458s | 16 | 262468 | 190752 | 163215 1 | 0 | 3 1677.84/1678.40 c 1461s | 16 | 262862 | 191052 | 163215 1 | 0 | 3 1680.24/1680.81 c 1464s | 16 | 263125 | 191252 | 163215 1 | 0 | 3 1682.64/1683.25 c 1466s | 16 | 263381 | 191452 | 163215 1 | 0 | 3 1685.23/1685.89 c 1469s | 16 | 263638 | 191652 | 163215 1 | 0 | 3 1688.34/1688.97 c 1472s | 16 | 263877 | 191852 | 163215 1 | 0 | 3 1690.93/1691.51 c 1474s | 16 | 264146 | 192052 | 163215 1 | 0 | 3 1693.23/1693.85 c 1477s | 16 | 264414 | 192252 | 163215 1 | 0 | 3 1696.44/1697.06 c 1480s | 16 | 264782 | 192552 | 163215 1 | 0 | 3 1699.43/1700.05 c 1483s | 16 | 265023 | 192752 | 163215 1 | 0 | 3 1701.83/1702.48 c 1485s | 16 | 265293 | 192952 | 163215 1 | 0 | 3 1704.24/1704.87 c 1488s | 16 | 265544 | 193152 | 163215 1 | 0 | 3 1707.44/1708.03 c 1491s | 16 | 265799 | 193352 | 163215 1 | 0 | 3 1710.53/1711.16 c 1494s | 16 | 266034 | 193552 | 163215 1 | 0 | 3 1713.03/1713.60 c 1496s | 16 | 266271 | 193752 | 163215 1 | 0 | 3 1715.33/1715.94 c 1499s | 16 | 266519 | 193952 | 163215 1 | 0 | 3 1717.54/1718.16 c 1501s | 16 | 266750 | 194152 | 163215 1 | 0 | 3 1720.63/1721.24 c 1504s | 16 | 267109 | 194452 | 163215 1 | 0 | 3 1723.03/1723.65 c 1506s | 16 | 267341 | 194652 | 163215 1 | 0 | 3 1725.13/1725.76 c 1509s | 16 | 267571 | 194852 | 163215 1 | 0 | 3 1727.54/1728.17 c 1511s | 16 | 267813 | 195052 | 163215 1 | 0 | 3 1730.63/1731.22 c 1514s | 16 | 268056 | 195252 | 163215 1 | 0 | 3 1733.03/1733.66 c 1516s | 16 | 268301 | 195452 | 163215 1 | 0 | 3 1735.93/1736.55 c 1519s | 16 | 268551 | 195652 | 163215 1 | 0 | 3 1739.43/1740.07 c 1523s | 16 | 268926 | 195952 | 163215 1 | 0 | 3 1742.42/1743.00 c 1526s | 16 | 269168 | 196152 | 163215 1 | 0 | 3 1744.73/1745.30 c 1528s | 16 | 269439 | 196352 | 163215 1 | 0 | 3 1747.23/1747.82 c 1531s | 16 | 269704 | 196552 | 163215 1 | 0 | 3 1750.03/1750.62 c 1533s | 16 | 270079 | 196852 | 163215 1 | 0 | 3 1752.72/1753.32 c 1536s | 16 | 270353 | 197052 | 163215 1 | 0 | 3 1755.43/1756.06 c 1539s | 16 | 270613 | 197252 | 163215 1 | 0 | 3 1757.83/1758.44 c 1541s | 17 | 270833 | 197432 | 163215 1 | 0 | 3 1764.73/1765.37 c 1548s | 17 | 271791 | 197532 | 163215 1 | 0 | 3 1767.33/1767.96 c 1551s | 17 | 272261 | 197832 | 163215 1 | 0 | 3 1770.32/1770.91 c 1554s | 17 | 272543 | 198032 | 163215 1 | 0 | 3 1772.52/1773.17 c 1556s | 17 | 272819 | 198232 | 163215 1 | 0 | 3 1775.52/1776.12 c 1559s | 17 | 273268 | 198532 | 163215 1 | 0 | 3 1777.52/1778.19 c 1561s | 17 | 273519 | 198732 | 163215 1 | 0 | 3 1780.52/1781.10 c 1564s | 17 | 273778 | 198932 | 163215 1 | 0 | 3 1783.43/1784.09 c 1567s | 17 | 274037 | 199132 | 163215 1 | 0 | 3 1786.32/1786.93 c 1570s | 17 | 274283 | 199332 | 163215 1 | 0 | 3 1789.82/1790.49 c 1573s | 17 | 274711 | 199632 | 163215 1 | 0 | 3 1793.32/1793.92 c 1577s | 17 | 274978 | 199832 | 163215 1 | 0 | 3 1795.83/1796.41 c 1579s | 17 | 275263 | 200032 | 163215 1 | 0 | 3 1798.02/1798.64 c 1581s | 17 | 275528 | 200232 | 163215 1 | 0 | 3
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-4106568-1466273562/watcher-4106568-1466273562 -o /tmp/evaluation-result-4106568-1466273562/solver-4106568-1466273562 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24926 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106568-1466273562.opb pid=26606 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.14 2.38 2.34 4/179 26609 /proc/meminfo: memFree=28937224/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=742844 CPUtime=0 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 2776 0 0 0 0 0 0 0 20 0 4 0 29401903 760672256 2627 33554432000 4194304 16246674 140733340996448 140733340995872 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26609/statm: 186223 2636 441 2943 0 183117 0 [pid=26609/tid=26610] ppid=26606 vsize=761276 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 779546624 2699 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=765372 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 783740928 2716 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=770492 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29401903 788983808 2732 33554432000 4194304 16246674 140733340996448 140549393730736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100166 s] /proc/loadavg: 2.14 2.38 2.34 4/179 26609 /proc/meminfo: memFree=28937224/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 28735 0 0 0 6 3 0 0 20 0 4 0 29401903 1333334016 28524 33554432000 4194304 16246674 140733340996448 140733340995664 7364033 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/26609/statm: 325521 28539 800 2943 0 322415 0 [pid=26609/tid=26610] ppid=26606 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 1333334016 28550 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 1333334016 28561 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 1333334016 28572 33554432000 4194304 16246674 140733340996448 140549393730736 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.200486 s] /proc/loadavg: 2.14 2.38 2.34 4/179 26609 /proc/meminfo: memFree=28937224/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=1312324 CPUtime=0.19 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 46220 0 0 0 14 5 0 0 20 0 4 0 29401903 1343819776 46008 33554432000 4194304 16246674 140733340996448 140733340995664 4221105 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/26609/statm: 328081 46015 834 2943 0 324975 0 [pid=26609/tid=26610] ppid=26606 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 1343819776 46019 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 1343819776 46023 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 1343819776 46027 33554432000 4194304 16246674 140733340996448 140549393730736 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) 1312324 [startup+0.300475 s] /proc/loadavg: 2.14 2.38 2.34 4/179 26609 /proc/meminfo: memFree=28937224/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=1315396 CPUtime=0.29 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 47165 0 0 0 24 5 0 0 20 0 4 0 29401903 1346965504 46953 33554432000 4194304 16246674 140733340996448 140733340995664 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/26609/statm: 328849 46953 834 2943 0 325743 0 [pid=26609/tid=26610] ppid=26606 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 1346965504 46953 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 1346965504 46953 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 1346965504 46953 33554432000 4194304 16246674 140733340996448 140549393730736 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.700406 s] /proc/loadavg: 2.14 2.38 2.34 4/179 26609 /proc/meminfo: memFree=28937224/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=1316420 CPUtime=0.69 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 61006 0 0 0 62 7 0 0 20 0 4 0 29401903 1348014080 60794 33554432000 4194304 16246674 140733340996448 140733340978368 7370088 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/26609/statm: 329105 60794 835 2943 0 325999 0 [pid=26609/tid=26610] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 60794 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 60794 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 60794 33554432000 4194304 16246674 140733340996448 140549393730736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1316420 [startup+1.50041 s] /proc/loadavg: 2.14 2.38 2.34 4/183 26613 /proc/meminfo: memFree=28649844/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=1316420 CPUtime=1.48 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 72458 0 0 0 139 9 0 0 20 0 4 0 29401903 1348014080 72246 33554432000 4194304 16246674 140733340996448 140733340978368 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/26609/statm: 329105 72246 895 2943 0 325999 0 [pid=26609/tid=26610] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 72246 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 72246 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 72246 33554432000 4194304 16246674 140733340996448 140549393730736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1316420 [startup+3.1004 s] /proc/loadavg: 2.14 2.38 2.34 4/183 26613 /proc/meminfo: memFree=28635956/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=1316420 CPUtime=3.09 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 77156 0 0 0 299 10 0 0 20 0 4 0 29401903 1348014080 76944 33554432000 4194304 16246674 140733340996448 140733340995544 5675155 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/26609/statm: 329105 76944 910 2943 0 325999 0 [pid=26609/tid=26610] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 76944 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 76944 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 76944 33554432000 4194304 16246674 140733340996448 140549393730736 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.30042 s] /proc/loadavg: 2.13 2.37 2.34 3/183 26613 /proc/meminfo: memFree=28534648/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=1316420 CPUtime=6.29 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 101302 0 0 0 617 12 0 0 20 0 4 0 29401903 1348014080 101090 33554432000 4194304 16246674 140733340996448 140733340978368 13898695 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/26609/statm: 329105 101090 910 2943 0 325999 0 [pid=26609/tid=26610] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 101090 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 101090 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 101090 33554432000 4194304 16246674 140733340996448 140549393730736 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.12 2.36 2.34 4/183 26613 /proc/meminfo: memFree=28534940/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=1316420 CPUtime=12.68 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 101304 0 0 0 1256 12 0 0 20 0 4 0 29401903 1348014080 101092 33554432000 4194304 16246674 140733340996448 140733340978368 12874983 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/26609/statm: 329105 101092 912 2943 0 325999 0 [pid=26609/tid=26610] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 101092 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 101092 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 101092 33554432000 4194304 16246674 140733340996448 140549393730736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1316420 [startup+25.5005 s] /proc/loadavg: 2.16 2.36 2.34 4/183 26613 /proc/meminfo: memFree=28527968/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=1316420 CPUtime=25.49 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 101306 0 0 0 2536 13 0 0 20 0 4 0 29401903 1348014080 102953 33554432000 4194304 16246674 140733340996448 140733340978368 6861720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/26609/statm: 329105 102953 913 2943 0 325999 0 [pid=26609/tid=26610] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 102953 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 102953 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 102953 33554432000 4194304 16246674 140733340996448 140549393730736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1316420 [startup+51.1005 s] /proc/loadavg: 2.17 2.35 2.34 3/183 26613 /proc/meminfo: memFree=28479932/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=1316420 CPUtime=51.08 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 101306 0 0 0 5094 14 0 0 20 0 4 0 29401903 1348014080 115049 33554432000 4194304 16246674 140733340996448 140733340978368 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/26609/statm: 329105 115049 913 2943 0 325999 0 [pid=26609/tid=26610] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 115049 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 115049 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 115049 33554432000 4194304 16246674 140733340996448 140549393730736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1316420 [startup+102.3 s] /proc/loadavg: 2.24 2.34 2.33 4/183 26614 /proc/meminfo: memFree=28068520/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=1316420 CPUtime=102.29 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 183963 0 0 0 10202 27 0 0 20 0 4 0 29401903 1348014080 217866 33554432000 4194304 16246674 140733340996448 140733340978368 5828829 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/26609/statm: 329105 217866 915 2943 0 325999 0 [pid=26609/tid=26610] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 217866 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 217866 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 1348014080 217866 33554432000 4194304 16246674 140733340996448 140549393730736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 1316420 ################ # More data... # ################ /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549393730736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 2243140 [startup+1302.3 s] /proc/loadavg: 2.18 2.24 2.26 3/183 26741 /proc/meminfo: memFree=26925468/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=2243140 CPUtime=1301.79 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 452491 0 0 0 130012 167 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140733340995624 6022224 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/26609/statm: 560785 502047 917 2943 0 557679 0 [pid=26609/tid=26610] ppid=26606 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549393730736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 2243140 [startup+1362.3 s] /proc/loadavg: 2.14 2.22 2.25 4/183 26743 /proc/meminfo: memFree=26926012/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=2243140 CPUtime=1361.79 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 452491 0 0 0 136005 174 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140733340978368 4220912 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/26609/statm: 560785 502047 917 2943 0 557679 0 [pid=26609/tid=26610] ppid=26606 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549393730736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 2243140 [startup+1422.3 s] /proc/loadavg: 2.15 2.21 2.24 3/183 26744 /proc/meminfo: memFree=26785488/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=2243140 CPUtime=1421.79 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 452491 0 0 0 141998 181 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140733340995624 5546005 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/26609/statm: 560785 502047 917 2943 0 557679 0 [pid=26609/tid=26610] ppid=26606 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549393730736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 2243140 [startup+1482.3 s] /proc/loadavg: 2.17 2.20 2.24 3/183 26745 /proc/meminfo: memFree=26710628/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=2243140 CPUtime=1481.77 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 452491 0 0 0 147988 189 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140733340995624 5546252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/26609/statm: 560785 502047 917 2943 0 557679 0 [pid=26609/tid=26610] ppid=26606 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549393730736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 2243140 [startup+1542.31 s] /proc/loadavg: 2.24 2.22 2.24 3/183 26746 /proc/meminfo: memFree=26588016/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=2243140 CPUtime=1541.76 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 452491 0 0 0 153979 197 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140733340978368 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/26609/statm: 560785 502047 917 2943 0 557679 0 [pid=26609/tid=26610] ppid=26606 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549393730736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 2243140 [startup+1602.3 s] /proc/loadavg: 2.35 2.25 2.25 3/183 26747 /proc/meminfo: memFree=26505324/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=2243140 CPUtime=1601.74 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 452491 0 0 0 159965 209 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140733340978368 5677716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/26609/statm: 560785 502047 917 2943 0 557679 0 [pid=26609/tid=26610] ppid=26606 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549393730736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 2243140 [startup+1662.3 s] /proc/loadavg: 2.28 2.25 2.25 3/184 26752 /proc/meminfo: memFree=26426356/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=2243140 CPUtime=1661.74 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 452491 0 0 0 165956 218 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140733340995624 5722816 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/26609/statm: 560785 502047 917 2943 0 557679 0 [pid=26609/tid=26610] ppid=26606 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=2243140 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 2296975360 502047 33554432000 4194304 16246674 140733340996448 140549393730736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 2243140 [startup+1722.3 s] /proc/loadavg: 2.31 2.26 2.25 3/183 26753 /proc/meminfo: memFree=26325776/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=2272836 CPUtime=1721.73 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 459915 0 0 0 171944 229 0 0 20 0 4 0 29401903 2327384064 509471 33554432000 4194304 16246674 140733340996448 140733340995624 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/26609/statm: 568209 509471 917 2943 0 565103 0 [pid=26609/tid=26610] ppid=26606 vsize=2272836 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 2327384064 509471 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=2272836 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 2327384064 509471 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=2272836 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 2327384064 509471 33554432000 4194304 16246674 140733340996448 140549393730736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 2272836 [startup+1782.3 s] /proc/loadavg: 2.38 2.29 2.26 3/183 26754 /proc/meminfo: memFree=26185692/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=2316868 CPUtime=1781.72 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 470822 0 0 0 177930 242 0 0 20 0 4 0 29401903 2372472832 520378 33554432000 4194304 16246674 140733340996448 140733340995624 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/26609/statm: 579217 520378 917 2943 0 576111 0 [pid=26609/tid=26610] ppid=26606 vsize=2316868 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 2372472832 520378 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=2316868 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 2372472832 520378 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=2316868 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 2372472832 520378 33554432000 4194304 16246674 140733340996448 140549393730736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 2316868 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.38 2.29 2.26 3/183 26755 /proc/meminfo: memFree=26141400/32872528 swapFree=1499884/1696108 [pid=26609] ppid=26606 vsize=2316868 CPUtime=1800.02 cores=0,2,4,6 /proc/26609/stat : 26609 (toysat) R 26606 26609 24910 0 -1 4202496 470923 0 0 0 179756 246 0 0 20 0 4 0 29401903 2372472832 520479 33554432000 4194304 16246674 140733340996448 140733340995624 13874649 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/26609/statm: 579217 520479 917 2943 0 576111 0 [pid=26609/tid=26610] ppid=26606 vsize=2316868 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26610/stat : 26610 (toysat) S 26606 26609 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29401903 2372472832 520479 33554432000 4194304 16246674 140733340996448 140549414694128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26609/tid=26611] ppid=26606 vsize=2316868 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26611/stat : 26611 (toysat) S 26606 26609 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29401903 2372472832 520479 33554432000 4194304 16246674 140733340996448 140549404204272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=26609/tid=26612] ppid=26606 vsize=2316868 CPUtime=0 cores=0,2,4,6 /proc/26609/task/26612/stat : 26612 (toysat) S 26606 26609 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29401903 2372472832 520479 33554432000 4194304 16246674 140733340996448 140549393730736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 2316868 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 26609 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.62 CPU time (s): 1800.04 CPU user time (s): 1797.57 CPU system time (s): 2.47262 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (KiB): 2316868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.57 system time used= 2.47262 maximum resident set size= 2081916 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 470923 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= 499 involuntary context switches= 1854 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.43356 second user time and 18.9301 second system time The end
Begin job on node137 at 2016-06-18 20:12:42 IDJOB=4106568 IDBENCH=48109 IDSOLVER=2542 FILE ID=node137/4106568-1466273562 RUNJOBID= node137-1466264772-24926 PBS_JOBID= 19918225 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_3.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106568-1466273562/watcher-4106568-1466273562 -o /tmp/evaluation-result-4106568-1466273562/solver-4106568-1466273562 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24926 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106568-1466273562.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 58d1d1d90868b936a5ba7e034aba056d RANDOM SEED=874380361 node137.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.486 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.97 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.486 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.486 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.56 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.486 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.486 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.486 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.38 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.486 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.486 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: 28937604 kB Buffers: 153240 kB Cached: 258112 kB SwapCached: 1268 kB Active: 1236316 kB Inactive: 257836 kB Active(anon): 1084236 kB Inactive(anon): 1028 kB Active(file): 152080 kB Inactive(file): 256808 kB Unevictable: 1696108 kB Mlocked: 1499884 kB SwapTotal: 67108856 kB SwapFree: 67100008 kB Dirty: 16784 kB Writeback: 0 kB AnonPages: 2778420 kB Mapped: 10656 kB Shmem: 0 kB Slab: 607688 kB SReclaimable: 51680 kB SUnreclaim: 556008 kB KernelStack: 1472 kB PageTables: 9504 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2919584 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1273856 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= 71672 MiB End job on node137 at 2016-06-18 20:42:42