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.02 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-glass4.opb |
| MD5SUM | bde08d14cdb5e6beb81499ee17ba1695 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1100 |
| Best CPU time to get the best result obtained on this benchmark | 1800.05 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1211 |
| Optimality of the best value was proved | NO |
| Number of variables | 780 |
| Total number of constraints | 405 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 36 |
| Number of constraints which are nor clauses,nor cardinality constraints | 369 |
| Minimum length of a constraint | 6 |
| Maximum length of a constraint | 101 |
| Number of terms in the objective function | 478 |
| Biggest coefficient in the objective function | 262140 |
| Number of bits for the biggest coefficient in the objective function | 18 |
| Sum of the numbers in the objective function | 524739 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262140 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 524739 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-18T03:29:08+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-4100313-1466213348.opb"] 0.00/0.01 c use --random-gen="1996920709 3826923301 969980581 3348048600 1048306449 1174313210 2202641012 1077638407 3739173796 197430394 251414532 1806755958 3519364292 829461286 1980285276 3044198676 4275463930 3012516746 3716419145 3257319498 1317978095 1087728392 3612779337 3643027043 2788979868 2999179264 4280360305 4098111895 1359897527 82055153 966166457 564328189 2510099136 2164875377 2540601007 3194552746 1557259451 4069317588 237814271 2313953936 4072325201 3037417578 1164159781 1493851485 2394358024 131882714 4103303608 449570596 1333770295 582426987 695528447 1702238934 42925652 1161014367 4152994858 3619298345 3806731427 1786165406 2611167596 2900032580 764368137 618590169 1387969111 792079590 4054552781 3050258947 477774246 2501766462 587677150 3467378131 3699573288 657031140 1334474806 1478902993 844674335 1836013191 1981158878 2872635854 3194319576 1690014721 2114218534 1873053014 2265186802 2497799536 1657082685 3002683890 872436573 2472720747 2715472767 3170653146 3681223197 3183483100 3606026316 3176996262 817589890 2681259870 1804369133 3172700373 752421780 1262878392 2081153155 842714422 800256086 692779261 52208196 730115273 300877048 2640911132 4219338811 483420027 2561954407 1669577128 3100469651 3628134532 893437363 1944159540 4059083809 305777109 1518371800 2257584590 2650527891 3658154941 2877641811 3627659130 3155875665 538212224 1892336110 2446693768 2872924764 481673608 3508879654 1337081346 2290053555 569769933 458248458 1905421538 1123109492 3832607792 1335308921 3984505046 1281120765 873430867 3825077967 2471812066 4252581616 2890555180 3204297691 2752634274 789850800 2434939464 447364726 1536804340 2804131701 737911909 3049070527 2546767907 3620045292 134953853 3049953174 3174241505 3124853377 432681129 1971588008 2183140889 3114498810 2667496322 3908648845 2095647 4169993303 2035419603 3060812804 3310157586 420850950 1133821674 2879221275 462504214 2764243399 3892773195 2230949910 3772203881 3680227977 857395677 4098106398 1265362066 1433809790 652573067 65364586 2009253571 1649027441 776962844 3686934529 2664364995 481871506 1187646948 3227093462 2998990008 684246905 2357180291 1896843390 2591805544 1078523483 625675661 2841562873 2040210486 1719520137 3319872248 293070972 3843764538 1828666205 3161888478 1729849993 1963475335 1100794665 2712080944 1933425262 3665008670 4156287647 358640313 2445133328 3871190421 916300370 3588654715 3605668505 1246889444 3969731055 3042967394 1640761574 751376191 1634647593 905289098 3314094241 4250986910 1534856687 3765661964 73796337 976466903 1164224861 389455289 1290840926 1788039834 3726426825 1876259096 2915012959 3287231323 4198444828 2005039784 1209607491 4036479414 11719510 1655368577 3087793328 3905990372 402530535 3407168773 1028590077 2410482672 255 362436" option to reproduce the execution 0.00/0.07 c #vars 780 0.00/0.07 c #constraints 405 0.69/0.75 c BCD2: Hardening is enabled. 0.69/0.75 c BCD2: BiasedSearch is enabled. 0.69/0.75 c Solving starts ... 0.69/0.75 c ============================[ Search Statistics ]============================ 0.69/0.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.75 c | | | | Limit GC | Var | Constra 0.69/1.02 c ============================================================================= 0.69/1.02 c 0.0s | 0 | 0 | 0 | 407 0 | 4 | 0 0.69/1.02 c 0.1s | 1 | 386 | 100 | 407 0 | 4 | 4 0.69/1.02 c 0.2s | 2 | 556 | 250 | 448 0 | 4 | 4 0.69/1.02 c 0.3s | 3 | 804 | 475 | 493 0 | 4 | 4 1.11/1.18 c 0.4s | 4 | 1165 | 813 | 543 1 | 4 | 4 1.39/1.48 c 0.7s | 5 | 2120 | 1320 | 598 1 | 4 | 4 1.49/1.51 c 0.8s | 5 | 2473 | 1324 | 658 2 | 4 | 4 1.49/1.51 c #cpu_time = 0.750s 1.49/1.51 c #wall_clock_time = 0.752s 1.49/1.51 c #decision = 2473 1.49/1.51 c #random_decision = 7 1.49/1.51 c #conflict = 1324 1.49/1.51 c #restart = 5 1.49/1.51 o 524535 1.49/1.51 c BCD2: updating upper bound: 524739 -> 524534 1.49/1.51 c BCD2: 0 <= obj <= 524534 1.49/1.51 c BCD2: #cores=0, #unrelaxed=478, #relaxed=0, #hardened=0 1.49/1.51 c BCD2: #sat=1 #unsat=1 bias=1/2 1.49/1.51 c Solving starts ... 1.49/1.51 c ============================[ Search Statistics ]============================ 1.49/1.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.51 c | | | | Limit GC | Var | Constra 1.49/1.51 c ============================================================================= 1.49/1.51 c 0.0s | 0 | 0 | 0 | 658 0 | 4 | 4 1.49/1.52 c 0.0s | 0 | 215 | 1 | 658 0 | 4 | 4 1.49/1.52 c #cpu_time = 0.009s 1.49/1.52 c #wall_clock_time = 0.009s 1.49/1.52 c #decision = 215 1.49/1.52 c #random_decision = 0 1.49/1.52 c #conflict = 1 1.49/1.52 c #restart = 0 1.49/1.52 c BCD2: found a new core of size 26: cost of the new core is >=1 1.49/1.52 c lower bound updated to 1 1.49/1.52 c BCD2: 1 <= obj <= 524534 1.49/1.52 c BCD2: #cores=1, #unrelaxed=452, #relaxed=26, #hardened=0 1.49/1.52 c BCD2: #sat=1 #unsat=2 bias=2/3 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 | 658 0 | 4 | 4 1.49/1.53 c 0.0s | 0 | 246 | 1 | 658 0 | 4 | 4 1.49/1.53 c #cpu_time = 0.009s 1.49/1.53 c #wall_clock_time = 0.009s 1.49/1.53 c #decision = 246 1.49/1.53 c #random_decision = 0 1.49/1.53 c #conflict = 1 1.49/1.53 c #restart = 0 1.49/1.53 c BCD2: found a new core of size 29: cost of the new core is >=1 1.49/1.53 c lower bound updated to 2 1.49/1.53 c BCD2: 2 <= obj <= 524534 1.49/1.53 c BCD2: #cores=2, #unrelaxed=423, #relaxed=55, #hardened=0 1.49/1.53 c BCD2: #sat=1 #unsat=3 bias=3/4 1.49/1.53 c Solving starts ... 1.49/1.53 c ============================[ Search Statistics ]============================ 1.49/1.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.53 c | | | | Limit GC | Var | Constra 1.49/1.53 c ============================================================================= 1.49/1.53 c 0.0s | 0 | 0 | 0 | 658 0 | 4 | 4 1.49/1.54 c 0.0s | 0 | 273 | 0 | 658 0 | 4 | 4 1.49/1.54 c #cpu_time = 0.009s 1.49/1.54 c #wall_clock_time = 0.009s 1.49/1.54 c #decision = 273 1.49/1.54 c #random_decision = 0 1.49/1.54 c #conflict = 0 1.49/1.54 c #restart = 0 1.49/1.54 c BCD2: found a new core of size 28: cost of the new core is >=1 1.49/1.54 c lower bound updated to 3 1.49/1.54 c BCD2: 3 <= obj <= 524534 1.49/1.54 c BCD2: #cores=3, #unrelaxed=395, #relaxed=83, #hardened=0 1.49/1.54 c BCD2: #sat=1 #unsat=4 bias=4/5 1.49/1.54 c Solving starts ... 1.49/1.54 c ============================[ Search Statistics ]============================ 1.49/1.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.54 c | | | | Limit GC | Var | Constra 1.49/1.54 c ============================================================================= 1.49/1.54 c 0.0s | 0 | 0 | 0 | 658 0 | 4 | 4 1.49/1.55 c 0.0s | 0 | 302 | 0 | 658 0 | 4 | 4 1.49/1.55 c #cpu_time = 0.009s 1.49/1.55 c #wall_clock_time = 0.009s 1.49/1.55 c #decision = 302 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 36: cost of the new core is >=1 1.49/1.55 c lower bound updated to 4 1.49/1.55 c BCD2: 4 <= obj <= 524534 1.49/1.55 c BCD2: #cores=4, #unrelaxed=359, #relaxed=119, #hardened=0 1.49/1.55 c BCD2: #sat=1 #unsat=5 bias=5/6 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 | 658 0 | 4 | 4 1.49/1.57 c 0.0s | 0 | 329 | 0 | 658 0 | 4 | 4 1.49/1.57 c #cpu_time = 0.011s 1.49/1.57 c #wall_clock_time = 0.011s 1.49/1.57 c #decision = 329 1.49/1.57 c #random_decision = 0 1.49/1.57 c #conflict = 0 1.49/1.57 c #restart = 0 1.49/1.57 c BCD2: found a new core of size 11: cost of the new core is >=256 1.49/1.57 c lower bound updated to 260 1.49/1.57 c BCD2: 260 <= obj <= 524534 1.49/1.57 c BCD2: #cores=5, #unrelaxed=348, #relaxed=130, #hardened=0 1.49/1.57 c BCD2: #sat=1 #unsat=6 bias=6/7 1.49/1.57 c Solving starts ... 1.49/1.57 c ============================[ Search Statistics ]============================ 1.49/1.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.57 c | | | | Limit GC | Var | Constra 1.49/1.57 c ============================================================================= 1.49/1.57 c 0.0s | 0 | 0 | 0 | 658 0 | 4 | 4 1.49/1.59 c 0.0s | 0 | 546 | 20 | 658 0 | 4 | 4 1.49/1.59 c #cpu_time = 0.017s 1.49/1.59 c #wall_clock_time = 0.017s 1.49/1.59 c #decision = 546 1.49/1.59 c #random_decision = 1 1.49/1.59 c #conflict = 20 1.49/1.59 c #restart = 0 1.49/1.59 o 2331 1.49/1.59 c BCD2: hardening fixes 7 literals 1.49/1.59 c BCD2: updating upper bound: 524534 -> 2330 1.49/1.59 c BCD2: 260 <= obj <= 2330 1.49/1.59 c BCD2: #cores=5, #unrelaxed=348, #relaxed=123, #hardened=7 1.49/1.59 c BCD2: #sat=2 #unsat=6 bias=6/8 1.49/1.59 c Solving starts ... 1.49/1.59 c ============================[ Search Statistics ]============================ 1.49/1.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.59 c | | | | Limit GC | Var | Constra 1.49/1.59 c ============================================================================= 1.49/1.59 c 0.0s | 0 | 0 | 0 | 658 0 | 74 | 4 1.59/1.62 c 0.0s | 0 | 517 | 34 | 658 0 | 74 | 6 1.59/1.62 c #cpu_time = 0.026s 1.59/1.62 c #wall_clock_time = 0.026s 1.59/1.62 c #decision = 517 1.59/1.62 c #random_decision = 0 1.59/1.62 c #conflict = 34 1.59/1.62 c #restart = 0 1.59/1.62 o 1812 1.59/1.62 c BCD2: hardening fixes 1 literals 1.59/1.62 c BCD2: updating upper bound: 2330 -> 1811 1.59/1.62 c BCD2: 260 <= obj <= 1811 1.59/1.62 c BCD2: #cores=5, #unrelaxed=348, #relaxed=122, #hardened=8 1.59/1.62 c BCD2: #sat=3 #unsat=6 bias=6/9 1.59/1.62 c Solving starts ... 1.59/1.62 c ============================[ Search Statistics ]============================ 1.59/1.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.62 c | | | | Limit GC | Var | Constra 1.59/1.62 c ============================================================================= 1.59/1.62 c 0.0s | 0 | 0 | 0 | 658 0 | 84 | 7 1.59/1.67 c 0.0s | 1 | 513 | 100 | 658 0 | 84 | 9 1.69/1.74 c 0.1s | 2 | 1167 | 250 | 658 0 | 84 | 9 1.79/1.85 c 0.2s | 3 | 1912 | 475 | 658 0 | 84 | 9 1.99/2.03 c 0.4s | 4 | 2767 | 813 | 724 0 | 84 | 9 2.19/2.27 c 0.6s | 5 | 4019 | 1320 | 724 1 | 84 | 9 2.69/2.71 c 1.1s | 6 | 5602 | 2081 | 797 2 | 84 | 9 2.99/3.06 c 1.4s | 6 | 6824 | 2586 | 797 3 | 84 | 9 2.99/3.06 c #cpu_time = 1.429s 2.99/3.06 c #wall_clock_time = 1.432s 2.99/3.06 c #decision = 6824 2.99/3.06 c #random_decision = 14 2.99/3.06 c #conflict = 2586 2.99/3.06 c #restart = 6 2.99/3.06 o 1294 2.99/3.06 c BCD2: updating upper bound: 1811 -> 1293 2.99/3.06 c BCD2: 260 <= obj <= 1293 2.99/3.06 c BCD2: #cores=5, #unrelaxed=348, #relaxed=122, #hardened=8 2.99/3.06 c BCD2: #sat=4 #unsat=6 bias=6/10 2.99/3.06 c Solving starts ... 2.99/3.06 c ============================[ Search Statistics ]============================ 2.99/3.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.99/3.06 c | | | | Limit GC | Var | Constra 2.99/3.06 c ============================================================================= 2.99/3.06 c 0.0s | 0 | 0 | 0 | 797 0 | 84 | 9 2.99/3.09 c 0.0s | 0 | 346 | 7 | 797 1 | 84 | 9 2.99/3.09 c #cpu_time = 0.030s 2.99/3.09 c #wall_clock_time = 0.030s 2.99/3.09 c #decision = 346 2.99/3.09 c #random_decision = 0 2.99/3.09 c #conflict = 7 2.99/3.09 c #restart = 0 2.99/3.09 c BCD2: relaxing 86 and merging with 2 cores into a new core of size 123: cost of the new core is >=258 2.99/3.09 c lower bound updated to 261 2.99/3.09 c BCD2: 261 <= obj <= 1293 2.99/3.09 c BCD2: #cores=4, #unrelaxed=262, #relaxed=208, #hardened=8 2.99/3.09 c BCD2: #sat=4 #unsat=7 bias=7/11 2.99/3.09 c Solving starts ... 2.99/3.09 c ============================[ Search Statistics ]============================ 2.99/3.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.99/3.09 c | | | | Limit GC | Var | Constra 2.99/3.09 c ============================================================================= 2.99/3.09 c 0.0s | 0 | 0 | 0 | 797 0 | 95 | 9 3.09/3.15 c 0.1s | 1 | 561 | 100 | 797 0 | 95 | 27 3.19/3.22 c 0.1s | 2 | 1028 | 250 | 797 0 | 95 | 27 3.29/3.34 c 0.2s | 3 | 1647 | 475 | 797 0 | 95 | 27 3.49/3.54 c 0.4s | 4 | 2515 | 813 | 797 0 | 95 | 27 3.79/3.83 c 0.7s | 5 | 3563 | 1320 | 877 1 | 95 | 27 4.39/4.46 c 1.4s | 6 | 5126 | 2081 | 877 3 | 95 | 27 5.29/5.36 c 2.3s | 7 | 7324 | 3223 | 877 4 | 95 | 27 6.49/6.56 c 3.5s | 8 | 10508 | 4936 | 965 7 | 95 | 27 8.19/8.27 c 5.2s | 9 | 14224 | 7506 | 1062 10 | 95 | 27 10.20/10.29 c 7.2s | 9 | 19250 | 10506 | 1062 15 | 95 | 27 10.89/10.93 c 7.8s | 10 | 20792 | 11361 | 1062 16 | 95 | 27 12.89/12.98 c 9.9s | 10 | 25502 | 15161 | 1169 20 | 95 | 27 13.99/14.04 c 10.9s | 11 | 27601 | 17144 | 1169 22 | 95 | 27 15.99/16.07 c 13.0s | 11 | 33384 | 20544 | 1169 27 | 95 | 27 18.00/18.10 c 15.0s | 11 | 38134 | 24444 | 1286 31 | 95 | 27 19.00/19.01 c 15.9s | 12 | 39626 | 25819 | 1286 32 | 95 | 27 20.99/21.07 c 18.0s | 12 | 45277 | 29519 | 1286 37 | 95 | 27 23.09/23.14 c 20.0s | 12 | 50311 | 33419 | 1286 41 | 95 | 27 25.09/25.17 c 22.1s | 12 | 54865 | 37119 | 1415 45 | 95 | 27 25.99/26.01 c 22.9s | 13 | 57370 | 38832 | 1415 47 | 95 | 27 27.99/28.03 c 24.9s | 13 | 62889 | 42732 | 1415 51 | 95 | 27 29.99/30.04 c 26.9s | 13 | 68091 | 46632 | 1415 55 | 95 | 27 31.99/32.07 c 29.0s | 13 | 73500 | 50432 | 1415 59 | 95 | 27 33.99/34.08 c 31.0s | 13 | 77065 | 53132 | 1415 62 | 95 | 27 36.09/36.13 c 33.0s | 13 | 81763 | 56232 | 1557 65 | 95 | 27 37.19/37.20 c 34.1s | 14 | 84497 | 58352 | 1557 67 | 95 | 27 39.19/39.20 c 36.1s | 14 | 89951 | 62452 | 1557 71 | 95 | 27 41.18/41.22 c 38.1s | 14 | 95479 | 66152 | 1557 75 | 95 | 27 43.19/43.28 c 40.2s | 14 | 103163 | 69752 | 1557 78 | 95 | 27 45.28/45.32 c 42.2s | 14 | 110540 | 73252 | 1557 82 | 95 | 27 47.28/47.38 c 44.3s | 14 | 118247 | 76852 | 1557 85 | 95 | 27 49.38/49.41 c 46.3s | 14 | 124141 | 80852 | 1557 89 | 95 | 27 51.38/51.44 c 48.3s | 14 | 131555 | 84452 | 1713 92 | 95 | 27 52.98/53.09 c 50.0s | 15 | 136317 | 87632 | 1713 95 | 95 | 27 55.08/55.13 c 52.0s | 15 | 142652 | 91532 | 1713 98 | 95 | 27 57.08/57.17 c 54.1s | 15 | 146877 | 94132 | 1713 101 | 95 | 27 58.69/58.73 c 55.6s | 15 | 151300 | 96639 | 1713 103 | 95 | 27 58.69/58.73 c #cpu_time = 55.492s 58.69/58.73 c #wall_clock_time = 55.635s 58.69/58.73 c #decision = 151300 58.69/58.73 c #random_decision = 464 58.69/58.73 c #conflict = 96639 58.69/58.73 c #restart = 15 58.69/58.73 c BCD2: relaxing 234 and merging with 4 cores into a new core of size 450: cost of the new core is >=262 58.69/58.73 c lower bound updated to 262 58.69/58.73 c BCD2: 262 <= obj <= 1293 58.69/58.73 c BCD2: #cores=1, #unrelaxed=28, #relaxed=442, #hardened=8 58.69/58.73 c BCD2: #sat=4 #unsat=8 bias=8/12 58.69/58.73 c Solving starts ... 58.69/58.73 c ============================[ Search Statistics ]============================ 58.69/58.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 58.69/58.73 c | | | | Limit GC | Var | Constra 58.69/58.73 c ============================================================================= 58.69/58.73 c 0.0s | 0 | 0 | 0 | 1713 0 | 112 | 27 58.78/58.81 c 0.1s | 1 | 320 | 100 | 1713 0 | 112 | 56 58.78/58.89 c 0.2s | 2 | 531 | 250 | 1713 0 | 112 | 56 58.88/58.98 c 0.2s | 3 | 843 | 475 | 1713 0 | 112 | 56 59.08/59.11 c 0.4s | 4 | 1371 | 813 | 1713 0 | 112 | 56 59.28/59.31 c 0.6s | 5 | 2042 | 1320 | 1713 0 | 112 | 56 59.58/59.67 c 0.9s | 6 | 3037 | 2081 | 1713 1 | 112 | 56 60.18/60.27 c 1.5s | 7 | 4804 | 3223 | 1713 2 | 112 | 56 60.89/60.97 c 2.2s | 8 | 6757 | 4936 | 1713 4 | 112 | 56 61.99/62.09 c 3.4s | 9 | 10211 | 7506 | 1713 7 | 112 | 56 63.48/63.55 c 4.8s | 10 | 14654 | 11361 | 1713 11 | 112 | 56 65.48/65.50 c 6.8s | 11 | 20503 | 17144 | 1713 17 | 112 | 56 67.49/67.53 c 8.8s | 11 | 26163 | 22744 | 1713 23 | 112 | 56 68.68/68.71 c 10.0s | 12 | 29721 | 25819 | 1713 26 | 112 | 56 70.69/70.73 c 12.0s | 12 | 35210 | 30019 | 1713 30 | 112 | 56 72.68/72.73 c 14.0s | 12 | 40856 | 34519 | 1885 35 | 112 | 56 74.68/74.71 c 16.0s | 13 | 45897 | 38832 | 1885 39 | 112 | 56 76.68/76.72 c 18.0s | 13 | 52000 | 43032 | 1885 43 | 112 | 56 78.68/78.74 c 20.0s | 13 | 56817 | 47332 | 1885 47 | 112 | 56 80.68/80.78 c 22.1s | 13 | 62282 | 52132 | 1885 51 | 112 | 56 82.78/82.82 c 24.1s | 13 | 68025 | 56932 | 1885 56 | 112 | 56 83.48/83.51 c 24.8s | 14 | 70033 | 58352 | 1885 57 | 112 | 56 85.48/85.54 c 26.8s | 14 | 76099 | 64152 | 1885 63 | 112 | 56 87.48/87.57 c 28.8s | 14 | 81839 | 69852 | 1885 69 | 112 | 56 89.48/89.58 c 30.9s | 14 | 87566 | 75552 | 1885 74 | 112 | 56 91.48/91.59 c 32.9s | 14 | 93392 | 81352 | 1885 80 | 112 | 56 93.57/93.62 c 34.9s | 14 | 99034 | 86952 | 1885 85 | 112 | 56 93.78/93.86 c 35.1s | 15 | 99724 | 87632 | 1885 86 | 112 | 56 95.77/95.88 c 37.2s | 15 | 105269 | 91232 | 1885 89 | 112 | 56 97.77/97.89 c 39.2s | 15 | 109711 | 94332 | 1885 92 | 112 | 56 99.87/99.90 c 41.2s | 15 | 115348 | 99832 | 2074 97 | 112 | 56 101.87/101.92 c 43.2s | 15 | 121384 | 105832 | 2074 102 | 112 | 56 103.87/103.95 c 45.2s | 15 | 127312 | 111732 | 2074 107 | 112 | 56 105.88/105.96 c 47.2s | 15 | 132983 | 117232 | 2074 112 | 112 | 56 107.97/108.02 c 49.3s | 15 | 138830 | 122432 | 2074 117 | 112 | 56 109.97/110.05 c 51.3s | 15 | 144503 | 127632 | 2074 121 | 112 | 56 111.67/111.79 c 53.1s | 16 | 149207 | 131552 | 2074 125 | 112 | 56 113.77/113.82 c 55.1s | 16 | 154690 | 136952 | 2074 130 | 112 | 56 115.78/115.83 c 57.1s | 16 | 159915 | 142152 | 2074 134 | 112 | 56 117.77/117.85 c 59.1s | 16 | 165247 | 147452 | 2074 139 | 112 | 56 119.77/119.87 c 61.1s | 16 | 170478 | 152652 | 2074 143 | 112 | 56 121.77/121.89 c 63.2s | 16 | 175707 | 157852 | 2074 148 | 112 | 56 123.87/123.91 c 65.2s | 16 | 180940 | 163052 | 2074 153 | 112 | 56 125.87/125.95 c 67.2s | 16 | 186182 | 168252 | 2074 157 | 112 | 56 127.87/127.97 c 69.2s | 16 | 191409 | 173452 | 2074 162 | 112 | 56 129.87/129.98 c 71.2s | 16 | 196742 | 178752 | 2074 167 | 112 | 56 131.87/131.98 c 73.3s | 16 | 202371 | 184352 | 2074 172 | 112 | 56 133.97/134.01 c 75.3s | 16 | 207788 | 189752 | 2074 176 | 112 | 56 135.97/136.04 c 77.3s | 16 | 213123 | 195052 | 2282 181 | 112 | 56 136.87/136.96 c 78.2s | 17 | 215524 | 197432 | 2282 183 | 112 | 56 138.88/138.97 c 80.2s | 17 | 220884 | 202732 | 2282 187 | 112 | 56 140.97/141.06 c 82.3s | 17 | 226223 | 208032 | 2282 191 | 112 | 56 142.97/143.08 c 84.3s | 17 | 231444 | 213232 | 2282 196 | 112 | 56 145.07/145.11 c 86.4s | 17 | 236774 | 218532 | 2282 200 | 112 | 56 147.07/147.12 c 88.4s | 17 | 242098 | 223832 | 2282 204 | 112 | 56 149.07/149.12 c 90.4s | 17 | 247517 | 229232 | 2282 209 | 112 | 56 151.08/151.16 c 92.4s | 17 | 253039 | 234732 | 2282 213 | 112 | 56 153.07/153.16 c 94.4s | 17 | 258562 | 240232 | 2282 217 | 112 | 56 155.07/155.16 c 96.4s | 17 | 263804 | 245432 | 2282 222 | 112 | 56 157.07/157.18 c 98.5s | 17 | 269234 | 250832 | 2282 226 | 112 | 56 159.16/159.21 c 100s | 17 | 274767 | 256332 | 2282 231 | 112 | 56 161.16/161.21 c 102s | 17 | 280202 | 261732 | 2282 235 | 112 | 56 163.17/163.21 c 104s | 17 | 285428 | 266932 | 2282 239 | 112 | 56 165.16/165.25 c 106s | 17 | 290853 | 272332 | 2282 244 | 112 | 56 167.16/167.27 c 108s | 17 | 296178 | 277632 | 2282 248 | 112 | 56 169.16/169.28 c 110s | 17 | 301419 | 282832 | 2282 252 | 112 | 56 171.26/171.31 c 112s | 17 | 306857 | 288232 | 2282 256 | 112 | 56 173.26/173.31 c 114s | 17 | 312282 | 293632 | 2282 261 | 112 | 56 174.17/174.25 c 115s | 18 | 314924 | 296252 | 2282 263 | 112 | 56 176.16/176.26 c 117s | 18 | 320380 | 301652 | 2282 267 | 112 | 56 178.16/178.27 c 119s | 18 | 325321 | 306552 | 2282 271 | 112 | 56 180.16/180.29 c 121s | 18 | 330547 | 311752 | 2282 275 | 112 | 56 182.26/182.30 c 123s | 18 | 335774 | 316952 | 2282 280 | 112 | 56 184.26/184.33 c 125s | 18 | 340997 | 322152 | 2282 284 | 112 | 56 186.26/186.34 c 127s | 18 | 346114 | 327252 | 2282 288 | 112 | 56 188.26/188.35 c 129s | 18 | 351343 | 332452 | 2282 292 | 112 | 56 190.26/190.37 c 131s | 18 | 356571 | 337652 | 2282 296 | 112 | 56 192.36/192.40 c 133s | 18 | 361598 | 342652 | 2511 300 | 112 | 56 194.36/194.42 c 135s | 18 | 366822 | 347852 | 2511 304 | 112 | 56 196.36/196.44 c 137s | 18 | 372042 | 353052 | 2511 308 | 112 | 56 198.36/198.46 c 139s | 18 | 377072 | 358052 | 2511 312 | 112 | 56 200.36/200.47 c 141s | 18 | 382293 | 363252 | 2511 316 | 112 | 56 202.36/202.48 c 143s | 18 | 387339 | 368252 | 2511 319 | 112 | 56 204.36/204.49 c 145s | 18 | 392460 | 373352 | 2511 323 | 112 | 56 206.46/206.52 c 147s | 18 | 397185 | 378052 | 2511 327 | 112 | 56 208.46/208.53 c 149s | 18 | 402611 | 383452 | 2511 331 | 112 | 56 210.47/210.58 c 151s | 18 | 407934 | 388752 | 2511 335 | 112 | 56 212.46/212.60 c 153s | 18 | 413177 | 393952 | 2511 338 | 112 | 56 214.56/214.63 c 155s | 18 | 418409 | 399152 | 2511 342 | 112 | 56 216.56/216.66 c 157s | 18 | 423437 | 404152 | 2511 346 | 112 | 56 218.66/218.70 c 159s | 18 | 428662 | 409352 | 2511 350 | 112 | 56 220.66/220.70 c 161s | 18 | 433798 | 414452 | 2511 354 | 112 | 56 222.66/222.73 c 163s | 18 | 438730 | 419352 | 2511 357 | 112 | 56 224.67/224.74 c 166s | 18 | 443850 | 424452 | 2511 361 | 112 | 56 226.66/226.77 c 168s | 18 | 449204 | 429752 | 2511 365 | 112 | 56 228.66/228.80 c 170s | 18 | 454330 | 434852 | 2511 369 | 112 | 56 230.76/230.84 c 172s | 18 | 459453 | 439952 | 2511 373 | 112 | 56 232.56/232.69 c 173s | 19 | 464006 | 444482 | 2511 376 | 112 | 56 234.66/234.71 c 175s | 19 | 469366 | 449782 | 2511 380 | 112 | 56 236.66/236.71 c 177s | 19 | 474701 | 455082 | 2511 384 | 112 | 56 238.66/238.73 c 179s | 19 | 479945 | 460282 | 2511 388 | 112 | 56 240.66/240.75 c 182s | 19 | 485158 | 465482 | 2511 392 | 112 | 56 242.76/242.80 c 184s | 19 | 490578 | 470882 | 2511 396 | 112 | 56 244.75/244.82 c 186s | 19 | 495898 | 476182 | 2511 399 | 112 | 56 246.76/246.83 c 188s | 19 | 501221 | 481482 | 2511 403 | 112 | 56 248.75/248.87 c 190s | 19 | 506458 | 486682 | 2511 407 | 112 | 56 250.75/250.90 c 192s | 19 | 511483 | 491682 | 2511 411 | 112 | 56 252.85/252.93 c 194s | 19 | 516605 | 496782 | 2511 415 | 112 | 56 254.85/254.94 c 196s | 19 | 521719 | 501882 | 2511 419 | 112 | 56 256.85/256.96 c 198s | 19 | 527047 | 507182 | 2511 422 | 112 | 56 258.86/258.98 c 200s | 19 | 532475 | 512582 | 2511 426 | 112 | 56 260.85/260.99 c 202s | 19 | 537809 | 517882 | 2511 430 | 112 | 56 262.95/263.02 c 204s | 19 | 543134 | 523182 | 2511 434 | 112 | 56 264.95/265.05 c 206s | 19 | 548458 | 528482 | 2511 438 | 112 | 56 266.95/267.06 c 208s | 19 | 553688 | 533682 | 2511 442 | 112 | 56 269.05/269.10 c 210s | 19 | 558822 | 538782 | 2511 446 | 112 | 56 271.05/271.12 c 212s | 19 | 564247 | 544182 | 2511 450 | 112 | 56 273.05/273.12 c 214s | 19 | 569663 | 549582 | 2511 454 | 112 | 56 275.05/275.13 c 216s | 19 | 574983 | 554882 | 2511 458 | 112 | 56 277.05/277.14 c 218s | 19 | 580519 | 560382 | 2511 462 | 112 | 56 279.05/279.18 c 220s | 19 | 585843 | 565682 | 2763 466 | 112 | 56 281.15/281.20 c 222s | 19 | 591161 | 570982 | 2763 469 | 112 | 56 283.15/283.23 c 224s | 19 | 596493 | 576282 | 2763 473 | 112 | 56 285.15/285.23 c 226s | 19 | 602026 | 581782 | 2763 476 | 112 | 56 287.14/287.27 c 228s | 19 | 607053 | 586782 | 2763 480 | 112 | 56 289.14/289.28 c 230s | 19 | 612174 | 591882 | 2763 483 | 112 | 56 291.14/291.30 c 232s | 19 | 617590 | 597282 | 2763 487 | 112 | 56 293.24/293.32 c 234s | 19 | 623108 | 602782 | 2763 491 | 112 | 56 295.24/295.35 c 236s | 19 | 628431 | 608082 | 2763 494 | 112 | 56 297.25/297.36 c 238s | 19 | 633657 | 613282 | 2763 498 | 112 | 56 299.24/299.36 c 240s | 19 | 638880 | 618482 | 2763 501 | 112 | 56 301.24/301.36 c 242s | 19 | 644294 | 623882 | 2763 505 | 112 | 56 303.24/303.36 c 244s | 19 | 649124 | 628682 | 2763 508 | 112 | 56 305.25/305.39 c 246s | 19 | 654338 | 633882 | 2763 512 | 112 | 56 307.35/307.43 c 248s | 19 | 659555 | 639082 | 2763 515 | 112 | 56 309.35/309.45 c 250s | 19 | 664675 | 644182 | 2763 519 | 112 | 56 311.35/311.46 c 252s | 19 | 669712 | 649182 | 2763 522 | 112 | 56 313.35/313.47 c 254s | 19 | 674522 | 653982 | 2763 525 | 112 | 56 315.35/315.48 c 256s | 19 | 679548 | 658982 | 2763 529 | 112 | 56 317.44/317.51 c 258s | 19 | 684272 | 663682 | 2763 532 | 112 | 56 318.54/318.68 c 259s | 20 | 687431 | 666827 | 2763 534 | 112 | 56 320.54/320.69 c 261s | 20 | 692402 | 671727 | 2763 538 | 112 | 56 322.65/322.72 c 263s | 20 | 697419 | 676727 | 2763 541 | 112 | 56 324.64/324.74 c 266s | 20 | 702644 | 681927 | 2763 544 | 112 | 56 326.64/326.76 c 268s | 20 | 707875 | 687127 | 2763 548 | 112 | 56 328.64/328.77 c 270s | 20 | 713001 | 692227 | 2763 551 | 112 | 56 330.64/330.77 c 272s | 20 | 718223 | 697427 | 2763 555 | 112 | 56 332.74/332.82 c 274s | 20 | 723549 | 702727 | 2763 559 | 112 | 56 334.74/334.82 c 276s | 20 | 728584 | 707727 | 2763 562 | 112 | 56 336.74/336.85 c 278s | 20 | 733705 | 712827 | 2763 565 | 112 | 56 338.73/338.88 c 280s | 20 | 738841 | 717927 | 2763 569 | 112 | 56 340.73/340.88 c 282s | 20 | 743777 | 722827 | 2763 572 | 112 | 56 342.73/342.89 c 284s | 20 | 749305 | 728327 | 2763 576 | 112 | 56 344.83/344.91 c 286s | 20 | 754332 | 733327 | 2763 579 | 112 | 56 346.84/346.92 c 288s | 20 | 759852 | 738827 | 2763 583 | 112 | 56 348.83/348.94 c 290s | 20 | 764873 | 743827 | 2763 586 | 112 | 56 350.83/350.97 c 292s | 20 | 770106 | 749027 | 2763 590 | 112 | 56 352.93/353.00 c 294s | 20 | 775434 | 754327 | 2763 594 | 112 | 56 354.93/355.03 c 296s | 20 | 780646 | 759527 | 2763 597 | 112 | 56 356.93/357.04 c 298s | 20 | 785768 | 764627 | 2763 601 | 112 | 56 358.93/359.04 c 300s | 20 | 790898 | 769727 | 2763 604 | 112 | 56 360.93/361.04 c 302s | 20 | 795925 | 774727 | 2763 607 | 112 | 56 362.92/363.06 c 304s | 20 | 800254 | 779027 | 2763 610 | 112 | 56 364.92/365.07 c 306s | 20 | 804873 | 783627 | 2763 613 | 112 | 56 366.92/367.07 c 308s | 20 | 810104 | 788827 | 2763 617 | 112 | 56 368.92/369.08 c 310s | 20 | 815333 | 794027 | 2763 620 | 112 | 56 371.03/371.12 c 312s | 20 | 820563 | 799227 | 2763 624 | 112 | 56 373.02/373.14 c 314s | 20 | 825785 | 804427 | 2763 628 | 112 | 56 375.02/375.15 c 316s | 20 | 831109 | 809727 | 2763 631 | 112 | 56 377.02/377.19 c 318s | 20 | 836125 | 814727 | 2763 635 | 112 | 56 379.01/379.20 c 320s | 20 | 841046 | 819627 | 2763 638 | 112 | 56 381.11/381.20 c 322s | 20 | 846176 | 824727 | 2763 641 | 112 | 56 383.02/383.20 c 324s | 20 | 851197 | 829727 | 2763 645 | 112 | 56 385.11/385.22 c 326s | 20 | 856316 | 834827 | 2763 648 | 112 | 56 387.11/387.25 c 328s | 20 | 861439 | 839927 | 2763 652 | 112 | 56 389.11/389.25 c 330s | 20 | 866368 | 844827 | 2763 655 | 112 | 56 391.11/391.29 c 332s | 20 | 871486 | 849927 | 2763 658 | 112 | 56 393.21/393.32 c 334s | 20 | 876812 | 855227 | 2763 662 | 112 | 56 395.22/395.33 c 336s | 20 | 881733 | 860127 | 2763 665 | 112 | 56 397.21/397.34 c 338s | 20 | 887164 | 865527 | 2763 669 | 112 | 56 399.21/399.37 c 340s | 20 | 892190 | 870527 | 2763 672 | 112 | 56 401.31/401.40 c 342s | 20 | 897525 | 875827 | 2763 676 | 112 | 56 403.31/403.42 c 344s | 20 | 902755 | 881027 | 2763 680 | 112 | 56 405.31/405.49 c 346s | 20 | 907777 | 886027 | 2763 683 | 112 | 56 407.40/407.53 c 348s | 20 | 913001 | 891227 | 2763 686 | 112 | 56 409.41/409.54 c 350s | 20 | 918321 | 896527 | 3040 690 | 112 | 56 411.40/411.57 c 352s | 20 | 923541 | 901727 | 3040 693 | 112 | 56 413.40/413.58 c 354s | 20 | 928461 | 906627 | 3040 696 | 112 | 56 415.40/415.59 c 356s | 20 | 933281 | 911427 | 3040 699 | 112 | 56 417.40/417.59 c 358s | 20 | 938503 | 916627 | 3040 702 | 112 | 56 419.50/419.60 c 360s | 20 | 943920 | 922027 | 3040 705 | 112 | 56 421.50/421.61 c 362s | 20 | 948730 | 926827 | 3040 708 | 112 | 56 423.50/423.63 c 364s | 20 | 953553 | 931627 | 3040 711 | 112 | 56 425.50/425.63 c 366s | 20 | 958775 | 936827 | 3040 715 | 112 | 56 427.50/427.66 c 368s | 20 | 963894 | 941927 | 3040 718 | 112 | 56 429.49/429.68 c 370s | 20 | 969123 | 947127 | 3040 721 | 112 | 56 431.59/431.70 c 372s | 20 | 974447 | 952427 | 3040 724 | 112 | 56 433.60/433.74 c 375s | 20 | 979570 | 957527 | 3040 727 | 112 | 56 435.59/435.79 c 377s | 20 | 984690 | 962627 | 3040 731 | 112 | 56 437.70/437.84 c 379s | 20 | 989612 | 967527 | 3040 734 | 112 | 56 439.70/439.87 c 381s | 20 | 994846 | 972727 | 3040 737 | 112 | 56 441.70/441.88 c 383s | 20 | 999656 | 977527 | 3040 740 | 112 | 56 443.70/443.89 c 385s | 20 | 1004581 | 982427 | 3040 743 | 112 | 56 445.71/445.89 c 387s | 20 | 1009392 | 987227 | 3040 746 | 112 | 56 447.80/447.92 c 389s | 20 | 1014409 | 992227 | 3040 749 | 112 | 56 449.79/449.93 c 391s | 20 | 1019031 | 996827 | 3040 752 | 112 | 56 451.20/451.30 c 392s | 21 | 1022553 | 1000345 | 3040 754 | 112 | 56 453.19/453.32 c 394s | 21 | 1027504 | 1005245 | 3040 757 | 112 | 56 455.19/455.32 c 396s | 21 | 1032528 | 1010245 | 3040 760 | 112 | 56 457.19/457.35 c 398s | 21 | 1037453 | 1015145 | 3040 763 | 112 | 56 459.19/459.36 c 400s | 21 | 1042580 | 1020245 | 3040 766 | 112 | 56 461.19/461.37 c 402s | 21 | 1047298 | 1024945 | 3040 769 | 112 | 56 463.18/463.40 c 404s | 21 | 1052614 | 1030245 | 3040 773 | 112 | 56 465.28/465.42 c 406s | 21 | 1057637 | 1035245 | 3040 776 | 112 | 56 467.28/467.45 c 408s | 21 | 1063053 | 1040645 | 3040 779 | 112 | 56 469.28/469.46 c 410s | 21 | 1068272 | 1045845 | 3040 782 | 112 | 56 471.28/471.47 c 412s | 21 | 1073295 | 1050845 | 3040 785 | 112 | 56 473.29/473.48 c 414s | 21 | 1078117 | 1055645 | 3040 788 | 112 | 56 475.39/475.51 c 416s | 21 | 1083445 | 1060945 | 3040 792 | 112 | 56 477.38/477.52 c 418s | 21 | 1088759 | 1066245 | 3040 795 | 112 | 56 479.38/479.52 c 420s | 21 | 1094079 | 1071545 | 3040 798 | 112 | 56 481.38/481.53 c 422s | 21 | 1099306 | 1076745 | 3040 801 | 112 | 56 483.38/483.55 c 424s | 21 | 1104036 | 1081445 | 3040 804 | 112 | 56 485.38/485.56 c 426s | 21 | 1108762 | 1086145 | 3040 807 | 112 | 56 487.38/487.56 c 428s | 21 | 1113688 | 1091045 | 3040 810 | 112 | 56 489.38/489.57 c 430s | 21 | 1119105 | 1096445 | 3040 814 | 112 | 56 491.48/491.60 c 432s | 21 | 1124529 | 1101845 | 3040 817 | 112 | 56 493.48/493.62 c 434s | 21 | 1129547 | 1106845 | 3040 820 | 112 | 56 495.47/495.63 c 436s | 21 | 1134772 | 1112045 | 3040 823 | 112 | 56 497.48/497.66 c 438s | 21 | 1140020 | 1117245 | 3040 827 | 112 | 56 499.47/499.68 c 440s | 21 | 1145246 | 1122445 | 3040 830 | 112 | 56 501.57/501.70 c 442s | 21 | 1150460 | 1127645 | 3040 833 | 112 | 56 503.57/503.71 c 444s | 21 | 1155687 | 1132845 | 3040 836 | 112 | 56 505.57/505.74 c 447s | 21 | 1161009 | 1138145 | 3040 840 | 112 | 56 507.57/507.79 c 449s | 21 | 1166347 | 1143445 | 3040 843 | 112 | 56 509.66/509.80 c 451s | 21 | 1171664 | 1148745 | 3040 846 | 112 | 56 511.67/511.81 c 453s | 21 | 1176790 | 1153845 | 3040 849 | 112 | 56 513.66/513.83 c 455s | 21 | 1182308 | 1159345 | 3040 853 | 112 | 56 515.66/515.87 c 457s | 21 | 1187538 | 1164545 | 3040 856 | 112 | 56 517.66/517.89 c 459s | 21 | 1192862 | 1169845 | 3040 859 | 112 | 56 519.76/519.90 c 461s | 21 | 1198281 | 1175245 | 3040 863 | 112 | 56 521.76/521.91 c 463s | 21 | 1203566 | 1180445 | 3040 866 | 112 | 56 523.76/523.93 c 465s | 21 | 1208783 | 1185645 | 3040 869 | 112 | 56 525.86/526.01 c 467s | 21 | 1214512 | 1191345 | 3040 873 | 112 | 56 527.85/528.02 c 469s | 21 | 1219641 | 1196445 | 3040 876 | 112 | 56 529.85/530.04 c 471s | 21 | 1225171 | 1201945 | 3040 879 | 112 | 56 531.85/532.04 c 473s | 21 | 1230400 | 1207145 | 3040 882 | 112 | 56 533.85/534.07 c 475s | 21 | 1235924 | 1212645 | 3040 886 | 112 | 56 535.97/536.11 c 477s | 21 | 1241152 | 1217845 | 3040 889 | 112 | 56 537.96/538.11 c 479s | 21 | 1246273 | 1222945 | 3040 892 | 112 | 56 539.96/540.13 c 481s | 21 | 1251697 | 1228345 | 3040 895 | 112 | 56 541.96/542.15 c 483s | 21 | 1257021 | 1233645 | 3040 899 | 112 | 56 543.95/544.16 c 485s | 21 | 1261755 | 1238345 | 3040 902 | 112 | 56 545.95/546.19 c 487s | 21 | 1266580 | 1243145 | 3040 905 | 112 | 56 547.96/548.20 c 489s | 21 | 1272003 | 1248545 | 3040 908 | 112 | 56 550.05/550.21 c 491s | 21 | 1277531 | 1254045 | 3040 911 | 112 | 56 552.05/552.22 c 493s | 21 | 1282752 | 1259245 | 3040 915 | 112 | 56 554.05/554.23 c 495s | 21 | 1288175 | 1264645 | 3040 918 | 112 | 56 556.05/556.27 c 497s | 21 | 1293111 | 1269545 | 3040 921 | 112 | 56 558.04/558.28 c 499s | 21 | 1298343 | 1274745 | 3040 924 | 112 | 56 560.05/560.29 c 501s | 21 | 1303760 | 1280145 | 3040 928 | 112 | 56 562.14/562.30 c 503s | 21 | 1309002 | 1285345 | 3040 931 | 112 | 56 564.14/564.31 c 505s | 21 | 1314317 | 1290645 | 3040 934 | 112 | 56 566.14/566.32 c 507s | 21 | 1319542 | 1295845 | 3040 937 | 112 | 56 568.14/568.33 c 509s | 21 | 1324855 | 1301145 | 3040 941 | 112 | 56 570.13/570.36 c 511s | 21 | 1330081 | 1306345 | 3040 944 | 112 | 56 572.14/572.39 c 513s | 21 | 1335306 | 1311545 | 3040 947 | 112 | 56 574.23/574.45 c 515s | 21 | 1340826 | 1317045 | 3040 951 | 112 | 56 576.23/576.46 c 517s | 21 | 1345751 | 1321945 | 3040 954 | 112 | 56 578.23/578.46 c 519s | 21 | 1350995 | 1327145 | 3040 957 | 112 | 56 580.23/580.49 c 521s | 21 | 1356324 | 1332445 | 3040 960 | 112 | 56 582.33/582.52 c 523s | 21 | 1361738 | 1337845 | 3040 963 | 112 | 56 584.34/584.55 c 525s | 21 | 1366558 | 1342645 | 3040 966 | 112 | 56 586.33/586.57 c 527s | 21 | 1372284 | 1348345 | 3040 970 | 112 | 56 588.43/588.60 c 529s | 21 | 1377496 | 1353545 | 3040 973 | 112 | 56 590.43/590.61 c 531s | 21 | 1382320 | 1358345 | 3040 976 | 112 | 56 592.42/592.65 c 533s | 21 | 1387440 | 1363445 | 3040 979 | 112 | 56 594.42/594.65 c 535s | 21 | 1392959 | 1368945 | 3040 983 | 112 | 56 596.43/596.69 c 537s | 21 | 1398499 | 1374445 | 3040 986 | 112 | 56 598.42/598.70 c 539s | 21 | 1404039 | 1379845 | 3040 990 | 112 | 56 600.52/600.71 c 541s | 21 | 1409460 | 1385245 | 3040 993 | 112 | 56 602.52/602.73 c 543s | 21 | 1414588 | 1390345 | 3345 996 | 112 | 56 604.62/604.81 c 546s | 21 | 1419808 | 1395545 | 3345 999 | 112 | 56 606.62/606.85 c 548s | 21 | 1425128 | 1400845 | 3345 1002 | 112 | 56 608.61/608.88 c 550s | 21 | 1430157 | 1405845 | 3345 1005 | 112 | 56 610.72/610.92 c 552s | 21 | 1435367 | 1411045 | 3345 1008 | 112 | 56 612.71/612.94 c 554s | 21 | 1440468 | 1416045 | 3345 1010 | 112 | 56 614.71/614.94 c 556s | 21 | 1445786 | 1421345 | 3345 1013 | 112 | 56 616.71/616.97 c 558s | 21 | 1450711 | 1426245 | 3345 1016 | 112 | 56 618.71/618.99 c 560s | 21 | 1455534 | 1431045 | 3345 1019 | 112 | 56 620.81/621.06 c 562s | 21 | 1460854 | 1436345 | 3345 1022 | 112 | 56 622.81/623.08 c 564s | 21 | 1466164 | 1441645 | 3345 1025 | 112 | 56 624.80/625.09 c 566s | 21 | 1471293 | 1446745 | 3345 1028 | 112 | 56 626.90/627.11 c 568s | 21 | 1476323 | 1451745 | 3345 1031 | 112 | 56 628.90/629.15 c 570s | 21 | 1481836 | 1457245 | 3345 1034 | 112 | 56 630.90/631.16 c 572s | 21 | 1487161 | 1462545 | 3345 1037 | 112 | 56 632.90/633.17 c 574s | 21 | 1492187 | 1467545 | 3345 1040 | 112 | 56 634.91/635.18 c 576s | 21 | 1497207 | 1472545 | 3345 1042 | 112 | 56 637.01/637.21 c 578s | 21 | 1502420 | 1477745 | 3345 1045 | 112 | 56 639.00/639.22 c 580s | 21 | 1507654 | 1482945 | 3345 1048 | 112 | 56 641.00/641.23 c 582s | 21 | 1512983 | 1488245 | 3345 1051 | 112 | 56 643.00/643.26 c 584s | 21 | 1518402 | 1493645 | 3345 1054 | 112 | 56 645.00/645.29 c 586s | 21 | 1523512 | 1498745 | 3345 1057 | 112 | 56 645.70/645.99 c 587s | 22 | 1525402 | 1500622 | 3345 1058 | 112 | 56 647.79/648.01 c 589s | 22 | 1530549 | 1505722 | 3345 1061 | 112 | 56 649.79/650.02 c 591s | 22 | 1535875 | 1511022 | 3345 1064 | 112 | 56 651.79/652.06 c 593s | 22 | 1541513 | 1516622 | 3345 1067 | 112 | 56 653.79/654.08 c 595s | 22 | 1546634 | 1521722 | 3345 1070 | 112 | 56 655.89/656.10 c 597s | 22 | 1551569 | 1526622 | 3345 1073 | 112 | 56 657.90/658.10 c 599s | 22 | 1556598 | 1531622 | 3345 1076 | 112 | 56 659.90/660.11 c 601s | 22 | 1561718 | 1536722 | 3345 1079 | 112 | 56 661.90/662.12 c 603s | 22 | 1566434 | 1541422 | 3345 1081 | 112 | 56 663.90/664.16 c 605s | 22 | 1571061 | 1546022 | 3345 1084 | 112 | 56 665.89/666.19 c 607s | 22 | 1576388 | 1551322 | 3345 1087 | 112 | 56 667.90/668.19 c 609s | 22 | 1581424 | 1556322 | 3345 1090 | 112 | 56 670.00/670.21 c 611s | 22 | 1586037 | 1560922 | 3345 1093 | 112 | 56 671.99/672.22 c 613s | 22 | 1590753 | 1565622 | 3345 1095 | 112 | 56 673.99/674.22 c 615s | 22 | 1595972 | 1570822 | 3345 1098 | 112 | 56 675.99/676.25 c 617s | 22 | 1600492 | 1575322 | 3345 1101 | 112 | 56 677.98/678.28 c 619s | 22 | 1605521 | 1580322 | 3345 1104 | 112 | 56 680.08/680.30 c 621s | 22 | 1610854 | 1585622 | 3345 1107 | 112 | 56 682.09/682.33 c 623s | 22 | 1615965 | 1590722 | 3345 1109 | 112 | 56 684.08/684.38 c 625s | 22 | 1621404 | 1596122 | 3345 1112 | 112 | 56 686.18/686.40 c 627s | 22 | 1626416 | 1601122 | 3345 1115 | 112 | 56 688.17/688.43 c 629s | 22 | 1631548 | 1606222 | 3345 1118 | 112 | 56 690.17/690.44 c 631s | 22 | 1637067 | 1611722 | 3345 1121 | 112 | 56 692.17/692.46 c 633s | 22 | 1642283 | 1616922 | 3345 1124 | 112 | 56 694.18/694.50 c 635s | 22 | 1647701 | 1622322 | 3345 1127 | 112 | 56 696.27/696.52 c 637s | 22 | 1653028 | 1627622 | 3345 1130 | 112 | 56 698.27/698.56 c 639s | 22 | 1658152 | 1632722 | 3345 1133 | 112 | 56 700.27/700.59 c 641s | 22 | 1663380 | 1637922 | 3345 1136 | 112 | 56 702.37/702.61 c 643s | 22 | 1668402 | 1642922 | 3345 1139 | 112 | 56 704.37/704.67 c 645s | 22 | 1672936 | 1647422 | 3345 1142 | 112 | 56 706.37/706.69 c 647s | 22 | 1678570 | 1653022 | 3345 1145 | 112 | 56 708.47/708.71 c 649s | 22 | 1683784 | 1658222 | 3345 1148 | 112 | 56 710.46/710.74 c 652s | 22 | 1689317 | 1663722 | 3345 1151 | 112 | 56 712.46/712.75 c 654s | 22 | 1694347 | 1668622 | 3345 1154 | 112 | 56 714.56/714.82 c 656s | 22 | 1699581 | 1673822 | 3345 1157 | 112 | 56 716.56/716.84 c 658s | 22 | 1704800 | 1679022 | 3345 1159 | 112 | 56 718.56/718.84 c 660s | 22 | 1709628 | 1683822 | 3345 1162 | 112 | 56 720.56/720.85 c 662s | 22 | 1714751 | 1688922 | 3345 1165 | 112 | 56 722.56/722.89 c 664s | 22 | 1719981 | 1694122 | 3345 1168 | 112 | 56 724.66/724.93 c 666s | 22 | 1725314 | 1699422 | 3345 1171 | 112 | 56 726.66/726.95 c 668s | 22 | 1730132 | 1704222 | 3345 1174 | 112 | 56 728.65/728.95 c 670s | 22 | 1735259 | 1709322 | 3345 1177 | 112 | 56 730.65/730.99 c 672s | 22 | 1739981 | 1714022 | 3345 1179 | 112 | 56 732.76/733.02 c 674s | 22 | 1745407 | 1719422 | 3345 1182 | 112 | 56 734.75/735.05 c 676s | 22 | 1750627 | 1724622 | 3345 1185 | 112 | 56 736.76/737.07 c 678s | 22 | 1755740 | 1729722 | 3345 1188 | 112 | 56 738.75/739.08 c 680s | 22 | 1760970 | 1734922 | 3345 1191 | 112 | 56 740.85/741.11 c 682s | 22 | 1765791 | 1739722 | 3345 1194 | 112 | 56 742.85/743.14 c 684s | 22 | 1770813 | 1744722 | 3345 1197 | 112 | 56 744.86/745.17 c 686s | 22 | 1775843 | 1749722 | 3345 1200 | 112 | 56 746.85/747.19 c 688s | 22 | 1781253 | 1755122 | 3345 1203 | 112 | 56 748.95/749.20 c 690s | 22 | 1786381 | 1760222 | 3345 1205 | 112 | 56 750.95/751.23 c 692s | 22 | 1791501 | 1765322 | 3345 1208 | 112 | 56 752.95/753.27 c 694s | 22 | 1796229 | 1770022 | 3345 1211 | 112 | 56 755.05/755.30 c 696s | 22 | 1800953 | 1774722 | 3345 1214 | 112 | 56 757.05/757.33 c 698s | 22 | 1806164 | 1779922 | 3345 1217 | 112 | 56 759.05/759.37 c 700s | 22 | 1811283 | 1785022 | 3345 1220 | 112 | 56 761.14/761.40 c 702s | 22 | 1816717 | 1790422 | 3345 1223 | 112 | 56 763.14/763.41 c 704s | 22 | 1821746 | 1795422 | 3345 1225 | 112 | 56 765.14/765.42 c 706s | 22 | 1826367 | 1800022 | 3345 1228 | 112 | 56 767.14/767.45 c 708s | 22 | 1831290 | 1804922 | 3345 1231 | 112 | 56 769.14/769.48 c 710s | 22 | 1836623 | 1810222 | 3345 1234 | 112 | 56 771.25/771.51 c 712s | 22 | 1842050 | 1815622 | 3345 1237 | 112 | 56 773.24/773.52 c 714s | 22 | 1847173 | 1820722 | 3345 1240 | 112 | 56 775.24/775.53 c 716s | 22 | 1852402 | 1825922 | 3345 1243 | 112 | 56 777.23/777.54 c 718s | 22 | 1857419 | 1830922 | 3345 1246 | 112 | 56 779.23/779.57 c 720s | 22 | 1862350 | 1835822 | 3345 1248 | 112 | 56 781.23/781.58 c 722s | 22 | 1867373 | 1840822 | 3345 1251 | 112 | 56 783.24/783.59 c 724s | 22 | 1872897 | 1846322 | 3345 1254 | 112 | 56 785.33/785.63 c 726s | 22 | 1878119 | 1851522 | 3345 1257 | 112 | 56 787.33/787.63 c 728s | 22 | 1883353 | 1856722 | 3345 1260 | 112 | 56 789.33/789.65 c 730s | 22 | 1888391 | 1861722 | 3345 1263 | 112 | 56 791.33/791.68 c 732s | 22 | 1893518 | 1866822 | 3345 1266 | 112 | 56 793.43/793.73 c 734s | 22 | 1898841 | 1872122 | 3345 1269 | 112 | 56 795.44/795.74 c 737s | 22 | 1904092 | 1877322 | 3345 1272 | 112 | 56 797.42/797.75 c 739s | 22 | 1909326 | 1882522 | 3345 1275 | 112 | 56 799.42/799.76 c 741s | 22 | 1914682 | 1887822 | 3345 1278 | 112 | 56 801.42/801.79 c 743s | 22 | 1920172 | 1893122 | 3345 1281 | 112 | 56 803.52/803.80 c 745s | 22 | 1925592 | 1898522 | 3345 1284 | 112 | 56 805.52/805.83 c 747s | 22 | 1931025 | 1903922 | 3345 1287 | 112 | 56 807.53/807.85 c 749s | 22 | 1936557 | 1909422 | 3345 1290 | 112 | 56 809.52/809.87 c 751s | 22 | 1941483 | 1914322 | 3345 1293 | 112 | 56 811.62/811.90 c 753s | 22 | 1946798 | 1919622 | 3345 1296 | 112 | 56 813.62/813.91 c 755s | 22 | 1951931 | 1924722 | 3345 1299 | 112 | 56 815.62/815.93 c 757s | 22 | 1956869 | 1929622 | 3345 1302 | 112 | 56 817.61/817.93 c 759s | 22 | 1961994 | 1934722 | 3345 1304 | 112 | 56 819.62/819.96 c 761s | 22 | 1967218 | 1939922 | 3345 1307 | 112 | 56 821.61/821.99 c 763s | 22 | 1972349 | 1945022 | 3345 1310 | 112 | 56 823.71/824.02 c 765s | 22 | 1977379 | 1950022 | 3345 1313 | 112 | 56 825.71/826.03 c 767s | 22 | 1982801 | 1955422 | 3345 1316 | 112 | 56 827.71/828.05 c 769s | 22 | 1988124 | 1960722 | 3345 1319 | 112 | 56 829.71/830.06 c 771s | 22 | 1992664 | 1965222 | 3345 1322 | 112 | 56 831.71/832.09 c 773s | 22 | 1998389 | 1970922 | 3345 1325 | 112 | 56 833.81/834.10 c 775s | 22 | 2004016 | 1976522 | 3345 1328 | 112 | 56 835.80/836.11 c 777s | 22 | 2008527 | 1980922 | 3345 1331 | 112 | 56 837.80/838.15 c 779s | 22 | 2014160 | 1986522 | 3345 1334 | 112 | 56 839.80/840.18 c 781s | 22 | 2019494 | 1991822 | 3345 1337 | 112 | 56 841.90/842.22 c 783s | 22 | 2024430 | 1996722 | 3345 1340 | 112 | 56 843.90/844.25 c 785s | 22 | 2029960 | 2002222 | 3345 1343 | 112 | 56 845.90/846.28 c 787s | 22 | 2035476 | 2007722 | 3345 1346 | 112 | 56 847.99/848.34 c 789s | 22 | 2041009 | 2013222 | 3345 1349 | 112 | 56 849.99/850.37 c 791s | 22 | 2046529 | 2018722 | 3345 1352 | 112 | 56 851.99/852.37 c 793s | 22 | 2051855 | 2024022 | 3345 1355 | 112 | 56 853.99/854.39 c 795s | 22 | 2057041 | 2029122 | 3345 1358 | 112 | 56 856.09/856.40 c 797s | 22 | 2062683 | 2034722 | 3345 1361 | 112 | 56 858.09/858.43 c 799s | 22 | 2068209 | 2040222 | 3345 1364 | 112 | 56 860.09/860.44 c 801s | 22 | 2073540 | 2045522 | 3345 1367 | 112 | 56 862.09/862.46 c 803s | 22 | 2078668 | 2050622 | 3345 1370 | 112 | 56 864.09/864.46 c 805s | 22 | 2083997 | 2055922 | 3345 1373 | 112 | 56 866.09/866.48 c 807s | 22 | 2089319 | 2061222 | 3345 1376 | 112 | 56 868.08/868.48 c 809s | 22 | 2094547 | 2066422 | 3345 1379 | 112 | 56 870.09/870.49 c 811s | 22 | 2099573 | 2071422 | 3345 1382 | 112 | 56 872.18/872.52 c 813s | 22 | 2104698 | 2076522 | 3345 1385 | 112 | 56 874.18/874.54 c 815s | 22 | 2110225 | 2082022 | 3345 1388 | 112 | 56 876.18/876.54 c 817s | 22 | 2115141 | 2086922 | 3345 1391 | 112 | 56 878.18/878.57 c 819s | 22 | 2120166 | 2091922 | 3345 1394 | 112 | 56 880.18/880.58 c 821s | 22 | 2125694 | 2097422 | 3345 1397 | 112 | 56 882.18/882.59 c 823s | 22 | 2130726 | 2102422 | 3345 1399 | 112 | 56 884.18/884.59 c 825s | 22 | 2136053 | 2107722 | 3345 1402 | 112 | 56 886.28/886.61 c 827s | 22 | 2140968 | 2112622 | 3345 1405 | 112 | 56 888.27/888.63 c 829s | 22 | 2146083 | 2117722 | 3345 1408 | 112 | 56 890.27/890.65 c 831s | 22 | 2150701 | 2122322 | 3345 1411 | 112 | 56 892.27/892.68 c 833s | 22 | 2156237 | 2127822 | 3345 1414 | 112 | 56 894.38/894.71 c 835s | 22 | 2161565 | 2133122 | 3345 1417 | 112 | 56 896.37/896.73 c 838s | 22 | 2166988 | 2138522 | 3680 1420 | 112 | 56 898.37/898.76 c 840s | 22 | 2172012 | 2143522 | 3680 1422 | 112 | 56 900.47/900.80 c 842s | 22 | 2176933 | 2148422 | 3680 1425 | 112 | 56 902.47/902.81 c 844s | 22 | 2181960 | 2153422 | 3680 1427 | 112 | 56 904.47/904.85 c 846s | 22 | 2187084 | 2158522 | 3680 1430 | 112 | 56 906.48/906.89 c 848s | 22 | 2191907 | 2163322 | 3680 1433 | 112 | 56 908.47/908.90 c 850s | 22 | 2196420 | 2167822 | 3680 1435 | 112 | 56 910.57/910.93 c 852s | 22 | 2201268 | 2172422 | 3680 1437 | 112 | 56 912.57/912.96 c 854s | 22 | 2206319 | 2177422 | 3680 1440 | 112 | 56 914.57/914.97 c 856s | 22 | 2211664 | 2182722 | 3680 1443 | 112 | 56 916.56/916.99 c 858s | 22 | 2216696 | 2187722 | 3680 1445 | 112 | 56 918.66/919.01 c 860s | 22 | 2222114 | 2193122 | 3680 1448 | 112 | 56 920.67/921.02 c 862s | 22 | 2227142 | 2198122 | 3680 1451 | 112 | 56 922.66/923.04 c 864s | 22 | 2232171 | 2203122 | 3680 1453 | 112 | 56 924.66/925.04 c 866s | 22 | 2237290 | 2208222 | 3680 1456 | 112 | 56 926.66/927.04 c 868s | 22 | 2242029 | 2212922 | 3680 1458 | 112 | 56 928.65/929.07 c 870s | 22 | 2247052 | 2217922 | 3680 1461 | 112 | 56 930.66/931.08 c 872s | 22 | 2251871 | 2222722 | 3680 1463 | 112 | 56 932.76/933.10 c 874s | 22 | 2256398 | 2227222 | 3680 1466 | 112 | 56 934.75/935.13 c 876s | 22 | 2261125 | 2231922 | 3680 1468 | 112 | 56 936.75/937.15 c 878s | 22 | 2265951 | 2236722 | 3680 1471 | 112 | 56 938.75/939.17 c 880s | 22 | 2270974 | 2241722 | 3680 1473 | 112 | 56 940.75/941.18 c 882s | 22 | 2275898 | 2246622 | 3680 1476 | 112 | 56 942.65/943.05 c 884s | 23 | 2280344 | 2251038 | 3680 1478 | 112 | 56 944.65/945.08 c 886s | 23 | 2285229 | 2255838 | 3680 1480 | 112 | 56 946.65/947.09 c 888s | 23 | 2290157 | 2260738 | 3680 1483 | 112 | 56 948.74/949.10 c 890s | 23 | 2295386 | 2265938 | 3680 1486 | 112 | 56 950.74/951.15 c 892s | 23 | 2300815 | 2271338 | 3680 1488 | 112 | 56 952.74/953.16 c 894s | 23 | 2305937 | 2276438 | 3680 1491 | 112 | 56 954.85/955.29 c 896s | 23 | 2311268 | 2281738 | 3680 1494 | 112 | 56 956.95/957.32 c 898s | 23 | 2316689 | 2287138 | 3680 1497 | 112 | 56 958.94/959.33 c 900s | 23 | 2321623 | 2292038 | 3680 1499 | 112 | 56 960.94/961.38 c 902s | 23 | 2326341 | 2296738 | 3680 1502 | 112 | 56 963.04/963.41 c 904s | 23 | 2331663 | 2302038 | 3680 1504 | 112 | 56 965.04/965.42 c 906s | 23 | 2336786 | 2307138 | 3680 1507 | 112 | 56 967.04/967.46 c 908s | 23 | 2342014 | 2312338 | 3680 1510 | 112 | 56 969.04/969.46 c 910s | 23 | 2347233 | 2317538 | 3680 1512 | 112 | 56 971.03/971.49 c 912s | 23 | 2351864 | 2322138 | 3680 1515 | 112 | 56 973.13/973.52 c 914s | 23 | 2356682 | 2326938 | 3680 1517 | 112 | 56 975.13/975.55 c 916s | 23 | 2361804 | 2332038 | 3680 1520 | 112 | 56 977.13/977.56 c 918s | 23 | 2366830 | 2337038 | 3680 1522 | 112 | 56 979.13/979.57 c 920s | 23 | 2372157 | 2342338 | 3680 1525 | 112 | 56 981.14/981.57 c 922s | 23 | 2377083 | 2347238 | 3680 1528 | 112 | 56 983.23/983.60 c 924s | 23 | 2382397 | 2352538 | 3680 1530 | 112 | 56 985.23/985.63 c 926s | 23 | 2387225 | 2357338 | 3680 1533 | 112 | 56 987.23/987.69 c 928s | 23 | 2392244 | 2362338 | 3680 1536 | 112 | 56 989.33/989.70 c 930s | 23 | 2397572 | 2367638 | 3680 1538 | 112 | 56 991.33/991.70 c 932s | 23 | 2402389 | 2372438 | 3680 1541 | 112 | 56 993.33/993.73 c 935s | 23 | 2407710 | 2377738 | 3680 1543 | 112 | 56 995.33/995.74 c 937s | 23 | 2412828 | 2382838 | 3680 1546 | 112 | 56 997.33/997.75 c 939s | 23 | 2417448 | 2387438 | 3680 1549 | 112 | 56 999.33/999.78 c 941s | 23 | 2422373 | 2392338 | 3680 1551 | 112 | 56 1001.42/1001.84 c 943s | 23 | 2427294 | 2397238 | 3680 1554 | 112 | 56 1003.42/1003.85 c 945s | 23 | 2432917 | 2402838 | 3680 1556 | 112 | 56 1005.43/1005.86 c 947s | 23 | 2437949 | 2407838 | 3680 1559 | 112 | 56 1007.42/1007.90 c 949s | 23 | 2443076 | 2412938 | 3680 1562 | 112 | 56 1009.52/1009.90 c 951s | 23 | 2448300 | 2418138 | 3680 1564 | 112 | 56 1011.52/1011.93 c 953s | 23 | 2453023 | 2422838 | 3680 1567 | 112 | 56 1013.52/1013.99 c 955s | 23 | 2458239 | 2428038 | 3680 1570 | 112 | 56 1015.62/1016.01 c 957s | 23 | 2463466 | 2433238 | 3680 1572 | 112 | 56 1017.62/1018.01 c 959s | 23 | 2468691 | 2438438 | 3680 1575 | 112 | 56 1019.63/1020.04 c 961s | 23 | 2473626 | 2443338 | 3680 1577 | 112 | 56 1021.62/1022.05 c 963s | 23 | 2478542 | 2448238 | 3680 1580 | 112 | 56 1023.62/1024.06 c 965s | 23 | 2483165 | 2452838 | 3680 1582 | 112 | 56 1025.62/1026.09 c 967s | 23 | 2488187 | 2457838 | 3680 1585 | 112 | 56 1027.72/1028.10 c 969s | 23 | 2493211 | 2462838 | 3680 1588 | 112 | 56 1029.72/1030.13 c 971s | 23 | 2498233 | 2467838 | 3680 1590 | 112 | 56 1031.73/1032.14 c 973s | 23 | 2503271 | 2472838 | 3680 1593 | 112 | 56 1033.72/1034.18 c 975s | 23 | 2508698 | 2478238 | 3680 1596 | 112 | 56 1035.72/1036.19 c 977s | 23 | 2513515 | 2483038 | 3680 1598 | 112 | 56 1037.82/1038.23 c 979s | 23 | 2518746 | 2488238 | 3680 1601 | 112 | 56 1039.82/1040.26 c 981s | 23 | 2523879 | 2493338 | 3680 1603 | 112 | 56 1041.82/1042.26 c 983s | 23 | 2528805 | 2498238 | 3680 1606 | 112 | 56 1043.82/1044.28 c 985s | 23 | 2534025 | 2503438 | 3680 1609 | 112 | 56 1045.82/1046.28 c 987s | 23 | 2539243 | 2508638 | 3680 1611 | 112 | 56 1047.92/1048.32 c 989s | 23 | 2544177 | 2513538 | 3680 1614 | 112 | 56 1049.92/1050.33 c 991s | 23 | 2549006 | 2518338 | 3680 1616 | 112 | 56 1051.92/1052.35 c 993s | 23 | 2554419 | 2523738 | 3680 1619 | 112 | 56 1053.92/1054.37 c 995s | 23 | 2559248 | 2528538 | 3680 1622 | 112 | 56 1055.93/1056.37 c 997s | 23 | 2564366 | 2533638 | 3680 1624 | 112 | 56 1058.13/1058.52 c 999s | 23 | 2569594 | 2538838 | 3680 1627 | 112 | 56 1060.12/1060.52 c 1001s | 23 | 2574817 | 2544038 | 3680 1630 | 112 | 56 1062.12/1062.53 c 1003s | 23 | 2580138 | 2549338 | 3680 1632 | 112 | 56 1064.12/1064.56 c 1005s | 23 | 2585363 | 2554538 | 3680 1635 | 112 | 56 1066.12/1066.57 c 1007s | 23 | 2590186 | 2559338 | 3680 1638 | 112 | 56 1068.12/1068.59 c 1009s | 23 | 2595318 | 2564438 | 3680 1640 | 112 | 56 1070.12/1070.59 c 1011s | 23 | 2600330 | 2569438 | 3680 1643 | 112 | 56 1072.22/1072.60 c 1013s | 23 | 2605562 | 2574638 | 3680 1645 | 112 | 56 1074.21/1074.63 c 1015s | 23 | 2610384 | 2579438 | 3680 1648 | 112 | 56 1076.21/1076.64 c 1017s | 23 | 2615411 | 2584438 | 3680 1650 | 112 | 56 1078.21/1078.65 c 1019s | 23 | 2620327 | 2589338 | 3680 1653 | 112 | 56 1080.22/1080.67 c 1021s | 23 | 2625455 | 2594438 | 3680 1656 | 112 | 56 1082.21/1082.68 c 1023s | 23 | 2630481 | 2599438 | 3680 1658 | 112 | 56 1084.31/1084.70 c 1025s | 23 | 2635601 | 2604538 | 3680 1661 | 112 | 56 1086.31/1086.73 c 1028s | 23 | 2640522 | 2609438 | 3680 1663 | 112 | 56 1088.31/1088.74 c 1030s | 23 | 2645248 | 2614138 | 3680 1666 | 112 | 56 1090.31/1090.75 c 1032s | 23 | 2650473 | 2619338 | 3680 1669 | 112 | 56 1092.32/1092.76 c 1034s | 23 | 2655598 | 2624438 | 3680 1671 | 112 | 56 1094.31/1094.79 c 1036s | 23 | 2660822 | 2629638 | 3680 1674 | 112 | 56 1096.31/1096.79 c 1038s | 23 | 2666140 | 2634938 | 3680 1677 | 112 | 56 1098.31/1098.79 c 1040s | 23 | 2671173 | 2639938 | 3680 1679 | 112 | 56 1100.41/1100.80 c 1042s | 23 | 2676298 | 2645038 | 3680 1682 | 112 | 56 1102.41/1102.85 c 1044s | 23 | 2681424 | 2650138 | 3680 1685 | 112 | 56 1104.41/1104.88 c 1046s | 23 | 2686346 | 2655038 | 3680 1687 | 112 | 56 1106.41/1106.88 c 1048s | 23 | 2691671 | 2660338 | 3680 1690 | 112 | 56 1108.41/1108.89 c 1050s | 23 | 2696691 | 2665338 | 3680 1692 | 112 | 56 1110.51/1110.90 c 1052s | 23 | 2701710 | 2670338 | 3680 1695 | 112 | 56 1112.51/1112.93 c 1054s | 23 | 2707040 | 2675638 | 3680 1698 | 112 | 56 1114.51/1114.95 c 1056s | 23 | 2711566 | 2680138 | 3680 1700 | 112 | 56 1116.52/1116.97 c 1058s | 23 | 2716787 | 2685338 | 3680 1703 | 112 | 56 1118.51/1118.97 c 1060s | 23 | 2721712 | 2690238 | 3680 1705 | 112 | 56 1120.61/1121.00 c 1062s | 23 | 2726830 | 2695338 | 3680 1708 | 112 | 56 1122.61/1123.01 c 1064s | 23 | 2731853 | 2700338 | 3680 1710 | 112 | 56 1124.71/1125.10 c 1066s | 23 | 2737368 | 2705838 | 3680 1713 | 112 | 56 1126.71/1127.13 c 1068s | 23 | 2742187 | 2710638 | 3680 1716 | 112 | 56 1128.71/1129.17 c 1070s | 23 | 2747210 | 2715638 | 3680 1718 | 112 | 56 1130.72/1131.20 c 1072s | 23 | 2751630 | 2720038 | 3680 1721 | 112 | 56 1132.81/1133.20 c 1074s | 23 | 2756654 | 2725038 | 3680 1723 | 112 | 56 1134.81/1135.21 c 1076s | 23 | 2761383 | 2729738 | 3680 1726 | 112 | 56 1136.81/1137.24 c 1078s | 23 | 2766612 | 2734938 | 3680 1728 | 112 | 56 1138.81/1139.28 c 1080s | 23 | 2771636 | 2739938 | 3680 1731 | 112 | 56 1140.81/1141.29 c 1082s | 23 | 2776555 | 2744838 | 3680 1734 | 112 | 56 1142.81/1143.29 c 1084s | 23 | 2781479 | 2749738 | 3680 1736 | 112 | 56 1144.91/1145.30 c 1086s | 23 | 2786715 | 2754938 | 3680 1739 | 112 | 56 1146.91/1147.31 c 1088s | 23 | 2791540 | 2759738 | 3680 1741 | 112 | 56 1148.91/1149.32 c 1090s | 23 | 2796565 | 2764738 | 3680 1744 | 112 | 56 1150.90/1151.35 c 1092s | 23 | 2801588 | 2769738 | 3680 1746 | 112 | 56 1152.90/1153.38 c 1094s | 23 | 2806399 | 2774538 | 3680 1749 | 112 | 56 1155.01/1155.42 c 1096s | 23 | 2811220 | 2779338 | 3680 1751 | 112 | 56 1157.00/1157.42 c 1098s | 23 | 2816043 | 2784138 | 3680 1754 | 112 | 56 1159.00/1159.42 c 1100s | 23 | 2821356 | 2789438 | 3680 1757 | 112 | 56 1161.00/1161.45 c 1102s | 23 | 2826577 | 2794638 | 3680 1759 | 112 | 56 1163.00/1163.46 c 1104s | 23 | 2831198 | 2799238 | 3680 1762 | 112 | 56 1165.10/1165.50 c 1106s | 23 | 2836628 | 2804638 | 3680 1764 | 112 | 56 1167.11/1167.52 c 1108s | 23 | 2841844 | 2809838 | 3680 1767 | 112 | 56 1169.10/1169.53 c 1110s | 23 | 2846768 | 2814738 | 3680 1770 | 112 | 56 1171.10/1171.53 c 1112s | 23 | 2851197 | 2819138 | 3680 1772 | 112 | 56 1173.20/1173.63 c 1114s | 23 | 2856325 | 2824238 | 3680 1775 | 112 | 56 1175.20/1175.66 c 1116s | 23 | 2861636 | 2829538 | 3680 1777 | 112 | 56 1177.20/1177.68 c 1118s | 23 | 2866465 | 2834338 | 3680 1780 | 112 | 56 1179.20/1179.68 c 1120s | 23 | 2871693 | 2839538 | 3680 1783 | 112 | 56 1181.20/1181.70 c 1122s | 23 | 2876915 | 2844738 | 3680 1785 | 112 | 56 1183.40/1183.82 c 1125s | 23 | 2882040 | 2849838 | 3680 1788 | 112 | 56 1185.40/1185.83 c 1127s | 23 | 2887669 | 2855438 | 3680 1791 | 112 | 56 1187.39/1187.85 c 1129s | 23 | 2893003 | 2860738 | 3680 1794 | 112 | 56 1189.39/1189.87 c 1131s | 23 | 2898321 | 2866038 | 3680 1796 | 112 | 56 1191.49/1191.93 c 1133s | 23 | 2903459 | 2871138 | 3680 1799 | 112 | 56 1193.50/1193.94 c 1135s | 23 | 2907583 | 2875238 | 3680 1801 | 112 | 56 1195.49/1195.97 c 1137s | 23 | 2912642 | 2880238 | 3680 1804 | 112 | 56 1197.49/1197.99 c 1139s | 23 | 2917864 | 2885438 | 3680 1806 | 112 | 56 1199.59/1200.00 c 1141s | 23 | 2923085 | 2890638 | 3680 1809 | 112 | 56 1201.59/1202.01 c 1143s | 23 | 2928007 | 2895538 | 3680 1812 | 112 | 56 1203.70/1204.11 c 1145s | 23 | 2933234 | 2900738 | 3680 1814 | 112 | 56 1205.70/1206.12 c 1147s | 23 | 2938354 | 2905838 | 3680 1817 | 112 | 56 1207.81/1208.22 c 1149s | 23 | 2943480 | 2910938 | 3680 1820 | 112 | 56 1209.80/1210.24 c 1151s | 23 | 2948312 | 2915738 | 3680 1822 | 112 | 56 1211.80/1212.26 c 1153s | 23 | 2953342 | 2920738 | 3680 1825 | 112 | 56 1213.80/1214.27 c 1155s | 23 | 2958762 | 2926138 | 3680 1827 | 112 | 56 1215.79/1216.27 c 1157s | 23 | 2963690 | 2931038 | 3680 1830 | 112 | 56 1217.79/1218.28 c 1159s | 23 | 2968916 | 2936238 | 3680 1833 | 112 | 56 1219.90/1220.32 c 1161s | 23 | 2974444 | 2941738 | 3680 1835 | 112 | 56 1221.89/1222.32 c 1163s | 23 | 2979664 | 2946938 | 3680 1838 | 112 | 56 1223.89/1224.35 c 1165s | 23 | 2984880 | 2952138 | 3680 1841 | 112 | 56 1225.89/1226.39 c 1167s | 23 | 2990511 | 2957738 | 3680 1844 | 112 | 56 1227.89/1228.40 c 1169s | 23 | 2995435 | 2962638 | 3680 1846 | 112 | 56 1229.99/1230.41 c 1171s | 23 | 3000663 | 2967838 | 3680 1849 | 112 | 56 1232.00/1232.43 c 1173s | 23 | 3005787 | 2972938 | 3680 1852 | 112 | 56 1233.99/1234.43 c 1175s | 23 | 3010623 | 2977738 | 3680 1854 | 112 | 56 1235.99/1236.45 c 1177s | 23 | 3015639 | 2982738 | 3680 1857 | 112 | 56 1237.99/1238.45 c 1179s | 23 | 3020766 | 2987838 | 3680 1859 | 112 | 56 1239.99/1240.46 c 1181s | 23 | 3025583 | 2992638 | 3680 1862 | 112 | 56 1241.99/1242.48 c 1183s | 23 | 3030902 | 2997938 | 3680 1865 | 112 | 56 1244.09/1244.51 c 1185s | 23 | 3036127 | 3003138 | 3680 1867 | 112 | 56 1246.19/1246.66 c 1187s | 23 | 3041359 | 3008338 | 3680 1870 | 112 | 56 1248.19/1248.69 c 1189s | 23 | 3046780 | 3013738 | 3680 1873 | 112 | 56 1250.28/1250.70 c 1191s | 23 | 3051910 | 3018838 | 3680 1875 | 112 | 56 1252.28/1252.72 c 1193s | 23 | 3056923 | 3023838 | 3680 1878 | 112 | 56 1254.28/1254.74 c 1196s | 23 | 3062142 | 3029038 | 3680 1881 | 112 | 56 1256.28/1256.76 c 1198s | 23 | 3067268 | 3034138 | 3680 1883 | 112 | 56 1258.29/1258.80 c 1200s | 23 | 3072700 | 3039538 | 3680 1886 | 112 | 56 1260.38/1260.81 c 1202s | 23 | 3077717 | 3044538 | 3680 1889 | 112 | 56 1262.38/1262.83 c 1204s | 23 | 3082133 | 3048938 | 3680 1891 | 112 | 56 1264.38/1264.84 c 1206s | 23 | 3087260 | 3054038 | 3680 1894 | 112 | 56 1266.38/1266.86 c 1208s | 23 | 3092479 | 3059238 | 3680 1896 | 112 | 56 1268.38/1268.86 c 1210s | 23 | 3097403 | 3064138 | 3680 1899 | 112 | 56 1270.39/1270.88 c 1212s | 23 | 3102521 | 3069238 | 3680 1901 | 112 | 56 1272.48/1272.90 c 1214s | 23 | 3107638 | 3074338 | 3680 1904 | 112 | 56 1274.48/1274.93 c 1216s | 23 | 3112863 | 3079538 | 3680 1907 | 112 | 56 1276.48/1276.94 c 1218s | 23 | 3117890 | 3084538 | 3680 1909 | 112 | 56 1278.48/1278.95 c 1220s | 23 | 3122918 | 3089538 | 3680 1912 | 112 | 56 1280.48/1280.96 c 1222s | 23 | 3127636 | 3094238 | 3680 1914 | 112 | 56 1282.49/1282.98 c 1224s | 23 | 3132657 | 3099238 | 3680 1917 | 112 | 56 1284.58/1285.03 c 1226s | 23 | 3137790 | 3104338 | 3680 1920 | 112 | 56 1286.58/1287.06 c 1228s | 23 | 3142920 | 3109438 | 3680 1922 | 112 | 56 1288.58/1289.09 c 1230s | 23 | 3147736 | 3114238 | 3680 1925 | 112 | 56 1290.68/1291.11 c 1232s | 23 | 3152852 | 3119338 | 3680 1927 | 112 | 56 1292.68/1293.15 c 1234s | 23 | 3157880 | 3124338 | 3680 1930 | 112 | 56 1294.68/1295.15 c 1236s | 23 | 3162600 | 3129038 | 3680 1932 | 112 | 56 1296.68/1297.18 c 1238s | 23 | 3167217 | 3133638 | 3680 1935 | 112 | 56 1298.69/1299.19 c 1240s | 23 | 3172233 | 3138638 | 3680 1937 | 112 | 56 1300.79/1301.20 c 1242s | 23 | 3177259 | 3143638 | 3680 1940 | 112 | 56 1302.79/1303.22 c 1244s | 23 | 3182386 | 3148738 | 3680 1943 | 112 | 56 1304.78/1305.23 c 1246s | 23 | 3187512 | 3153838 | 3680 1945 | 112 | 56 1306.79/1307.23 c 1248s | 23 | 3192432 | 3158738 | 3680 1948 | 112 | 56 1308.78/1309.24 c 1250s | 23 | 3197456 | 3163738 | 3680 1950 | 112 | 56 1310.78/1311.25 c 1252s | 23 | 3202274 | 3168538 | 3680 1953 | 112 | 56 1312.78/1313.28 c 1254s | 23 | 3207504 | 3173738 | 3680 1956 | 112 | 56 1314.88/1315.31 c 1256s | 23 | 3212524 | 3178738 | 3680 1958 | 112 | 56 1316.88/1317.32 c 1258s | 23 | 3217155 | 3183338 | 3680 1961 | 112 | 56 1318.89/1319.33 c 1260s | 23 | 3222375 | 3188538 | 3680 1963 | 112 | 56 1320.88/1321.33 c 1262s | 23 | 3226989 | 3193138 | 3680 1966 | 112 | 56 1322.88/1323.35 c 1264s | 23 | 3232214 | 3198338 | 3680 1968 | 112 | 56 1324.88/1325.36 c 1266s | 23 | 3237346 | 3203438 | 3680 1971 | 112 | 56 1326.88/1327.39 c 1268s | 23 | 3242261 | 3208338 | 3680 1974 | 112 | 56 1328.98/1329.41 c 1270s | 23 | 3247579 | 3213638 | 3680 1976 | 112 | 56 1330.99/1331.42 c 1272s | 23 | 3252604 | 3218638 | 3680 1979 | 112 | 56 1332.98/1333.44 c 1274s | 23 | 3257625 | 3223638 | 3680 1981 | 112 | 56 1334.98/1335.47 c 1276s | 23 | 3262749 | 3228738 | 3680 1984 | 112 | 56 1336.98/1337.49 c 1278s | 23 | 3268167 | 3234138 | 3680 1987 | 112 | 56 1339.08/1339.51 c 1280s | 23 | 3273388 | 3239338 | 3680 1990 | 112 | 56 1341.08/1341.53 c 1282s | 23 | 3278229 | 3244138 | 3680 1992 | 112 | 56 1343.08/1343.53 c 1284s | 23 | 3283262 | 3249138 | 3680 1995 | 112 | 56 1345.08/1345.54 c 1286s | 23 | 3288489 | 3254338 | 4049 1997 | 112 | 56 1347.08/1347.55 c 1288s | 23 | 3293421 | 3259238 | 4049 1999 | 112 | 56 1349.17/1349.61 c 1290s | 23 | 3298560 | 3264338 | 4049 2002 | 112 | 56 1351.17/1351.61 c 1292s | 23 | 3303490 | 3269238 | 4049 2004 | 112 | 56 1353.17/1353.63 c 1294s | 23 | 3308311 | 3274038 | 4049 2006 | 112 | 56 1355.18/1355.69 c 1296s | 23 | 3313337 | 3279038 | 4049 2009 | 112 | 56 1357.17/1357.70 c 1298s | 23 | 3318455 | 3284138 | 4049 2011 | 112 | 56 1359.27/1359.71 c 1300s | 23 | 3323477 | 3289138 | 4049 2014 | 112 | 56 1361.27/1361.72 c 1302s | 23 | 3328104 | 3293738 | 4049 2016 | 112 | 56 1363.27/1363.75 c 1305s | 23 | 3333232 | 3298838 | 4049 2018 | 112 | 56 1365.27/1365.75 c 1307s | 23 | 3338044 | 3303638 | 4049 2020 | 112 | 56 1367.28/1367.75 c 1309s | 23 | 3342963 | 3308538 | 4049 2023 | 112 | 56 1369.27/1369.77 c 1311s | 23 | 3347681 | 3313238 | 4049 2025 | 112 | 56 1371.37/1371.80 c 1313s | 23 | 3352604 | 3318138 | 4049 2027 | 112 | 56 1373.37/1373.82 c 1315s | 23 | 3357324 | 3322838 | 4049 2029 | 112 | 56 1375.37/1375.86 c 1317s | 23 | 3362445 | 3327938 | 4049 2032 | 112 | 56 1377.37/1377.89 c 1319s | 23 | 3367559 | 3333038 | 4049 2034 | 112 | 56 1379.47/1379.95 c 1321s | 23 | 3372288 | 3337738 | 4049 2037 | 112 | 56 1381.48/1381.98 c 1323s | 23 | 3376917 | 3342338 | 4049 2039 | 112 | 56 1383.47/1383.98 c 1325s | 23 | 3381937 | 3347338 | 4049 2041 | 112 | 56 1385.57/1386.09 c 1327s | 23 | 3386952 | 3352338 | 4049 2043 | 112 | 56 1387.67/1388.11 c 1329s | 23 | 3391788 | 3357138 | 4049 2046 | 112 | 56 1389.67/1390.13 c 1331s | 23 | 3396604 | 3361938 | 4049 2048 | 112 | 56 1391.67/1392.17 c 1333s | 23 | 3401622 | 3366938 | 4049 2050 | 112 | 56 1393.77/1394.21 c 1335s | 23 | 3406452 | 3371738 | 4049 2053 | 112 | 56 1395.66/1396.11 c 1337s | 24 | 3411393 | 3376662 | 4049 2055 | 112 | 56 1397.66/1398.11 c 1339s | 24 | 3415746 | 3380962 | 4049 2057 | 112 | 56 1399.66/1400.15 c 1341s | 24 | 3420590 | 3385762 | 4049 2059 | 112 | 56 1401.66/1402.17 c 1343s | 24 | 3425322 | 3390462 | 4049 2061 | 112 | 56 1403.86/1404.32 c 1345s | 24 | 3430343 | 3395462 | 4049 2064 | 112 | 56 1405.86/1406.35 c 1347s | 24 | 3435156 | 3400262 | 4049 2066 | 112 | 56 1407.87/1408.38 c 1349s | 24 | 3440083 | 3405162 | 4049 2068 | 112 | 56 1409.96/1410.42 c 1351s | 24 | 3445102 | 3410162 | 4049 2071 | 112 | 56 1411.96/1412.44 c 1353s | 24 | 3450123 | 3415162 | 4049 2073 | 112 | 56 1413.96/1414.47 c 1355s | 24 | 3455051 | 3420062 | 4049 2075 | 112 | 56 1416.06/1416.52 c 1357s | 24 | 3459572 | 3424562 | 4049 2078 | 112 | 56 1418.06/1418.55 c 1359s | 24 | 3464588 | 3429562 | 4049 2080 | 112 | 56 1420.07/1420.59 c 1361s | 24 | 3469618 | 3434562 | 4049 2082 | 112 | 56 1422.16/1422.61 c 1363s | 24 | 3474433 | 3439362 | 4049 2085 | 112 | 56 1424.16/1424.64 c 1365s | 24 | 3479264 | 3444162 | 4049 2087 | 112 | 56 1426.17/1426.66 c 1367s | 24 | 3484284 | 3449162 | 4049 2089 | 112 | 56 1428.26/1428.71 c 1369s | 24 | 3488717 | 3453562 | 4049 2091 | 112 | 56 1430.26/1430.72 c 1371s | 24 | 3493340 | 3458162 | 4049 2093 | 112 | 56 1432.26/1432.75 c 1374s | 24 | 3498360 | 3463162 | 4049 2096 | 112 | 56 1434.27/1434.78 c 1376s | 24 | 3503185 | 3467962 | 4049 2098 | 112 | 56 1436.36/1436.84 c 1378s | 24 | 3508009 | 3472762 | 4049 2100 | 112 | 56 1438.36/1438.86 c 1380s | 24 | 3513234 | 3477962 | 4049 2103 | 112 | 56 1440.36/1440.88 c 1382s | 24 | 3518145 | 3482862 | 4049 2105 | 112 | 56 1442.46/1442.90 c 1384s | 24 | 3523271 | 3487962 | 4049 2107 | 112 | 56 1444.46/1444.91 c 1386s | 24 | 3527995 | 3492662 | 4049 2110 | 112 | 56 1446.56/1447.04 c 1388s | 24 | 3533023 | 3497662 | 4049 2112 | 112 | 56 1448.57/1449.07 c 1390s | 24 | 3538132 | 3502762 | 4049 2114 | 112 | 56 1450.66/1451.10 c 1392s | 24 | 3542459 | 3507062 | 4049 2117 | 112 | 56 1452.66/1453.14 c 1394s | 24 | 3547186 | 3511762 | 4049 2119 | 112 | 56 1454.66/1455.16 c 1396s | 24 | 3552009 | 3516562 | 4049 2121 | 112 | 56 1456.76/1457.20 c 1398s | 24 | 3556439 | 3520962 | 4049 2123 | 112 | 56 1458.76/1459.21 c 1400s | 24 | 3561367 | 3525862 | 4049 2125 | 112 | 56 1460.76/1461.22 c 1402s | 24 | 3565884 | 3530362 | 4049 2128 | 112 | 56 1462.76/1463.26 c 1404s | 24 | 3570708 | 3535162 | 4049 2130 | 112 | 56 1464.76/1465.29 c 1406s | 24 | 3575527 | 3539962 | 4049 2132 | 112 | 56 1466.86/1467.33 c 1408s | 24 | 3580752 | 3545162 | 4049 2135 | 112 | 56 1468.85/1469.34 c 1410s | 24 | 3585510 | 3549862 | 4049 2137 | 112 | 56 1470.95/1471.43 c 1412s | 24 | 3590639 | 3554962 | 4049 2139 | 112 | 56 1472.95/1473.46 c 1414s | 24 | 3595763 | 3560062 | 4049 2142 | 112 | 56 1474.96/1475.47 c 1416s | 24 | 3600582 | 3564862 | 4049 2144 | 112 | 56 1476.95/1477.48 c 1418s | 24 | 3605207 | 3569462 | 4049 2146 | 112 | 56 1479.05/1479.51 c 1420s | 24 | 3610341 | 3574562 | 4049 2148 | 112 | 56 1481.05/1481.54 c 1422s | 24 | 3614961 | 3579162 | 4049 2151 | 112 | 56 1483.05/1483.56 c 1424s | 24 | 3620264 | 3584362 | 4049 2153 | 112 | 56 1485.05/1485.59 c 1426s | 24 | 3625091 | 3589162 | 4049 2155 | 112 | 56 1487.15/1487.61 c 1428s | 24 | 3629923 | 3593962 | 4049 2158 | 112 | 56 1489.25/1489.76 c 1431s | 24 | 3635135 | 3599162 | 4049 2160 | 112 | 56 1491.25/1491.76 c 1433s | 24 | 3640295 | 3604262 | 4049 2162 | 112 | 56 1493.25/1493.79 c 1435s | 24 | 3645211 | 3609162 | 4049 2165 | 112 | 56 1495.35/1495.82 c 1437s | 24 | 3650337 | 3614262 | 4049 2167 | 112 | 56 1497.35/1497.83 c 1439s | 24 | 3654862 | 3618762 | 4049 2169 | 112 | 56 1499.35/1499.86 c 1441s | 24 | 3659991 | 3623862 | 4049 2172 | 112 | 56 1501.45/1501.94 c 1443s | 24 | 3664613 | 3628462 | 4049 2174 | 112 | 56 1503.45/1503.97 c 1445s | 24 | 3669324 | 3633162 | 4049 2176 | 112 | 56 1505.55/1506.00 c 1447s | 24 | 3674145 | 3637962 | 4049 2178 | 112 | 56 1507.54/1508.03 c 1449s | 24 | 3679167 | 3642962 | 4049 2181 | 112 | 56 1509.54/1510.06 c 1451s | 24 | 3684093 | 3647862 | 4049 2183 | 112 | 56 1511.54/1512.08 c 1453s | 24 | 3689115 | 3652862 | 4049 2185 | 112 | 56 1513.74/1514.24 c 1455s | 24 | 3694135 | 3657862 | 4049 2188 | 112 | 56 1515.75/1516.29 c 1457s | 24 | 3699361 | 3663062 | 4049 2190 | 112 | 56 1517.86/1518.30 c 1459s | 24 | 3704283 | 3667962 | 4049 2193 | 112 | 56 1519.85/1520.33 c 1461s | 24 | 3709096 | 3672762 | 4049 2195 | 112 | 56 1521.85/1522.35 c 1463s | 24 | 3714128 | 3677762 | 4049 2197 | 112 | 56 1523.85/1524.39 c 1465s | 24 | 3718452 | 3682062 | 4049 2199 | 112 | 56 1525.95/1526.41 c 1467s | 24 | 3723372 | 3686962 | 4049 2202 | 112 | 56 1527.95/1528.41 c 1469s | 24 | 3728394 | 3691962 | 4049 2204 | 112 | 56 1529.96/1530.44 c 1471s | 24 | 3732916 | 3696462 | 4049 2206 | 112 | 56 1531.95/1532.45 c 1473s | 24 | 3737945 | 3701462 | 4049 2208 | 112 | 56 1533.95/1534.49 c 1475s | 24 | 3742863 | 3706362 | 4049 2211 | 112 | 56 1535.95/1536.49 c 1477s | 24 | 3747185 | 3710662 | 4049 2213 | 112 | 56 1538.05/1538.52 c 1479s | 24 | 3752210 | 3715662 | 4049 2215 | 112 | 56 1540.04/1540.55 c 1481s | 24 | 3756636 | 3720062 | 4049 2217 | 112 | 56 1542.05/1542.55 c 1483s | 24 | 3761959 | 3725362 | 4049 2220 | 112 | 56 1544.04/1544.56 c 1485s | 24 | 3767086 | 3730462 | 4049 2222 | 112 | 56 1546.14/1546.66 c 1487s | 24 | 3771815 | 3735162 | 4049 2224 | 112 | 56 1548.14/1548.67 c 1489s | 24 | 3776637 | 3739962 | 4049 2227 | 112 | 56 1550.24/1550.70 c 1491s | 24 | 3781856 | 3745162 | 4049 2229 | 112 | 56 1552.24/1552.74 c 1494s | 24 | 3786686 | 3749962 | 4049 2231 | 112 | 56 1554.25/1554.75 c 1496s | 24 | 3791205 | 3754462 | 4049 2234 | 112 | 56 1556.24/1556.76 c 1498s | 24 | 3796131 | 3759362 | 4049 2236 | 112 | 56 1558.24/1558.77 c 1500s | 24 | 3800894 | 3763862 | 4049 2238 | 112 | 56 1560.34/1560.81 c 1502s | 24 | 3805636 | 3768562 | 4049 2240 | 112 | 56 1562.34/1562.84 c 1504s | 24 | 3810456 | 3773362 | 4049 2242 | 112 | 56 1564.34/1564.85 c 1506s | 24 | 3814971 | 3777862 | 4049 2245 | 112 | 56 1566.44/1566.98 c 1508s | 24 | 3820000 | 3782862 | 4049 2247 | 112 | 56 1568.45/1568.98 c 1510s | 24 | 3824708 | 3787562 | 4049 2249 | 112 | 56 1570.54/1571.00 c 1512s | 24 | 3829137 | 3791962 | 4049 2251 | 112 | 56 1572.54/1573.01 c 1514s | 24 | 3834058 | 3796862 | 4049 2254 | 112 | 56 1574.54/1575.03 c 1516s | 24 | 3839398 | 3802162 | 4049 2256 | 112 | 56 1576.54/1577.04 c 1518s | 24 | 3844108 | 3806862 | 4049 2258 | 112 | 56 1578.54/1579.09 c 1520s | 24 | 3848934 | 3811662 | 4049 2261 | 112 | 56 1580.54/1581.10 c 1522s | 24 | 3853554 | 3816262 | 4049 2263 | 112 | 56 1582.63/1583.13 c 1524s | 24 | 3857779 | 3820462 | 4049 2265 | 112 | 56 1584.63/1585.14 c 1526s | 24 | 3862093 | 3824762 | 4049 2267 | 112 | 56 1586.63/1587.15 c 1528s | 24 | 3866616 | 3829262 | 4049 2269 | 112 | 56 1588.73/1589.20 c 1530s | 24 | 3871131 | 3833762 | 4049 2271 | 112 | 56 1590.73/1591.23 c 1532s | 24 | 3875372 | 3837962 | 4049 2273 | 112 | 56 1592.74/1593.25 c 1534s | 24 | 3879889 | 3842462 | 4049 2275 | 112 | 56 1594.73/1595.27 c 1536s | 24 | 3885022 | 3847562 | 4049 2277 | 112 | 56 1596.73/1597.28 c 1538s | 24 | 3889534 | 3852062 | 4049 2280 | 112 | 56 1598.84/1599.30 c 1540s | 24 | 3893861 | 3856362 | 4049 2282 | 112 | 56 1600.84/1601.31 c 1542s | 24 | 3898582 | 3861062 | 4049 2284 | 112 | 56 1602.84/1603.33 c 1544s | 24 | 3903011 | 3865462 | 4049 2286 | 112 | 56 1604.85/1605.33 c 1546s | 24 | 3908143 | 3870562 | 4049 2288 | 112 | 56 1606.84/1607.36 c 1548s | 24 | 3913161 | 3875562 | 4049 2291 | 112 | 56 1608.94/1609.40 c 1550s | 24 | 3917973 | 3880362 | 4049 2293 | 112 | 56 1610.94/1611.42 c 1552s | 24 | 3922700 | 3885062 | 4049 2295 | 112 | 56 1612.94/1613.42 c 1554s | 24 | 3927629 | 3889962 | 4049 2297 | 112 | 56 1614.94/1615.45 c 1556s | 24 | 3931938 | 3894262 | 4049 2300 | 112 | 56 1616.94/1617.47 c 1558s | 24 | 3936858 | 3899162 | 4049 2302 | 112 | 56 1618.93/1619.47 c 1560s | 24 | 3941781 | 3904062 | 4049 2304 | 112 | 56 1621.03/1621.51 c 1562s | 24 | 3945805 | 3908062 | 4049 2306 | 112 | 56 1623.03/1623.53 c 1564s | 24 | 3950327 | 3912562 | 4049 2308 | 112 | 56 1625.03/1625.58 c 1566s | 24 | 3955364 | 3917562 | 4049 2311 | 112 | 56 1627.03/1627.59 c 1568s | 24 | 3960685 | 3922862 | 4049 2313 | 112 | 56 1629.13/1629.60 c 1570s | 24 | 3965704 | 3927862 | 4049 2315 | 112 | 56 1631.14/1631.63 c 1572s | 24 | 3971227 | 3933362 | 4049 2318 | 112 | 56 1633.13/1633.64 c 1574s | 24 | 3976155 | 3938262 | 4049 2320 | 112 | 56 1635.13/1635.66 c 1576s | 24 | 3981465 | 3943562 | 4049 2323 | 112 | 56 1637.13/1637.67 c 1578s | 24 | 3986292 | 3948362 | 4049 2325 | 112 | 56 1639.13/1639.69 c 1580s | 24 | 3991205 | 3953262 | 4049 2327 | 112 | 56 1641.23/1641.75 c 1583s | 24 | 3996037 | 3958062 | 4049 2330 | 112 | 56 1643.23/1643.76 c 1585s | 24 | 4001452 | 3963462 | 4049 2332 | 112 | 56 1645.23/1645.78 c 1587s | 24 | 4006381 | 3968362 | 4049 2335 | 112 | 56 1647.33/1647.81 c 1589s | 24 | 4011403 | 3973362 | 4049 2337 | 112 | 56 1649.33/1649.81 c 1591s | 24 | 4016445 | 3978362 | 4049 2339 | 112 | 56 1651.33/1651.82 c 1593s | 24 | 4021469 | 3983362 | 4049 2342 | 112 | 56 1653.32/1653.84 c 1595s | 24 | 4026494 | 3988362 | 4049 2344 | 112 | 56 1655.33/1655.86 c 1597s | 24 | 4031618 | 3993462 | 4049 2346 | 112 | 56 1657.32/1657.88 c 1599s | 24 | 4036835 | 3998662 | 4049 2349 | 112 | 56 1659.32/1659.89 c 1601s | 24 | 4041958 | 4003762 | 4049 2351 | 112 | 56 1661.42/1661.91 c 1603s | 24 | 4047083 | 4008862 | 4049 2354 | 112 | 56 1663.42/1663.94 c 1605s | 24 | 4052405 | 4014162 | 4049 2356 | 112 | 56 1665.42/1665.95 c 1607s | 24 | 4057159 | 4018662 | 4049 2358 | 112 | 56 1667.43/1667.95 c 1609s | 24 | 4062383 | 4023862 | 4049 2361 | 112 | 56 1669.42/1669.96 c 1611s | 24 | 4067506 | 4028962 | 4049 2363 | 112 | 56 1671.42/1671.96 c 1613s | 24 | 4072332 | 4033762 | 4049 2365 | 112 | 56 1673.43/1673.98 c 1615s | 24 | 4077355 | 4038762 | 4049 2368 | 112 | 56 1675.53/1676.00 c 1617s | 24 | 4082278 | 4043662 | 4049 2370 | 112 | 56 1677.53/1678.01 c 1619s | 24 | 4087098 | 4048462 | 4049 2372 | 112 | 56 1679.53/1680.03 c 1621s | 24 | 4092317 | 4053662 | 4049 2375 | 112 | 56 1681.53/1682.06 c 1623s | 24 | 4097546 | 4058862 | 4049 2377 | 112 | 56 1683.53/1684.09 c 1625s | 24 | 4102570 | 4063862 | 4049 2380 | 112 | 56 1685.63/1686.10 c 1627s | 24 | 4107688 | 4068962 | 4049 2382 | 112 | 56 1687.63/1688.14 c 1629s | 24 | 4112502 | 4073762 | 4049 2384 | 112 | 56 1689.63/1690.16 c 1631s | 24 | 4117420 | 4078662 | 4049 2387 | 112 | 56 1691.63/1692.16 c 1633s | 24 | 4122150 | 4083362 | 4049 2389 | 112 | 56 1693.63/1694.16 c 1635s | 24 | 4127367 | 4088562 | 4049 2391 | 112 | 56 1695.73/1696.20 c 1637s | 24 | 4132188 | 4093362 | 4049 2394 | 112 | 56 1697.72/1698.26 c 1639s | 24 | 4137023 | 4098162 | 4049 2396 | 112 | 56 1699.72/1700.29 c 1641s | 24 | 4142444 | 4103562 | 4049 2398 | 112 | 56 1701.82/1702.30 c 1643s | 24 | 4147667 | 4108762 | 4049 2401 | 112 | 56 1703.83/1704.31 c 1645s | 24 | 4152591 | 4113662 | 4049 2403 | 112 | 56 1705.82/1706.32 c 1647s | 24 | 4157518 | 4118562 | 4049 2406 | 112 | 56 1707.82/1708.33 c 1649s | 24 | 4162531 | 4123562 | 4049 2408 | 112 | 56 1709.82/1710.33 c 1651s | 24 | 4167653 | 4128662 | 4049 2410 | 112 | 56 1711.82/1712.34 c 1653s | 24 | 4172379 | 4133362 | 4049 2413 | 112 | 56 1713.82/1714.34 c 1655s | 24 | 4177108 | 4138062 | 4049 2415 | 112 | 56 1715.83/1716.37 c 1657s | 24 | 4182129 | 4143062 | 4049 2417 | 112 | 56 1717.82/1718.38 c 1659s | 24 | 4186759 | 4147662 | 4049 2419 | 112 | 56 1719.92/1720.40 c 1661s | 24 | 4192075 | 4152962 | 4049 2422 | 112 | 56 1721.92/1722.42 c 1663s | 24 | 4196998 | 4157862 | 4049 2424 | 112 | 56 1723.92/1724.45 c 1665s | 24 | 4202317 | 4163162 | 4049 2427 | 112 | 56 1726.02/1726.55 c 1667s | 24 | 4207647 | 4168462 | 4049 2429 | 112 | 56 1728.02/1728.57 c 1669s | 24 | 4212477 | 4173262 | 4049 2431 | 112 | 56 1730.02/1730.57 c 1671s | 24 | 4217689 | 4178462 | 4049 2434 | 112 | 56 1732.02/1732.59 c 1673s | 24 | 4222913 | 4183662 | 4049 2436 | 112 | 56 1734.32/1734.82 c 1676s | 24 | 4227932 | 4188662 | 4049 2439 | 112 | 56 1736.32/1736.85 c 1678s | 24 | 4233356 | 4194062 | 4049 2441 | 112 | 56 1738.31/1738.87 c 1680s | 24 | 4237871 | 4198562 | 4049 2443 | 112 | 56 1740.31/1740.88 c 1682s | 24 | 4243102 | 4203762 | 4049 2446 | 112 | 56 1742.32/1742.88 c 1684s | 24 | 4248026 | 4208662 | 4049 2448 | 112 | 56 1744.31/1744.89 c 1686s | 24 | 4253148 | 4213762 | 4049 2451 | 112 | 56 1746.41/1746.91 c 1688s | 24 | 4257963 | 4218562 | 4049 2453 | 112 | 56 1748.41/1748.93 c 1690s | 24 | 4263296 | 4223862 | 4049 2455 | 112 | 56 1750.41/1750.95 c 1692s | 24 | 4268120 | 4228662 | 4049 2458 | 112 | 56 1752.41/1752.97 c 1694s | 24 | 4273443 | 4233962 | 4049 2460 | 112 | 56 1754.61/1755.14 c 1696s | 24 | 4278368 | 4238862 | 4049 2462 | 112 | 56 1756.62/1757.15 c 1698s | 24 | 4283794 | 4244262 | 4049 2465 | 112 | 56 1758.61/1759.19 c 1700s | 24 | 4289118 | 4249562 | 4049 2467 | 112 | 56 1760.71/1761.20 c 1702s | 24 | 4294438 | 4254862 | 4049 2470 | 112 | 56 1762.71/1763.23 c 1704s | 24 | 4299463 | 4259862 | 4049 2472 | 112 | 56 1764.71/1765.25 c 1706s | 24 | 4304383 | 4264762 | 4049 2475 | 112 | 56 1766.71/1767.26 c 1708s | 24 | 4308808 | 4269162 | 4049 2477 | 112 | 56 1768.71/1769.26 c 1710s | 24 | 4313832 | 4274162 | 4049 2479 | 112 | 56 1770.71/1771.30 c 1712s | 24 | 4318750 | 4279062 | 4049 2481 | 112 | 56 1772.81/1773.38 c 1714s | 24 | 4323307 | 4283562 | 4049 2484 | 112 | 56 1774.81/1775.39 c 1716s | 24 | 4328333 | 4288562 | 4049 2486 | 112 | 56 1776.91/1777.40 c 1718s | 24 | 4333850 | 4294062 | 4049 2489 | 112 | 56 1778.90/1779.43 c 1720s | 24 | 4338675 | 4298862 | 4049 2491 | 112 | 56 1780.90/1781.45 c 1722s | 24 | 4343796 | 4303962 | 4049 2493 | 112 | 56 1782.91/1783.49 c 1724s | 24 | 4348720 | 4308862 | 4049 2496 | 112 | 56 1785.00/1785.52 c 1726s | 24 | 4353449 | 4313562 | 4049 2498 | 112 | 56 1787.00/1787.54 c 1728s | 24 | 4358572 | 4318662 | 4049 2500 | 112 | 56 1789.01/1789.57 c 1730s | 24 | 4363592 | 4323662 | 4049 2503 | 112 | 56 1791.01/1791.58 c 1732s | 24 | 4368412 | 4328462 | 4049 2505 | 112 | 56 1793.11/1793.61 c 1734s | 24 | 4373434 | 4333462 | 4049 2507 | 112 | 56 1795.12/1795.66 c 1736s | 24 | 4378459 | 4338462 | 4049 2510 | 112 | 56 1797.11/1797.66 c 1738s | 24 | 4383678 | 4343662 | 4049 2512 | 112 | 56 1799.11/1799.68 c 1740s | 24 | 4388495 | 4348462 | 4049 2514 | 112 | 56
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-4100313-1466213348/watcher-4100313-1466213348 -o /tmp/evaluation-result-4100313-1466213348/solver-4100313-1466213348 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100313-1466213348.opb pid=2765 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.18 2.21 2.13 3/185 2768 /proc/meminfo: memFree=30038208/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=814524 CPUtime=0 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 3056 0 0 0 0 0 0 0 20 0 4 0 23384029 834072576 2907 33554432000 4194304 16246674 140733212962192 140733212961616 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 204399 2915 441 2943 0 201293 0 [pid=2768/tid=2769] ppid=2765 vsize=832956 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 852946944 2976 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=837052 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 857141248 2994 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=841148 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384029 861335552 3010 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100197 s] /proc/loadavg: 2.18 2.21 2.13 3/185 2768 /proc/meminfo: memFree=30038208/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=1220164 CPUtime=0.09 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 28063 0 0 0 5 4 0 0 20 0 4 0 23384029 1249447936 27851 33554432000 4194304 16246674 140733212962192 140733212961504 12429797 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 305041 27856 821 2943 0 301935 0 [pid=2768/tid=2769] ppid=2765 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 1249447936 27859 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 1249447936 27863 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23384029 1249447936 27867 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200506 s] /proc/loadavg: 2.18 2.21 2.13 3/185 2768 /proc/meminfo: memFree=30038208/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=1220164 CPUtime=0.19 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 51720 0 0 0 12 7 0 0 20 0 4 0 23384029 1249447936 51509 33554432000 4194304 16246674 140733212962192 140733212961504 12656437 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 305041 51514 832 2943 0 301935 0 [pid=2768/tid=2769] ppid=2765 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 1249447936 51517 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 1249447936 51520 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23384029 1249447936 51524 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1220164 [startup+0.300475 s] /proc/loadavg: 2.18 2.21 2.13 3/185 2768 /proc/meminfo: memFree=30038208/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=1220164 CPUtime=0.29 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 76032 0 0 0 19 10 0 0 20 0 4 0 23384029 1249447936 75820 33554432000 4194304 16246674 140733212962192 140733212961504 6958849 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 305041 75831 832 2943 0 301935 0 [pid=2768/tid=2769] ppid=2765 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 1249447936 75838 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 1249447936 75845 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23384029 1249447936 75852 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1220164 [startup+0.700399 s] /proc/loadavg: 2.18 2.21 2.13 3/185 2768 /proc/meminfo: memFree=30038208/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=1220164 CPUtime=0.69 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 181158 0 0 0 46 23 0 0 20 0 4 0 23384029 1249447936 180946 33554432000 4194304 16246674 140733212962192 140733212944064 6156109 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 305041 180957 844 2943 0 301935 0 [pid=2768/tid=2769] ppid=2765 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 1249447936 180967 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 1249447936 180972 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23384029 1249447936 180982 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1220164 [startup+1.50773 s] /proc/loadavg: 2.18 2.21 2.13 3/189 2772 /proc/meminfo: memFree=29031900/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=1297988 CPUtime=1.49 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 265153 0 0 0 115 34 0 0 20 0 4 0 23384029 1329139712 264941 33554432000 4194304 16246674 140733212962192 140733212944064 5602147 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 324497 264945 897 2943 0 321391 0 [pid=2768/tid=2769] ppid=2765 vsize=1297988 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 1329139712 264947 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=1297988 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 1329139712 264950 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=1297988 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23384029 1329139712 264951 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1297988 [startup+3.10041 s] /proc/loadavg: 2.32 2.24 2.14 3/189 2772 /proc/meminfo: memFree=28973372/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=1308228 CPUtime=3.09 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 268115 0 0 0 274 35 0 0 20 0 4 0 23384029 1339625472 267903 33554432000 4194304 16246674 140733212962192 140733212944064 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 327057 267903 915 2943 0 323951 0 [pid=2768/tid=2769] ppid=2765 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 1339625472 267903 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 1339625472 267903 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23384029 1339625472 267903 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1308228 [startup+6.30034 s] /proc/loadavg: 2.32 2.24 2.14 4/189 2772 /proc/meminfo: memFree=28957680/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=1308228 CPUtime=6.29 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 268272 0 0 0 594 35 0 0 20 0 4 0 23384029 1339625472 268060 33554432000 4194304 16246674 140733212962192 140733212944064 5600136 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 327057 268060 919 2943 0 323951 0 [pid=2768/tid=2769] ppid=2765 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 1339625472 268060 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 1339625472 268060 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23384029 1339625472 268060 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.58 2.29 2.16 3/189 2772 /proc/meminfo: memFree=28942896/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=1308228 CPUtime=12.69 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 268272 0 0 0 1234 35 0 0 20 0 4 0 23384029 1339625472 268060 33554432000 4194304 16246674 140733212962192 140733212944064 5546252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 327057 268060 919 2943 0 323951 0 [pid=2768/tid=2769] ppid=2765 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 1339625472 268060 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 1339625472 268060 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23384029 1339625472 268060 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5004 s] /proc/loadavg: 2.56 2.30 2.17 3/184 2835 /proc/meminfo: memFree=28922692/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=1308228 CPUtime=25.49 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 268274 0 0 0 2514 35 0 0 20 0 4 0 23384029 1339625472 268062 33554432000 4194304 16246674 140733212962192 140733212944064 5599968 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 327057 268062 921 2943 0 323951 0 [pid=2768/tid=2769] ppid=2765 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 1339625472 268062 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 1339625472 268062 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23384029 1339625472 268062 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1308228 [startup+51.1004 s] /proc/loadavg: 2.37 2.27 2.16 4/184 2835 /proc/meminfo: memFree=28921288/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=1312324 CPUtime=51.08 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 269190 0 0 0 5073 35 0 0 20 0 4 0 23384029 1343819776 268978 33554432000 4194304 16246674 140733212962192 140733212944064 5600084 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 328081 268978 922 2943 0 324975 0 [pid=2768/tid=2769] ppid=2765 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 1343819776 268978 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 1343819776 268978 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23384029 1343819776 268978 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1312324 [startup+102.3 s] /proc/loadavg: 2.27 2.26 2.16 4/184 2839 /proc/meminfo: memFree=28919012/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=1314372 CPUtime=102.27 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 269811 0 0 0 10192 35 0 0 20 0 4 0 23384029 1345916928 269599 33554432000 4194304 16246674 140733212962192 140733212945192 5659680 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 328593 269599 922 2943 0 325487 0 [pid=2768/tid=2769] ppid=2765 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 1345916928 269599 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 1345916928 269599 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23384029 1345916928 269599 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1314372 ################ # More data... # ################ /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 1329732 [startup+1302.3 s] /proc/loadavg: 2.18 2.18 2.14 3/184 2918 /proc/meminfo: memFree=28505060/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=1329732 CPUtime=1301.89 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 274023 0 0 0 130141 48 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140733212944064 5763400 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 332433 273699 922 2943 0 329327 0 [pid=2768/tid=2769] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1329732 [startup+1362.3 s] /proc/loadavg: 2.21 2.19 2.14 4/183 2919 /proc/meminfo: memFree=28504168/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=1329732 CPUtime=1361.87 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 274023 0 0 0 136139 48 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140733212945192 12483183 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 332433 273699 922 2943 0 329327 0 [pid=2768/tid=2769] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1329732 [startup+1422.3 s] /proc/loadavg: 2.24 2.20 2.15 3/183 2920 /proc/meminfo: memFree=28269748/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=1329732 CPUtime=1421.86 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 274023 0 0 0 142138 48 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140733212945192 5712600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 332433 273699 922 2943 0 329327 0 [pid=2768/tid=2769] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1329732 [startup+1482.3 s] /proc/loadavg: 2.32 2.22 2.15 3/183 2921 /proc/meminfo: memFree=28175180/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=1329732 CPUtime=1481.85 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 274023 0 0 0 148136 49 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140733212944064 5588976 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 332433 273699 922 2943 0 329327 0 [pid=2768/tid=2769] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1329732 [startup+1542.3 s] /proc/loadavg: 2.24 2.21 2.15 3/183 2922 /proc/meminfo: memFree=28175440/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=1329732 CPUtime=1541.84 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 274023 0 0 0 154134 50 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140733212944064 5675369 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 332433 273699 922 2943 0 329327 0 [pid=2768/tid=2769] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1329732 [startup+1602.3 s] /proc/loadavg: 2.19 2.20 2.15 3/182 2923 /proc/meminfo: memFree=28175600/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=1329732 CPUtime=1601.84 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 274023 0 0 0 160133 51 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140733212944064 6021573 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 332433 273699 922 2943 0 329327 0 [pid=2768/tid=2769] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1329732 [startup+1662.3 s] /proc/loadavg: 2.24 2.21 2.16 3/183 2925 /proc/meminfo: memFree=28174980/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=1329732 CPUtime=1661.82 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 274023 0 0 0 166131 51 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140733212961368 13752941 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 332433 273699 922 2943 0 329327 0 [pid=2768/tid=2769] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1329732 [startup+1722.3 s] /proc/loadavg: 2.34 2.24 2.17 3/183 2926 /proc/meminfo: memFree=28148476/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=1329732 CPUtime=1721.82 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 274023 0 0 0 172130 52 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140733212944064 5998011 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 332433 273699 922 2943 0 329327 0 [pid=2768/tid=2769] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1329732 [startup+1782.3 s] /proc/loadavg: 2.29 2.24 2.18 3/183 2927 /proc/meminfo: memFree=28147868/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=1329732 CPUtime=1781.81 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 274023 0 0 0 178129 52 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140733212944064 13774516 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 332433 273699 922 2943 0 329327 0 [pid=2768/tid=2769] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1329732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.22 2.23 2.17 3/183 2927 /proc/meminfo: memFree=28147968/32872528 swapFree=681964/737152 [pid=2768] ppid=2765 vsize=1329732 CPUtime=1800.01 cores=0,2,4,6 /proc/2768/stat : 2768 (toysat) R 2765 2768 1377 0 -1 4202496 274023 0 0 0 179948 53 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140733212944064 5711968 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/2768/statm: 332433 273699 922 2943 0 329327 0 [pid=2768/tid=2769] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2769/stat : 2769 (toysat) S 2765 2768 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537576271088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=2768/tid=2770] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2770/stat : 2770 (toysat) S 2765 2768 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537565781232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2768/tid=2771] ppid=2765 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/2768/task/2771/stat : 2771 (toysat) S 2765 2768 1377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23384029 1361645568 273699 33554432000 4194304 16246674 140733212962192 140537555307696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1329732 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 2768 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.49 CPU system time (s): 0.530919 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 1329732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.49 system time used= 0.530919 maximum resident set size= 1094796 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274023 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= 387 involuntary context switches= 1957 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.5713 second user time and 6.93895 second system time The end
Begin job on node112 at 2016-06-18 03:29:08 IDJOB=4100313 IDBENCH=1601 IDSOLVER=2542 FILE ID=node112/4100313-1466213348 RUNJOBID= node112-1466206100-1394 PBS_JOBID= 19918164 Free space on /tmp= 71692 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-glass4.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100313-1466213348/watcher-4100313-1466213348 -o /tmp/evaluation-result-4100313-1466213348/solver-4100313-1466213348 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100313-1466213348.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bde08d14cdb5e6beb81499ee17ba1695 RANDOM SEED=1577029065 node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.46 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5321.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30038100 kB Buffers: 55792 kB Cached: 112412 kB SwapCached: 1916 kB Active: 1292568 kB Inactive: 79956 kB Active(anon): 1205476 kB Inactive(anon): 1572 kB Active(file): 87092 kB Inactive(file): 78384 kB Unevictable: 737152 kB Mlocked: 681964 kB SwapTotal: 67108856 kB SwapFree: 67096988 kB Dirty: 18272 kB Writeback: 0 kB AnonPages: 1922556 kB Mapped: 11180 kB Shmem: 0 kB Slab: 586568 kB SReclaimable: 29572 kB SUnreclaim: 556996 kB KernelStack: 1568 kB PageTables: 8300 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2087316 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1232896 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= 71676 MiB End job on node112 at 2016-06-18 03:59:09