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.1 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_012_area_delay.opb |
| MD5SUM | 390f49d8db402e26df87629238cc1aa6 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 27 |
| Best CPU time to get the best result obtained on this benchmark | 0.706892 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 27 |
| Optimality of the best value was proved | YES |
| Number of variables | 15284 |
| Total number of constraints | 49839 |
| Number of constraints which are clauses | 49839 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 7495 |
| 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 | 7495 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 7495 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T23:36:33+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-4079839-1465248993.opb"] 0.00/0.01 c use --random-gen="1319624280 1902389513 3005768454 2734179843 959630551 2179744945 2786741484 3545261923 1869188658 1952507906 702144376 655522063 3391648159 3854969719 2839921752 1978214745 1170810723 260970887 1533910299 1939583740 1195264120 344408952 3067439574 1375333008 4110323485 788302313 3529772903 3411838861 673141977 3599221315 3222395667 762392634 4181716800 3547253932 942046924 74185810 3971965411 260239641 3249421413 2793214406 3161283766 3553715946 2708951465 1986371264 686714340 370456607 43849687 2052925416 314973409 1008249125 2525401282 2292532130 238291519 1361286311 860798907 1998584252 1759110725 2219727215 364424887 991418492 538223689 493931546 427136207 1225342874 2147281833 2514892464 2764453491 541565441 3277898290 800252410 106714576 2424216347 2479233806 2521645234 4209610688 3184638232 4095755038 1120126152 3650160386 1960124165 1572878492 2704453369 365635242 3234489730 1759963470 1495142913 3072089165 2407174884 289440168 2059373876 1415874482 4242693156 3385938422 580304855 1246668799 2439106659 2544999565 2429723653 656798342 856876467 1208959822 1463893693 3206735223 2464468810 2693575625 345767803 2100530980 183239092 641366277 908719763 3241052128 3821104166 250961929 2325875469 3759126322 2368424803 929248889 3327964713 2278314121 2065268388 3770901855 1940556835 2584777314 2373130565 54126000 2485875217 3148854645 455539454 834684528 1066726277 3145501421 837664369 3821797885 3998771728 3833168392 186779630 1794317784 1517904999 3433751387 1346359050 3503518651 1078298346 2920898360 1595219067 603852363 509204857 3534533914 4180495989 1555617576 1116083611 1836184231 931800458 1264866836 1618121247 462660672 203102417 858110265 3470094217 1553276620 4136864724 4225124475 2395134150 4202146835 2310252811 566411201 4084936952 1882660307 3033168988 1420569902 1548568460 1599645755 1807397387 598267001 3736416433 626752219 2518221045 2758864973 219572519 2325965428 4015221838 2849348139 528942486 174450937 1427078761 562834334 2876455757 2473547617 340688815 1445664209 2680581134 414131051 2932452112 2022710298 1447099388 1904680433 2872464532 2232298891 1113737210 2395658839 3643490268 2593160769 1908966747 3236931616 3126654925 1530562102 904046017 2438042818 3679616734 2037516961 1825781818 3589677222 1407433622 2916743588 3003024212 2739336995 2301131398 541997811 1864360505 1433052684 2725846003 2537488727 3656018970 82017927 1595331514 2022348404 1032067078 3272341236 1619240683 2569522916 1351208250 1427983736 1669780454 2121377780 2345624382 2934470791 782401056 2781153081 690822947 2184095742 1336141894 4081177147 62272539 272255832 2134258418 2342235202 2931912563 590681497 607773496 1931457495 4257888251 1007096249 3799594953 2273333244 3219225055 1341825808 3023108644 255 362436" option to reproduce the execution 0.29/0.31 c #vars 15284 0.29/0.31 c #constraints 49839 0.89/0.95 c BCD2: Hardening is enabled. 0.89/0.95 c BCD2: BiasedSearch is enabled. 0.89/0.95 c Solving starts ... 0.89/0.95 c ============================[ Search Statistics ]============================ 0.89/0.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.95 c | | | | Limit GC | Var | Constra 0.89/0.95 c ============================================================================= 0.89/0.95 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 0 1.10/1.20 c 0.1s | 0 | 2873 | 0 | 21132 0 | 3443 | 8928 1.10/1.20 c #cpu_time = 0.100s 1.10/1.20 c #wall_clock_time = 0.101s 1.10/1.20 c #decision = 2873 1.10/1.20 c #random_decision = 5 1.10/1.20 c #conflict = 0 1.10/1.20 c #restart = 0 1.10/1.20 o 2878 1.10/1.20 c BCD2: updating upper bound: 7495 -> 2877 1.19/1.26 c BCD2: 0 <= obj <= 2877 1.19/1.26 c BCD2: #cores=0, #unrelaxed=7495, #relaxed=0, #hardened=0 1.19/1.26 c BCD2: #sat=1 #unsat=1 bias=1/2 1.19/1.26 c Solving starts ... 1.19/1.26 c ============================[ Search Statistics ]============================ 1.19/1.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.26 c | | | | Limit GC | Var | Constra 1.19/1.26 c ============================================================================= 1.19/1.26 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.19/1.27 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.19/1.27 c #cpu_time = 0.014s 1.19/1.27 c #wall_clock_time = 0.014s 1.19/1.27 c #decision = 0 1.19/1.27 c #random_decision = 0 1.19/1.27 c #conflict = 0 1.19/1.27 c #restart = 0 1.19/1.28 c BCD2: found a new core of size 1: cost of the new core is >=1 1.19/1.28 c lower bound updated to 1 1.19/1.28 c BCD2: 1 <= obj <= 2877 1.19/1.28 c BCD2: #cores=1, #unrelaxed=7494, #relaxed=1, #hardened=0 1.19/1.28 c BCD2: #sat=1 #unsat=2 bias=2/3 1.19/1.28 c Solving starts ... 1.19/1.28 c ============================[ Search Statistics ]============================ 1.19/1.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.28 c | | | | Limit GC | Var | Constra 1.19/1.28 c ============================================================================= 1.19/1.28 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.29/1.30 c 0.0s | 0 | 61 | 0 | 21132 0 | 3443 | 8928 1.29/1.30 c #cpu_time = 0.022s 1.29/1.30 c #wall_clock_time = 0.022s 1.29/1.30 c #decision = 61 1.29/1.30 c #random_decision = 0 1.29/1.30 c #conflict = 0 1.29/1.30 c #restart = 0 1.29/1.30 c BCD2: found a new core of size 3: cost of the new core is >=1 1.29/1.30 c lower bound updated to 2 1.29/1.31 c BCD2: 2 <= obj <= 2877 1.29/1.31 c BCD2: #cores=2, #unrelaxed=7491, #relaxed=4, #hardened=0 1.29/1.31 c BCD2: #sat=1 #unsat=3 bias=3/4 1.29/1.31 c Solving starts ... 1.29/1.31 c ============================[ Search Statistics ]============================ 1.29/1.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.31 c | | | | Limit GC | Var | Constra 1.29/1.31 c ============================================================================= 1.29/1.32 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.29/1.33 c 0.0s | 0 | 106 | 0 | 21132 0 | 3443 | 8928 1.29/1.33 c #cpu_time = 0.016s 1.29/1.33 c #wall_clock_time = 0.016s 1.29/1.33 c #decision = 106 1.29/1.33 c #random_decision = 0 1.29/1.33 c #conflict = 0 1.29/1.33 c #restart = 0 1.29/1.33 c BCD2: found a new core of size 8: cost of the new core is >=1 1.29/1.33 c lower bound updated to 3 1.29/1.34 c BCD2: 3 <= obj <= 2877 1.29/1.34 c BCD2: #cores=3, #unrelaxed=7483, #relaxed=12, #hardened=0 1.29/1.34 c BCD2: #sat=1 #unsat=4 bias=4/5 1.29/1.34 c Solving starts ... 1.29/1.34 c ============================[ Search Statistics ]============================ 1.29/1.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.34 c | | | | Limit GC | Var | Constra 1.29/1.34 c ============================================================================= 1.29/1.34 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.29/1.36 c 0.0s | 0 | 113 | 0 | 21132 0 | 3443 | 8928 1.29/1.36 c #cpu_time = 0.022s 1.29/1.36 c #wall_clock_time = 0.022s 1.29/1.36 c #decision = 113 1.29/1.36 c #random_decision = 0 1.29/1.36 c #conflict = 0 1.29/1.36 c #restart = 0 1.29/1.36 c BCD2: found a new core of size 7: cost of the new core is >=1 1.29/1.36 c lower bound updated to 4 1.29/1.36 c BCD2: 4 <= obj <= 2877 1.29/1.36 c BCD2: #cores=4, #unrelaxed=7476, #relaxed=19, #hardened=0 1.29/1.36 c BCD2: #sat=1 #unsat=5 bias=5/6 1.29/1.36 c Solving starts ... 1.29/1.36 c ============================[ Search Statistics ]============================ 1.29/1.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.36 c | | | | Limit GC | Var | Constra 1.29/1.36 c ============================================================================= 1.29/1.36 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.29/1.38 c 0.0s | 0 | 122 | 0 | 21132 0 | 3443 | 8928 1.29/1.38 c #cpu_time = 0.015s 1.29/1.38 c #wall_clock_time = 0.015s 1.29/1.38 c #decision = 122 1.29/1.38 c #random_decision = 0 1.29/1.38 c #conflict = 0 1.29/1.38 c #restart = 0 1.29/1.38 c BCD2: found a new core of size 35: cost of the new core is >=1 1.29/1.38 c lower bound updated to 5 1.29/1.38 c BCD2: 5 <= obj <= 2877 1.29/1.38 c BCD2: #cores=5, #unrelaxed=7441, #relaxed=54, #hardened=0 1.29/1.38 c BCD2: #sat=1 #unsat=6 bias=6/7 1.29/1.38 c Solving starts ... 1.29/1.38 c ============================[ Search Statistics ]============================ 1.29/1.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.38 c | | | | Limit GC | Var | Constra 1.29/1.38 c ============================================================================= 1.29/1.38 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.39/1.40 c 0.0s | 0 | 200 | 0 | 21132 0 | 3443 | 8928 1.39/1.40 c #cpu_time = 0.015s 1.39/1.40 c #wall_clock_time = 0.015s 1.39/1.40 c #decision = 200 1.39/1.40 c #random_decision = 0 1.39/1.40 c #conflict = 0 1.39/1.40 c #restart = 0 1.39/1.40 c BCD2: found a new core of size 11: cost of the new core is >=1 1.39/1.40 c lower bound updated to 6 1.39/1.41 c BCD2: 6 <= obj <= 2877 1.39/1.41 c BCD2: #cores=6, #unrelaxed=7430, #relaxed=65, #hardened=0 1.39/1.41 c BCD2: #sat=1 #unsat=7 bias=7/8 1.39/1.41 c Solving starts ... 1.39/1.41 c ============================[ Search Statistics ]============================ 1.39/1.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.41 c | | | | Limit GC | Var | Constra 1.39/1.41 c ============================================================================= 1.39/1.41 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.39/1.42 c 0.0s | 0 | 578 | 0 | 21132 0 | 3443 | 8928 1.39/1.42 c #cpu_time = 0.017s 1.39/1.42 c #wall_clock_time = 0.017s 1.39/1.42 c #decision = 578 1.39/1.42 c #random_decision = 0 1.39/1.42 c #conflict = 0 1.39/1.42 c #restart = 0 1.39/1.42 c BCD2: found a new core of size 3: cost of the new core is >=1 1.39/1.42 c lower bound updated to 7 1.39/1.43 c BCD2: 7 <= obj <= 2877 1.39/1.43 c BCD2: #cores=7, #unrelaxed=7427, #relaxed=68, #hardened=0 1.39/1.43 c BCD2: #sat=1 #unsat=8 bias=8/9 1.39/1.43 c Solving starts ... 1.39/1.43 c ============================[ Search Statistics ]============================ 1.39/1.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.43 c | | | | Limit GC | Var | Constra 1.39/1.43 c ============================================================================= 1.39/1.43 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.39/1.45 c 0.0s | 0 | 670 | 0 | 21132 0 | 3443 | 8928 1.39/1.45 c #cpu_time = 0.016s 1.39/1.45 c #wall_clock_time = 0.016s 1.39/1.45 c #decision = 670 1.39/1.45 c #random_decision = 0 1.39/1.45 c #conflict = 0 1.39/1.45 c #restart = 0 1.39/1.45 c BCD2: found a new core of size 3: cost of the new core is >=1 1.39/1.45 c lower bound updated to 8 1.39/1.45 c BCD2: 8 <= obj <= 2877 1.39/1.45 c BCD2: #cores=8, #unrelaxed=7424, #relaxed=71, #hardened=0 1.39/1.45 c BCD2: #sat=1 #unsat=9 bias=9/10 1.39/1.45 c Solving starts ... 1.39/1.45 c ============================[ Search Statistics ]============================ 1.39/1.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.45 c | | | | Limit GC | Var | Constra 1.39/1.45 c ============================================================================= 1.39/1.45 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.39/1.47 c 0.0s | 0 | 920 | 0 | 21132 0 | 3443 | 8928 1.39/1.47 c #cpu_time = 0.016s 1.39/1.47 c #wall_clock_time = 0.016s 1.39/1.47 c #decision = 920 1.39/1.47 c #random_decision = 0 1.39/1.47 c #conflict = 0 1.39/1.47 c #restart = 0 1.39/1.47 c BCD2: found a new core of size 140: cost of the new core is >=1 1.39/1.47 c lower bound updated to 9 1.39/1.47 c BCD2: 9 <= obj <= 2877 1.39/1.47 c BCD2: #cores=9, #unrelaxed=7284, #relaxed=211, #hardened=0 1.39/1.47 c BCD2: #sat=1 #unsat=10 bias=10/11 1.39/1.47 c Solving starts ... 1.39/1.47 c ============================[ Search Statistics ]============================ 1.39/1.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.47 c | | | | Limit GC | Var | Constra 1.39/1.47 c ============================================================================= 1.39/1.48 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.39/1.49 c 0.0s | 0 | 1162 | 0 | 21132 0 | 3443 | 8928 1.39/1.49 c #cpu_time = 0.015s 1.39/1.49 c #wall_clock_time = 0.015s 1.39/1.49 c #decision = 1162 1.39/1.49 c #random_decision = 0 1.39/1.49 c #conflict = 0 1.39/1.49 c #restart = 0 1.39/1.49 c BCD2: found a new core of size 53: cost of the new core is >=1 1.39/1.49 c lower bound updated to 10 1.49/1.50 c BCD2: 10 <= obj <= 2877 1.49/1.50 c BCD2: #cores=10, #unrelaxed=7231, #relaxed=264, #hardened=0 1.49/1.50 c BCD2: #sat=1 #unsat=11 bias=11/12 1.49/1.50 c Solving starts ... 1.49/1.50 c ============================[ Search Statistics ]============================ 1.49/1.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.50 c | | | | Limit GC | Var | Constra 1.49/1.50 c ============================================================================= 1.49/1.50 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.49/1.52 c 0.0s | 0 | 1375 | 0 | 21132 0 | 3443 | 8928 1.49/1.52 c #cpu_time = 0.019s 1.49/1.52 c #wall_clock_time = 0.019s 1.49/1.52 c #decision = 1375 1.49/1.52 c #random_decision = 0 1.49/1.52 c #conflict = 0 1.49/1.52 c #restart = 0 1.49/1.52 c BCD2: found a new core of size 57: cost of the new core is >=1 1.49/1.52 c lower bound updated to 11 1.49/1.52 c BCD2: 11 <= obj <= 2877 1.49/1.52 c BCD2: #cores=11, #unrelaxed=7174, #relaxed=321, #hardened=0 1.49/1.52 c BCD2: #sat=1 #unsat=12 bias=12/13 1.49/1.52 c Solving starts ... 1.49/1.52 c ============================[ Search Statistics ]============================ 1.49/1.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.52 c | | | | Limit GC | Var | Constra 1.49/1.52 c ============================================================================= 1.49/1.52 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.49/1.55 c 0.0s | 0 | 3061 | 0 | 21132 0 | 3443 | 8928 1.49/1.55 c #cpu_time = 0.029s 1.49/1.55 c #wall_clock_time = 0.029s 1.49/1.55 c #decision = 3061 1.49/1.55 c #random_decision = 0 1.49/1.55 c #conflict = 0 1.49/1.55 c #restart = 0 1.49/1.55 c BCD2: found a new core of size 47: cost of the new core is >=1 1.49/1.55 c lower bound updated to 12 1.49/1.55 c BCD2: 12 <= obj <= 2877 1.49/1.55 c BCD2: #cores=12, #unrelaxed=7127, #relaxed=368, #hardened=0 1.49/1.55 c BCD2: #sat=1 #unsat=13 bias=13/14 1.49/1.55 c Solving starts ... 1.49/1.55 c ============================[ Search Statistics ]============================ 1.49/1.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.55 c | | | | Limit GC | Var | Constra 1.49/1.55 c ============================================================================= 1.49/1.55 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.49/1.58 c 0.0s | 0 | 3024 | 0 | 21132 0 | 3443 | 8928 1.49/1.58 c #cpu_time = 0.019s 1.49/1.58 c #wall_clock_time = 0.019s 1.49/1.58 c #decision = 3024 1.49/1.58 c #random_decision = 0 1.49/1.58 c #conflict = 0 1.49/1.58 c #restart = 0 1.49/1.58 c BCD2: found a new core of size 11: cost of the new core is >=1 1.49/1.58 c lower bound updated to 13 1.49/1.58 c BCD2: 13 <= obj <= 2877 1.49/1.58 c BCD2: #cores=13, #unrelaxed=7116, #relaxed=379, #hardened=0 1.49/1.58 c BCD2: #sat=1 #unsat=14 bias=14/15 1.49/1.58 c Solving starts ... 1.49/1.58 c ============================[ Search Statistics ]============================ 1.49/1.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.58 c | | | | Limit GC | Var | Constra 1.49/1.58 c ============================================================================= 1.49/1.58 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.59/1.60 c 0.0s | 0 | 3377 | 0 | 21132 0 | 3443 | 8928 1.59/1.60 c #cpu_time = 0.020s 1.59/1.60 c #wall_clock_time = 0.020s 1.59/1.60 c #decision = 3377 1.59/1.60 c #random_decision = 0 1.59/1.60 c #conflict = 0 1.59/1.60 c #restart = 0 1.59/1.60 c BCD2: found a new core of size 75: cost of the new core is >=1 1.59/1.60 c lower bound updated to 14 1.59/1.61 c BCD2: 14 <= obj <= 2877 1.59/1.61 c BCD2: #cores=14, #unrelaxed=7041, #relaxed=454, #hardened=0 1.59/1.61 c BCD2: #sat=1 #unsat=15 bias=15/16 1.59/1.61 c Solving starts ... 1.59/1.61 c ============================[ Search Statistics ]============================ 1.59/1.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.61 c | | | | Limit GC | Var | Constra 1.59/1.61 c ============================================================================= 1.59/1.61 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.59/1.64 c 0.0s | 0 | 3555 | 0 | 21132 0 | 3443 | 8928 1.59/1.64 c #cpu_time = 0.020s 1.59/1.64 c #wall_clock_time = 0.020s 1.59/1.64 c #decision = 3555 1.59/1.64 c #random_decision = 0 1.59/1.64 c #conflict = 0 1.59/1.64 c #restart = 0 1.59/1.64 c BCD2: found a new core of size 36: cost of the new core is >=1 1.59/1.64 c lower bound updated to 15 1.59/1.64 c BCD2: 15 <= obj <= 2877 1.59/1.64 c BCD2: #cores=15, #unrelaxed=7005, #relaxed=490, #hardened=0 1.59/1.64 c BCD2: #sat=1 #unsat=16 bias=16/17 1.59/1.64 c Solving starts ... 1.59/1.64 c ============================[ Search Statistics ]============================ 1.59/1.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.64 c | | | | Limit GC | Var | Constra 1.59/1.64 c ============================================================================= 1.59/1.64 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.59/1.67 c 0.0s | 0 | 3645 | 0 | 21132 0 | 3443 | 8928 1.59/1.67 c #cpu_time = 0.021s 1.59/1.67 c #wall_clock_time = 0.021s 1.59/1.67 c #decision = 3645 1.59/1.67 c #random_decision = 0 1.59/1.67 c #conflict = 0 1.59/1.67 c #restart = 0 1.59/1.67 c BCD2: found a new core of size 82: cost of the new core is >=1 1.59/1.67 c lower bound updated to 16 1.59/1.67 c BCD2: 16 <= obj <= 2877 1.59/1.67 c BCD2: #cores=16, #unrelaxed=6923, #relaxed=572, #hardened=0 1.59/1.67 c BCD2: #sat=1 #unsat=17 bias=17/18 1.59/1.68 c Solving starts ... 1.59/1.68 c ============================[ Search Statistics ]============================ 1.59/1.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.68 c | | | | Limit GC | Var | Constra 1.59/1.68 c ============================================================================= 1.59/1.68 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.68/1.70 c 0.0s | 0 | 3699 | 0 | 21132 0 | 3443 | 8928 1.68/1.70 c #cpu_time = 0.020s 1.68/1.70 c #wall_clock_time = 0.020s 1.68/1.70 c #decision = 3699 1.68/1.70 c #random_decision = 0 1.68/1.70 c #conflict = 0 1.68/1.70 c #restart = 0 1.68/1.70 c BCD2: found a new core of size 45: cost of the new core is >=1 1.68/1.70 c lower bound updated to 17 1.68/1.70 c BCD2: 17 <= obj <= 2877 1.68/1.70 c BCD2: #cores=17, #unrelaxed=6878, #relaxed=617, #hardened=0 1.68/1.70 c BCD2: #sat=1 #unsat=18 bias=18/19 1.68/1.70 c Solving starts ... 1.68/1.70 c ============================[ Search Statistics ]============================ 1.68/1.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.68/1.70 c | | | | Limit GC | Var | Constra 1.68/1.70 c ============================================================================= 1.68/1.71 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.68/1.73 c 0.0s | 0 | 4715 | 0 | 21132 0 | 3443 | 8928 1.68/1.73 c #cpu_time = 0.022s 1.68/1.73 c #wall_clock_time = 0.022s 1.68/1.73 c #decision = 4715 1.68/1.73 c #random_decision = 0 1.68/1.73 c #conflict = 0 1.68/1.73 c #restart = 0 1.68/1.73 c BCD2: found a new core of size 95: cost of the new core is >=1 1.68/1.73 c lower bound updated to 18 1.68/1.73 c BCD2: 18 <= obj <= 2877 1.68/1.73 c BCD2: #cores=18, #unrelaxed=6783, #relaxed=712, #hardened=0 1.68/1.73 c BCD2: #sat=1 #unsat=19 bias=19/20 1.68/1.73 c Solving starts ... 1.68/1.73 c ============================[ Search Statistics ]============================ 1.68/1.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.68/1.73 c | | | | Limit GC | Var | Constra 1.68/1.73 c ============================================================================= 1.68/1.74 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.68/1.76 c 0.0s | 0 | 4912 | 0 | 21132 0 | 3443 | 8928 1.68/1.76 c #cpu_time = 0.022s 1.68/1.76 c #wall_clock_time = 0.022s 1.68/1.76 c #decision = 4912 1.68/1.76 c #random_decision = 0 1.68/1.76 c #conflict = 0 1.68/1.76 c #restart = 0 1.68/1.76 c BCD2: found a new core of size 87: cost of the new core is >=1 1.68/1.76 c lower bound updated to 19 1.68/1.77 c BCD2: 19 <= obj <= 2877 1.68/1.77 c BCD2: #cores=19, #unrelaxed=6696, #relaxed=799, #hardened=0 1.68/1.77 c BCD2: #sat=1 #unsat=20 bias=20/21 1.68/1.77 c Solving starts ... 1.68/1.77 c ============================[ Search Statistics ]============================ 1.68/1.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.68/1.77 c | | | | Limit GC | Var | Constra 1.68/1.77 c ============================================================================= 1.68/1.77 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.78/1.80 c 0.0s | 0 | 4956 | 0 | 21132 0 | 3443 | 8928 1.78/1.80 c #cpu_time = 0.032s 1.78/1.80 c #wall_clock_time = 0.032s 1.78/1.80 c #decision = 4956 1.78/1.80 c #random_decision = 0 1.78/1.80 c #conflict = 0 1.78/1.80 c #restart = 0 1.78/1.80 c BCD2: found a new core of size 35: cost of the new core is >=1 1.78/1.80 c lower bound updated to 20 1.78/1.81 c BCD2: 20 <= obj <= 2877 1.78/1.81 c BCD2: #cores=20, #unrelaxed=6661, #relaxed=834, #hardened=0 1.78/1.81 c BCD2: #sat=1 #unsat=21 bias=21/22 1.78/1.81 c Solving starts ... 1.78/1.81 c ============================[ Search Statistics ]============================ 1.78/1.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.78/1.81 c | | | | Limit GC | Var | Constra 1.78/1.81 c ============================================================================= 1.78/1.81 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.78/1.83 c 0.0s | 0 | 4957 | 0 | 21132 0 | 3443 | 8928 1.78/1.83 c #cpu_time = 0.021s 1.78/1.83 c #wall_clock_time = 0.021s 1.78/1.83 c #decision = 4957 1.78/1.83 c #random_decision = 0 1.78/1.83 c #conflict = 0 1.78/1.83 c #restart = 0 1.78/1.83 c BCD2: found a new core of size 35: cost of the new core is >=1 1.78/1.83 c lower bound updated to 21 1.78/1.84 c BCD2: 21 <= obj <= 2877 1.78/1.84 c BCD2: #cores=21, #unrelaxed=6626, #relaxed=869, #hardened=0 1.78/1.84 c BCD2: #sat=1 #unsat=22 bias=22/23 1.78/1.84 c Solving starts ... 1.78/1.84 c ============================[ Search Statistics ]============================ 1.78/1.84 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.78/1.84 c | | | | Limit GC | Var | Constra 1.78/1.84 c ============================================================================= 1.78/1.84 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8928 1.78/1.88 c 0.0s | 0 | 5667 | 0 | 21132 0 | 3443 | 8928 1.78/1.88 c #cpu_time = 0.031s 1.78/1.88 c #wall_clock_time = 0.031s 1.78/1.88 c #decision = 5667 1.78/1.88 c #random_decision = 1 1.78/1.88 c #conflict = 0 1.78/1.88 c #restart = 0 1.78/1.88 o 46 1.78/1.89 c BCD2: updating upper bound: 2877 -> 45 1.88/1.91 c BCD2: 21 <= obj <= 45 1.88/1.91 c BCD2: #cores=21, #unrelaxed=6626, #relaxed=869, #hardened=0 1.88/1.91 c BCD2: #sat=2 #unsat=22 bias=22/24 1.88/1.91 c Solving starts ... 1.88/1.91 c ============================[ Search Statistics ]============================ 1.88/1.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.88/1.91 c | | | | Limit GC | Var | Constra 1.88/1.91 c ============================================================================= 1.88/1.91 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8929 1.98/2.03 c 0.1s | 0 | 24609 | 30 | 21132 0 | 3443 | 8929 1.98/2.03 c #cpu_time = 0.110s 1.98/2.03 c #wall_clock_time = 0.110s 1.98/2.03 c #decision = 24609 1.98/2.03 c #random_decision = 5 1.98/2.03 c #conflict = 30 1.98/2.03 c #restart = 0 1.98/2.03 o 34 1.98/2.04 c BCD2: updating upper bound: 45 -> 33 1.98/2.07 c BCD2: 21 <= obj <= 33 1.98/2.07 c BCD2: #cores=21, #unrelaxed=6626, #relaxed=869, #hardened=0 1.98/2.07 c BCD2: #sat=3 #unsat=22 bias=22/25 1.98/2.07 c Solving starts ... 1.98/2.07 c ============================[ Search Statistics ]============================ 1.98/2.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.98/2.07 c | | | | Limit GC | Var | Constra 1.98/2.07 c ============================================================================= 1.98/2.07 c 0.0s | 0 | 0 | 0 | 21132 0 | 3443 | 8930 2.29/2.35 c 0.3s | 1 | 95147 | 100 | 23246 0 | 3443 | 8930 2.29/2.39 c 0.3s | 1 | 100144 | 103 | 23246 0 | 3443 | 8930 2.29/2.39 c #cpu_time = 0.314s 2.29/2.39 c #wall_clock_time = 0.315s 2.29/2.39 c #decision = 100144 2.29/2.39 c #random_decision = 1 2.29/2.39 c #conflict = 103 2.29/2.39 c #restart = 1 2.29/2.39 o 30 2.38/2.41 c BCD2: updating upper bound: 33 -> 29 2.38/2.43 c BCD2: 21 <= obj <= 29 2.38/2.43 c BCD2: #cores=21, #unrelaxed=6626, #relaxed=869, #hardened=0 2.38/2.43 c BCD2: #sat=4 #unsat=22 bias=22/26 2.38/2.43 c Solving starts ... 2.38/2.43 c ============================[ Search Statistics ]============================ 2.38/2.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.38/2.43 c | | | | Limit GC | Var | Constra 2.38/2.43 c ============================================================================= 2.38/2.43 c 0.0s | 0 | 0 | 0 | 23246 0 | 3443 | 8931 2.48/2.57 c 0.1s | 0 | 41830 | 36 | 23246 0 | 3443 | 8931 2.48/2.57 c #cpu_time = 0.135s 2.48/2.57 c #wall_clock_time = 0.136s 2.48/2.57 c #decision = 41830 2.48/2.57 c #random_decision = 0 2.48/2.57 c #conflict = 36 2.48/2.57 c #restart = 0 2.48/2.57 c BCD2: relaxing 62 and merging with 7 cores into a new core of size 180: cost of the new core is >=8 2.48/2.57 c lower bound updated to 22 2.48/2.58 c BCD2: 22 <= obj <= 29 2.48/2.58 c BCD2: #cores=15, #unrelaxed=6564, #relaxed=931, #hardened=0 2.48/2.58 c BCD2: #sat=4 #unsat=23 bias=23/27 2.48/2.58 c Solving starts ... 2.48/2.58 c ============================[ Search Statistics ]============================ 2.48/2.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.48/2.58 c | | | | Limit GC | Var | Constra 2.48/2.58 c ============================================================================= 2.48/2.58 c 0.0s | 0 | 0 | 0 | 23246 0 | 3467 | 8931 2.58/2.66 c 0.1s | 1 | 5374 | 100 | 25571 0 | 3467 | 8972 2.68/2.74 c 0.2s | 2 | 11046 | 250 | 25571 0 | 3467 | 8972 2.78/2.86 c 0.3s | 3 | 16992 | 475 | 28129 0 | 3467 | 8972 2.98/3.04 c 0.5s | 4 | 23683 | 813 | 30942 0 | 3467 | 8972 3.18/3.27 c 0.7s | 5 | 31180 | 1320 | 34037 0 | 3467 | 8972 3.58/3.66 c 1.1s | 6 | 44109 | 2081 | 37441 0 | 3467 | 8972 4.29/4.31 c 1.7s | 7 | 53133 | 3223 | 41186 0 | 3467 | 8972 5.18/5.28 c 2.7s | 8 | 66447 | 4936 | 45305 0 | 3467 | 8972 6.69/6.72 c 4.1s | 9 | 82456 | 7506 | 49836 0 | 3467 | 8972 8.68/8.72 c 6.1s | 9 | 103632 | 10606 | 49836 0 | 3467 | 8972 9.08/9.15 c 6.6s | 10 | 106779 | 11361 | 54820 0 | 3467 | 8972 11.09/11.18 c 8.6s | 10 | 125629 | 14561 | 54820 0 | 3467 | 8972 12.88/12.99 c 10.4s | 11 | 137347 | 17144 | 60303 0 | 3467 | 8972 14.98/15.01 c 12.4s | 11 | 154109 | 19944 | 60303 0 | 3467 | 8972 16.98/17.04 c 14.5s | 11 | 165022 | 22644 | 60303 0 | 3467 | 8972 18.98/19.08 c 16.5s | 11 | 176499 | 25344 | 60303 0 | 3467 | 8972 19.38/19.49 c 16.9s | 12 | 178903 | 25819 | 66334 0 | 3467 | 8972 21.49/21.51 c 18.9s | 12 | 194995 | 28419 | 66334 0 | 3467 | 8972 23.49/23.51 c 20.9s | 12 | 205752 | 30919 | 66334 0 | 3467 | 8972 25.49/25.52 c 22.9s | 12 | 215755 | 33319 | 66334 0 | 3467 | 8972 27.49/27.57 c 25.0s | 12 | 225688 | 35719 | 66334 0 | 3467 | 8972 29.59/29.62 c 27.0s | 12 | 234685 | 37919 | 66334 0 | 3467 | 8972 30.59/30.60 c 28.0s | 13 | 237732 | 38832 | 72968 0 | 3467 | 8972 32.59/32.67 c 30.1s | 13 | 249169 | 40732 | 72968 0 | 3467 | 8972 34.69/34.71 c 32.1s | 13 | 255614 | 42532 | 72968 0 | 3467 | 8972 36.79/36.80 c 34.2s | 13 | 261971 | 44132 | 72968 0 | 3467 | 8972 38.79/38.81 c 36.2s | 13 | 268090 | 45732 | 72968 0 | 3467 | 8972 40.88/40.92 c 38.3s | 13 | 274163 | 47432 | 72968 0 | 3467 | 8972 42.89/42.99 c 40.4s | 13 | 281230 | 49332 | 72968 0 | 3467 | 8972 44.98/45.02 c 42.4s | 13 | 287455 | 51132 | 72968 0 | 3467 | 8972 46.98/47.02 c 44.4s | 13 | 293777 | 52932 | 72968 0 | 3467 | 8972 48.98/49.05 c 46.5s | 13 | 300711 | 54632 | 72968 0 | 3467 | 8972 50.98/51.08 c 48.5s | 13 | 307870 | 56332 | 72968 0 | 3467 | 8972 53.08/53.14 c 50.6s | 13 | 313026 | 57632 | 72968 0 | 3467 | 8972 54.08/54.11 c 51.5s | 14 | 316198 | 58352 | 80265 0 | 3467 | 8972 56.09/56.12 c 53.5s | 14 | 324787 | 59552 | 80265 0 | 3467 | 8972 58.08/58.14 c 55.6s | 14 | 329490 | 60552 | 80265 0 | 3467 | 8972 60.18/60.25 c 57.7s | 14 | 334604 | 61452 | 80265 0 | 3467 | 8972 62.28/62.37 c 59.8s | 14 | 339690 | 62752 | 80265 0 | 3467 | 8972 64.48/64.52 c 61.9s | 14 | 345048 | 64252 | 80265 0 | 3467 | 8972 66.48/66.55 c 64.0s | 14 | 351216 | 65252 | 80265 0 | 3467 | 8972 68.58/68.68 c 66.1s | 14 | 356299 | 66652 | 80265 0 | 3467 | 8972 70.68/70.74 c 68.2s | 14 | 361989 | 67952 | 80265 0 | 3467 | 8972 72.78/72.80 c 70.2s | 14 | 366400 | 69152 | 80265 0 | 3467 | 8972 74.79/74.89 c 72.3s | 14 | 371416 | 70452 | 80265 0 | 3467 | 8972 76.99/77.04 c 74.5s | 14 | 376825 | 71752 | 80265 0 | 3467 | 8972 79.08/79.12 c 76.5s | 14 | 382906 | 73052 | 80265 0 | 3467 | 8972 81.18/81.26 c 78.7s | 14 | 388116 | 74152 | 80265 0 | 3467 | 8972 83.28/83.31 c 80.7s | 14 | 392520 | 75352 | 80265 0 | 3467 | 8972 85.38/85.40 c 82.8s | 14 | 396235 | 76452 | 80265 0 | 3467 | 8972 87.48/87.56 c 85.0s | 14 | 401424 | 77752 | 80265 0 | 3467 | 8972 89.68/89.70 c 87.1s | 14 | 405488 | 78952 | 80265 0 | 3467 | 8972 91.78/91.81 c 89.2s | 14 | 409774 | 80252 | 80265 0 | 3467 | 8972 93.87/93.97 c 91.4s | 14 | 413891 | 81352 | 80265 0 | 3467 | 8972 96.17/96.21 c 93.6s | 14 | 418459 | 82452 | 80265 0 | 3467 | 8972 98.27/98.34 c 95.8s | 14 | 422366 | 83352 | 80265 0 | 3467 | 8972 100.47/100.54 c 98.0s | 14 | 425586 | 84152 | 80265 0 | 3467 | 8972 102.67/102.76 c 100s | 14 | 430308 | 85252 | 80265 0 | 3467 | 8972 104.97/105.01 c 102s | 14 | 434916 | 86252 | 80265 0 | 3467 | 8972 106.97/107.04 c 104s | 14 | 438770 | 87252 | 88292 0 | 3467 | 8972 107.67/107.77 c 105s | 15 | 440154 | 87632 | 88292 0 | 3467 | 8972 109.67/109.78 c 107s | 15 | 448436 | 88532 | 88292 0 | 3467 | 8972 111.87/111.95 c 109s | 15 | 451619 | 89632 | 88292 0 | 3467 | 8972 113.97/114.06 c 111s | 15 | 456542 | 90932 | 88292 0 | 3467 | 8972 116.07/116.14 c 113s | 15 | 460893 | 92132 | 88292 0 | 3467 | 8972 118.07/118.16 c 115s | 15 | 467425 | 93532 | 88292 0 | 3467 | 8972 120.17/120.25 c 117s | 15 | 472660 | 94932 | 88292 0 | 3467 | 8972 122.27/122.33 c 119s | 15 | 478851 | 96332 | 88292 0 | 3467 | 8972 124.38/124.46 c 121s | 15 | 484440 | 97632 | 88292 0 | 3467 | 8972 126.48/126.58 c 124s | 15 | 489927 | 98832 | 88292 0 | 3467 | 8972 128.57/128.65 c 126s | 15 | 494956 | 100032 | 88292 0 | 3467 | 8972 130.57/130.66 c 128s | 15 | 498495 | 100932 | 88292 0 | 3467 | 8972 133.07/133.17 c 130s | 15 | 502128 | 101732 | 88292 1 | 3467 | 8972 139.16/139.25 c 136s | 15 | 503483 | 102032 | 88292 1 | 3467 | 8972 141.36/141.43 c 138s | 15 | 508812 | 103532 | 88292 1 | 3467 | 8972 143.36/143.49 c 140s | 15 | 516485 | 105632 | 88292 1 | 3467 | 8972 145.46/145.59 c 143s | 15 | 523722 | 107432 | 88292 1 | 3467 | 8972 147.56/147.62 c 145s | 15 | 531020 | 108832 | 88292 1 | 3467 | 8972 149.57/149.69 c 147s | 15 | 538918 | 110532 | 88292 1 | 3467 | 8972 151.77/151.83 c 149s | 15 | 544602 | 111932 | 88292 1 | 3467 | 8972 153.86/153.93 c 151s | 15 | 550477 | 113432 | 88292 1 | 3467 | 8972 155.96/156.05 c 153s | 15 | 555384 | 114932 | 88292 1 | 3467 | 8972 158.06/158.12 c 155s | 15 | 561467 | 116432 | 88292 1 | 3467 | 8972 160.06/160.16 c 157s | 15 | 566253 | 117832 | 88292 1 | 3467 | 8972 162.06/162.19 c 159s | 15 | 571885 | 119032 | 88292 1 | 3467 | 8972 164.16/164.21 c 161s | 15 | 577417 | 120432 | 88292 1 | 3467 | 8972 166.17/166.25 c 163s | 15 | 582355 | 121732 | 88292 1 | 3467 | 8972 168.16/168.26 c 165s | 15 | 585702 | 122732 | 88292 1 | 3467 | 8972 170.26/170.31 c 167s | 15 | 588298 | 123432 | 88292 1 | 3467 | 8972 173.26/173.30 c 170s | 15 | 589014 | 123632 | 88292 1 | 3467 | 8972 175.26/175.35 c 172s | 15 | 593223 | 124732 | 88292 1 | 3467 | 8972 177.26/177.37 c 174s | 15 | 597253 | 125832 | 88292 1 | 3467 | 8972 179.46/179.55 c 176s | 15 | 601917 | 127032 | 88292 1 | 3467 | 8972 181.57/181.63 c 179s | 15 | 606282 | 128232 | 88292 1 | 3467 | 8972 183.56/183.69 c 181s | 15 | 610514 | 129132 | 88292 1 | 3467 | 8972 185.76/185.85 c 183s | 15 | 613403 | 130032 | 88292 1 | 3467 | 8972 187.76/187.85 c 185s | 15 | 616423 | 131032 | 97122 1 | 3467 | 8972 188.86/188.96 c 186s | 16 | 618334 | 131552 | 97122 1 | 3467 | 8972 191.16/191.23 c 188s | 16 | 626510 | 132352 | 97122 1 | 3467 | 8972 193.26/193.35 c 190s | 16 | 630256 | 133152 | 97122 1 | 3467 | 8972 195.46/195.51 c 192s | 16 | 634099 | 134052 | 97122 1 | 3467 | 8972 197.56/197.68 c 195s | 16 | 637697 | 134852 | 97122 1 | 3467 | 8972 199.66/199.78 c 197s | 16 | 641413 | 135752 | 97122 1 | 3467 | 8972 201.76/201.84 c 199s | 16 | 644914 | 136552 | 97122 1 | 3467 | 8972 203.86/203.98 c 201s | 16 | 648472 | 137452 | 97122 1 | 3467 | 8972 206.06/206.17 c 203s | 16 | 651227 | 138252 | 97122 1 | 3467 | 8972 208.26/208.39 c 205s | 16 | 654401 | 139052 | 97122 1 | 3467 | 8972 210.66/210.77 c 208s | 16 | 657066 | 139752 | 97122 1 | 3467 | 8972 212.76/212.87 c 210s | 16 | 658958 | 140452 | 97122 1 | 3467 | 8972 214.86/214.98 c 212s | 16 | 661566 | 141052 | 97122 1 | 3467 | 8972 216.96/217.02 c 214s | 16 | 663695 | 141552 | 97122 1 | 3467 | 8972 218.96/219.08 c 216s | 16 | 665537 | 142252 | 97122 1 | 3467 | 8972 221.06/221.15 c 218s | 16 | 667948 | 142952 | 97122 1 | 3467 | 8972 223.26/223.32 c 220s | 16 | 671128 | 143852 | 97122 1 | 3467 | 8972 225.65/225.76 c 223s | 16 | 674413 | 144752 | 97122 1 | 3467 | 8972 228.05/228.15 c 225s | 16 | 677277 | 145352 | 97122 1 | 3467 | 8972 230.15/230.29 c 227s | 16 | 679734 | 145952 | 97122 1 | 3467 | 8972 232.35/232.43 c 229s | 16 | 682411 | 146752 | 97122 1 | 3467 | 8972 234.45/234.53 c 231s | 16 | 684468 | 147352 | 97122 1 | 3467 | 8972 236.65/236.78 c 234s | 16 | 687105 | 148052 | 97122 1 | 3467 | 8972 238.85/238.94 c 236s | 16 | 688875 | 148652 | 97122 1 | 3467 | 8972 240.86/240.99 c 238s | 16 | 690751 | 149152 | 97122 1 | 3467 | 8972 242.85/242.99 c 240s | 16 | 692649 | 149852 | 97122 1 | 3467 | 8972 245.05/245.19 c 242s | 16 | 695225 | 150552 | 97122 1 | 3467 | 8972 247.46/247.51 c 244s | 16 | 697701 | 151252 | 97122 1 | 3467 | 8972 249.45/249.56 c 246s | 16 | 700110 | 151952 | 97122 1 | 3467 | 8972 251.65/251.70 c 249s | 16 | 702418 | 152652 | 97122 1 | 3467 | 8972 253.85/253.90 c 251s | 16 | 704349 | 153452 | 97122 1 | 3467 | 8972 255.95/256.07 c 253s | 16 | 706449 | 154252 | 97122 1 | 3467 | 8972 258.25/258.31 c 255s | 16 | 709257 | 155052 | 97122 1 | 3467 | 8972 260.35/260.42 c 257s | 16 | 711935 | 155852 | 97122 1 | 3467 | 8972 276.95/277.02 c 274s | 16 | 713671 | 156452 | 97122 1 | 3467 | 8972 279.15/279.22 c 276s | 16 | 717365 | 157352 | 97122 1 | 3467 | 8972 281.25/281.37 c 278s | 16 | 720569 | 158152 | 97122 1 | 3467 | 8972 283.45/283.55 c 280s | 16 | 723508 | 158852 | 97122 1 | 3467 | 8972 285.55/285.60 c 283s | 16 | 725920 | 159352 | 97122 1 | 3467 | 8972 287.55/287.62 c 285s | 16 | 729336 | 160052 | 97122 1 | 3467 | 8972 289.65/289.71 c 287s | 16 | 732254 | 160752 | 97122 1 | 3467 | 8972 291.85/291.96 c 289s | 16 | 734006 | 161252 | 97122 1 | 3467 | 8972 295.85/295.98 c 293s | 16 | 735261 | 161552 | 97122 2 | 3467 | 8972 302.74/302.89 c 300s | 16 | 735679 | 161652 | 97122 2 | 3467 | 8972 304.84/304.94 c 302s | 16 | 736920 | 161952 | 97122 2 | 3467 | 8972 306.95/307.01 c 304s | 16 | 740773 | 162952 | 97122 2 | 3467 | 8972 308.94/309.02 c 306s | 16 | 744928 | 163952 | 97122 2 | 3467 | 8972 315.24/315.30 c 312s | 16 | 747986 | 164752 | 97122 2 | 3467 | 8972 321.63/321.73 c 319s | 16 | 750363 | 165252 | 97122 2 | 3467 | 8972 323.64/323.74 c 321s | 16 | 756227 | 166652 | 97122 2 | 3467 | 8972 325.74/325.83 c 323s | 16 | 762590 | 168052 | 97122 2 | 3467 | 8972 327.85/327.93 c 325s | 16 | 768865 | 169452 | 97122 2 | 3467 | 8972 329.95/330.06 c 327s | 16 | 774594 | 170752 | 97122 2 | 3467 | 8972 331.94/332.09 c 329s | 16 | 782133 | 172152 | 97122 2 | 3467 | 8972 334.14/334.22 c 331s | 16 | 789556 | 173652 | 97122 2 | 3467 | 8972 336.14/336.26 c 333s | 16 | 795559 | 175052 | 97122 2 | 3467 | 8972 338.24/338.32 c 335s | 16 | 800384 | 176252 | 97122 2 | 3467 | 8972 340.24/340.37 c 337s | 16 | 805135 | 177352 | 97122 2 | 3467 | 8972 342.24/342.38 c 339s | 16 | 810294 | 178652 | 97122 2 | 3467 | 8972 344.35/344.46 c 341s | 16 | 815676 | 179952 | 97122 2 | 3467 | 8972 346.55/346.62 c 344s | 16 | 820832 | 181152 | 97122 2 | 3467 | 8972 348.54/348.66 c 346s | 16 | 826178 | 182352 | 97122 2 | 3467 | 8972 350.54/350.67 c 348s | 16 | 833780 | 183952 | 97122 2 | 3467 | 8972 352.64/352.77 c 350s | 16 | 839566 | 185252 | 97122 2 | 3467 | 8972 355.04/355.12 c 352s | 16 | 845176 | 186452 | 97122 2 | 3467 | 8972 357.14/357.27 c 354s | 16 | 849093 | 187452 | 97122 2 | 3467 | 8972 359.24/359.35 c 356s | 16 | 853229 | 188452 | 97122 2 | 3467 | 8972 361.34/361.43 c 358s | 16 | 856965 | 189552 | 97122 2 | 3467 | 8972 363.34/363.44 c 360s | 16 | 859650 | 190352 | 97122 2 | 3467 | 8972 365.54/365.61 c 363s | 16 | 864712 | 191452 | 97122 2 | 3467 | 8972 367.64/367.72 c 365s | 16 | 869078 | 192352 | 97122 2 | 3467 | 8972 369.73/369.81 c 367s | 16 | 874421 | 193452 | 97122 2 | 3467 | 8972 371.74/371.89 c 369s | 16 | 877866 | 194252 | 97122 2 | 3467 | 8972 373.83/373.99 c 371s | 16 | 882626 | 195352 | 97122 2 | 3467 | 8972 376.03/376.12 c 373s | 16 | 887008 | 196452 | 106835 2 | 3467 | 8972 378.03/378.10 c 375s | 17 | 890758 | 197432 | 106835 2 | 3467 | 8972 380.03/380.19 c 377s | 17 | 900307 | 198732 | 106835 2 | 3467 | 8972 382.23/382.37 c 379s | 17 | 904795 | 199932 | 106835 2 | 3467 | 8972 384.33/384.40 c 381s | 17 | 908811 | 200832 | 106835 2 | 3467 | 8972 386.33/386.41 c 383s | 17 | 912321 | 201832 | 106835 2 | 3467 | 8972 388.53/388.64 c 386s | 17 | 915469 | 202932 | 106835 2 | 3467 | 8972 390.54/390.68 c 388s | 17 | 917867 | 203832 | 106835 2 | 3467 | 8972 392.74/392.80 c 390s | 17 | 921432 | 205032 | 106835 2 | 3467 | 8972 394.73/394.86 c 392s | 17 | 924580 | 206032 | 106835 2 | 3467 | 8972 397.14/397.22 c 394s | 17 | 927870 | 207032 | 106835 2 | 3467 | 8972 399.24/399.35 c 396s | 17 | 930231 | 207632 | 106835 2 | 3467 | 8972 401.44/401.50 c 398s | 17 | 932758 | 208332 | 106835 2 | 3467 | 8972 403.53/403.68 c 401s | 17 | 935480 | 209132 | 106835 2 | 3467 | 8972 405.53/405.69 c 403s | 17 | 938192 | 209932 | 106835 2 | 3467 | 8972 407.73/407.87 c 405s | 17 | 941890 | 211032 | 106835 2 | 3467 | 8972 409.83/409.97 c 407s | 17 | 946690 | 212332 | 106835 2 | 3467 | 8972 412.13/412.21 c 409s | 17 | 949929 | 213332 | 106835 2 | 3467 | 8972 414.23/414.32 c 411s | 17 | 955891 | 213932 | 106835 2 | 3467 | 8972 416.33/416.48 c 413s | 17 | 959515 | 214632 | 106835 2 | 3467 | 8972 418.53/418.68 c 416s | 17 | 962975 | 215332 | 106835 2 | 3467 | 8972 420.93/421.01 c 418s | 17 | 965942 | 216132 | 106835 2 | 3467 | 8972 422.93/423.08 c 420s | 17 | 968288 | 217032 | 106835 2 | 3467 | 8972 425.13/425.27 c 422s | 17 | 971887 | 217832 | 106835 2 | 3467 | 8972 427.33/427.40 c 424s | 17 | 975582 | 218832 | 106835 2 | 3467 | 8972 429.33/429.42 c 426s | 17 | 979664 | 219732 | 106835 2 | 3467 | 8972 431.33/431.45 c 428s | 17 | 983141 | 220732 | 106835 2 | 3467 | 8972 433.43/433.59 c 431s | 17 | 987991 | 222032 | 106835 2 | 3467 | 8972 435.42/435.60 c 433s | 17 | 992971 | 223232 | 106835 2 | 3467 | 8972 437.62/437.78 c 435s | 17 | 996648 | 224432 | 106835 2 | 3467 | 8972 439.72/439.86 c 437s | 17 | 1000718 | 225432 | 106835 2 | 3467 | 8972 441.92/442.05 c 439s | 17 | 1005277 | 226432 | 106835 3 | 3467 | 8972 443.92/444.05 c 441s | 17 | 1007355 | 226832 | 106835 3 | 3467 | 8972 447.63/447.77 c 445s | 17 | 1010149 | 227432 | 106835 3 | 3467 | 8972 449.72/449.81 c 447s | 17 | 1015169 | 228832 | 106835 3 | 3467 | 8972 451.72/451.86 c 449s | 17 | 1019344 | 230232 | 106835 3 | 3467 | 8972 453.82/453.94 c 451s | 17 | 1025130 | 231832 | 106835 3 | 3467 | 8972 455.92/456.06 c 453s | 17 | 1030061 | 233232 | 106835 3 | 3467 | 8972 458.02/458.19 c 455s | 17 | 1034138 | 234532 | 106835 3 | 3467 | 8972 460.22/460.32 c 457s | 17 | 1038622 | 235832 | 106835 3 | 3467 | 8972 465.23/465.39 c 462s | 17 | 1039215 | 236032 | 106835 3 | 3467 | 8972 467.71/467.89 c 465s | 17 | 1039745 | 236132 | 106835 3 | 3467 | 8972 486.22/486.33 c 483s | 17 | 1040384 | 236332 | 106835 3 | 3467 | 8972 490.62/490.71 c 488s | 17 | 1040776 | 236432 | 106835 3 | 3467 | 8972 492.72/492.84 c 490s | 17 | 1045517 | 237732 | 106835 3 | 3467 | 8972 494.71/494.86 c 492s | 17 | 1049500 | 238932 | 106835 3 | 3467 | 8972 496.81/496.95 c 494s | 17 | 1052394 | 239832 | 106835 3 | 3467 | 8972 498.91/499.05 c 496s | 17 | 1056761 | 241132 | 106835 3 | 3467 | 8972 501.01/501.15 c 498s | 17 | 1060249 | 242332 | 106835 3 | 3467 | 8972 503.11/503.29 c 500s | 17 | 1064125 | 243532 | 106835 3 | 3467 | 8972 505.21/505.35 c 502s | 17 | 1068306 | 244732 | 106835 3 | 3467 | 8972 507.21/507.38 c 504s | 17 | 1072729 | 245932 | 106835 3 | 3467 | 8972 509.32/509.42 c 506s | 17 | 1076391 | 246932 | 106835 3 | 3467 | 8972 511.42/511.57 c 508s | 17 | 1079795 | 248032 | 106835 3 | 3467 | 8972 513.51/513.68 c 511s | 17 | 1082733 | 249032 | 106835 3 | 3467 | 8972 515.61/515.73 c 513s | 17 | 1085654 | 249932 | 106835 3 | 3467 | 8972 517.71/517.83 c 515s | 17 | 1088880 | 250932 | 106835 3 | 3467 | 8972 520.01/520.10 c 517s | 17 | 1092600 | 251932 | 106835 3 | 3467 | 8972 522.21/522.31 c 519s | 17 | 1094722 | 252832 | 106835 3 | 3467 | 8972 524.21/524.34 c 521s | 17 | 1098967 | 253932 | 106835 3 | 3467 | 8972 526.31/526.46 c 523s | 17 | 1103253 | 255132 | 106835 3 | 3467 | 8972 528.41/528.53 c 525s | 17 | 1106995 | 256232 | 106835 3 | 3467 | 8972 530.51/530.60 c 528s | 17 | 1111201 | 257332 | 106835 3 | 3467 | 8972 532.61/532.70 c 530s | 17 | 1115500 | 258432 | 106835 3 | 3467 | 8972 534.71/534.87 c 532s | 17 | 1119368 | 259432 | 106835 3 | 3467 | 8972 536.91/537.00 c 534s | 17 | 1123942 | 260332 | 106835 3 | 3467 | 8972 538.91/539.02 c 536s | 17 | 1128038 | 261332 | 106835 3 | 3467 | 8972 540.91/541.04 c 538s | 17 | 1134461 | 262532 | 106835 3 | 3467 | 8972 543.10/543.29 c 540s | 17 | 1140790 | 263932 | 106835 3 | 3467 | 8972 545.40/545.50 c 542s | 17 | 1146010 | 265032 | 106835 3 | 3467 | 8972 547.40/547.54 c 544s | 17 | 1147987 | 265532 | 106835 3 | 3467 | 8972 549.50/549.69 c 547s | 17 | 1151187 | 266132 | 106835 3 | 3467 | 8972 551.60/551.71 c 549s | 17 | 1156426 | 267232 | 106835 3 | 3467 | 8972 553.60/553.76 c 551s | 17 | 1159245 | 267832 | 106835 3 | 3467 | 8972 555.80/555.93 c 553s | 17 | 1164422 | 268932 | 106835 3 | 3467 | 8972 557.80/557.99 c 555s | 17 | 1169206 | 270132 | 106835 3 | 3467 | 8972 560.10/560.20 c 557s | 17 | 1173829 | 271332 | 106835 3 | 3467 | 8972 562.30/562.42 c 559s | 17 | 1178196 | 272432 | 106835 3 | 3467 | 8972 564.50/564.63 c 562s | 17 | 1181052 | 273432 | 106835 3 | 3467 | 8972 566.70/566.82 c 564s | 17 | 1184393 | 274332 | 106835 3 | 3467 | 8972 568.90/569.00 c 566s | 17 | 1187813 | 275232 | 106835 3 | 3467 | 8972 570.91/571.03 c 568s | 17 | 1191416 | 276232 | 106835 3 | 3467 | 8972 572.90/573.03 c 570s | 17 | 1195417 | 277232 | 106835 3 | 3467 | 8972 574.90/575.07 c 572s | 17 | 1199106 | 278232 | 106835 3 | 3467 | 8972 577.00/577.15 c 574s | 17 | 1203872 | 279332 | 106835 3 | 3467 | 8972 579.10/579.24 c 576s | 17 | 1207715 | 280432 | 106835 3 | 3467 | 8972 581.20/581.37 c 578s | 17 | 1211800 | 281532 | 106835 3 | 3467 | 8972 583.40/583.58 c 580s | 17 | 1214695 | 282432 | 106835 3 | 3467 | 8972 585.50/585.63 c 583s | 17 | 1218640 | 283532 | 106835 3 | 3467 | 8972 587.60/587.72 c 585s | 17 | 1222550 | 284632 | 106835 3 | 3467 | 8972 589.70/589.84 c 587s | 17 | 1226558 | 285732 | 106835 3 | 3467 | 8972 591.80/591.96 c 589s | 17 | 1229937 | 286732 | 106835 3 | 3467 | 8972 605.00/605.16 c 602s | 17 | 1233515 | 287632 | 106835 4 | 3467 | 8972 607.10/607.28 c 604s | 17 | 1238081 | 288932 | 106835 4 | 3467 | 8972 609.19/609.39 c 606s | 17 | 1239247 | 289232 | 106835 4 | 3467 | 8972 611.29/611.45 c 608s | 17 | 1245459 | 290832 | 106835 4 | 3467 | 8972 613.39/613.50 c 610s | 17 | 1250429 | 292332 | 106835 4 | 3467 | 8972 615.39/615.54 c 612s | 17 | 1255817 | 293732 | 106835 4 | 3467 | 8972 617.49/617.60 c 615s | 17 | 1262580 | 295332 | 117519 4 | 3467 | 8972 618.59/618.78 c 616s | 18 | 1265729 | 296252 | 117519 4 | 3467 | 8972 620.59/620.78 c 618s | 18 | 1275317 | 297552 | 117519 4 | 3467 | 8972 622.69/622.84 c 620s | 18 | 1280320 | 298952 | 117519 4 | 3467 | 8972 624.80/624.91 c 622s | 18 | 1285416 | 300352 | 117519 4 | 3467 | 8972 626.90/627.05 c 624s | 18 | 1288853 | 301552 | 117519 4 | 3467 | 8972 629.10/629.22 c 626s | 18 | 1293480 | 302852 | 117519 4 | 3467 | 8972 631.09/631.28 c 628s | 18 | 1297693 | 304052 | 117519 4 | 3467 | 8972 633.19/633.30 c 630s | 18 | 1301169 | 305152 | 117519 4 | 3467 | 8972 635.29/635.41 c 632s | 18 | 1305764 | 306452 | 117519 4 | 3467 | 8972 667.88/668.09 c 665s | 18 | 1306608 | 306752 | 117519 4 | 3467 | 8972 670.08/670.23 c 667s | 18 | 1312340 | 308152 | 117519 4 | 3467 | 8972 672.18/672.37 c 669s | 18 | 1315526 | 309152 | 117519 4 | 3467 | 8972 674.29/674.43 c 671s | 18 | 1320471 | 310252 | 117519 4 | 3467 | 8972 676.39/676.52 c 673s | 18 | 1324358 | 311452 | 117519 4 | 3467 | 8972 678.39/678.59 c 676s | 18 | 1329004 | 312752 | 117519 4 | 3467 | 8972 680.49/680.63 c 678s | 18 | 1334441 | 314052 | 117519 4 | 3467 | 8972 682.49/682.64 c 680s | 18 | 1339525 | 315352 | 117519 4 | 3467 | 8972 684.59/684.71 c 682s | 18 | 1344311 | 316552 | 117519 4 | 3467 | 8972 686.69/686.81 c 684s | 18 | 1349989 | 317852 | 117519 4 | 3467 | 8972 688.79/688.95 c 686s | 18 | 1355924 | 319052 | 117519 4 | 3467 | 8972 690.89/691.03 c 688s | 18 | 1360957 | 320252 | 117519 4 | 3467 | 8972 692.99/693.18 c 690s | 18 | 1365790 | 321452 | 117519 4 | 3467 | 8972 695.09/695.26 c 692s | 18 | 1370614 | 322552 | 117519 4 | 3467 | 8972 697.29/697.45 c 694s | 18 | 1375052 | 323752 | 117519 4 | 3467 | 8972 699.28/699.49 c 696s | 18 | 1378911 | 324652 | 117519 4 | 3467 | 8972 701.48/701.63 c 699s | 18 | 1382656 | 325652 | 117519 4 | 3467 | 8972 703.48/703.66 c 701s | 18 | 1384939 | 326352 | 117519 4 | 3467 | 8972 705.68/705.88 c 703s | 18 | 1388600 | 327252 | 117519 4 | 3467 | 8972 707.78/707.94 c 705s | 18 | 1392193 | 328152 | 117519 4 | 3467 | 8972 709.88/710.09 c 707s | 18 | 1396518 | 329152 | 117519 4 | 3467 | 8972 712.08/712.26 c 709s | 18 | 1399572 | 329952 | 117519 4 | 3467 | 8972 714.28/714.45 c 711s | 18 | 1403812 | 330952 | 117519 4 | 3467 | 8972 716.38/716.51 c 713s | 18 | 1406530 | 331752 | 117519 4 | 3467 | 8972 718.48/718.62 c 716s | 18 | 1410192 | 332652 | 117519 4 | 3467 | 8972 720.68/720.81 c 718s | 18 | 1413792 | 333552 | 117519 4 | 3467 | 8972 722.69/722.84 c 720s | 18 | 1416229 | 334252 | 117519 4 | 3467 | 8972 724.89/725.02 c 722s | 18 | 1419201 | 335152 | 117519 4 | 3467 | 8972 726.88/727.03 c 724s | 18 | 1422156 | 335952 | 117519 4 | 3467 | 8972 729.08/729.26 c 726s | 18 | 1425864 | 336952 | 117519 4 | 3467 | 8972 731.18/731.37 c 728s | 18 | 1429342 | 337752 | 117519 4 | 3467 | 8972 733.28/733.43 c 730s | 18 | 1432063 | 338652 | 117519 4 | 3467 | 8972 735.48/735.68 c 733s | 18 | 1435635 | 339552 | 117519 4 | 3467 | 8972 737.68/737.89 c 735s | 18 | 1439232 | 340452 | 117519 4 | 3467 | 8972 739.78/739.93 c 737s | 18 | 1440776 | 341052 | 117519 4 | 3467 | 8972 741.98/742.17 c 739s | 18 | 1442479 | 341652 | 117519 4 | 3467 | 8972 744.28/744.45 c 741s | 18 | 1443875 | 342252 | 117519 4 | 3467 | 8972 746.48/746.61 c 744s | 18 | 1447142 | 342852 | 117519 4 | 3467 | 8972 748.58/748.74 c 746s | 18 | 1449731 | 343452 | 117519 4 | 3467 | 8972 750.58/750.76 c 748s | 18 | 1451002 | 343952 | 117519 4 | 3467 | 8972 752.88/753.07 c 750s | 18 | 1453988 | 344652 | 117519 4 | 3467 | 8972 755.28/755.45 c 752s | 18 | 1456909 | 345352 | 117519 4 | 3467 | 8972 757.38/757.53 c 754s | 18 | 1459620 | 346052 | 117519 4 | 3467 | 8972 759.58/759.75 c 757s | 18 | 1461945 | 346752 | 117519 4 | 3467 | 8972 761.78/761.90 c 759s | 18 | 1464517 | 347452 | 117519 4 | 3467 | 8972 763.87/764.08 c 761s | 18 | 1466269 | 348052 | 117519 4 | 3467 | 8972 766.07/766.29 c 763s | 18 | 1468317 | 348652 | 117519 4 | 3467 | 8972 768.17/768.32 c 765s | 18 | 1470646 | 349252 | 117519 4 | 3467 | 8972 770.27/770.46 c 767s | 18 | 1472929 | 349852 | 117519 4 | 3467 | 8972 772.57/772.72 c 770s | 18 | 1475772 | 350552 | 117519 4 | 3467 | 8972 774.77/774.97 c 772s | 18 | 1478584 | 351252 | 117519 4 | 3467 | 8972 776.97/777.19 c 774s | 18 | 1481042 | 352052 | 117519 4 | 3467 | 8972 778.97/779.19 c 776s | 18 | 1483735 | 352752 | 117519 4 | 3467 | 8972 781.37/781.52 c 778s | 18 | 1486654 | 353552 | 117519 4 | 3467 | 8972 783.67/783.85 c 781s | 18 | 1490341 | 354452 | 117519 4 | 3467 | 8972 785.77/785.99 c 783s | 18 | 1492518 | 355152 | 117519 4 | 3467 | 8972 788.17/788.33 c 785s | 18 | 1495220 | 355852 | 117519 4 | 3467 | 8972 790.17/790.39 c 787s | 18 | 1497338 | 356352 | 117519 4 | 3467 | 8972 792.27/792.49 c 789s | 18 | 1499832 | 357052 | 117519 4 | 3467 | 8972 794.47/794.63 c 792s | 18 | 1502326 | 357652 | 117519 4 | 3467 | 8972 810.26/810.48 c 807s | 18 | 1503441 | 357952 | 117519 5 | 3467 | 8972 812.97/813.18 c 810s | 18 | 1504119 | 358152 | 117519 5 | 3467 | 8972 815.97/816.12 c 813s | 18 | 1505674 | 358552 | 117519 5 | 3467 | 8972 818.06/818.22 c 815s | 18 | 1509898 | 359852 | 117519 5 | 3467 | 8972 820.06/820.26 c 817s | 18 | 1514812 | 361152 | 117519 5 | 3467 | 8972 822.16/822.37 c 819s | 18 | 1519517 | 362452 | 117519 5 | 3467 | 8972 824.26/824.49 c 821s | 18 | 1524839 | 363652 | 117519 5 | 3467 | 8972 826.56/826.72 c 824s | 18 | 1532969 | 364852 | 117519 5 | 3467 | 8972 828.56/828.74 c 826s | 18 | 1540809 | 365952 | 117519 5 | 3467 | 8972 830.56/830.79 c 828s | 18 | 1545405 | 367052 | 117519 5 | 3467 | 8972 832.76/832.94 c 830s | 18 | 1550268 | 368352 | 117519 5 | 3467 | 8972 834.87/835.01 c 832s | 18 | 1554349 | 369552 | 117519 5 | 3467 | 8972 836.86/837.02 c 834s | 18 | 1558651 | 370752 | 117519 5 | 3467 | 8972 844.96/845.10 c 842s | 18 | 1561339 | 371252 | 117519 5 | 3467 | 8972 846.97/847.19 c 844s | 18 | 1567381 | 372652 | 117519 5 | 3467 | 8972 849.07/849.28 c 846s | 18 | 1572195 | 373952 | 117519 5 | 3467 | 8972 851.16/851.31 c 848s | 18 | 1576899 | 375152 | 117519 5 | 3467 | 8972 853.15/853.36 c 850s | 18 | 1581878 | 376552 | 117519 5 | 3467 | 8972 855.25/855.40 c 852s | 18 | 1586761 | 377952 | 117519 5 | 3467 | 8972 857.25/857.45 c 854s | 18 | 1590763 | 379152 | 117519 5 | 3467 | 8972 859.35/859.56 c 856s | 18 | 1596455 | 380452 | 117519 5 | 3467 | 8972 861.45/861.69 c 859s | 18 | 1601597 | 381852 | 117519 5 | 3467 | 8972 863.55/863.78 c 861s | 18 | 1606195 | 383052 | 117519 5 | 3467 | 8972 865.75/865.91 c 863s | 18 | 1610274 | 384052 | 117519 5 | 3467 | 8972 867.76/867.94 c 865s | 18 | 1614044 | 384952 | 117519 5 | 3467 | 8972 869.85/870.08 c 867s | 18 | 1618607 | 386252 | 117519 5 | 3467 | 8972 871.85/872.09 c 869s | 18 | 1623881 | 387652 | 117519 5 | 3467 | 8972 873.95/874.11 c 871s | 18 | 1627744 | 388752 | 117519 5 | 3467 | 8972 875.95/876.12 c 873s | 18 | 1632837 | 390052 | 117519 5 | 3467 | 8972 877.95/878.12 c 875s | 18 | 1637511 | 391352 | 117519 5 | 3467 | 8972 880.05/880.27 c 877s | 18 | 1642795 | 392752 | 117519 5 | 3467 | 8972 882.15/882.39 c 879s | 18 | 1647481 | 394052 | 117519 5 | 3467 | 8972 884.25/884.45 c 881s | 18 | 1651047 | 394952 | 117519 5 | 3467 | 8972 886.34/886.54 c 883s | 18 | 1654666 | 396152 | 117519 5 | 3467 | 8972 888.34/888.57 c 885s | 18 | 1663812 | 397052 | 117519 5 | 3467 | 8972 890.44/890.65 c 888s | 18 | 1668071 | 398152 | 117519 5 | 3467 | 8972 892.54/892.77 c 890s | 18 | 1673066 | 399152 | 117519 5 | 3467 | 8972 908.94/909.10 c 906s | 18 | 1676420 | 400052 | 117519 5 | 3467 | 8972 910.94/911.14 c 908s | 18 | 1682172 | 401252 | 117519 5 | 3467 | 8972 913.14/913.33 c 910s | 18 | 1687326 | 402552 | 117519 5 | 3467 | 8972 915.24/915.44 c 912s | 18 | 1691836 | 403852 | 117519 5 | 3467 | 8972 917.34/917.59 c 915s | 18 | 1695592 | 404852 | 117519 5 | 3467 | 8972 919.44/919.67 c 917s | 18 | 1699518 | 405852 | 117519 5 | 3467 | 8972 921.44/921.69 c 919s | 18 | 1703847 | 406952 | 117519 5 | 3467 | 8972 923.63/923.89 c 921s | 18 | 1708915 | 408052 | 117519 5 | 3467 | 8972 925.83/926.08 c 923s | 18 | 1713078 | 409052 | 117519 5 | 3467 | 8972 927.93/928.17 c 925s | 18 | 1716790 | 410052 | 117519 5 | 3467 | 8972 930.03/930.24 c 927s | 18 | 1720900 | 411152 | 117519 5 | 3467 | 8972 932.13/932.32 c 929s | 18 | 1725343 | 412252 | 117519 5 | 3467 | 8972 934.13/934.39 c 931s | 18 | 1729307 | 413352 | 117519 5 | 3467 | 8972 936.33/936.54 c 933s | 18 | 1733183 | 414252 | 117519 5 | 3467 | 8972 938.43/938.64 c 936s | 18 | 1737653 | 415352 | 117519 5 | 3467 | 8972 940.43/940.69 c 938s | 18 | 1742071 | 416452 | 117519 5 | 3467 | 8972 942.53/942.76 c 940s | 18 | 1745972 | 417452 | 117519 5 | 3467 | 8972 944.73/944.92 c 942s | 18 | 1749285 | 418452 | 117519 5 | 3467 | 8972 948.72/948.95 c 946s | 18 | 1750067 | 418652 | 117519 5 | 3467 | 8972 950.82/951.08 c 948s | 18 | 1753602 | 419652 | 117519 5 | 3467 | 8972 953.11/953.32 c 950s | 18 | 1758443 | 420652 | 117519 5 | 3467 | 8972 955.21/955.41 c 952s | 18 | 1762720 | 421652 | 117519 5 | 3467 | 8972 957.31/957.53 c 954s | 18 | 1767255 | 422752 | 117519 5 | 3467 | 8972 960.51/960.74 c 958s | 18 | 1770562 | 423352 | 117519 6 | 3467 | 8972 962.60/962.88 c 960s | 18 | 1774740 | 424152 | 117519 6 | 3467 | 8972 964.70/964.92 c 962s | 18 | 1781261 | 425352 | 117519 6 | 3467 | 8972 980.10/980.38 c 977s | 18 | 1782020 | 425552 | 117519 6 | 3467 | 8972 982.11/982.39 c 979s | 18 | 1787584 | 426952 | 117519 6 | 3467 | 8972 1003.70/1003.98 c 1001s | 18 | 1790442 | 427652 | 117519 6 | 3467 | 8972 1005.80/1006.07 c 1003s | 18 | 1797036 | 429252 | 117519 6 | 3467 | 8972 1007.80/1008.09 c 1005s | 18 | 1803440 | 430952 | 117519 6 | 3467 | 8972 1010.00/1010.25 c 1007s | 18 | 1809177 | 432452 | 117519 6 | 3467 | 8972 1012.20/1012.44 c 1009s | 18 | 1810616 | 432852 | 117519 6 | 3467 | 8972 1014.30/1014.51 c 1011s | 18 | 1816550 | 434352 | 117519 6 | 3467 | 8972 1016.30/1016.56 c 1013s | 18 | 1821417 | 435752 | 117519 6 | 3467 | 8972 1018.40/1018.66 c 1016s | 18 | 1825388 | 437152 | 117519 6 | 3467 | 8972 1020.60/1020.81 c 1018s | 18 | 1830533 | 438452 | 117519 6 | 3467 | 8972 1022.70/1022.90 c 1020s | 18 | 1836493 | 439752 | 117519 6 | 3467 | 8972 1024.70/1024.99 c 1022s | 18 | 1842547 | 441052 | 117519 6 | 3467 | 8972 1026.89/1027.15 c 1024s | 18 | 1848444 | 442452 | 129271 6 | 3467 | 8972 1028.89/1029.17 c 1026s | 18 | 1852755 | 443352 | 129271 6 | 3467 | 8972 1030.69/1030.95 c 1028s | 19 | 1857468 | 444482 | 129271 6 | 3467 | 8972 1033.70/1033.94 c 1031s | 19 | 1866899 | 445582 | 129271 6 | 3467 | 8972 1035.70/1035.96 c 1033s | 19 | 1872404 | 447182 | 129271 6 | 3467 | 8972 1037.80/1038.00 c 1035s | 19 | 1878267 | 448482 | 129271 6 | 3467 | 8972 1039.80/1040.03 c 1037s | 19 | 1885626 | 450182 | 129271 6 | 3467 | 8972 1041.80/1042.09 c 1039s | 19 | 1890835 | 451382 | 129271 6 | 3467 | 8972 1043.90/1044.15 c 1041s | 19 | 1896563 | 452682 | 129271 6 | 3467 | 8972 1045.90/1046.18 c 1043s | 19 | 1901942 | 454082 | 129271 6 | 3467 | 8972 1047.90/1048.19 c 1045s | 19 | 1908557 | 455682 | 129271 6 | 3467 | 8972 1050.10/1050.33 c 1047s | 19 | 1914017 | 456982 | 129271 6 | 3467 | 8972 1052.20/1052.43 c 1049s | 19 | 1918245 | 458082 | 129271 6 | 3467 | 8972 1054.20/1054.45 c 1051s | 19 | 1922087 | 459282 | 129271 6 | 3467 | 8972 1056.19/1056.49 c 1053s | 19 | 1927261 | 460482 | 129271 6 | 3467 | 8972 1058.19/1058.49 c 1055s | 19 | 1932580 | 461682 | 129271 6 | 3467 | 8972 1060.30/1060.59 c 1058s | 19 | 1938419 | 462882 | 129271 6 | 3467 | 8972 1062.40/1062.67 c 1060s | 19 | 1945140 | 464282 | 129271 6 | 3467 | 8972 1064.49/1064.74 c 1062s | 19 | 1950786 | 465482 | 129271 6 | 3467 | 8972 1066.59/1066.82 c 1064s | 19 | 1958758 | 466882 | 129271 6 | 3467 | 8972 1068.59/1068.87 c 1066s | 19 | 1962722 | 467882 | 129271 6 | 3467 | 8972 1070.79/1071.04 c 1068s | 19 | 1968089 | 468982 | 129271 6 | 3467 | 8972 1072.89/1073.17 c 1070s | 19 | 1971576 | 469982 | 129271 6 | 3467 | 8972 1074.99/1075.28 c 1072s | 19 | 1977029 | 471082 | 129271 6 | 3467 | 8972 1077.19/1077.48 c 1074s | 19 | 1981351 | 472182 | 129271 6 | 3467 | 8972 1079.39/1079.63 c 1077s | 19 | 1985543 | 473082 | 129271 6 | 3467 | 8972 1081.49/1081.72 c 1079s | 19 | 1989891 | 474082 | 129271 6 | 3467 | 8972 1083.59/1083.88 c 1081s | 19 | 1994088 | 475082 | 129271 6 | 3467 | 8972 1085.89/1086.18 c 1083s | 19 | 1999839 | 476182 | 129271 6 | 3467 | 8972 1088.09/1088.37 c 1085s | 19 | 2003590 | 476982 | 129271 6 | 3467 | 8972 1090.19/1090.44 c 1087s | 19 | 2008094 | 478082 | 129271 6 | 3467 | 8972 1092.19/1092.47 c 1089s | 19 | 2011902 | 478982 | 129271 6 | 3467 | 8972 1094.39/1094.62 c 1092s | 19 | 2016749 | 479982 | 129271 6 | 3467 | 8972 1096.38/1096.64 c 1094s | 19 | 2019392 | 480782 | 129271 6 | 3467 | 8972 1098.58/1098.82 c 1096s | 19 | 2023433 | 481682 | 129271 6 | 3467 | 8972 1100.89/1101.13 c 1098s | 19 | 2026209 | 482482 | 129271 6 | 3467 | 8972 1102.98/1103.29 c 1100s | 19 | 2029901 | 483382 | 129271 6 | 3467 | 8972 1105.08/1105.30 c 1102s | 19 | 2033350 | 484282 | 129271 6 | 3467 | 8972 1107.08/1107.39 c 1104s | 19 | 2036567 | 485082 | 129271 6 | 3467 | 8972 1109.38/1109.60 c 1107s | 19 | 2041899 | 486082 | 129271 6 | 3467 | 8972 1111.38/1111.68 c 1109s | 19 | 2045969 | 486782 | 129271 6 | 3467 | 8972 1113.48/1113.79 c 1111s | 19 | 2049238 | 487682 | 129271 6 | 3467 | 8972 1115.78/1116.02 c 1113s | 19 | 2051706 | 488482 | 129271 6 | 3467 | 8972 1117.88/1118.15 c 1115s | 19 | 2054305 | 489282 | 129271 6 | 3467 | 8972 1119.98/1120.26 c 1117s | 19 | 2057085 | 489982 | 129271 6 | 3467 | 8972 1122.08/1122.33 c 1119s | 19 | 2060017 | 490782 | 129271 6 | 3467 | 8972 1124.18/1124.42 c 1121s | 19 | 2063838 | 491682 | 129271 6 | 3467 | 8972 1126.28/1126.51 c 1123s | 19 | 2067307 | 492482 | 129271 6 | 3467 | 8972 1128.28/1128.59 c 1126s | 19 | 2071221 | 493482 | 129271 6 | 3467 | 8972 1130.28/1130.59 c 1128s | 19 | 2074823 | 494382 | 129271 6 | 3467 | 8972 1132.37/1132.62 c 1130s | 19 | 2077464 | 495182 | 129271 6 | 3467 | 8972 1134.57/1134.84 c 1132s | 19 | 2080490 | 495882 | 129271 6 | 3467 | 8972 1136.57/1136.84 c 1134s | 19 | 2082300 | 496482 | 129271 6 | 3467 | 8972 1138.67/1138.99 c 1136s | 19 | 2085351 | 497282 | 129271 6 | 3467 | 8972 1140.77/1141.02 c 1138s | 19 | 2088156 | 497982 | 129271 6 | 3467 | 8972 1142.77/1143.06 c 1140s | 19 | 2090793 | 498682 | 129271 6 | 3467 | 8972 1145.07/1145.30 c 1142s | 19 | 2093299 | 499382 | 129271 6 | 3467 | 8972 1147.07/1147.31 c 1144s | 19 | 2096507 | 500182 | 129271 6 | 3467 | 8972 1151.36/1151.65 c 1149s | 19 | 2097585 | 500482 | 129271 7 | 3467 | 8972 1180.06/1180.35 c 1177s | 19 | 2098641 | 500682 | 129271 7 | 3467 | 8972 1193.54/1193.80 c 1191s | 19 | 2100418 | 501082 | 129271 7 | 3467 | 8972 1195.55/1195.84 c 1193s | 19 | 2104932 | 502182 | 129271 7 | 3467 | 8972 1197.75/1198.05 c 1195s | 19 | 2109794 | 503482 | 129271 7 | 3467 | 8972 1199.74/1200.09 c 1197s | 19 | 2115993 | 504982 | 129271 7 | 3467 | 8972 1201.94/1202.23 c 1199s | 19 | 2121263 | 506382 | 129271 7 | 3467 | 8972 1204.04/1204.36 c 1201s | 19 | 2126752 | 507682 | 129271 7 | 3467 | 8972 1206.14/1206.44 c 1203s | 19 | 2132263 | 509182 | 129271 7 | 3467 | 8972 1208.34/1208.63 c 1206s | 19 | 2137920 | 510482 | 129271 7 | 3467 | 8972 1210.44/1210.74 c 1208s | 19 | 2142265 | 511782 | 129271 7 | 3467 | 8972 1212.43/1212.75 c 1210s | 19 | 2148091 | 513282 | 129271 7 | 3467 | 8972 1219.33/1219.66 c 1217s | 19 | 2151715 | 514182 | 129271 7 | 3467 | 8972 1221.43/1221.77 c 1219s | 19 | 2156759 | 515582 | 129271 7 | 3467 | 8972 1223.63/1223.90 c 1221s | 19 | 2163403 | 516982 | 129271 7 | 3467 | 8972 1225.63/1225.96 c 1223s | 19 | 2168946 | 518282 | 129271 7 | 3467 | 8972 1227.63/1227.97 c 1225s | 19 | 2176817 | 519682 | 129271 7 | 3467 | 8972 1229.64/1229.99 c 1227s | 19 | 2182013 | 521082 | 129271 7 | 3467 | 8972 1231.83/1232.11 c 1229s | 19 | 2186631 | 522182 | 129271 7 | 3467 | 8972 1233.93/1234.21 c 1231s | 19 | 2190731 | 523182 | 129271 7 | 3467 | 8972 1235.92/1236.25 c 1233s | 19 | 2193455 | 523982 | 129271 7 | 3467 | 8972 1237.92/1238.27 c 1235s | 19 | 2196965 | 524782 | 129271 7 | 3467 | 8972 1240.12/1240.48 c 1237s | 19 | 2200462 | 525582 | 129271 7 | 3467 | 8972 1242.32/1242.67 c 1240s | 19 | 2203907 | 526482 | 129271 7 | 3467 | 8972 1244.41/1244.79 c 1242s | 19 | 2207484 | 527482 | 129271 7 | 3467 | 8972 1251.52/1251.89 c 1249s | 19 | 2209409 | 527982 | 129271 7 | 3467 | 8972 1254.01/1254.37 c 1251s | 19 | 2209757 | 528082 | 129271 7 | 3467 | 8972 1256.11/1256.49 c 1253s | 19 | 2214208 | 529082 | 129271 7 | 3467 | 8972 1258.22/1258.51 c 1255s | 19 | 2218955 | 530082 | 129271 7 | 3467 | 8972 1260.21/1260.60 c 1258s | 19 | 2224943 | 531482 | 129271 7 | 3467 | 8972 1262.30/1262.62 c 1260s | 19 | 2229434 | 532682 | 129271 7 | 3467 | 8972 1264.40/1264.71 c 1262s | 19 | 2232918 | 533582 | 129271 7 | 3467 | 8972 1266.40/1266.71 c 1264s | 19 | 2235862 | 534382 | 129271 7 | 3467 | 8972 1268.50/1268.83 c 1266s | 19 | 2238121 | 535082 | 129271 7 | 3467 | 8972 1270.50/1270.86 c 1268s | 19 | 2241172 | 535882 | 129271 7 | 3467 | 8972 1272.70/1273.08 c 1270s | 19 | 2245813 | 536782 | 129271 7 | 3467 | 8972 1274.80/1275.13 c 1272s | 19 | 2250994 | 537682 | 129271 7 | 3467 | 8972 1277.00/1277.30 c 1274s | 19 | 2255006 | 538582 | 129271 7 | 3467 | 8972 1279.00/1279.39 c 1276s | 19 | 2259550 | 539682 | 129271 7 | 3467 | 8972 1281.10/1281.43 c 1278s | 19 | 2263372 | 540482 | 129271 7 | 3467 | 8972 1283.29/1283.60 c 1281s | 19 | 2265499 | 541082 | 129271 7 | 3467 | 8972 1285.29/1285.65 c 1283s | 19 | 2269613 | 542082 | 129271 7 | 3467 | 8972 1287.59/1287.97 c 1285s | 19 | 2272062 | 542682 | 129271 7 | 3467 | 8972 1289.69/1290.09 c 1287s | 19 | 2275111 | 543482 | 129271 7 | 3467 | 8972 1291.89/1292.21 c 1289s | 19 | 2278382 | 544282 | 129271 7 | 3467 | 8972 1293.89/1294.29 c 1291s | 19 | 2281804 | 545082 | 129271 7 | 3467 | 8972 1296.19/1296.54 c 1293s | 19 | 2285577 | 545982 | 129271 7 | 3467 | 8972 1298.29/1298.64 c 1296s | 19 | 2287861 | 546682 | 129271 7 | 3467 | 8972 1300.49/1300.83 c 1298s | 19 | 2292091 | 547682 | 129271 7 | 3467 | 8972 1302.69/1303.09 c 1300s | 19 | 2295009 | 548482 | 129271 7 | 3467 | 8972 1304.89/1305.26 c 1302s | 19 | 2298749 | 549382 | 129271 7 | 3467 | 8972 1307.09/1307.42 c 1304s | 19 | 2301317 | 550082 | 129271 7 | 3467 | 8972 1309.09/1309.50 c 1306s | 19 | 2304157 | 550882 | 129271 7 | 3467 | 8972 1311.18/1311.59 c 1309s | 19 | 2309115 | 551782 | 129271 7 | 3467 | 8972 1313.29/1313.69 c 1311s | 19 | 2314111 | 552782 | 129271 7 | 3467 | 8972 1315.40/1315.76 c 1313s | 19 | 2318206 | 553782 | 129271 7 | 3467 | 8972 1317.60/1317.95 c 1315s | 19 | 2322394 | 554782 | 129271 7 | 3467 | 8972 1319.59/1319.95 c 1317s | 19 | 2326498 | 555682 | 129271 7 | 3467 | 8972 1321.79/1322.17 c 1319s | 19 | 2329914 | 556382 | 129271 7 | 3467 | 8972 1323.88/1324.22 c 1321s | 19 | 2333914 | 557182 | 129271 7 | 3467 | 8972 1325.88/1326.23 c 1323s | 19 | 2336496 | 557782 | 129271 7 | 3467 | 8972 1327.98/1328.39 c 1325s | 19 | 2339096 | 558382 | 129271 7 | 3467 | 8972 1330.18/1330.51 c 1327s | 19 | 2341897 | 559082 | 129271 7 | 3467 | 8972 1332.48/1332.84 c 1330s | 19 | 2344670 | 559682 | 129271 7 | 3467 | 8972 1334.68/1335.05 c 1332s | 19 | 2349131 | 560482 | 129271 7 | 3467 | 8972 1336.88/1337.25 c 1334s | 19 | 2352767 | 561282 | 129271 7 | 3467 | 8972 1339.08/1339.42 c 1336s | 19 | 2354513 | 561782 | 129271 7 | 3467 | 8972 1341.48/1341.80 c 1339s | 19 | 2356615 | 562382 | 129271 7 | 3467 | 8972 1343.58/1343.95 c 1341s | 19 | 2358831 | 562982 | 129271 7 | 3467 | 8972 1345.58/1345.99 c 1343s | 19 | 2359910 | 563382 | 129271 7 | 3467 | 8972 1347.98/1348.30 c 1345s | 19 | 2362558 | 563982 | 129271 7 | 3467 | 8972 1350.08/1350.40 c 1347s | 19 | 2364230 | 564482 | 129271 7 | 3467 | 8972 1352.27/1352.66 c 1350s | 19 | 2366060 | 564982 | 129271 7 | 3467 | 8972 1354.57/1354.95 c 1352s | 19 | 2368041 | 565582 | 129271 7 | 3467 | 8972 1356.87/1357.20 c 1354s | 19 | 2369538 | 566082 | 129271 7 | 3467 | 8972 1358.87/1359.25 c 1356s | 19 | 2371368 | 566482 | 129271 7 | 3467 | 8972 1361.37/1361.71 c 1359s | 19 | 2373664 | 566982 | 129271 7 | 3467 | 8972 1363.37/1363.74 c 1361s | 19 | 2375310 | 567382 | 129271 7 | 3467 | 8972 1365.98/1366.31 c 1363s | 19 | 2377371 | 567882 | 129271 7 | 3467 | 8972 1368.47/1368.80 c 1366s | 19 | 2379374 | 568482 | 129271 7 | 3467 | 8972 1370.47/1370.84 c 1368s | 19 | 2380888 | 568982 | 129271 7 | 3467 | 8972 1372.87/1373.25 c 1370s | 19 | 2382182 | 569382 | 129271 7 | 3467 | 8972 1375.07/1375.48 c 1372s | 19 | 2383864 | 569882 | 129271 7 | 3467 | 8972 1377.36/1377.80 c 1375s | 19 | 2385372 | 570282 | 129271 7 | 3467 | 8972 1379.76/1380.19 c 1377s | 19 | 2387009 | 570782 | 129271 7 | 3467 | 8972 1382.16/1382.52 c 1379s | 19 | 2388414 | 571182 | 129271 7 | 3467 | 8972 1384.26/1384.61 c 1382s | 19 | 2390069 | 571582 | 129271 7 | 3467 | 8972 1387.16/1387.57 c 1384s | 19 | 2391667 | 572082 | 129271 8 | 3467 | 8972 1389.26/1389.64 c 1387s | 19 | 2393677 | 572682 | 129271 8 | 3467 | 8972 1391.36/1391.76 c 1389s | 19 | 2396047 | 573382 | 129271 8 | 3467 | 8972 1401.95/1402.32 c 1399s | 19 | 2397628 | 573782 | 129271 8 | 3467 | 8972 1404.05/1404.46 c 1401s | 19 | 2400885 | 574482 | 129271 8 | 3467 | 8972 1407.55/1407.96 c 1405s | 19 | 2402863 | 574882 | 129271 8 | 3467 | 8972 1420.45/1420.88 c 1418s | 19 | 2408997 | 576082 | 129271 8 | 3467 | 8972 1422.54/1422.92 c 1420s | 19 | 2414773 | 577382 | 129271 8 | 3467 | 8972 1424.64/1425.02 c 1422s | 19 | 2419769 | 578582 | 129271 8 | 3467 | 8972 1426.64/1427.06 c 1424s | 19 | 2423481 | 579782 | 129271 8 | 3467 | 8972 1428.94/1429.33 c 1426s | 19 | 2426981 | 580982 | 129271 8 | 3467 | 8972 1431.04/1431.48 c 1428s | 19 | 2429646 | 581782 | 129271 8 | 3467 | 8972 1433.14/1433.51 c 1430s | 19 | 2432460 | 582582 | 129271 8 | 3467 | 8972 1435.25/1435.62 c 1433s | 19 | 2435857 | 583982 | 129271 8 | 3467 | 8972 1499.13/1499.54 c 1496s | 19 | 2437083 | 584382 | 129271 8 | 3467 | 8972 1501.13/1501.56 c 1498s | 19 | 2441291 | 585482 | 129271 8 | 3467 | 8972 1503.22/1503.63 c 1501s | 19 | 2444961 | 586382 | 129271 8 | 3467 | 8972 1505.32/1505.73 c 1503s | 19 | 2449136 | 587482 | 129271 8 | 3467 | 8972 1507.42/1507.80 c 1505s | 19 | 2453391 | 588582 | 129271 8 | 3467 | 8972 1509.42/1509.86 c 1507s | 19 | 2457319 | 589482 | 129271 8 | 3467 | 8972 1511.72/1512.13 c 1509s | 19 | 2461608 | 590582 | 129271 8 | 3467 | 8972 1513.82/1514.28 c 1511s | 19 | 2466161 | 591582 | 129271 8 | 3467 | 8972 1516.12/1516.51 c 1513s | 19 | 2469461 | 592482 | 129271 8 | 3467 | 8972 1518.22/1518.65 c 1516s | 19 | 2472709 | 593382 | 129271 8 | 3467 | 8972 1520.32/1520.78 c 1518s | 19 | 2475933 | 594182 | 129271 8 | 3467 | 8972 1522.62/1523.03 c 1520s | 19 | 2478538 | 594982 | 129271 8 | 3467 | 8972 1524.72/1525.16 c 1522s | 19 | 2481325 | 595682 | 129271 8 | 3467 | 8972 1526.82/1527.25 c 1524s | 19 | 2484074 | 596282 | 129271 8 | 3467 | 8972 1529.02/1529.48 c 1526s | 19 | 2486130 | 596882 | 129271 8 | 3467 | 8972 1531.13/1531.53 c 1528s | 19 | 2489188 | 597682 | 129271 8 | 3467 | 8972 1533.23/1533.63 c 1531s | 19 | 2493651 | 598682 | 129271 8 | 3467 | 8972 1554.92/1555.39 c 1552s | 19 | 2495951 | 599382 | 129271 8 | 3467 | 8972 1557.02/1557.41 c 1554s | 19 | 2499095 | 600182 | 129271 8 | 3467 | 8972 1559.02/1559.49 c 1556s | 19 | 2501580 | 600882 | 129271 8 | 3467 | 8972 1561.12/1561.56 c 1558s | 19 | 2504595 | 601482 | 129271 8 | 3467 | 8972 1563.22/1563.66 c 1561s | 19 | 2506616 | 601982 | 129271 8 | 3467 | 8972 1565.22/1565.69 c 1563s | 19 | 2508122 | 602482 | 129271 8 | 3467 | 8972 1567.92/1568.31 c 1565s | 19 | 2510846 | 603082 | 129271 8 | 3467 | 8972 1570.02/1570.41 c 1567s | 19 | 2513632 | 603782 | 129271 8 | 3467 | 8972 1572.12/1572.52 c 1569s | 19 | 2515687 | 604482 | 129271 8 | 3467 | 8972 1574.32/1574.79 c 1572s | 19 | 2517400 | 605182 | 129271 8 | 3467 | 8972 1576.62/1577.03 c 1574s | 19 | 2519074 | 605682 | 129271 8 | 3467 | 8972 1578.72/1579.12 c 1576s | 19 | 2520189 | 606082 | 129271 8 | 3467 | 8972 1580.92/1581.37 c 1578s | 19 | 2521792 | 606682 | 129271 8 | 3467 | 8972 1583.12/1583.50 c 1580s | 19 | 2524178 | 607382 | 129271 8 | 3467 | 8972 1585.32/1585.78 c 1583s | 19 | 2526165 | 607982 | 129271 8 | 3467 | 8972 1587.82/1588.25 c 1585s | 19 | 2528754 | 608782 | 129271 8 | 3467 | 8972 1589.92/1590.32 c 1587s | 19 | 2529997 | 609282 | 129271 8 | 3467 | 8972 1592.32/1592.70 c 1590s | 19 | 2532543 | 609982 | 129271 8 | 3467 | 8972 1594.52/1594.94 c 1592s | 19 | 2535406 | 610682 | 129271 8 | 3467 | 8972 1596.62/1597.07 c 1594s | 19 | 2538244 | 611382 | 129271 8 | 3467 | 8972 1598.72/1599.12 c 1596s | 19 | 2540430 | 611982 | 129271 8 | 3467 | 8972 1600.82/1601.21 c 1598s | 19 | 2541839 | 612382 | 129271 8 | 3467 | 8972 1602.92/1603.33 c 1600s | 19 | 2544405 | 613082 | 129271 8 | 3467 | 8972 1605.02/1605.43 c 1602s | 19 | 2547578 | 613882 | 129271 8 | 3467 | 8972 1607.11/1607.50 c 1604s | 19 | 2550232 | 614482 | 129271 8 | 3467 | 8972 1609.21/1609.63 c 1607s | 19 | 2552265 | 615182 | 129271 8 | 3467 | 8972 1611.22/1611.69 c 1609s | 19 | 2553751 | 615682 | 129271 8 | 3467 | 8972 1613.32/1613.72 c 1611s | 19 | 2559193 | 616382 | 129271 8 | 3467 | 8972 1615.81/1616.20 c 1613s | 19 | 2560509 | 616882 | 129271 8 | 3467 | 8972 1619.21/1619.62 c 1617s | 19 | 2562534 | 617382 | 129271 8 | 3467 | 8972 1621.51/1622.00 c 1619s | 19 | 2564904 | 618082 | 129271 8 | 3467 | 8972 1623.61/1624.03 c 1621s | 19 | 2567153 | 618682 | 129271 8 | 3467 | 8972 1625.81/1626.25 c 1623s | 19 | 2569865 | 619382 | 129271 8 | 3467 | 8972 1628.11/1628.58 c 1625s | 19 | 2573020 | 619982 | 129271 8 | 3467 | 8972 1630.21/1630.69 c 1628s | 19 | 2575306 | 620482 | 129271 8 | 3467 | 8972 1632.31/1632.75 c 1630s | 19 | 2577278 | 620982 | 129271 8 | 3467 | 8972 1634.32/1634.77 c 1632s | 19 | 2579158 | 621382 | 129271 8 | 3467 | 8972 1636.61/1637.07 c 1634s | 19 | 2581004 | 621982 | 129271 8 | 3467 | 8972 1639.01/1639.46 c 1636s | 19 | 2582929 | 622582 | 129271 8 | 3467 | 8972 1641.41/1641.80 c 1639s | 19 | 2584708 | 623082 | 129271 8 | 3467 | 8972 1643.51/1643.92 c 1641s | 19 | 2586110 | 623482 | 129271 8 | 3467 | 8972 1646.11/1646.54 c 1643s | 19 | 2588685 | 623982 | 129271 8 | 3467 | 8972 1648.51/1648.92 c 1646s | 19 | 2590339 | 624482 | 129271 8 | 3467 | 8972 1650.51/1650.96 c 1648s | 19 | 2592648 | 625082 | 129271 8 | 3467 | 8972 1652.81/1653.24 c 1650s | 19 | 2595019 | 625682 | 129271 8 | 3467 | 8972 1655.01/1655.46 c 1652s | 19 | 2597704 | 626382 | 129271 8 | 3467 | 8972 1657.51/1657.91 c 1655s | 19 | 2599918 | 626982 | 129271 8 | 3467 | 8972 1659.61/1660.02 c 1657s | 19 | 2601604 | 627482 | 129271 8 | 3467 | 8972 1661.81/1662.26 c 1659s | 19 | 2603114 | 627982 | 129271 8 | 3467 | 8972 1664.10/1664.52 c 1661s | 19 | 2604827 | 628482 | 129271 8 | 3467 | 8972 1666.11/1666.54 c 1663s | 19 | 2607140 | 629082 | 129271 8 | 3467 | 8972 1668.20/1668.62 c 1666s | 19 | 2609143 | 629582 | 129271 8 | 3467 | 8972 1670.20/1670.70 c 1668s | 19 | 2611654 | 630182 | 129271 8 | 3467 | 8972 1672.50/1672.90 c 1670s | 19 | 2614268 | 630782 | 129271 8 | 3467 | 8972 1674.60/1675.08 c 1672s | 19 | 2617107 | 631482 | 129271 8 | 3467 | 8972 1676.80/1677.29 c 1674s | 19 | 2621314 | 632382 | 129271 8 | 3467 | 8972 1678.90/1679.34 c 1676s | 19 | 2624874 | 633282 | 129271 8 | 3467 | 8972 1681.10/1681.54 c 1678s | 19 | 2628224 | 633982 | 129271 8 | 3467 | 8972 1683.30/1683.70 c 1681s | 19 | 2631695 | 634682 | 129271 8 | 3467 | 8972 1685.40/1685.87 c 1683s | 19 | 2634408 | 635382 | 129271 8 | 3467 | 8972 1687.60/1688.00 c 1685s | 19 | 2636802 | 636082 | 129271 8 | 3467 | 8972 1689.80/1690.23 c 1687s | 19 | 2639569 | 636782 | 129271 8 | 3467 | 8972 1692.00/1692.47 c 1689s | 19 | 2641567 | 637382 | 129271 8 | 3467 | 8972 1694.10/1694.50 c 1691s | 19 | 2643465 | 637982 | 129271 8 | 3467 | 8972 1696.30/1696.73 c 1694s | 19 | 2645421 | 638582 | 129271 8 | 3467 | 8972 1698.30/1698.75 c 1696s | 19 | 2646830 | 639082 | 129271 8 | 3467 | 8972 1700.70/1701.15 c 1698s | 19 | 2649216 | 639782 | 129271 8 | 3467 | 8972 1702.80/1703.26 c 1700s | 19 | 2651197 | 640282 | 129271 8 | 3467 | 8972 1704.90/1705.33 c 1702s | 19 | 2653580 | 640882 | 129271 8 | 3467 | 8972 1707.10/1707.53 c 1704s | 19 | 2655813 | 641382 | 129271 8 | 3467 | 8972 1709.10/1709.55 c 1706s | 19 | 2657778 | 641882 | 129271 8 | 3467 | 8972 1711.30/1711.75 c 1709s | 19 | 2659382 | 642382 | 129271 8 | 3467 | 8972 1713.40/1713.90 c 1711s | 19 | 2661211 | 642882 | 129271 8 | 3467 | 8972 1716.30/1716.77 c 1714s | 19 | 2663633 | 643482 | 129271 9 | 3467 | 8972 1719.49/1719.98 c 1717s | 19 | 2664607 | 643782 | 129271 9 | 3467 | 8972 1721.59/1722.04 c 1719s | 19 | 2665889 | 644182 | 129271 9 | 3467 | 8972 1723.70/1724.13 c 1721s | 19 | 2670637 | 645482 | 129271 9 | 3467 | 8972 1726.61/1727.05 c 1724s | 19 | 2673925 | 646482 | 129271 9 | 3467 | 8972 1728.70/1729.11 c 1726s | 19 | 2678897 | 647682 | 129271 9 | 3467 | 8972 1730.80/1731.21 c 1728s | 19 | 2682846 | 648682 | 129271 9 | 3467 | 8972 1732.80/1733.26 c 1730s | 19 | 2687327 | 649882 | 129271 9 | 3467 | 8972 1735.00/1735.47 c 1732s | 19 | 2691918 | 651082 | 129271 9 | 3467 | 8972 1737.20/1737.63 c 1735s | 19 | 2696866 | 652282 | 129271 9 | 3467 | 8972 1739.30/1739.75 c 1737s | 19 | 2701169 | 653482 | 129271 9 | 3467 | 8972 1741.60/1742.00 c 1739s | 19 | 2705657 | 654582 | 129271 9 | 3467 | 8972 1743.60/1744.07 c 1741s | 19 | 2709112 | 655382 | 129271 9 | 3467 | 8972 1745.70/1746.20 c 1743s | 19 | 2712953 | 656482 | 129271 9 | 3467 | 8972 1747.90/1748.39 c 1745s | 19 | 2717307 | 657582 | 129271 9 | 3467 | 8972 1750.00/1750.40 c 1747s | 19 | 2721582 | 658682 | 129271 9 | 3467 | 8972 1752.00/1752.42 c 1749s | 19 | 2725552 | 659782 | 129271 9 | 3467 | 8972 1754.00/1754.43 c 1751s | 19 | 2727740 | 660682 | 129271 9 | 3467 | 8972 1756.20/1756.61 c 1754s | 19 | 2730774 | 661782 | 129271 9 | 3467 | 8972 1758.29/1758.73 c 1756s | 19 | 2732806 | 662782 | 142199 9 | 3467 | 8972
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-4079839-1465248993/watcher-4079839-1465248993 -o /tmp/evaluation-result-4079839-1465248993/solver-4079839-1465248993 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079839-1465248993.opb pid=4481 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/179 4484 /proc/meminfo: memFree=30574372/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=674236 CPUtime=0 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 2504 0 0 0 0 0 0 0 20 0 4 0 106834772 690417664 3377 33554432000 4194304 16246674 140736128701536 140736128700960 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 169071 3386 441 2943 0 165965 0 [pid=4484/tid=4485] ppid=4481 vsize=691644 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 708243456 3445 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=695740 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 712437760 3462 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=699836 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 716632064 3479 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100171 s] /proc/loadavg: 2.00 2.00 2.00 3/179 4484 /proc/meminfo: memFree=30574372/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=1301060 CPUtime=0.09 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 26539 0 0 0 5 4 0 0 20 0 4 0 106834772 1332285440 27350 33554432000 4194304 16246674 140736128701536 140736128700848 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 325265 27367 799 2943 0 322159 0 [pid=4484/tid=4485] ppid=4481 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 1332285440 27378 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 1332285440 27389 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1332285440 27400 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1301060 [startup+0.200523 s] /proc/loadavg: 2.00 2.00 2.00 3/179 4484 /proc/meminfo: memFree=30574372/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 47763 0 0 0 12 7 0 0 20 0 4 0 106834772 1344868352 49084 33554432000 4194304 16246674 140736128701536 140736128700848 13927356 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 328337 49084 799 2943 0 325231 0 [pid=4484/tid=4485] ppid=4481 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 1344868352 49084 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 1344868352 49084 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1344868352 49084 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300511 s] /proc/loadavg: 2.00 2.00 2.00 3/179 4484 /proc/meminfo: memFree=30574372/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 55864 0 0 0 21 8 0 0 20 0 4 0 106834772 1344868352 57185 33554432000 4194304 16246674 140736128701536 140736128700848 8058576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 328337 57185 799 2943 0 325231 0 [pid=4484/tid=4485] ppid=4481 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 1344868352 57185 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 1344868352 57185 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1344868352 57185 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.70041 s] /proc/loadavg: 2.00 2.00 2.00 3/179 4484 /proc/meminfo: memFree=30574372/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 95973 0 0 0 55 14 0 0 20 0 4 0 106834772 1344868352 97294 33554432000 4194304 16246674 140736128701536 140736128700848 5589077 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 328337 97304 834 2943 0 325231 0 [pid=4484/tid=4485] ppid=4481 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 1344868352 97308 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 1344868352 97314 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1344868352 97319 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.5004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 4488 /proc/meminfo: memFree=29946344/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=1321540 CPUtime=1.49 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 157983 0 0 0 126 23 0 0 20 0 4 0 106834772 1353256960 159304 33554432000 4194304 16246674 140736128701536 140736128683456 13930363 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 330385 159304 902 2943 0 327279 0 [pid=4484/tid=4485] ppid=4481 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 1353256960 159304 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 1353256960 159304 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1353256960 159304 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1321540 [startup+3.10043 s] /proc/loadavg: 2.00 2.00 2.00 3/183 4488 /proc/meminfo: memFree=29937756/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=1321540 CPUtime=3.08 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 157991 0 0 0 285 23 0 0 20 0 4 0 106834772 1353256960 159312 33554432000 4194304 16246674 140736128701536 140736128683456 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 330385 159312 909 2943 0 327279 0 [pid=4484/tid=4485] ppid=4481 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 1353256960 159312 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 1353256960 159312 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1353256960 159312 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1321540 [startup+6.30043 s] /proc/loadavg: 2.00 2.00 2.00 3/183 4488 /proc/meminfo: memFree=29485528/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=1321540 CPUtime=6.28 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 271080 0 0 0 589 39 0 0 20 0 4 0 106834772 1353256960 272401 33554432000 4194304 16246674 140736128701536 140736128683456 5523307 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 330385 272401 909 2943 0 327279 0 [pid=4484/tid=4485] ppid=4481 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 1353256960 272401 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 1353256960 272401 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1353256960 272401 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1321540 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 4488 /proc/meminfo: memFree=29485568/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=1321540 CPUtime=12.68 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 271080 0 0 0 1229 39 0 0 20 0 4 0 106834772 1353256960 272401 33554432000 4194304 16246674 140736128701536 140736128684536 6836981 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 330385 272401 909 2943 0 327279 0 [pid=4484/tid=4485] ppid=4481 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 1353256960 272401 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 1353256960 272401 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1353256960 272401 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1321540 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 2.00 3/183 4488 /proc/meminfo: memFree=29485572/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=1321540 CPUtime=25.49 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 271084 0 0 0 2509 40 0 0 20 0 4 0 106834772 1353256960 272405 33554432000 4194304 16246674 140736128701536 140736128683456 5675216 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 330385 272405 913 2943 0 327279 0 [pid=4484/tid=4485] ppid=4481 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 1353256960 272405 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 1353256960 272405 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1353256960 272405 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1321540 [startup+51.1005 s] /proc/loadavg: 2.00 2.00 2.00 3/183 4488 /proc/meminfo: memFree=29485572/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=1321540 CPUtime=51.08 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 271084 0 0 0 5068 40 0 0 20 0 4 0 106834772 1353256960 272405 33554432000 4194304 16246674 140736128701536 140736128683456 5822492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 330385 272405 913 2943 0 327279 0 [pid=4484/tid=4485] ppid=4481 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 1353256960 272405 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 1353256960 272405 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1353256960 272405 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1321540 [startup+102.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 4489 /proc/meminfo: memFree=29485128/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=1321540 CPUtime=102.28 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 271084 0 0 0 10188 40 0 0 20 0 4 0 106834772 1353256960 272405 33554432000 4194304 16246674 140736128701536 140736128683456 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 330385 272405 913 2943 0 327279 0 [pid=4484/tid=4485] ppid=4481 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 1353256960 272405 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 1353256960 272405 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1353256960 272405 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1321540 ################ # More data... # ################ /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1441337344 293913 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1407556 [startup+1362.3 s] /proc/loadavg: 2.10 2.13 2.06 3/183 4580 /proc/meminfo: memFree=29403572/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=1407556 CPUtime=1361.97 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 292786 0 0 0 136120 77 0 0 20 0 4 0 106834772 1441337344 293913 33554432000 4194304 16246674 140736128701536 140736128683456 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 351889 293913 914 2943 0 348783 0 [pid=4484/tid=4485] ppid=4481 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 1441337344 293913 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 1441337344 293913 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1441337344 293913 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1407556 [startup+1422.3 s] /proc/loadavg: 2.19 2.15 2.07 3/184 4584 /proc/meminfo: memFree=29354992/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=1455684 CPUtime=1421.95 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 304830 0 0 0 142115 80 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140736128683456 6020936 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 363921 305945 914 2943 0 360815 0 [pid=4484/tid=4485] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1455684 [startup+1482.3 s] /proc/loadavg: 2.20 2.15 2.08 3/184 4608 /proc/meminfo: memFree=29354108/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=1455684 CPUtime=1481.93 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 304837 0 0 0 148107 86 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140736128699328 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 363921 305945 914 2943 0 360815 0 [pid=4484/tid=4485] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1455684 [startup+1542.31 s] /proc/loadavg: 2.12 2.14 2.08 3/183 4610 /proc/meminfo: memFree=29354708/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=1455684 CPUtime=1541.93 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 304845 0 0 0 154105 88 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140736128700632 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 363921 305945 914 2943 0 360815 0 [pid=4484/tid=4485] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 1455684 [startup+1602.3 s] /proc/loadavg: 2.10 2.12 2.08 3/183 4611 /proc/meminfo: memFree=29354872/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=1455684 CPUtime=1601.92 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 304845 0 0 0 160102 90 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140736128683456 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 363921 305945 914 2943 0 360815 0 [pid=4484/tid=4485] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 1455684 [startup+1662.3 s] /proc/loadavg: 2.04 2.10 2.07 3/182 4612 /proc/meminfo: memFree=29355388/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=1455684 CPUtime=1661.9 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 304845 0 0 0 166100 90 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140736128683456 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 363921 305945 914 2943 0 360815 0 [pid=4484/tid=4485] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 1455684 [startup+1722.3 s] /proc/loadavg: 2.13 2.11 2.07 3/183 4614 /proc/meminfo: memFree=29354532/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=1455684 CPUtime=1721.89 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 304845 0 0 0 172099 90 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140736128683456 5823619 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 363921 305945 914 2943 0 360815 0 [pid=4484/tid=4485] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 1455684 [startup+1782.3 s] /proc/loadavg: 2.05 2.09 2.07 3/183 4615 /proc/meminfo: memFree=29354060/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=1455684 CPUtime=1781.89 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 304845 0 0 0 178097 92 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140736128700632 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 363921 305945 914 2943 0 360815 0 [pid=4484/tid=4485] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 1455684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.04 2.08 2.07 3/183 4615 /proc/meminfo: memFree=29354636/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=1455684 CPUtime=1800.08 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 304845 0 0 0 179915 93 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140736128700632 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 363921 305945 914 2943 0 360815 0 [pid=4484/tid=4485] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1455684 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 4484 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.04 2.08 2.07 3/183 4615 /proc/meminfo: memFree=29354636/32872528 swapFree=10676/249824 [pid=4484] ppid=4481 vsize=1455684 CPUtime=1800.08 cores=1,3,5,7 /proc/4484/stat : 4484 (toysat) R 4481 4484 1222 0 -1 4202496 304845 0 0 0 179915 93 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140736128700632 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4484/statm: 363921 305945 914 2943 0 360815 0 [pid=4484/tid=4485] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4485/stat : 4485 (toysat) S 4481 4484 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077367799024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4484/tid=4486] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4486/stat : 4486 (toysat) S 4481 4484 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077357309168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=4484/tid=4487] ppid=4481 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/4484/task/4487/stat : 4487 (toysat) S 4481 4484 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106834772 1490620416 305945 33554432000 4194304 16246674 140736128701536 140077271346352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1455684 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.1 CPU user time (s): 1799.16 CPU system time (s): 0.935857 CPU usage (%): 99.9772 Max. virtual memory (cumulated for all children) (KiB): 1455684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.16 system time used= 0.935857 maximum resident set size= 1223780 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 304845 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= 250 involuntary context switches= 1921 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.45217 second user time and 8.59969 second system time The end
Begin job on node103 at 2016-06-06 23:36:33 IDJOB=4079839 IDBENCH=24988 IDSOLVER=2542 FILE ID=node103/4079839-1465248993 RUNJOBID= node103-1465221288-1239 PBS_JOBID= 19843228 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_012_area_delay.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079839-1465248993/watcher-4079839-1465248993 -o /tmp/evaluation-result-4079839-1465248993/solver-4079839-1465248993 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079839-1465248993.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 390f49d8db402e26df87629238cc1aa6 RANDOM SEED=534949342 node103.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.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 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.760 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.760 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.760 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.760 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.760 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 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: 30574388 kB Buffers: 54312 kB Cached: 136648 kB SwapCached: 1716 kB Active: 1255248 kB Inactive: 89816 kB Active(anon): 1155324 kB Inactive(anon): 1160 kB Active(file): 99924 kB Inactive(file): 88656 kB Unevictable: 249824 kB Mlocked: 10676 kB SwapTotal: 67108856 kB SwapFree: 67096644 kB Dirty: 17916 kB Writeback: 0 kB AnonPages: 1403452 kB Mapped: 10760 kB Shmem: 0 kB Slab: 569920 kB SReclaimable: 13736 kB SUnreclaim: 556184 kB KernelStack: 1448 kB PageTables: 6804 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1548220 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1370112 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node103 at 2016-06-07 00:06:34