Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | OPT | 3 | 1656.12 | 1656.55 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=167-P1=131-P2=83-P3=109-B.opb |
| MD5SUM | 814b8e94cfd87905bb7ea3866973cde4 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.048991 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 72 |
| Total number of constraints | 7 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 192 |
| Sum of products size (including duplicates) | 384 |
| Number of different products | 192 |
| Sum of products size | 384 |
0.00/0.00 c 2016-06-18T18:34:50+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106211-1466267690.opb"] 0.00/0.01 c use --random-gen="3202658145 2898053217 36027883 2377833344 1789300782 1313856662 2469699682 415325551 4292054628 4179735135 1250275587 3109020061 117313173 3959915756 4283909856 783831853 2094483050 2276663115 808394786 1788467927 729926106 53933761 334742093 3361249332 1858448557 2455376901 1348094928 1200714771 421581980 2567213998 2157229499 1803703577 2139033782 1339591339 2510769716 4034298288 40679133 3765323817 4069374129 908254421 1126414001 2180215943 1775573851 4245305410 384180466 107069055 12028415 1056023771 662513297 999762596 473839500 797194430 3278775329 174252871 421671689 1066885117 3191093492 2354908628 24875002 3114916731 2798864246 2883745984 482560387 4203523992 3077423027 1747954046 849271826 64540603 1822270274 2926771393 1908644373 630674554 522297139 343080185 1269071460 3934566145 3050142973 4207119898 3718351127 2255955997 3753850973 1077420539 28108207 3893410770 2556123141 45934918 1313203323 4026550797 2729130327 1558822114 2907270740 931815779 3666950462 1080885836 2261735175 1806800869 427444248 3970851445 812052918 1057933872 1499528825 441149875 2112445538 130245845 2403563338 3632186986 1477370254 2416380238 3715290169 4106132991 3444203156 280515501 958214228 305097087 1204922606 1765931982 4048257335 3487622851 193938020 4033791525 1271645102 2216419824 1241129450 752166998 4048457067 1017667345 1695521500 4203064338 1623597502 1626824433 2087282458 190140109 3818607806 2832494713 3010257461 1503778088 2952206942 4017827103 3617867129 1134245366 2731817568 1525635027 3542393673 3064876890 1020469547 436199783 3149722736 1623469344 51289555 3809793845 1825949275 3738568066 1774499701 4079959701 2399010296 883827015 3660905393 2255382737 1678942649 386261394 154606462 3681378647 1502582209 2766889808 3806423647 1761327784 2934353495 526414676 1214313162 1857573299 1345396227 1831153335 3819406724 744638494 1781021327 154082874 3620449809 2210980127 963509299 144825408 3998193827 3331661325 2293300788 2212685346 792378369 1814314045 1286697868 3288713428 2844263166 3998085970 1287078825 337348576 2781222455 371979776 2354467954 495956016 464152098 1493822842 2051164617 932565248 2892369079 1715598807 126994520 1746764935 3582505580 3606162012 2361384110 3470524738 84822724 3099275874 183205973 2339382243 1888072200 2871662106 3136257980 2185572854 470459087 1708281173 2244356706 3192317998 272618085 1642566487 279010944 3363679745 3025491432 1603347381 3775819014 4285667023 3886177705 3473801425 1872183038 1349807792 3274944866 3896354775 2841984845 4107076935 47136641 3695602632 1713019630 4145775530 1796164034 2243700045 1061224867 170412517 2653556853 2593696542 1850838023 3645603476 4255344786 3841311734 3174821466 2513902452 47133514 1896446552 4080819695 2504587989 255 362436" option to reproduce the execution 0.00/0.01 c #vars 72 0.00/0.01 c #constraints 7 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 283 0 | 0 | 0 0.00/0.04 c 0.0s | 1 | 113 | 100 | 283 0 | 0 | 0 0.00/0.07 c 0.1s | 2 | 294 | 250 | 312 0 | 0 | 0 0.09/0.17 c 0.2s | 3 | 553 | 475 | 344 1 | 0 | 0 0.19/0.23 c 0.2s | 3 | 914 | 777 | 379 1 | 0 | 0 0.19/0.23 c #cpu_time = 0.219s 0.19/0.23 c #wall_clock_time = 0.219s 0.19/0.23 c #decision = 914 0.19/0.23 c #random_decision = 6 0.19/0.23 c #conflict = 777 0.19/0.23 c #restart = 3 0.19/0.23 o 251 0.19/0.23 c BCD2: updating upper bound: 255 -> 250 0.19/0.23 c BCD2: 0 <= obj <= 250 0.19/0.23 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=1 bias=1/2 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 379 0 | 0 | 0 0.19/0.24 c 0.0s | 0 | 6 | 0 | 379 1 | 0 | 0 0.19/0.24 c #cpu_time = 0.005s 0.19/0.24 c #wall_clock_time = 0.005s 0.19/0.24 c #decision = 6 0.19/0.24 c #random_decision = 0 0.19/0.24 c #conflict = 0 0.19/0.24 c #restart = 0 0.19/0.24 c BCD2: found a new core of size 7: cost of the new core is >=2 0.19/0.24 c lower bound updated to 2 0.19/0.24 c BCD2: 2 <= obj <= 250 0.19/0.24 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0 0.19/0.24 c BCD2: #sat=1 #unsat=2 bias=2/3 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 379 0 | 0 | 0 0.19/0.28 c 0.0s | 1 | 142 | 100 | 417 0 | 0 | 0 0.29/0.31 c 0.1s | 2 | 358 | 250 | 417 1 | 0 | 0 0.29/0.37 c 0.1s | 3 | 621 | 475 | 417 1 | 0 | 0 0.39/0.49 c 0.3s | 4 | 1053 | 813 | 459 2 | 0 | 0 0.59/0.62 c 0.4s | 5 | 1608 | 1320 | 505 4 | 0 | 0 0.89/0.90 c 0.7s | 6 | 2423 | 2081 | 505 6 | 0 | 0 1.19/1.21 c 1.0s | 7 | 3628 | 3223 | 556 9 | 0 | 0 1.69/1.71 c 1.5s | 8 | 5512 | 4936 | 612 14 | 0 | 0 2.09/2.16 c 1.9s | 9 | 8162 | 7506 | 674 20 | 0 | 0 3.09/3.13 c 2.9s | 10 | 12216 | 11361 | 742 28 | 0 | 0 4.19/4.29 c 4.1s | 11 | 18116 | 17144 | 817 40 | 0 | 0 6.29/6.30 c 6.1s | 11 | 27114 | 25744 | 899 57 | 0 | 0 6.29/6.31 c 6.1s | 12 | 27201 | 25819 | 899 57 | 0 | 0 8.29/8.32 c 8.1s | 12 | 38499 | 36719 | 899 77 | 0 | 0 8.69/8.75 c 8.5s | 13 | 40624 | 38832 | 989 81 | 0 | 0 10.68/10.75 c 10.5s | 13 | 49971 | 47732 | 989 96 | 0 | 0 12.68/12.76 c 12.5s | 13 | 59452 | 56832 | 989 111 | 0 | 0 12.98/13.09 c 12.8s | 14 | 61030 | 58352 | 1088 114 | 0 | 0 15.08/15.11 c 14.9s | 14 | 70425 | 67552 | 1088 128 | 0 | 0 17.08/17.13 c 16.9s | 14 | 79603 | 76552 | 1088 142 | 0 | 0 19.08/19.14 c 18.9s | 14 | 87703 | 84352 | 1088 154 | 0 | 0 19.89/19.94 c 19.7s | 15 | 91092 | 87632 | 1197 159 | 0 | 0 21.88/21.95 c 21.7s | 15 | 98578 | 94732 | 1197 170 | 0 | 0 23.88/23.95 c 23.7s | 15 | 106517 | 102332 | 1197 181 | 0 | 0 25.88/25.98 c 25.7s | 15 | 115588 | 111032 | 1197 193 | 0 | 0 27.98/28.00 c 27.8s | 15 | 123323 | 118532 | 1197 204 | 0 | 0 29.98/30.03 c 29.8s | 15 | 131721 | 126432 | 1197 215 | 0 | 0 31.48/31.59 c 31.4s | 16 | 137056 | 131552 | 1317 222 | 0 | 0 33.58/33.61 c 33.4s | 16 | 145915 | 140152 | 1317 234 | 0 | 0 35.58/35.64 c 35.4s | 16 | 154736 | 148852 | 1317 245 | 0 | 0 37.58/37.66 c 37.4s | 16 | 163402 | 157052 | 1317 256 | 0 | 0 39.59/39.67 c 39.4s | 16 | 172393 | 165952 | 1317 268 | 0 | 0 41.58/41.68 c 41.4s | 16 | 181310 | 174752 | 1317 280 | 0 | 0 43.68/43.70 c 43.5s | 16 | 190396 | 183752 | 1317 292 | 0 | 0 45.68/45.72 c 45.5s | 16 | 198666 | 191852 | 1317 303 | 0 | 0 47.08/47.14 c 46.9s | 17 | 204403 | 197432 | 1449 310 | 0 | 0 49.08/49.15 c 48.9s | 17 | 212909 | 205632 | 1449 320 | 0 | 0 51.08/51.16 c 50.9s | 17 | 221059 | 213432 | 1449 329 | 0 | 0 53.08/53.17 c 52.9s | 17 | 229781 | 221532 | 1449 339 | 0 | 0 55.09/55.19 c 54.9s | 17 | 239708 | 231132 | 1449 351 | 0 | 0 57.19/57.20 c 57.0s | 17 | 249311 | 240332 | 1449 362 | 0 | 0 59.18/59.21 c 59.0s | 17 | 257951 | 248332 | 1449 372 | 0 | 0 61.18/61.25 c 61.0s | 17 | 267575 | 257232 | 1449 382 | 0 | 0 63.18/63.25 c 63.0s | 17 | 276555 | 265732 | 1449 393 | 0 | 0 65.18/65.27 c 65.0s | 17 | 285840 | 274532 | 1449 404 | 0 | 0 67.18/67.28 c 67.0s | 17 | 294670 | 282732 | 1449 414 | 0 | 0 69.18/69.28 c 69.0s | 17 | 302573 | 290132 | 1449 423 | 0 | 0 70.58/70.68 c 70.4s | 18 | 309013 | 296252 | 1594 430 | 0 | 0 72.58/72.69 c 72.5s | 18 | 318302 | 305252 | 1594 440 | 0 | 0 74.67/74.70 c 74.5s | 18 | 328162 | 314852 | 1594 451 | 0 | 0 76.67/76.72 c 76.5s | 18 | 337159 | 323752 | 1594 461 | 0 | 0 78.67/78.73 c 78.5s | 18 | 345668 | 331952 | 1594 470 | 0 | 0 80.67/80.75 c 80.5s | 18 | 355269 | 341252 | 1594 481 | 0 | 0 82.67/82.77 c 82.5s | 18 | 364093 | 349952 | 1594 491 | 0 | 0 84.68/84.78 c 84.5s | 18 | 372869 | 358452 | 1594 500 | 0 | 0 86.67/86.78 c 86.5s | 18 | 382361 | 367852 | 1594 511 | 0 | 0 88.67/88.78 c 88.5s | 18 | 391674 | 377052 | 1594 521 | 0 | 0 90.67/90.79 c 90.6s | 18 | 399700 | 384852 | 1594 530 | 0 | 0 92.76/92.82 c 92.6s | 18 | 407251 | 391852 | 1594 538 | 0 | 0 94.76/94.82 c 94.6s | 18 | 414845 | 399152 | 1594 546 | 0 | 0 96.77/96.83 c 96.6s | 18 | 423996 | 408152 | 1594 556 | 0 | 0 98.76/98.85 c 98.6s | 18 | 433464 | 417452 | 1594 567 | 0 | 0 100.76/100.87 c 100s | 18 | 442206 | 425852 | 1594 576 | 0 | 0 102.76/102.89 c 102s | 18 | 450561 | 433952 | 1594 586 | 0 | 0 104.86/104.90 c 104s | 18 | 460254 | 443452 | 1754 596 | 0 | 0 105.06/105.12 c 104s | 19 | 461282 | 444482 | 1754 597 | 0 | 0 107.06/107.15 c 106s | 19 | 467482 | 450282 | 1754 603 | 0 | 0 109.06/109.16 c 108s | 19 | 473922 | 456582 | 1754 610 | 0 | 0 111.07/111.17 c 110s | 19 | 480305 | 462782 | 1754 617 | 0 | 0 113.06/113.19 c 112s | 19 | 487220 | 469582 | 1754 624 | 0 | 0 115.16/115.21 c 114s | 19 | 494010 | 476282 | 1754 631 | 0 | 0 117.16/117.23 c 116s | 19 | 501049 | 483182 | 1754 638 | 0 | 0 119.16/119.25 c 119s | 19 | 507831 | 489582 | 1754 645 | 0 | 0 121.16/121.28 c 121s | 19 | 515030 | 496482 | 1754 653 | 0 | 0 123.17/123.30 c 123s | 19 | 522204 | 503182 | 1754 660 | 0 | 0 125.26/125.30 c 125s | 19 | 530082 | 510482 | 1754 667 | 0 | 0 127.26/127.31 c 127s | 19 | 537280 | 517382 | 1754 675 | 0 | 0 129.26/129.33 c 129s | 19 | 543918 | 523382 | 1754 681 | 0 | 0 131.26/131.36 c 131s | 19 | 551590 | 530382 | 1754 689 | 0 | 0 133.26/133.37 c 133s | 19 | 559448 | 537282 | 1754 696 | 0 | 0 135.26/135.39 c 135s | 19 | 567536 | 544282 | 1754 704 | 0 | 0 137.35/137.40 c 137s | 19 | 575418 | 551482 | 1754 711 | 0 | 0 139.35/139.43 c 139s | 19 | 583025 | 558882 | 1754 719 | 0 | 0 141.35/141.46 c 141s | 19 | 591251 | 566682 | 1754 728 | 0 | 0 143.35/143.48 c 143s | 19 | 599421 | 574382 | 1754 736 | 0 | 0 145.45/145.51 c 145s | 19 | 606909 | 581482 | 1754 744 | 0 | 0 147.46/147.54 c 147s | 19 | 613909 | 587882 | 1754 751 | 0 | 0 149.45/149.55 c 149s | 19 | 621707 | 595282 | 1754 758 | 0 | 0 151.45/151.57 c 151s | 19 | 628554 | 602082 | 1754 766 | 0 | 0 153.45/153.57 c 153s | 19 | 635423 | 608782 | 1754 773 | 0 | 0 155.55/155.60 c 155s | 19 | 642717 | 615482 | 1754 780 | 0 | 0 157.55/157.60 c 157s | 19 | 649550 | 621482 | 1754 787 | 0 | 0 159.55/159.63 c 159s | 19 | 656874 | 628282 | 1754 794 | 0 | 0 161.55/161.66 c 161s | 19 | 664077 | 634882 | 1754 801 | 0 | 0 163.54/163.67 c 163s | 19 | 671278 | 641582 | 1754 808 | 0 | 0 165.54/165.69 c 165s | 19 | 677937 | 647882 | 1754 815 | 0 | 0 167.54/167.69 c 167s | 19 | 685414 | 655182 | 1754 823 | 0 | 0 169.64/169.72 c 169s | 19 | 692546 | 661982 | 1930 830 | 0 | 0 171.04/171.10 c 170s | 20 | 697692 | 666827 | 1930 834 | 0 | 0 173.04/173.11 c 172s | 20 | 707608 | 676227 | 1930 844 | 0 | 0 175.04/175.11 c 174s | 20 | 717162 | 685327 | 1930 852 | 0 | 0 177.04/177.11 c 176s | 20 | 727037 | 694827 | 1930 862 | 0 | 0 179.04/179.13 c 178s | 20 | 737286 | 704527 | 1930 871 | 0 | 0 181.04/181.14 c 180s | 20 | 747506 | 714327 | 1930 881 | 0 | 0 183.03/183.15 c 182s | 20 | 757235 | 723827 | 1930 890 | 0 | 0 185.03/185.17 c 184s | 20 | 766596 | 733027 | 1930 898 | 0 | 0 187.04/187.19 c 186s | 20 | 775874 | 742127 | 1930 907 | 0 | 0 189.04/189.19 c 188s | 20 | 784084 | 750027 | 1930 915 | 0 | 0 191.14/191.21 c 190s | 20 | 792674 | 758027 | 1930 922 | 0 | 0 193.14/193.24 c 193s | 20 | 802111 | 766927 | 1930 931 | 0 | 0 195.14/195.25 c 195s | 20 | 812013 | 776327 | 1930 940 | 0 | 0 197.14/197.27 c 197s | 20 | 821798 | 785627 | 1930 949 | 0 | 0 199.14/199.29 c 199s | 20 | 831718 | 795327 | 1930 958 | 0 | 0 201.14/201.29 c 201s | 20 | 840625 | 804027 | 1930 966 | 0 | 0 203.23/203.31 c 203s | 20 | 849482 | 812727 | 1930 975 | 0 | 0 205.23/205.32 c 205s | 20 | 858808 | 821927 | 1930 984 | 0 | 0 207.23/207.34 c 207s | 20 | 867785 | 830627 | 1930 992 | 0 | 0 209.23/209.34 c 209s | 20 | 876607 | 839227 | 1930 1000 | 0 | 0 211.24/211.35 c 211s | 20 | 885161 | 847627 | 1930 1008 | 0 | 0 213.23/213.36 c 213s | 20 | 893274 | 855327 | 1930 1016 | 0 | 0 215.23/215.36 c 215s | 20 | 902894 | 864727 | 1930 1025 | 0 | 0 217.23/217.37 c 217s | 20 | 912141 | 873827 | 1930 1033 | 0 | 0 219.23/219.38 c 219s | 20 | 921865 | 883327 | 1930 1042 | 0 | 0 221.23/221.38 c 221s | 20 | 930494 | 891827 | 1930 1050 | 0 | 0 223.23/223.38 c 223s | 20 | 939719 | 900927 | 1930 1059 | 0 | 0 225.22/225.39 c 225s | 20 | 948641 | 909627 | 1930 1067 | 0 | 0 227.32/227.41 c 227s | 20 | 957321 | 918127 | 1930 1076 | 0 | 0 229.32/229.42 c 229s | 20 | 966114 | 926727 | 1930 1084 | 0 | 0 231.32/231.42 c 231s | 20 | 975620 | 936027 | 1930 1093 | 0 | 0 233.32/233.42 c 233s | 20 | 984550 | 944727 | 1930 1101 | 0 | 0 235.33/235.45 c 235s | 20 | 994614 | 954527 | 1930 1111 | 0 | 0 237.32/237.45 c 237s | 20 | 1004206 | 963927 | 1930 1120 | 0 | 0 239.32/239.47 c 239s | 20 | 1013243 | 972727 | 1930 1128 | 0 | 0 241.32/241.48 c 241s | 20 | 1022890 | 982127 | 1930 1137 | 0 | 0 243.32/243.49 c 243s | 20 | 1031197 | 990127 | 1930 1145 | 0 | 0 245.42/245.51 c 245s | 20 | 1040760 | 999527 | 2123 1153 | 0 | 0 245.62/245.70 c 245s | 21 | 1041580 | 1000345 | 2123 1154 | 0 | 0 247.62/247.72 c 247s | 21 | 1049502 | 1007745 | 2123 1160 | 0 | 0 249.62/249.77 c 249s | 21 | 1057501 | 1015345 | 2123 1167 | 0 | 0 251.62/251.78 c 251s | 21 | 1065715 | 1023145 | 2123 1173 | 0 | 0 253.61/253.78 c 253s | 21 | 1073461 | 1030345 | 2123 1179 | 0 | 0 255.61/255.79 c 255s | 21 | 1081500 | 1037945 | 2123 1186 | 0 | 0 257.71/257.81 c 257s | 21 | 1089180 | 1045145 | 2123 1192 | 0 | 0 259.71/259.82 c 259s | 21 | 1096725 | 1052245 | 2123 1198 | 0 | 0 261.72/261.84 c 261s | 21 | 1104925 | 1060145 | 2123 1205 | 0 | 0 263.71/263.86 c 263s | 21 | 1112512 | 1067045 | 2123 1211 | 0 | 0 265.71/265.86 c 265s | 21 | 1120649 | 1074345 | 2123 1218 | 0 | 0 267.71/267.88 c 267s | 21 | 1128291 | 1081545 | 2123 1224 | 0 | 0 269.71/269.89 c 269s | 21 | 1137084 | 1089945 | 2123 1231 | 0 | 0 271.81/271.92 c 271s | 21 | 1145245 | 1097645 | 2123 1238 | 0 | 0 273.81/273.94 c 273s | 21 | 1153801 | 1105945 | 2123 1245 | 0 | 0 275.80/275.95 c 275s | 21 | 1162106 | 1113745 | 2123 1252 | 0 | 0 277.80/277.96 c 277s | 21 | 1170104 | 1121445 | 2123 1258 | 0 | 0 279.80/279.97 c 279s | 21 | 1178394 | 1129445 | 2123 1265 | 0 | 0 281.80/281.97 c 281s | 21 | 1186983 | 1137245 | 2123 1272 | 0 | 0 283.80/283.99 c 283s | 21 | 1195411 | 1145145 | 2123 1279 | 0 | 0 285.90/286.01 c 285s | 21 | 1203763 | 1152845 | 2123 1285 | 0 | 0 287.90/288.02 c 287s | 21 | 1212279 | 1160945 | 2123 1292 | 0 | 0 289.89/290.02 c 289s | 21 | 1221423 | 1169545 | 2123 1300 | 0 | 0 291.89/292.04 c 291s | 21 | 1230523 | 1178045 | 2123 1307 | 0 | 0 293.90/294.05 c 293s | 21 | 1238602 | 1185745 | 2123 1314 | 0 | 0 295.91/296.06 c 295s | 21 | 1247178 | 1193845 | 2123 1321 | 0 | 0 297.90/298.07 c 297s | 21 | 1256207 | 1202445 | 2123 1329 | 0 | 0 299.90/300.07 c 299s | 21 | 1264454 | 1210445 | 2123 1336 | 0 | 0 301.90/302.09 c 301s | 21 | 1272345 | 1218245 | 2123 1342 | 0 | 0 303.99/304.10 c 303s | 21 | 1279905 | 1225745 | 2123 1349 | 0 | 0 305.99/306.12 c 305s | 21 | 1287926 | 1233645 | 2123 1356 | 0 | 0 308.00/308.14 c 307s | 21 | 1296971 | 1242345 | 2123 1364 | 0 | 0 309.99/310.15 c 309s | 21 | 1306610 | 1251545 | 2123 1372 | 0 | 0 311.99/312.16 c 311s | 21 | 1315922 | 1260445 | 2123 1379 | 0 | 0 313.99/314.18 c 313s | 21 | 1325150 | 1269145 | 2123 1387 | 0 | 0 316.08/316.21 c 315s | 21 | 1334138 | 1277645 | 2123 1394 | 0 | 0 318.08/318.23 c 317s | 21 | 1344044 | 1287145 | 2123 1403 | 0 | 0 320.09/320.23 c 319s | 21 | 1353385 | 1296045 | 2123 1411 | 0 | 0 322.08/322.25 c 322s | 21 | 1362376 | 1304445 | 2123 1418 | 0 | 0 324.08/324.25 c 324s | 21 | 1372015 | 1313545 | 2123 1426 | 0 | 0 326.08/326.27 c 326s | 21 | 1381521 | 1322645 | 2123 1434 | 0 | 0 328.08/328.27 c 328s | 21 | 1391124 | 1331945 | 2123 1442 | 0 | 0 330.08/330.27 c 330s | 21 | 1399980 | 1340345 | 2123 1449 | 0 | 0 332.09/332.29 c 332s | 21 | 1409106 | 1349245 | 2123 1457 | 0 | 0 334.18/334.30 c 334s | 21 | 1417996 | 1357845 | 2123 1465 | 0 | 0 336.18/336.31 c 336s | 21 | 1427245 | 1366745 | 2123 1473 | 0 | 0 338.18/338.33 c 338s | 21 | 1436341 | 1375245 | 2123 1480 | 0 | 0 340.18/340.33 c 340s | 21 | 1446278 | 1384745 | 2123 1488 | 0 | 0 342.17/342.34 c 342s | 21 | 1456242 | 1394245 | 2123 1497 | 0 | 0 344.18/344.34 c 344s | 21 | 1466022 | 1403545 | 2123 1505 | 0 | 0 346.17/346.34 c 346s | 21 | 1475703 | 1412645 | 2123 1513 | 0 | 0 348.17/348.35 c 348s | 21 | 1485215 | 1421545 | 2123 1521 | 0 | 0 350.17/350.35 c 350s | 21 | 1494449 | 1430345 | 2123 1528 | 0 | 0 352.17/352.36 c 352s | 21 | 1504341 | 1439745 | 2123 1537 | 0 | 0 354.18/354.37 c 354s | 21 | 1512801 | 1447845 | 2123 1544 | 0 | 0 356.17/356.39 c 356s | 21 | 1522922 | 1457245 | 2123 1552 | 0 | 0 358.17/358.40 c 358s | 21 | 1532276 | 1465945 | 2123 1560 | 0 | 0 360.27/360.41 c 360s | 21 | 1541544 | 1474745 | 2123 1567 | 0 | 0 362.27/362.41 c 362s | 21 | 1551445 | 1484045 | 2123 1576 | 0 | 0 364.27/364.42 c 364s | 21 | 1561192 | 1493245 | 2336 1583 | 0 | 0 366.07/366.25 c 366s | 22 | 1568903 | 1500622 | 2336 1589 | 0 | 0 368.07/368.25 c 368s | 22 | 1577548 | 1509122 | 2336 1596 | 0 | 0 370.06/370.28 c 370s | 22 | 1584409 | 1515822 | 2336 1601 | 0 | 0 372.06/372.28 c 372s | 22 | 1589647 | 1520922 | 2336 1605 | 0 | 0 374.06/374.29 c 374s | 22 | 1597232 | 1528222 | 2336 1611 | 0 | 0 376.17/376.31 c 376s | 22 | 1604819 | 1535522 | 2336 1617 | 0 | 0 378.16/378.34 c 378s | 22 | 1612594 | 1543022 | 2336 1623 | 0 | 0 380.16/380.36 c 380s | 22 | 1619583 | 1549922 | 2336 1628 | 0 | 0 382.15/382.37 c 382s | 22 | 1626409 | 1556522 | 2336 1634 | 0 | 0 384.15/384.38 c 384s | 22 | 1634111 | 1564122 | 2336 1640 | 0 | 0 386.15/386.38 c 386s | 22 | 1642492 | 1572322 | 2336 1646 | 0 | 0 388.16/388.40 c 388s | 22 | 1649820 | 1579522 | 2336 1652 | 0 | 0 390.25/390.41 c 390s | 22 | 1658542 | 1588022 | 2336 1659 | 0 | 0 392.25/392.42 c 392s | 22 | 1667450 | 1596822 | 2336 1666 | 0 | 0 394.25/394.44 c 394s | 22 | 1676056 | 1605322 | 2336 1672 | 0 | 0 396.25/396.46 c 396s | 22 | 1684389 | 1613522 | 2336 1679 | 0 | 0 398.25/398.47 c 398s | 22 | 1692594 | 1621622 | 2336 1685 | 0 | 0 400.26/400.48 c 400s | 22 | 1700909 | 1629822 | 2336 1692 | 0 | 0 402.24/402.48 c 402s | 22 | 1709139 | 1637922 | 2336 1698 | 0 | 0 404.24/404.49 c 404s | 22 | 1717541 | 1646122 | 2336 1705 | 0 | 0 406.24/406.49 c 406s | 22 | 1725078 | 1653222 | 2336 1711 | 0 | 0 408.24/408.49 c 408s | 22 | 1733380 | 1661222 | 2336 1717 | 0 | 0 410.34/410.51 c 410s | 22 | 1741946 | 1669522 | 2336 1723 | 0 | 0 412.35/412.52 c 412s | 22 | 1749434 | 1676822 | 2336 1729 | 0 | 0 414.34/414.53 c 414s | 22 | 1757503 | 1684722 | 2336 1736 | 0 | 0 416.34/416.55 c 416s | 22 | 1765878 | 1692922 | 2336 1742 | 0 | 0 418.34/418.57 c 418s | 22 | 1773901 | 1700722 | 2336 1748 | 0 | 0 420.34/420.59 c 420s | 22 | 1782016 | 1708622 | 2336 1754 | 0 | 0 422.43/422.61 c 422s | 22 | 1790329 | 1716722 | 2336 1761 | 0 | 0 424.44/424.63 c 424s | 22 | 1797072 | 1723222 | 2336 1766 | 0 | 0 426.43/426.64 c 426s | 22 | 1803935 | 1729922 | 2336 1772 | 0 | 0 428.43/428.64 c 428s | 22 | 1811555 | 1737322 | 2336 1777 | 0 | 0 430.44/430.67 c 430s | 22 | 1818791 | 1744222 | 2336 1783 | 0 | 0 432.44/432.67 c 432s | 22 | 1827299 | 1752222 | 2336 1789 | 0 | 0 434.45/434.70 c 434s | 22 | 1834467 | 1759022 | 2336 1795 | 0 | 0 436.44/436.70 c 436s | 22 | 1841986 | 1766422 | 2336 1801 | 0 | 0 438.54/438.72 c 438s | 22 | 1849740 | 1773922 | 2336 1807 | 0 | 0 440.54/440.73 c 440s | 22 | 1857391 | 1781022 | 2336 1812 | 0 | 0 442.54/442.75 c 442s | 22 | 1864323 | 1787622 | 2336 1818 | 0 | 0 444.54/444.77 c 444s | 22 | 1871267 | 1794222 | 2336 1823 | 0 | 0 446.54/446.77 c 446s | 22 | 1878433 | 1801022 | 2336 1829 | 0 | 0 448.64/448.81 c 448s | 22 | 1885299 | 1807722 | 2336 1834 | 0 | 0 450.64/450.82 c 450s | 22 | 1892518 | 1814722 | 2336 1840 | 0 | 0 452.63/452.84 c 452s | 22 | 1899739 | 1821622 | 2336 1845 | 0 | 0 454.63/454.86 c 454s | 22 | 1906552 | 1828222 | 2336 1850 | 0 | 0 456.63/456.86 c 456s | 22 | 1914435 | 1835922 | 2336 1857 | 0 | 0 458.64/458.88 c 458s | 22 | 1922173 | 1843522 | 2336 1863 | 0 | 0 460.63/460.90 c 460s | 22 | 1930211 | 1851422 | 2336 1869 | 0 | 0 462.73/462.91 c 462s | 22 | 1938441 | 1859122 | 2336 1875 | 0 | 0 464.73/464.91 c 464s | 22 | 1946357 | 1866522 | 2336 1881 | 0 | 0 466.73/466.92 c 466s | 22 | 1954511 | 1874422 | 2336 1887 | 0 | 0 468.73/468.93 c 468s | 22 | 1962184 | 1881622 | 2336 1893 | 0 | 0 470.73/470.94 c 470s | 22 | 1969608 | 1888822 | 2336 1899 | 0 | 0 472.72/472.96 c 472s | 22 | 1977250 | 1896222 | 2336 1905 | 0 | 0 474.72/474.97 c 474s | 22 | 1985067 | 1903822 | 2336 1911 | 0 | 0 476.72/476.98 c 476s | 22 | 1992737 | 1911222 | 2336 1917 | 0 | 0 478.82/479.00 c 478s | 22 | 2000083 | 1918122 | 2336 1923 | 0 | 0 480.82/481.01 c 480s | 22 | 2007042 | 1924722 | 2336 1928 | 0 | 0 482.82/483.02 c 482s | 22 | 2015202 | 1932622 | 2336 1934 | 0 | 0 484.81/485.03 c 484s | 22 | 2023136 | 1940222 | 2336 1940 | 0 | 0 486.81/487.03 c 486s | 22 | 2030949 | 1947722 | 2336 1946 | 0 | 0 488.81/489.04 c 488s | 22 | 2038838 | 1955322 | 2336 1952 | 0 | 0 490.81/491.05 c 490s | 22 | 2047566 | 1963622 | 2336 1959 | 0 | 0 492.81/493.07 c 492s | 22 | 2055404 | 1970922 | 2336 1965 | 0 | 0 494.82/495.07 c 494s | 22 | 2063384 | 1978522 | 2336 1971 | 0 | 0 496.81/497.08 c 496s | 22 | 2071318 | 1986022 | 2336 1977 | 0 | 0 498.81/499.10 c 498s | 22 | 2079544 | 1994022 | 2336 1983 | 0 | 0 500.91/501.10 c 500s | 22 | 2087454 | 2001622 | 2336 1989 | 0 | 0 502.90/503.12 c 502s | 22 | 2095568 | 2009322 | 2336 1995 | 0 | 0 504.90/505.12 c 504s | 22 | 2103627 | 2017022 | 2336 2002 | 0 | 0 506.91/507.14 c 506s | 22 | 2111574 | 2024622 | 2336 2008 | 0 | 0 508.90/509.14 c 508s | 22 | 2119768 | 2032322 | 2336 2014 | 0 | 0 510.90/511.16 c 510s | 22 | 2127636 | 2039822 | 2336 2020 | 0 | 0 512.90/513.18 c 512s | 22 | 2135580 | 2047422 | 2336 2026 | 0 | 0 514.90/515.19 c 514s | 22 | 2143434 | 2054922 | 2336 2032 | 0 | 0 517.00/517.21 c 516s | 22 | 2151214 | 2062422 | 2336 2038 | 0 | 0 519.01/519.22 c 518s | 22 | 2159258 | 2070222 | 2336 2044 | 0 | 0 521.00/521.23 c 520s | 22 | 2167357 | 2078022 | 2336 2050 | 0 | 0 522.99/523.23 c 522s | 22 | 2175089 | 2085422 | 2336 2056 | 0 | 0 525.00/525.25 c 525s | 22 | 2182789 | 2092822 | 2336 2062 | 0 | 0 527.00/527.27 c 527s | 22 | 2190595 | 2100122 | 2336 2068 | 0 | 0 529.01/529.28 c 529s | 22 | 2198403 | 2107422 | 2336 2074 | 0 | 0 531.00/531.29 c 531s | 22 | 2205983 | 2114622 | 2336 2080 | 0 | 0 533.00/533.29 c 533s | 22 | 2213886 | 2122222 | 2336 2086 | 0 | 0 535.10/535.30 c 535s | 22 | 2221672 | 2129722 | 2336 2092 | 0 | 0 537.10/537.33 c 537s | 22 | 2229845 | 2137522 | 2336 2098 | 0 | 0 539.10/539.35 c 539s | 22 | 2238114 | 2145422 | 2336 2104 | 0 | 0 541.11/541.35 c 541s | 22 | 2245618 | 2152622 | 2336 2110 | 0 | 0 543.09/543.37 c 543s | 22 | 2253369 | 2160122 | 2336 2116 | 0 | 0 545.09/545.38 c 545s | 22 | 2261371 | 2167822 | 2336 2122 | 0 | 0 547.09/547.39 c 547s | 22 | 2269657 | 2175822 | 2336 2129 | 0 | 0 549.19/549.40 c 549s | 22 | 2277508 | 2183322 | 2336 2135 | 0 | 0 551.19/551.42 c 551s | 22 | 2285460 | 2190722 | 2336 2140 | 0 | 0 553.20/553.43 c 553s | 22 | 2293277 | 2198222 | 2336 2146 | 0 | 0 555.19/555.44 c 555s | 22 | 2301475 | 2206122 | 2336 2153 | 0 | 0 557.19/557.46 c 557s | 22 | 2309477 | 2213822 | 2336 2159 | 0 | 0 559.19/559.46 c 559s | 22 | 2317536 | 2221422 | 2336 2165 | 0 | 0 561.19/561.48 c 561s | 22 | 2325286 | 2228822 | 2336 2171 | 0 | 0 563.18/563.48 c 563s | 22 | 2333026 | 2236222 | 2570 2176 | 0 | 0 565.19/565.49 c 565s | 22 | 2340831 | 2243722 | 2570 2182 | 0 | 0 567.18/567.44 c 567s | 23 | 2348424 | 2251038 | 2570 2187 | 0 | 0 569.18/569.45 c 569s | 23 | 2357223 | 2259438 | 2570 2193 | 0 | 0 571.18/571.45 c 571s | 23 | 2366079 | 2268238 | 2570 2200 | 0 | 0 573.17/573.47 c 573s | 23 | 2373805 | 2275738 | 2570 2205 | 0 | 0 575.18/575.48 c 575s | 23 | 2381534 | 2283238 | 2570 2211 | 0 | 0 577.17/577.49 c 577s | 23 | 2388722 | 2290138 | 2570 2216 | 0 | 0 579.27/579.50 c 579s | 23 | 2396256 | 2297438 | 2570 2221 | 0 | 0 581.27/581.50 c 581s | 23 | 2403620 | 2304438 | 2570 2226 | 0 | 0 583.27/583.52 c 583s | 23 | 2410567 | 2311238 | 2570 2231 | 0 | 0 585.27/585.54 c 585s | 23 | 2418973 | 2319438 | 2570 2237 | 0 | 0 587.28/587.55 c 587s | 23 | 2427643 | 2327938 | 2570 2243 | 0 | 0 589.27/589.55 c 589s | 23 | 2436148 | 2336238 | 2570 2249 | 0 | 0 591.27/591.57 c 591s | 23 | 2443833 | 2343738 | 2570 2255 | 0 | 0 593.36/593.60 c 593s | 23 | 2450709 | 2350438 | 2570 2260 | 0 | 0 595.36/595.62 c 595s | 23 | 2457780 | 2357238 | 2570 2265 | 0 | 0 597.36/597.64 c 597s | 23 | 2466325 | 2365438 | 2570 2271 | 0 | 0 599.37/599.64 c 599s | 23 | 2474851 | 2373738 | 2570 2277 | 0 | 0 601.36/601.64 c 601s | 23 | 2482805 | 2381338 | 2570 2282 | 0 | 0 603.36/603.66 c 603s | 23 | 2491501 | 2389838 | 2570 2289 | 0 | 0 605.36/605.67 c 605s | 23 | 2499500 | 2397738 | 2570 2294 | 0 | 0 607.36/607.69 c 607s | 23 | 2507671 | 2405738 | 2570 2300 | 0 | 0 609.36/609.69 c 609s | 23 | 2516508 | 2414438 | 2570 2307 | 0 | 0 611.37/611.69 c 611s | 23 | 2525250 | 2422738 | 2570 2313 | 0 | 0 613.46/613.71 c 613s | 23 | 2532866 | 2430038 | 2570 2318 | 0 | 0 615.45/615.72 c 615s | 23 | 2540490 | 2437338 | 2570 2324 | 0 | 0 617.45/617.73 c 617s | 23 | 2548137 | 2444738 | 2570 2329 | 0 | 0 619.45/619.75 c 619s | 23 | 2556426 | 2452738 | 2570 2335 | 0 | 0 621.45/621.77 c 621s | 23 | 2564580 | 2460538 | 2570 2341 | 0 | 0 623.46/623.78 c 623s | 23 | 2572870 | 2468538 | 2570 2347 | 0 | 0 625.45/625.78 c 625s | 23 | 2581479 | 2476838 | 2570 2353 | 0 | 0 627.45/627.79 c 627s | 23 | 2589186 | 2484338 | 2570 2358 | 0 | 0 629.55/629.82 c 629s | 23 | 2597799 | 2492638 | 2570 2364 | 0 | 0 631.55/631.84 c 631s | 23 | 2606516 | 2500738 | 2570 2370 | 0 | 0 633.54/633.87 c 633s | 23 | 2613201 | 2507038 | 2570 2375 | 0 | 0 635.55/635.88 c 635s | 23 | 2621825 | 2515238 | 2570 2381 | 0 | 0 637.54/637.89 c 637s | 23 | 2629796 | 2522538 | 2570 2386 | 0 | 0 639.54/639.89 c 639s | 23 | 2636860 | 2529338 | 2570 2391 | 0 | 0 641.64/641.91 c 641s | 23 | 2645209 | 2537138 | 2570 2397 | 0 | 0 643.64/643.92 c 643s | 23 | 2653153 | 2544538 | 2570 2403 | 0 | 0 645.64/645.94 c 645s | 23 | 2661034 | 2551938 | 2570 2408 | 0 | 0 647.64/647.95 c 647s | 23 | 2669031 | 2559538 | 2570 2414 | 0 | 0 649.64/649.97 c 649s | 23 | 2676476 | 2566738 | 2570 2419 | 0 | 0 651.64/651.97 c 651s | 23 | 2684668 | 2574738 | 2570 2425 | 0 | 0 653.63/653.98 c 653s | 23 | 2693384 | 2583238 | 2570 2431 | 0 | 0 655.73/656.01 c 655s | 23 | 2702373 | 2592038 | 2570 2437 | 0 | 0 657.73/658.01 c 657s | 23 | 2710769 | 2600338 | 2570 2443 | 0 | 0 659.74/660.02 c 659s | 23 | 2718371 | 2607538 | 2570 2449 | 0 | 0 661.73/662.03 c 661s | 23 | 2725799 | 2614638 | 2570 2454 | 0 | 0 663.73/664.03 c 663s | 23 | 2733470 | 2622038 | 2570 2459 | 0 | 0 665.72/666.04 c 665s | 23 | 2741678 | 2629838 | 2570 2465 | 0 | 0 667.72/668.05 c 667s | 23 | 2749291 | 2637038 | 2570 2470 | 0 | 0 669.73/670.05 c 669s | 23 | 2757230 | 2644638 | 2570 2476 | 0 | 0 671.72/672.07 c 671s | 23 | 2764737 | 2651838 | 2570 2481 | 0 | 0 673.72/674.07 c 673s | 23 | 2772673 | 2659438 | 2570 2487 | 0 | 0 675.72/676.07 c 675s | 23 | 2780512 | 2666938 | 2570 2492 | 0 | 0 677.72/678.08 c 677s | 23 | 2788723 | 2674638 | 2570 2498 | 0 | 0 679.72/680.08 c 679s | 23 | 2796894 | 2682438 | 2570 2504 | 0 | 0 681.72/682.09 c 681s | 23 | 2805723 | 2690638 | 2570 2510 | 0 | 0 683.71/684.09 c 683s | 23 | 2813418 | 2697838 | 2570 2515 | 0 | 0 685.81/686.11 c 685s | 23 | 2820204 | 2704238 | 2570 2520 | 0 | 0 687.81/688.14 c 687s | 23 | 2828316 | 2711938 | 2570 2525 | 0 | 0 689.81/690.14 c 689s | 23 | 2836313 | 2719638 | 2570 2531 | 0 | 0 691.81/692.17 c 691s | 23 | 2843622 | 2726538 | 2570 2536 | 0 | 0 693.81/694.19 c 693s | 23 | 2851423 | 2734038 | 2570 2542 | 0 | 0 695.81/696.19 c 695s | 23 | 2859794 | 2741938 | 2570 2547 | 0 | 0 697.91/698.21 c 697s | 23 | 2867371 | 2749038 | 2570 2553 | 0 | 0 699.91/700.22 c 699s | 23 | 2875990 | 2757338 | 2570 2559 | 0 | 0 701.91/702.22 c 701s | 23 | 2884212 | 2765038 | 2570 2564 | 0 | 0 703.91/704.24 c 703s | 23 | 2891907 | 2772438 | 2570 2570 | 0 | 0 705.91/706.25 c 706s | 23 | 2898301 | 2778438 | 2570 2574 | 0 | 0 707.90/708.26 c 708s | 23 | 2906459 | 2786338 | 2570 2580 | 0 | 0 709.90/710.27 c 710s | 23 | 2915008 | 2794538 | 2570 2586 | 0 | 0 711.90/712.28 c 712s | 23 | 2923402 | 2802638 | 2570 2592 | 0 | 0 713.90/714.29 c 714s | 23 | 2931567 | 2810338 | 2570 2597 | 0 | 0 716.01/716.33 c 716s | 23 | 2940084 | 2818538 | 2570 2603 | 0 | 0 718.02/718.36 c 718s | 23 | 2947654 | 2825838 | 2570 2609 | 0 | 0 720.01/720.36 c 720s | 23 | 2955221 | 2833138 | 2570 2614 | 0 | 0 722.01/722.38 c 722s | 23 | 2963388 | 2840938 | 2570 2620 | 0 | 0 724.11/724.40 c 724s | 23 | 2972090 | 2849338 | 2570 2626 | 0 | 0 726.11/726.41 c 726s | 23 | 2981048 | 2857938 | 2570 2632 | 0 | 0 728.11/728.42 c 728s | 23 | 2989604 | 2866338 | 2570 2639 | 0 | 0 730.11/730.43 c 730s | 23 | 2998224 | 2874838 | 2570 2645 | 0 | 0 732.11/732.43 c 732s | 23 | 3005852 | 2882238 | 2570 2650 | 0 | 0 734.11/734.45 c 734s | 23 | 3012756 | 2888838 | 2570 2655 | 0 | 0 736.11/736.46 c 736s | 23 | 3020319 | 2896138 | 2570 2660 | 0 | 0 738.10/738.48 c 738s | 23 | 3028242 | 2903838 | 2570 2666 | 0 | 0 740.11/740.48 c 740s | 23 | 3037035 | 2912338 | 2570 2672 | 0 | 0 742.10/742.50 c 742s | 23 | 3045484 | 2920438 | 2570 2678 | 0 | 0 744.20/744.51 c 744s | 23 | 3052823 | 2927438 | 2570 2683 | 0 | 0 746.20/746.52 c 746s | 23 | 3061043 | 2935238 | 2570 2689 | 0 | 0 748.20/748.55 c 748s | 23 | 3068624 | 2942438 | 2570 2694 | 0 | 0 750.20/750.57 c 750s | 23 | 3076488 | 2949938 | 2570 2700 | 0 | 0 752.21/752.57 c 752s | 23 | 3084330 | 2957438 | 2570 2705 | 0 | 0 754.20/754.59 c 754s | 23 | 3091866 | 2964538 | 2570 2711 | 0 | 0 756.30/756.60 c 756s | 23 | 3099932 | 2971938 | 2570 2716 | 0 | 0 758.30/758.60 c 758s | 23 | 3107671 | 2979038 | 2570 2721 | 0 | 0 760.30/760.63 c 760s | 23 | 3115154 | 2986238 | 2570 2727 | 0 | 0 762.30/762.65 c 762s | 23 | 3122913 | 2993638 | 2570 2732 | 0 | 0 764.31/764.66 c 764s | 23 | 3129985 | 3000338 | 2570 2737 | 0 | 0 766.30/766.67 c 766s | 23 | 3137366 | 3007238 | 2570 2742 | 0 | 0 768.40/768.72 c 768s | 23 | 3145260 | 3014838 | 2570 2748 | 0 | 0 770.40/770.73 c 770s | 23 | 3152979 | 3022138 | 2570 2753 | 0 | 0 772.40/772.76 c 772s | 23 | 3160550 | 3029438 | 2570 2758 | 0 | 0 774.40/774.79 c 774s | 23 | 3168627 | 3037238 | 2570 2764 | 0 | 0 776.40/776.79 c 776s | 23 | 3176459 | 3044738 | 2570 2769 | 0 | 0 778.50/778.83 c 778s | 23 | 3183659 | 3051538 | 2570 2775 | 0 | 0 780.50/780.84 c 780s | 23 | 3189557 | 3057138 | 2570 2779 | 0 | 0 782.50/782.84 c 782s | 23 | 3196945 | 3064138 | 2570 2784 | 0 | 0 784.50/784.86 c 784s | 23 | 3204123 | 3070738 | 2570 2789 | 0 | 0 786.50/786.86 c 786s | 23 | 3211197 | 3077138 | 2570 2793 | 0 | 0 788.50/788.87 c 788s | 23 | 3218567 | 3083938 | 2570 2798 | 0 | 0 790.49/790.89 c 790s | 23 | 3226361 | 3091138 | 2570 2804 | 0 | 0 792.59/792.91 c 792s | 23 | 3233561 | 3097638 | 2570 2808 | 0 | 0 794.59/794.92 c 794s | 23 | 3241635 | 3105438 | 2570 2814 | 0 | 0 796.59/796.93 c 796s | 23 | 3249123 | 3112538 | 2570 2819 | 0 | 0 798.59/798.95 c 798s | 23 | 3257050 | 3120038 | 2570 2825 | 0 | 0 800.60/800.97 c 800s | 23 | 3264980 | 3127338 | 2570 2830 | 0 | 0 802.59/802.99 c 802s | 23 | 3273224 | 3135138 | 2570 2836 | 0 | 0 804.69/805.01 c 804s | 23 | 3281488 | 3142938 | 2570 2842 | 0 | 0 806.69/807.02 c 806s | 23 | 3288394 | 3149338 | 2570 2847 | 0 | 0 808.69/809.03 c 808s | 23 | 3296312 | 3156738 | 2570 2852 | 0 | 0 810.69/811.04 c 810s | 23 | 3304353 | 3164338 | 2570 2858 | 0 | 0 812.70/813.04 c 812s | 23 | 3312416 | 3171938 | 2570 2863 | 0 | 0 814.69/815.07 c 814s | 23 | 3320044 | 3179038 | 2570 2869 | 0 | 0 816.69/817.08 c 816s | 23 | 3328110 | 3186538 | 2570 2874 | 0 | 0 818.79/819.10 c 818s | 23 | 3336141 | 3194038 | 2570 2880 | 0 | 0 820.79/821.12 c 820s | 23 | 3343946 | 3201438 | 2570 2885 | 0 | 0 822.79/823.13 c 822s | 23 | 3352344 | 3209538 | 2570 2891 | 0 | 0 824.79/825.13 c 824s | 23 | 3361168 | 3217838 | 2570 2897 | 0 | 0 826.79/827.15 c 826s | 23 | 3368917 | 3225238 | 2570 2903 | 0 | 0 828.79/829.17 c 828s | 23 | 3375355 | 3231338 | 2570 2907 | 0 | 0 830.79/831.18 c 830s | 23 | 3381012 | 3236638 | 2570 2911 | 0 | 0 832.89/833.20 c 832s | 23 | 3388218 | 3243438 | 2570 2916 | 0 | 0 834.89/835.23 c 834s | 23 | 3395912 | 3250638 | 2570 2921 | 0 | 0 836.89/837.25 c 837s | 23 | 3403302 | 3257538 | 2570 2926 | 0 | 0 838.88/839.26 c 839s | 23 | 3411439 | 3265238 | 2570 2932 | 0 | 0 840.88/841.27 c 841s | 23 | 3419255 | 3272438 | 2570 2937 | 0 | 0 842.88/843.29 c 843s | 23 | 3427589 | 3280338 | 2570 2943 | 0 | 0 844.88/845.29 c 845s | 23 | 3435499 | 3287838 | 2570 2949 | 0 | 0 846.98/847.32 c 847s | 23 | 3442786 | 3294638 | 2570 2954 | 0 | 0 848.99/849.33 c 849s | 23 | 3449987 | 3301438 | 2570 2959 | 0 | 0 850.98/851.34 c 851s | 23 | 3457907 | 3308838 | 2570 2964 | 0 | 0 853.08/853.40 c 853s | 23 | 3464517 | 3314738 | 2570 2969 | 0 | 0 855.08/855.44 c 855s | 23 | 3471642 | 3321538 | 2570 2973 | 0 | 0 857.08/857.45 c 857s | 23 | 3479478 | 3329038 | 2570 2979 | 0 | 0 859.08/859.47 c 859s | 23 | 3487371 | 3336538 | 2570 2984 | 0 | 0 861.09/861.48 c 861s | 23 | 3495417 | 3344138 | 2570 2990 | 0 | 0 863.09/863.49 c 863s | 23 | 3503515 | 3351838 | 2828 2996 | 0 | 0 865.19/865.51 c 865s | 23 | 3511122 | 3359038 | 2828 3000 | 0 | 0 867.19/867.52 c 867s | 23 | 3518960 | 3366438 | 2828 3005 | 0 | 0 869.19/869.52 c 869s | 23 | 3526349 | 3373438 | 2828 3010 | 0 | 0 869.99/870.36 c 870s | 24 | 3529695 | 3376662 | 2828 3012 | 0 | 0 871.99/872.37 c 872s | 24 | 3537924 | 3384762 | 2828 3018 | 0 | 0 873.99/874.38 c 874s | 24 | 3545791 | 3392462 | 2828 3023 | 0 | 0 876.09/876.42 c 876s | 24 | 3553078 | 3399562 | 2828 3028 | 0 | 0 878.09/878.43 c 878s | 24 | 3560596 | 3406762 | 2828 3032 | 0 | 0 880.09/880.45 c 880s | 24 | 3567340 | 3413262 | 2828 3037 | 0 | 0 882.08/882.46 c 882s | 24 | 3575142 | 3420662 | 2828 3042 | 0 | 0 884.09/884.48 c 884s | 24 | 3582065 | 3427462 | 2828 3046 | 0 | 0 886.08/886.48 c 886s | 24 | 3590399 | 3435462 | 2828 3052 | 0 | 0 888.18/888.52 c 888s | 24 | 3598669 | 3443462 | 2828 3057 | 0 | 0 890.18/890.55 c 890s | 24 | 3606584 | 3450862 | 2828 3062 | 0 | 0 892.18/892.58 c 892s | 24 | 3613695 | 3457762 | 2828 3067 | 0 | 0 894.18/894.59 c 894s | 24 | 3621128 | 3464662 | 2828 3072 | 0 | 0 896.29/896.61 c 896s | 24 | 3628579 | 3471262 | 2828 3076 | 0 | 0 898.28/898.62 c 898s | 24 | 3635193 | 3477262 | 2828 3080 | 0 | 0 900.28/900.63 c 900s | 24 | 3641917 | 3483662 | 2828 3084 | 0 | 0 902.28/902.67 c 902s | 24 | 3649807 | 3491062 | 2828 3089 | 0 | 0 904.28/904.67 c 904s | 24 | 3658075 | 3498762 | 2828 3095 | 0 | 0 906.28/906.69 c 906s | 24 | 3667344 | 3507662 | 2828 3100 | 0 | 0 908.29/908.69 c 908s | 24 | 3676226 | 3515962 | 2828 3106 | 0 | 0 910.38/910.72 c 910s | 24 | 3684129 | 3523362 | 2828 3111 | 0 | 0 912.38/912.75 c 912s | 24 | 3692444 | 3531162 | 2828 3116 | 0 | 0 914.38/914.76 c 914s | 24 | 3700615 | 3538662 | 2828 3121 | 0 | 0 916.38/916.77 c 916s | 24 | 3707845 | 3545462 | 2828 3126 | 0 | 0 918.38/918.78 c 918s | 24 | 3715635 | 3552862 | 2828 3131 | 0 | 0 920.38/920.80 c 920s | 24 | 3723099 | 3559962 | 2828 3136 | 0 | 0 922.48/922.80 c 922s | 24 | 3730911 | 3567162 | 2828 3141 | 0 | 0 924.48/924.82 c 924s | 24 | 3738630 | 3574562 | 2828 3146 | 0 | 0 926.48/926.84 c 926s | 24 | 3746731 | 3582262 | 2828 3151 | 0 | 0 928.47/928.85 c 928s | 24 | 3754570 | 3589762 | 2828 3156 | 0 | 0 930.47/930.86 c 930s | 24 | 3762649 | 3597362 | 2828 3161 | 0 | 0 932.48/932.88 c 932s | 24 | 3770988 | 3605062 | 2828 3166 | 0 | 0 934.57/934.91 c 934s | 24 | 3779010 | 3612462 | 2828 3171 | 0 | 0 936.57/936.93 c 936s | 24 | 3787359 | 3620162 | 2828 3176 | 0 | 0 938.57/938.94 c 938s | 24 | 3795093 | 3627262 | 2828 3181 | 0 | 0 940.57/940.98 c 940s | 24 | 3802573 | 3634362 | 2828 3186 | 0 | 0 942.57/942.98 c 942s | 24 | 3810588 | 3641562 | 2828 3191 | 0 | 0 944.58/944.99 c 944s | 24 | 3818031 | 3648462 | 2828 3196 | 0 | 0 946.67/947.00 c 946s | 24 | 3826170 | 3655862 | 2828 3201 | 0 | 0 948.67/949.02 c 948s | 24 | 3833792 | 3663062 | 2828 3206 | 0 | 0 950.67/951.03 c 950s | 24 | 3841401 | 3670262 | 2828 3210 | 0 | 0 952.67/953.03 c 952s | 24 | 3848482 | 3676862 | 2828 3215 | 0 | 0 954.67/955.05 c 954s | 24 | 3856304 | 3684162 | 2828 3220 | 0 | 0 956.67/957.07 c 956s | 24 | 3864525 | 3691862 | 2828 3225 | 0 | 0 958.67/959.08 c 958s | 24 | 3872526 | 3699462 | 2828 3230 | 0 | 0 960.67/961.09 c 960s | 24 | 3880098 | 3706662 | 2828 3235 | 0 | 0 962.77/963.11 c 962s | 24 | 3887928 | 3714062 | 2828 3240 | 0 | 0 964.77/965.13 c 964s | 24 | 3895679 | 3721162 | 2828 3245 | 0 | 0 966.77/967.13 c 966s | 24 | 3902904 | 3727762 | 2828 3249 | 0 | 0 968.77/969.15 c 968s | 24 | 3910038 | 3734462 | 2828 3254 | 0 | 0 970.77/971.16 c 970s | 24 | 3918148 | 3741562 | 2828 3259 | 0 | 0 972.77/973.16 c 972s | 24 | 3925889 | 3748662 | 2828 3263 | 0 | 0 974.76/975.17 c 974s | 24 | 3933417 | 3755762 | 2828 3268 | 0 | 0 976.76/977.18 c 976s | 24 | 3940588 | 3762462 | 2828 3273 | 0 | 0 978.77/979.18 c 978s | 24 | 3947200 | 3768762 | 2828 3277 | 0 | 0 980.76/981.19 c 980s | 24 | 3955436 | 3776462 | 2828 3282 | 0 | 0 982.86/983.21 c 982s | 24 | 3964053 | 3784262 | 2828 3287 | 0 | 0 984.87/985.21 c 984s | 24 | 3972113 | 3791962 | 2828 3293 | 0 | 0 986.87/987.24 c 986s | 24 | 3980211 | 3799462 | 2828 3298 | 0 | 0 988.87/989.26 c 989s | 24 | 3988197 | 3806762 | 2828 3303 | 0 | 0 990.88/991.27 c 991s | 24 | 3996076 | 3813962 | 2828 3307 | 0 | 0 992.87/993.28 c 993s | 24 | 4003981 | 3821462 | 2828 3313 | 0 | 0 994.97/995.31 c 995s | 24 | 4011642 | 3828762 | 2828 3317 | 0 | 0 996.97/997.33 c 997s | 24 | 4019398 | 3836162 | 2828 3323 | 0 | 0 998.97/999.34 c 999s | 24 | 4027131 | 3843462 | 2828 3327 | 0 | 0 1000.97/1001.34 c 1001s | 24 | 4034486 | 3850362 | 2828 3332 | 0 | 0 1002.97/1003.37 c 1003s | 24 | 4041873 | 3857262 | 2828 3337 | 0 | 0 1004.97/1005.37 c 1005s | 24 | 4048929 | 3863862 | 2828 3341 | 0 | 0 1006.97/1007.39 c 1007s | 24 | 4056461 | 3870762 | 2828 3346 | 0 | 0 1009.07/1009.40 c 1009s | 24 | 4064336 | 3877862 | 2828 3351 | 0 | 0 1011.07/1011.41 c 1011s | 24 | 4072272 | 3885162 | 2828 3356 | 0 | 0 1013.07/1013.41 c 1013s | 24 | 4079166 | 3891662 | 2828 3360 | 0 | 0 1015.07/1015.42 c 1015s | 24 | 4087080 | 3899162 | 2828 3365 | 0 | 0 1017.06/1017.44 c 1017s | 24 | 4095113 | 3906662 | 2828 3370 | 0 | 0 1019.06/1019.46 c 1019s | 24 | 4102415 | 3913262 | 2828 3375 | 0 | 0 1021.06/1021.46 c 1021s | 24 | 4109398 | 3919862 | 2828 3379 | 0 | 0 1023.06/1023.48 c 1023s | 24 | 4115059 | 3925062 | 2828 3383 | 0 | 0 1025.06/1025.49 c 1025s | 24 | 4121053 | 3930662 | 2828 3386 | 0 | 0 1027.17/1027.51 c 1027s | 24 | 4128237 | 3937462 | 2828 3391 | 0 | 0 1029.16/1029.53 c 1029s | 24 | 4135278 | 3944062 | 2828 3395 | 0 | 0 1031.16/1031.56 c 1031s | 24 | 4143255 | 3951462 | 2828 3400 | 0 | 0 1033.16/1033.57 c 1033s | 24 | 4151643 | 3959162 | 2828 3406 | 0 | 0 1035.16/1035.58 c 1035s | 24 | 4159464 | 3966462 | 2828 3411 | 0 | 0 1037.16/1037.59 c 1037s | 24 | 4166980 | 3972962 | 2828 3415 | 0 | 0 1039.27/1039.61 c 1039s | 24 | 4173857 | 3979462 | 2828 3419 | 0 | 0 1041.26/1041.61 c 1041s | 24 | 4181354 | 3986362 | 2828 3424 | 0 | 0 1043.26/1043.63 c 1043s | 24 | 4188890 | 3993262 | 2828 3428 | 0 | 0 1045.26/1045.65 c 1045s | 24 | 4196798 | 4000462 | 2828 3433 | 0 | 0 1047.26/1047.66 c 1047s | 24 | 4204280 | 4007462 | 2828 3438 | 0 | 0 1049.26/1049.68 c 1049s | 24 | 4211444 | 4014062 | 2828 3443 | 0 | 0 1051.26/1051.70 c 1051s | 24 | 4219990 | 4022062 | 2828 3448 | 0 | 0 1053.35/1053.70 c 1053s | 24 | 4228136 | 4029562 | 2828 3453 | 0 | 0 1055.35/1055.75 c 1055s | 24 | 4235673 | 4036362 | 2828 3458 | 0 | 0 1057.35/1057.77 c 1057s | 24 | 4243403 | 4043662 | 2828 3462 | 0 | 0 1059.35/1059.77 c 1059s | 24 | 4251330 | 4050962 | 2828 3467 | 0 | 0 1061.35/1061.78 c 1061s | 24 | 4259303 | 4058562 | 2828 3472 | 0 | 0 1063.36/1063.79 c 1063s | 24 | 4266573 | 4065262 | 2828 3477 | 0 | 0 1065.45/1065.80 c 1065s | 24 | 4274050 | 4072062 | 2828 3482 | 0 | 0 1067.45/1067.81 c 1067s | 24 | 4282036 | 4079562 | 2828 3487 | 0 | 0 1069.45/1069.81 c 1069s | 24 | 4289586 | 4086662 | 2828 3491 | 0 | 0 1071.45/1071.82 c 1071s | 24 | 4297040 | 4093662 | 2828 3496 | 0 | 0 1073.45/1073.82 c 1073s | 24 | 4304934 | 4101062 | 2828 3501 | 0 | 0 1075.46/1075.83 c 1075s | 24 | 4311589 | 4107262 | 2828 3505 | 0 | 0 1077.45/1077.85 c 1077s | 24 | 4318311 | 4113662 | 2828 3510 | 0 | 0 1079.45/1079.87 c 1079s | 24 | 4325708 | 4120562 | 2828 3514 | 0 | 0 1081.45/1081.88 c 1081s | 24 | 4332992 | 4127262 | 2828 3519 | 0 | 0 1083.45/1083.88 c 1083s | 24 | 4340793 | 4134362 | 2828 3524 | 0 | 0 1085.55/1085.90 c 1085s | 24 | 4348173 | 4141262 | 2828 3528 | 0 | 0 1087.55/1087.93 c 1087s | 24 | 4355553 | 4148162 | 2828 3533 | 0 | 0 1089.55/1089.95 c 1089s | 24 | 4363040 | 4155262 | 2828 3538 | 0 | 0 1091.55/1091.98 c 1091s | 24 | 4370875 | 4162562 | 2828 3543 | 0 | 0 1093.65/1094.01 c 1093s | 24 | 4378004 | 4169162 | 2828 3547 | 0 | 0 1095.65/1096.04 c 1095s | 24 | 4385511 | 4176262 | 2828 3552 | 0 | 0 1097.64/1098.08 c 1097s | 24 | 4392552 | 4182962 | 2828 3557 | 0 | 0 1099.66/1100.10 c 1099s | 24 | 4400143 | 4190162 | 2828 3561 | 0 | 0 1101.75/1102.12 c 1101s | 24 | 4407901 | 4197562 | 2828 3566 | 0 | 0 1103.75/1104.14 c 1103s | 24 | 4416634 | 4205662 | 2828 3572 | 0 | 0 1105.75/1106.14 c 1105s | 24 | 4424736 | 4213262 | 2828 3577 | 0 | 0 1107.75/1108.16 c 1107s | 24 | 4433350 | 4221362 | 2828 3582 | 0 | 0 1109.75/1110.17 c 1109s | 24 | 4441629 | 4229262 | 2828 3588 | 0 | 0 1111.76/1112.17 c 1111s | 24 | 4449948 | 4237262 | 2828 3593 | 0 | 0 1113.75/1114.18 c 1113s | 24 | 4457613 | 4244462 | 2828 3598 | 0 | 0 1115.85/1116.21 c 1115s | 24 | 4465625 | 4252062 | 2828 3603 | 0 | 0 1117.85/1118.22 c 1117s | 24 | 4472988 | 4259062 | 2828 3608 | 0 | 0 1119.85/1120.23 c 1119s | 24 | 4481099 | 4266762 | 2828 3613 | 0 | 0 1121.85/1122.25 c 1122s | 24 | 4489393 | 4274362 | 2828 3618 | 0 | 0 1123.86/1124.26 c 1124s | 24 | 4497013 | 4281362 | 2828 3623 | 0 | 0 1125.85/1126.27 c 1126s | 24 | 4504949 | 4288662 | 2828 3628 | 0 | 0 1127.85/1128.29 c 1128s | 24 | 4512630 | 4295962 | 2828 3633 | 0 | 0 1129.95/1130.30 c 1130s | 24 | 4520673 | 4303662 | 2828 3638 | 0 | 0 1131.95/1132.31 c 1132s | 24 | 4528473 | 4310962 | 2828 3643 | 0 | 0 1133.95/1134.32 c 1134s | 24 | 4536462 | 4318362 | 2828 3648 | 0 | 0 1135.95/1136.32 c 1136s | 24 | 4544947 | 4326462 | 2828 3653 | 0 | 0 1137.94/1138.34 c 1138s | 24 | 4553352 | 4334462 | 2828 3659 | 0 | 0 1139.94/1140.37 c 1140s | 24 | 4561036 | 4341662 | 2828 3664 | 0 | 0 1141.94/1142.39 c 1142s | 24 | 4569420 | 4349462 | 2828 3669 | 0 | 0 1144.04/1144.40 c 1144s | 24 | 4577439 | 4357062 | 2828 3674 | 0 | 0 1146.04/1146.42 c 1146s | 24 | 4586289 | 4365162 | 2828 3679 | 0 | 0 1148.05/1148.44 c 1148s | 24 | 4593962 | 4372362 | 2828 3684 | 0 | 0 1150.04/1150.46 c 1150s | 24 | 4602049 | 4379962 | 2828 3689 | 0 | 0 1152.04/1152.48 c 1152s | 24 | 4610331 | 4387762 | 2828 3695 | 0 | 0 1154.14/1154.50 c 1154s | 24 | 4618815 | 4395562 | 2828 3700 | 0 | 0 1156.14/1156.52 c 1156s | 24 | 4627061 | 4402962 | 2828 3705 | 0 | 0 1158.14/1158.53 c 1158s | 24 | 4635301 | 4410562 | 2828 3710 | 0 | 0 1160.14/1160.55 c 1160s | 24 | 4643652 | 4418362 | 2828 3715 | 0 | 0 1162.14/1162.56 c 1162s | 24 | 4651390 | 4425562 | 2828 3720 | 0 | 0 1164.14/1164.56 c 1164s | 24 | 4659137 | 4432862 | 2828 3725 | 0 | 0 1166.14/1166.58 c 1166s | 24 | 4665741 | 4439262 | 2828 3729 | 0 | 0 1168.24/1168.60 c 1168s | 24 | 4672469 | 4445562 | 2828 3734 | 0 | 0 1170.23/1170.63 c 1170s | 24 | 4680224 | 4452762 | 2828 3738 | 0 | 0 1172.24/1172.64 c 1172s | 24 | 4687830 | 4459762 | 2828 3743 | 0 | 0 1174.23/1174.65 c 1174s | 24 | 4695562 | 4466862 | 2828 3748 | 0 | 0 1176.24/1176.66 c 1176s | 24 | 4703486 | 4474362 | 2828 3753 | 0 | 0 1178.24/1178.69 c 1178s | 24 | 4711156 | 4481462 | 2828 3758 | 0 | 0 1180.34/1180.70 c 1180s | 24 | 4718778 | 4488662 | 2828 3763 | 0 | 0 1182.34/1182.72 c 1182s | 24 | 4726402 | 4495862 | 2828 3768 | 0 | 0 1184.35/1184.75 c 1184s | 24 | 4733722 | 4502762 | 2828 3772 | 0 | 0 1186.34/1186.76 c 1186s | 24 | 4741418 | 4509862 | 2828 3777 | 0 | 0 1188.34/1188.77 c 1188s | 24 | 4749088 | 4517162 | 2828 3782 | 0 | 0 1190.34/1190.77 c 1190s | 24 | 4756818 | 4524462 | 2828 3787 | 0 | 0 1192.34/1192.78 c 1192s | 24 | 4764250 | 4531262 | 2828 3792 | 0 | 0 1194.44/1194.82 c 1194s | 24 | 4771120 | 4537862 | 2828 3796 | 0 | 0 1196.44/1196.82 c 1196s | 24 | 4778617 | 4544962 | 2828 3801 | 0 | 0 1198.44/1198.84 c 1198s | 24 | 4786426 | 4552262 | 2828 3806 | 0 | 0 1200.44/1200.86 c 1200s | 24 | 4794086 | 4559262 | 2828 3811 | 0 | 0 1202.44/1202.88 c 1202s | 24 | 4801082 | 4565862 | 2828 3815 | 0 | 0 1204.43/1204.88 c 1204s | 24 | 4808627 | 4572762 | 2828 3820 | 0 | 0 1206.44/1206.88 c 1206s | 24 | 4816508 | 4580162 | 2828 3825 | 0 | 0 1208.54/1208.92 c 1208s | 24 | 4823595 | 4586562 | 2828 3829 | 0 | 0 1210.53/1210.94 c 1210s | 24 | 4831416 | 4593762 | 2828 3834 | 0 | 0 1212.53/1212.95 c 1212s | 24 | 4838892 | 4600662 | 2828 3839 | 0 | 0 1214.53/1214.96 c 1214s | 24 | 4845697 | 4607062 | 2828 3843 | 0 | 0 1216.53/1216.96 c 1216s | 24 | 4853760 | 4614362 | 2828 3848 | 0 | 0 1218.54/1218.97 c 1218s | 24 | 4860266 | 4620562 | 2828 3852 | 0 | 0 1220.53/1220.97 c 1220s | 24 | 4867798 | 4627762 | 2828 3857 | 0 | 0 1222.53/1222.98 c 1222s | 24 | 4875737 | 4634862 | 2828 3862 | 0 | 0 1224.63/1225.02 c 1224s | 24 | 4882924 | 4641362 | 2828 3866 | 0 | 0 1226.63/1227.03 c 1226s | 24 | 4891335 | 4648662 | 2828 3871 | 0 | 0 1228.63/1229.03 c 1228s | 24 | 4899480 | 4655862 | 2828 3876 | 0 | 0 1230.63/1231.06 c 1230s | 24 | 4907008 | 4662962 | 2828 3881 | 0 | 0 1232.63/1233.09 c 1232s | 24 | 4915182 | 4670862 | 2828 3886 | 0 | 0 1234.73/1235.10 c 1234s | 24 | 4923692 | 4679162 | 2828 3891 | 0 | 0 1236.73/1237.11 c 1236s | 24 | 4931608 | 4686762 | 2828 3896 | 0 | 0 1238.72/1239.12 c 1238s | 24 | 4939212 | 4694262 | 2828 3901 | 0 | 0 1240.72/1241.13 c 1240s | 24 | 4946754 | 4701662 | 2828 3906 | 0 | 0 1242.73/1243.14 c 1242s | 24 | 4955081 | 4709862 | 2828 3912 | 0 | 0 1244.72/1245.15 c 1244s | 24 | 4963381 | 4717962 | 2828 3917 | 0 | 0 1246.72/1247.16 c 1246s | 24 | 4971773 | 4726062 | 2828 3923 | 0 | 0 1248.72/1249.18 c 1248s | 24 | 4980325 | 4734462 | 2828 3928 | 0 | 0 1250.82/1251.21 c 1250s | 24 | 4988829 | 4742662 | 2828 3934 | 0 | 0 1252.82/1253.22 c 1252s | 24 | 4997116 | 4750762 | 2828 3939 | 0 | 0 1254.83/1255.24 c 1254s | 24 | 5004728 | 4758162 | 2828 3944 | 0 | 0 1256.82/1257.26 c 1257s | 24 | 5012522 | 4765662 | 2828 3949 | 0 | 0 1258.82/1259.26 c 1259s | 24 | 5021051 | 4774062 | 2828 3954 | 0 | 0 1260.82/1261.26 c 1261s | 24 | 5029228 | 4782162 | 2828 3960 | 0 | 0 1262.82/1263.28 c 1263s | 24 | 5037856 | 4790662 | 2828 3965 | 0 | 0 1264.92/1265.30 c 1265s | 24 | 5045663 | 4798362 | 2828 3971 | 0 | 0 1266.83/1267.30 c 1267s | 24 | 5053555 | 4806162 | 2828 3976 | 0 | 0 1268.93/1269.31 c 1269s | 24 | 5061798 | 4814262 | 2828 3981 | 0 | 0 1270.93/1271.33 c 1271s | 24 | 5070033 | 4822362 | 2828 3987 | 0 | 0 1272.93/1273.34 c 1273s | 24 | 5078050 | 4830162 | 2828 3992 | 0 | 0 1274.93/1275.37 c 1275s | 24 | 5084679 | 4836562 | 2828 3996 | 0 | 0 1276.93/1277.39 c 1277s | 24 | 5091673 | 4843362 | 2828 4001 | 0 | 0 1279.03/1279.41 c 1279s | 24 | 5099460 | 4850562 | 2828 4005 | 0 | 0 1281.03/1281.42 c 1281s | 24 | 5107127 | 4857662 | 2828 4010 | 0 | 0 1283.03/1283.44 c 1283s | 24 | 5114321 | 4864362 | 2828 4015 | 0 | 0 1285.02/1285.46 c 1285s | 24 | 5121417 | 4871162 | 2828 4019 | 0 | 0 1287.02/1287.47 c 1287s | 24 | 5128513 | 4877962 | 2828 4024 | 0 | 0 1289.02/1289.49 c 1289s | 24 | 5135111 | 4884462 | 2828 4028 | 0 | 0 1291.03/1291.50 c 1291s | 24 | 5141395 | 4890662 | 2828 4032 | 0 | 0 1293.12/1293.53 c 1293s | 24 | 5148124 | 4897162 | 2828 4037 | 0 | 0 1295.12/1295.53 c 1295s | 24 | 5154674 | 4903562 | 2828 4041 | 0 | 0 1297.12/1297.56 c 1297s | 24 | 5161524 | 4910262 | 2828 4045 | 0 | 0 1299.12/1299.60 c 1299s | 24 | 5169229 | 4917462 | 2828 4050 | 0 | 0 1301.22/1301.60 c 1301s | 24 | 5175683 | 4923562 | 2828 4054 | 0 | 0 1303.23/1303.61 c 1303s | 24 | 5182606 | 4930162 | 2828 4059 | 0 | 0 1305.22/1305.63 c 1305s | 24 | 5189296 | 4936562 | 2828 4063 | 0 | 0 1307.22/1307.66 c 1307s | 24 | 5196367 | 4943362 | 2828 4067 | 0 | 0 1309.22/1309.67 c 1309s | 24 | 5204034 | 4950862 | 2828 4072 | 0 | 0 1311.22/1311.68 c 1311s | 24 | 5211529 | 4958162 | 2828 4077 | 0 | 0 1313.22/1313.68 c 1313s | 24 | 5219541 | 4965862 | 2828 4082 | 0 | 0 1315.22/1315.69 c 1315s | 24 | 5226750 | 4972662 | 2828 4087 | 0 | 0 1317.31/1317.70 c 1317s | 24 | 5234477 | 4980062 | 2828 4092 | 0 | 0 1319.31/1319.71 c 1319s | 24 | 5241472 | 4986762 | 2828 4096 | 0 | 0 1321.31/1321.71 c 1321s | 24 | 5249403 | 4994362 | 2828 4101 | 0 | 0 1323.31/1323.72 c 1323s | 24 | 5256760 | 5001362 | 2828 4106 | 0 | 0 1325.31/1325.73 c 1325s | 24 | 5264799 | 5009162 | 2828 4111 | 0 | 0 1327.32/1327.74 c 1327s | 24 | 5272408 | 5016462 | 2828 4116 | 0 | 0 1329.31/1329.74 c 1329s | 24 | 5279739 | 5023462 | 2828 4121 | 0 | 0 1331.31/1331.77 c 1331s | 24 | 5287335 | 5030762 | 3111 4125 | 0 | 0 1333.31/1333.79 c 1333s | 24 | 5294852 | 5038062 | 3111 4130 | 0 | 0 1335.41/1335.81 c 1335s | 24 | 5302444 | 5045362 | 3111 4134 | 0 | 0 1337.41/1337.83 c 1337s | 24 | 5309950 | 5052462 | 3111 4139 | 0 | 0 1339.42/1339.83 c 1339s | 24 | 5317565 | 5059762 | 3111 4143 | 0 | 0 1340.91/1341.35 c 1341s | 25 | 5323151 | 5065098 | 3111 4146 | 0 | 0 1342.91/1343.37 c 1343s | 25 | 5331137 | 5072898 | 3111 4151 | 0 | 0 1344.91/1345.37 c 1345s | 25 | 5338617 | 5080298 | 3111 4156 | 0 | 0 1346.91/1347.40 c 1347s | 25 | 5346440 | 5087898 | 3111 4160 | 0 | 0 1349.01/1349.41 c 1349s | 25 | 5354450 | 5095798 | 3111 4165 | 0 | 0 1351.01/1351.43 c 1351s | 25 | 5362443 | 5103398 | 3111 4170 | 0 | 0 1353.01/1353.45 c 1353s | 25 | 5369707 | 5110598 | 3111 4174 | 0 | 0 1355.01/1355.47 c 1355s | 25 | 5377280 | 5117998 | 3111 4179 | 0 | 0 1357.01/1357.48 c 1357s | 25 | 5386094 | 5126298 | 3111 4184 | 0 | 0 1359.10/1359.51 c 1359s | 25 | 5394018 | 5134098 | 3111 4189 | 0 | 0 1361.11/1361.52 c 1361s | 25 | 5402367 | 5142298 | 3111 4193 | 0 | 0 1363.11/1363.53 c 1363s | 25 | 5410298 | 5150098 | 3111 4198 | 0 | 0 1365.11/1365.54 c 1365s | 25 | 5418030 | 5157698 | 3111 4203 | 0 | 0 1367.11/1367.55 c 1367s | 25 | 5426439 | 5165598 | 3111 4208 | 0 | 0 1369.12/1369.57 c 1369s | 25 | 5433885 | 5172398 | 3111 4212 | 0 | 0 1371.11/1371.57 c 1371s | 25 | 5440400 | 5178698 | 3111 4216 | 0 | 0 1373.11/1373.60 c 1373s | 25 | 5448434 | 5186098 | 3111 4220 | 0 | 0 1375.21/1375.61 c 1375s | 25 | 5456256 | 5193198 | 3111 4225 | 0 | 0 1377.21/1377.62 c 1377s | 25 | 5463858 | 5200398 | 3111 4229 | 0 | 0 1379.21/1379.64 c 1379s | 25 | 5471453 | 5207798 | 3111 4234 | 0 | 0 1381.21/1381.66 c 1381s | 25 | 5476381 | 5212498 | 3111 4236 | 0 | 0 1383.21/1383.68 c 1383s | 25 | 5484824 | 5220498 | 3111 4241 | 0 | 0 1385.20/1385.68 c 1385s | 25 | 5493465 | 5228598 | 3111 4246 | 0 | 0 1387.30/1387.70 c 1387s | 25 | 5501314 | 5235698 | 3111 4251 | 0 | 0 1389.30/1389.71 c 1389s | 25 | 5508949 | 5242898 | 3111 4255 | 0 | 0 1391.30/1391.75 c 1391s | 25 | 5515864 | 5249298 | 3111 4259 | 0 | 0 1393.31/1393.77 c 1393s | 25 | 5523439 | 5256298 | 3111 4263 | 0 | 0 1395.30/1395.78 c 1395s | 25 | 5530305 | 5262598 | 3111 4267 | 0 | 0 1397.30/1397.78 c 1397s | 25 | 5537482 | 5269398 | 3111 4271 | 0 | 0 1399.40/1399.80 c 1399s | 25 | 5545687 | 5276798 | 3111 4276 | 0 | 0 1401.40/1401.82 c 1401s | 25 | 5553219 | 5283698 | 3111 4280 | 0 | 0 1403.40/1403.83 c 1403s | 25 | 5559918 | 5289698 | 3111 4284 | 0 | 0 1405.41/1405.86 c 1405s | 25 | 5568239 | 5297598 | 3111 4288 | 0 | 0 1407.40/1407.87 c 1407s | 25 | 5576047 | 5304998 | 3111 4293 | 0 | 0 1409.40/1409.87 c 1409s | 25 | 5584536 | 5313298 | 3111 4298 | 0 | 0 1411.40/1411.88 c 1411s | 25 | 5593531 | 5321598 | 3111 4303 | 0 | 0 1413.50/1413.90 c 1413s | 25 | 5602179 | 5329998 | 3111 4308 | 0 | 0 1415.50/1415.92 c 1415s | 25 | 5609555 | 5336898 | 3111 4312 | 0 | 0 1417.50/1417.94 c 1417s | 25 | 5616451 | 5343398 | 3111 4316 | 0 | 0 1419.50/1419.94 c 1419s | 25 | 5624138 | 5350298 | 3111 4321 | 0 | 0 1421.49/1421.95 c 1421s | 25 | 5631796 | 5357198 | 3111 4325 | 0 | 0 1423.49/1423.97 c 1423s | 25 | 5639814 | 5364398 | 3111 4329 | 0 | 0 1425.49/1425.97 c 1425s | 25 | 5647172 | 5370998 | 3111 4333 | 0 | 0 1427.50/1427.98 c 1427s | 25 | 5654908 | 5378098 | 3111 4338 | 0 | 0 1429.49/1430.00 c 1429s | 25 | 5662394 | 5385098 | 3111 4342 | 0 | 0 1431.59/1432.03 c 1431s | 25 | 5670027 | 5392298 | 3111 4346 | 0 | 0 1433.59/1434.03 c 1433s | 25 | 5677781 | 5399498 | 3111 4351 | 0 | 0 1435.59/1436.04 c 1435s | 25 | 5685646 | 5406798 | 3111 4355 | 0 | 0 1437.59/1438.05 c 1437s | 25 | 5693418 | 5413798 | 3111 4359 | 0 | 0 1439.61/1440.06 c 1439s | 25 | 5701838 | 5421498 | 3111 4364 | 0 | 0 1441.60/1442.10 c 1441s | 25 | 5709574 | 5428698 | 3111 4369 | 0 | 0 1443.70/1444.10 c 1443s | 25 | 5718007 | 5436598 | 3111 4373 | 0 | 0 1445.70/1446.10 c 1445s | 25 | 5725934 | 5444198 | 3111 4378 | 0 | 0 1447.70/1448.12 c 1447s | 25 | 5734468 | 5452298 | 3111 4383 | 0 | 0 1449.70/1450.17 c 1449s | 25 | 5742001 | 5459198 | 3111 4387 | 0 | 0 1451.71/1452.18 c 1451s | 25 | 5748755 | 5465498 | 3111 4391 | 0 | 0 1453.81/1454.21 c 1453s | 25 | 5756093 | 5472298 | 3111 4395 | 0 | 0 1455.80/1456.21 c 1455s | 25 | 5763355 | 5479098 | 3111 4399 | 0 | 0 1457.80/1458.22 c 1457s | 25 | 5771152 | 5486398 | 3111 4404 | 0 | 0 1459.80/1460.24 c 1460s | 25 | 5779201 | 5493798 | 3111 4408 | 0 | 0 1461.80/1462.25 c 1462s | 25 | 5787212 | 5501098 | 3111 4413 | 0 | 0 1463.80/1464.27 c 1464s | 25 | 5795082 | 5508498 | 3111 4417 | 0 | 0 1465.80/1466.28 c 1466s | 25 | 5802235 | 5514798 | 3111 4421 | 0 | 0 1467.79/1468.29 c 1468s | 25 | 5809204 | 5520998 | 3111 4425 | 0 | 0 1469.79/1470.29 c 1470s | 25 | 5816039 | 5527198 | 3111 4429 | 0 | 0 1471.89/1472.30 c 1472s | 25 | 5823599 | 5534198 | 3111 4433 | 0 | 0 1473.89/1474.30 c 1474s | 25 | 5831101 | 5540998 | 3111 4437 | 0 | 0 1475.90/1476.32 c 1476s | 25 | 5839408 | 5548798 | 3111 4442 | 0 | 0 1477.89/1478.32 c 1478s | 25 | 5847055 | 5555898 | 3111 4446 | 0 | 0 1479.89/1480.34 c 1480s | 25 | 5854911 | 5563298 | 3111 4451 | 0 | 0 1481.89/1482.36 c 1482s | 25 | 5862782 | 5570598 | 3111 4455 | 0 | 0 1483.89/1484.38 c 1484s | 25 | 5870577 | 5577798 | 3111 4460 | 0 | 0 1485.99/1486.40 c 1486s | 25 | 5878471 | 5585198 | 3111 4464 | 0 | 0 1488.00/1488.44 c 1488s | 25 | 5886027 | 5592298 | 3111 4468 | 0 | 0 1489.99/1490.45 c 1490s | 25 | 5893515 | 5599298 | 3111 4473 | 0 | 0 1491.99/1492.46 c 1492s | 25 | 5900565 | 5605698 | 3111 4477 | 0 | 0 1493.99/1494.47 c 1494s | 25 | 5908919 | 5613598 | 3111 4482 | 0 | 0 1495.99/1496.50 c 1496s | 25 | 5917254 | 5621598 | 3111 4486 | 1 | 8 1498.09/1498.51 c 1498s | 25 | 5924165 | 5628398 | 3111 4491 | 1 | 8 1500.10/1500.52 c 1500s | 25 | 5932009 | 5636098 | 3111 4495 | 1 | 8 1502.09/1502.52 c 1502s | 25 | 5939050 | 5642998 | 3111 4500 | 1 | 8 1504.09/1504.53 c 1504s | 25 | 5946364 | 5650198 | 3111 4504 | 1 | 8 1506.09/1506.57 c 1506s | 25 | 5953715 | 5657298 | 3111 4508 | 1 | 8 1508.09/1508.59 c 1508s | 25 | 5960018 | 5663298 | 3111 4512 | 1 | 8 1510.09/1510.59 c 1510s | 25 | 5966468 | 5669498 | 3111 4516 | 1 | 8 1512.09/1512.60 c 1512s | 25 | 5974423 | 5677198 | 3111 4521 | 1 | 8 1514.19/1514.63 c 1514s | 25 | 5980596 | 5683198 | 3111 4524 | 1 | 8 1516.19/1516.67 c 1516s | 25 | 5987658 | 5689798 | 3111 4529 | 1 | 8 1518.19/1518.69 c 1518s | 25 | 5994642 | 5696198 | 3111 4532 | 1 | 8 1520.28/1520.71 c 1520s | 25 | 6001104 | 5701998 | 3111 4536 | 1 | 8 1522.28/1522.72 c 1522s | 25 | 6007675 | 5708398 | 3111 4540 | 1 | 8 1524.29/1524.73 c 1524s | 25 | 6014205 | 5714798 | 3111 4544 | 1 | 8 1526.28/1526.76 c 1526s | 25 | 6019522 | 5719898 | 3111 4547 | 1 | 8 1528.28/1528.78 c 1528s | 25 | 6024716 | 5724798 | 3111 4550 | 1 | 8 1530.28/1530.79 c 1530s | 25 | 6030167 | 5729998 | 3111 4553 | 1 | 8 1532.38/1532.80 c 1532s | 25 | 6035272 | 5734998 | 3111 4557 | 1 | 8 1534.38/1534.83 c 1534s | 25 | 6041880 | 5741398 | 3111 4561 | 1 | 8 1536.39/1536.86 c 1536s | 25 | 6048522 | 5747898 | 3111 4565 | 1 | 8 1538.38/1538.89 c 1538s | 25 | 6055449 | 5754498 | 3111 4569 | 1 | 8 1540.48/1540.91 c 1540s | 25 | 6061995 | 5760798 | 3111 4573 | 1 | 8 1542.48/1542.92 c 1542s | 25 | 6070297 | 5768998 | 3111 4578 | 1 | 8 1544.48/1544.94 c 1544s | 25 | 6078114 | 5776698 | 3111 4582 | 1 | 8 1546.48/1546.94 c 1546s | 25 | 6085425 | 5783798 | 3111 4587 | 1 | 8 1548.49/1548.95 c 1548s | 25 | 6091634 | 5789798 | 3111 4590 | 1 | 8 1550.48/1550.97 c 1550s | 25 | 6098163 | 5796098 | 3111 4594 | 1 | 8 1552.58/1553.00 c 1552s | 25 | 6105502 | 5803198 | 3111 4599 | 1 | 8 1554.58/1555.01 c 1554s | 25 | 6111562 | 5808798 | 3111 4602 | 1 | 8 1556.58/1557.02 c 1556s | 25 | 6117472 | 5814398 | 3111 4606 | 1 | 8 1558.58/1559.04 c 1558s | 25 | 6124046 | 5820498 | 3111 4610 | 1 | 8 1560.59/1561.05 c 1560s | 25 | 6130683 | 5826898 | 3111 4614 | 1 | 8 1562.58/1563.06 c 1562s | 25 | 6138375 | 5834498 | 3111 4618 | 1 | 8 1564.58/1565.07 c 1564s | 25 | 6146321 | 5842298 | 3111 4623 | 1 | 8 1566.58/1567.07 c 1566s | 25 | 6154354 | 5850198 | 3111 4628 | 1 | 8 1568.58/1569.07 c 1568s | 25 | 6162265 | 5857998 | 3111 4633 | 1 | 8 1570.58/1571.08 c 1570s | 25 | 6170085 | 5865598 | 3111 4637 | 1 | 8 1572.68/1573.11 c 1572s | 25 | 6178027 | 5873398 | 3111 4642 | 1 | 8 1574.68/1575.11 c 1574s | 25 | 6185226 | 5880498 | 3111 4647 | 1 | 8 1576.68/1577.13 c 1576s | 25 | 6191196 | 5885598 | 3111 4650 | 1 | 8 1578.68/1579.13 c 1578s | 25 | 6198430 | 5891898 | 3111 4654 | 1 | 8 1580.68/1581.16 c 1580s | 25 | 6204802 | 5897898 | 3111 4658 | 1 | 8 1582.68/1583.17 c 1582s | 25 | 6210989 | 5903798 | 3111 4661 | 1 | 8 1584.68/1585.18 c 1584s | 25 | 6217933 | 5910298 | 3111 4665 | 1 | 8 1586.77/1587.20 c 1586s | 25 | 6225397 | 5917598 | 3111 4670 | 1 | 8 1588.77/1589.20 c 1588s | 25 | 6232736 | 5924698 | 3111 4674 | 1 | 8 1590.77/1591.21 c 1590s | 25 | 6240711 | 5932498 | 3111 4679 | 1 | 8 1592.77/1593.22 c 1592s | 25 | 6249102 | 5940598 | 3111 4684 | 1 | 8 1594.77/1595.24 c 1595s | 25 | 6257316 | 5948698 | 3111 4689 | 1 | 8 1596.78/1597.25 c 1597s | 25 | 6265113 | 5956398 | 3111 4694 | 1 | 8 1598.77/1599.28 c 1599s | 25 | 6273027 | 5963898 | 3111 4699 | 1 | 8 1600.77/1601.29 c 1601s | 25 | 6280867 | 5971498 | 3111 4703 | 1 | 8 1602.87/1603.30 c 1603s | 25 | 6288407 | 5978898 | 3111 4708 | 1 | 8 1604.87/1605.31 c 1605s | 25 | 6295587 | 5985398 | 3111 4712 | 1 | 8 1606.87/1607.33 c 1607s | 25 | 6302863 | 5992498 | 3111 4716 | 1 | 8 1608.88/1609.33 c 1609s | 25 | 6310062 | 5999598 | 3111 4721 | 1 | 8 1610.87/1611.35 c 1611s | 25 | 6317001 | 6006298 | 3111 4725 | 1 | 8 1612.87/1613.35 c 1613s | 25 | 6324541 | 6013298 | 3111 4729 | 1 | 8 1614.87/1615.38 c 1615s | 25 | 6332225 | 6020898 | 3111 4734 | 1 | 8 1616.97/1617.40 c 1617s | 25 | 6339766 | 6028198 | 3111 4739 | 1 | 8 1618.97/1619.43 c 1619s | 25 | 6347702 | 6035798 | 3111 4744 | 1 | 8 1620.97/1621.45 c 1621s | 25 | 6354738 | 6042498 | 3111 4748 | 1 | 8 1622.97/1623.47 c 1623s | 25 | 6361791 | 6049098 | 3111 4752 | 1 | 8 1625.07/1625.50 c 1625s | 25 | 6368931 | 6055598 | 3111 4756 | 1 | 8 1627.07/1627.53 c 1627s | 25 | 6375803 | 6061798 | 3111 4760 | 1 | 8 1629.07/1629.55 c 1629s | 25 | 6382774 | 6068098 | 3111 4764 | 1 | 8 1631.07/1631.57 c 1631s | 25 | 6389593 | 6074698 | 3111 4768 | 1 | 8 1633.07/1633.59 c 1633s | 25 | 6395984 | 6080798 | 3111 4772 | 1 | 8 1635.17/1635.60 c 1635s | 25 | 6403023 | 6087298 | 3111 4776 | 1 | 8 1637.17/1637.61 c 1637s | 25 | 6410225 | 6094398 | 3111 4780 | 1 | 8 1639.16/1639.64 c 1639s | 25 | 6417602 | 6101698 | 3111 4785 | 1 | 8 1641.16/1641.66 c 1641s | 25 | 6424368 | 6108298 | 3111 4789 | 1 | 8 1643.16/1643.67 c 1643s | 25 | 6431934 | 6115698 | 3111 4793 | 1 | 8 1645.17/1645.67 c 1645s | 25 | 6440102 | 6123798 | 3111 4798 | 1 | 8 1647.16/1647.69 c 1647s | 25 | 6448336 | 6131898 | 3111 4803 | 1 | 8 1649.16/1649.70 c 1649s | 25 | 6456141 | 6139598 | 3111 4808 | 1 | 8 1651.26/1651.72 c 1651s | 25 | 6464236 | 6147598 | 3111 4813 | 1 | 8 1653.26/1653.73 c 1653s | 25 | 6471952 | 6155198 | 3111 4818 | 1 | 8 1655.26/1655.73 c 1655s | 25 | 6479768 | 6162898 | 3111 4823 | 1 | 8 1655.56/1656.08 c 1655s | 25 | 6481107 | 6164235 | 3111 4824 | 1 | 8 1655.56/1656.08 c #cpu_time = 1655.742s 1655.56/1656.08 c #wall_clock_time = 1655.840s 1655.56/1656.08 c #decision = 6481107 1655.56/1656.08 c #random_decision = 20021 1655.56/1656.08 c #conflict = 6164235 1655.56/1656.08 c #restart = 25 1655.56/1656.08 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 8: cost of the new core is >=3 1655.56/1656.08 c lower bound updated to 3 1655.56/1656.08 c BCD2: 3 <= obj <= 250 1655.56/1656.08 c BCD2: #cores=1, #unrelaxed=0, #relaxed=8, #hardened=0 1655.56/1656.08 c BCD2: #sat=1 #unsat=3 bias=3/4 1655.56/1656.08 c Solving starts ... 1655.56/1656.08 c ============================[ Search Statistics ]============================ 1655.56/1656.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1655.56/1656.08 c | | | | Limit GC | Var | Constra 1655.56/1656.08 c ============================================================================= 1655.56/1656.08 c 0.0s | 0 | 0 | 0 | 3111 0 | 2 | 8 1655.66/1656.14 c 0.1s | 1 | 151 | 100 | 3111 0 | 2 | 9 1655.66/1656.18 c 0.1s | 2 | 339 | 250 | 3111 0 | 2 | 9 1655.76/1656.24 c 0.2s | 3 | 620 | 475 | 3111 0 | 2 | 9 1655.86/1656.38 c 0.3s | 4 | 988 | 813 | 3111 0 | 2 | 9 1655.96/1656.44 c 0.4s | 4 | 1226 | 1001 | 3111 0 | 2 | 9 1655.96/1656.44 c #cpu_time = 0.361s 1655.96/1656.44 c #wall_clock_time = 0.361s 1655.96/1656.44 c #decision = 1226 1655.96/1656.44 c #random_decision = 3 1655.96/1656.44 c #conflict = 1001 1655.96/1656.44 c #restart = 4 1655.96/1656.44 o 145 1655.96/1656.44 c BCD2: updating upper bound: 250 -> 144 1655.96/1656.44 c BCD2: 3 <= obj <= 144 1655.96/1656.44 c BCD2: #cores=1, #unrelaxed=0, #relaxed=8, #hardened=0 1655.96/1656.44 c BCD2: #sat=2 #unsat=3 bias=3/5 1655.96/1656.44 c Solving starts ... 1655.96/1656.44 c ============================[ Search Statistics ]============================ 1655.96/1656.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1655.96/1656.44 c | | | | Limit GC | Var | Constra 1655.96/1656.44 c ============================================================================= 1655.96/1656.44 c 0.0s | 0 | 0 | 0 | 3111 0 | 2 | 9 1655.96/1656.46 c 0.0s | 0 | 66 | 30 | 3111 0 | 2 | 9 1655.96/1656.46 c #cpu_time = 0.018s 1655.96/1656.46 c #wall_clock_time = 0.018s 1655.96/1656.46 c #decision = 66 1655.96/1656.46 c #random_decision = 1 1655.96/1656.46 c #conflict = 30 1655.96/1656.46 c #restart = 0 1655.96/1656.46 o 17 1655.96/1656.46 c BCD2: hardening fixes 3 literals 1655.96/1656.46 c BCD2: updating upper bound: 144 -> 16 1655.96/1656.46 c BCD2: 3 <= obj <= 16 1655.96/1656.46 c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=3 1655.96/1656.46 c BCD2: #sat=3 #unsat=3 bias=3/6 1655.96/1656.46 c Solving starts ... 1655.96/1656.46 c ============================[ Search Statistics ]============================ 1655.96/1656.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1655.96/1656.46 c | | | | Limit GC | Var | Constra 1655.96/1656.46 c ============================================================================= 1655.96/1656.46 c 0.0s | 0 | 0 | 0 | 3111 0 | 32 | 12 1655.96/1656.48 c 0.0s | 0 | 83 | 40 | 3111 0 | 32 | 85 1655.96/1656.48 c #cpu_time = 0.019s 1655.96/1656.48 c #wall_clock_time = 0.019s 1655.96/1656.48 c #decision = 83 1655.96/1656.48 c #random_decision = 0 1655.96/1656.48 c #conflict = 40 1655.96/1656.48 c #restart = 0 1655.96/1656.48 o 9 1655.96/1656.48 c BCD2: hardening fixes 1 literals 1655.96/1656.48 c BCD2: updating upper bound: 16 -> 8 1655.96/1656.48 c BCD2: 3 <= obj <= 8 1655.96/1656.48 c BCD2: #cores=1, #unrelaxed=0, #relaxed=4, #hardened=4 1655.96/1656.48 c BCD2: #sat=4 #unsat=3 bias=3/7 1655.96/1656.48 c Solving starts ... 1655.96/1656.48 c ============================[ Search Statistics ]============================ 1655.96/1656.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1655.96/1656.48 c | | | | Limit GC | Var | Constra 1655.96/1656.48 c ============================================================================= 1655.96/1656.48 c 0.0s | 0 | 0 | 0 | 3111 0 | 42 | 87 1656.06/1656.52 c 0.0s | 1 | 117 | 100 | 3111 0 | 42 | 111 1656.06/1656.54 c 0.1s | 1 | 224 | 164 | 3111 0 | 42 | 111 1656.06/1656.54 c #cpu_time = 0.056s 1656.06/1656.54 c #wall_clock_time = 0.056s 1656.06/1656.54 c #decision = 224 1656.06/1656.54 c #random_decision = 0 1656.06/1656.54 c #conflict = 164 1656.06/1656.54 c #restart = 1 1656.06/1656.54 o 5 1656.06/1656.54 c BCD2: hardening fixes 1 literals 1656.06/1656.54 c BCD2: updating upper bound: 8 -> 4 1656.06/1656.54 c BCD2: 3 <= obj <= 4 1656.06/1656.54 c BCD2: #cores=1, #unrelaxed=0, #relaxed=3, #hardened=5 1656.06/1656.54 c BCD2: #sat=5 #unsat=3 bias=3/8 1656.06/1656.54 c Solving starts ... 1656.06/1656.54 c ============================[ Search Statistics ]============================ 1656.06/1656.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1656.06/1656.54 c | | | | Limit GC | Var | Constra 1656.06/1656.54 c ============================================================================= 1656.06/1656.54 c 0.0s | 0 | 0 | 0 | 3111 0 | 52 | 113 1656.06/1656.54 c 0.0s | 0 | 56 | 5 | 3111 0 | 52 | 137 1656.06/1656.54 c #cpu_time = 0.004s 1656.06/1656.54 c #wall_clock_time = 0.004s 1656.06/1656.54 c #decision = 56 1656.06/1656.54 c #random_decision = 0 1656.06/1656.54 c #conflict = 5 1656.06/1656.54 c #restart = 0 1656.06/1656.54 o 3 1656.06/1656.54 s OPTIMUM FOUND 1656.06/1656.54 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 1656.06/1656.54 v -x11 x12 -x13 x14 -x15 -x16 x17 -x18 -x19 x20 1656.06/1656.54 v x21 -x22 -x23 -x24 x25 x26 -x27 x28 x29 x30 1656.06/1656.54 v -x31 x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 1656.06/1656.54 v x41 -x42 -x43 x44 x45 -x46 -x47 x48 -x49 -x50 1656.06/1656.54 v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 x60 1656.06/1656.54 v -x61 -x62 -x63 -x64 x65 x66 x67 x68 -x69 x70 1656.06/1656.54 v x71 -x72 1656.06/1656.54 c total CPU time = 1656.446s 1656.06/1656.54 c total wall clock time = 1656.543s
OK 3
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-4106211-1466267690/watcher-4106211-1466267690 -o /tmp/evaluation-result-4106211-1466267690/solver-4106211-1466267690 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7755 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106211-1466267690.opb pid=8289 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.03 2.02 4/179 8292 /proc/meminfo: memFree=30099208/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=731580 CPUtime=0 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 2730 0 0 0 0 0 0 0 20 0 4 0 28814408 749137920 3091 33554432000 4194304 16246674 140734807923520 140734807922944 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 183663 3100 441 2943 0 180557 0 [pid=8292/tid=8293] ppid=8289 vsize=751036 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 769060864 3167 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=755132 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 773255168 3184 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=760252 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 778498048 3200 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100166 s] /proc/loadavg: 2.04 2.03 2.02 4/179 8292 /proc/meminfo: memFree=30099208/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 21252 0 0 0 7 2 0 0 20 0 4 0 28814408 1247350784 21602 33554432000 4194304 16246674 140734807923520 140734807922944 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 304529 21605 758 2943 0 301423 0 [pid=8292/tid=8293] ppid=8289 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1247350784 21609 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1247350784 21613 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1247350784 21620 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200476 s] /proc/loadavg: 2.04 2.03 2.02 4/179 8292 /proc/meminfo: memFree=30099208/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 39168 0 0 0 14 5 0 0 20 0 4 0 28814408 1247350784 39518 33554432000 4194304 16246674 140734807923520 140734807922944 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 304529 39525 765 2943 0 301423 0 [pid=8292/tid=8293] ppid=8289 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1247350784 39531 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1247350784 39539 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1247350784 39547 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300436 s] /proc/loadavg: 2.04 2.03 2.02 4/179 8292 /proc/meminfo: memFree=30099208/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 57349 0 0 0 22 7 0 0 20 0 4 0 28814408 1247350784 57698 33554432000 4194304 16246674 140734807923520 140734807922944 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 304529 57703 793 2943 0 301423 0 [pid=8292/tid=8293] ppid=8289 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1247350784 57706 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1247350784 57711 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1247350784 57716 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700402 s] /proc/loadavg: 2.04 2.03 2.02 4/179 8292 /proc/meminfo: memFree=30099208/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=1218116 CPUtime=0.68 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 128161 0 0 0 52 16 0 0 20 0 4 0 28814408 1247350784 128509 33554432000 4194304 16246674 140734807923520 140734807905408 5546500 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 304529 128516 793 2943 0 301423 0 [pid=8292/tid=8293] ppid=8289 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1247350784 128521 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1247350784 128525 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1247350784 128530 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 2.04 2.03 2.02 3/183 8296 /proc/meminfo: memFree=29299676/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=1219140 CPUtime=1.49 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 245830 0 0 0 117 32 0 0 20 0 4 0 28814408 1248399360 246156 33554432000 4194304 16246674 140734807923520 140734807922832 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 304785 246156 850 2943 0 301679 0 [pid=8292/tid=8293] ppid=8289 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1248399360 246156 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1248399360 246156 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1248399360 246156 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10041 s] /proc/loadavg: 2.04 2.03 2.02 3/183 8296 /proc/meminfo: memFree=29077708/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 267548 0 0 0 275 34 0 0 20 0 4 0 28814408 1337528320 267874 33554432000 4194304 16246674 140734807923520 140734807905408 13193738 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 326545 267874 850 2943 0 323439 0 [pid=8292/tid=8293] ppid=8289 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1337528320 267874 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1337528320 267874 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1337528320 267874 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30042 s] /proc/loadavg: 2.04 2.03 2.02 3/183 8296 /proc/meminfo: memFree=29027812/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=1306180 CPUtime=6.29 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 267603 0 0 0 595 34 0 0 20 0 4 0 28814408 1337528320 267929 33554432000 4194304 16246674 140734807923520 140734807905408 5712184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 326545 267929 851 2943 0 323439 0 [pid=8292/tid=8293] ppid=8289 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1337528320 267929 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1337528320 267929 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1337528320 267929 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.04 2.03 2.02 3/183 8345 /proc/meminfo: memFree=29049640/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=1308228 CPUtime=12.68 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 268153 0 0 0 1234 34 0 0 20 0 4 0 28814408 1339625472 268479 33554432000 4194304 16246674 140734807923520 140734807905408 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 327057 268479 853 2943 0 323951 0 [pid=8292/tid=8293] ppid=8289 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1339625472 268479 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1339625472 268479 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1339625472 268479 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.03 2.03 2.02 3/183 8345 /proc/meminfo: memFree=29046416/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=1308228 CPUtime=25.48 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 268153 0 0 0 2514 34 0 0 20 0 4 0 28814408 1339625472 268479 33554432000 4194304 16246674 140734807923520 140734807906520 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 327057 268479 853 2943 0 323951 0 [pid=8292/tid=8293] ppid=8289 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1339625472 268479 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1339625472 268479 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1339625472 268479 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.07 2.04 2.02 3/183 8345 /proc/meminfo: memFree=29042832/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=1309252 CPUtime=51.08 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 268416 0 0 0 5073 35 0 0 20 0 4 0 28814408 1340674048 268735 33554432000 4194304 16246674 140734807923520 140734807905408 5722674 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 327313 268735 853 2943 0 324207 0 [pid=8292/tid=8293] ppid=8289 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1340674048 268735 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1340674048 268735 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1340674048 268735 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1309252 [startup+102.3 s] /proc/loadavg: 2.03 2.03 2.02 3/183 8346 /proc/meminfo: memFree=29038588/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=1309252 CPUtime=102.27 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 268431 0 0 0 10192 35 0 0 20 0 4 0 28814408 1340674048 268735 33554432000 4194304 16246674 140734807923520 140734807905408 5546219 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 327313 268735 853 2943 0 324207 0 [pid=8292/tid=8293] ppid=8289 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1340674048 268735 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1340674048 268735 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1340674048 268735 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1309252 ################ # More data... # ################ /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 270281 0 0 0 154141 48 0 0 20 0 4 0 28814408 1346965504 270273 33554432000 4194304 16246674 140734807923520 140734807906520 5672838 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 328849 270273 855 2943 0 325743 0 [pid=8292/tid=8293] ppid=8289 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1346965504 270273 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1346965504 270273 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1346965504 270273 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1315396 [startup+1602.3 s] /proc/loadavg: 2.10 2.12 2.08 3/184 8408 /proc/meminfo: memFree=29011536/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=1320516 CPUtime=1601.87 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 271561 0 0 0 160138 49 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140734807906520 5673897 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 330129 271553 855 2943 0 327023 0 [pid=8292/tid=8293] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1320516 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 8292 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1612.8 s] /proc/loadavg: 2.08 2.11 2.08 3/184 8408 /proc/meminfo: memFree=29011544/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=1320516 CPUtime=1612.37 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 271561 0 0 0 161188 49 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140734807905408 5600249 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 330129 271553 855 2943 0 327023 0 [pid=8292/tid=8293] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1612.37 Current children cumulated vsize (KiB) 1320516 [startup+1638.4 s] /proc/loadavg: 2.17 2.14 2.09 3/183 8409 /proc/meminfo: memFree=29011304/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=1320516 CPUtime=1637.97 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 271561 0 0 0 163748 49 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140734807905408 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 330129 271553 855 2943 0 327023 0 [pid=8292/tid=8293] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1637.97 Current children cumulated vsize (KiB) 1320516 [startup+1644.8 s] /proc/loadavg: 2.14 2.13 2.09 3/183 8409 /proc/meminfo: memFree=29011432/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=1320516 CPUtime=1644.36 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 271561 0 0 0 164387 49 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140734807905408 5674832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 330129 271553 855 2943 0 327023 0 [pid=8292/tid=8293] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1644.36 Current children cumulated vsize (KiB) 1320516 [startup+1651.21 s] /proc/loadavg: 2.13 2.13 2.09 3/183 8409 /proc/meminfo: memFree=29011436/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=1320516 CPUtime=1650.77 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 271561 0 0 0 165028 49 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140734807905408 5553629 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 330129 271553 855 2943 0 327023 0 [pid=8292/tid=8293] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1650.77 Current children cumulated vsize (KiB) 1320516 [startup+1654.4 s] /proc/loadavg: 2.12 2.13 2.09 3/182 8409 /proc/meminfo: memFree=29011444/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=1320516 CPUtime=1653.97 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 271561 0 0 0 165348 49 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140734807905408 5677802 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 330129 271553 855 2943 0 327023 0 [pid=8292/tid=8293] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1653.97 Current children cumulated vsize (KiB) 1320516 [startup+1655.2 s] /proc/loadavg: 2.12 2.13 2.09 3/182 8409 /proc/meminfo: memFree=29011444/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=1320516 CPUtime=1654.76 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 271561 0 0 0 165427 49 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140734807905408 5754796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 330129 271553 855 2943 0 327023 0 [pid=8292/tid=8293] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1654.76 Current children cumulated vsize (KiB) 1320516 [startup+1656 s] /proc/loadavg: 2.12 2.13 2.09 3/182 8409 /proc/meminfo: memFree=29011444/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=1320516 CPUtime=1655.56 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 271561 0 0 0 165507 49 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140734807906520 13946543 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 330129 271553 855 2943 0 327023 0 [pid=8292/tid=8293] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1655.56 Current children cumulated vsize (KiB) 1320516 [startup+1656.4 s] /proc/loadavg: 2.12 2.13 2.09 3/182 8409 /proc/meminfo: memFree=29011444/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=1320516 CPUtime=1655.96 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 271561 0 0 0 165547 49 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140734807906520 5600241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 330129 271553 855 2943 0 327023 0 [pid=8292/tid=8293] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271553 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1655.96 Current children cumulated vsize (KiB) 1320516 [startup+1656.5 s] /proc/loadavg: 2.12 2.13 2.09 3/182 8409 /proc/meminfo: memFree=29011444/32872528 swapFree=496868/529572 [pid=8292] ppid=8289 vsize=1320516 CPUtime=1656.06 cores=0,2,4,6 /proc/8292/stat : 8292 (toysat) R 8289 8292 7739 0 -1 4202496 271562 0 0 0 165557 49 0 0 20 0 4 0 28814408 1352208384 271554 33554432000 4194304 16246674 140734807923520 140734807906520 5711912 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8292/statm: 330129 271554 856 2943 0 327023 0 [pid=8292/tid=8293] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8293/stat : 8293 (toysat) S 8289 8292 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271554 33554432000 4194304 16246674 140734807923520 140485791296752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8292/tid=8294] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8294/stat : 8294 (toysat) S 8289 8292 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271554 33554432000 4194304 16246674 140734807923520 140485780806896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8292/tid=8295] ppid=8289 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8292/task/8295/stat : 8295 (toysat) S 8289 8292 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28814408 1352208384 271554 33554432000 4194304 16246674 140734807923520 140485695892656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1656.06 Current children cumulated vsize (KiB) 1320516 Child status: 0 Real time (s): 1656.55 CPU time (s): 1656.12 CPU user time (s): 1655.62 CPU system time (s): 0.497924 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 1320516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1655.62 system time used= 0.497924 maximum resident set size= 1086224 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271566 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= 356 involuntary context switches= 1801 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.36634 second user time and 6.24505 second system time The end
Begin job on node141 at 2016-06-18 18:34:50 IDJOB=4106211 IDBENCH=47974 IDSOLVER=2542 FILE ID=node141/4106211-1466267690 RUNJOBID= node141-1466264081-7755 PBS_JOBID= 19918217 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=167-P1=131-P2=83-P3=109-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106211-1466267690/watcher-4106211-1466267690 -o /tmp/evaluation-result-4106211-1466267690/solver-4106211-1466267690 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7755 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106211-1466267690.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 814b8e94cfd87905bb7ea3866973cde4 RANDOM SEED=1650329177 node141.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.547 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.09 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.547 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.547 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.54 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.547 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.547 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.56 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.547 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.547 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.547 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30099464 kB Buffers: 146248 kB Cached: 254596 kB SwapCached: 2528 kB Active: 1239008 kB Inactive: 261772 kB Active(anon): 1100412 kB Inactive(anon): 2028 kB Active(file): 138596 kB Inactive(file): 259744 kB Unevictable: 529572 kB Mlocked: 496868 kB SwapTotal: 67108856 kB SwapFree: 67099068 kB Dirty: 16332 kB Writeback: 0 kB AnonPages: 1627912 kB Mapped: 10544 kB Shmem: 0 kB Slab: 609428 kB SReclaimable: 52980 kB SUnreclaim: 556448 kB KernelStack: 1456 kB PageTables: 6936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1769792 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1118208 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= 71696 MiB End job on node141 at 2016-06-18 19:02:26