| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.51 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ EmployeeScheduling/normalized-sep5.5.opb |
| MD5SUM | 1f79548c9b0f2377f8191fb622c99d00 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1230 |
| Best CPU time to get the best result obtained on this benchmark | 1800 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9324 |
| Total number of constraints | 28660 |
| Number of constraints which are clauses | 26659 |
| Number of constraints which are cardinality constraints (but not clauses) | 237 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1764 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 240 |
| Number of terms in the objective function | 26 |
| Biggest coefficient in the objective function | 200 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2110 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 200 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 2110 |
| Number of bits of the biggest sum of numbers | 12 |
| 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.04 c 2016-06-29T16:06:24+0200 0.00/0.04 c version = 0.5.0 0.00/0.04 c githash = 1a49202 0.00/0.04 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.04 c arch = x86_64 0.00/0.04 c os = linux 0.00/0.04 c compiler = ghc 7.10 0.00/0.04 c packages: 0.00/0.04 c OptDir-0.0.3 0.00/0.04 c array-0.5.1.0 0.00/0.04 c base-4.8.2.0 0.00/0.04 c bytestring-0.10.6.0 0.00/0.04 c bytestring-builder-0.10.6.0.0 0.00/0.04 c clock-0.7.2 0.00/0.04 c containers-0.5.6.2 0.00/0.04 c data-default-0.5.3 0.00/0.04 c data-default-class-0.0.1 0.00/0.04 c data-interval-1.2.0 0.00/0.04 c deepseq-1.4.1.1 0.00/0.04 c directory-1.2.2.0 0.00/0.04 c exceptions-0.8.2.1 0.00/0.04 c extended-reals-0.2.1.0 0.00/0.04 c filepath-1.4.0.0 0.00/0.04 c finite-field-0.8.0 0.00/0.04 c hashable-1.2.4.0 0.00/0.04 c heaps-0.3.3 0.00/0.04 c intern-0.9.1.4 0.00/0.04 c loop-0.3.0 0.00/0.04 c mtl-2.2.1 0.00/0.04 c multiset-0.3.2 0.00/0.04 c mwc-random-0.13.3.2 0.00/0.04 c parse_dimacs-1.3 0.00/0.04 c parsec-3.1.9 0.00/0.04 c prettyclass-1.0.0.0 0.00/0.04 c primes-0.2.1.0 0.00/0.04 c primitive-0.6.1.0 0.00/0.04 c process-1.2.3.0 0.00/0.04 c pseudo-boolean-0.1.3.0 0.00/0.05 c queue-0.1.2 0.00/0.05 c semigroups-0.18.1 0.00/0.05 c sign-0.4.3 0.00/0.05 c stm-2.4.4.1 0.00/0.05 c template-haskell-2.10.0.0 0.00/0.05 c temporary-1.2.0.4 0.00/0.05 c time-1.5.0.1 0.00/0.05 c transformers-0.4.2.0 0.00/0.05 c transformers-compat-0.5.1.4 0.00/0.05 c type-level-numbers-0.1.1.1 0.00/0.05 c unbounded-delays-0.1.0.9 0.00/0.05 c unordered-containers-0.2.6.0 0.00/0.05 c vector-0.11.0.0 0.00/0.05 c vector-space-0.10.3 0.00/0.05 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4117321-1467209132.opb"] 0.00/0.06 c use --random-gen="1658460372 3191673451 3924440027 31119684 97807866 2079070389 970542420 3524884450 1319043263 1028778079 3053137271 1655521952 4092676961 3759363723 130732906 2372227667 1363304367 2728087746 821898957 950059592 1283958687 3388306477 2738689234 1090827574 1990081160 1565653319 3834981970 1172106665 1764107809 1576088155 868893352 687482566 2490164265 1525056583 1722405722 4064480528 3638012760 1852504442 2146847126 1263219142 4116390126 3374289120 2482649025 2316755878 1690468993 2739720636 2153493999 3689067421 1145180264 2351916813 3866100328 3674184476 3497073562 2307113559 4193192018 1532584878 884616495 1817323674 3096719480 852304267 802837161 3326492010 306589401 2583516881 3987685538 4192109378 2928790633 412720476 3505634435 1748820866 708477834 3929721057 3980119324 3713001105 2779092985 1190574407 2668019394 2632620916 4224682079 1461750835 2827283951 1728924150 2867803484 1634759547 2565982555 1556468740 598252975 283532398 1517180231 1420182022 2326235599 2320462194 637256440 3011632042 2530199649 1555378330 222247399 1711552609 438369119 1953690091 1015403251 628059395 736150593 2933324572 3319491545 3618883431 3541465326 2799500963 2106866705 188768374 3193278114 1778450772 3973671161 4150132352 1535417683 3633537567 1614174148 3621765772 2077721136 4193170052 3235848721 666091055 3404658736 2546268897 921115168 2196762256 3791572864 3967978421 2122614836 1185463830 2135675030 1652914761 4235575860 357630256 3361757082 625558232 3271587353 3712192373 2696865227 3055873594 1702961944 2261403882 184212911 1605784339 2146544416 3123636395 2033442518 2538099233 1701086245 3179248839 1886362734 1434688305 1173314502 3485972001 1983875414 2170377658 3626818917 1881001641 1648759761 2148562058 3139810732 4232286897 427793260 2024019170 406575351 3095694797 1576190514 3014830957 3144403138 4018137038 3179533628 1315546405 1564510635 736730845 2967502344 3275415531 2849924219 167146249 1446272148 97516283 4142224801 3854444316 3120491761 2606412440 1665835279 1195945167 4141088611 2352056831 2103421096 1099478968 875941424 499691013 972892865 1214367668 309854579 2409971402 1937289861 1254329135 154072130 3835865375 3880997242 547155302 3044942274 1730701762 2043562131 823728585 220706577 2886664517 1191497487 3371195177 4029684050 3686527809 3835154473 2544989650 1968956845 3369957198 3770172351 1666014360 3676707206 3672618602 298740907 1247401596 3180917177 1223097984 2632523165 2020620325 4133576913 1072996356 345085235 1786152776 3053709181 2692890613 3648497375 2205841328 2620595124 1569134447 4227846306 2479821299 1551900900 2190769417 1074445513 4143813246 1035803745 1424213603 3553881992 3881972408 121653781 2180703589 3649083635 3684563769 2472139386 2144092107 4220181198 3886026406 2524932635 2219323374 255 362436" option to reproduce the execution 0.14/0.28 c #vars 9324 0.14/0.28 c #constraints 28660 0.64/0.70 c BCD2: Hardening is enabled. 0.64/0.70 c BCD2: BiasedSearch is enabled. 0.64/0.70 c Solving starts ... 0.64/0.70 c ============================[ Search Statistics ]============================ 0.64/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.64/0.70 c | | | | Limit GC | Var | Constra 0.64/0.70 c ============================================================================= 0.64/0.70 c 0.0s | 0 | 0 | 0 | 12661 0 | 0 | 0 0.74/0.88 c 0.2s | 1 | 10838 | 100 | 12661 0 | 0 | 0 0.94/1.05 c 0.4s | 2 | 20766 | 250 | 13928 0 | 0 | 0 1.24/1.36 c 0.7s | 3 | 41060 | 475 | 15321 0 | 0 | 0 2.03/2.13 c 1.4s | 4 | 93146 | 813 | 16854 0 | 0 | 0 3.03/3.17 c 2.5s | 5 | 171758 | 1320 | 18540 0 | 0 | 0 4.13/4.22 c 3.5s | 6 | 233795 | 2081 | 22434 0 | 0 | 0 6.03/6.14 c 5.4s | 6 | 355201 | 3020 | 22434 0 | 0 | 0 6.03/6.14 c #cpu_time = 5.428s 6.03/6.14 c #wall_clock_time = 5.433s 6.03/6.14 c #decision = 355201 6.03/6.14 c #random_decision = 1146 6.03/6.14 c #conflict = 3020 6.03/6.14 c #restart = 6 6.03/6.14 o 2110 6.03/6.14 c BCD2: refineUB: 2109 -> 2090 6.03/6.14 c BCD2: updating upper bound: 2110 -> 2090 6.03/6.14 c BCD2: 0 <= obj <= 2090 6.03/6.14 c BCD2: #cores=0, #unrelaxed=26, #relaxed=0, #hardened=0 6.03/6.14 c BCD2: #sat=1 #unsat=1 bias=1/2 6.03/6.14 c Solving starts ... 6.03/6.14 c ============================[ Search Statistics ]============================ 6.03/6.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.03/6.14 c | | | | Limit GC | Var | Constra 6.03/6.14 c ============================================================================= 6.03/6.14 c 0.0s | 0 | 0 | 0 | 22434 0 | 0 | 0 6.13/6.20 c 0.1s | 1 | 499 | 100 | 22434 0 | 0 | 0 6.13/6.26 c 0.1s | 2 | 683 | 250 | 24678 0 | 0 | 0 6.23/6.35 c 0.2s | 3 | 932 | 475 | 24678 0 | 0 | 0 6.33/6.49 c 0.3s | 4 | 1294 | 813 | 24678 0 | 0 | 0 6.53/6.67 c 0.5s | 5 | 1835 | 1320 | 24678 0 | 0 | 0 6.84/6.92 c 0.8s | 6 | 2669 | 2081 | 27146 0 | 0 | 0 7.23/7.34 c 1.2s | 7 | 3898 | 3223 | 27146 0 | 0 | 0 7.84/7.95 c 1.8s | 8 | 5717 | 4936 | 29861 0 | 0 | 0 8.94/9.00 c 2.9s | 9 | 8480 | 7506 | 29861 0 | 0 | 0 10.53/10.67 c 4.5s | 10 | 12666 | 11361 | 32848 0 | 0 | 0 11.63/11.79 c 5.6s | 10 | 15060 | 13569 | 32848 0 | 0 | 0 11.63/11.79 c #cpu_time = 5.647s 11.63/11.79 c #wall_clock_time = 5.648s 11.63/11.79 c #decision = 15060 11.63/11.79 c #random_decision = 36 11.63/11.79 c #conflict = 13569 11.63/11.79 c #restart = 10 11.63/11.79 c BCD2: found a new core of size 13: cost of the new core is >=20 11.63/11.79 c lower bound updated to 20 11.63/11.79 c BCD2: refineUB: 2109 -> 2090 11.63/11.79 c BCD2: 20 <= obj <= 2090 11.63/11.79 c BCD2: #cores=1, #unrelaxed=13, #relaxed=13, #hardened=0 11.63/11.79 c BCD2: #sat=1 #unsat=2 bias=2/3 11.63/11.79 c Solving starts ... 11.63/11.79 c ============================[ Search Statistics ]============================ 11.63/11.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.63/11.79 c | | | | Limit GC | Var | Constra 11.63/11.79 c ============================================================================= 11.63/11.79 c 0.0s | 0 | 0 | 0 | 32848 0 | 0 | 0 11.73/11.86 c 0.1s | 0 | 13 | 0 | 32848 0 | 0 | 0 11.73/11.86 c #cpu_time = 0.068s 11.73/11.86 c #wall_clock_time = 0.068s 11.73/11.86 c #decision = 13 11.73/11.86 c #random_decision = 0 11.73/11.86 c #conflict = 0 11.73/11.86 c #restart = 0 11.73/11.86 c BCD2: found a new core of size 13: cost of the new core is >=50 11.73/11.86 c lower bound updated to 70 11.73/11.86 c BCD2: refineUB: 2109 -> 2090 11.73/11.86 c BCD2: 70 <= obj <= 2090 11.73/11.86 c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0 11.73/11.86 c BCD2: #sat=1 #unsat=3 bias=3/4 11.73/11.86 c Solving starts ... 11.73/11.86 c ============================[ Search Statistics ]============================ 11.73/11.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.73/11.86 c | | | | Limit GC | Var | Constra 11.73/11.86 c ============================================================================= 11.73/11.86 c 0.0s | 0 | 0 | 0 | 32848 0 | 0 | 0 11.83/11.99 c 0.1s | 1 | 272 | 100 | 32848 0 | 0 | 0 12.13/12.23 c 0.4s | 2 | 11887 | 250 | 32848 0 | 0 | 0 12.23/12.34 c 0.5s | 3 | 12187 | 475 | 36133 0 | 0 | 0 12.33/12.48 c 0.6s | 4 | 12564 | 813 | 36133 0 | 0 | 0 12.83/12.97 c 1.1s | 5 | 34992 | 1320 | 36133 0 | 0 | 0 14.63/14.76 c 2.9s | 6 | 149996 | 2081 | 36133 0 | 0 | 0 15.64/15.77 c 3.9s | 7 | 176606 | 3223 | 36133 0 | 0 | 0 16.23/16.33 c 4.5s | 7 | 196235 | 4018 | 36133 0 | 0 | 0 16.23/16.33 c #cpu_time = 4.457s 16.23/16.33 c #wall_clock_time = 4.457s 16.23/16.33 c #decision = 196235 16.23/16.33 c #random_decision = 618 16.23/16.33 c #conflict = 4018 16.23/16.33 c #restart = 7 16.23/16.33 o 1600 16.23/16.33 c BCD2: refineUB: 1599 -> 1590 16.23/16.33 c BCD2: updating upper bound: 2090 -> 1590 16.23/16.33 c BCD2: 70 <= obj <= 1590 16.23/16.33 c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0 16.23/16.33 c BCD2: #sat=2 #unsat=3 bias=3/5 16.23/16.33 c Solving starts ... 16.23/16.33 c ============================[ Search Statistics ]============================ 16.23/16.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 16.23/16.33 c | | | | Limit GC | Var | Constra 16.23/16.33 c ============================================================================= 16.23/16.33 c 0.0s | 0 | 0 | 0 | 36133 0 | 0 | 0 16.43/16.53 c 0.2s | 1 | 202 | 100 | 36133 0 | 0 | 0 16.64/16.76 c 0.4s | 2 | 521 | 250 | 36133 0 | 0 | 0 16.83/16.92 c 0.6s | 3 | 837 | 475 | 36133 0 | 0 | 0 17.13/17.27 c 0.9s | 4 | 1410 | 813 | 36133 0 | 0 | 0 17.43/17.53 c 1.2s | 5 | 2038 | 1320 | 36133 0 | 0 | 0 18.23/18.32 c 2.0s | 6 | 2984 | 2081 | 36133 0 | 0 | 0 19.23/19.35 c 3.0s | 7 | 4305 | 3223 | 36133 0 | 0 | 0 21.43/21.59 c 5.3s | 7 | 5819 | 4623 | 36133 0 | 0 | 0 22.03/22.15 c 5.8s | 8 | 6165 | 4936 | 36133 0 | 0 | 0 24.03/24.17 c 7.8s | 8 | 7697 | 6236 | 39747 0 | 0 | 0 25.23/25.33 c 9.0s | 9 | 9908 | 7506 | 39747 0 | 0 | 0 27.33/27.47 c 11.1s | 9 | 10938 | 8406 | 39747 0 | 0 | 0 29.53/29.66 c 13.3s | 9 | 11999 | 9306 | 39747 0 | 0 | 0 31.63/31.73 c 15.4s | 9 | 13480 | 10306 | 39747 0 | 0 | 0 32.73/32.88 c 16.5s | 10 | 14666 | 11361 | 39747 0 | 0 | 0 34.83/34.93 c 18.6s | 10 | 16013 | 12561 | 39747 0 | 0 | 0 36.83/36.98 c 20.7s | 10 | 17583 | 14061 | 39747 0 | 0 | 0 39.03/39.15 c 22.8s | 10 | 18733 | 15061 | 39747 0 | 0 | 0 41.22/41.30 c 25.0s | 10 | 20045 | 16161 | 39747 0 | 0 | 0 43.42/43.57 c 27.2s | 11 | 21239 | 17144 | 39747 0 | 0 | 0 45.62/45.71 c 29.4s | 11 | 22329 | 18144 | 43722 0 | 0 | 0 47.72/47.89 c 31.6s | 11 | 23764 | 19444 | 43722 0 | 0 | 0 49.82/49.90 c 33.6s | 11 | 24807 | 20444 | 43722 0 | 0 | 0 51.83/51.98 c 35.7s | 11 | 26097 | 21544 | 43722 0 | 0 | 0 53.82/53.98 c 37.7s | 11 | 27124 | 22544 | 43722 0 | 0 | 0 56.02/56.19 c 39.9s | 11 | 28116 | 23444 | 43722 1 | 0 | 0 58.12/58.28 c 41.9s | 11 | 29166 | 24444 | 43722 1 | 0 | 0 60.22/60.39 c 44.1s | 11 | 29992 | 25244 | 43722 1 | 0 | 0 62.01/62.19 c 45.9s | 12 | 30592 | 25819 | 43722 1 | 0 | 0 64.11/64.28 c 48.0s | 12 | 31446 | 26619 | 43722 1 | 0 | 0 66.31/66.45 c 50.1s | 12 | 32624 | 27719 | 43722 1 | 0 | 0 68.42/68.53 c 52.2s | 12 | 33778 | 28819 | 43722 1 | 0 | 0 70.52/70.69 c 54.4s | 12 | 34936 | 29819 | 43722 1 | 0 | 0 72.72/72.87 c 56.5s | 12 | 36142 | 30819 | 43722 1 | 0 | 0 74.81/74.93 c 58.6s | 12 | 37179 | 31719 | 43722 1 | 0 | 0 76.79/76.96 c 60.6s | 12 | 38316 | 32719 | 43722 1 | 0 | 0 78.79/78.97 c 62.6s | 12 | 39432 | 33619 | 43722 1 | 0 | 0 80.99/81.18 c 64.8s | 12 | 40458 | 34519 | 43722 1 | 0 | 0 83.09/83.20 c 66.9s | 12 | 41496 | 35419 | 43722 1 | 0 | 0 85.29/85.41 c 69.1s | 12 | 42640 | 36419 | 43722 1 | 0 | 0 87.39/87.53 c 71.2s | 12 | 43688 | 37319 | 43722 1 | 0 | 0 89.49/89.62 c 73.3s | 12 | 44496 | 38019 | 48095 1 | 0 | 0 91.59/91.73 c 75.4s | 12 | 45673 | 38819 | 48095 1 | 0 | 0 91.59/91.76 c 75.4s | 13 | 45693 | 38832 | 48095 1 | 0 | 0 93.60/93.78 c 77.4s | 13 | 46535 | 39532 | 48095 1 | 0 | 0 95.80/95.91 c 79.6s | 13 | 47499 | 40432 | 48095 1 | 0 | 0 98.00/98.12 c 81.8s | 13 | 48465 | 41332 | 48095 1 | 0 | 0 100.09/100.29 c 84.0s | 13 | 49321 | 42132 | 48095 1 | 0 | 0 102.28/102.46 c 86.1s | 13 | 50168 | 42932 | 48095 1 | 0 | 0 104.28/104.46 c 88.1s | 13 | 51028 | 43732 | 48095 1 | 0 | 0 106.58/106.72 c 90.4s | 13 | 51872 | 44532 | 48095 1 | 0 | 0 108.68/108.82 c 92.5s | 13 | 52614 | 45232 | 48095 1 | 0 | 0 110.78/110.96 c 94.6s | 13 | 53341 | 45932 | 48095 1 | 0 | 0 113.08/113.28 c 97.0s | 13 | 54202 | 46732 | 48095 1 | 0 | 0 115.28/115.45 c 99.1s | 13 | 55081 | 47532 | 48095 1 | 0 | 0 117.38/117.53 c 101s | 13 | 55858 | 48232 | 48095 1 | 0 | 0 119.58/119.72 c 103s | 13 | 56856 | 49132 | 48095 1 | 0 | 0 122.18/122.36 c 106s | 13 | 57507 | 49732 | 48095 2 | 0 | 0 132.78/132.98 c 116s | 13 | 57760 | 49932 | 48095 2 | 0 | 0 134.88/135.02 c 118s | 13 | 58454 | 50532 | 48095 2 | 0 | 0 137.58/137.77 c 121s | 13 | 59371 | 51332 | 48095 2 | 0 | 0 139.68/139.82 c 123s | 13 | 60574 | 52332 | 48095 2 | 0 | 0 141.78/141.94 c 125s | 13 | 61900 | 53532 | 48095 2 | 0 | 0 143.88/144.02 c 127s | 13 | 62821 | 54332 | 48095 2 | 0 | 0 145.88/146.05 c 129s | 13 | 63804 | 55232 | 48095 2 | 0 | 0 147.88/148.08 c 131s | 13 | 64772 | 56132 | 48095 2 | 0 | 0 149.98/150.16 c 133s | 13 | 65842 | 57132 | 48095 2 | 0 | 0 152.17/152.38 c 136s | 13 | 67051 | 58232 | 48095 2 | 0 | 0 152.57/152.74 c 136s | 14 | 67201 | 58352 | 48095 2 | 0 | 0 154.57/154.78 c 138s | 14 | 68200 | 59152 | 48095 2 | 0 | 0 156.77/156.93 c 140s | 14 | 69640 | 60152 | 48095 2 | 0 | 0 158.77/158.99 c 142s | 14 | 70961 | 61052 | 48095 2 | 0 | 0 160.87/161.04 c 144s | 14 | 71980 | 61952 | 48095 2 | 0 | 0 162.98/163.16 c 146s | 14 | 72857 | 62752 | 48095 2 | 0 | 0 165.18/165.35 c 149s | 14 | 73952 | 63652 | 48095 2 | 0 | 0 167.38/167.53 c 151s | 14 | 75042 | 64452 | 48095 2 | 0 | 0 169.37/169.55 c 153s | 14 | 75884 | 65152 | 48095 2 | 0 | 0 171.47/171.66 c 155s | 14 | 76753 | 65952 | 48095 2 | 0 | 0 173.57/173.72 c 157s | 14 | 77638 | 66752 | 52905 2 | 0 | 0 175.77/175.91 c 159s | 14 | 78490 | 67552 | 52905 2 | 0 | 0 177.87/178.01 c 161s | 14 | 79445 | 68352 | 52905 2 | 0 | 0 180.07/180.23 c 163s | 14 | 80392 | 69152 | 52905 2 | 0 | 0 182.17/182.36 c 166s | 14 | 81442 | 70052 | 52905 2 | 0 | 0 184.27/184.41 c 168s | 14 | 82520 | 70952 | 52905 2 | 0 | 0 186.27/186.49 c 170s | 14 | 83606 | 71852 | 52905 2 | 0 | 0 188.37/188.57 c 172s | 14 | 84408 | 72552 | 52905 2 | 0 | 0 190.37/190.58 c 174s | 14 | 85294 | 73252 | 52905 2 | 0 | 0 192.47/192.70 c 176s | 14 | 86390 | 74152 | 52905 2 | 0 | 0 194.67/194.86 c 178s | 14 | 87374 | 75052 | 52905 2 | 0 | 0 196.67/196.89 c 180s | 14 | 88477 | 76052 | 52905 2 | 0 | 0 198.87/199.05 c 182s | 14 | 89570 | 76952 | 52905 2 | 0 | 0 201.07/201.20 c 184s | 14 | 90337 | 77552 | 52905 2 | 0 | 0 203.07/203.21 c 186s | 14 | 91327 | 78352 | 52905 2 | 0 | 0 208.56/208.78 c 192s | 14 | 91925 | 78852 | 52905 3 | 0 | 0 210.76/210.94 c 194s | 14 | 92727 | 79552 | 52905 3 | 0 | 0 212.96/213.14 c 196s | 14 | 94092 | 80652 | 52905 3 | 0 | 0 215.16/215.31 c 198s | 14 | 95348 | 81552 | 52905 3 | 0 | 0 217.27/217.48 c 201s | 14 | 96085 | 82152 | 52905 3 | 0 | 0 219.47/219.67 c 203s | 14 | 97169 | 83052 | 52905 3 | 0 | 0 221.67/221.86 c 205s | 14 | 98123 | 83952 | 52905 3 | 0 | 0 223.77/223.93 c 207s | 14 | 99327 | 84852 | 52905 3 | 0 | 0 225.77/225.95 c 209s | 14 | 100400 | 85652 | 52905 3 | 0 | 0 227.88/228.02 c 211s | 14 | 101443 | 86552 | 52905 3 | 0 | 0 230.08/230.25 c 213s | 14 | 102578 | 87452 | 52905 3 | 0 | 0 230.47/230.68 c 214s | 15 | 102820 | 87632 | 52905 3 | 0 | 0 238.46/238.69 c 222s | 15 | 103018 | 87732 | 52905 3 | 0 | 0 240.76/240.94 c 224s | 15 | 104106 | 88432 | 52905 3 | 0 | 0 242.86/243.07 c 226s | 15 | 104819 | 89032 | 52905 3 | 0 | 0 245.06/245.24 c 228s | 15 | 105554 | 89632 | 52905 3 | 0 | 0 247.76/247.97 c 231s | 15 | 106435 | 90232 | 52905 3 | 0 | 0 250.06/250.24 c 233s | 15 | 107338 | 90932 | 52905 3 | 0 | 0 252.16/252.33 c 235s | 15 | 108020 | 91532 | 52905 3 | 0 | 0 254.36/254.52 c 238s | 15 | 108693 | 92132 | 52905 3 | 0 | 0 256.66/256.83 c 240s | 15 | 109488 | 92832 | 52905 3 | 0 | 0 258.76/258.90 c 242s | 15 | 110153 | 93432 | 52905 3 | 0 | 0 260.96/261.18 c 244s | 15 | 111019 | 94232 | 52905 3 | 0 | 0 263.16/263.32 c 246s | 15 | 111849 | 95032 | 52905 3 | 0 | 0 265.27/265.44 c 249s | 15 | 112716 | 95832 | 52905 3 | 0 | 0 267.26/267.48 c 251s | 15 | 113440 | 96532 | 52905 3 | 0 | 0 269.46/269.69 c 253s | 15 | 114174 | 97232 | 52905 3 | 0 | 0 271.66/271.84 c 255s | 15 | 114715 | 97732 | 52905 3 | 0 | 0 273.76/273.95 c 257s | 15 | 115491 | 98432 | 52905 3 | 0 | 0 275.86/276.00 c 259s | 15 | 116374 | 99232 | 52905 3 | 0 | 0 277.96/278.10 c 261s | 15 | 116937 | 99732 | 52905 3 | 0 | 0 280.06/280.21 c 263s | 15 | 117446 | 100232 | 52905 3 | 0 | 0 282.46/282.64 c 266s | 15 | 118141 | 100832 | 52905 3 | 0 | 0 284.66/284.81 c 268s | 15 | 118794 | 101432 | 52905 3 | 0 | 0 286.76/286.98 c 270s | 15 | 119456 | 102032 | 52905 3 | 0 | 0 289.06/289.24 c 272s | 15 | 120131 | 102632 | 52905 3 | 0 | 0 291.16/291.38 c 275s | 15 | 120830 | 103232 | 52905 3 | 0 | 0 293.26/293.48 c 277s | 15 | 121543 | 103832 | 52905 3 | 0 | 0 295.46/295.62 c 279s | 15 | 122302 | 104532 | 52905 3 | 0 | 0 297.56/297.75 c 281s | 15 | 123086 | 105132 | 52905 3 | 0 | 0 300.65/300.82 c 284s | 15 | 123203 | 105232 | 52905 4 | 0 | 0 302.85/303.06 c 286s | 15 | 123773 | 105732 | 52905 4 | 0 | 0 307.75/307.97 c 291s | 15 | 124434 | 106232 | 52905 4 | 0 | 0 309.95/310.18 c 293s | 15 | 125462 | 107132 | 52905 4 | 0 | 0 312.15/312.33 c 296s | 15 | 126800 | 108132 | 52905 4 | 0 | 0 314.35/314.53 c 298s | 15 | 127992 | 109132 | 52905 4 | 0 | 0 316.55/316.71 c 300s | 15 | 129281 | 110232 | 58196 4 | 0 | 0 318.75/318.91 c 302s | 15 | 130559 | 111332 | 58196 4 | 0 | 0 320.85/321.06 c 304s | 15 | 131772 | 112432 | 58196 4 | 0 | 0 322.95/323.17 c 306s | 15 | 132850 | 113432 | 58196 4 | 0 | 0 325.15/325.30 c 308s | 15 | 133814 | 114332 | 58196 4 | 0 | 0 327.25/327.44 c 311s | 15 | 134724 | 115132 | 58196 4 | 0 | 0 329.55/329.71 c 313s | 15 | 135566 | 115932 | 58196 4 | 0 | 0 331.55/331.73 c 315s | 15 | 136576 | 116832 | 58196 4 | 0 | 0 335.56/335.80 c 319s | 15 | 137716 | 117932 | 58196 4 | 0 | 0 337.75/337.96 c 321s | 15 | 138536 | 118632 | 58196 4 | 0 | 0 339.85/340.05 c 323s | 15 | 139547 | 119532 | 58196 4 | 0 | 0 342.05/342.22 c 325s | 15 | 140675 | 120532 | 58196 4 | 0 | 0 344.05/344.28 c 327s | 15 | 141642 | 121432 | 58196 4 | 0 | 0 346.25/346.48 c 330s | 15 | 142572 | 122332 | 58196 4 | 0 | 0 348.35/348.54 c 332s | 15 | 143106 | 122832 | 58196 4 | 0 | 0 350.54/350.75 c 334s | 15 | 144084 | 123732 | 58196 4 | 0 | 0 352.64/352.89 c 336s | 15 | 145092 | 124632 | 58196 4 | 0 | 0 354.94/355.17 c 338s | 15 | 146100 | 125532 | 58196 4 | 0 | 0 357.04/357.20 c 340s | 15 | 146942 | 126332 | 58196 4 | 0 | 0 359.14/359.35 c 343s | 15 | 147840 | 127132 | 58196 4 | 0 | 0 361.14/361.39 c 345s | 15 | 148719 | 127932 | 58196 4 | 0 | 0 363.34/363.51 c 347s | 15 | 149740 | 128832 | 58196 4 | 0 | 0 365.35/365.57 c 349s | 15 | 150479 | 129532 | 58196 4 | 0 | 0 367.64/367.85 c 351s | 15 | 151408 | 130432 | 58196 4 | 0 | 0 369.75/369.94 c 353s | 15 | 152282 | 131132 | 58196 4 | 0 | 0 370.94/371.12 c 354s | 16 | 152754 | 131552 | 58196 4 | 0 | 0 372.95/373.19 c 356s | 16 | 153150 | 131852 | 58196 4 | 0 | 0 375.25/375.48 c 359s | 16 | 153574 | 132252 | 58196 4 | 0 | 0 377.35/377.59 c 361s | 16 | 154242 | 132852 | 58196 4 | 0 | 0 379.44/379.64 c 363s | 16 | 155080 | 133652 | 58196 4 | 0 | 0 381.44/381.64 c 365s | 16 | 155804 | 134352 | 58196 4 | 0 | 0 383.44/383.68 c 367s | 16 | 156522 | 135052 | 58196 4 | 0 | 0 385.74/385.94 c 369s | 16 | 157250 | 135752 | 58196 4 | 0 | 0 387.84/388.07 c 371s | 16 | 157786 | 136252 | 58196 4 | 0 | 0 390.04/390.29 c 373s | 16 | 158421 | 136852 | 58196 4 | 0 | 0 395.74/395.91 c 379s | 16 | 158624 | 137052 | 58196 5 | 0 | 0 397.94/398.16 c 381s | 16 | 159062 | 137452 | 58196 5 | 0 | 0 400.14/400.37 c 384s | 16 | 159920 | 138252 | 58196 5 | 0 | 0 402.24/402.43 c 386s | 16 | 160947 | 139152 | 58196 5 | 0 | 0 404.24/404.44 c 388s | 16 | 161838 | 139952 | 58196 5 | 0 | 0 406.24/406.44 c 390s | 16 | 162891 | 140952 | 58196 5 | 0 | 0 408.34/408.50 c 392s | 16 | 163850 | 141852 | 58196 5 | 0 | 0 410.45/410.63 c 394s | 16 | 164708 | 142652 | 58196 5 | 0 | 0 412.74/412.95 c 396s | 16 | 166033 | 143852 | 58196 5 | 0 | 0 415.04/415.20 c 398s | 16 | 167159 | 144852 | 58196 5 | 0 | 0 417.14/417.33 c 400s | 16 | 168243 | 145852 | 58196 5 | 0 | 0 419.14/419.37 c 403s | 16 | 168976 | 146552 | 58196 5 | 0 | 0 421.24/421.42 c 405s | 16 | 169969 | 147452 | 58196 5 | 0 | 0 423.24/423.44 c 407s | 16 | 170678 | 148152 | 58196 5 | 0 | 0 425.24/425.44 c 409s | 16 | 171475 | 148852 | 58196 5 | 0 | 0 427.34/427.56 c 411s | 16 | 172316 | 149652 | 58196 5 | 0 | 0 429.43/429.65 c 413s | 16 | 173126 | 150352 | 58196 5 | 0 | 0 431.63/431.86 c 415s | 16 | 173905 | 151052 | 58196 5 | 0 | 0 433.83/434.08 c 417s | 16 | 174542 | 151652 | 58196 5 | 0 | 0 436.53/436.72 c 420s | 16 | 174995 | 152052 | 58196 5 | 0 | 0 438.94/439.14 c 422s | 16 | 175630 | 152652 | 58196 5 | 0 | 0 440.93/441.16 c 424s | 16 | 176139 | 153152 | 58196 5 | 0 | 0 443.03/443.24 c 426s | 16 | 176786 | 153752 | 58196 5 | 0 | 0 445.23/445.41 c 429s | 16 | 177504 | 154452 | 58196 5 | 0 | 0 447.33/447.59 c 431s | 16 | 178427 | 155352 | 58196 5 | 0 | 0 449.63/449.85 c 433s | 16 | 179260 | 156152 | 58196 5 | 0 | 0 451.73/451.97 c 435s | 16 | 180130 | 156952 | 58196 5 | 0 | 0 453.73/453.97 c 437s | 16 | 180771 | 157552 | 58196 5 | 0 | 0 455.93/456.11 c 439s | 16 | 181494 | 158252 | 58196 5 | 0 | 0 458.03/458.21 c 441s | 16 | 182213 | 158952 | 58196 5 | 0 | 0 460.03/460.27 c 443s | 16 | 182947 | 159652 | 58196 5 | 0 | 0 462.23/462.46 c 446s | 16 | 183652 | 160352 | 58196 5 | 0 | 0 464.53/464.73 c 448s | 16 | 184467 | 161052 | 58196 5 | 0 | 0 466.53/466.74 c 450s | 16 | 185219 | 161752 | 58196 5 | 0 | 0 468.73/468.95 c 452s | 16 | 186133 | 162352 | 58196 5 | 0 | 0 470.93/471.18 c 454s | 16 | 186767 | 162852 | 58196 5 | 0 | 0 473.23/473.48 c 457s | 16 | 187301 | 163352 | 58196 5 | 0 | 0 475.43/475.67 c 459s | 16 | 187826 | 163852 | 58196 5 | 0 | 0 477.73/477.96 c 461s | 16 | 188573 | 164452 | 58196 5 | 0 | 0 479.93/480.10 c 463s | 16 | 189460 | 165252 | 58196 5 | 0 | 0 482.02/482.21 c 465s | 16 | 190196 | 165952 | 58196 5 | 0 | 0 486.13/486.37 c 470s | 16 | 190620 | 166352 | 58196 6 | 0 | 0 488.63/488.80 c 472s | 16 | 190733 | 166452 | 58196 6 | 0 | 0 490.73/490.93 c 474s | 16 | 191433 | 167052 | 58196 6 | 0 | 0 492.93/493.13 c 476s | 16 | 192322 | 167852 | 58196 6 | 0 | 0 494.92/495.17 c 478s | 16 | 193302 | 168752 | 58196 6 | 0 | 0 496.92/497.20 c 480s | 16 | 194111 | 169452 | 58196 6 | 0 | 0 499.12/499.32 c 482s | 16 | 194974 | 170252 | 58196 6 | 0 | 0 509.33/509.53 c 493s | 16 | 195851 | 171052 | 58196 6 | 0 | 0 511.42/511.70 c 495s | 16 | 196566 | 171652 | 58196 6 | 0 | 0 513.52/513.72 c 497s | 16 | 197269 | 172252 | 58196 6 | 0 | 0 515.62/515.88 c 499s | 16 | 198040 | 172952 | 58196 6 | 0 | 0 518.02/518.22 c 501s | 16 | 198812 | 173652 | 58196 6 | 0 | 0 520.22/520.47 c 504s | 16 | 199595 | 174352 | 58196 6 | 0 | 0 522.62/522.81 c 506s | 16 | 200454 | 175152 | 58196 6 | 0 | 0 524.72/524.96 c 508s | 16 | 201201 | 175852 | 64016 6 | 0 | 0 526.92/527.15 c 510s | 16 | 202101 | 176652 | 64016 6 | 0 | 0 529.02/529.25 c 512s | 16 | 202851 | 177352 | 64016 6 | 0 | 0 531.22/531.43 c 515s | 16 | 203609 | 178052 | 64016 6 | 0 | 0 533.41/533.63 c 517s | 16 | 204343 | 178752 | 64016 6 | 0 | 0 535.61/535.87 c 519s | 16 | 205092 | 179452 | 64016 6 | 0 | 0 537.81/538.07 c 521s | 16 | 205841 | 180152 | 64016 6 | 0 | 0 539.91/540.14 c 523s | 16 | 206494 | 180752 | 64016 6 | 0 | 0 542.01/542.24 c 525s | 16 | 207060 | 181252 | 64016 6 | 0 | 0 544.21/544.45 c 528s | 16 | 207752 | 181852 | 64016 6 | 0 | 0 546.31/546.59 c 530s | 16 | 208429 | 182452 | 64016 6 | 0 | 0 548.71/548.94 c 532s | 16 | 209224 | 183152 | 64016 6 | 0 | 0 550.91/551.11 c 534s | 16 | 210042 | 183852 | 64016 6 | 0 | 0 553.01/553.29 c 536s | 16 | 210888 | 184552 | 64016 6 | 0 | 0 555.11/555.40 c 539s | 16 | 211935 | 185352 | 64016 6 | 0 | 0 557.31/557.52 c 541s | 16 | 212848 | 186152 | 64016 6 | 0 | 0 559.51/559.71 c 543s | 16 | 213654 | 186852 | 64016 6 | 0 | 0 561.60/561.87 c 545s | 16 | 214579 | 187652 | 64016 6 | 0 | 0 563.60/563.89 c 547s | 16 | 215461 | 188452 | 64016 6 | 0 | 0 565.70/565.94 c 549s | 16 | 216123 | 189052 | 64016 6 | 0 | 0 567.90/568.13 c 551s | 16 | 216975 | 189852 | 64016 6 | 0 | 0 570.10/570.33 c 553s | 16 | 217779 | 190552 | 64016 6 | 0 | 0 572.11/572.33 c 556s | 16 | 218609 | 191252 | 64016 6 | 0 | 0 574.50/574.72 c 558s | 16 | 219403 | 191952 | 64016 6 | 0 | 0 576.51/576.77 c 560s | 16 | 220171 | 192652 | 64016 6 | 0 | 0 578.61/578.88 c 562s | 16 | 221063 | 193452 | 64016 6 | 0 | 0 580.69/580.93 c 564s | 16 | 221873 | 194152 | 64016 6 | 0 | 0 582.79/583.05 c 566s | 16 | 222692 | 194852 | 64016 6 | 0 | 0 584.89/585.10 c 568s | 16 | 223366 | 195452 | 64016 6 | 0 | 0 586.89/587.18 c 570s | 16 | 223885 | 195952 | 64016 6 | 0 | 0 589.19/589.47 c 573s | 16 | 224771 | 196752 | 64016 6 | 0 | 0 591.49/591.74 c 575s | 16 | 225312 | 197252 | 64016 6 | 0 | 0 592.09/592.34 c 576s | 17 | 225526 | 197432 | 64016 6 | 0 | 0 594.39/594.68 c 578s | 17 | 225986 | 197832 | 64016 6 | 0 | 0 597.09/597.32 c 580s | 17 | 226489 | 198332 | 64016 6 | 0 | 0 599.29/599.55 c 583s | 17 | 226887 | 198732 | 64016 6 | 0 | 0 621.50/621.74 c 605s | 17 | 227304 | 199132 | 64016 6 | 0 | 0 623.70/623.99 c 607s | 17 | 228036 | 199832 | 64016 6 | 0 | 0 625.79/626.06 c 609s | 17 | 228652 | 200432 | 64016 6 | 0 | 0 627.99/628.29 c 611s | 17 | 229497 | 201232 | 64016 6 | 0 | 0 631.09/631.37 c 615s | 17 | 229820 | 201532 | 64016 7 | 0 | 0 633.19/633.49 c 617s | 17 | 230340 | 202032 | 64016 7 | 0 | 0 681.68/681.97 c 665s | 17 | 230565 | 202232 | 64016 7 | 0 | 0 683.88/684.16 c 667s | 17 | 231483 | 203132 | 64016 7 | 0 | 0 685.98/686.23 c 669s | 17 | 232443 | 204032 | 64016 7 | 0 | 0 687.98/688.27 c 671s | 17 | 233311 | 204832 | 64016 7 | 0 | 0 690.18/690.41 c 674s | 17 | 234263 | 205732 | 64016 7 | 0 | 0 692.37/692.67 c 676s | 17 | 235214 | 206632 | 64016 7 | 0 | 0 694.57/694.84 c 678s | 17 | 235993 | 207332 | 64016 7 | 0 | 0 696.67/696.93 c 680s | 17 | 236825 | 208132 | 64016 7 | 0 | 0 698.87/699.10 c 682s | 17 | 237681 | 208932 | 64016 7 | 0 | 0 700.87/701.17 c 684s | 17 | 238395 | 209632 | 64016 7 | 0 | 0 703.17/703.49 c 687s | 17 | 239220 | 210432 | 64016 7 | 0 | 0 705.27/705.57 c 689s | 17 | 239948 | 211132 | 64016 7 | 0 | 0 707.57/707.82 c 691s | 17 | 240773 | 211932 | 64016 7 | 0 | 0 726.87/727.18 c 710s | 17 | 240988 | 212132 | 64016 7 | 0 | 0 729.27/729.56 c 713s | 17 | 241619 | 212732 | 64016 7 | 0 | 0 731.27/731.56 c 715s | 17 | 242265 | 213332 | 64016 7 | 0 | 0 733.57/733.82 c 717s | 17 | 243023 | 214032 | 64016 7 | 0 | 0 735.57/735.85 c 719s | 17 | 243764 | 214732 | 64016 7 | 0 | 0 737.87/738.10 c 721s | 17 | 244511 | 215432 | 64016 7 | 0 | 0 739.96/740.25 c 723s | 17 | 245245 | 216132 | 64016 7 | 0 | 0 742.16/742.43 c 726s | 17 | 246017 | 216832 | 64016 7 | 0 | 0 744.26/744.53 c 728s | 17 | 246625 | 217432 | 64016 7 | 0 | 0 746.46/746.75 c 730s | 17 | 247252 | 218032 | 64016 7 | 0 | 0 748.76/749.04 c 732s | 17 | 248120 | 218832 | 64016 7 | 0 | 0 751.06/751.37 c 735s | 17 | 248764 | 219432 | 64016 7 | 0 | 0 753.16/753.42 c 737s | 17 | 249323 | 219932 | 64016 7 | 0 | 0 755.16/755.47 c 739s | 17 | 250022 | 220532 | 64016 7 | 0 | 0 757.46/757.77 c 741s | 17 | 250877 | 221332 | 64016 7 | 0 | 0 759.76/760.07 c 743s | 17 | 251657 | 222032 | 64016 7 | 0 | 0 762.06/762.35 c 746s | 17 | 252392 | 222732 | 64016 7 | 0 | 0 764.26/764.54 c 748s | 17 | 253143 | 223432 | 64016 7 | 0 | 0 766.46/766.74 c 750s | 17 | 253781 | 224032 | 64016 7 | 0 | 0 768.46/768.78 c 752s | 17 | 254334 | 224532 | 64016 7 | 0 | 0 770.56/770.83 c 754s | 17 | 255088 | 225232 | 64016 7 | 0 | 0 772.76/773.03 c 756s | 17 | 255920 | 225932 | 64016 7 | 0 | 0 774.96/775.29 c 758s | 17 | 256573 | 226532 | 64016 7 | 0 | 0 777.35/777.65 c 761s | 17 | 257468 | 227332 | 64016 7 | 0 | 0 779.65/779.91 c 763s | 17 | 258316 | 228132 | 64016 7 | 0 | 0 781.95/782.27 c 765s | 17 | 259069 | 228832 | 64016 7 | 0 | 0 784.15/784.47 c 768s | 17 | 259706 | 229432 | 64016 7 | 0 | 0 786.25/786.53 c 770s | 17 | 260345 | 230032 | 64016 7 | 0 | 0 788.25/788.56 c 772s | 17 | 260982 | 230632 | 64016 7 | 0 | 0 790.45/790.74 c 774s | 17 | 261513 | 231132 | 64016 7 | 0 | 0 792.75/793.07 c 776s | 17 | 262086 | 231632 | 64016 7 | 0 | 0 794.75/795.08 c 778s | 17 | 262831 | 232332 | 64016 7 | 0 | 0 796.95/797.22 c 780s | 17 | 263498 | 232932 | 64016 7 | 0 | 0 804.56/804.83 c 788s | 17 | 264072 | 233432 | 64016 8 | 0 | 0 807.85/808.13 c 791s | 17 | 264426 | 233732 | 64016 8 | 0 | 0 809.95/810.24 c 793s | 17 | 264958 | 234232 | 64016 8 | 0 | 0 812.05/812.37 c 796s | 17 | 265706 | 234932 | 64016 8 | 0 | 0 815.16/815.42 c 799s | 17 | 266622 | 235732 | 64016 8 | 0 | 0 817.26/817.53 c 801s | 17 | 267296 | 236332 | 64016 8 | 0 | 0 819.45/819.78 c 803s | 17 | 268090 | 237032 | 64016 8 | 0 | 0 821.65/821.91 c 805s | 17 | 268827 | 237732 | 64016 8 | 0 | 0 823.75/824.04 c 807s | 17 | 269697 | 238532 | 64016 8 | 0 | 0 825.95/826.26 c 809s | 17 | 270469 | 239232 | 64016 8 | 0 | 0 828.05/828.37 c 812s | 17 | 271230 | 239932 | 64016 8 | 0 | 0 830.14/830.46 c 814s | 17 | 272146 | 240732 | 64016 8 | 0 | 0 832.34/832.69 c 816s | 17 | 273026 | 241532 | 64016 8 | 0 | 0 834.44/834.71 c 818s | 17 | 273887 | 242332 | 64016 8 | 0 | 0 836.44/836.77 c 820s | 17 | 274556 | 242932 | 64016 8 | 0 | 0 838.84/839.16 c 822s | 17 | 275318 | 243632 | 64016 8 | 0 | 0 841.04/841.36 c 825s | 17 | 276190 | 244432 | 64016 8 | 0 | 0 843.14/843.42 c 827s | 17 | 277038 | 245132 | 64016 8 | 0 | 0 845.34/845.69 c 829s | 17 | 277693 | 245732 | 64016 8 | 0 | 0 847.64/847.91 c 831s | 17 | 278437 | 246432 | 64016 8 | 0 | 0 849.94/850.21 c 833s | 17 | 279215 | 247132 | 64016 8 | 0 | 0 852.04/852.37 c 836s | 17 | 280110 | 247932 | 64016 8 | 0 | 0 854.24/854.57 c 838s | 17 | 280792 | 248532 | 64016 8 | 0 | 0 856.44/856.79 c 840s | 17 | 281550 | 249232 | 64016 8 | 0 | 0 858.74/859.02 c 842s | 17 | 282244 | 249832 | 64016 8 | 0 | 0 860.83/861.11 c 844s | 17 | 283047 | 250532 | 64016 8 | 0 | 0 863.13/863.46 c 847s | 17 | 283602 | 251032 | 64016 8 | 0 | 0 865.33/865.68 c 849s | 17 | 284247 | 251632 | 64016 8 | 0 | 0 867.43/867.74 c 851s | 17 | 285043 | 252332 | 64016 8 | 0 | 0 869.43/869.77 c 853s | 17 | 285680 | 252932 | 64016 8 | 0 | 0 871.73/872.05 c 855s | 17 | 286310 | 253532 | 64016 8 | 0 | 0 874.13/874.47 c 858s | 17 | 286819 | 254032 | 64016 8 | 0 | 0 876.53/876.84 c 860s | 17 | 287229 | 254432 | 64016 8 | 0 | 0 878.53/878.88 c 862s | 17 | 287638 | 254832 | 64016 8 | 0 | 0 880.73/881.00 c 864s | 17 | 288064 | 255232 | 64016 8 | 0 | 0 882.83/883.12 c 866s | 17 | 288654 | 255732 | 64016 8 | 0 | 0 885.03/885.33 c 869s | 17 | 289298 | 256332 | 64016 8 | 0 | 0 887.03/887.36 c 871s | 17 | 289968 | 256932 | 64016 8 | 0 | 0 889.23/889.56 c 873s | 17 | 290600 | 257532 | 64016 8 | 0 | 0 891.53/891.82 c 875s | 17 | 291127 | 258032 | 64016 8 | 0 | 0 893.73/894.04 c 877s | 17 | 291641 | 258532 | 64016 8 | 0 | 0 896.03/896.39 c 880s | 17 | 292258 | 259132 | 64016 8 | 0 | 0 898.33/898.67 c 882s | 17 | 292911 | 259732 | 64016 8 | 0 | 0 900.53/900.87 c 884s | 17 | 293431 | 260232 | 64016 8 | 0 | 0 902.92/903.26 c 886s | 17 | 294181 | 260932 | 64016 8 | 0 | 0 905.23/905.58 c 889s | 17 | 294706 | 261432 | 64016 8 | 0 | 0 907.32/907.68 c 891s | 17 | 295382 | 262032 | 64016 8 | 0 | 0 909.73/910.03 c 893s | 17 | 296110 | 262732 | 64016 8 | 0 | 0 911.93/912.24 c 895s | 17 | 296771 | 263332 | 64016 8 | 0 | 0 914.13/914.44 c 898s | 17 | 297401 | 263932 | 64016 8 | 0 | 0 916.12/916.47 c 900s | 17 | 297947 | 264432 | 64016 8 | 0 | 0 918.32/918.65 c 902s | 17 | 298256 | 264732 | 64016 8 | 0 | 0 920.52/920.86 c 904s | 17 | 298784 | 265232 | 64016 8 | 0 | 0 922.62/922.94 c 906s | 17 | 299195 | 265632 | 64016 8 | 0 | 0 926.91/927.27 c 910s | 17 | 299997 | 266332 | 64016 9 | 0 | 0 930.62/930.91 c 914s | 17 | 300207 | 266532 | 64016 9 | 0 | 0 932.72/933.03 c 916s | 17 | 300940 | 267232 | 64016 9 | 0 | 0 934.92/935.25 c 918s | 17 | 301811 | 268032 | 64016 9 | 0 | 0 937.01/937.39 c 921s | 17 | 302747 | 268932 | 64016 9 | 0 | 0 939.11/939.50 c 923s | 17 | 303585 | 269732 | 64016 9 | 0 | 0 941.21/941.60 c 925s | 17 | 304363 | 270432 | 64016 9 | 0 | 0 943.61/943.93 c 927s | 17 | 305026 | 271032 | 64016 9 | 0 | 0 945.61/945.99 c 929s | 17 | 305699 | 271632 | 64016 9 | 0 | 0 947.81/948.12 c 931s | 17 | 306339 | 272232 | 64016 9 | 0 | 0 949.91/950.24 c 933s | 17 | 307187 | 273032 | 64016 9 | 0 | 0 952.01/952.32 c 935s | 17 | 308024 | 273832 | 70418 9 | 0 | 0 954.11/954.49 c 938s | 17 | 308876 | 274632 | 70418 9 | 0 | 0 956.51/956.85 c 940s | 17 | 309314 | 275032 | 70418 9 | 0 | 0 961.32/961.65 c 945s | 17 | 309531 | 275232 | 70418 9 | 0 | 0 963.52/963.88 c 947s | 17 | 310087 | 275732 | 70418 9 | 0 | 0 965.91/966.23 c 949s | 17 | 310719 | 276332 | 70418 9 | 0 | 0 968.31/968.60 c 952s | 17 | 311270 | 276832 | 70418 9 | 0 | 0 970.70/971.03 c 954s | 17 | 311807 | 277332 | 70418 9 | 0 | 0 973.10/973.46 c 957s | 17 | 312453 | 277932 | 70418 9 | 0 | 0 975.30/975.60 c 959s | 17 | 313016 | 278432 | 70418 9 | 0 | 0 977.30/977.64 c 961s | 17 | 313686 | 279032 | 70418 9 | 0 | 0 979.50/979.88 c 963s | 17 | 314309 | 279632 | 70418 9 | 0 | 0 981.80/982.17 c 965s | 17 | 315121 | 280332 | 70418 9 | 0 | 0 984.10/984.40 c 968s | 17 | 315902 | 281032 | 70418 9 | 0 | 0 986.40/986.76 c 970s | 17 | 316419 | 281532 | 70418 9 | 0 | 0 988.70/989.06 c 972s | 17 | 317076 | 282132 | 70418 9 | 0 | 0 991.00/991.32 c 974s | 17 | 317691 | 282732 | 70418 9 | 0 | 0 993.10/993.44 c 977s | 17 | 318308 | 283232 | 70418 9 | 0 | 0 995.30/995.69 c 979s | 17 | 318839 | 283732 | 70418 9 | 0 | 0 997.60/997.99 c 981s | 17 | 319505 | 284332 | 70418 9 | 0 | 0 1000.09/1000.41 c 984s | 17 | 320137 | 284932 | 70418 9 | 0 | 0 1002.19/1002.52 c 986s | 17 | 320691 | 285432 | 70418 9 | 0 | 0 1004.20/1004.55 c 988s | 17 | 321219 | 285932 | 70418 9 | 0 | 0 1006.19/1006.59 c 990s | 17 | 321719 | 286432 | 70418 9 | 0 | 0 1008.60/1008.91 c 992s | 17 | 322261 | 286932 | 70418 9 | 0 | 0 1010.80/1011.18 c 994s | 17 | 322785 | 287432 | 70418 9 | 0 | 0 1013.29/1013.66 c 997s | 17 | 323340 | 287932 | 70418 9 | 0 | 0 1015.69/1016.08 c 999s | 17 | 323880 | 288432 | 70418 9 | 0 | 0 1017.79/1018.15 c 1001s | 17 | 324427 | 288932 | 70418 9 | 0 | 0 1019.99/1020.32 c 1003s | 17 | 324947 | 289432 | 70418 9 | 0 | 0 1022.49/1022.84 c 1006s | 17 | 325465 | 289932 | 70418 9 | 0 | 0 1024.79/1025.10 c 1008s | 17 | 325991 | 290432 | 70418 9 | 0 | 0 1026.89/1027.28 c 1010s | 17 | 326549 | 290932 | 70418 9 | 0 | 0 1029.28/1029.70 c 1013s | 17 | 327068 | 291432 | 70418 9 | 0 | 0 1031.69/1032.05 c 1015s | 17 | 327594 | 291932 | 70418 9 | 0 | 0 1034.08/1034.43 c 1018s | 17 | 328251 | 292532 | 70418 9 | 0 | 0 1036.28/1036.63 c 1020s | 17 | 328782 | 293032 | 70418 9 | 0 | 0 1038.78/1039.12 c 1022s | 17 | 329339 | 293532 | 70418 9 | 0 | 0 1041.18/1041.52 c 1025s | 17 | 329877 | 294032 | 70418 9 | 0 | 0 1043.18/1043.59 c 1027s | 17 | 330391 | 294532 | 70418 9 | 0 | 0 1045.58/1045.90 c 1029s | 17 | 330841 | 294932 | 70418 9 | 0 | 0 1047.78/1048.15 c 1031s | 17 | 331291 | 295332 | 70418 9 | 0 | 0 1050.38/1050.73 c 1034s | 17 | 331703 | 295732 | 70418 9 | 0 | 0 1052.38/1052.76 c 1036s | 17 | 332171 | 296132 | 70418 9 | 0 | 0 1052.88/1053.27 c 1036s | 18 | 332297 | 296252 | 70418 9 | 0 | 0 1054.97/1055.30 c 1038s | 18 | 332696 | 296552 | 70418 9 | 0 | 0 1057.08/1057.44 c 1041s | 18 | 333154 | 296952 | 70418 9 | 0 | 0 1103.18/1103.59 c 1087s | 18 | 333503 | 297252 | 70418 9 | 0 | 0 1105.48/1105.89 c 1089s | 18 | 334299 | 297752 | 70418 9 | 0 | 0 1107.97/1108.31 c 1091s | 18 | 334902 | 298252 | 70418 9 | 0 | 0 1110.06/1110.44 c 1094s | 18 | 335406 | 298652 | 70418 9 | 0 | 0 1112.46/1112.80 c 1096s | 18 | 335819 | 299052 | 70418 9 | 0 | 0 1114.96/1115.32 c 1098s | 18 | 336259 | 299452 | 70418 9 | 0 | 0 1117.36/1117.77 c 1101s | 18 | 336829 | 299952 | 70418 9 | 0 | 0 1119.67/1120.06 c 1103s | 18 | 337156 | 300252 | 70418 9 | 0 | 0 1121.87/1122.28 c 1105s | 18 | 337505 | 300552 | 70418 9 | 0 | 0 1124.17/1124.57 c 1108s | 18 | 337863 | 300852 | 70418 9 | 0 | 0 1126.27/1126.63 c 1110s | 18 | 338226 | 301152 | 70418 9 | 0 | 0 1128.36/1128.74 c 1112s | 18 | 338676 | 301552 | 70418 9 | 0 | 0 1130.36/1130.78 c 1114s | 18 | 339164 | 301952 | 70418 9 | 0 | 0 1132.76/1133.16 c 1116s | 18 | 339604 | 302352 | 70418 9 | 0 | 0 1134.96/1135.35 c 1119s | 18 | 340038 | 302752 | 70418 9 | 0 | 0 1137.16/1137.60 c 1121s | 18 | 340462 | 303152 | 70418 9 | 0 | 0 1139.46/1139.89 c 1123s | 18 | 341010 | 303652 | 70418 9 | 0 | 0 1141.96/1142.36 c 1126s | 18 | 341562 | 304152 | 70418 9 | 0 | 0 1156.06/1156.44 c 1140s | 18 | 342106 | 304652 | 70418 10 | 0 | 0 1160.05/1160.47 c 1144s | 18 | 342426 | 304952 | 70418 10 | 0 | 0 1162.15/1162.54 c 1146s | 18 | 342984 | 305452 | 70418 10 | 0 | 0 1164.45/1164.82 c 1148s | 18 | 343744 | 306152 | 70418 10 | 0 | 0 1166.45/1166.83 c 1150s | 18 | 344365 | 306752 | 70418 10 | 0 | 0 1168.55/1168.91 c 1152s | 18 | 344794 | 307152 | 70418 10 | 0 | 0 1170.75/1171.14 c 1154s | 18 | 345543 | 307852 | 70418 10 | 0 | 0 1172.85/1173.27 c 1156s | 18 | 346375 | 308652 | 70418 10 | 0 | 0 1175.15/1175.54 c 1159s | 18 | 347008 | 309252 | 70418 10 | 0 | 0 1177.15/1177.55 c 1161s | 18 | 347775 | 309952 | 70418 10 | 0 | 0 1179.54/1179.91 c 1163s | 18 | 348568 | 310652 | 70418 10 | 0 | 0 1183.64/1184.04 c 1167s | 18 | 349375 | 311352 | 70418 10 | 0 | 0 1185.75/1186.13 c 1169s | 18 | 350946 | 312252 | 70418 10 | 0 | 0 1187.85/1188.27 c 1171s | 18 | 351503 | 312752 | 70418 10 | 0 | 0 1190.05/1190.45 c 1174s | 18 | 352148 | 313352 | 70418 10 | 0 | 0 1192.25/1192.62 c 1176s | 18 | 353150 | 314152 | 70418 10 | 0 | 0 1194.34/1194.71 c 1178s | 18 | 354864 | 315352 | 70418 10 | 0 | 0 1196.44/1196.83 c 1180s | 18 | 355424 | 315852 | 70418 10 | 0 | 0 1198.64/1199.08 c 1182s | 18 | 356624 | 316652 | 70418 10 | 0 | 0 1200.84/1201.22 c 1184s | 18 | 357163 | 317052 | 70418 10 | 0 | 0 1202.94/1203.33 c 1186s | 18 | 357775 | 317452 | 70418 10 | 0 | 0 1205.34/1205.76 c 1189s | 18 | 358464 | 317952 | 70418 10 | 0 | 0 1207.44/1207.85 c 1191s | 18 | 359163 | 318452 | 70418 10 | 0 | 0 1209.64/1210.05 c 1193s | 18 | 359928 | 319052 | 70418 10 | 0 | 0 1211.84/1212.23 c 1195s | 18 | 361181 | 320052 | 70418 10 | 0 | 0 1213.94/1214.32 c 1197s | 18 | 362544 | 321252 | 70418 10 | 0 | 0 1216.14/1216.51 c 1200s | 18 | 363859 | 322352 | 70418 10 | 0 | 0 1218.13/1218.58 c 1202s | 18 | 364647 | 323052 | 70418 10 | 0 | 0 1220.13/1220.58 c 1204s | 18 | 365526 | 323752 | 70418 10 | 0 | 0 1222.13/1222.59 c 1206s | 18 | 366748 | 324652 | 70418 10 | 0 | 0 1224.63/1225.02 c 1208s | 18 | 367309 | 325152 | 70418 10 | 0 | 0 1226.73/1227.16 c 1210s | 18 | 368584 | 326152 | 70418 10 | 0 | 0 1228.93/1229.30 c 1212s | 18 | 369496 | 326752 | 70418 10 | 0 | 0 1231.03/1231.46 c 1215s | 18 | 369933 | 327152 | 70418 10 | 0 | 0 1233.63/1234.01 c 1217s | 18 | 370351 | 327552 | 70418 10 | 0 | 0 1235.83/1236.29 c 1219s | 18 | 370820 | 327952 | 70418 10 | 0 | 0 1238.23/1238.67 c 1222s | 18 | 371343 | 328352 | 70418 10 | 0 | 0 1240.83/1241.21 c 1224s | 18 | 371827 | 328752 | 70418 10 | 0 | 0 1242.94/1243.39 c 1227s | 18 | 372149 | 329052 | 70418 10 | 0 | 0 1245.53/1245.98 c 1229s | 18 | 372702 | 329552 | 70418 10 | 0 | 0 1248.03/1248.49 c 1232s | 18 | 373279 | 330052 | 70418 10 | 0 | 0 1250.43/1250.84 c 1234s | 18 | 374166 | 330752 | 70418 10 | 0 | 0 1252.53/1252.90 c 1236s | 18 | 374641 | 331152 | 70418 10 | 0 | 0 1254.53/1254.99 c 1238s | 18 | 374967 | 331452 | 70418 10 | 0 | 0 1256.83/1257.28 c 1240s | 18 | 375431 | 331852 | 70418 10 | 0 | 0 1258.93/1259.30 c 1242s | 18 | 375839 | 332252 | 70418 10 | 0 | 0 1261.13/1261.55 c 1245s | 18 | 376582 | 332852 | 70418 10 | 0 | 0 1263.73/1264.12 c 1247s | 18 | 377359 | 333352 | 70418 10 | 0 | 0 1265.93/1266.31 c 1249s | 18 | 377831 | 333752 | 70418 10 | 0 | 0 1267.93/1268.38 c 1252s | 18 | 378287 | 334152 | 70418 10 | 0 | 0 1270.23/1270.64 c 1254s | 18 | 378799 | 334552 | 70418 10 | 0 | 0 1272.33/1272.72 c 1256s | 18 | 379277 | 334952 | 70418 10 | 0 | 0 1274.73/1275.12 c 1258s | 18 | 379730 | 335352 | 70418 10 | 0 | 0 1277.33/1277.73 c 1261s | 18 | 380297 | 335852 | 70418 10 | 0 | 0 1279.73/1280.13 c 1263s | 18 | 380729 | 336252 | 70418 10 | 0 | 0 1282.03/1282.47 c 1266s | 18 | 381257 | 336652 | 70418 10 | 0 | 0 1284.42/1284.81 c 1268s | 18 | 381724 | 337052 | 70418 10 | 0 | 0 1286.42/1286.89 c 1270s | 18 | 382149 | 337452 | 70418 10 | 0 | 0 1288.52/1288.93 c 1272s | 18 | 382551 | 337852 | 70418 10 | 0 | 0 1291.12/1291.60 c 1275s | 18 | 383212 | 338452 | 70418 10 | 0 | 0 1293.62/1294.00 c 1277s | 18 | 383822 | 338852 | 70418 10 | 0 | 0 1296.03/1296.40 c 1280s | 18 | 384377 | 339352 | 70418 10 | 0 | 0 1298.23/1298.67 c 1282s | 18 | 384908 | 339852 | 70418 10 | 0 | 0 1300.83/1301.24 c 1284s | 18 | 385384 | 340252 | 70418 11 | 0 | 0 1305.23/1305.64 c 1289s | 18 | 385484 | 340352 | 70418 11 | 0 | 0 1307.53/1307.95 c 1291s | 18 | 386110 | 340952 | 70418 11 | 0 | 0 1309.72/1310.17 c 1293s | 18 | 386877 | 341652 | 70418 11 | 0 | 0 1323.03/1323.42 c 1307s | 18 | 387181 | 341852 | 70418 11 | 0 | 0 1325.03/1325.48 c 1309s | 18 | 389266 | 343152 | 70418 11 | 0 | 0 1327.13/1327.56 c 1311s | 18 | 391750 | 344952 | 70418 11 | 0 | 0 1329.23/1329.60 c 1313s | 18 | 392592 | 345552 | 70418 11 | 0 | 0 1331.23/1331.66 c 1315s | 18 | 394603 | 346752 | 70418 11 | 0 | 0 1333.33/1333.70 c 1317s | 18 | 396949 | 348652 | 70418 11 | 0 | 0 1335.33/1335.76 c 1319s | 18 | 399169 | 350352 | 70418 11 | 0 | 0 1337.43/1337.87 c 1321s | 18 | 399893 | 351052 | 70418 11 | 0 | 0 1339.52/1339.98 c 1323s | 18 | 401154 | 352052 | 70418 11 | 0 | 0 1341.62/1342.01 c 1325s | 18 | 403342 | 353752 | 70418 11 | 0 | 0 1343.92/1344.32 c 1327s | 18 | 405506 | 355152 | 70418 11 | 0 | 0 1346.23/1346.62 c 1330s | 18 | 406248 | 355752 | 70418 11 | 0 | 0 1348.32/1348.74 c 1332s | 18 | 407384 | 356652 | 70418 11 | 0 | 0 1350.52/1350.97 c 1334s | 18 | 408526 | 357352 | 70418 11 | 0 | 0 1352.83/1353.25 c 1336s | 18 | 409337 | 357952 | 70418 11 | 0 | 0 1354.92/1355.32 c 1338s | 18 | 410950 | 358952 | 70418 11 | 0 | 0 1357.12/1357.53 c 1341s | 18 | 412144 | 359752 | 70418 11 | 0 | 0 1359.32/1359.77 c 1343s | 18 | 412968 | 360352 | 70418 11 | 0 | 0 1361.52/1361.92 c 1345s | 18 | 413563 | 360852 | 70418 11 | 0 | 0 1363.72/1364.10 c 1347s | 18 | 414118 | 361352 | 70418 11 | 0 | 0 1365.82/1366.28 c 1349s | 18 | 414883 | 361952 | 70418 11 | 0 | 0 1367.92/1368.32 c 1351s | 18 | 415925 | 362752 | 70418 11 | 0 | 0 1370.02/1370.44 c 1354s | 18 | 417990 | 364252 | 70418 11 | 0 | 0 1372.22/1372.62 c 1356s | 18 | 420072 | 365952 | 70418 11 | 0 | 0 1374.22/1374.69 c 1358s | 18 | 421915 | 367552 | 70418 11 | 0 | 0 1376.52/1376.93 c 1360s | 18 | 423407 | 368852 | 70418 11 | 0 | 0 1378.72/1379.15 c 1362s | 18 | 424843 | 370052 | 70418 11 | 0 | 0 1380.82/1381.27 c 1364s | 18 | 426574 | 371452 | 70418 11 | 0 | 0 1382.92/1383.31 c 1366s | 18 | 427672 | 372152 | 70418 11 | 0 | 0 1384.92/1385.32 c 1368s | 18 | 429455 | 373452 | 70418 11 | 0 | 0 1387.12/1387.50 c 1371s | 18 | 431646 | 374952 | 70418 11 | 0 | 0 1395.11/1395.56 c 1379s | 18 | 432070 | 375252 | 70418 12 | 0 | 0 1397.22/1397.60 c 1381s | 18 | 432630 | 375652 | 70418 12 | 0 | 0 1399.22/1399.61 c 1383s | 18 | 434634 | 377252 | 70418 12 | 0 | 0 1401.22/1401.68 c 1385s | 18 | 436594 | 378852 | 70418 12 | 0 | 0 1403.32/1403.76 c 1387s | 18 | 438236 | 380152 | 70418 12 | 0 | 0 1405.32/1405.77 c 1389s | 18 | 439866 | 381352 | 70418 12 | 0 | 0 1407.42/1407.80 c 1391s | 18 | 441138 | 382452 | 70418 12 | 0 | 0 1409.51/1409.96 c 1393s | 18 | 442020 | 383152 | 70418 12 | 0 | 0 1411.61/1412.08 c 1395s | 18 | 444236 | 384752 | 70418 12 | 0 | 0 1413.61/1414.08 c 1397s | 18 | 446087 | 386152 | 70418 12 | 0 | 0 1415.62/1416.08 c 1399s | 18 | 448580 | 388052 | 70418 12 | 0 | 0 1417.72/1418.16 c 1401s | 18 | 450787 | 389852 | 70418 12 | 0 | 0 1420.11/1420.53 c 1404s | 18 | 452231 | 390952 | 70418 12 | 0 | 0 1422.61/1423.02 c 1406s | 18 | 452693 | 391352 | 70418 12 | 0 | 0 1424.81/1425.25 c 1408s | 18 | 453149 | 391752 | 70418 12 | 0 | 0 1427.11/1427.53 c 1411s | 18 | 453916 | 392252 | 70418 12 | 0 | 0 1429.31/1429.76 c 1413s | 18 | 455129 | 392852 | 70418 12 | 0 | 0 1431.31/1431.78 c 1415s | 18 | 456115 | 393352 | 70418 12 | 0 | 0 1433.41/1433.85 c 1417s | 18 | 457199 | 393852 | 70418 12 | 0 | 0 1436.11/1436.51 c 1420s | 18 | 457722 | 394252 | 70418 12 | 0 | 0 1438.31/1438.77 c 1422s | 18 | 458185 | 394652 | 70418 12 | 0 | 0 1440.71/1441.13 c 1424s | 18 | 458680 | 395052 | 70418 12 | 0 | 0 1443.51/1443.93 c 1427s | 18 | 459037 | 395352 | 70418 12 | 0 | 0 1445.91/1446.34 c 1430s | 18 | 459343 | 395652 | 70418 12 | 0 | 0 1448.51/1448.99 c 1432s | 18 | 459762 | 396052 | 70418 12 | 0 | 0 1451.21/1451.68 c 1435s | 18 | 460208 | 396452 | 70418 12 | 0 | 0 1453.41/1453.87 c 1437s | 18 | 460530 | 396752 | 70418 12 | 0 | 0 1455.71/1456.19 c 1439s | 18 | 461046 | 397152 | 70418 12 | 0 | 0 1458.11/1458.57 c 1442s | 18 | 461383 | 397452 | 70418 12 | 0 | 0 1460.71/1461.16 c 1444s | 18 | 462033 | 397952 | 70418 12 | 0 | 0 1463.10/1463.54 c 1447s | 18 | 462341 | 398252 | 70418 12 | 0 | 0 1465.40/1465.87 c 1449s | 18 | 462639 | 398552 | 70418 12 | 0 | 0 1467.80/1468.20 c 1451s | 18 | 462939 | 398852 | 70418 12 | 0 | 0 1470.00/1470.41 c 1454s | 18 | 463251 | 399152 | 70418 12 | 0 | 0 1472.10/1472.55 c 1456s | 18 | 463575 | 399452 | 70418 12 | 0 | 0 1474.50/1474.98 c 1458s | 18 | 463992 | 399852 | 70418 12 | 0 | 0 1476.80/1477.23 c 1460s | 18 | 464410 | 400252 | 70418 12 | 0 | 0 1478.90/1479.31 c 1462s | 18 | 464720 | 400552 | 70418 12 | 0 | 0 1481.20/1481.69 c 1465s | 18 | 465387 | 401052 | 70418 12 | 0 | 0 1483.30/1483.74 c 1467s | 18 | 466033 | 401552 | 70418 12 | 0 | 0 1485.30/1485.74 c 1469s | 18 | 466526 | 401952 | 70418 12 | 0 | 0 1487.70/1488.16 c 1471s | 18 | 467063 | 402352 | 70418 12 | 0 | 0 1489.90/1490.30 c 1473s | 18 | 467477 | 402752 | 70418 12 | 0 | 0 1492.10/1492.57 c 1476s | 18 | 467909 | 403152 | 70418 12 | 0 | 0 1494.30/1494.72 c 1478s | 18 | 468333 | 403552 | 70418 12 | 0 | 0 1496.30/1496.73 c 1480s | 18 | 468661 | 403852 | 70418 12 | 0 | 0 1498.30/1498.74 c 1482s | 18 | 468961 | 404152 | 70418 12 | 0 | 0 1500.90/1501.31 c 1484s | 18 | 469399 | 404552 | 70418 12 | 0 | 0 1503.10/1503.50 c 1487s | 18 | 469849 | 404952 | 70418 12 | 0 | 0 1505.30/1505.72 c 1489s | 18 | 470505 | 405552 | 70418 12 | 0 | 0 1507.50/1507.94 c 1491s | 18 | 471057 | 406052 | 70418 12 | 0 | 0 1509.70/1510.15 c 1493s | 18 | 471742 | 406652 | 70418 12 | 0 | 0 1511.90/1512.31 c 1495s | 18 | 472296 | 407152 | 70418 12 | 0 | 0 1514.10/1514.53 c 1498s | 18 | 472859 | 407652 | 70418 12 | 0 | 0 1516.10/1516.53 c 1500s | 18 | 473347 | 408052 | 70418 12 | 0 | 0 1518.20/1518.67 c 1502s | 18 | 473929 | 408552 | 70418 12 | 0 | 0 1520.60/1521.06 c 1504s | 18 | 474464 | 409052 | 70418 12 | 0 | 0 1522.80/1523.23 c 1506s | 18 | 474996 | 409552 | 70418 12 | 0 | 0 1524.90/1525.32 c 1508s | 18 | 475540 | 410052 | 70418 12 | 0 | 0 1542.10/1542.51 c 1526s | 18 | 476126 | 410552 | 70418 13 | 0 | 0 1544.20/1544.68 c 1528s | 18 | 476441 | 410852 | 70418 13 | 0 | 0 1546.19/1546.69 c 1530s | 18 | 477304 | 411652 | 70418 13 | 0 | 0 1548.29/1548.70 c 1532s | 18 | 477900 | 412152 | 70418 13 | 0 | 0 1550.29/1550.79 c 1534s | 18 | 478737 | 412952 | 70418 13 | 0 | 0 1575.89/1576.36 c 1560s | 18 | 479831 | 413852 | 70418 13 | 0 | 0 1577.99/1578.41 c 1562s | 18 | 481991 | 415152 | 70418 13 | 0 | 0 1580.39/1580.88 c 1564s | 18 | 483497 | 415952 | 70418 13 | 0 | 0 1582.59/1583.03 c 1566s | 18 | 485143 | 417052 | 70418 13 | 0 | 0 1584.59/1585.07 c 1568s | 18 | 485894 | 417652 | 70418 13 | 0 | 0 1586.58/1587.08 c 1570s | 18 | 488078 | 419152 | 70418 13 | 0 | 0 1588.68/1589.12 c 1572s | 18 | 491720 | 421952 | 77460 13 | 0 | 0 1590.68/1591.16 c 1574s | 18 | 494704 | 424252 | 77460 13 | 0 | 0 1592.98/1593.44 c 1577s | 18 | 497692 | 426052 | 77460 13 | 0 | 0 1594.98/1595.46 c 1579s | 18 | 498470 | 426452 | 77460 13 | 0 | 0 1597.09/1597.55 c 1581s | 18 | 498994 | 426952 | 77460 13 | 0 | 0 1599.08/1599.59 c 1583s | 18 | 500154 | 427652 | 77460 13 | 0 | 0 1601.28/1601.71 c 1585s | 18 | 502465 | 429452 | 77460 13 | 0 | 0 1603.28/1603.78 c 1587s | 18 | 504429 | 431252 | 77460 13 | 0 | 0 1605.58/1606.03 c 1589s | 18 | 505284 | 431952 | 77460 13 | 0 | 0 1607.68/1608.12 c 1591s | 18 | 506202 | 432552 | 77460 13 | 0 | 0 1609.88/1610.34 c 1594s | 18 | 506980 | 433252 | 77460 13 | 0 | 0 1612.08/1612.59 c 1596s | 18 | 507753 | 433952 | 77460 13 | 0 | 0 1614.28/1614.72 c 1598s | 18 | 508487 | 434652 | 77460 13 | 0 | 0 1616.28/1616.74 c 1600s | 18 | 509159 | 435252 | 77460 13 | 0 | 0 1618.48/1618.99 c 1602s | 18 | 509822 | 435852 | 77460 13 | 0 | 0 1620.68/1621.15 c 1604s | 18 | 510886 | 436852 | 77460 13 | 0 | 0 1622.68/1623.18 c 1606s | 18 | 512330 | 438152 | 77460 13 | 0 | 0 1624.78/1625.22 c 1608s | 18 | 514357 | 439852 | 77460 13 | 0 | 0 1626.78/1627.23 c 1610s | 18 | 516544 | 441852 | 77460 13 | 0 | 0 1628.78/1629.27 c 1612s | 18 | 518549 | 443752 | 77460 13 | 0 | 0 1629.48/1629.92 c 1613s | 19 | 519308 | 444482 | 77460 13 | 0 | 0 1631.78/1632.24 c 1615s | 19 | 520215 | 445182 | 77460 13 | 0 | 0 1634.28/1634.70 c 1618s | 19 | 520776 | 445682 | 77460 13 | 0 | 0 1637.08/1637.54 c 1621s | 19 | 521196 | 446082 | 77460 13 | 0 | 0 1639.37/1639.80 c 1623s | 19 | 521559 | 446382 | 77460 13 | 0 | 0 1641.77/1642.29 c 1625s | 19 | 522000 | 446782 | 77460 13 | 0 | 0 1643.97/1644.46 c 1628s | 19 | 522305 | 447082 | 77460 13 | 0 | 0 1646.67/1647.12 c 1630s | 19 | 522847 | 447482 | 77460 13 | 0 | 0 1649.07/1649.56 c 1633s | 19 | 523279 | 447882 | 77460 13 | 0 | 0 1651.07/1651.57 c 1635s | 19 | 524010 | 448482 | 77460 13 | 0 | 0 1653.67/1654.14 c 1637s | 19 | 524656 | 448982 | 77460 13 | 0 | 0 1655.77/1656.29 c 1639s | 19 | 525192 | 449482 | 77460 13 | 0 | 0 1657.87/1658.38 c 1642s | 19 | 525605 | 449882 | 77460 13 | 0 | 0 1660.27/1660.78 c 1644s | 19 | 526224 | 450382 | 77460 13 | 0 | 0 1662.37/1662.86 c 1646s | 19 | 526870 | 450882 | 77460 13 | 0 | 0 1664.57/1665.02 c 1648s | 19 | 527282 | 451282 | 77460 13 | 0 | 0 1666.57/1667.08 c 1650s | 19 | 527687 | 451682 | 77460 13 | 0 | 0 1668.87/1669.37 c 1653s | 19 | 528102 | 452082 | 77460 13 | 0 | 0 1671.17/1671.67 c 1655s | 19 | 528628 | 452582 | 77460 13 | 0 | 0 1675.17/1675.64 c 1659s | 19 | 529038 | 452982 | 77460 14 | 0 | 0 1677.57/1678.02 c 1661s | 19 | 529600 | 453482 | 77460 14 | 0 | 0 1679.58/1680.09 c 1663s | 19 | 530336 | 454182 | 77460 14 | 0 | 0 1681.68/1682.18 c 1665s | 19 | 531187 | 454982 | 77460 14 | 0 | 0 1683.88/1684.31 c 1667s | 19 | 532016 | 455782 | 77460 14 | 0 | 0 1685.87/1686.33 c 1670s | 19 | 532753 | 456482 | 77460 14 | 0 | 0 1696.87/1697.34 c 1681s | 19 | 533065 | 456782 | 77460 14 | 0 | 0 1699.17/1699.66 c 1683s | 19 | 533690 | 457382 | 77460 14 | 0 | 0 1701.58/1702.02 c 1685s | 19 | 534213 | 457882 | 77460 14 | 0 | 0 1703.57/1704.03 c 1687s | 19 | 534962 | 458582 | 77460 14 | 0 | 0 1705.67/1706.15 c 1689s | 19 | 535788 | 459382 | 77460 14 | 0 | 0 1707.97/1708.40 c 1692s | 19 | 536594 | 460182 | 77460 14 | 0 | 0 1710.07/1710.58 c 1694s | 19 | 537471 | 460982 | 77460 14 | 0 | 0 1712.17/1712.61 c 1696s | 19 | 538096 | 461582 | 77460 14 | 0 | 0 1754.15/1754.67 c 1738s | 19 | 538532 | 461982 | 77460 14 | 0 | 0 1756.25/1756.78 c 1740s | 19 | 539127 | 462482 | 77460 14 | 0 | 0 1758.45/1758.98 c 1742s | 19 | 539568 | 462882 | 77460 14 | 0 | 0 1760.65/1761.10 c 1744s | 19 | 540093 | 463382 | 77460 14 | 0 | 0 1762.65/1763.12 c 1746s | 19 | 540627 | 463882 | 77460 14 | 0 | 0 1764.85/1765.32 c 1748s | 19 | 541360 | 464482 | 77460 14 | 0 | 0 1767.15/1767.63 c 1751s | 19 | 541983 | 465082 | 77460 14 | 0 | 0 1769.15/1769.64 c 1753s | 19 | 542513 | 465582 | 77460 14 | 0 | 0 1771.35/1771.87 c 1755s | 19 | 543123 | 466182 | 77460 14 | 0 | 0 1773.65/1774.12 c 1757s | 19 | 543658 | 466682 | 77460 14 | 0 | 0 1775.75/1776.22 c 1759s | 19 | 544198 | 467182 | 77460 14 | 0 | 0 1777.75/1778.25 c 1761s | 19 | 544617 | 467582 | 77460 14 | 0 | 0 1780.05/1780.59 c 1764s | 19 | 545130 | 468082 | 77460 14 | 0 | 0 1782.35/1782.80 c 1766s | 19 | 545666 | 468582 | 77460 14 | 0 | 0 1784.65/1785.15 c 1768s | 19 | 546395 | 469182 | 77460 14 | 0 | 0 1787.05/1787.56 c 1771s | 19 | 547010 | 469782 | 77460 14 | 0 | 0 1789.25/1789.78 c 1773s | 19 | 547438 | 470182 | 77460 14 | 0 | 0 1791.35/1791.85 c 1775s | 19 | 547910 | 470582 | 77460 14 | 0 | 0 1793.55/1794.09 c 1777s | 19 | 548358 | 470982 | 77460 14 | 0 | 0 1795.76/1796.25 c 1779s | 19 | 548768 | 471382 | 77460 14 | 0 | 0 1798.16/1798.60 c 1782s | 19 | 549299 | 471882 | 77460 14 | 0 | 0
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-4117321-1467209132/watcher-4117321-1467209132 -o /tmp/evaluation-result-4117321-1467209132/solver-4117321-1467209132 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467209132-3987 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117321-1467209132.opb pid=4008 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: 3.56 2.62 2.48 4/179 4016 /proc/meminfo: memFree=18643296/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=24328 CPUtime=0 cores=0,2,4,6 /proc/4016/stat : 4016 (runsolver) D 4008 4016 3971 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 1879218 24911872 151 33554432000 4194304 4338465 140736033289440 140736033287080 272886484151 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0 /proc/4016/statm: 6082 151 105 36 0 2655 0 [startup+0.100061 s] /proc/loadavg: 3.56 2.62 2.48 4/179 4016 /proc/meminfo: memFree=18643296/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1220164 CPUtime=0.04 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 18057 0 0 0 2 2 0 0 20 0 4 0 1879218 1249447936 18390 33554432000 4194304 16246674 140734493230800 140734493230224 4220577 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 1 0 0 /proc/4016/statm: 305041 18405 592 2943 0 301935 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1220164 [startup+0.200298 s] /proc/loadavg: 3.56 2.62 2.48 4/179 4016 /proc/meminfo: memFree=18643296/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1302084 CPUtime=0.14 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 47605 0 0 0 8 6 0 0 20 0 4 0 1879218 1333334016 47903 33554432000 4194304 16246674 140734493230800 140734493213792 7364033 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 1 0 0 /proc/4016/statm: 325521 47920 801 2943 0 322415 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 1302084 [startup+0.300246 s] /proc/loadavg: 3.56 2.62 2.48 4/179 4016 /proc/meminfo: memFree=18643296/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1313348 CPUtime=0.24 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 50534 0 0 0 17 7 0 0 20 0 4 0 1879218 1344868352 51343 33554432000 4194304 16246674 140734493230800 140734493213792 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 1 0 0 /proc/4016/statm: 328337 51343 806 2943 0 325231 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 1313348 [startup+0.700167 s] /proc/loadavg: 3.56 2.62 2.48 4/179 4016 /proc/meminfo: memFree=18643296/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1313348 CPUtime=0.64 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 102149 0 0 0 51 13 0 0 20 0 4 0 1879218 1344868352 102958 33554432000 4194304 16246674 140734493230800 140734493212672 5913108 0 0 0 34082818 18446744073709551615 0 0 17 6 0 0 1 0 0 /proc/4016/statm: 328337 102958 843 2943 0 325231 0 Current children cumulated CPU time (s) 0.64 Current children cumulated vsize (KiB) 1313348 [startup+1.5003 s] /proc/loadavg: 3.56 2.62 2.48 4/187 4024 /proc/meminfo: memFree=17379840/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1313348 CPUtime=1.43 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 206049 0 0 0 113 30 0 0 20 0 4 0 1879218 1344868352 206858 33554432000 4194304 16246674 140734493230800 140734493213800 5516309 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 1 0 0 /proc/4016/statm: 328337 206863 889 2943 0 325231 0 [pid=4016/tid=4019] ppid=4008 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4019/stat : 4019 (toysat) S 4008 4016 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1879222 1344868352 206865 33554432000 4194304 16246674 140734493230800 140581855538416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4016/tid=4020] ppid=4008 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4020/stat : 4020 (toysat) S 4008 4016 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1879222 1344868352 206869 33554432000 4194304 16246674 140734493230800 140581845048560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4016/tid=4022] ppid=4008 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4022/stat : 4022 (toysat) S 4008 4016 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1879222 1344868352 206879 33554432000 4194304 16246674 140734493230800 140581728677040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 1313348 [startup+3.10036 s] /proc/loadavg: 3.59 2.64 2.49 4/187 4024 /proc/meminfo: memFree=16482180/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1313348 CPUtime=3.03 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 269016 0 0 0 263 40 0 0 20 0 4 0 1879218 1344868352 269825 33554432000 4194304 16246674 140734493230800 140734493212672 5754712 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 1 0 0 /proc/4016/statm: 328337 269825 895 2943 0 325231 0 [pid=4016/tid=4019] ppid=4008 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4019/stat : 4019 (toysat) S 4008 4016 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1879222 1344868352 269825 33554432000 4194304 16246674 140734493230800 140581855538416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4016/tid=4020] ppid=4008 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4020/stat : 4020 (toysat) S 4008 4016 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1879222 1344868352 269825 33554432000 4194304 16246674 140734493230800 140581845048560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4016/tid=4022] ppid=4008 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4022/stat : 4022 (toysat) S 4008 4016 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1879222 1344868352 269825 33554432000 4194304 16246674 140734493230800 140581728677040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 1313348 [startup+6.30043 s] /proc/loadavg: 3.59 2.64 2.49 4/187 4024 /proc/meminfo: memFree=16481232/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1313348 CPUtime=6.23 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 269029 0 0 0 583 40 0 0 20 0 4 0 1879218 1344868352 269838 33554432000 4194304 16246674 140734493230800 140734493212672 13950230 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 1 0 0 /proc/4016/statm: 328337 269838 905 2943 0 325231 0 [pid=4016/tid=4019] ppid=4008 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4019/stat : 4019 (toysat) S 4008 4016 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1879222 1344868352 269838 33554432000 4194304 16246674 140734493230800 140581855538416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4016/tid=4020] ppid=4008 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4020/stat : 4020 (toysat) S 4008 4016 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1879222 1344868352 269838 33554432000 4194304 16246674 140734493230800 140581845048560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4016/tid=4022] ppid=4008 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4022/stat : 4022 (toysat) S 4008 4016 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1879222 1344868352 269838 33554432000 4194304 16246674 140734493230800 140581728677040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 1313348 [startup+12.7004 s] /proc/loadavg: 3.81 2.72 2.52 5/188 4025 /proc/meminfo: memFree=16480576/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1313348 CPUtime=12.63 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 269037 0 0 0 1223 40 0 0 20 0 4 0 1879218 1344868352 269846 33554432000 4194304 16246674 140734493230800 140734493212672 5754961 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 1 0 0 /proc/4016/statm: 328337 269846 913 2943 0 325231 0 [pid=4016/tid=4019] ppid=4008 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4019/stat : 4019 (toysat) S 4008 4016 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1879222 1344868352 269846 33554432000 4194304 16246674 140734493230800 140581855538416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4016/tid=4020] ppid=4008 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4020/stat : 4020 (toysat) S 4008 4016 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1879222 1344868352 269846 33554432000 4194304 16246674 140734493230800 140581845048560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4016/tid=4022] ppid=4008 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4022/stat : 4022 (toysat) S 4008 4016 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1879222 1344868352 269846 33554432000 4194304 16246674 140734493230800 140581728677040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.63 Current children cumulated vsize (KiB) 1313348 [startup+25.5003 s] /proc/loadavg: 3.99 2.79 2.54 4/187 4025 /proc/meminfo: memFree=16482424/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1313348 CPUtime=25.44 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 269039 0 0 0 2503 41 0 0 20 0 4 0 1879218 1344868352 269848 33554432000 4194304 16246674 140734493230800 140734493212672 5822604 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 1 0 0 /proc/4016/statm: 328337 269848 915 2943 0 325231 0 [pid=4016/tid=4019] ppid=4008 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4019/stat : 4019 (toysat) S 4008 4016 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1879222 1344868352 269848 33554432000 4194304 16246674 140734493230800 140581855538416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4016/tid=4020] ppid=4008 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4020/stat : 4020 (toysat) S 4008 4016 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1879222 1344868352 269848 33554432000 4194304 16246674 140734493230800 140581845048560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4016/tid=4022] ppid=4008 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4022/stat : 4022 (toysat) S 4008 4016 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1879222 1344868352 269848 33554432000 4194304 16246674 140734493230800 140581728677040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 1313348 [startup+51.1004 s] /proc/loadavg: 4.06 2.90 2.59 4/187 4025 /proc/meminfo: memFree=16475212/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1313348 CPUtime=51.02 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 269039 0 0 0 5061 41 0 0 20 0 4 0 1879218 1344868352 269848 33554432000 4194304 16246674 140734493230800 140734493212672 5672160 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 1 0 0 /proc/4016/statm: 328337 269848 915 2943 0 325231 0 [pid=4016/tid=4019] ppid=4008 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4019/stat : 4019 (toysat) S 4008 4016 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1879222 1344868352 269848 33554432000 4194304 16246674 140734493230800 140581855538416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4016/tid=4020] ppid=4008 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4020/stat : 4020 (toysat) S 4008 4016 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1879222 1344868352 269848 33554432000 4194304 16246674 140734493230800 140581845048560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4016/tid=4022] ppid=4008 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4022/stat : 4022 (toysat) S 4008 4016 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1879222 1344868352 269848 33554432000 4194304 16246674 140734493230800 140581728677040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (KiB) 1313348 [startup+102.3 s] /proc/loadavg: 4.68 3.23 2.71 4/188 4026 /proc/meminfo: memFree=16441740/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1349188 CPUtime=102.18 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 277829 0 0 0 10173 45 0 0 20 0 4 0 1879218 1381568512 278638 33554432000 4194304 16246674 140734493230800 140734493229976 5824279 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 1 0 0 /proc/4016/statm: 337297 278638 920 2943 0 334191 0 [pid=4016/tid=4019] ppid=4008 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4019/stat : 4019 (toysat) S 4008 4016 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1879222 1381568512 278638 33554432000 4194304 16246674 140734493230800 140581855538416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4016/tid=4020] ppid=4008 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4020/stat : 4020 (toysat) S 4008 4016 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1879222 1381568512 278638 33554432000 4194304 16246674 140734493230800 140581845048560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4016/tid=4022] ppid=4008 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4022/stat : 4022 (toysat) S 4008 4016 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1879222 1381568512 278638 33554432000 4194304 16246674 140734493230800 140581728677040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 1349188 [startup+162.3 s] /proc/loadavg: 4.71 3.54 2.85 4/187 4026 /proc/meminfo: memFree=16397864/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1349188 CPUtime=162.17 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 278008 0 0 0 16171 46 0 0 20 0 4 0 1879218 1381568512 278817 33554432000 4194304 16246674 140734493230800 140734493212672 5822818 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0 /proc/4016/statm: 337297 278817 921 2943 0 334191 0 [pid=4016/tid=4019] ppid=4008 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4019/stat : 4019 (toysat) S 4008 4016 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1879222 1381568512 278817 33554432000 4194304 16246674 140734493230800 140581855538416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4016/tid=4020] ppid=4008 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4020/stat : 4020 (toysat) S 4008 4016 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1879222 1381568512 278817 33554432000 4194304 16246674 140734493230800 140581845048560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4016/tid=4022] ppid=4008 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4022/stat : 4022 (toysat) S 4008 4016 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1879222 1381568512 278817 33554432000 4194304 16246674 140734493230800 140581728677040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 1349188 [startup+222.3 s] /proc/loadavg: 4.43 3.66 2.93 4/188 4030 /proc/meminfo: memFree=16414628/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1349188 CPUtime=222.17 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 278008 0 0 0 22170 47 0 0 20 0 4 0 1879218 1381568512 278817 33554432000 4194304 16246674 140734493230800 140734493212672 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0 /proc/4016/statm: 337297 278817 921 2943 0 334191 0 [pid=4016/tid=4019] ppid=4008 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4019/stat : 4019 (toysat) S 4008 4016 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1879222 1381568512 278817 33554432000 4194304 16246674 140734493230800 140581855538416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4016/tid=4020] ppid=4008 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4020/stat : 4020 (toysat) S 4008 4016 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1879222 1381568512 278817 33554432000 4194304 16246674 140734493230800 140581845048560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4016/tid=4022] ppid=4008 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4022/stat : 4022 (toysat) S 4008 4016 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1879222 1381568512 278817 33554432000 4194304 16246674 140734493230800 140581728677040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 1349188 ################ # More data... # ################ /proc/4016/task/4022/stat : 4022 (toysat) S 4008 4016 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1879222 1382617088 279329 33554432000 4194304 16246674 140734493230800 140581728677040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1350212 [startup+1362.3 s] /proc/loadavg: 2.20 2.34 2.66 4/183 4052 /proc/meminfo: memFree=22337172/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1350212 CPUtime=1361.92 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 278448 0 0 0 136119 73 0 0 20 0 4 0 1879218 1382617088 279329 33554432000 4194304 16246674 140734493230800 140734493212672 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0 /proc/4016/statm: 337553 279329 921 2943 0 334447 0 [pid=4016/tid=4019] ppid=4008 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4019/stat : 4019 (toysat) S 4008 4016 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1879222 1382617088 279329 33554432000 4194304 16246674 140734493230800 140581855538416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4016/tid=4020] ppid=4008 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4020/stat : 4020 (toysat) S 4008 4016 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1879222 1382617088 279329 33554432000 4194304 16246674 140734493230800 140581845048560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4016/tid=4022] ppid=4008 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4022/stat : 4022 (toysat) S 4008 4016 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1879222 1382617088 279329 33554432000 4194304 16246674 140734493230800 140581728677040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1350212 [startup+1422.3 s] /proc/loadavg: 2.28 2.33 2.63 4/184 4057 /proc/meminfo: memFree=22336924/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1350212 CPUtime=1421.91 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 278448 0 0 0 142117 74 0 0 20 0 4 0 1879218 1382617088 279329 33554432000 4194304 16246674 140734493230800 140734493212672 5823512 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0 /proc/4016/statm: 337553 279329 921 2943 0 334447 0 [pid=4016/tid=4019] ppid=4008 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4019/stat : 4019 (toysat) S 4008 4016 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1879222 1382617088 279329 33554432000 4194304 16246674 140734493230800 140581855538416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4016/tid=4020] ppid=4008 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4020/stat : 4020 (toysat) S 4008 4016 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1879222 1382617088 279329 33554432000 4194304 16246674 140734493230800 140581845048560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4016/tid=4022] ppid=4008 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4022/stat : 4022 (toysat) S 4008 4016 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1879222 1382617088 279329 33554432000 4194304 16246674 140734493230800 140581728677040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1350212 [startup+1482.3 s] /proc/loadavg: 2.41 2.36 2.63 4/183 4058 /proc/meminfo: memFree=22336800/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1350212 CPUtime=1481.9 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 278448 0 0 0 148116 74 0 0 20 0 4 0 1879218 1382617088 279329 33554432000 4194304 16246674 140734493230800 140734493212672 5673807 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0 /proc/4016/statm: 337553 279329 921 2943 0 334447 0 [pid=4016/tid=4019] ppid=4008 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4019/stat : 4019 (toysat) S 4008 4016 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1879222 1382617088 279329 33554432000 4194304 16246674 140734493230800 140581855538416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4016/tid=4020] ppid=4008 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4020/stat : 4020 (toysat) S 4008 4016 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1879222 1382617088 279329 33554432000 4194304 16246674 140734493230800 140581845048560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4016/tid=4022] ppid=4008 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4022/stat : 4022 (toysat) S 4008 4016 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1879222 1382617088 279329 33554432000 4194304 16246674 140734493230800 140581728677040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1350212 [startup+1542.3 s] /proc/loadavg: 2.22 2.32 2.59 4/183 4059 /proc/meminfo: memFree=22317864/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1369668 CPUtime=1541.89 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 283289 0 0 0 154112 77 0 0 20 0 4 0 1879218 1402540032 284170 33554432000 4194304 16246674 140734493230800 140734493229976 5672936 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0 /proc/4016/statm: 342417 284170 921 2943 0 339311 0 [pid=4016/tid=4019] ppid=4008 vsize=1369668 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4019/stat : 4019 (toysat) S 4008 4016 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1879222 1402540032 284170 33554432000 4194304 16246674 140734493230800 140581855538416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4016/tid=4020] ppid=4008 vsize=1369668 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4020/stat : 4020 (toysat) S 4008 4016 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1879222 1402540032 284170 33554432000 4194304 16246674 140734493230800 140581845048560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4016/tid=4022] ppid=4008 vsize=1369668 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4022/stat : 4022 (toysat) S 4008 4016 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1879222 1402540032 284170 33554432000 4194304 16246674 140734493230800 140581728677040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1369668 [startup+1602.3 s] /proc/loadavg: 2.27 2.30 2.57 4/183 4060 /proc/meminfo: memFree=22317768/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1369668 CPUtime=1601.88 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 283289 0 0 0 160109 79 0 0 20 0 4 0 1879218 1402540032 284170 33554432000 4194304 16246674 140734493230800 140734493212672 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0 /proc/4016/statm: 342417 284170 921 2943 0 339311 0 [pid=4016/tid=4019] ppid=4008 vsize=1369668 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4019/stat : 4019 (toysat) S 4008 4016 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1879222 1402540032 284170 33554432000 4194304 16246674 140734493230800 140581855538416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4016/tid=4020] ppid=4008 vsize=1369668 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4020/stat : 4020 (toysat) S 4008 4016 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1879222 1402540032 284170 33554432000 4194304 16246674 140734493230800 140581845048560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4016/tid=4022] ppid=4008 vsize=1369668 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4022/stat : 4022 (toysat) S 4008 4016 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1879222 1402540032 284170 33554432000 4194304 16246674 140734493230800 140581728677040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1369668 [startup+1662.3 s] /proc/loadavg: 2.27 2.30 2.55 4/183 4061 /proc/meminfo: memFree=22317792/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1369668 CPUtime=1661.88 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 283289 0 0 0 166109 79 0 0 20 0 4 0 1879218 1402540032 284170 33554432000 4194304 16246674 140734493230800 140734493212672 5513116 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0 /proc/4016/statm: 342417 284170 921 2943 0 339311 0 [pid=4016/tid=4019] ppid=4008 vsize=1369668 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4019/stat : 4019 (toysat) S 4008 4016 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1879222 1402540032 284170 33554432000 4194304 16246674 140734493230800 140581855538416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4016/tid=4020] ppid=4008 vsize=1369668 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4020/stat : 4020 (toysat) S 4008 4016 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1879222 1402540032 284170 33554432000 4194304 16246674 140734493230800 140581845048560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4016/tid=4022] ppid=4008 vsize=1369668 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4022/stat : 4022 (toysat) S 4008 4016 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1879222 1402540032 284170 33554432000 4194304 16246674 140734493230800 140581728677040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1369668 [startup+1722.3 s] /proc/loadavg: 2.24 2.29 2.53 4/182 4062 /proc/meminfo: memFree=22318500/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1369668 CPUtime=1721.86 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 283289 0 0 0 172105 81 0 0 20 0 4 0 1879218 1402540032 284170 33554432000 4194304 16246674 140734493230800 140734493229896 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0 /proc/4016/statm: 342417 284170 921 2943 0 339311 0 [pid=4016/tid=4019] ppid=4008 vsize=1369668 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4019/stat : 4019 (toysat) S 4008 4016 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1879222 1402540032 284170 33554432000 4194304 16246674 140734493230800 140581855538416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4016/tid=4020] ppid=4008 vsize=1369668 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4020/stat : 4020 (toysat) S 4008 4016 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1879222 1402540032 284170 33554432000 4194304 16246674 140734493230800 140581845048560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4016/tid=4022] ppid=4008 vsize=1369668 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4022/stat : 4022 (toysat) S 4008 4016 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1879222 1402540032 284170 33554432000 4194304 16246674 140734493230800 140581728677040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1369668 [startup+1782.31 s] /proc/loadavg: 2.15 2.26 2.50 4/183 4064 /proc/meminfo: memFree=22317924/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1369668 CPUtime=1781.86 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 283289 0 0 0 178101 85 0 0 20 0 4 0 1879218 1402540032 284170 33554432000 4194304 16246674 140734493230800 140734493212672 5523515 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0 /proc/4016/statm: 342417 284170 921 2943 0 339311 0 [pid=4016/tid=4019] ppid=4008 vsize=1369668 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4019/stat : 4019 (toysat) S 4008 4016 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1879222 1402540032 284170 33554432000 4194304 16246674 140734493230800 140581855538416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4016/tid=4020] ppid=4008 vsize=1369668 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4020/stat : 4020 (toysat) S 4008 4016 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1879222 1402540032 284170 33554432000 4194304 16246674 140734493230800 140581845048560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4016/tid=4022] ppid=4008 vsize=1369668 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4022/stat : 4022 (toysat) S 4008 4016 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1879222 1402540032 284170 33554432000 4194304 16246674 140734493230800 140581728677040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1369668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.19 2.26 2.50 5/183 4065 /proc/meminfo: memFree=22318260/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1369668 CPUtime=1800.06 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 283289 0 0 0 179920 86 0 0 20 0 4 0 1879218 1402540032 284170 33554432000 4194304 16246674 140734493230800 140734493212672 12415736 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0 /proc/4016/statm: 342417 284170 921 2943 0 339311 0 [pid=4016/tid=4019] ppid=4008 vsize=1369668 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4019/stat : 4019 (toysat) S 4008 4016 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1879222 1402540032 284170 33554432000 4194304 16246674 140734493230800 140581855538416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4016/tid=4020] ppid=4008 vsize=1369668 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4020/stat : 4020 (toysat) S 4008 4016 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1879222 1402540032 284170 33554432000 4194304 16246674 140734493230800 140581845048560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4016/tid=4022] ppid=4008 vsize=1369668 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4022/stat : 4022 (toysat) S 4008 4016 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1879222 1402540032 284170 33554432000 4194304 16246674 140734493230800 140581728677040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1369668 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 4016 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.19 2.26 2.50 5/183 4065 /proc/meminfo: memFree=22318260/32872528 swapFree=1253612/1390560 [pid=4016] ppid=4008 vsize=1369668 CPUtime=1800.06 cores=0,2,4,6 /proc/4016/stat : 4016 (toysat) R 4008 4016 3971 0 -1 4202496 283289 0 0 0 179920 86 0 0 20 0 4 0 1879218 1402540032 284170 33554432000 4194304 16246674 140734493230800 140734493212672 12415736 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 1 0 0 /proc/4016/statm: 342417 284170 921 2943 0 339311 0 [pid=4016/tid=4019] ppid=4008 vsize=1369668 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4019/stat : 4019 (toysat) S 4008 4016 3971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 1879222 1402540032 284170 33554432000 4194304 16246674 140734493230800 140581855538416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4016/tid=4020] ppid=4008 vsize=1369668 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4020/stat : 4020 (toysat) S 4008 4016 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 1879222 1402540032 284170 33554432000 4194304 16246674 140734493230800 140581845048560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4016/tid=4022] ppid=4008 vsize=1369668 CPUtime=0 cores=0,2,4,6 /proc/4016/task/4022/stat : 4022 (toysat) S 4008 4016 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 1879222 1402540032 284170 33554432000 4194304 16246674 140734493230800 140581728677040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1369668 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1799.2 CPU system time (s): 0.860869 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (KiB): 1369668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.2 system time used= 0.860869 maximum resident set size= 1136680 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 283289 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= 201 involuntary context switches= 3163 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.67229 second user time and 7.34388 second system time The end
Begin job on node119 at 2016-06-29 16:06:14 IDJOB=4117321 IDBENCH=111562 IDSOLVER=2542 FILE ID=node119/4117321-1467209132 RUNJOBID= node119-1467209132-3987 PBS_JOBID= 19997583 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-sep5.5.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117321-1467209132/watcher-4117321-1467209132 -o /tmp/evaluation-result-4117321-1467209132/solver-4117321-1467209132 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467209132-3987 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117321-1467209132.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1f79548c9b0f2377f8191fb622c99d00 RANDOM SEED=3879410 node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.88 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.444 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.444 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.444 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.444 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.444 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.444 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.444 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: 18644556 kB Buffers: 134900 kB Cached: 5972056 kB SwapCached: 0 kB Active: 9868640 kB Inactive: 2146844 kB Active(anon): 5911292 kB Inactive(anon): 0 kB Active(file): 3957348 kB Inactive(file): 2146844 kB Unevictable: 1390560 kB Mlocked: 1253612 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 33604 kB Writeback: 759552 kB AnonPages: 7299444 kB Mapped: 25220 kB Shmem: 204 kB Slab: 677140 kB SReclaimable: 72444 kB SUnreclaim: 604696 kB KernelStack: 1416 kB PageTables: 18992 kB NFS_Unstable: 174108 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 10110280 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 5894144 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= 71700 MiB End job on node119 at 2016-06-29 16:36:25