Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.04 | 1800.41 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_010_area_delay.opb |
| MD5SUM | d869c2ae266497675d66f161576eaac8 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 26 |
| Best CPU time to get the best result obtained on this benchmark | 4.16237 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 29 |
| Optimality of the best value was proved | NO |
| Number of variables | 11729 |
| Total number of constraints | 36747 |
| Number of constraints which are clauses | 36747 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 5750 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 5750 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 5750 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T23:53:09+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-4079837-1465249989.opb"] 0.00/0.01 c use --random-gen="465665212 2912668291 992122623 1076449606 2713217734 204179602 191360926 3951676807 1262099654 2733822040 3034382204 2795581691 44695780 276399162 2297607555 3798938928 2837323391 3108502289 1250506193 1059600163 2149672673 2948746918 1741730311 3712156460 2881001946 958974583 2750618272 3681801334 2806162829 3578637855 3067287301 4009431948 140581862 1866656923 1405533874 3022329505 1323856167 1941917130 2528848047 3113944776 1562164049 2573575386 3443320649 2877274851 1690873005 3436766582 1019305277 617634885 3384921396 2090798962 1067927971 3744501466 2936422117 2297956038 675109345 4096342210 409411942 2127096031 426562793 3777179314 2512956877 2702250437 798118396 75976978 2858165656 1060337139 2558712437 1617882661 4079240231 4173961550 604717857 1860035244 3294375489 3048728818 3414395437 3861672512 542724601 2976829110 4100729060 4255111125 3457390841 2684133540 2988731483 3517004977 4105412516 155202401 2527333694 2952384608 1462233479 1763700515 3484657915 1721269047 1800603382 2984112297 1483611998 2879398102 832107541 3639678684 1596482631 233900246 153117456 2026899900 350357442 3395755809 396165906 406342926 1910658562 3827387995 295822934 963043544 1370561940 2023043378 1201718942 1105710680 3925934552 4133101333 798145779 3122762327 2947813972 2419130415 1348597330 643592307 3939131541 727400762 1070834486 148897724 962222800 2388214163 285897421 4220769275 1364034530 1671696401 1111269553 866794909 1881140063 3012265800 452656668 3371044415 1188059359 1005310001 1585624545 730455583 344360458 1353328377 2914528530 2718066548 4119236392 2506635199 817371694 505412357 3422969656 3022887233 1969570458 2658579893 1384018623 4026322718 2142564760 313716429 3460944653 4091275411 2092111879 4238709247 2370589683 2136572413 309604331 1660183499 3411961852 1824408646 211819947 3606052511 3528575413 1470085281 515230265 2194560426 3035815600 2615896812 2370376402 3438668644 2486138833 1432744497 3405714686 3644145181 396799545 3252336016 2164581513 2787151926 1279980043 536981965 2889747809 2478870131 2025951104 2022195848 3516058243 3079303500 1729695004 215247110 885793581 1706691869 3639203619 1509983265 2161776364 4151654686 2701161988 3727127951 890697778 318896978 2477683907 3611085784 2361621478 2352786573 1614694615 3248901806 676665360 2233394609 2835150459 3783596418 1729291041 1851243671 2197998327 2295411287 1334073881 500866477 2707153475 3608963473 3679851693 1895156154 209810454 3891413066 3647935008 376861154 193089120 3359723931 37905982 1484992490 1910273386 914007118 164191951 4055542718 3792141508 1651008118 4050915164 333947049 3232242401 2856732101 3057450773 595592256 3291761922 538009933 301282157 1887068170 3658919955 2559107944 833181477 3925664279 1447207921 1806471492 255 362436" option to reproduce the execution 0.19/0.23 c #vars 11729 0.19/0.23 c #constraints 36747 0.59/0.68 c BCD2: Hardening is enabled. 0.59/0.68 c BCD2: BiasedSearch is enabled. 0.59/0.68 c Solving starts ... 0.59/0.68 c ============================[ Search Statistics ]============================ 0.59/0.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.68 c | | | | Limit GC | Var | Constra 0.59/0.68 c ============================================================================= 0.59/0.68 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 0 0.69/0.76 c 0.1s | 0 | 2509 | 0 | 15778 0 | 2255 | 4691 0.69/0.76 c #cpu_time = 0.071s 0.69/0.76 c #wall_clock_time = 0.071s 0.69/0.76 c #decision = 2509 0.69/0.76 c #random_decision = 10 0.69/0.76 c #conflict = 0 0.69/0.76 c #restart = 0 0.69/0.76 o 2512 0.79/0.82 c BCD2: updating upper bound: 5750 -> 2511 0.79/0.86 c BCD2: 0 <= obj <= 2511 0.79/0.86 c BCD2: #cores=0, #unrelaxed=5750, #relaxed=0, #hardened=0 0.79/0.86 c BCD2: #sat=1 #unsat=1 bias=1/2 0.99/1.00 c Solving starts ... 0.99/1.00 c ============================[ Search Statistics ]============================ 0.99/1.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.00 c | | | | Limit GC | Var | Constra 0.99/1.00 c ============================================================================= 0.99/1.00 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 4691 0.99/1.00 c 0.0s | 0 | 103 | 1 | 15778 0 | 2255 | 4691 0.99/1.00 c #cpu_time = 0.023s 0.99/1.00 c #wall_clock_time = 0.023s 0.99/1.00 c #decision = 103 0.99/1.00 c #random_decision = 0 0.99/1.00 c #conflict = 1 0.99/1.00 c #restart = 0 0.99/1.00 c BCD2: found a new core of size 5: cost of the new core is >=1 0.99/1.00 c lower bound updated to 1 0.99/1.00 c BCD2: 1 <= obj <= 2511 0.99/1.00 c BCD2: #cores=1, #unrelaxed=5745, #relaxed=5, #hardened=0 0.99/1.00 c BCD2: #sat=1 #unsat=2 bias=2/3 0.99/1.00 c Solving starts ... 0.99/1.00 c ============================[ Search Statistics ]============================ 0.99/1.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.00 c | | | | Limit GC | Var | Constra 0.99/1.00 c ============================================================================= 0.99/1.00 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 4691 0.99/1.00 c 0.0s | 0 | 79 | 0 | 15778 0 | 2255 | 4691 0.99/1.00 c #cpu_time = 0.015s 0.99/1.00 c #wall_clock_time = 0.015s 0.99/1.00 c #decision = 79 0.99/1.00 c #random_decision = 0 0.99/1.00 c #conflict = 0 0.99/1.00 c #restart = 0 0.99/1.00 c BCD2: found a new core of size 14: cost of the new core is >=1 0.99/1.00 c lower bound updated to 2 0.99/1.00 c BCD2: 2 <= obj <= 2511 0.99/1.00 c BCD2: #cores=2, #unrelaxed=5731, #relaxed=19, #hardened=0 0.99/1.00 c BCD2: #sat=1 #unsat=3 bias=3/4 0.99/1.00 c Solving starts ... 0.99/1.00 c ============================[ Search Statistics ]============================ 0.99/1.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.00 c | | | | Limit GC | Var | Constra 0.99/1.00 c ============================================================================= 0.99/1.00 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 4691 0.99/1.00 c 0.0s | 0 | 142 | 0 | 15778 0 | 2255 | 4691 0.99/1.00 c #cpu_time = 0.015s 0.99/1.00 c #wall_clock_time = 0.015s 0.99/1.00 c #decision = 142 0.99/1.00 c #random_decision = 0 0.99/1.00 c #conflict = 0 0.99/1.00 c #restart = 0 0.99/1.00 c BCD2: found a new core of size 35: cost of the new core is >=1 0.99/1.00 c lower bound updated to 3 0.99/1.00 c BCD2: 3 <= obj <= 2511 0.99/1.00 c BCD2: #cores=3, #unrelaxed=5696, #relaxed=54, #hardened=0 0.99/1.00 c BCD2: #sat=1 #unsat=4 bias=4/5 0.99/1.00 c Solving starts ... 0.99/1.00 c ============================[ Search Statistics ]============================ 0.99/1.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.00 c | | | | Limit GC | Var | Constra 0.99/1.00 c ============================================================================= 0.99/1.00 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 4691 0.99/1.00 c 0.0s | 0 | 122 | 0 | 15778 0 | 2255 | 4691 0.99/1.00 c #cpu_time = 0.020s 0.99/1.00 c #wall_clock_time = 0.020s 0.99/1.00 c #decision = 122 0.99/1.00 c #random_decision = 0 0.99/1.00 c #conflict = 0 0.99/1.00 c #restart = 0 0.99/1.00 c BCD2: found a new core of size 32: cost of the new core is >=1 0.99/1.00 c lower bound updated to 4 0.99/1.00 c BCD2: 4 <= obj <= 2511 0.99/1.00 c BCD2: #cores=4, #unrelaxed=5664, #relaxed=86, #hardened=0 0.99/1.00 c BCD2: #sat=1 #unsat=5 bias=5/6 0.99/1.00 c Solving starts ... 0.99/1.00 c ============================[ Search Statistics ]============================ 0.99/1.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.00 c | | | | Limit GC | Var | Constra 0.99/1.00 c ============================================================================= 0.99/1.00 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 4691 0.99/1.01 c 0.0s | 0 | 145 | 0 | 15778 0 | 2255 | 4691 0.99/1.01 c #cpu_time = 0.014s 0.99/1.01 c #wall_clock_time = 0.015s 0.99/1.01 c #decision = 145 0.99/1.01 c #random_decision = 0 0.99/1.01 c #conflict = 0 0.99/1.01 c #restart = 0 0.99/1.01 c BCD2: found a new core of size 8: cost of the new core is >=1 0.99/1.01 c lower bound updated to 5 0.99/1.02 c BCD2: 5 <= obj <= 2511 0.99/1.02 c BCD2: #cores=5, #unrelaxed=5656, #relaxed=94, #hardened=0 0.99/1.02 c BCD2: #sat=1 #unsat=6 bias=6/7 0.99/1.02 c Solving starts ... 0.99/1.02 c ============================[ Search Statistics ]============================ 0.99/1.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.02 c | | | | Limit GC | Var | Constra 0.99/1.02 c ============================================================================= 0.99/1.02 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 4691 0.99/1.03 c 0.0s | 0 | 599 | 0 | 15778 0 | 2255 | 4691 0.99/1.03 c #cpu_time = 0.016s 0.99/1.03 c #wall_clock_time = 0.016s 0.99/1.03 c #decision = 599 0.99/1.03 c #random_decision = 0 0.99/1.03 c #conflict = 0 0.99/1.03 c #restart = 0 0.99/1.03 c BCD2: found a new core of size 27: cost of the new core is >=1 0.99/1.03 c lower bound updated to 6 0.99/1.04 c BCD2: 6 <= obj <= 2511 0.99/1.04 c BCD2: #cores=6, #unrelaxed=5629, #relaxed=121, #hardened=0 0.99/1.04 c BCD2: #sat=1 #unsat=7 bias=7/8 0.99/1.04 c Solving starts ... 0.99/1.04 c ============================[ Search Statistics ]============================ 0.99/1.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.04 c | | | | Limit GC | Var | Constra 0.99/1.04 c ============================================================================= 0.99/1.04 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 4691 0.99/1.06 c 0.0s | 0 | 644 | 0 | 15778 0 | 2255 | 4691 0.99/1.06 c #cpu_time = 0.015s 0.99/1.06 c #wall_clock_time = 0.015s 0.99/1.06 c #decision = 644 0.99/1.06 c #random_decision = 0 0.99/1.06 c #conflict = 0 0.99/1.06 c #restart = 0 0.99/1.06 c BCD2: found a new core of size 45: cost of the new core is >=1 0.99/1.06 c lower bound updated to 7 0.99/1.06 c BCD2: 7 <= obj <= 2511 0.99/1.06 c BCD2: #cores=7, #unrelaxed=5584, #relaxed=166, #hardened=0 0.99/1.06 c BCD2: #sat=1 #unsat=8 bias=8/9 0.99/1.06 c Solving starts ... 0.99/1.06 c ============================[ Search Statistics ]============================ 0.99/1.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.06 c | | | | Limit GC | Var | Constra 0.99/1.06 c ============================================================================= 0.99/1.06 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 4691 0.99/1.08 c 0.0s | 0 | 841 | 0 | 15778 0 | 2255 | 4691 0.99/1.08 c #cpu_time = 0.023s 0.99/1.08 c #wall_clock_time = 0.023s 0.99/1.08 c #decision = 841 0.99/1.08 c #random_decision = 0 0.99/1.08 c #conflict = 0 0.99/1.08 c #restart = 0 0.99/1.08 c BCD2: found a new core of size 9: cost of the new core is >=1 0.99/1.08 c lower bound updated to 8 0.99/1.08 c BCD2: 8 <= obj <= 2511 0.99/1.08 c BCD2: #cores=8, #unrelaxed=5575, #relaxed=175, #hardened=0 0.99/1.08 c BCD2: #sat=1 #unsat=9 bias=9/10 0.99/1.08 c Solving starts ... 0.99/1.08 c ============================[ Search Statistics ]============================ 0.99/1.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.08 c | | | | Limit GC | Var | Constra 0.99/1.08 c ============================================================================= 0.99/1.08 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 4691 1.09/1.10 c 0.0s | 0 | 2204 | 0 | 15778 0 | 2255 | 4691 1.09/1.10 c #cpu_time = 0.020s 1.09/1.10 c #wall_clock_time = 0.020s 1.09/1.10 c #decision = 2204 1.09/1.10 c #random_decision = 0 1.09/1.10 c #conflict = 0 1.09/1.10 c #restart = 0 1.09/1.10 c BCD2: found a new core of size 137: cost of the new core is >=1 1.09/1.11 c lower bound updated to 9 1.09/1.11 c BCD2: 9 <= obj <= 2511 1.09/1.11 c BCD2: #cores=9, #unrelaxed=5438, #relaxed=312, #hardened=0 1.09/1.11 c BCD2: #sat=1 #unsat=10 bias=10/11 1.09/1.11 c Solving starts ... 1.09/1.11 c ============================[ Search Statistics ]============================ 1.09/1.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.11 c | | | | Limit GC | Var | Constra 1.09/1.11 c ============================================================================= 1.09/1.11 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 4691 1.09/1.13 c 0.0s | 0 | 2208 | 0 | 15778 0 | 2255 | 4691 1.09/1.13 c #cpu_time = 0.017s 1.09/1.13 c #wall_clock_time = 0.017s 1.09/1.13 c #decision = 2208 1.09/1.13 c #random_decision = 0 1.09/1.13 c #conflict = 0 1.09/1.13 c #restart = 0 1.09/1.13 c BCD2: found a new core of size 33: cost of the new core is >=1 1.09/1.13 c lower bound updated to 10 1.09/1.14 c BCD2: 10 <= obj <= 2511 1.09/1.14 c BCD2: #cores=10, #unrelaxed=5405, #relaxed=345, #hardened=0 1.09/1.14 c BCD2: #sat=1 #unsat=11 bias=11/12 1.09/1.14 c Solving starts ... 1.09/1.14 c ============================[ Search Statistics ]============================ 1.09/1.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.14 c | | | | Limit GC | Var | Constra 1.09/1.14 c ============================================================================= 1.09/1.14 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 4691 1.09/1.15 c 0.0s | 0 | 2352 | 0 | 15778 0 | 2255 | 4691 1.09/1.15 c #cpu_time = 0.017s 1.09/1.15 c #wall_clock_time = 0.017s 1.09/1.15 c #decision = 2352 1.09/1.15 c #random_decision = 0 1.09/1.15 c #conflict = 0 1.09/1.15 c #restart = 0 1.09/1.16 c BCD2: found a new core of size 83: cost of the new core is >=1 1.09/1.16 c lower bound updated to 11 1.09/1.16 c BCD2: 11 <= obj <= 2511 1.09/1.16 c BCD2: #cores=11, #unrelaxed=5322, #relaxed=428, #hardened=0 1.09/1.16 c BCD2: #sat=1 #unsat=12 bias=12/13 1.09/1.16 c Solving starts ... 1.09/1.16 c ============================[ Search Statistics ]============================ 1.09/1.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.16 c | | | | Limit GC | Var | Constra 1.09/1.16 c ============================================================================= 1.09/1.16 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 4691 1.09/1.18 c 0.0s | 0 | 2453 | 0 | 15778 0 | 2255 | 4691 1.09/1.18 c #cpu_time = 0.026s 1.09/1.18 c #wall_clock_time = 0.026s 1.09/1.18 c #decision = 2453 1.09/1.18 c #random_decision = 0 1.09/1.18 c #conflict = 0 1.09/1.18 c #restart = 0 1.09/1.18 c BCD2: found a new core of size 37: cost of the new core is >=1 1.09/1.18 c lower bound updated to 12 1.09/1.19 c BCD2: 12 <= obj <= 2511 1.09/1.19 c BCD2: #cores=12, #unrelaxed=5285, #relaxed=465, #hardened=0 1.09/1.19 c BCD2: #sat=1 #unsat=13 bias=13/14 1.09/1.19 c Solving starts ... 1.09/1.19 c ============================[ Search Statistics ]============================ 1.09/1.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.19 c | | | | Limit GC | Var | Constra 1.09/1.19 c ============================================================================= 1.09/1.19 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 4691 1.19/1.21 c 0.0s | 0 | 2567 | 0 | 15778 0 | 2255 | 4691 1.19/1.21 c #cpu_time = 0.018s 1.19/1.21 c #wall_clock_time = 0.018s 1.19/1.21 c #decision = 2567 1.19/1.21 c #random_decision = 0 1.19/1.21 c #conflict = 0 1.19/1.21 c #restart = 0 1.19/1.21 c BCD2: found a new core of size 46: cost of the new core is >=1 1.19/1.21 c lower bound updated to 13 1.19/1.21 c BCD2: 13 <= obj <= 2511 1.19/1.21 c BCD2: #cores=13, #unrelaxed=5239, #relaxed=511, #hardened=0 1.19/1.21 c BCD2: #sat=1 #unsat=14 bias=14/15 1.19/1.21 c Solving starts ... 1.19/1.21 c ============================[ Search Statistics ]============================ 1.19/1.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.21 c | | | | Limit GC | Var | Constra 1.19/1.21 c ============================================================================= 1.19/1.21 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 4691 1.19/1.23 c 0.0s | 0 | 2557 | 0 | 15778 0 | 2255 | 4691 1.19/1.23 c #cpu_time = 0.017s 1.19/1.23 c #wall_clock_time = 0.017s 1.19/1.23 c #decision = 2557 1.19/1.23 c #random_decision = 0 1.19/1.23 c #conflict = 0 1.19/1.23 c #restart = 0 1.19/1.23 c BCD2: found a new core of size 35: cost of the new core is >=1 1.19/1.23 c lower bound updated to 14 1.19/1.24 c BCD2: 14 <= obj <= 2511 1.19/1.24 c BCD2: #cores=14, #unrelaxed=5204, #relaxed=546, #hardened=0 1.19/1.24 c BCD2: #sat=1 #unsat=15 bias=15/16 1.19/1.24 c Solving starts ... 1.19/1.24 c ============================[ Search Statistics ]============================ 1.19/1.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.24 c | | | | Limit GC | Var | Constra 1.19/1.24 c ============================================================================= 1.19/1.24 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 4691 1.19/1.26 c 0.0s | 0 | 2526 | 0 | 15778 0 | 2255 | 4691 1.19/1.26 c #cpu_time = 0.018s 1.19/1.26 c #wall_clock_time = 0.018s 1.19/1.26 c #decision = 2526 1.19/1.26 c #random_decision = 0 1.19/1.26 c #conflict = 0 1.19/1.26 c #restart = 0 1.19/1.26 c BCD2: found a new core of size 3: cost of the new core is >=1 1.19/1.26 c lower bound updated to 15 1.19/1.26 c BCD2: 15 <= obj <= 2511 1.19/1.26 c BCD2: #cores=15, #unrelaxed=5201, #relaxed=549, #hardened=0 1.19/1.26 c BCD2: #sat=1 #unsat=16 bias=16/17 1.19/1.26 c Solving starts ... 1.19/1.26 c ============================[ Search Statistics ]============================ 1.19/1.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.26 c | | | | Limit GC | Var | Constra 1.19/1.26 c ============================================================================= 1.19/1.26 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 4691 1.19/1.29 c 0.0s | 0 | 3072 | 0 | 15778 0 | 2255 | 4691 1.19/1.29 c #cpu_time = 0.027s 1.19/1.29 c #wall_clock_time = 0.027s 1.19/1.29 c #decision = 3072 1.19/1.29 c #random_decision = 0 1.19/1.29 c #conflict = 0 1.19/1.29 c #restart = 0 1.19/1.29 c BCD2: found a new core of size 86: cost of the new core is >=1 1.19/1.29 c lower bound updated to 16 1.19/1.29 c BCD2: 16 <= obj <= 2511 1.19/1.29 c BCD2: #cores=16, #unrelaxed=5115, #relaxed=635, #hardened=0 1.19/1.29 c BCD2: #sat=1 #unsat=17 bias=17/18 1.19/1.29 c Solving starts ... 1.19/1.29 c ============================[ Search Statistics ]============================ 1.19/1.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.29 c | | | | Limit GC | Var | Constra 1.19/1.29 c ============================================================================= 1.19/1.29 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 4691 1.29/1.31 c 0.0s | 0 | 3149 | 0 | 15778 0 | 2255 | 4691 1.29/1.31 c #cpu_time = 0.019s 1.29/1.31 c #wall_clock_time = 0.019s 1.29/1.31 c #decision = 3149 1.29/1.31 c #random_decision = 0 1.29/1.31 c #conflict = 0 1.29/1.31 c #restart = 0 1.29/1.31 c BCD2: found a new core of size 57: cost of the new core is >=1 1.29/1.31 c lower bound updated to 17 1.29/1.32 c BCD2: 17 <= obj <= 2511 1.29/1.32 c BCD2: #cores=17, #unrelaxed=5058, #relaxed=692, #hardened=0 1.29/1.32 c BCD2: #sat=1 #unsat=18 bias=18/19 1.29/1.32 c Solving starts ... 1.29/1.32 c ============================[ Search Statistics ]============================ 1.29/1.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.32 c | | | | Limit GC | Var | Constra 1.29/1.32 c ============================================================================= 1.29/1.32 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 4691 1.29/1.34 c 0.0s | 0 | 3840 | 0 | 15778 0 | 2255 | 4691 1.29/1.34 c #cpu_time = 0.020s 1.29/1.34 c #wall_clock_time = 0.020s 1.29/1.34 c #decision = 3840 1.29/1.34 c #random_decision = 0 1.29/1.34 c #conflict = 0 1.29/1.34 c #restart = 0 1.29/1.34 c BCD2: found a new core of size 69: cost of the new core is >=1 1.29/1.34 c lower bound updated to 18 1.29/1.35 c BCD2: 18 <= obj <= 2511 1.29/1.35 c BCD2: #cores=18, #unrelaxed=4989, #relaxed=761, #hardened=0 1.29/1.35 c BCD2: #sat=1 #unsat=19 bias=19/20 1.29/1.35 c Solving starts ... 1.29/1.35 c ============================[ Search Statistics ]============================ 1.29/1.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.35 c | | | | Limit GC | Var | Constra 1.29/1.35 c ============================================================================= 1.29/1.35 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 4691 1.29/1.37 c 0.0s | 0 | 3866 | 0 | 15778 0 | 2255 | 4691 1.29/1.37 c #cpu_time = 0.020s 1.29/1.37 c #wall_clock_time = 0.020s 1.29/1.37 c #decision = 3866 1.29/1.37 c #random_decision = 0 1.29/1.37 c #conflict = 0 1.29/1.37 c #restart = 0 1.29/1.37 c BCD2: found a new core of size 42: cost of the new core is >=1 1.29/1.37 c lower bound updated to 19 1.29/1.37 c BCD2: 19 <= obj <= 2511 1.29/1.37 c BCD2: #cores=19, #unrelaxed=4947, #relaxed=803, #hardened=0 1.29/1.37 c BCD2: #sat=1 #unsat=20 bias=20/21 1.29/1.37 c Solving starts ... 1.29/1.37 c ============================[ Search Statistics ]============================ 1.29/1.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.37 c | | | | Limit GC | Var | Constra 1.29/1.37 c ============================================================================= 1.29/1.38 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 4691 1.39/1.41 c 0.0s | 0 | 4545 | 0 | 15778 0 | 2255 | 4691 1.39/1.41 c #cpu_time = 0.028s 1.39/1.41 c #wall_clock_time = 0.028s 1.39/1.41 c #decision = 4545 1.39/1.41 c #random_decision = 0 1.39/1.41 c #conflict = 0 1.39/1.41 c #restart = 0 1.39/1.41 o 47 1.39/1.41 c BCD2: updating upper bound: 2511 -> 46 1.39/1.43 c BCD2: 19 <= obj <= 46 1.39/1.43 c BCD2: #cores=19, #unrelaxed=4947, #relaxed=803, #hardened=0 1.39/1.43 c BCD2: #sat=2 #unsat=20 bias=20/22 1.39/1.44 c Solving starts ... 1.39/1.44 c ============================[ Search Statistics ]============================ 1.39/1.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.44 c | | | | Limit GC | Var | Constra 1.39/1.44 c ============================================================================= 1.39/1.44 c 0.0s | 0 | 0 | 0 | 15778 0 | 2255 | 4692 1.49/1.50 c 0.1s | 0 | 16291 | 21 | 15778 0 | 2255 | 4692 1.49/1.50 c #cpu_time = 0.064s 1.49/1.50 c #wall_clock_time = 0.064s 1.49/1.50 c #decision = 16291 1.49/1.50 c #random_decision = 0 1.49/1.50 c #conflict = 21 1.49/1.50 c #restart = 0 1.49/1.50 c BCD2: relaxing 75 and merging with 5 cores into a new core of size 179: cost of the new core is >=6 1.49/1.50 c lower bound updated to 20 1.49/1.51 c BCD2: 20 <= obj <= 46 1.49/1.51 c BCD2: #cores=15, #unrelaxed=4872, #relaxed=878, #hardened=0 1.49/1.51 c BCD2: #sat=2 #unsat=21 bias=21/23 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 | 15778 0 | 2275 | 4692 1.49/1.56 c 0.0s | 0 | 4166 | 20 | 15778 0 | 2275 | 4727 1.49/1.56 c #cpu_time = 0.037s 1.49/1.56 c #wall_clock_time = 0.037s 1.49/1.56 c #decision = 4166 1.49/1.56 c #random_decision = 1 1.49/1.56 c #conflict = 20 1.49/1.56 c #restart = 0 1.49/1.56 o 36 1.49/1.56 c BCD2: updating upper bound: 46 -> 35 1.49/1.58 c BCD2: 20 <= obj <= 35 1.49/1.58 c BCD2: #cores=15, #unrelaxed=4872, #relaxed=878, #hardened=0 1.49/1.58 c BCD2: #sat=3 #unsat=21 bias=21/24 1.49/1.58 c Solving starts ... 1.49/1.58 c ============================[ Search Statistics ]============================ 1.49/1.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.58 c | | | | Limit GC | Var | Constra 1.49/1.58 c ============================================================================= 1.49/1.59 c 0.0s | 0 | 0 | 0 | 15778 0 | 2275 | 4728 1.59/1.69 c 0.1s | 1 | 4484 | 100 | 17356 0 | 2275 | 4728 1.79/1.85 c 0.3s | 2 | 8628 | 250 | 19092 0 | 2275 | 4728 2.09/2.10 c 0.5s | 3 | 13419 | 475 | 21002 0 | 2275 | 4728 2.59/2.66 c 1.1s | 4 | 20834 | 813 | 23103 0 | 2275 | 4728 3.39/3.42 c 1.8s | 4 | 25755 | 1207 | 23103 0 | 2275 | 4728 3.39/3.42 c #cpu_time = 1.827s 3.39/3.42 c #wall_clock_time = 1.832s 3.39/3.42 c #decision = 25755 3.39/3.42 c #random_decision = 7 3.39/3.42 c #conflict = 1207 3.39/3.42 c #restart = 4 3.39/3.42 o 30 3.39/3.43 c BCD2: updating upper bound: 35 -> 29 3.39/3.45 c BCD2: 20 <= obj <= 29 3.39/3.45 c BCD2: #cores=15, #unrelaxed=4872, #relaxed=878, #hardened=0 3.39/3.45 c BCD2: #sat=4 #unsat=21 bias=21/25 3.39/3.45 c Solving starts ... 3.39/3.45 c ============================[ Search Statistics ]============================ 3.39/3.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.39/3.45 c | | | | Limit GC | Var | Constra 3.39/3.45 c ============================================================================= 3.39/3.45 c 0.0s | 0 | 0 | 0 | 23103 0 | 2275 | 4729 3.48/3.53 c 0.1s | 1 | 4490 | 100 | 25414 0 | 2275 | 4729 3.58/3.61 c 0.2s | 2 | 9112 | 250 | 25414 0 | 2275 | 4729 3.68/3.73 c 0.3s | 3 | 14360 | 475 | 25414 0 | 2275 | 4729 3.78/3.88 c 0.4s | 4 | 20307 | 813 | 25414 0 | 2275 | 4729 3.98/4.07 c 0.6s | 5 | 26467 | 1320 | 27956 0 | 2275 | 4729 4.39/4.40 c 1.0s | 6 | 32937 | 2081 | 30752 0 | 2275 | 4729 4.98/5.00 c 1.6s | 7 | 40222 | 3223 | 30752 0 | 2275 | 4729 5.88/5.91 c 2.5s | 8 | 50136 | 4936 | 33828 0 | 2275 | 4729 7.18/7.20 c 3.8s | 9 | 64361 | 7506 | 37211 0 | 2275 | 4729 9.18/9.21 c 5.8s | 10 | 83672 | 11361 | 40933 0 | 2275 | 4729 11.18/11.29 c 7.8s | 10 | 102812 | 14461 | 40933 0 | 2275 | 4729 13.19/13.29 c 9.8s | 10 | 113753 | 17061 | 45027 0 | 2275 | 4729 13.29/13.35 c 9.9s | 11 | 114000 | 17144 | 45027 0 | 2275 | 4729 15.39/15.42 c 12.0s | 11 | 127321 | 19644 | 45027 0 | 2275 | 4729 17.38/17.49 c 14.0s | 11 | 136677 | 22344 | 45027 0 | 2275 | 4729 19.48/19.52 c 16.1s | 11 | 144322 | 24744 | 49530 0 | 2275 | 4729 20.38/20.41 c 17.0s | 12 | 147801 | 25819 | 49530 0 | 2275 | 4729 22.38/22.48 c 19.0s | 12 | 158948 | 27719 | 49530 0 | 2275 | 4729 24.38/24.48 c 21.0s | 12 | 166270 | 29719 | 49530 0 | 2275 | 4729 26.39/26.49 c 23.0s | 12 | 173566 | 31719 | 49530 0 | 2275 | 4729 28.48/28.51 c 25.1s | 12 | 179145 | 33619 | 49530 0 | 2275 | 4729 30.48/30.57 c 27.1s | 12 | 187220 | 35519 | 49530 0 | 2275 | 4729 32.58/32.63 c 29.2s | 12 | 194585 | 37419 | 54484 0 | 2275 | 4729 34.18/34.29 c 30.8s | 13 | 199292 | 38832 | 54484 0 | 2275 | 4729 36.29/36.31 c 32.9s | 13 | 207439 | 40232 | 54484 0 | 2275 | 4729 38.29/38.32 c 34.9s | 13 | 213310 | 41932 | 54484 0 | 2275 | 4729 40.39/40.43 c 37.0s | 13 | 218803 | 43632 | 54484 0 | 2275 | 4729 42.39/42.45 c 39.0s | 13 | 225173 | 45432 | 54484 0 | 2275 | 4729 44.39/44.48 c 41.0s | 13 | 230589 | 47132 | 54484 0 | 2275 | 4729 46.48/46.56 c 43.1s | 13 | 235915 | 48632 | 54484 0 | 2275 | 4729 48.58/48.66 c 45.2s | 13 | 241275 | 50132 | 54484 0 | 2275 | 4729 50.69/50.71 c 47.3s | 13 | 246554 | 51532 | 54484 0 | 2275 | 4729 52.68/52.75 c 49.3s | 13 | 252250 | 53132 | 54484 0 | 2275 | 4729 54.68/54.77 c 51.3s | 13 | 258424 | 55032 | 54484 0 | 2275 | 4729 56.68/56.79 c 53.3s | 13 | 265257 | 56932 | 59933 0 | 2275 | 4729 58.78/58.82 c 55.4s | 13 | 271114 | 58332 | 59933 0 | 2275 | 4729 58.78/58.87 c 55.4s | 14 | 271253 | 58352 | 59933 0 | 2275 | 4729 60.88/60.98 c 57.5s | 14 | 279893 | 59552 | 59933 0 | 2275 | 4729 63.18/63.23 c 59.8s | 14 | 285667 | 60552 | 59933 0 | 2275 | 4729 65.18/65.23 c 61.8s | 14 | 289944 | 61352 | 59933 0 | 2275 | 4729 67.28/67.33 c 63.9s | 14 | 294268 | 62452 | 59933 0 | 2275 | 4729 69.29/69.36 c 65.9s | 14 | 299973 | 63752 | 59933 0 | 2275 | 4729 71.38/71.44 c 68.0s | 14 | 305280 | 65152 | 59933 0 | 2275 | 4729 73.48/73.54 c 70.1s | 14 | 310680 | 66552 | 59933 0 | 2275 | 4729 75.58/75.60 c 72.2s | 14 | 316075 | 67852 | 59933 0 | 2275 | 4729 77.88/77.92 c 74.5s | 14 | 321003 | 68952 | 59933 1 | 2275 | 4729 81.28/81.40 c 77.9s | 14 | 322893 | 69552 | 59933 1 | 2275 | 4729 83.37/83.45 c 80.0s | 14 | 328158 | 71052 | 59933 1 | 2275 | 4729 85.47/85.52 c 82.1s | 14 | 335569 | 73152 | 59933 1 | 2275 | 4729 87.47/87.57 c 84.1s | 14 | 341787 | 75052 | 59933 1 | 2275 | 4729 90.18/90.30 c 86.9s | 14 | 344427 | 76052 | 59933 1 | 2275 | 4729 92.27/92.35 c 88.9s | 14 | 349008 | 77352 | 59933 1 | 2275 | 4729 94.37/94.48 c 91.0s | 14 | 353768 | 78852 | 59933 1 | 2275 | 4729 96.47/96.59 c 93.1s | 14 | 358725 | 80352 | 59933 1 | 2275 | 4729 98.57/98.66 c 95.2s | 14 | 363180 | 81852 | 59933 1 | 2275 | 4729 102.67/102.71 c 99.3s | 14 | 364933 | 82452 | 59933 1 | 2275 | 4729 104.68/104.71 c 101s | 14 | 373626 | 84252 | 59933 1 | 2275 | 4729 106.68/106.77 c 103s | 14 | 379872 | 86052 | 65927 1 | 2275 | 4729 108.88/108.91 c 105s | 14 | 385364 | 87452 | 65927 1 | 2275 | 4729 109.08/109.15 c 105s | 15 | 386201 | 87632 | 65927 1 | 2275 | 4729 111.18/111.24 c 107s | 15 | 394349 | 88732 | 65927 1 | 2275 | 4729 113.17/113.30 c 109s | 15 | 400486 | 90532 | 65927 1 | 2275 | 4729 115.37/115.40 c 111s | 15 | 409333 | 92632 | 65927 1 | 2275 | 4729 117.37/117.41 c 113s | 15 | 414976 | 94432 | 65927 1 | 2275 | 4729 119.37/119.48 c 116s | 15 | 420437 | 96032 | 65927 1 | 2275 | 4729 121.47/121.55 c 118s | 15 | 426221 | 97732 | 65927 1 | 2275 | 4729 123.57/123.69 c 120s | 15 | 432504 | 99232 | 65927 1 | 2275 | 4729 125.77/125.83 c 122s | 15 | 437633 | 100532 | 65927 1 | 2275 | 4729 127.97/128.02 c 124s | 15 | 440057 | 101532 | 65927 1 | 2275 | 4729 130.07/130.16 c 126s | 15 | 444230 | 102832 | 65927 1 | 2275 | 4729 132.27/132.35 c 128s | 15 | 447734 | 103832 | 65927 1 | 2275 | 4729 134.47/134.55 c 131s | 15 | 450777 | 104932 | 65927 1 | 2275 | 4729 136.48/136.56 c 133s | 15 | 453819 | 105732 | 65927 1 | 2275 | 4729 138.58/138.63 c 135s | 15 | 457379 | 106732 | 65927 1 | 2275 | 4729 140.57/140.63 c 137s | 15 | 459997 | 107532 | 65927 1 | 2275 | 4729 142.57/142.65 c 139s | 15 | 463176 | 108532 | 65927 1 | 2275 | 4729 144.67/144.77 c 141s | 15 | 465989 | 109432 | 65927 1 | 2275 | 4729 147.07/147.19 c 143s | 15 | 467931 | 110032 | 65927 2 | 2275 | 4729 149.17/149.29 c 145s | 15 | 471602 | 111132 | 65927 2 | 2275 | 4729 155.66/155.76 c 152s | 15 | 475330 | 111932 | 65927 2 | 2275 | 4729 157.76/157.80 c 154s | 15 | 479486 | 113032 | 65927 2 | 2275 | 4729 159.77/159.86 c 156s | 15 | 485700 | 114632 | 65927 2 | 2275 | 4729 161.87/161.96 c 158s | 15 | 493487 | 116432 | 65927 2 | 2275 | 4729 163.97/164.02 c 160s | 15 | 499114 | 118132 | 65927 2 | 2275 | 4729 165.97/166.09 c 162s | 15 | 505475 | 119732 | 65927 2 | 2275 | 4729 168.07/168.11 c 164s | 15 | 512319 | 121432 | 65927 2 | 2275 | 4729 170.07/170.19 c 166s | 15 | 518826 | 123132 | 65927 2 | 2275 | 4729 172.17/172.23 c 168s | 15 | 523534 | 124532 | 65927 2 | 2275 | 4729 174.27/174.30 c 170s | 15 | 527608 | 125832 | 65927 2 | 2275 | 4729 176.27/176.38 c 172s | 15 | 532274 | 127132 | 65927 2 | 2275 | 4729 178.36/178.45 c 174s | 15 | 536463 | 128332 | 65927 2 | 2275 | 4729 180.37/180.49 c 177s | 15 | 541044 | 129632 | 72520 2 | 2275 | 4729 182.46/182.56 c 179s | 15 | 547607 | 130732 | 72520 2 | 2275 | 4729 184.46/184.58 c 181s | 16 | 550441 | 131552 | 72520 2 | 2275 | 4729 186.76/186.80 c 183s | 16 | 558528 | 132352 | 72520 2 | 2275 | 4729 188.76/188.89 c 185s | 16 | 560435 | 133152 | 72520 2 | 2275 | 4729 190.96/191.05 c 187s | 16 | 563861 | 134552 | 72520 2 | 2275 | 4729 193.06/193.18 c 189s | 16 | 568061 | 135752 | 72520 2 | 2275 | 4729 195.26/195.30 c 191s | 16 | 572222 | 136852 | 72520 2 | 2275 | 4729 197.36/197.48 c 194s | 16 | 575817 | 138052 | 72520 2 | 2275 | 4729 199.46/199.57 c 196s | 16 | 579772 | 139352 | 72520 2 | 2275 | 4729 201.66/201.74 c 198s | 16 | 584198 | 140652 | 72520 2 | 2275 | 4729 203.76/203.82 c 200s | 16 | 587341 | 141652 | 72520 2 | 2275 | 4729 205.86/205.92 c 202s | 16 | 590215 | 142652 | 72520 2 | 2275 | 4729 207.97/208.05 c 204s | 16 | 593353 | 143652 | 72520 2 | 2275 | 4729 210.07/210.11 c 206s | 16 | 596511 | 144652 | 72520 2 | 2275 | 4729 212.16/212.21 c 208s | 16 | 599114 | 145452 | 72520 2 | 2275 | 4729 214.26/214.39 c 210s | 16 | 601409 | 146252 | 72520 2 | 2275 | 4729 216.46/216.51 c 213s | 16 | 604692 | 147052 | 72520 2 | 2275 | 4729 218.56/218.61 c 215s | 16 | 608962 | 148252 | 72520 2 | 2275 | 4729 220.66/220.72 c 217s | 16 | 612134 | 149252 | 72520 2 | 2275 | 4729 222.76/222.80 c 219s | 16 | 614922 | 150152 | 72520 2 | 2275 | 4729 224.76/224.82 c 221s | 16 | 617071 | 150952 | 72520 2 | 2275 | 4729 227.16/227.24 c 223s | 16 | 618793 | 151552 | 72520 2 | 2275 | 4729 229.36/229.44 c 225s | 16 | 621889 | 152552 | 72520 2 | 2275 | 4729 231.35/231.45 c 228s | 16 | 624379 | 153452 | 72520 2 | 2275 | 4729 233.45/233.56 c 230s | 16 | 627249 | 154452 | 72520 2 | 2275 | 4729 235.46/235.57 c 232s | 16 | 630979 | 155552 | 72520 3 | 2275 | 4729 237.85/237.93 c 234s | 16 | 631667 | 155752 | 72520 3 | 2275 | 4729 239.86/239.99 c 236s | 16 | 636515 | 157152 | 72520 3 | 2275 | 4729 241.96/242.05 c 238s | 16 | 641480 | 158852 | 72520 3 | 2275 | 4729 243.95/244.07 c 240s | 16 | 645532 | 160052 | 72520 3 | 2275 | 4729 246.05/246.19 c 242s | 16 | 648911 | 161252 | 72520 3 | 2275 | 4729 248.15/248.27 c 244s | 16 | 652273 | 162652 | 72520 3 | 2275 | 4729 250.25/250.35 c 246s | 16 | 656531 | 164052 | 72520 3 | 2275 | 4729 252.35/252.49 c 249s | 16 | 660785 | 165452 | 72520 3 | 2275 | 4729 254.65/254.70 c 251s | 16 | 665126 | 166652 | 72520 3 | 2275 | 4729 256.75/256.82 c 253s | 16 | 669444 | 167952 | 72520 3 | 2275 | 4729 258.85/258.94 c 255s | 16 | 673179 | 169252 | 72520 3 | 2275 | 4729 260.95/261.09 c 257s | 16 | 676588 | 170352 | 72520 3 | 2275 | 4729 263.05/263.16 c 259s | 16 | 680655 | 171652 | 72520 3 | 2275 | 4729 265.05/265.20 c 261s | 16 | 685113 | 172852 | 72520 3 | 2275 | 4729 267.15/267.26 c 263s | 16 | 688928 | 174052 | 72520 3 | 2275 | 4729 269.25/269.38 c 265s | 16 | 692552 | 175252 | 72520 3 | 2275 | 4729 271.35/271.44 c 267s | 16 | 695776 | 176452 | 72520 3 | 2275 | 4729 273.35/273.47 c 270s | 16 | 699201 | 177452 | 72520 3 | 2275 | 4729 275.35/275.49 c 272s | 16 | 702228 | 178452 | 72520 3 | 2275 | 4729 277.45/277.56 c 274s | 16 | 705192 | 179352 | 72520 3 | 2275 | 4729 279.55/279.60 c 276s | 16 | 708970 | 180552 | 72520 3 | 2275 | 4729 281.65/281.74 c 278s | 16 | 713693 | 181752 | 72520 3 | 2275 | 4729 283.64/283.75 c 280s | 16 | 716623 | 182852 | 72520 3 | 2275 | 4729 285.74/285.87 c 282s | 16 | 719464 | 183852 | 72520 3 | 2275 | 4729 287.84/287.96 c 284s | 16 | 722168 | 184852 | 72520 3 | 2275 | 4729 289.94/290.05 c 286s | 16 | 724871 | 185752 | 72520 3 | 2275 | 4729 292.24/292.31 c 288s | 16 | 726972 | 186552 | 72520 3 | 2275 | 4729 295.54/295.68 c 292s | 16 | 728888 | 187052 | 72520 3 | 2275 | 4729 297.64/297.72 c 294s | 16 | 732116 | 188052 | 72520 3 | 2275 | 4729 299.74/299.87 c 296s | 16 | 735661 | 189052 | 72520 3 | 2275 | 4729 301.84/301.96 c 298s | 16 | 739708 | 190252 | 72520 3 | 2275 | 4729 303.94/304.09 c 300s | 16 | 744094 | 191552 | 72520 3 | 2275 | 4729 306.04/306.16 c 302s | 16 | 748076 | 192752 | 72520 3 | 2275 | 4729 308.14/308.26 c 304s | 16 | 751349 | 193952 | 72520 3 | 2275 | 4729 310.25/310.38 c 306s | 16 | 754113 | 194952 | 79772 3 | 2275 | 4729 312.45/312.54 c 309s | 16 | 757384 | 195852 | 79772 3 | 2275 | 4729 314.55/314.64 c 311s | 16 | 759913 | 196852 | 79772 3 | 2275 | 4729 315.75/315.81 c 312s | 17 | 761659 | 197432 | 79772 3 | 2275 | 4729 332.15/332.21 c 328s | 17 | 765643 | 197532 | 79772 4 | 2275 | 4729 334.74/334.80 c 331s | 17 | 766802 | 197932 | 79772 4 | 2275 | 4729 336.74/336.85 c 333s | 17 | 772621 | 199832 | 79772 4 | 2275 | 4729 340.14/340.28 c 336s | 17 | 777061 | 201332 | 79772 4 | 2275 | 4729 342.24/342.33 c 338s | 17 | 781471 | 202832 | 79772 4 | 2275 | 4729 344.24/344.35 c 340s | 17 | 787151 | 204532 | 79772 4 | 2275 | 4729 346.33/346.47 c 343s | 17 | 792742 | 206232 | 79772 4 | 2275 | 4729 348.33/348.47 c 345s | 17 | 798591 | 208032 | 79772 4 | 2275 | 4729 350.43/350.58 c 347s | 17 | 803361 | 209532 | 79772 4 | 2275 | 4729 352.53/352.65 c 349s | 17 | 807030 | 210832 | 79772 4 | 2275 | 4729 354.73/354.81 c 351s | 17 | 811242 | 212232 | 79772 4 | 2275 | 4729 356.83/356.91 c 353s | 17 | 815047 | 213532 | 79772 4 | 2275 | 4729 359.03/359.12 c 355s | 17 | 818804 | 214732 | 79772 4 | 2275 | 4729 361.03/361.19 c 357s | 17 | 821942 | 215832 | 79772 4 | 2275 | 4729 363.33/363.48 c 360s | 17 | 826100 | 216932 | 79772 4 | 2275 | 4729 365.43/365.52 c 362s | 17 | 830261 | 217732 | 79772 4 | 2275 | 4729 367.53/367.67 c 364s | 17 | 833844 | 218932 | 79772 4 | 2275 | 4729 369.83/369.94 c 366s | 17 | 837393 | 220132 | 79772 4 | 2275 | 4729 372.03/372.10 c 368s | 17 | 840027 | 221032 | 79772 4 | 2275 | 4729 374.04/374.19 c 370s | 17 | 843637 | 222432 | 79772 4 | 2275 | 4729 376.14/376.29 c 372s | 17 | 847359 | 223632 | 79772 4 | 2275 | 4729 378.23/378.39 c 374s | 17 | 850513 | 224732 | 79772 4 | 2275 | 4729 380.33/380.43 c 376s | 17 | 853489 | 225632 | 79772 4 | 2275 | 4729 382.33/382.49 c 379s | 17 | 857044 | 226932 | 79772 4 | 2275 | 4729 384.53/384.62 c 381s | 17 | 859249 | 227632 | 79772 4 | 2275 | 4729 386.63/386.71 c 383s | 17 | 862516 | 228532 | 79772 4 | 2275 | 4729 388.63/388.76 c 385s | 17 | 866522 | 229832 | 79772 4 | 2275 | 4729 390.83/390.94 c 387s | 17 | 869896 | 231032 | 79772 4 | 2275 | 4729 392.93/393.01 c 389s | 17 | 873347 | 231932 | 79772 4 | 2275 | 4729 395.13/395.24 c 391s | 17 | 875461 | 232932 | 79772 4 | 2275 | 4729 397.23/397.30 c 393s | 17 | 877504 | 233832 | 79772 4 | 2275 | 4729 399.33/399.43 c 395s | 17 | 879722 | 234732 | 79772 4 | 2275 | 4729 401.43/401.52 c 398s | 17 | 882725 | 235732 | 79772 4 | 2275 | 4729 403.52/403.60 c 400s | 17 | 885219 | 236632 | 79772 4 | 2275 | 4729 405.72/405.80 c 402s | 17 | 888097 | 237632 | 79772 4 | 2275 | 4729 407.72/407.84 c 404s | 17 | 891728 | 238432 | 79772 4 | 2275 | 4729 409.82/409.94 c 406s | 17 | 894618 | 239232 | 79772 4 | 2275 | 4729 411.82/411.95 c 408s | 17 | 897149 | 240032 | 79772 4 | 2275 | 4729 413.82/413.98 c 410s | 17 | 899782 | 241032 | 79772 4 | 2275 | 4729 415.92/416.09 c 412s | 17 | 902086 | 241832 | 79772 4 | 2275 | 4729 418.03/418.16 c 414s | 17 | 906182 | 242932 | 79772 4 | 2275 | 4729 420.13/420.22 c 416s | 17 | 909113 | 243932 | 79772 4 | 2275 | 4729 422.43/422.54 c 419s | 17 | 912629 | 244932 | 79772 4 | 2275 | 4729 424.42/424.56 c 421s | 17 | 914701 | 245632 | 79772 5 | 2275 | 4729 426.52/426.61 c 423s | 17 | 915890 | 246032 | 79772 5 | 2275 | 4729 439.93/440.06 c 436s | 17 | 916811 | 246332 | 79772 5 | 2275 | 4729 442.02/442.12 c 438s | 17 | 920495 | 247432 | 79772 5 | 2275 | 4729 444.12/444.24 c 440s | 17 | 923566 | 248532 | 79772 5 | 2275 | 4729 446.22/446.36 c 442s | 17 | 926303 | 249532 | 79772 5 | 2275 | 4729 448.42/448.53 c 445s | 17 | 927856 | 250032 | 79772 5 | 2275 | 4729 452.03/452.18 c 448s | 17 | 931172 | 250832 | 79772 5 | 2275 | 4729 454.12/454.28 c 450s | 17 | 936869 | 251732 | 79772 5 | 2275 | 4729 457.12/457.25 c 453s | 17 | 937633 | 251932 | 79772 5 | 2275 | 4729 459.22/459.35 c 455s | 17 | 940625 | 252832 | 79772 5 | 2275 | 4729 461.42/461.55 c 458s | 17 | 943691 | 253732 | 79772 5 | 2275 | 4729 463.52/463.61 c 460s | 17 | 946184 | 254632 | 79772 5 | 2275 | 4729 465.72/465.88 c 462s | 17 | 948271 | 255432 | 79772 5 | 2275 | 4729 468.02/468.16 c 464s | 17 | 950784 | 256332 | 79772 5 | 2275 | 4729 470.12/470.21 c 466s | 17 | 953575 | 257132 | 79772 5 | 2275 | 4729 472.22/472.38 c 468s | 17 | 955665 | 257832 | 79772 5 | 2275 | 4729 474.32/474.46 c 471s | 17 | 957848 | 258532 | 79772 5 | 2275 | 4729 476.52/476.66 c 473s | 17 | 961171 | 259632 | 79772 5 | 2275 | 4729 478.62/478.71 c 475s | 17 | 963980 | 260732 | 79772 5 | 2275 | 4729 480.62/480.77 c 477s | 17 | 966419 | 261632 | 79772 5 | 2275 | 4729 482.82/482.92 c 479s | 17 | 970523 | 262932 | 79772 5 | 2275 | 4729 484.91/485.05 c 481s | 17 | 973635 | 264132 | 79772 5 | 2275 | 4729 487.01/487.10 c 483s | 17 | 976211 | 265132 | 79772 5 | 2275 | 4729 489.01/489.14 c 485s | 17 | 978074 | 265932 | 79772 5 | 2275 | 4729 491.11/491.21 c 487s | 17 | 980333 | 266832 | 79772 5 | 2275 | 4729 493.21/493.35 c 489s | 17 | 982434 | 267732 | 79772 5 | 2275 | 4729 495.51/495.63 c 492s | 17 | 984185 | 268432 | 79772 5 | 2275 | 4729 503.01/503.12 c 499s | 17 | 985324 | 268832 | 79772 5 | 2275 | 4729 505.01/505.14 c 501s | 17 | 988649 | 269632 | 79772 5 | 2275 | 4729 507.02/507.19 c 503s | 17 | 992529 | 270832 | 79772 5 | 2275 | 4729 509.11/509.22 c 505s | 17 | 994947 | 271432 | 79772 5 | 2275 | 4729 512.22/512.32 c 508s | 17 | 995544 | 271532 | 79772 5 | 2275 | 4729 514.31/514.40 c 510s | 17 | 999637 | 272632 | 79772 5 | 2275 | 4729 516.41/516.53 c 513s | 17 | 1002659 | 273532 | 79772 5 | 2275 | 4729 518.71/518.81 c 515s | 17 | 1005393 | 274432 | 79772 5 | 2275 | 4729 520.81/520.95 c 517s | 17 | 1009043 | 275532 | 79772 5 | 2275 | 4729 522.81/522.97 c 519s | 17 | 1011680 | 276532 | 79772 5 | 2275 | 4729 524.91/525.04 c 521s | 17 | 1014704 | 277432 | 79772 5 | 2275 | 4729 527.11/527.29 c 523s | 17 | 1017337 | 278332 | 79772 5 | 2275 | 4729 529.31/529.44 c 525s | 17 | 1020166 | 279132 | 79772 5 | 2275 | 4729 531.32/531.49 c 528s | 17 | 1022830 | 280032 | 79772 5 | 2275 | 4729 533.31/533.49 c 530s | 17 | 1025765 | 280932 | 79772 5 | 2275 | 4729 535.51/535.66 c 532s | 17 | 1028896 | 281932 | 79772 5 | 2275 | 4729 537.61/537.74 c 534s | 17 | 1031847 | 282832 | 79772 5 | 2275 | 4729 539.91/540.06 c 536s | 17 | 1034442 | 283732 | 79772 5 | 2275 | 4729 542.01/542.11 c 538s | 17 | 1035499 | 284232 | 79772 5 | 2275 | 4729 544.01/544.17 c 540s | 17 | 1036945 | 284832 | 79772 5 | 2275 | 4729 546.21/546.35 c 542s | 17 | 1038482 | 285432 | 79772 5 | 2275 | 4729 548.31/548.49 c 545s | 17 | 1040914 | 286232 | 79772 5 | 2275 | 4729 550.51/550.65 c 547s | 17 | 1042969 | 286932 | 79772 5 | 2275 | 4729 552.81/552.92 c 549s | 17 | 1044345 | 287532 | 79772 5 | 2275 | 4729 555.01/555.10 c 551s | 17 | 1045593 | 288132 | 79772 5 | 2275 | 4729 557.51/557.69 c 554s | 17 | 1047025 | 288532 | 79772 5 | 2275 | 4729 559.71/559.82 c 556s | 17 | 1051068 | 289832 | 79772 5 | 2275 | 4729 562.71/562.80 c 559s | 17 | 1052578 | 290232 | 79772 6 | 2275 | 4729 565.50/565.65 c 562s | 17 | 1054336 | 290632 | 79772 6 | 2275 | 4729 577.91/578.03 c 574s | 17 | 1059512 | 292032 | 79772 6 | 2275 | 4729 579.90/580.08 c 576s | 17 | 1067151 | 293932 | 87750 6 | 2275 | 4729 582.00/582.18 c 578s | 17 | 1074182 | 295832 | 87750 6 | 2275 | 4729 582.50/582.62 c 579s | 18 | 1075468 | 296252 | 87750 6 | 2275 | 4729 584.50/584.69 c 581s | 18 | 1084192 | 297752 | 87750 6 | 2275 | 4729 586.60/586.78 c 583s | 18 | 1093308 | 299652 | 87750 6 | 2275 | 4729 588.80/588.91 c 585s | 18 | 1099533 | 301352 | 87750 6 | 2275 | 4729 590.80/590.93 c 587s | 18 | 1105074 | 302952 | 87750 6 | 2275 | 4729 592.91/593.01 c 589s | 18 | 1110914 | 304652 | 87750 6 | 2275 | 4729 595.01/595.12 c 591s | 18 | 1115579 | 306152 | 87750 6 | 2275 | 4729 597.00/597.12 c 593s | 18 | 1119709 | 307552 | 87750 6 | 2275 | 4729 599.00/599.13 c 595s | 18 | 1123430 | 308852 | 87750 6 | 2275 | 4729 601.00/601.17 c 597s | 18 | 1126994 | 310152 | 87750 6 | 2275 | 4729 603.10/603.21 c 599s | 18 | 1132544 | 311552 | 87750 6 | 2275 | 4729 605.10/605.25 c 601s | 18 | 1137375 | 312952 | 87750 6 | 2275 | 4729 607.11/607.27 c 603s | 18 | 1141002 | 314052 | 87750 6 | 2275 | 4729 609.20/609.38 c 605s | 18 | 1145474 | 315252 | 87750 6 | 2275 | 4729 611.30/611.41 c 607s | 18 | 1148623 | 316352 | 87750 6 | 2275 | 4729 613.40/613.51 c 610s | 18 | 1153980 | 317752 | 87750 6 | 2275 | 4729 615.40/615.59 c 612s | 18 | 1158775 | 319152 | 87750 6 | 2275 | 4729 617.50/617.62 c 614s | 18 | 1163395 | 320452 | 87750 6 | 2275 | 4729 619.50/619.64 c 616s | 18 | 1169604 | 321752 | 87750 6 | 2275 | 4729 621.70/621.81 c 618s | 18 | 1172960 | 322852 | 87750 6 | 2275 | 4729 623.80/623.95 c 620s | 18 | 1176019 | 323952 | 87750 6 | 2275 | 4729 625.80/626.00 c 622s | 18 | 1178572 | 324952 | 87750 6 | 2275 | 4729 627.89/628.06 c 624s | 18 | 1181902 | 326052 | 87750 6 | 2275 | 4729 630.09/630.28 c 626s | 18 | 1184815 | 327052 | 87750 6 | 2275 | 4729 632.19/632.37 c 628s | 18 | 1188569 | 328252 | 87750 6 | 2275 | 4729 634.39/634.51 c 631s | 18 | 1191744 | 329352 | 87750 6 | 2275 | 4729 636.59/636.72 c 633s | 18 | 1196770 | 330652 | 87750 6 | 2275 | 4729 638.79/638.92 c 635s | 18 | 1199234 | 331552 | 87750 6 | 2275 | 4729 640.89/641.01 c 637s | 18 | 1202482 | 332652 | 87750 6 | 2275 | 4729 642.89/643.03 c 639s | 18 | 1205801 | 333652 | 87750 6 | 2275 | 4729 644.99/645.12 c 641s | 18 | 1208362 | 334552 | 87750 6 | 2275 | 4729 647.09/647.24 c 643s | 18 | 1210474 | 335352 | 87750 6 | 2275 | 4729 649.19/649.33 c 645s | 18 | 1212146 | 335952 | 87750 6 | 2275 | 4729 651.29/651.45 c 647s | 18 | 1214996 | 336852 | 87750 6 | 2275 | 4729 653.59/653.79 c 650s | 18 | 1217298 | 337652 | 87750 6 | 2275 | 4729 655.79/655.96 c 652s | 18 | 1219424 | 338352 | 87750 6 | 2275 | 4729 658.29/658.46 c 655s | 18 | 1221036 | 338852 | 87750 6 | 2275 | 4729 660.39/660.59 c 657s | 18 | 1222995 | 339452 | 87750 6 | 2275 | 4729 662.69/662.88 c 659s | 18 | 1225005 | 340152 | 87750 6 | 2275 | 4729 664.89/665.03 c 661s | 18 | 1226840 | 340852 | 87750 6 | 2275 | 4729 666.99/667.15 c 663s | 18 | 1229234 | 341552 | 87750 6 | 2275 | 4729 669.09/669.28 c 665s | 18 | 1230928 | 342152 | 87750 6 | 2275 | 4729 671.19/671.30 c 667s | 18 | 1233481 | 342852 | 87750 6 | 2275 | 4729 673.29/673.43 c 669s | 18 | 1235413 | 343452 | 87750 7 | 2275 | 4729 676.68/676.81 c 673s | 18 | 1238176 | 344052 | 87750 7 | 2275 | 4729 678.78/678.96 c 675s | 18 | 1242014 | 345352 | 87750 7 | 2275 | 4729 680.88/681.02 c 677s | 18 | 1246391 | 346752 | 87750 7 | 2275 | 4729 682.98/683.12 c 679s | 18 | 1251203 | 348252 | 87750 7 | 2275 | 4729 685.08/685.30 c 681s | 18 | 1254960 | 349452 | 87750 7 | 2275 | 4729 687.67/687.89 c 684s | 18 | 1255695 | 349652 | 87750 7 | 2275 | 4729 689.78/689.97 c 686s | 18 | 1259654 | 350852 | 87750 7 | 2275 | 4729 691.89/692.08 c 688s | 18 | 1263865 | 352152 | 87750 7 | 2275 | 4729 693.99/694.17 c 690s | 18 | 1269002 | 353652 | 87750 7 | 2275 | 4729 696.08/696.21 c 692s | 18 | 1273066 | 354652 | 87750 7 | 2275 | 4729 698.18/698.35 c 694s | 18 | 1278333 | 355952 | 87750 7 | 2275 | 4729 700.28/700.40 c 696s | 18 | 1283654 | 357252 | 87750 7 | 2275 | 4729 702.28/702.43 c 698s | 18 | 1287742 | 358552 | 87750 7 | 2275 | 4729 704.28/704.47 c 701s | 18 | 1290952 | 359552 | 87750 7 | 2275 | 4729 706.48/706.66 c 703s | 18 | 1294043 | 360652 | 87750 7 | 2275 | 4729 708.48/708.69 c 705s | 18 | 1297094 | 361552 | 87750 7 | 2275 | 4729 710.78/710.91 c 707s | 18 | 1301340 | 362852 | 87750 7 | 2275 | 4729 712.87/713.09 c 709s | 18 | 1304028 | 363752 | 87750 7 | 2275 | 4729 714.98/715.19 c 711s | 18 | 1308196 | 365052 | 87750 7 | 2275 | 4729 717.08/717.28 c 713s | 18 | 1313113 | 366552 | 87750 7 | 2275 | 4729 719.17/719.30 c 715s | 18 | 1319368 | 368052 | 87750 7 | 2275 | 4729 721.27/721.41 c 717s | 18 | 1324139 | 369352 | 87750 7 | 2275 | 4729 727.87/728.00 c 724s | 18 | 1327830 | 370252 | 87750 7 | 2275 | 4729 729.87/730.03 c 726s | 18 | 1333479 | 371652 | 87750 7 | 2275 | 4729 731.87/732.07 c 728s | 18 | 1337807 | 372952 | 87750 7 | 2275 | 4729 734.07/734.24 c 730s | 18 | 1341681 | 374252 | 87750 7 | 2275 | 4729 736.27/736.44 c 732s | 18 | 1345015 | 375352 | 87750 7 | 2275 | 4729 738.27/738.48 c 735s | 18 | 1348813 | 376352 | 87750 7 | 2275 | 4729 740.37/740.56 c 737s | 18 | 1352891 | 377452 | 87750 7 | 2275 | 4729 742.67/742.85 c 739s | 18 | 1356236 | 378552 | 87750 7 | 2275 | 4729 744.76/744.95 c 741s | 18 | 1358973 | 379552 | 87750 7 | 2275 | 4729 746.87/747.02 c 743s | 18 | 1364530 | 380952 | 87750 7 | 2275 | 4729 748.97/749.14 c 745s | 18 | 1371307 | 382452 | 87750 7 | 2275 | 4729 751.06/751.22 c 747s | 18 | 1376646 | 383752 | 87750 7 | 2275 | 4729 753.06/753.22 c 749s | 18 | 1380804 | 385052 | 87750 7 | 2275 | 4729 755.06/755.26 c 751s | 18 | 1384196 | 386152 | 87750 7 | 2275 | 4729 757.16/757.39 c 753s | 18 | 1388202 | 387152 | 87750 7 | 2275 | 4729 759.36/759.54 c 756s | 18 | 1392115 | 388252 | 87750 7 | 2275 | 4729 761.46/761.65 c 758s | 18 | 1396289 | 389352 | 87750 7 | 2275 | 4729 763.47/763.66 c 760s | 18 | 1399875 | 390352 | 87750 7 | 2275 | 4729 765.67/765.89 c 762s | 18 | 1402547 | 391352 | 87750 7 | 2275 | 4729 768.17/768.30 c 764s | 18 | 1406328 | 392352 | 87750 8 | 2275 | 4729 770.17/770.35 c 766s | 18 | 1410258 | 393652 | 87750 8 | 2275 | 4729 777.57/777.77 c 774s | 18 | 1410937 | 393952 | 87750 8 | 2275 | 4729 779.66/779.84 c 776s | 18 | 1413317 | 394652 | 87750 8 | 2275 | 4729 781.76/781.97 c 778s | 18 | 1419261 | 396452 | 87750 8 | 2275 | 4729 783.86/784.04 c 780s | 18 | 1423287 | 397752 | 87750 8 | 2275 | 4729 788.16/788.35 c 784s | 18 | 1426082 | 398752 | 87750 8 | 2275 | 4729 790.15/790.36 c 786s | 18 | 1430909 | 400152 | 87750 8 | 2275 | 4729 792.25/792.45 c 789s | 18 | 1435575 | 401752 | 87750 8 | 2275 | 4729 794.45/794.64 c 791s | 18 | 1440662 | 403452 | 87750 8 | 2275 | 4729 796.55/796.78 c 793s | 18 | 1444927 | 404852 | 87750 8 | 2275 | 4729 798.65/798.81 c 795s | 18 | 1451908 | 406452 | 87750 8 | 2275 | 4729 800.66/800.85 c 797s | 18 | 1459085 | 407952 | 87750 8 | 2275 | 4729 802.75/802.90 c 799s | 18 | 1464420 | 409252 | 87750 8 | 2275 | 4729 804.85/805.05 c 801s | 18 | 1469408 | 410552 | 87750 8 | 2275 | 4729 806.85/807.08 c 803s | 18 | 1473013 | 411652 | 87750 8 | 2275 | 4729 808.95/809.13 c 805s | 18 | 1477557 | 412852 | 87750 8 | 2275 | 4729 811.15/811.31 c 807s | 18 | 1481204 | 414052 | 87750 8 | 2275 | 4729 813.25/813.40 c 809s | 18 | 1484320 | 415152 | 87750 8 | 2275 | 4729 815.35/815.52 c 812s | 18 | 1487879 | 416252 | 87750 8 | 2275 | 4729 817.46/817.65 c 814s | 18 | 1491655 | 417452 | 87750 8 | 2275 | 4729 819.56/819.70 c 816s | 18 | 1494694 | 418452 | 87750 8 | 2275 | 4729 821.66/821.85 c 818s | 18 | 1497206 | 419352 | 87750 8 | 2275 | 4729 823.86/824.03 c 820s | 18 | 1500993 | 420452 | 87750 8 | 2275 | 4729 825.86/826.04 c 822s | 18 | 1505615 | 421852 | 87750 8 | 2275 | 4729 827.96/828.14 c 824s | 18 | 1508992 | 422752 | 87750 8 | 2275 | 4729 829.95/830.16 c 826s | 18 | 1512678 | 423752 | 87750 8 | 2275 | 4729 832.15/832.32 c 828s | 18 | 1516515 | 424652 | 87750 8 | 2275 | 4729 834.35/834.55 c 831s | 18 | 1519557 | 425452 | 87750 8 | 2275 | 4729 836.35/836.56 c 833s | 18 | 1523682 | 426652 | 87750 8 | 2275 | 4729 838.55/838.76 c 835s | 18 | 1527375 | 427752 | 87750 8 | 2275 | 4729 840.75/840.96 c 837s | 18 | 1529027 | 428352 | 87750 8 | 2275 | 4729 842.85/843.02 c 839s | 18 | 1531503 | 429152 | 87750 8 | 2275 | 4729 844.95/845.14 c 841s | 18 | 1533394 | 429852 | 87750 8 | 2275 | 4729 847.15/847.32 c 843s | 18 | 1535740 | 430752 | 87750 8 | 2275 | 4729 849.35/849.52 c 846s | 18 | 1537955 | 431552 | 87750 8 | 2275 | 4729 851.35/851.59 c 848s | 18 | 1540321 | 432352 | 87750 8 | 2275 | 4729 853.55/853.72 c 850s | 18 | 1541679 | 432852 | 87750 8 | 2275 | 4729 855.75/855.96 c 852s | 18 | 1544355 | 433552 | 87750 8 | 2275 | 4729 857.95/858.11 c 854s | 18 | 1546161 | 434152 | 87750 8 | 2275 | 4729 860.05/860.21 c 856s | 18 | 1548261 | 434752 | 87750 8 | 2275 | 4729 862.54/862.73 c 859s | 18 | 1550311 | 435352 | 87750 8 | 2275 | 4729 868.34/868.52 c 865s | 18 | 1553252 | 436352 | 87750 8 | 2275 | 4729 870.34/870.54 c 867s | 18 | 1555724 | 437152 | 87750 8 | 2275 | 4729 872.34/872.56 c 869s | 18 | 1558933 | 438252 | 87750 8 | 2275 | 4729 874.34/874.57 c 871s | 18 | 1563268 | 439452 | 87750 8 | 2275 | 4729 876.64/876.84 c 873s | 18 | 1566108 | 440452 | 96526 8 | 2275 | 4729 878.84/879.01 c 875s | 18 | 1568541 | 441452 | 96526 8 | 2275 | 4729 880.94/881.17 c 877s | 18 | 1570943 | 442452 | 96526 8 | 2275 | 4729 883.25/883.49 c 880s | 18 | 1574168 | 443452 | 96526 8 | 2275 | 4729 885.45/885.66 c 882s | 18 | 1576357 | 444152 | 96526 8 | 2275 | 4729 886.04/886.24 c 882s | 19 | 1577277 | 444482 | 96526 8 | 2275 | 4729 906.13/906.32 c 902s | 19 | 1581205 | 444582 | 96526 9 | 2275 | 4729 908.33/908.59 c 905s | 19 | 1582778 | 444982 | 96526 9 | 2275 | 4729 912.73/912.90 c 909s | 19 | 1584448 | 445482 | 96526 9 | 2275 | 4729 914.73/914.93 c 911s | 19 | 1589532 | 447082 | 96526 9 | 2275 | 4729 916.83/917.06 c 913s | 19 | 1595612 | 448782 | 96526 9 | 2275 | 4729 921.82/922.07 c 918s | 19 | 1597347 | 449282 | 96526 9 | 2275 | 4729 923.83/924.08 c 920s | 19 | 1603658 | 451082 | 96526 9 | 2275 | 4729 925.92/926.13 c 922s | 19 | 1608122 | 452382 | 96526 9 | 2275 | 4729 927.92/928.14 c 924s | 19 | 1614531 | 454182 | 96526 9 | 2275 | 4729 930.02/930.23 c 926s | 19 | 1619851 | 455882 | 96526 9 | 2275 | 4729 932.12/932.31 c 928s | 19 | 1624881 | 457382 | 96526 9 | 2275 | 4729 934.12/934.36 c 930s | 19 | 1629868 | 458982 | 96526 9 | 2275 | 4729 936.12/936.37 c 932s | 19 | 1635130 | 460582 | 96526 9 | 2275 | 4729 938.32/938.54 c 935s | 19 | 1639337 | 462182 | 96526 9 | 2275 | 4729 940.33/940.56 c 937s | 19 | 1644261 | 463582 | 96526 9 | 2275 | 4729 942.42/942.60 c 939s | 19 | 1649509 | 465082 | 96526 9 | 2275 | 4729 944.53/944.76 c 941s | 19 | 1653700 | 466382 | 96526 9 | 2275 | 4729 946.63/946.89 c 943s | 19 | 1658638 | 467882 | 96526 9 | 2275 | 4729 948.73/948.91 c 945s | 19 | 1662259 | 469182 | 96526 9 | 2275 | 4729 950.73/950.93 c 947s | 19 | 1666207 | 470482 | 96526 9 | 2275 | 4729 952.83/953.05 c 949s | 19 | 1669450 | 471682 | 96526 9 | 2275 | 4729 955.02/955.25 c 951s | 19 | 1671942 | 472582 | 96526 9 | 2275 | 4729 957.12/957.31 c 953s | 19 | 1674941 | 473582 | 96526 9 | 2275 | 4729 959.22/959.48 c 956s | 19 | 1678223 | 474682 | 96526 9 | 2275 | 4729 961.42/961.63 c 958s | 19 | 1680631 | 475682 | 96526 9 | 2275 | 4729 963.62/963.81 c 960s | 19 | 1683863 | 476682 | 96526 9 | 2275 | 4729 965.73/965.98 c 962s | 19 | 1687619 | 477882 | 96526 9 | 2275 | 4729 967.93/968.11 c 964s | 19 | 1690953 | 478982 | 96526 9 | 2275 | 4729 969.92/970.15 c 966s | 19 | 1694190 | 479982 | 96526 9 | 2275 | 4729 971.92/972.19 c 968s | 19 | 1697456 | 480982 | 96526 9 | 2275 | 4729 974.02/974.21 c 970s | 19 | 1702204 | 482282 | 96526 9 | 2275 | 4729 976.02/976.27 c 972s | 19 | 1705193 | 483282 | 96526 9 | 2275 | 4729 978.12/978.31 c 974s | 19 | 1710313 | 484482 | 96526 9 | 2275 | 4729 980.12/980.36 c 976s | 19 | 1714632 | 485482 | 96526 9 | 2275 | 4729 982.22/982.40 c 978s | 19 | 1718061 | 486482 | 96526 9 | 2275 | 4729 984.32/984.55 c 981s | 19 | 1720963 | 487482 | 96526 9 | 2275 | 4729 986.42/986.69 c 983s | 19 | 1723544 | 488382 | 96526 9 | 2275 | 4729 988.51/988.79 c 985s | 19 | 1725839 | 489282 | 96526 9 | 2275 | 4729 990.61/990.89 c 987s | 19 | 1729391 | 490382 | 96526 9 | 2275 | 4729 992.71/992.94 c 989s | 19 | 1732237 | 491482 | 96526 9 | 2275 | 4729 994.91/995.10 c 991s | 19 | 1735257 | 492582 | 96526 9 | 2275 | 4729 996.91/997.11 c 993s | 19 | 1738765 | 493582 | 96526 9 | 2275 | 4729 998.91/999.19 c 995s | 19 | 1742693 | 494682 | 96526 9 | 2275 | 4729 1001.11/1001.30 c 997s | 19 | 1746188 | 495782 | 96526 9 | 2275 | 4729 1003.12/1003.31 c 999s | 19 | 1748849 | 496682 | 96526 9 | 2275 | 4729 1005.11/1005.37 c 1001s | 19 | 1751579 | 497482 | 96526 9 | 2275 | 4729 1007.31/1007.50 c 1004s | 19 | 1754102 | 498182 | 96526 9 | 2275 | 4729 1009.31/1009.55 c 1006s | 19 | 1758643 | 499382 | 96526 9 | 2275 | 4729 1011.51/1011.70 c 1008s | 19 | 1763584 | 500482 | 96526 9 | 2275 | 4729 1017.21/1017.42 c 1013s | 19 | 1763848 | 500582 | 96526 10 | 2275 | 4729 1019.70/1019.93 c 1016s | 19 | 1765787 | 501182 | 96526 10 | 2275 | 4729 1021.71/1021.98 c 1018s | 19 | 1769998 | 502282 | 96526 10 | 2275 | 4729 1023.80/1024.06 c 1020s | 19 | 1771334 | 502582 | 96526 10 | 2275 | 4729 1025.91/1026.12 c 1022s | 19 | 1776030 | 503882 | 96526 10 | 2275 | 4729 1027.91/1028.15 c 1024s | 19 | 1779650 | 504882 | 96526 10 | 2275 | 4729 1030.01/1030.23 c 1026s | 19 | 1783802 | 506082 | 96526 10 | 2275 | 4729 1032.01/1032.27 c 1028s | 19 | 1788158 | 507682 | 96526 10 | 2275 | 4729 1034.10/1034.30 c 1030s | 19 | 1793618 | 509182 | 96526 10 | 2275 | 4729 1036.11/1036.37 c 1032s | 19 | 1797839 | 510682 | 96526 10 | 2275 | 4729 1038.21/1038.48 c 1035s | 19 | 1802978 | 512382 | 96526 10 | 2275 | 4729 1040.20/1040.48 c 1037s | 19 | 1808959 | 513982 | 96526 10 | 2275 | 4729 1042.30/1042.59 c 1039s | 19 | 1815111 | 515582 | 96526 10 | 2275 | 4729 1044.30/1044.59 c 1041s | 19 | 1819793 | 517082 | 96526 10 | 2275 | 4729 1046.40/1046.67 c 1043s | 19 | 1825692 | 518682 | 96526 10 | 2275 | 4729 1048.40/1048.69 c 1045s | 19 | 1830626 | 520182 | 96526 10 | 2275 | 4729 1050.60/1050.87 c 1047s | 19 | 1834739 | 521582 | 96526 10 | 2275 | 4729 1052.70/1052.98 c 1049s | 19 | 1839600 | 523082 | 96526 10 | 2275 | 4729 1054.80/1055.09 c 1051s | 19 | 1845199 | 524582 | 96526 10 | 2275 | 4729 1057.00/1057.23 c 1053s | 19 | 1849621 | 525982 | 96526 10 | 2275 | 4729 1058.99/1059.29 c 1055s | 19 | 1852618 | 526882 | 96526 10 | 2275 | 4729 1061.09/1061.39 c 1057s | 19 | 1855818 | 527982 | 96526 10 | 2275 | 4729 1063.19/1063.46 c 1060s | 19 | 1858883 | 528982 | 96526 10 | 2275 | 4729 1065.59/1065.90 c 1062s | 19 | 1861610 | 529882 | 96526 10 | 2275 | 4729 1067.79/1068.03 c 1064s | 19 | 1864868 | 531082 | 96526 10 | 2275 | 4729 1069.89/1070.19 c 1066s | 19 | 1867648 | 532082 | 96526 10 | 2275 | 4729 1072.09/1072.33 c 1068s | 19 | 1870443 | 533082 | 96526 10 | 2275 | 4729 1074.19/1074.47 c 1071s | 19 | 1873598 | 534282 | 96526 10 | 2275 | 4729 1076.29/1076.51 c 1073s | 19 | 1876170 | 535282 | 96526 10 | 2275 | 4729 1078.28/1078.56 c 1075s | 19 | 1879593 | 536282 | 96526 10 | 2275 | 4729 1080.48/1080.73 c 1077s | 19 | 1883382 | 537482 | 96526 10 | 2275 | 4729 1082.58/1082.87 c 1079s | 19 | 1887072 | 538682 | 96526 10 | 2275 | 4729 1084.68/1084.97 c 1081s | 19 | 1890267 | 539682 | 96526 10 | 2275 | 4729 1086.88/1087.15 c 1083s | 19 | 1893361 | 540682 | 96526 10 | 2275 | 4729 1088.98/1089.20 c 1085s | 19 | 1895580 | 541482 | 96526 10 | 2275 | 4729 1090.98/1091.30 c 1087s | 19 | 1897398 | 542282 | 96526 10 | 2275 | 4729 1093.28/1093.57 c 1090s | 19 | 1899969 | 543182 | 96526 10 | 2275 | 4729 1095.58/1095.82 c 1092s | 19 | 1901948 | 543782 | 96526 10 | 2275 | 4729 1097.68/1097.98 c 1094s | 19 | 1905488 | 544882 | 96526 10 | 2275 | 4729 1099.78/1100.09 c 1096s | 19 | 1908901 | 545882 | 96526 10 | 2275 | 4729 1103.57/1103.86 c 1100s | 19 | 1910961 | 546682 | 96526 10 | 2275 | 4729 1105.68/1105.90 c 1102s | 19 | 1913672 | 547582 | 96526 10 | 2275 | 4729 1107.87/1108.10 c 1104s | 19 | 1917041 | 548682 | 96526 10 | 2275 | 4729 1110.07/1110.35 c 1106s | 19 | 1920458 | 549682 | 96526 10 | 2275 | 4729 1112.17/1112.44 c 1108s | 19 | 1923002 | 550382 | 96526 10 | 2275 | 4729 1114.18/1114.46 c 1111s | 19 | 1925533 | 550982 | 96526 10 | 2275 | 4729 1116.28/1116.53 c 1113s | 19 | 1928044 | 551682 | 96526 10 | 2275 | 4729 1118.58/1118.85 c 1115s | 19 | 1930361 | 552482 | 96526 10 | 2275 | 4729 1131.36/1131.61 c 1128s | 19 | 1932096 | 553082 | 96526 10 | 2275 | 4729 1133.56/1133.88 c 1130s | 19 | 1934903 | 553882 | 96526 10 | 2275 | 4729 1135.96/1136.28 c 1132s | 19 | 1935585 | 554082 | 96526 11 | 2275 | 4729 1139.56/1139.85 c 1136s | 19 | 1936019 | 554182 | 96526 11 | 2275 | 4729 1141.66/1141.92 c 1138s | 19 | 1938741 | 554882 | 96526 11 | 2275 | 4729 1143.66/1143.96 c 1140s | 19 | 1943566 | 556282 | 96526 11 | 2275 | 4729 1145.76/1146.03 c 1142s | 19 | 1949151 | 557882 | 96526 11 | 2275 | 4729 1147.85/1148.16 c 1144s | 19 | 1953353 | 559182 | 96526 11 | 2275 | 4729 1150.05/1150.32 c 1146s | 19 | 1957298 | 560482 | 96526 11 | 2275 | 4729 1152.15/1152.40 c 1148s | 19 | 1961090 | 561682 | 96526 11 | 2275 | 4729 1154.15/1154.47 c 1151s | 19 | 1964693 | 562982 | 96526 11 | 2275 | 4729 1156.35/1156.62 c 1153s | 19 | 1968412 | 564282 | 96526 11 | 2275 | 4729 1158.45/1158.73 c 1155s | 19 | 1971992 | 565382 | 96526 11 | 2275 | 4729 1160.55/1160.84 c 1157s | 19 | 1976566 | 566682 | 96526 11 | 2275 | 4729 1162.55/1162.87 c 1159s | 19 | 1980488 | 567982 | 96526 11 | 2275 | 4729 1164.65/1164.99 c 1161s | 19 | 1984974 | 569282 | 96526 11 | 2275 | 4729 1166.75/1167.03 c 1163s | 19 | 1988930 | 570582 | 96526 11 | 2275 | 4729 1168.74/1169.06 c 1165s | 19 | 1992252 | 571682 | 96526 11 | 2275 | 4729 1170.84/1171.12 c 1167s | 19 | 1994220 | 572482 | 96526 11 | 2275 | 4729 1172.94/1173.29 c 1169s | 19 | 1996094 | 573382 | 96526 11 | 2275 | 4729 1175.24/1175.53 c 1172s | 19 | 1997942 | 574282 | 96526 11 | 2275 | 4729 1177.34/1177.67 c 1174s | 19 | 1998538 | 574482 | 96526 11 | 2275 | 4729 1179.54/1179.86 c 1176s | 19 | 2000609 | 575282 | 96526 11 | 2275 | 4729 1181.64/1181.92 c 1178s | 19 | 2002757 | 576082 | 96526 11 | 2275 | 4729 1183.64/1183.95 c 1180s | 19 | 2004880 | 576882 | 96526 11 | 2275 | 4729 1185.74/1186.07 c 1182s | 19 | 2007212 | 577782 | 96526 11 | 2275 | 4729 1187.84/1188.14 c 1184s | 19 | 2009189 | 578582 | 96526 11 | 2275 | 4729 1189.94/1190.30 c 1186s | 19 | 2011546 | 579382 | 96526 11 | 2275 | 4729 1192.03/1192.31 c 1188s | 19 | 2013907 | 580282 | 96526 11 | 2275 | 4729 1194.13/1194.46 c 1191s | 19 | 2016182 | 581182 | 96526 11 | 2275 | 4729 1196.43/1196.73 c 1193s | 19 | 2018261 | 581982 | 96526 11 | 2275 | 4729 1200.33/1200.63 c 1197s | 19 | 2019263 | 582382 | 96526 11 | 2275 | 4729 1202.73/1203.03 c 1199s | 19 | 2020665 | 582882 | 96526 11 | 2275 | 4729 1209.43/1209.71 c 1206s | 19 | 2023065 | 583782 | 96526 11 | 2275 | 4729 1211.53/1211.81 c 1208s | 19 | 2026064 | 584782 | 96526 11 | 2275 | 4729 1213.53/1213.83 c 1210s | 19 | 2029669 | 585882 | 96526 11 | 2275 | 4729 1215.53/1215.86 c 1212s | 19 | 2032900 | 587082 | 96526 11 | 2275 | 4729 1217.53/1217.88 c 1214s | 19 | 2036895 | 588482 | 96526 11 | 2275 | 4729 1219.63/1219.95 c 1216s | 19 | 2041222 | 589882 | 96526 11 | 2275 | 4729 1221.72/1222.00 c 1218s | 19 | 2046493 | 591282 | 96526 11 | 2275 | 4729 1223.72/1224.06 c 1220s | 19 | 2049996 | 592582 | 96526 11 | 2275 | 4729 1225.72/1226.09 c 1222s | 19 | 2053601 | 593782 | 96526 11 | 2275 | 4729 1227.82/1228.11 c 1224s | 19 | 2057356 | 594982 | 96526 11 | 2275 | 4729 1229.92/1230.29 c 1226s | 19 | 2060609 | 596082 | 96526 11 | 2275 | 4729 1232.02/1232.32 c 1228s | 19 | 2063741 | 597082 | 96526 11 | 2275 | 4729 1234.12/1234.42 c 1230s | 19 | 2066779 | 598082 | 96526 11 | 2275 | 4729 1236.23/1236.56 c 1233s | 19 | 2069661 | 599082 | 96526 11 | 2275 | 4729 1238.22/1238.57 c 1235s | 19 | 2072073 | 599982 | 96526 11 | 2275 | 4729 1240.42/1240.71 c 1237s | 19 | 2075646 | 601082 | 96526 11 | 2275 | 4729 1242.62/1242.96 c 1239s | 19 | 2077810 | 601982 | 96526 11 | 2275 | 4729 1244.82/1245.11 c 1241s | 19 | 2080207 | 602782 | 96526 11 | 2275 | 4729 1247.02/1247.32 c 1243s | 19 | 2082140 | 603482 | 96526 11 | 2275 | 4729 1249.11/1249.42 c 1245s | 19 | 2083592 | 604082 | 96526 11 | 2275 | 4729 1251.11/1251.48 c 1248s | 19 | 2085752 | 604882 | 96526 11 | 2275 | 4729 1253.31/1253.66 c 1250s | 19 | 2089621 | 605882 | 96526 11 | 2275 | 4729 1255.41/1255.72 c 1252s | 19 | 2094856 | 607182 | 96526 11 | 2275 | 4729 1258.42/1258.71 c 1255s | 19 | 2095607 | 607382 | 96526 12 | 2275 | 4729 1263.11/1263.43 c 1259s | 19 | 2096654 | 607582 | 96526 12 | 2275 | 4729 1265.21/1265.58 c 1262s | 19 | 2100752 | 608482 | 96526 12 | 2275 | 4729 1268.41/1268.71 c 1265s | 19 | 2101755 | 608782 | 96526 12 | 2275 | 4729 1270.51/1270.84 c 1267s | 19 | 2106224 | 610282 | 96526 12 | 2275 | 4729 1272.71/1273.02 c 1269s | 19 | 2108971 | 610982 | 96526 12 | 2275 | 4729 1274.71/1275.07 c 1271s | 19 | 2114391 | 612582 | 96526 12 | 2275 | 4729 1276.81/1277.18 c 1273s | 19 | 2120150 | 614382 | 96526 12 | 2275 | 4729 1278.91/1279.25 c 1275s | 19 | 2121542 | 614882 | 96526 12 | 2275 | 4729 1281.01/1281.31 c 1277s | 19 | 2129222 | 616982 | 96526 12 | 2275 | 4729 1283.11/1283.45 c 1279s | 19 | 2135447 | 618782 | 96526 12 | 2275 | 4729 1285.11/1285.49 c 1282s | 19 | 2140876 | 620382 | 96526 12 | 2275 | 4729 1287.21/1287.55 c 1284s | 19 | 2145756 | 622082 | 96526 12 | 2275 | 4729 1289.31/1289.62 c 1286s | 19 | 2150674 | 623782 | 96526 12 | 2275 | 4729 1291.41/1291.75 c 1288s | 19 | 2156005 | 625382 | 96526 12 | 2275 | 4729 1293.51/1293.83 c 1290s | 19 | 2161065 | 626982 | 96526 12 | 2275 | 4729 1295.52/1295.90 c 1292s | 19 | 2164456 | 628282 | 96526 12 | 2275 | 4729 1297.61/1297.96 c 1294s | 19 | 2168626 | 629782 | 96526 12 | 2275 | 4729 1299.71/1300.00 c 1296s | 19 | 2173897 | 631282 | 96526 12 | 2275 | 4729 1301.71/1302.06 c 1298s | 19 | 2179592 | 632982 | 96526 12 | 2275 | 4729 1303.81/1304.13 c 1300s | 19 | 2187436 | 634782 | 96526 12 | 2275 | 4729 1305.81/1306.16 c 1302s | 19 | 2191881 | 636182 | 96526 12 | 2275 | 4729 1307.91/1308.25 c 1304s | 19 | 2196525 | 637682 | 96526 12 | 2275 | 4729 1309.91/1310.26 c 1306s | 19 | 2199478 | 638782 | 96526 12 | 2275 | 4729 1311.90/1312.27 c 1308s | 19 | 2202135 | 639782 | 96526 12 | 2275 | 4729 1314.00/1314.37 c 1310s | 19 | 2205314 | 640982 | 96526 12 | 2275 | 4729 1316.00/1316.38 c 1312s | 19 | 2207845 | 641882 | 96526 12 | 2275 | 4729 1318.30/1318.60 c 1315s | 19 | 2210924 | 643082 | 96526 12 | 2275 | 4729 1320.30/1320.64 c 1317s | 19 | 2214088 | 644282 | 96526 12 | 2275 | 4729 1322.30/1322.64 c 1319s | 19 | 2217654 | 645582 | 96526 12 | 2275 | 4729 1324.40/1324.72 c 1321s | 19 | 2220670 | 646782 | 96526 12 | 2275 | 4729 1326.41/1326.74 c 1323s | 19 | 2224635 | 647882 | 96526 12 | 2275 | 4729 1328.40/1328.76 c 1325s | 19 | 2226873 | 648682 | 96526 12 | 2275 | 4729 1330.50/1330.89 c 1327s | 19 | 2229453 | 649482 | 96526 12 | 2275 | 4729 1332.60/1332.95 c 1329s | 19 | 2231840 | 650282 | 96526 12 | 2275 | 4729 1334.90/1335.29 c 1331s | 19 | 2233737 | 650982 | 96526 12 | 2275 | 4729 1337.20/1337.60 c 1334s | 19 | 2235807 | 651582 | 96526 12 | 2275 | 4729 1339.30/1339.66 c 1336s | 19 | 2239688 | 652682 | 96526 12 | 2275 | 4729 1341.40/1341.73 c 1338s | 19 | 2242745 | 653682 | 96526 12 | 2275 | 4729 1343.60/1343.93 c 1340s | 19 | 2245332 | 654582 | 96526 12 | 2275 | 4729 1345.60/1345.95 c 1342s | 19 | 2248319 | 655482 | 96526 12 | 2275 | 4729 1348.00/1348.35 c 1344s | 19 | 2250823 | 656382 | 96526 12 | 2275 | 4729 1350.30/1350.62 c 1347s | 19 | 2253622 | 657282 | 96526 12 | 2275 | 4729 1352.40/1352.72 c 1349s | 19 | 2256371 | 658082 | 96526 12 | 2275 | 4729 1354.60/1354.96 c 1351s | 19 | 2258991 | 658782 | 96526 12 | 2275 | 4729 1356.80/1357.10 c 1353s | 19 | 2261637 | 659482 | 96526 12 | 2275 | 4729 1358.90/1359.25 c 1355s | 19 | 2263826 | 660282 | 96526 12 | 2275 | 4729 1362.00/1362.38 c 1358s | 19 | 2265318 | 660782 | 96526 13 | 2275 | 4729 1364.19/1364.53 c 1361s | 19 | 2267576 | 661582 | 106179 13 | 2275 | 4729 1366.39/1366.71 c 1363s | 19 | 2269079 | 662082 | 106179 13 | 2275 | 4729 1368.39/1368.77 c 1365s | 19 | 2272481 | 663282 | 106179 13 | 2275 | 4729 1370.49/1370.80 c 1367s | 19 | 2275397 | 664082 | 106179 13 | 2275 | 4729 1372.60/1372.98 c 1369s | 19 | 2279902 | 665182 | 106179 13 | 2275 | 4729 1374.70/1375.05 c 1371s | 19 | 2283679 | 666282 | 106179 13 | 2275 | 4729 1375.49/1375.88 c 1372s | 20 | 2285751 | 666827 | 106179 13 | 2275 | 4729 1377.59/1377.92 c 1374s | 20 | 2293546 | 668127 | 106179 13 | 2275 | 4729 1379.89/1380.28 c 1376s | 20 | 2295353 | 668627 | 106179 13 | 2275 | 4729 1390.59/1390.94 c 1387s | 20 | 2295809 | 668727 | 106179 13 | 2275 | 4729 1393.09/1393.44 c 1389s | 20 | 2296851 | 669027 | 106179 13 | 2275 | 4729 1395.19/1395.55 c 1392s | 20 | 2303214 | 670827 | 106179 13 | 2275 | 4729 1397.19/1397.58 c 1394s | 20 | 2308809 | 672327 | 106179 13 | 2275 | 4729 1399.29/1399.63 c 1396s | 20 | 2314556 | 673927 | 106179 13 | 2275 | 4729 1401.29/1401.63 c 1398s | 20 | 2319075 | 675127 | 106179 13 | 2275 | 4729 1403.30/1403.70 c 1400s | 20 | 2323900 | 676427 | 106179 13 | 2275 | 4729 1405.39/1405.80 c 1402s | 20 | 2328828 | 677927 | 106179 13 | 2275 | 4729 1407.49/1407.88 c 1404s | 20 | 2333012 | 679327 | 106179 13 | 2275 | 4729 1409.59/1409.90 c 1406s | 20 | 2337036 | 680527 | 106179 13 | 2275 | 4729 1411.59/1411.93 c 1408s | 20 | 2339535 | 681527 | 106179 13 | 2275 | 4729 1413.59/1413.96 c 1410s | 20 | 2343408 | 682727 | 106179 13 | 2275 | 4729 1415.59/1415.96 c 1412s | 20 | 2346588 | 683927 | 106179 13 | 2275 | 4729 1417.59/1417.98 c 1414s | 20 | 2350998 | 685127 | 106179 13 | 2275 | 4729 1419.69/1420.10 c 1416s | 20 | 2355353 | 686427 | 106179 13 | 2275 | 4729 1421.89/1422.20 c 1418s | 20 | 2359273 | 687627 | 106179 13 | 2275 | 4729 1423.99/1424.34 c 1420s | 20 | 2364699 | 689027 | 106179 13 | 2275 | 4729 1426.09/1426.47 c 1423s | 20 | 2368162 | 690127 | 106179 13 | 2275 | 4729 1428.28/1428.64 c 1425s | 20 | 2371163 | 691227 | 106179 13 | 2275 | 4729 1430.48/1430.80 c 1427s | 20 | 2374641 | 692427 | 106179 13 | 2275 | 4729 1432.48/1432.81 c 1429s | 20 | 2378248 | 693427 | 106179 13 | 2275 | 4729 1434.58/1434.92 c 1431s | 20 | 2381586 | 694427 | 106179 13 | 2275 | 4729 1436.68/1437.01 c 1433s | 20 | 2387253 | 695927 | 106179 13 | 2275 | 4729 1438.78/1439.11 c 1435s | 20 | 2393919 | 697527 | 106179 13 | 2275 | 4729 1440.98/1441.31 c 1437s | 20 | 2400030 | 699027 | 106179 13 | 2275 | 4729 1442.99/1443.36 c 1439s | 20 | 2405470 | 700527 | 106179 13 | 2275 | 4729 1445.09/1445.49 c 1442s | 20 | 2409057 | 701527 | 106179 13 | 2275 | 4729 1447.18/1447.51 c 1444s | 20 | 2414239 | 702627 | 106179 13 | 2275 | 4729 1449.18/1449.56 c 1446s | 20 | 2419580 | 703927 | 106179 13 | 2275 | 4729 1451.38/1451.72 c 1448s | 20 | 2425134 | 705227 | 106179 13 | 2275 | 4729 1453.38/1453.77 c 1450s | 20 | 2427685 | 706127 | 106179 13 | 2275 | 4729 1455.58/1455.94 c 1452s | 20 | 2430756 | 707227 | 106179 13 | 2275 | 4729 1457.78/1458.11 c 1454s | 20 | 2434556 | 708327 | 106179 13 | 2275 | 4729 1459.88/1460.26 c 1456s | 20 | 2438954 | 709527 | 106179 13 | 2275 | 4729 1461.98/1462.36 c 1458s | 20 | 2442328 | 710427 | 106179 13 | 2275 | 4729 1463.98/1464.38 c 1460s | 20 | 2445035 | 711327 | 106179 13 | 2275 | 4729 1466.08/1466.43 c 1462s | 20 | 2448375 | 712227 | 106179 13 | 2275 | 4729 1468.18/1468.55 c 1465s | 20 | 2451954 | 713227 | 106179 13 | 2275 | 4729 1470.18/1470.56 c 1467s | 20 | 2455119 | 714127 | 106179 13 | 2275 | 4729 1472.28/1472.69 c 1469s | 20 | 2458577 | 715227 | 106179 13 | 2275 | 4729 1474.37/1474.76 c 1471s | 20 | 2462062 | 716227 | 106179 13 | 2275 | 4729 1476.47/1476.88 c 1473s | 20 | 2464202 | 717027 | 106179 13 | 2275 | 4729 1478.77/1479.10 c 1475s | 20 | 2466375 | 717827 | 106179 13 | 2275 | 4729 1480.97/1481.30 c 1477s | 20 | 2469237 | 718627 | 106179 13 | 2275 | 4729 1483.07/1483.46 c 1480s | 20 | 2474701 | 719927 | 106179 13 | 2275 | 4729 1485.17/1485.59 c 1482s | 20 | 2479147 | 720927 | 106179 13 | 2275 | 4729 1487.37/1487.76 c 1484s | 20 | 2482970 | 722027 | 106179 13 | 2275 | 4729 1489.47/1489.83 c 1486s | 20 | 2487302 | 723127 | 106179 13 | 2275 | 4729 1500.18/1500.58 c 1497s | 20 | 2489862 | 723927 | 106179 14 | 2275 | 4729 1506.07/1506.41 c 1502s | 20 | 2490555 | 724127 | 106179 14 | 2275 | 4729 1508.07/1508.42 c 1504s | 20 | 2493649 | 724927 | 106179 14 | 2275 | 4729 1510.07/1510.48 c 1507s | 20 | 2500773 | 726527 | 106179 14 | 2275 | 4729 1512.17/1512.58 c 1509s | 20 | 2507200 | 728127 | 106179 14 | 2275 | 4729 1514.27/1514.70 c 1511s | 20 | 2514142 | 729927 | 106179 14 | 2275 | 4729 1516.37/1516.74 c 1513s | 20 | 2518724 | 731327 | 106179 14 | 2275 | 4729 1519.57/1519.95 c 1516s | 20 | 2522072 | 732427 | 106179 14 | 2275 | 4729 1521.67/1522.05 c 1518s | 20 | 2526325 | 733527 | 106179 14 | 2275 | 4729 1523.87/1524.25 c 1520s | 20 | 2531463 | 734827 | 106179 14 | 2275 | 4729 1525.87/1526.27 c 1522s | 20 | 2536036 | 736127 | 106179 14 | 2275 | 4729 1527.97/1528.36 c 1524s | 20 | 2541281 | 737427 | 106179 14 | 2275 | 4729 1530.17/1530.55 c 1527s | 20 | 2545231 | 738427 | 106179 14 | 2275 | 4729 1532.27/1532.64 c 1529s | 20 | 2550055 | 739927 | 106179 14 | 2275 | 4729 1534.28/1534.67 c 1531s | 20 | 2556460 | 741527 | 106179 14 | 2275 | 4729 1536.27/1536.69 c 1533s | 20 | 2561503 | 742827 | 106179 14 | 2275 | 4729 1538.47/1538.81 c 1535s | 20 | 2565561 | 744127 | 106179 14 | 2275 | 4729 1540.57/1540.91 c 1537s | 20 | 2570276 | 745527 | 106179 14 | 2275 | 4729 1542.67/1543.02 c 1539s | 20 | 2575715 | 747027 | 106179 14 | 2275 | 4729 1544.87/1545.20 c 1541s | 20 | 2579255 | 748327 | 106179 14 | 2275 | 4729 1546.87/1547.22 c 1543s | 20 | 2583062 | 749427 | 106179 14 | 2275 | 4729 1548.87/1549.26 c 1545s | 20 | 2586479 | 750527 | 106179 14 | 2275 | 4729 1550.97/1551.30 c 1547s | 20 | 2589321 | 751527 | 106179 14 | 2275 | 4729 1552.97/1553.32 c 1549s | 20 | 2590986 | 752127 | 106179 14 | 2275 | 4729 1554.97/1555.37 c 1551s | 20 | 2593289 | 752727 | 106179 14 | 2275 | 4729 1557.17/1557.57 c 1554s | 20 | 2596502 | 753727 | 106179 14 | 2275 | 4729 1559.27/1559.63 c 1556s | 20 | 2600799 | 755027 | 106179 14 | 2275 | 4729 1561.37/1561.73 c 1558s | 20 | 2605602 | 756427 | 106179 14 | 2275 | 4729 1563.37/1563.74 c 1560s | 20 | 2611693 | 757727 | 106179 14 | 2275 | 4729 1565.57/1565.92 c 1562s | 20 | 2615612 | 758927 | 106179 14 | 2275 | 4729 1567.76/1568.15 c 1564s | 20 | 2618530 | 759827 | 106179 14 | 2275 | 4729 1569.76/1570.15 c 1566s | 20 | 2621589 | 760727 | 106179 14 | 2275 | 4729 1571.96/1572.33 c 1568s | 20 | 2624283 | 761527 | 106179 14 | 2275 | 4729 1574.06/1574.48 c 1571s | 20 | 2627945 | 762627 | 106179 14 | 2275 | 4729 1576.26/1576.65 c 1573s | 20 | 2631205 | 763627 | 106179 14 | 2275 | 4729 1578.56/1578.93 c 1575s | 20 | 2634893 | 764727 | 106179 14 | 2275 | 4729 1580.56/1580.99 c 1577s | 20 | 2638432 | 765727 | 106179 14 | 2275 | 4729 1582.76/1583.19 c 1579s | 20 | 2641571 | 766727 | 106179 14 | 2275 | 4729 1584.87/1585.25 c 1581s | 20 | 2643477 | 767527 | 106179 14 | 2275 | 4729 1586.97/1587.34 c 1583s | 20 | 2646537 | 768527 | 106179 14 | 2275 | 4729 1588.96/1589.35 c 1585s | 20 | 2649433 | 769427 | 106179 14 | 2275 | 4729 1591.16/1591.52 c 1588s | 20 | 2651921 | 770227 | 106179 14 | 2275 | 4729 1593.26/1593.70 c 1590s | 20 | 2654592 | 770927 | 106179 14 | 2275 | 4729 1595.56/1595.94 c 1592s | 20 | 2656958 | 771727 | 106179 14 | 2275 | 4729 1597.56/1597.98 c 1594s | 20 | 2658700 | 772327 | 106179 14 | 2275 | 4729 1599.66/1600.08 c 1596s | 20 | 2660487 | 773027 | 106179 14 | 2275 | 4729 1601.86/1602.26 c 1598s | 20 | 2662640 | 773727 | 106179 14 | 2275 | 4729 1604.06/1604.41 c 1600s | 20 | 2665422 | 774627 | 106179 14 | 2275 | 4729 1606.16/1606.50 c 1603s | 20 | 2669698 | 775627 | 106179 14 | 2275 | 4729 1608.16/1608.59 c 1605s | 20 | 2674124 | 776727 | 106179 14 | 2275 | 4729 1610.26/1610.65 c 1607s | 20 | 2678226 | 777727 | 106179 14 | 2275 | 4729 1612.36/1612.72 c 1609s | 20 | 2683151 | 778827 | 106179 14 | 2275 | 4729 1614.56/1614.94 c 1611s | 20 | 2686687 | 779827 | 106179 14 | 2275 | 4729 1616.56/1616.99 c 1613s | 20 | 2690487 | 780927 | 106179 14 | 2275 | 4729 1619.55/1619.94 c 1616s | 20 | 2694393 | 781927 | 106179 15 | 2275 | 4729 1621.65/1622.01 c 1618s | 20 | 2696140 | 782527 | 106179 15 | 2275 | 4729 1623.65/1624.08 c 1620s | 20 | 2697359 | 782927 | 106179 15 | 2275 | 4729 1625.75/1626.14 c 1622s | 20 | 2699496 | 783727 | 106179 15 | 2275 | 4729 1627.85/1628.29 c 1624s | 20 | 2702825 | 784927 | 106179 15 | 2275 | 4729 1630.05/1630.42 c 1626s | 20 | 2706208 | 786127 | 106179 15 | 2275 | 4729 1632.05/1632.50 c 1629s | 20 | 2709369 | 787227 | 106179 15 | 2275 | 4729 1634.15/1634.54 c 1631s | 20 | 2712406 | 788327 | 106179 15 | 2275 | 4729 1639.55/1639.91 c 1636s | 20 | 2714700 | 789127 | 106179 15 | 2275 | 4729 1644.65/1645.00 c 1641s | 20 | 2717764 | 789927 | 106179 15 | 2275 | 4729 1646.75/1647.15 c 1643s | 20 | 2721688 | 791227 | 106179 15 | 2275 | 4729 1664.55/1664.99 c 1661s | 20 | 2723014 | 791627 | 106179 15 | 2275 | 4729 1667.55/1667.99 c 1664s | 20 | 2723983 | 791927 | 106179 15 | 2275 | 4729 1673.14/1673.59 c 1670s | 20 | 2726725 | 792927 | 106179 15 | 2275 | 4729 1675.24/1675.66 c 1672s | 20 | 2730759 | 794127 | 106179 15 | 2275 | 4729 1677.34/1677.70 c 1674s | 20 | 2733785 | 795127 | 106179 15 | 2275 | 4729 1679.54/1679.96 c 1676s | 20 | 2736685 | 796127 | 106179 15 | 2275 | 4729 1681.55/1681.99 c 1678s | 20 | 2740508 | 797227 | 106179 15 | 2275 | 4729 1683.64/1684.04 c 1680s | 20 | 2743812 | 798127 | 106179 15 | 2275 | 4729 1685.74/1686.15 c 1682s | 20 | 2747088 | 799227 | 106179 15 | 2275 | 4729 1687.74/1688.19 c 1684s | 20 | 2750847 | 800327 | 106179 15 | 2275 | 4729 1689.84/1690.24 c 1686s | 20 | 2754033 | 801227 | 106179 15 | 2275 | 4729 1691.94/1692.37 c 1688s | 20 | 2756702 | 801927 | 106179 15 | 2275 | 4729 1694.04/1694.49 c 1691s | 20 | 2759930 | 802827 | 106179 15 | 2275 | 4729 1696.14/1696.56 c 1693s | 20 | 2764487 | 804027 | 106179 15 | 2275 | 4729 1698.34/1698.70 c 1695s | 20 | 2768859 | 805127 | 106179 15 | 2275 | 4729 1700.35/1700.75 c 1697s | 20 | 2771534 | 806127 | 106179 15 | 2275 | 4729 1702.54/1702.91 c 1699s | 20 | 2775798 | 807327 | 106179 15 | 2275 | 4729 1704.64/1705.02 c 1701s | 20 | 2778801 | 808227 | 106179 15 | 2275 | 4729 1706.75/1707.13 c 1703s | 20 | 2782267 | 809227 | 106179 15 | 2275 | 4729 1708.75/1709.18 c 1705s | 20 | 2784883 | 810027 | 106179 15 | 2275 | 4729 1710.85/1711.20 c 1707s | 20 | 2787807 | 810927 | 106179 15 | 2275 | 4729 1713.14/1713.50 c 1710s | 20 | 2790402 | 811827 | 106179 15 | 2275 | 4729 1715.24/1715.64 c 1712s | 20 | 2792275 | 812527 | 106179 15 | 2275 | 4729 1717.54/1717.92 c 1714s | 20 | 2795462 | 813427 | 106179 15 | 2275 | 4729 1719.64/1720.04 c 1716s | 20 | 2797733 | 814227 | 106179 15 | 2275 | 4729 1721.74/1722.12 c 1718s | 20 | 2799918 | 815027 | 106179 15 | 2275 | 4729 1723.94/1724.33 c 1720s | 20 | 2803034 | 815927 | 106179 15 | 2275 | 4729 1725.94/1726.36 c 1722s | 20 | 2805926 | 816727 | 106179 15 | 2275 | 4729 1728.04/1728.42 c 1724s | 20 | 2808844 | 817527 | 106179 15 | 2275 | 4729 1730.14/1730.51 c 1727s | 20 | 2811050 | 818327 | 106179 15 | 2275 | 4729 1732.25/1732.66 c 1729s | 20 | 2812769 | 819027 | 106179 15 | 2275 | 4729 1734.64/1735.09 c 1731s | 20 | 2814738 | 819827 | 106179 15 | 2275 | 4729 1736.74/1737.14 c 1733s | 20 | 2816391 | 820527 | 106179 15 | 2275 | 4729 1738.75/1739.16 c 1735s | 20 | 2818330 | 821327 | 106179 15 | 2275 | 4729 1741.05/1741.46 c 1738s | 20 | 2820460 | 821927 | 106179 15 | 2275 | 4729 1743.04/1743.50 c 1740s | 20 | 2822783 | 822627 | 106179 15 | 2275 | 4729 1745.14/1745.51 c 1742s | 20 | 2825046 | 823327 | 106179 15 | 2275 | 4729 1747.14/1747.57 c 1744s | 20 | 2826724 | 824027 | 106179 15 | 2275 | 4729 1749.34/1749.71 c 1746s | 20 | 2828764 | 824727 | 106179 15 | 2275 | 4729 1751.64/1752.01 c 1748s | 20 | 2830776 | 825527 | 106179 15 | 2275 | 4729 1753.84/1754.20 c 1750s | 20 | 2832435 | 826227 | 106179 15 | 2275 | 4729 1755.84/1756.29 c 1752s | 20 | 2833977 | 826927 | 106179 15 | 2275 | 4729 1758.24/1758.61 c 1755s | 20 | 2835474 | 827627 | 106179 15 | 2275 | 4729 1760.34/1760.71 c 1757s | 20 | 2836498 | 828127 | 106179 15 | 2275 | 4729 1762.44/1762.81 c 1759s | 20 | 2838174 | 828627 | 106179 15 | 2275 | 4729 1764.54/1764.94 c 1761s | 20 | 2839424 | 829027 | 106179 15 | 2275 | 4729 1766.74/1767.11 c 1763s | 20 | 2842787 | 829827 | 106179 15 | 2275 | 4729 1768.74/1769.16 c 1765s | 20 | 2846772 | 830827 | 106179 15 | 2275 | 4729 1770.94/1771.32 c 1767s | 20 | 2849487 | 831727 | 106179 15 | 2275 | 4729 1773.04/1773.41 c 1769s | 20 | 2851408 | 832227 | 106179 15 | 2275 | 4729 1775.04/1775.46 c 1772s | 20 | 2854141 | 833127 | 106179 15 | 2275 | 4729 1777.13/1777.55 c 1774s | 20 | 2856986 | 833927 | 106179 15 | 2275 | 4729 1779.23/1779.66 c 1776s | 20 | 2860186 | 834727 | 106179 15 | 2275 | 4729 1781.53/1781.96 c 1778s | 20 | 2862488 | 835427 | 106179 15 | 2275 | 4729 1783.63/1784.02 c 1780s | 20 | 2864937 | 836127 | 106179 15 | 2275 | 4729 1785.83/1786.28 c 1782s | 20 | 2867319 | 836927 | 106179 15 | 2275 | 4729 1788.24/1788.64 c 1785s | 20 | 2869259 | 837627 | 106179 15 | 2275 | 4729 1790.23/1790.69 c 1787s | 20 | 2871555 | 838327 | 106179 15 | 2275 | 4729 1792.43/1792.82 c 1789s | 20 | 2873688 | 839027 | 106179 15 | 2275 | 4729 1794.73/1795.18 c 1791s | 20 | 2875554 | 839627 | 106179 15 | 2275 | 4729 1797.14/1797.51 c 1794s | 20 | 2877406 | 840127 | 106179 16 | 2275 | 4729 1799.23/1799.64 c 1796s | 20 | 2877713 | 840227 | 106179 16 | 2275 | 4729
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-4079837-1465249989/watcher-4079837-1465249989 -o /tmp/evaluation-result-4079837-1465249989/solver-4079837-1465249989 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1238 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079837-1465249989.opb pid=4566 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.25 2.10 2.03 3/180 4569 /proc/meminfo: memFree=30588372/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=673212 CPUtime=0 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 2499 0 0 0 0 0 0 0 20 0 4 0 106934338 689369088 3372 33554432000 4194304 16246674 140735306839216 140735306838640 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 168815 3380 441 2943 0 165709 0 [pid=4569/tid=4570] ppid=4566 vsize=690620 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 707194880 3440 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=694716 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 711389184 3457 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=698812 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 715583488 3473 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 2.25 2.10 2.03 3/180 4569 /proc/meminfo: memFree=30588372/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=1220164 CPUtime=0.09 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 28410 0 0 0 6 3 0 0 20 0 4 0 106934338 1249447936 29220 33554432000 4194304 16246674 140735306839216 140735306838528 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 305041 29220 800 2943 0 301935 0 [pid=4569/tid=4570] ppid=4566 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 1249447936 29220 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 1249447936 29220 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1249447936 29220 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200568 s] /proc/loadavg: 2.25 2.10 2.03 3/180 4569 /proc/meminfo: memFree=30588372/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 51081 0 0 0 13 6 0 0 20 0 4 0 106934338 1344868352 52402 33554432000 4194304 16246674 140735306839216 140735306838528 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 328337 52402 800 2943 0 325231 0 [pid=4569/tid=4570] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 52402 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 52402 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 52402 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300506 s] /proc/loadavg: 2.25 2.10 2.03 3/180 4569 /proc/meminfo: memFree=30588372/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 51228 0 0 0 23 6 0 0 20 0 4 0 106934338 1344868352 52549 33554432000 4194304 16246674 140735306839216 140735306838528 12370022 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 328337 52549 834 2943 0 325231 0 [pid=4569/tid=4570] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 52549 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 52549 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 52549 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.70041 s] /proc/loadavg: 2.25 2.10 2.03 3/180 4569 /proc/meminfo: memFree=30588372/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 108179 0 0 0 54 15 0 0 20 0 4 0 106934338 1344868352 109500 33554432000 4194304 16246674 140735306839216 140735306821120 5530837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 328337 109507 871 2943 0 325231 0 [pid=4569/tid=4570] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 109511 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 109516 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 109521 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50042 s] /proc/loadavg: 2.23 2.10 2.03 3/184 4573 /proc/meminfo: memFree=30114848/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 117277 0 0 0 133 16 0 0 20 0 4 0 106934338 1344868352 118598 33554432000 4194304 16246674 140735306839216 140735306821120 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 328337 118598 910 2943 0 325231 0 [pid=4569/tid=4570] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 118598 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 118598 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 118598 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10041 s] /proc/loadavg: 2.23 2.10 2.03 3/184 4573 /proc/meminfo: memFree=30078020/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=1313348 CPUtime=3.08 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 269033 0 0 0 272 36 0 0 20 0 4 0 106934338 1344868352 270354 33554432000 4194304 16246674 140735306839216 140735306821120 12483183 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 328337 270354 910 2943 0 325231 0 [pid=4569/tid=4570] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 270354 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 270354 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 270354 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1313348 [startup+6.30041 s] /proc/loadavg: 2.21 2.10 2.03 3/184 4573 /proc/meminfo: memFree=29508364/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=1313348 CPUtime=6.28 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 269033 0 0 0 592 36 0 0 20 0 4 0 106934338 1344868352 270354 33554432000 4194304 16246674 140735306839216 140735306821120 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 328337 270354 910 2943 0 325231 0 [pid=4569/tid=4570] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 270354 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 270354 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 270354 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1313348 [startup+12.7005 s] /proc/loadavg: 2.28 2.11 2.04 3/184 4573 /proc/meminfo: memFree=29508548/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=1313348 CPUtime=12.68 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 269033 0 0 0 1232 36 0 0 20 0 4 0 106934338 1344868352 270354 33554432000 4194304 16246674 140735306839216 140735306821120 5676085 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 328337 270354 910 2943 0 325231 0 [pid=4569/tid=4570] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 270354 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 270354 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 270354 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1313348 [startup+25.5005 s] /proc/loadavg: 2.23 2.11 2.04 3/184 4573 /proc/meminfo: memFree=29509124/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=1313348 CPUtime=25.48 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 269037 0 0 0 2512 36 0 0 20 0 4 0 106934338 1344868352 270358 33554432000 4194304 16246674 140735306839216 140735306821120 12466640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 328337 270358 914 2943 0 325231 0 [pid=4569/tid=4570] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 270358 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 270358 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 270358 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1313348 [startup+51.1004 s] /proc/loadavg: 2.20 2.11 2.04 3/184 4573 /proc/meminfo: memFree=29509080/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=1313348 CPUtime=51.08 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 269037 0 0 0 5071 37 0 0 20 0 4 0 106934338 1344868352 270358 33554432000 4194304 16246674 140735306839216 140735306838392 6861716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 328337 270358 914 2943 0 325231 0 [pid=4569/tid=4570] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 270358 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 270358 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1344868352 270358 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1313348 [startup+102.3 s] /proc/loadavg: 2.20 2.12 2.04 3/183 4574 /proc/meminfo: memFree=29472464/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=1350212 CPUtime=102.28 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 278254 0 0 0 10190 38 0 0 20 0 4 0 106934338 1382617088 279575 33554432000 4194304 16246674 140735306839216 140735306837056 4206886 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 337553 279575 915 2943 0 334447 0 [pid=4569/tid=4570] ppid=4566 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 1382617088 279575 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 1382617088 279575 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1382617088 279575 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1350212 ################ # More data... # ################ /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1413025792 287002 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 1379908 [startup+1302.3 s] /proc/loadavg: 2.12 2.05 2.05 3/183 4677 /proc/meminfo: memFree=29329088/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=1379908 CPUtime=1302.01 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 285857 0 0 0 130139 62 0 0 20 0 4 0 106934338 1413025792 287002 33554432000 4194304 16246674 140735306839216 140735306821120 5676028 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 344977 287002 915 2943 0 341871 0 [pid=4569/tid=4570] ppid=4566 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 1413025792 287002 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 1413025792 287002 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1413025792 287002 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 1379908 [startup+1362.3 s] /proc/loadavg: 2.07 2.05 2.04 4/183 4678 /proc/meminfo: memFree=29328336/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=1379908 CPUtime=1362 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 285857 0 0 0 136138 62 0 0 20 0 4 0 106934338 1413025792 287002 33554432000 4194304 16246674 140735306839216 140735306837056 5808428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 344977 287002 915 2943 0 341871 0 [pid=4569/tid=4570] ppid=4566 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 1413025792 287002 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 1413025792 287002 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1413025792 287002 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 1379908 [startup+1422.3 s] /proc/loadavg: 2.02 2.04 2.04 3/183 4679 /proc/meminfo: memFree=29328536/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=1379908 CPUtime=1421.99 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 285857 0 0 0 142135 64 0 0 20 0 4 0 106934338 1413025792 287002 33554432000 4194304 16246674 140735306839216 140735306821120 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 344977 287002 915 2943 0 341871 0 [pid=4569/tid=4570] ppid=4566 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 1413025792 287002 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 1413025792 287002 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1413025792 287002 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 1379908 [startup+1482.3 s] /proc/loadavg: 2.01 2.03 2.03 3/183 4681 /proc/meminfo: memFree=29328072/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=1379908 CPUtime=1481.97 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 285857 0 0 0 148133 64 0 0 20 0 4 0 106934338 1413025792 287002 33554432000 4194304 16246674 140735306839216 140735306822208 5822432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 344977 287002 915 2943 0 341871 0 [pid=4569/tid=4570] ppid=4566 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 1413025792 287002 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 1413025792 287002 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1413025792 287002 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 1379908 [startup+1542.31 s] /proc/loadavg: 2.00 2.02 2.03 3/183 4682 /proc/meminfo: memFree=29279036/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=1379908 CPUtime=1541.98 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 285857 0 0 0 154132 66 0 0 20 0 4 0 106934338 1413025792 287002 33554432000 4194304 16246674 140735306839216 140735306821120 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 344977 287002 915 2943 0 341871 0 [pid=4569/tid=4570] ppid=4566 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 1413025792 287002 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 1413025792 287002 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1413025792 287002 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.98 Current children cumulated vsize (KiB) 1379908 [startup+1602.3 s] /proc/loadavg: 2.11 2.05 2.03 3/183 4683 /proc/meminfo: memFree=29279632/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=1379908 CPUtime=1601.96 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 285857 0 0 0 160130 66 0 0 20 0 4 0 106934338 1413025792 287002 33554432000 4194304 16246674 140735306839216 140735306821120 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 344977 287002 915 2943 0 341871 0 [pid=4569/tid=4570] ppid=4566 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 1413025792 287002 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 1413025792 287002 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=1379908 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1413025792 287002 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.96 Current children cumulated vsize (KiB) 1379908 [startup+1662.3 s] /proc/loadavg: 2.09 2.05 2.03 3/184 4687 /proc/meminfo: memFree=29239512/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=1385028 CPUtime=1661.95 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 287137 0 0 0 166126 69 0 0 20 0 4 0 106934338 1418268672 288282 33554432000 4194304 16246674 140735306839216 140735306837120 4220921 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 346257 288282 915 2943 0 343151 0 [pid=4569/tid=4570] ppid=4566 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 1418268672 288282 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 1418268672 288282 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1418268672 288282 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.95 Current children cumulated vsize (KiB) 1385028 [startup+1722.3 s] /proc/loadavg: 2.12 2.07 2.04 3/183 4688 /proc/meminfo: memFree=29207136/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=1385028 CPUtime=1721.94 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 287137 0 0 0 172123 71 0 0 20 0 4 0 106934338 1418268672 288282 33554432000 4194304 16246674 140735306839216 140735306821120 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 346257 288282 915 2943 0 343151 0 [pid=4569/tid=4570] ppid=4566 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 1418268672 288282 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 1418268672 288282 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1418268672 288282 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.94 Current children cumulated vsize (KiB) 1385028 [startup+1782.3 s] /proc/loadavg: 2.14 2.08 2.04 3/183 4690 /proc/meminfo: memFree=29206800/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=1385028 CPUtime=1781.93 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 287137 0 0 0 178122 71 0 0 20 0 4 0 106934338 1418268672 288282 33554432000 4194304 16246674 140735306839216 140735306821120 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 346257 288282 915 2943 0 343151 0 [pid=4569/tid=4570] ppid=4566 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 1418268672 288282 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 1418268672 288282 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1418268672 288282 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.93 Current children cumulated vsize (KiB) 1385028 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.18 2.10 2.05 3/183 4690 /proc/meminfo: memFree=29206736/32872528 swapFree=10676/249824 [pid=4569] ppid=4566 vsize=1385028 CPUtime=1800.03 cores=0,2,4,6 /proc/4569/stat : 4569 (toysat) R 4566 4569 1222 0 -1 4202496 287137 0 0 0 179932 71 0 0 20 0 4 0 106934338 1418268672 288282 33554432000 4194304 16246674 140735306839216 140735306821120 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4569/statm: 346257 288282 915 2943 0 343151 0 [pid=4569/tid=4570] ppid=4566 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4570/stat : 4570 (toysat) S 4566 4569 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106934339 1418268672 288282 33554432000 4194304 16246674 140735306839216 140068507331824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4569/tid=4571] ppid=4566 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4571/stat : 4571 (toysat) S 4566 4569 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106934339 1418268672 288282 33554432000 4194304 16246674 140735306839216 140068496841968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4569/tid=4572] ppid=4566 vsize=1385028 CPUtime=0 cores=0,2,4,6 /proc/4569/task/4572/stat : 4572 (toysat) S 4566 4569 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106934339 1418268672 288282 33554432000 4194304 16246674 140735306839216 140068412976304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1385028 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 4569 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.41 CPU time (s): 1800.04 CPU user time (s): 1799.33 CPU system time (s): 0.713891 CPU usage (%): 99.9796 Max. virtual memory (cumulated for all children) (KiB): 1385028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.33 system time used= 0.713891 maximum resident set size= 1153128 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 287137 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= 193 involuntary context switches= 1944 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.044 second user time and 14.3478 second system time The end
Begin job on node103 at 2016-06-06 23:53:09 IDJOB=4079837 IDBENCH=24994 IDSOLVER=2542 FILE ID=node103/4079837-1465249989 RUNJOBID= node103-1465221288-1238 PBS_JOBID= 19843228 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_010_area_delay.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079837-1465249989/watcher-4079837-1465249989 -o /tmp/evaluation-result-4079837-1465249989/solver-4079837-1465249989 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1238 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079837-1465249989.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d869c2ae266497675d66f161576eaac8 RANDOM SEED=462147704 node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30588644 kB Buffers: 55904 kB Cached: 138396 kB SwapCached: 1716 kB Active: 1236908 kB Inactive: 92412 kB Active(anon): 1136116 kB Inactive(anon): 1160 kB Active(file): 100792 kB Inactive(file): 91252 kB Unevictable: 249824 kB Mlocked: 10676 kB SwapTotal: 67108856 kB SwapFree: 67096644 kB Dirty: 17948 kB Writeback: 0 kB AnonPages: 1339160 kB Mapped: 10920 kB Shmem: 0 kB Slab: 569548 kB SReclaimable: 13544 kB SUnreclaim: 556004 kB KernelStack: 1528 kB PageTables: 6548 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1526776 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 473088 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= 71688 MiB End job on node103 at 2016-06-07 00:23:09