| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.41 |
| Name | /OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__8.opb |
| MD5SUM | c4c6dd67011e32867b82b6fc160942fb |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 70998 |
| Best CPU time to get the best result obtained on this benchmark | 165.66 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2498 |
| Total number of constraints | 400 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 302 |
| Number of constraints which are nor clauses,nor cardinality constraints | 98 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 137 |
| Number of terms in the objective function | 2400 |
| Biggest coefficient in the objective function | 94834 |
| Number of bits for the biggest coefficient in the objective function | 17 |
| Sum of the numbers in the objective function | 86615256 |
| Number of bits of the sum of numbers in the objective function | 27 |
| Biggest number in a constraint | 94834 |
| Number of bits of the biggest number in a constraint | 17 |
| Biggest sum of numbers in a constraint | 86615256 |
| Number of bits of the biggest sum of numbers | 27 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T22:32:45+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-4107074-1466281965.opb"] 0.00/0.01 c use --random-gen="2953682329 4032801079 2714640231 1600357052 82541689 4212570600 63604352 3011272440 2569596561 2244384442 3708360556 1725698474 2384113844 1152040072 3126315479 2653125728 3482733068 2999810846 1636717782 2636374158 1686343630 250732435 2601174344 417026647 3352745389 2460729760 1538169493 1823604806 2925058581 2378038669 2235007249 268061395 1720221180 3910822414 852410167 4204171175 3840248798 2544674224 3155884806 3455408077 1484857308 3091793177 1393677262 3180302614 1943808271 4123765372 2123616016 1254164608 4205709232 3876854454 3583880823 2287783659 495047467 1631672319 3407559529 448235133 3871458739 2034100816 1531871555 1913069057 2774473112 4073355340 2818359794 573701438 779486336 1727114383 895905891 3570111510 3322893602 2232835318 2194026480 1932483472 3455343283 1340274234 3222269495 2651428000 2172877559 2310023704 137855161 536872744 2983371915 2422841643 2541830584 4202147535 590117233 2846247549 1875832174 3966176994 3731168715 3145027987 2144995381 1379673918 1404104887 3084157512 4015760534 12228832 2966872865 1435675106 624665821 2906153903 1158248649 3156042339 925984786 407637862 3266767483 423108534 428954963 1718917915 981393440 4275769785 3897524538 214093166 2854812353 1579630555 139641204 1679221870 2139706509 3186853020 2302935871 530196756 89168104 1326954373 3930604768 1474714931 1056406464 2570412519 2884965947 1987386571 3701487511 2595668986 2229416457 2995210797 1160838468 2472685764 2679789294 1500434991 2188195818 439094714 1597059857 3582506398 3557840824 2647315021 2500002276 722294662 2829548568 3782199766 237368181 2021778261 3054735247 3569481536 1917930870 2564084559 3435219641 786823995 733411453 650152445 2668720515 2752058570 3220574583 358018512 2138250130 4049183561 3521503194 1225356902 850155035 3098534442 3097078673 1278599720 1414722908 1348576207 1704068367 3834453441 539254913 2749138705 318768296 3234253220 2922212724 3740871708 2438497560 2866790438 1806738565 1671353982 1756636722 896335083 3990960205 526062819 1548064420 2440442616 952610631 4206718481 4184874877 1959557159 3829633401 609000614 1468004423 3353795904 1590121717 2940733612 2378784069 3973972096 2177988494 1717891967 1369253976 2616310858 1996629755 2672133090 238086511 2838110076 1559487231 84531596 1045556290 1399972252 2331350550 21647743 582995825 2319247538 2696829077 2724703998 2100380599 1554129366 4175151522 1167911084 3980431975 410638118 1880283609 2332370917 3373502385 1043734217 3681442136 779955028 598077959 2894069870 3163663283 2208745472 1219569403 1040189264 944295778 677266527 3071132569 1901415727 749830052 3025305107 3679958428 3756997529 1826107612 4282686120 3209597284 3284785717 1906064353 2735132772 1868815227 1107412128 1624990223 4126157549 3564345045 397904615 255 362436" option to reproduce the execution 0.00/0.04 c #vars 2498 0.00/0.04 c #constraints 400 0.00/0.07 c BCD2: Hardening is enabled. 0.00/0.07 c BCD2: BiasedSearch is enabled. 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 999 0 | 0 | 0 0.09/0.10 c 0.0s | 1 | 862 | 100 | 999 0 | 0 | 0 0.09/0.15 c 0.1s | 2 | 2711 | 250 | 1099 0 | 0 | 0 0.19/0.24 c 0.2s | 3 | 4351 | 475 | 1209 0 | 0 | 0 0.19/0.29 c 0.2s | 3 | 6454 | 613 | 1330 0 | 0 | 0 0.19/0.29 c #cpu_time = 0.217s 0.19/0.29 c #wall_clock_time = 0.217s 0.19/0.29 c #decision = 6454 0.19/0.29 c #random_decision = 15 0.19/0.29 c #conflict = 613 0.19/0.29 c #restart = 3 0.19/0.29 o 2965007 0.29/0.31 c BCD2: updating upper bound: 86615256 -> 2965006 0.29/0.32 c BCD2: 0 <= obj <= 2965006 0.29/0.32 c BCD2: #cores=0, #unrelaxed=2400, #relaxed=0, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=1 bias=1/2 0.29/0.32 c Solving starts ... 0.29/0.32 c ============================[ Search Statistics ]============================ 0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.32 c | | | | Limit GC | Var | Constra 0.29/0.32 c ============================================================================= 0.29/0.32 c 0.0s | 0 | 0 | 0 | 1330 0 | 0 | 0 0.29/0.32 c 0.0s | 0 | 279 | 0 | 1330 0 | 0 | 0 0.29/0.32 c #cpu_time = 0.004s 0.29/0.32 c #wall_clock_time = 0.004s 0.29/0.32 c #decision = 279 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 0 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: found a new core of size 47: cost of the new core is >=9941 0.29/0.32 c lower bound updated to 9941 0.29/0.34 c BCD2: 9941 <= obj <= 2965006 0.29/0.34 c BCD2: #cores=1, #unrelaxed=2353, #relaxed=47, #hardened=0 0.29/0.34 c BCD2: #sat=1 #unsat=2 bias=2/3 0.29/0.36 c Solving starts ... 0.29/0.36 c ============================[ Search Statistics ]============================ 0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.36 c | | | | Limit GC | Var | Constra 0.29/0.36 c ============================================================================= 0.29/0.36 c 0.0s | 0 | 0 | 0 | 1330 0 | 0 | 0 0.29/0.39 c 0.0s | 0 | 2338 | 32 | 1330 0 | 0 | 0 0.29/0.39 c #cpu_time = 0.029s 0.29/0.39 c #wall_clock_time = 0.029s 0.29/0.39 c #decision = 2338 0.29/0.39 c #random_decision = 0 0.29/0.39 c #conflict = 32 0.29/0.39 c #restart = 0 0.29/0.39 c BCD2: found a new core of size 2147: cost of the new core is >=2279 0.29/0.39 c lower bound updated to 12220 0.39/0.41 c BCD2: 12220 <= obj <= 2965006 0.39/0.41 c BCD2: #cores=2, #unrelaxed=206, #relaxed=2194, #hardened=0 0.39/0.41 c BCD2: #sat=1 #unsat=3 bias=3/4 0.39/0.43 c Solving starts ... 0.39/0.43 c ============================[ Search Statistics ]============================ 0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.43 c | | | | Limit GC | Var | Constra 0.39/0.43 c ============================================================================= 0.39/0.43 c 0.0s | 0 | 0 | 0 | 1330 0 | 0 | 0 0.39/0.44 c 0.0s | 0 | 1763 | 15 | 1330 0 | 0 | 0 0.39/0.44 c #cpu_time = 0.015s 0.39/0.44 c #wall_clock_time = 0.015s 0.39/0.44 c #decision = 1763 0.39/0.44 c #random_decision = 7 0.39/0.44 c #conflict = 15 0.39/0.44 c #restart = 0 0.39/0.44 o 752955 0.39/0.45 c BCD2: updating upper bound: 2965006 -> 752954 0.39/0.46 c BCD2: 12220 <= obj <= 752954 0.39/0.46 c BCD2: #cores=2, #unrelaxed=206, #relaxed=2194, #hardened=0 0.39/0.46 c BCD2: #sat=2 #unsat=3 bias=3/5 6.08/6.10 c Solving starts ... 6.08/6.10 c ============================[ Search Statistics ]============================ 6.08/6.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.08/6.10 c | | | | Limit GC | Var | Constra 6.08/6.10 c ============================================================================= 6.08/6.10 c 0.0s | 0 | 0 | 0 | 1330 0 | 0 | 1 6.78/6.85 c 0.8s | 1 | 2261 | 100 | 1330 0 | 0 | 1 7.69/7.72 c 1.6s | 2 | 3173 | 250 | 1464 0 | 0 | 1 8.79/8.89 c 2.8s | 3 | 4450 | 475 | 1464 0 | 0 | 1 10.18/10.27 c 4.2s | 4 | 6898 | 813 | 1611 0 | 0 | 1 12.28/12.34 c 6.2s | 4 | 9521 | 1213 | 1611 0 | 0 | 1 12.78/12.81 c 6.7s | 5 | 9755 | 1320 | 1611 0 | 0 | 1 15.18/15.28 c 9.2s | 5 | 12885 | 1820 | 1773 1 | 0 | 1 16.68/16.73 c 10.6s | 6 | 14227 | 2081 | 1773 1 | 0 | 1 19.18/19.25 c 13.1s | 6 | 16501 | 2381 | 1773 1 | 0 | 1 21.38/21.46 c 15.4s | 6 | 18333 | 2681 | 1951 1 | 0 | 1 24.08/24.15 c 18.1s | 6 | 19894 | 2981 | 1951 2 | 0 | 1 25.48/25.54 c 19.4s | 7 | 20570 | 3223 | 1951 2 | 0 | 1 27.58/27.62 c 21.5s | 7 | 22434 | 3523 | 1951 2 | 0 | 1 29.78/29.86 c 23.8s | 7 | 23663 | 3823 | 1951 2 | 0 | 1 32.38/32.44 c 26.3s | 7 | 25482 | 4223 | 1951 2 | 0 | 1 34.38/34.47 c 28.4s | 7 | 26271 | 4423 | 2147 2 | 0 | 1 36.68/36.70 c 30.6s | 7 | 27610 | 4723 | 2147 2 | 0 | 1 37.78/37.86 c 31.8s | 8 | 28188 | 4936 | 2147 2 | 0 | 1 39.97/40.07 c 34.0s | 8 | 30057 | 5236 | 2147 3 | 0 | 1 42.07/42.14 c 36.0s | 8 | 30942 | 5536 | 2147 3 | 0 | 1 44.27/44.37 c 38.3s | 8 | 33559 | 6036 | 2147 3 | 0 | 1 46.47/46.52 c 40.4s | 8 | 35693 | 6536 | 2147 4 | 0 | 1 48.48/48.59 c 42.5s | 8 | 37105 | 6836 | 2362 4 | 0 | 1 50.87/50.92 c 44.8s | 8 | 38519 | 7236 | 2362 4 | 0 | 1 52.37/52.48 c 46.4s | 9 | 39922 | 7506 | 2362 4 | 0 | 1 54.87/54.91 c 48.8s | 9 | 43756 | 8006 | 2362 5 | 0 | 1 57.28/57.31 c 51.2s | 9 | 46299 | 8506 | 2362 5 | 0 | 1 59.67/59.71 c 53.6s | 9 | 48116 | 9006 | 2362 5 | 0 | 1 61.78/61.89 c 55.8s | 9 | 49708 | 9406 | 2362 5 | 0 | 1 64.08/64.15 c 58.1s | 9 | 51210 | 9706 | 2362 5 | 0 | 1 66.58/66.64 c 60.5s | 9 | 52554 | 10106 | 2362 6 | 0 | 1 68.98/69.00 c 62.9s | 9 | 54138 | 10506 | 2362 6 | 0 | 1 71.38/71.47 c 65.4s | 9 | 55690 | 11006 | 2599 6 | 0 | 1 74.08/74.14 c 68.0s | 9 | 56428 | 11306 | 2599 6 | 0 | 1 74.38/74.45 c 68.4s | 10 | 56556 | 11361 | 2599 6 | 0 | 1 76.48/76.56 c 70.5s | 10 | 59461 | 11761 | 2599 7 | 0 | 1 79.58/79.68 c 73.6s | 10 | 60416 | 12061 | 2599 7 | 0 | 1 81.88/81.95 c 75.9s | 10 | 61385 | 12461 | 2599 7 | 0 | 1 84.08/84.16 c 78.1s | 10 | 62633 | 12861 | 2599 7 | 0 | 1 86.28/86.33 c 80.2s | 10 | 64720 | 13261 | 2599 7 | 0 | 1 88.48/88.52 c 82.4s | 10 | 65911 | 13561 | 2599 8 | 0 | 1 91.68/91.75 c 85.7s | 10 | 66928 | 13861 | 2599 8 | 0 | 1 94.98/95.01 c 88.9s | 10 | 67139 | 13961 | 2599 8 | 0 | 1 97.28/97.38 c 91.3s | 10 | 67943 | 14161 | 2599 8 | 0 | 1 99.57/99.61 c 93.5s | 10 | 68737 | 14361 | 2599 8 | 0 | 1 102.67/102.74 c 96.6s | 10 | 71771 | 14761 | 2599 8 | 0 | 1 105.58/105.61 c 99.5s | 10 | 72350 | 14961 | 2599 8 | 0 | 1 109.27/109.30 c 103s | 10 | 73735 | 15161 | 2599 8 | 0 | 1 111.47/111.54 c 105s | 10 | 75286 | 15361 | 2599 9 | 0 | 1 113.97/114.02 c 107s | 10 | 75883 | 15561 | 2599 9 | 0 | 1 116.68/116.74 c 110s | 10 | 76959 | 15861 | 2599 9 | 0 | 1 119.37/119.44 c 113s | 10 | 79778 | 16161 | 2599 9 | 0 | 1 121.47/121.54 c 115s | 10 | 80487 | 16361 | 2599 9 | 0 | 1 123.77/123.89 c 117s | 10 | 82956 | 16661 | 2859 9 | 0 | 1 125.97/126.09 c 119s | 10 | 84425 | 16961 | 2859 9 | 0 | 1 127.17/127.24 c 121s | 11 | 86335 | 17144 | 2859 9 | 0 | 1 129.37/129.44 c 123s | 11 | 88588 | 17644 | 2859 10 | 0 | 1 131.67/131.75 c 125s | 11 | 92316 | 18144 | 2859 10 | 0 | 1 134.17/134.26 c 128s | 11 | 93794 | 18644 | 2859 10 | 0 | 1 136.77/136.88 c 130s | 11 | 95485 | 18944 | 2859 10 | 0 | 1 139.27/139.31 c 133s | 11 | 96544 | 19244 | 2859 10 | 0 | 1 142.07/142.17 c 136s | 11 | 98159 | 19644 | 2859 11 | 0 | 1 144.17/144.23 c 138s | 11 | 99483 | 19944 | 2859 11 | 0 | 1 147.17/147.26 c 141s | 11 | 101478 | 20244 | 2859 11 | 0 | 1 149.47/149.51 c 143s | 11 | 102244 | 20444 | 2859 11 | 0 | 1 152.26/152.35 c 146s | 11 | 103348 | 20744 | 2859 11 | 0 | 1 154.46/154.55 c 148s | 11 | 104943 | 21044 | 2859 11 | 0 | 1 156.56/156.68 c 150s | 11 | 106732 | 21244 | 2859 12 | 0 | 1 158.76/158.86 c 152s | 11 | 108353 | 21544 | 2859 12 | 0 | 1 160.76/160.88 c 154s | 11 | 110006 | 21844 | 2859 12 | 0 | 1 162.96/163.09 c 156s | 11 | 112637 | 22344 | 2859 12 | 0 | 1 165.46/165.52 c 159s | 11 | 115121 | 22744 | 2859 12 | 0 | 1 168.27/168.37 c 162s | 11 | 115949 | 23044 | 2859 12 | 0 | 1 171.06/171.13 c 165s | 11 | 117971 | 23344 | 2859 13 | 0 | 1 174.46/174.50 c 168s | 11 | 119248 | 23644 | 2859 13 | 0 | 1 176.76/176.87 c 170s | 11 | 120367 | 23844 | 2859 13 | 0 | 1 178.86/178.94 c 172s | 11 | 121288 | 24044 | 2859 13 | 0 | 1 181.16/181.24 c 175s | 11 | 122064 | 24244 | 2859 13 | 0 | 1 183.56/183.62 c 177s | 11 | 123142 | 24544 | 2859 13 | 0 | 1 186.46/186.51 c 180s | 11 | 125026 | 24944 | 2859 13 | 0 | 1 188.46/188.52 c 182s | 11 | 125886 | 25144 | 3145 13 | 0 | 1 191.26/191.33 c 185s | 11 | 128415 | 25544 | 3145 14 | 0 | 1 193.36/193.43 c 187s | 12 | 130543 | 25819 | 3145 14 | 0 | 1 195.76/195.82 c 189s | 12 | 131984 | 26119 | 3145 14 | 0 | 1 198.06/198.14 c 192s | 12 | 133577 | 26319 | 3145 14 | 0 | 1 201.16/201.27 c 195s | 12 | 134759 | 26619 | 3145 14 | 0 | 1 203.96/204.01 c 197s | 12 | 136287 | 26919 | 3145 14 | 0 | 1 205.96/206.04 c 199s | 12 | 137526 | 27119 | 3145 14 | 0 | 1 208.86/208.92 c 202s | 12 | 139064 | 27419 | 3145 15 | 0 | 1 211.26/211.35 c 205s | 12 | 140963 | 27719 | 3145 15 | 0 | 1 213.95/214.09 c 207s | 12 | 142792 | 28019 | 3145 15 | 0 | 1 216.05/216.12 c 210s | 12 | 144449 | 28319 | 3145 15 | 0 | 1 218.86/218.93 c 212s | 12 | 146567 | 28619 | 3145 15 | 0 | 1 221.35/221.49 c 215s | 12 | 148097 | 28919 | 3145 15 | 0 | 1 224.36/224.44 c 218s | 12 | 149411 | 29219 | 3145 15 | 0 | 1 226.45/226.57 c 220s | 12 | 150838 | 29519 | 3145 15 | 0 | 1 228.65/228.72 c 222s | 12 | 152090 | 29819 | 3145 16 | 0 | 1 231.45/231.51 c 225s | 12 | 152730 | 30019 | 3145 16 | 0 | 1 234.55/234.65 c 228s | 12 | 153186 | 30219 | 3145 16 | 0 | 1 236.85/236.95 c 230s | 12 | 157528 | 30619 | 3145 16 | 0 | 1 239.45/239.59 c 233s | 12 | 159537 | 30919 | 3145 16 | 0 | 1 241.55/241.62 c 235s | 12 | 160375 | 31119 | 3145 16 | 0 | 1 243.55/243.69 c 237s | 12 | 161811 | 31319 | 3145 16 | 0 | 1 246.25/246.39 c 240s | 12 | 163330 | 31619 | 3145 17 | 0 | 1 248.35/248.40 c 242s | 12 | 166390 | 32019 | 3145 17 | 0 | 1 251.15/251.26 c 245s | 12 | 168064 | 32319 | 3145 17 | 0 | 1 253.55/253.67 c 247s | 12 | 168898 | 32519 | 3145 17 | 0 | 1 255.65/255.75 c 249s | 12 | 172167 | 32819 | 3145 17 | 0 | 1 258.15/258.25 c 252s | 12 | 174782 | 33319 | 3145 17 | 0 | 1 260.65/260.73 c 254s | 12 | 177279 | 33719 | 3145 18 | 0 | 1 262.75/262.88 c 256s | 12 | 178933 | 34019 | 3145 18 | 0 | 1 264.85/264.91 c 258s | 12 | 181823 | 34319 | 3145 18 | 0 | 1 267.65/267.76 c 261s | 12 | 184149 | 34719 | 3145 18 | 0 | 1 269.85/269.95 c 263s | 12 | 185658 | 34919 | 3145 18 | 0 | 1 272.34/272.41 c 266s | 12 | 187354 | 35219 | 3145 18 | 0 | 1 274.44/274.50 c 268s | 12 | 188480 | 35419 | 3145 18 | 0 | 1 276.44/276.57 c 270s | 12 | 190387 | 35519 | 3145 18 | 0 | 1 278.94/279.05 c 272s | 12 | 194264 | 36019 | 3145 19 | 0 | 1 281.44/281.52 c 275s | 12 | 194899 | 36219 | 3145 19 | 0 | 1 284.24/284.33 c 278s | 12 | 196097 | 36619 | 3145 19 | 0 | 1 286.54/286.64 c 280s | 12 | 197179 | 36819 | 3145 19 | 0 | 1 288.74/288.83 c 282s | 12 | 197973 | 37019 | 3145 19 | 0 | 1 291.04/291.18 c 285s | 12 | 198962 | 37219 | 3145 19 | 0 | 1 293.44/293.59 c 287s | 12 | 200219 | 37519 | 3145 19 | 0 | 1 295.54/295.66 c 289s | 12 | 201332 | 37719 | 3145 19 | 0 | 1 298.24/298.34 c 292s | 12 | 202288 | 37919 | 3145 19 | 0 | 1 300.54/300.69 c 294s | 12 | 203377 | 38119 | 3460 20 | 0 | 1 303.34/303.46 c 297s | 12 | 204718 | 38419 | 3460 20 | 0 | 1 305.44/305.56 c 299s | 12 | 206116 | 38619 | 3460 20 | 0 | 1 308.24/308.31 c 302s | 12 | 206617 | 38819 | 3460 20 | 0 | 1 308.34/308.46 c 302s | 13 | 206650 | 38832 | 3460 20 | 0 | 1 311.44/311.54 c 305s | 13 | 208435 | 39132 | 3460 20 | 0 | 1 313.64/313.78 c 307s | 13 | 209283 | 39332 | 3460 20 | 0 | 1 315.84/315.98 c 309s | 13 | 210298 | 39632 | 3460 20 | 0 | 1 318.14/318.25 c 312s | 13 | 211890 | 39932 | 3460 20 | 0 | 1 320.24/320.37 c 314s | 13 | 212907 | 40232 | 3460 20 | 0 | 1 322.84/322.92 c 316s | 13 | 214345 | 40632 | 3460 21 | 0 | 1 325.54/325.68 c 319s | 13 | 218788 | 41032 | 3460 21 | 0 | 1 327.84/327.99 c 321s | 13 | 222273 | 41432 | 3460 21 | 0 | 1 330.24/330.35 c 324s | 13 | 225259 | 41832 | 3460 21 | 0 | 1 332.34/332.44 c 326s | 13 | 227064 | 42432 | 3460 22 | 0 | 1 334.54/334.69 c 328s | 13 | 229466 | 42932 | 3460 22 | 0 | 1 336.64/336.74 c 330s | 13 | 232007 | 43332 | 3460 22 | 0 | 1 338.63/338.78 c 332s | 13 | 233532 | 43732 | 3460 22 | 0 | 1 340.94/341.10 c 335s | 13 | 234558 | 44032 | 3460 22 | 0 | 1 343.43/343.55 c 337s | 13 | 236392 | 44432 | 3460 22 | 0 | 1 346.13/346.21 c 340s | 13 | 239331 | 44832 | 3460 23 | 0 | 1 348.33/348.46 c 342s | 13 | 240399 | 45132 | 3460 23 | 0 | 1 351.03/351.15 c 345s | 13 | 242736 | 45532 | 3460 23 | 0 | 1 353.23/353.33 c 347s | 13 | 243658 | 45832 | 3460 23 | 0 | 1 355.34/355.49 c 349s | 13 | 245029 | 46132 | 3460 23 | 0 | 1 357.93/358.05 c 351s | 13 | 246106 | 46432 | 3460 23 | 0 | 1 360.03/360.15 c 354s | 13 | 250021 | 47032 | 3460 24 | 0 | 1 362.33/362.45 c 356s | 13 | 254449 | 47532 | 3460 24 | 0 | 1 364.73/364.81 c 358s | 13 | 258632 | 47932 | 3460 24 | 0 | 1 366.93/367.00 c 360s | 13 | 261562 | 48432 | 3460 24 | 0 | 1 369.43/369.54 c 363s | 13 | 263691 | 48932 | 3460 24 | 0 | 1 372.13/372.28 c 366s | 13 | 266288 | 49432 | 3460 25 | 0 | 1 374.33/374.49 c 368s | 13 | 268793 | 49832 | 3460 25 | 0 | 1 376.53/376.62 c 370s | 13 | 269855 | 50332 | 3460 25 | 0 | 1 379.03/379.11 c 373s | 13 | 272123 | 50832 | 3460 25 | 0 | 1 381.03/381.18 c 375s | 13 | 274210 | 51132 | 3460 25 | 0 | 1 383.23/383.39 c 377s | 13 | 275926 | 51532 | 3460 25 | 0 | 1 385.43/385.59 c 379s | 13 | 277878 | 51932 | 3460 26 | 0 | 1 387.93/388.00 c 381s | 13 | 279889 | 52532 | 3460 26 | 0 | 1 390.23/390.34 c 384s | 13 | 281328 | 52932 | 3460 26 | 0 | 1 392.73/392.88 c 386s | 13 | 285985 | 53432 | 3460 26 | 0 | 1 395.12/395.26 c 389s | 13 | 287354 | 53732 | 3460 26 | 0 | 1 397.42/397.56 c 391s | 13 | 289492 | 54132 | 3460 26 | 0 | 1 399.82/399.98 c 393s | 13 | 291658 | 54632 | 3460 27 | 0 | 1 402.12/402.27 c 396s | 13 | 293341 | 55032 | 3460 27 | 0 | 1 404.22/404.34 c 398s | 13 | 295424 | 55432 | 3460 27 | 0 | 1 406.52/406.65 c 400s | 13 | 298464 | 55932 | 3460 27 | 0 | 1 409.13/409.21 c 403s | 13 | 301054 | 56332 | 3460 27 | 0 | 1 411.22/411.34 c 405s | 13 | 303275 | 56732 | 3460 28 | 0 | 1 413.82/413.93 c 407s | 13 | 304745 | 57232 | 3460 28 | 0 | 1 415.92/416.07 c 409s | 13 | 306098 | 57632 | 3807 28 | 0 | 1 418.52/418.66 c 412s | 13 | 307440 | 58132 | 3807 28 | 0 | 1 419.92/420.08 c 413s | 14 | 309516 | 58352 | 3807 28 | 0 | 1 422.52/422.67 c 416s | 14 | 311112 | 58752 | 3807 29 | 0 | 1 424.92/425.07 c 418s | 14 | 311994 | 59152 | 3807 29 | 0 | 1 427.72/427.87 c 421s | 14 | 312667 | 59352 | 3807 29 | 0 | 1 430.51/430.68 c 424s | 14 | 312952 | 59552 | 3807 29 | 0 | 1 432.61/432.71 c 426s | 14 | 314551 | 59852 | 3807 29 | 0 | 1 435.21/435.37 c 429s | 14 | 316546 | 60252 | 3807 29 | 0 | 1 437.31/437.43 c 431s | 14 | 318285 | 60552 | 3807 29 | 0 | 1 439.92/440.01 c 433s | 14 | 320696 | 61052 | 3807 29 | 0 | 1 442.41/442.54 c 436s | 14 | 321609 | 61452 | 3807 29 | 0 | 1 444.91/445.08 c 438s | 14 | 322357 | 61752 | 3807 30 | 0 | 1 447.51/447.61 c 441s | 14 | 324124 | 62152 | 3807 30 | 0 | 1 450.21/450.30 c 444s | 14 | 324776 | 62552 | 3807 30 | 0 | 1 452.51/452.62 c 446s | 14 | 326860 | 62952 | 3807 30 | 0 | 1 454.71/454.81 c 448s | 14 | 327988 | 63252 | 3807 30 | 0 | 1 456.91/457.04 c 450s | 14 | 329327 | 63552 | 3807 30 | 0 | 1 459.11/459.27 c 453s | 14 | 331281 | 63952 | 3807 31 | 0 | 1 461.20/461.40 c 455s | 14 | 333391 | 64452 | 3807 31 | 0 | 1 463.40/463.50 c 457s | 14 | 335880 | 64952 | 3807 31 | 0 | 1 465.40/465.58 c 459s | 14 | 336802 | 65352 | 3807 31 | 0 | 1 467.51/467.62 c 461s | 14 | 337995 | 65752 | 3807 31 | 0 | 1 469.90/470.04 c 463s | 14 | 339431 | 66252 | 3807 31 | 0 | 1 472.10/472.27 c 466s | 14 | 340286 | 66652 | 3807 32 | 0 | 1 474.40/474.58 c 468s | 14 | 341705 | 67052 | 3807 32 | 0 | 1 476.70/476.86 c 470s | 14 | 344086 | 67552 | 3807 32 | 0 | 1 479.10/479.24 c 473s | 14 | 346119 | 68052 | 3807 32 | 0 | 1 481.30/481.49 c 475s | 14 | 348104 | 68652 | 3807 32 | 0 | 1 483.49/483.67 c 477s | 14 | 349505 | 69152 | 3807 33 | 0 | 1 485.89/486.02 c 479s | 14 | 350632 | 69652 | 3807 33 | 0 | 1 488.09/488.30 c 482s | 14 | 351786 | 70052 | 3807 33 | 0 | 1 490.29/490.41 c 484s | 14 | 352629 | 70452 | 3807 33 | 0 | 1 492.70/492.84 c 486s | 14 | 354872 | 70852 | 3807 33 | 0 | 1 495.00/495.15 c 489s | 14 | 355875 | 71252 | 3807 33 | 0 | 1 497.49/497.67 c 491s | 14 | 357071 | 71652 | 3807 34 | 0 | 1 499.59/499.77 c 493s | 14 | 358011 | 72052 | 3807 34 | 0 | 1 501.79/501.94 c 495s | 14 | 358787 | 72452 | 3807 34 | 0 | 1 503.79/503.99 c 497s | 14 | 360310 | 72852 | 3807 34 | 0 | 1 505.89/506.09 c 499s | 14 | 361167 | 73252 | 3807 34 | 0 | 1 508.19/508.31 c 502s | 14 | 362008 | 73652 | 3807 34 | 0 | 1 510.18/510.38 c 504s | 14 | 362987 | 74052 | 3807 35 | 0 | 1 512.38/512.55 c 506s | 14 | 367754 | 74752 | 3807 35 | 0 | 1 514.58/514.79 c 508s | 14 | 373221 | 75552 | 3807 35 | 0 | 1 516.58/516.79 c 510s | 14 | 375787 | 76152 | 3807 35 | 0 | 1 518.88/519.02 c 512s | 14 | 377313 | 76552 | 3807 35 | 0 | 1 521.29/521.47 c 515s | 14 | 378872 | 77052 | 3807 36 | 0 | 1 523.78/523.90 c 517s | 14 | 379650 | 77452 | 3807 36 | 0 | 1 525.98/526.19 c 520s | 14 | 381533 | 77952 | 3807 36 | 0 | 1 528.28/528.40 c 522s | 14 | 382331 | 78352 | 3807 36 | 0 | 1 530.58/530.76 c 524s | 14 | 384431 | 78752 | 3807 36 | 0 | 1 532.58/532.78 c 526s | 14 | 384978 | 79052 | 3807 36 | 0 | 1 534.98/535.13 c 529s | 14 | 386225 | 79452 | 3807 37 | 0 | 1 536.98/537.18 c 531s | 14 | 387861 | 79852 | 3807 37 | 0 | 1 539.18/539.37 c 533s | 14 | 389588 | 80252 | 3807 37 | 0 | 1 541.48/541.63 c 535s | 14 | 390905 | 80752 | 3807 37 | 0 | 1 543.88/544.03 c 537s | 14 | 392296 | 81152 | 3807 37 | 0 | 1 546.28/546.46 c 540s | 14 | 393654 | 81652 | 3807 37 | 0 | 1 548.48/548.67 c 542s | 14 | 394659 | 82052 | 3807 38 | 0 | 1 550.78/550.92 c 544s | 14 | 395412 | 82352 | 3807 38 | 0 | 1 552.78/552.93 c 546s | 14 | 395975 | 82552 | 3807 38 | 0 | 1 555.28/555.45 c 549s | 14 | 396447 | 82852 | 3807 38 | 0 | 1 557.68/557.87 c 551s | 14 | 397622 | 83252 | 3807 38 | 0 | 1 560.17/560.31 c 554s | 14 | 398391 | 83552 | 3807 38 | 0 | 1 562.27/562.40 c 556s | 14 | 399271 | 83952 | 3807 38 | 0 | 1 564.37/564.53 c 558s | 14 | 400524 | 84352 | 3807 38 | 0 | 1 566.67/566.84 c 560s | 14 | 401615 | 84752 | 3807 39 | 0 | 1 568.77/568.99 c 562s | 14 | 402704 | 85152 | 3807 39 | 0 | 1 570.88/571.04 c 564s | 14 | 404663 | 85552 | 3807 39 | 0 | 1 573.17/573.35 c 567s | 14 | 406637 | 85952 | 3807 39 | 0 | 1 575.47/575.63 c 569s | 14 | 407922 | 86452 | 4188 39 | 0 | 1 577.87/578.05 c 571s | 14 | 409064 | 86952 | 4188 39 | 0 | 1 580.17/580.31 c 574s | 14 | 410348 | 87452 | 4188 39 | 0 | 1 581.07/581.28 c 575s | 15 | 410962 | 87632 | 4188 40 | 0 | 1 583.27/583.46 c 577s | 15 | 412901 | 88032 | 4188 40 | 0 | 1 585.37/585.59 c 579s | 15 | 413641 | 88432 | 4188 40 | 0 | 1 587.86/588.04 c 581s | 15 | 414702 | 88932 | 4188 40 | 0 | 1 589.86/590.06 c 583s | 15 | 416139 | 89332 | 4188 40 | 0 | 1 592.26/592.43 c 586s | 15 | 417517 | 89832 | 4188 40 | 0 | 1 594.66/594.82 c 588s | 15 | 419160 | 90332 | 4188 41 | 0 | 1 597.06/597.26 c 591s | 15 | 420488 | 90732 | 4188 41 | 0 | 1 599.56/599.71 c 593s | 15 | 422150 | 91132 | 4188 41 | 0 | 1 601.86/602.07 c 595s | 15 | 423362 | 91532 | 4188 41 | 0 | 1 604.36/604.51 c 598s | 15 | 424456 | 91932 | 4188 41 | 0 | 1 606.36/606.57 c 600s | 15 | 425413 | 92232 | 4188 41 | 0 | 1 608.66/608.85 c 602s | 15 | 426496 | 92632 | 4188 41 | 0 | 1 611.06/611.20 c 605s | 15 | 427535 | 93032 | 4188 41 | 0 | 1 613.05/613.25 c 607s | 15 | 428374 | 93332 | 4188 42 | 0 | 1 615.55/615.77 c 609s | 15 | 429244 | 93732 | 4188 42 | 0 | 1 618.06/618.20 c 612s | 15 | 430358 | 94132 | 4188 42 | 0 | 1 620.36/620.59 c 614s | 15 | 431757 | 94532 | 4188 42 | 0 | 1 622.66/622.85 c 616s | 15 | 435019 | 94932 | 4188 42 | 0 | 1 625.26/625.43 c 619s | 15 | 439209 | 95532 | 4188 42 | 0 | 1 627.86/628.08 c 621s | 15 | 440886 | 95932 | 4188 43 | 0 | 1 630.46/630.68 c 624s | 15 | 441377 | 96232 | 4188 43 | 0 | 1 632.46/632.69 c 626s | 15 | 441735 | 96432 | 4188 43 | 0 | 1 635.05/635.26 c 629s | 15 | 442427 | 96732 | 4188 43 | 0 | 1 637.96/638.11 c 632s | 15 | 443129 | 97032 | 4188 43 | 0 | 1 640.65/640.84 c 634s | 15 | 443834 | 97332 | 4188 43 | 0 | 1 642.65/642.88 c 636s | 15 | 444644 | 97632 | 4188 43 | 0 | 1 645.25/645.40 c 639s | 15 | 445432 | 97932 | 4188 43 | 0 | 1 647.25/647.47 c 641s | 15 | 446457 | 98332 | 4188 43 | 0 | 1 649.35/649.51 c 643s | 15 | 447129 | 98632 | 4188 43 | 0 | 1 651.45/651.62 c 645s | 15 | 448047 | 98932 | 4188 44 | 0 | 1 653.64/653.81 c 647s | 15 | 449204 | 99332 | 4188 44 | 0 | 1 655.64/655.82 c 649s | 15 | 450015 | 99632 | 4188 44 | 0 | 1 657.84/658.01 c 651s | 15 | 451189 | 100032 | 4188 44 | 0 | 1 660.44/660.67 c 654s | 15 | 452054 | 100432 | 4188 44 | 0 | 1 662.54/662.74 c 656s | 15 | 453272 | 100832 | 4188 44 | 0 | 1 664.54/664.77 c 658s | 15 | 454452 | 101232 | 4188 44 | 0 | 1 666.83/667.02 c 660s | 15 | 455307 | 101632 | 4188 44 | 0 | 1 669.23/669.40 c 663s | 15 | 456037 | 102032 | 4188 45 | 0 | 1 671.23/671.47 c 665s | 15 | 456871 | 102432 | 4188 45 | 0 | 1 673.83/674.02 c 667s | 15 | 458002 | 102932 | 4188 45 | 0 | 1 676.23/676.46 c 670s | 15 | 459701 | 103532 | 4188 45 | 0 | 1 678.23/678.48 c 672s | 15 | 463159 | 104232 | 4188 46 | 0 | 1 680.93/681.17 c 675s | 15 | 466067 | 104832 | 4188 46 | 0 | 1 683.43/683.62 c 677s | 15 | 467514 | 105332 | 4188 46 | 0 | 1 685.63/685.86 c 679s | 15 | 468955 | 105832 | 4188 46 | 0 | 1 688.03/688.23 c 682s | 15 | 470962 | 106332 | 4188 46 | 0 | 1 690.23/690.49 c 684s | 15 | 472934 | 106832 | 4188 46 | 0 | 1 692.73/692.99 c 686s | 15 | 475023 | 107232 | 4188 47 | 0 | 1 695.23/695.43 c 689s | 15 | 477683 | 107832 | 4188 47 | 0 | 1 697.24/697.49 c 691s | 15 | 478822 | 108232 | 4188 47 | 0 | 1 699.44/699.68 c 693s | 15 | 479987 | 108632 | 4188 47 | 0 | 1 701.64/701.88 c 695s | 15 | 480822 | 109032 | 4188 47 | 0 | 1 704.23/704.48 c 698s | 15 | 482130 | 109432 | 4188 47 | 0 | 1 706.83/707.08 c 700s | 15 | 483212 | 109832 | 4188 47 | 0 | 1 709.44/709.69 c 703s | 15 | 484483 | 110232 | 4188 48 | 0 | 1 711.63/711.84 c 705s | 15 | 485773 | 110632 | 4188 48 | 0 | 1 714.03/714.29 c 708s | 15 | 486457 | 111032 | 4188 48 | 0 | 1 716.43/716.66 c 710s | 15 | 487692 | 111532 | 4188 48 | 0 | 1 718.73/718.99 c 712s | 15 | 488743 | 111932 | 4188 48 | 0 | 1 721.32/721.59 c 715s | 15 | 490488 | 112432 | 4188 49 | 0 | 1 724.12/724.34 c 718s | 15 | 492048 | 112932 | 4188 49 | 0 | 1 726.22/726.43 c 720s | 15 | 493755 | 113332 | 4188 49 | 0 | 1 728.52/728.75 c 722s | 15 | 496246 | 113932 | 4188 49 | 0 | 1 730.52/730.78 c 724s | 15 | 497859 | 114332 | 4188 49 | 0 | 1 732.82/733.00 c 726s | 15 | 499350 | 114732 | 4188 49 | 0 | 1 735.32/735.59 c 729s | 15 | 500658 | 115232 | 4188 50 | 0 | 1 737.72/737.93 c 731s | 15 | 501635 | 115632 | 4188 50 | 0 | 1 740.23/740.42 c 734s | 15 | 503509 | 116132 | 4188 50 | 0 | 1 742.62/742.86 c 736s | 15 | 504664 | 116532 | 4188 50 | 0 | 1 744.91/745.14 c 739s | 15 | 505346 | 116832 | 4188 50 | 0 | 1 747.51/747.78 c 741s | 15 | 506539 | 117232 | 4188 50 | 0 | 1 749.61/749.89 c 743s | 15 | 507220 | 117532 | 4188 50 | 0 | 1 751.91/752.17 c 746s | 15 | 508562 | 117932 | 4188 51 | 0 | 1 754.42/754.63 c 748s | 15 | 509971 | 118432 | 4188 51 | 0 | 1 756.91/757.12 c 751s | 15 | 511191 | 118832 | 4188 51 | 0 | 1 759.31/759.56 c 753s | 15 | 511938 | 119232 | 4188 51 | 0 | 1 762.01/762.25 c 756s | 15 | 512779 | 119632 | 4188 51 | 0 | 1 764.21/764.44 c 758s | 15 | 513488 | 120032 | 4188 51 | 0 | 1 766.31/766.58 c 760s | 15 | 515935 | 120632 | 4188 52 | 0 | 1 768.72/768.92 c 762s | 15 | 518910 | 121232 | 4188 52 | 0 | 1 770.81/771.06 c 764s | 15 | 519616 | 121532 | 4188 52 | 0 | 1 773.21/773.46 c 767s | 15 | 522569 | 121932 | 4188 52 | 0 | 1 775.61/775.89 c 769s | 15 | 525426 | 122332 | 4188 52 | 0 | 1 777.91/778.14 c 772s | 15 | 530834 | 122732 | 4188 53 | 0 | 1 780.31/780.54 c 774s | 15 | 533224 | 123132 | 4188 53 | 0 | 1 782.40/782.69 c 776s | 15 | 535532 | 123532 | 4188 53 | 0 | 1 784.80/785.08 c 778s | 15 | 537796 | 124032 | 4188 53 | 0 | 1 787.20/787.47 c 781s | 15 | 540451 | 124432 | 4188 53 | 0 | 1 789.71/789.92 c 783s | 15 | 541613 | 124832 | 4188 53 | 0 | 1 792.00/792.22 c 786s | 15 | 542587 | 125232 | 4188 53 | 0 | 1 794.30/794.57 c 788s | 15 | 544205 | 125632 | 4188 54 | 0 | 1 796.80/797.08 c 790s | 15 | 545301 | 126032 | 4188 54 | 0 | 1 798.90/799.17 c 793s | 15 | 546011 | 126332 | 4188 54 | 0 | 1 801.00/801.21 c 795s | 15 | 546763 | 126632 | 4188 54 | 0 | 1 803.09/803.30 c 797s | 15 | 547764 | 126932 | 4188 54 | 0 | 1 805.69/805.90 c 799s | 15 | 549374 | 127332 | 4188 54 | 0 | 1 807.89/808.16 c 802s | 15 | 550172 | 127632 | 4188 54 | 0 | 1 810.39/810.69 c 804s | 15 | 551744 | 128032 | 4188 54 | 0 | 1 812.69/812.95 c 806s | 15 | 552913 | 128432 | 4188 55 | 0 | 1 815.09/815.34 c 809s | 15 | 553804 | 128832 | 4188 55 | 0 | 1 817.59/817.89 c 811s | 15 | 554768 | 129232 | 4188 55 | 0 | 1 820.09/820.36 c 814s | 15 | 555715 | 129632 | 4188 55 | 0 | 1 822.69/822.94 c 816s | 15 | 556661 | 130032 | 4607 55 | 0 | 1 825.18/825.47 c 819s | 15 | 558516 | 130432 | 4607 55 | 0 | 1 827.68/827.92 c 821s | 15 | 560678 | 130832 | 4607 55 | 0 | 1 829.78/830.04 c 823s | 15 | 565001 | 131132 | 4607 56 | 0 | 1 831.28/831.50 c 825s | 16 | 568392 | 131552 | 4607 56 | 0 | 1 833.38/833.62 c 827s | 16 | 570906 | 132052 | 4607 56 | 0 | 1 835.58/835.85 c 829s | 16 | 573024 | 132552 | 4607 56 | 0 | 1 837.78/838.02 c 831s | 16 | 574394 | 133052 | 4607 56 | 0 | 1 839.88/840.11 c 834s | 16 | 575422 | 133452 | 4607 56 | 0 | 1 841.98/842.25 c 836s | 16 | 576133 | 133752 | 4607 56 | 0 | 1 844.18/844.43 c 838s | 16 | 576882 | 134052 | 4607 56 | 0 | 1 846.48/846.79 c 840s | 16 | 577758 | 134452 | 4607 57 | 0 | 1 848.88/849.11 c 843s | 16 | 578804 | 134952 | 4607 57 | 0 | 1 851.28/851.50 c 845s | 16 | 579925 | 135352 | 4607 57 | 0 | 1 853.28/853.60 c 847s | 16 | 580443 | 135652 | 4607 57 | 0 | 1 855.88/856.12 c 850s | 16 | 581350 | 136052 | 4607 57 | 0 | 1 858.08/858.33 c 852s | 16 | 582168 | 136452 | 4607 57 | 0 | 1 860.38/860.62 c 854s | 16 | 582944 | 136852 | 4607 57 | 0 | 1 862.58/862.83 c 856s | 16 | 583656 | 137152 | 4607 57 | 0 | 1 864.88/865.19 c 859s | 16 | 584562 | 137552 | 4607 58 | 0 | 1 867.08/867.37 c 861s | 16 | 585064 | 137852 | 4607 58 | 0 | 1 869.67/869.93 c 863s | 16 | 586030 | 138352 | 4607 58 | 0 | 1 872.18/872.42 c 866s | 16 | 587403 | 138852 | 4607 58 | 0 | 1 874.28/874.55 c 868s | 16 | 588263 | 139252 | 4607 58 | 0 | 1 876.67/876.97 c 870s | 16 | 589304 | 139752 | 4607 58 | 0 | 1 878.68/878.99 c 872s | 16 | 590708 | 140052 | 4607 58 | 0 | 1 880.98/881.25 c 875s | 16 | 591868 | 140452 | 4607 59 | 0 | 1 883.27/883.54 c 877s | 16 | 592789 | 140852 | 4607 59 | 0 | 1 885.87/886.19 c 880s | 16 | 594373 | 141252 | 4607 59 | 0 | 1 888.37/888.64 c 882s | 16 | 594854 | 141452 | 4607 59 | 0 | 1 890.47/890.74 c 884s | 16 | 595507 | 141652 | 4607 59 | 0 | 1 892.98/893.21 c 887s | 16 | 596156 | 141952 | 4607 59 | 0 | 1 895.67/895.90 c 889s | 16 | 597044 | 142352 | 4607 59 | 0 | 1 898.87/899.18 c 893s | 16 | 598050 | 142652 | 4607 59 | 0 | 1 901.47/901.75 c 895s | 16 | 598754 | 142952 | 4607 59 | 0 | 1 904.27/904.57 c 898s | 16 | 600262 | 143252 | 4607 60 | 0 | 1 906.67/906.98 c 900s | 16 | 602004 | 143452 | 4607 60 | 0 | 1 909.47/909.77 c 903s | 16 | 602352 | 143652 | 4607 60 | 0 | 1 912.37/912.69 c 906s | 16 | 603263 | 143952 | 4607 60 | 0 | 1 914.57/914.87 c 908s | 16 | 603711 | 144152 | 4607 60 | 0 | 1 917.46/917.72 c 911s | 16 | 604852 | 144452 | 4607 60 | 0 | 1 919.66/919.91 c 913s | 16 | 605471 | 144652 | 4607 60 | 0 | 1 922.26/922.57 c 916s | 16 | 606589 | 144952 | 4607 60 | 0 | 1 925.56/925.85 c 919s | 16 | 607523 | 145152 | 4607 60 | 0 | 1 927.96/928.25 c 922s | 16 | 608300 | 145352 | 4607 60 | 0 | 1 930.56/930.87 c 924s | 16 | 608793 | 145552 | 4607 60 | 0 | 1 933.15/933.40 c 927s | 16 | 610583 | 145752 | 4607 60 | 0 | 1 936.15/936.48 c 930s | 16 | 612346 | 146052 | 4607 61 | 0 | 1 938.65/938.96 c 932s | 16 | 612996 | 146252 | 4607 61 | 0 | 1 941.05/941.36 c 935s | 16 | 616354 | 146652 | 4607 61 | 0 | 1 943.35/943.61 c 937s | 16 | 618330 | 147052 | 4607 61 | 0 | 1 945.76/946.01 c 939s | 16 | 620579 | 147552 | 4607 61 | 0 | 1 948.25/948.57 c 942s | 16 | 623734 | 148052 | 4607 61 | 0 | 1 950.65/950.93 c 944s | 16 | 625498 | 148452 | 4607 61 | 0 | 1 953.14/953.40 c 947s | 16 | 629265 | 148852 | 4607 61 | 0 | 1 955.54/955.84 c 949s | 16 | 631851 | 149252 | 4607 62 | 0 | 1 957.74/958.04 c 951s | 16 | 635824 | 149652 | 4607 62 | 0 | 1 960.05/960.33 c 954s | 16 | 637531 | 150052 | 4607 62 | 0 | 1 962.35/962.68 c 956s | 16 | 639299 | 150452 | 4607 62 | 0 | 1 964.74/965.03 c 958s | 16 | 642606 | 150952 | 4607 62 | 0 | 1 966.94/967.27 c 961s | 16 | 643694 | 151352 | 4607 62 | 0 | 1 969.64/969.97 c 963s | 16 | 644638 | 151752 | 4607 62 | 0 | 1 972.04/972.31 c 966s | 16 | 645935 | 152052 | 4607 62 | 0 | 1 974.03/974.35 c 968s | 16 | 646616 | 152352 | 4607 63 | 0 | 1 976.23/976.50 c 970s | 16 | 647549 | 152752 | 4607 63 | 0 | 1 978.33/978.65 c 972s | 16 | 648792 | 153152 | 4607 63 | 0 | 1 981.04/981.35 c 975s | 16 | 649617 | 153552 | 4607 63 | 0 | 1 983.23/983.51 c 977s | 16 | 651023 | 153852 | 4607 63 | 0 | 1 985.33/985.68 c 979s | 16 | 651729 | 154152 | 4607 63 | 0 | 1 987.73/988.00 c 981s | 16 | 652583 | 154452 | 4607 63 | 0 | 1 990.23/990.58 c 984s | 16 | 654274 | 154852 | 4607 63 | 0 | 1 992.63/992.92 c 986s | 16 | 655361 | 155252 | 4607 64 | 0 | 1 995.03/995.30 c 989s | 16 | 656262 | 155652 | 4607 64 | 0 | 1 997.73/998.07 c 991s | 16 | 657020 | 156052 | 4607 64 | 0 | 1 1000.13/1000.45 c 994s | 16 | 657946 | 156452 | 4607 64 | 0 | 1 1002.52/1002.89 c 996s | 16 | 658487 | 156752 | 4607 64 | 0 | 1 1004.62/1004.99 c 998s | 16 | 659221 | 157052 | 4607 64 | 0 | 1 1007.43/1007.79 c 1001s | 16 | 659961 | 157452 | 4607 64 | 0 | 1 1010.02/1010.33 c 1004s | 16 | 660821 | 157852 | 4607 64 | 0 | 1 1012.02/1012.36 c 1006s | 16 | 661542 | 158152 | 4607 64 | 0 | 1 1014.32/1014.63 c 1008s | 16 | 662118 | 158452 | 4607 65 | 0 | 1 1017.12/1017.46 c 1011s | 16 | 663142 | 158852 | 4607 65 | 0 | 1 1019.43/1019.75 c 1013s | 16 | 663861 | 159152 | 4607 65 | 0 | 1 1021.73/1022.09 c 1015s | 16 | 664594 | 159452 | 4607 65 | 0 | 1 1024.42/1024.77 c 1018s | 16 | 666029 | 159852 | 4607 65 | 0 | 1 1027.23/1027.57 c 1021s | 16 | 667007 | 160252 | 4607 65 | 0 | 1 1030.02/1030.31 c 1024s | 16 | 667434 | 160552 | 4607 65 | 0 | 1 1032.02/1032.32 c 1026s | 16 | 668242 | 160852 | 4607 65 | 0 | 1 1034.32/1034.62 c 1028s | 16 | 668813 | 161152 | 4607 65 | 0 | 1 1036.62/1036.90 c 1030s | 16 | 669368 | 161452 | 4607 65 | 0 | 1 1038.91/1039.27 c 1033s | 16 | 669946 | 161752 | 4607 66 | 0 | 1 1041.52/1041.88 c 1035s | 16 | 670839 | 162152 | 4607 66 | 0 | 1 1044.31/1044.61 c 1038s | 16 | 671706 | 162552 | 4607 66 | 0 | 1 1046.81/1047.10 c 1041s | 16 | 672220 | 162852 | 4607 66 | 0 | 1 1049.01/1049.40 c 1043s | 16 | 672708 | 163152 | 4607 66 | 0 | 1 1051.32/1051.61 c 1045s | 16 | 673355 | 163452 | 4607 66 | 0 | 1 1053.91/1054.24 c 1048s | 16 | 673920 | 163752 | 4607 66 | 0 | 1 1056.01/1056.40 c 1050s | 16 | 674675 | 164052 | 4607 66 | 0 | 1 1058.21/1058.50 c 1052s | 16 | 675813 | 164352 | 4607 67 | 0 | 1 1060.91/1061.26 c 1055s | 16 | 676818 | 164652 | 4607 67 | 0 | 1 1063.11/1063.48 c 1057s | 16 | 677491 | 164852 | 4607 67 | 0 | 1 1065.62/1066.00 c 1059s | 16 | 678333 | 165152 | 4607 67 | 0 | 1 1068.21/1068.55 c 1062s | 16 | 679025 | 165452 | 4607 67 | 0 | 1 1070.71/1071.07 c 1064s | 16 | 680268 | 165752 | 4607 67 | 0 | 1 1073.42/1073.77 c 1067s | 16 | 680859 | 166052 | 4607 67 | 0 | 1 1075.81/1076.15 c 1070s | 16 | 681552 | 166452 | 4607 67 | 0 | 1 1078.01/1078.35 c 1072s | 16 | 682210 | 166752 | 4607 67 | 0 | 1 1080.51/1080.81 c 1074s | 16 | 682772 | 167052 | 4607 67 | 0 | 1 1082.91/1083.20 c 1077s | 16 | 683325 | 167352 | 4607 67 | 0 | 1 1085.41/1085.73 c 1079s | 16 | 684119 | 167652 | 4607 68 | 0 | 1 1087.81/1088.10 c 1082s | 16 | 684704 | 167952 | 4607 68 | 0 | 1 1089.91/1090.29 c 1084s | 16 | 685305 | 168252 | 4607 68 | 0 | 1 1092.31/1092.65 c 1086s | 16 | 685907 | 168552 | 4607 68 | 0 | 1 1095.11/1095.42 c 1089s | 16 | 686340 | 168852 | 4607 68 | 0 | 1 1097.52/1097.86 c 1091s | 16 | 686941 | 169152 | 4607 68 | 0 | 1 1100.61/1100.96 c 1094s | 16 | 687546 | 169452 | 4607 68 | 0 | 1 1102.81/1103.11 c 1097s | 16 | 688139 | 169752 | 4607 68 | 0 | 1 1105.11/1105.43 c 1099s | 16 | 689059 | 170052 | 4607 68 | 0 | 1 1108.01/1108.33 c 1102s | 16 | 689717 | 170352 | 4607 68 | 0 | 1 1110.51/1110.85 c 1104s | 16 | 690287 | 170652 | 4607 69 | 0 | 1 1113.11/1113.47 c 1107s | 16 | 690971 | 170952 | 4607 69 | 0 | 1 1115.71/1116.01 c 1109s | 16 | 691471 | 171252 | 4607 69 | 0 | 1 1117.81/1118.18 c 1112s | 16 | 692091 | 171552 | 4607 69 | 0 | 1 1120.41/1120.78 c 1114s | 16 | 693074 | 171952 | 4607 69 | 0 | 1 1123.01/1123.34 c 1117s | 16 | 694141 | 172352 | 4607 69 | 0 | 1 1125.31/1125.64 c 1119s | 16 | 694606 | 172652 | 4607 69 | 0 | 1 1127.81/1128.19 c 1122s | 16 | 695306 | 172952 | 4607 69 | 0 | 1 1130.71/1131.06 c 1124s | 16 | 695873 | 173252 | 4607 69 | 0 | 1 1133.01/1133.39 c 1127s | 16 | 697481 | 173652 | 4607 70 | 0 | 1 1135.51/1135.87 c 1129s | 16 | 698231 | 174052 | 4607 70 | 0 | 1 1138.41/1138.71 c 1132s | 16 | 699975 | 174452 | 4607 70 | 0 | 1 1140.81/1141.19 c 1135s | 16 | 701624 | 174852 | 4607 70 | 0 | 1 1143.31/1143.69 c 1137s | 16 | 702957 | 175352 | 4607 70 | 0 | 1 1145.61/1145.99 c 1139s | 16 | 703773 | 175752 | 4607 70 | 0 | 1 1148.11/1148.49 c 1142s | 16 | 704868 | 176152 | 4607 71 | 0 | 1 1150.21/1150.57 c 1144s | 16 | 705784 | 176452 | 4607 71 | 0 | 1 1152.31/1152.67 c 1146s | 16 | 706384 | 176752 | 4607 71 | 0 | 1 1154.81/1155.16 c 1149s | 16 | 707807 | 177052 | 4607 71 | 0 | 1 1157.61/1157.94 c 1151s | 16 | 708471 | 177352 | 4607 71 | 0 | 1 1160.00/1160.33 c 1154s | 16 | 709831 | 177652 | 4607 71 | 0 | 1 1162.30/1162.64 c 1156s | 16 | 710958 | 177952 | 4607 71 | 0 | 1 1164.40/1164.75 c 1158s | 16 | 712126 | 178252 | 4607 71 | 0 | 1 1166.70/1167.01 c 1160s | 16 | 713326 | 178552 | 4607 71 | 0 | 1 1168.70/1169.02 c 1162s | 16 | 714640 | 178852 | 4607 71 | 0 | 1 1170.70/1171.04 c 1164s | 16 | 715282 | 179152 | 4607 71 | 0 | 1 1173.00/1173.34 c 1167s | 16 | 716070 | 179452 | 4607 72 | 0 | 1 1175.40/1175.71 c 1169s | 16 | 717184 | 179752 | 4607 72 | 0 | 1 1177.70/1178.09 c 1171s | 16 | 718464 | 180052 | 4607 72 | 0 | 1 1180.30/1180.61 c 1174s | 16 | 719567 | 180352 | 4607 72 | 0 | 1 1182.90/1183.23 c 1177s | 16 | 720461 | 180652 | 4607 72 | 0 | 1 1185.40/1185.75 c 1179s | 16 | 721281 | 180952 | 4607 72 | 0 | 1 1187.81/1188.14 c 1182s | 16 | 721928 | 181252 | 4607 72 | 0 | 1 1190.40/1190.79 c 1184s | 16 | 722365 | 181552 | 4607 72 | 0 | 1 1192.90/1193.20 c 1187s | 16 | 723487 | 181852 | 4607 72 | 0 | 1 1195.30/1195.67 c 1189s | 16 | 724367 | 182152 | 4607 72 | 0 | 1 1198.20/1198.59 c 1192s | 16 | 725071 | 182452 | 4607 73 | 0 | 1 1200.30/1200.68 c 1194s | 16 | 725454 | 182652 | 4607 73 | 0 | 1 1202.60/1202.91 c 1196s | 16 | 725816 | 182852 | 4607 73 | 0 | 1 1204.90/1205.28 c 1199s | 16 | 726194 | 183052 | 4607 73 | 0 | 1 1207.50/1207.80 c 1201s | 16 | 726547 | 183252 | 4607 73 | 0 | 1 1209.50/1209.85 c 1203s | 16 | 726941 | 183452 | 4607 73 | 0 | 1 1212.20/1212.59 c 1206s | 16 | 727462 | 183752 | 4607 73 | 0 | 1 1215.00/1215.31 c 1209s | 16 | 727979 | 184052 | 4607 73 | 0 | 1 1217.90/1218.25 c 1212s | 16 | 728440 | 184352 | 4607 73 | 0 | 1 1220.20/1220.59 c 1214s | 16 | 728821 | 184552 | 4607 73 | 0 | 1 1222.60/1222.96 c 1216s | 16 | 729384 | 184752 | 4607 73 | 0 | 1 1225.39/1225.77 c 1219s | 16 | 730620 | 185052 | 4607 73 | 0 | 1 1228.09/1228.45 c 1222s | 16 | 731485 | 185352 | 4607 74 | 0 | 1 1231.09/1231.42 c 1225s | 16 | 732096 | 185652 | 4607 74 | 0 | 1 1233.29/1233.67 c 1227s | 16 | 732437 | 185852 | 4607 74 | 0 | 1 1236.39/1236.71 c 1230s | 16 | 732945 | 186152 | 4607 74 | 0 | 1 1238.40/1238.72 c 1232s | 16 | 733344 | 186352 | 4607 74 | 0 | 1 1241.29/1241.64 c 1235s | 16 | 733903 | 186652 | 4607 74 | 0 | 1 1243.49/1243.81 c 1237s | 16 | 734255 | 186852 | 4607 74 | 0 | 1 1246.29/1246.65 c 1240s | 16 | 734759 | 187152 | 4607 74 | 0 | 1 1248.59/1248.98 c 1242s | 16 | 735468 | 187452 | 4607 74 | 0 | 1 1250.59/1250.99 c 1244s | 16 | 735792 | 187652 | 4607 74 | 0 | 1 1252.99/1253.37 c 1247s | 16 | 736345 | 187952 | 4607 74 | 0 | 1 1255.49/1255.82 c 1249s | 16 | 737137 | 188252 | 4607 75 | 0 | 1 1257.49/1257.83 c 1251s | 16 | 738126 | 188552 | 4607 75 | 0 | 1 1259.79/1260.16 c 1254s | 16 | 739203 | 188852 | 4607 75 | 0 | 1 1261.89/1262.23 c 1256s | 16 | 740542 | 189152 | 4607 75 | 0 | 1 1264.39/1264.78 c 1258s | 16 | 741129 | 189452 | 4607 75 | 0 | 1 1266.69/1267.08 c 1260s | 16 | 741859 | 189752 | 4607 75 | 0 | 1 1269.29/1269.68 c 1263s | 16 | 742300 | 190052 | 4607 75 | 0 | 1 1271.99/1272.36 c 1266s | 16 | 743776 | 190352 | 4607 75 | 0 | 1 1274.09/1274.46 c 1268s | 16 | 744953 | 190652 | 4607 75 | 0 | 1 1276.19/1276.54 c 1270s | 16 | 745710 | 190852 | 4607 75 | 0 | 1 1278.59/1278.98 c 1272s | 16 | 746107 | 191052 | 4607 75 | 0 | 1 1281.29/1281.61 c 1275s | 16 | 746782 | 191352 | 4607 76 | 0 | 1 1283.39/1283.72 c 1277s | 16 | 747533 | 191652 | 4607 76 | 0 | 1 1286.58/1286.90 c 1280s | 16 | 748348 | 191952 | 4607 76 | 0 | 1 1289.38/1289.79 c 1283s | 16 | 748740 | 192152 | 4607 76 | 0 | 1 1291.78/1292.11 c 1286s | 16 | 749076 | 192352 | 4607 76 | 0 | 1 1294.58/1294.92 c 1288s | 16 | 750302 | 192652 | 4607 76 | 0 | 1 1297.38/1297.77 c 1291s | 16 | 751019 | 192952 | 4607 76 | 0 | 1 1299.48/1299.89 c 1293s | 16 | 751309 | 193152 | 4607 76 | 0 | 1 1301.88/1302.27 c 1296s | 16 | 751616 | 193352 | 4607 76 | 0 | 1 1304.29/1304.69 c 1298s | 16 | 752278 | 193652 | 4607 76 | 0 | 1 1306.59/1306.93 c 1300s | 16 | 752780 | 193852 | 4607 76 | 0 | 1 1308.69/1309.07 c 1302s | 16 | 753188 | 194052 | 4607 77 | 0 | 1 1311.38/1311.77 c 1305s | 16 | 754249 | 194352 | 4607 77 | 0 | 1 1314.38/1314.76 c 1308s | 16 | 755084 | 194652 | 4607 77 | 0 | 1 1316.88/1317.25 c 1311s | 16 | 756134 | 194952 | 4607 77 | 0 | 1 1318.98/1319.36 c 1313s | 16 | 757139 | 195252 | 4607 77 | 0 | 1 1321.58/1321.90 c 1315s | 16 | 758298 | 195552 | 5068 77 | 0 | 1 1324.08/1324.41 c 1318s | 16 | 759480 | 195852 | 5068 77 | 0 | 1 1326.48/1326.82 c 1320s | 16 | 760491 | 196252 | 5068 77 | 0 | 1 1328.48/1328.88 c 1322s | 16 | 761478 | 196552 | 5068 77 | 0 | 1 1330.88/1331.20 c 1325s | 16 | 762255 | 196852 | 5068 77 | 0 | 1 1333.38/1333.73 c 1327s | 16 | 763038 | 197152 | 5068 77 | 0 | 1 1335.68/1336.03 c 1329s | 17 | 763934 | 197432 | 5068 77 | 0 | 1 1337.78/1338.19 c 1332s | 17 | 764803 | 197732 | 5068 78 | 0 | 1 1340.68/1341.05 c 1334s | 17 | 765449 | 198032 | 5068 78 | 0 | 1 1343.47/1343.84 c 1337s | 17 | 766097 | 198332 | 5068 78 | 0 | 1 1346.18/1346.55 c 1340s | 17 | 766621 | 198632 | 5068 78 | 0 | 1 1348.67/1349.00 c 1342s | 17 | 767191 | 198932 | 5068 78 | 0 | 1 1351.27/1351.60 c 1345s | 17 | 767696 | 199232 | 5068 78 | 0 | 1 1353.57/1353.96 c 1347s | 17 | 768236 | 199532 | 5068 78 | 0 | 1 1355.77/1356.13 c 1350s | 17 | 768964 | 199732 | 5068 78 | 0 | 1 1358.77/1359.11 c 1353s | 17 | 769660 | 200032 | 5068 78 | 0 | 1 1361.37/1361.75 c 1355s | 17 | 770384 | 200332 | 5068 78 | 0 | 1 1363.57/1363.95 c 1357s | 17 | 770861 | 200632 | 5068 78 | 0 | 1 1366.07/1366.44 c 1360s | 17 | 771358 | 200932 | 5068 79 | 0 | 1 1368.37/1368.72 c 1362s | 17 | 771695 | 201132 | 5068 79 | 0 | 1 1370.67/1371.03 c 1364s | 17 | 772036 | 201332 | 5068 79 | 0 | 1 1373.07/1373.42 c 1367s | 17 | 772773 | 201632 | 5068 79 | 0 | 1 1375.78/1376.18 c 1370s | 17 | 773387 | 201932 | 5068 79 | 0 | 1 1378.57/1378.99 c 1372s | 17 | 773860 | 202232 | 5068 79 | 0 | 1 1380.87/1381.26 c 1375s | 17 | 774882 | 202532 | 5068 79 | 0 | 1 1383.37/1383.79 c 1377s | 17 | 776124 | 202832 | 5068 79 | 0 | 1 1386.37/1386.79 c 1380s | 17 | 776878 | 203132 | 5068 79 | 0 | 1 1388.57/1388.99 c 1382s | 17 | 777323 | 203432 | 5068 79 | 0 | 1 1391.27/1391.69 c 1385s | 17 | 778470 | 203732 | 5068 79 | 0 | 1 1393.67/1394.05 c 1387s | 17 | 778950 | 204032 | 5068 79 | 0 | 1 1396.77/1397.18 c 1391s | 17 | 779596 | 204332 | 5068 80 | 0 | 1 1399.26/1399.60 c 1393s | 17 | 780386 | 204532 | 5068 80 | 0 | 1 1401.56/1401.98 c 1395s | 17 | 780833 | 204832 | 5068 80 | 0 | 1 1404.26/1404.66 c 1398s | 17 | 781326 | 205132 | 5068 80 | 0 | 1 1406.46/1406.89 c 1400s | 17 | 783190 | 205432 | 5068 80 | 0 | 1 1408.56/1408.92 c 1402s | 17 | 785089 | 205732 | 5068 80 | 0 | 1 1411.16/1411.54 c 1405s | 17 | 785714 | 206032 | 5068 80 | 0 | 1 1413.56/1413.94 c 1407s | 17 | 787833 | 206332 | 5068 80 | 0 | 1 1415.56/1415.97 c 1409s | 17 | 788212 | 206532 | 5068 80 | 0 | 1 1418.16/1418.50 c 1412s | 17 | 788715 | 206732 | 5068 81 | 0 | 1 1420.66/1421.02 c 1414s | 17 | 789094 | 206932 | 5068 81 | 0 | 1 1423.26/1423.62 c 1417s | 17 | 789467 | 207132 | 5068 81 | 0 | 1 1426.37/1426.79 c 1420s | 17 | 790593 | 207432 | 5068 81 | 0 | 1 1428.96/1429.37 c 1423s | 17 | 790959 | 207632 | 5068 81 | 0 | 1 1431.56/1431.98 c 1425s | 17 | 791379 | 207832 | 5068 81 | 0 | 1 1434.26/1434.61 c 1428s | 17 | 791769 | 208032 | 5068 81 | 0 | 1 1437.16/1437.53 c 1431s | 17 | 792159 | 208232 | 5068 81 | 0 | 1 1440.86/1441.28 c 1435s | 17 | 792779 | 208432 | 5068 81 | 0 | 1 1442.96/1443.36 c 1437s | 17 | 793143 | 208532 | 5068 81 | 0 | 1 1445.56/1445.97 c 1439s | 17 | 793329 | 208632 | 5068 81 | 0 | 1 1447.66/1448.08 c 1441s | 17 | 793616 | 208732 | 5068 81 | 0 | 1 1450.16/1450.57 c 1444s | 17 | 793810 | 208832 | 5068 81 | 0 | 1 1453.06/1453.43 c 1447s | 17 | 794189 | 209032 | 5068 81 | 0 | 1 1455.06/1455.45 c 1449s | 17 | 795064 | 209232 | 5068 81 | 0 | 1 1458.36/1458.75 c 1452s | 17 | 795538 | 209432 | 5068 81 | 0 | 1 1461.15/1461.54 c 1455s | 17 | 796449 | 209632 | 5068 81 | 0 | 1 1463.95/1464.36 c 1458s | 17 | 796755 | 209832 | 5068 81 | 0 | 1 1466.95/1467.33 c 1461s | 17 | 797498 | 210032 | 5068 81 | 0 | 1 1470.65/1471.03 c 1464s | 17 | 797829 | 210232 | 5068 81 | 0 | 1 1472.95/1473.31 c 1467s | 17 | 798222 | 210332 | 5068 81 | 0 | 1 1476.75/1477.13 c 1471s | 17 | 798513 | 210532 | 5068 81 | 0 | 1 1479.75/1480.16 c 1474s | 17 | 799296 | 210732 | 5068 82 | 0 | 1 1482.15/1482.53 c 1476s | 17 | 799758 | 210932 | 5068 82 | 0 | 1 1485.05/1485.44 c 1479s | 17 | 800761 | 211132 | 5068 82 | 0 | 1 1487.05/1487.50 c 1481s | 17 | 801447 | 211332 | 5068 82 | 0 | 1 1489.45/1489.85 c 1483s | 17 | 802193 | 211532 | 5068 82 | 0 | 1 1492.36/1492.73 c 1486s | 17 | 803044 | 211732 | 5068 82 | 0 | 1 1495.35/1495.76 c 1489s | 17 | 803756 | 211932 | 5068 82 | 0 | 1 1498.65/1499.03 c 1492s | 17 | 804142 | 212132 | 5068 82 | 0 | 1 1502.15/1502.56 c 1496s | 17 | 804641 | 212332 | 5068 82 | 0 | 1 1504.55/1504.91 c 1498s | 17 | 805140 | 212432 | 5068 82 | 0 | 1 1506.55/1506.97 c 1500s | 17 | 805402 | 212532 | 5068 82 | 0 | 1 1509.95/1510.33 c 1504s | 17 | 805744 | 212732 | 5068 82 | 0 | 1 1513.04/1513.46 c 1507s | 17 | 806231 | 212932 | 5068 82 | 0 | 1 1515.14/1515.56 c 1509s | 17 | 806383 | 213032 | 5068 82 | 0 | 1 1518.14/1518.56 c 1512s | 17 | 807785 | 213232 | 5068 82 | 0 | 1 1521.54/1521.95 c 1515s | 17 | 808316 | 213432 | 5068 82 | 0 | 1 1524.44/1524.87 c 1518s | 17 | 809257 | 213632 | 5068 82 | 0 | 1 1527.14/1527.51 c 1521s | 17 | 809731 | 213832 | 5068 83 | 0 | 1 1529.34/1529.75 c 1523s | 17 | 810049 | 214032 | 5068 83 | 0 | 1 1532.34/1532.71 c 1526s | 17 | 810748 | 214232 | 5068 83 | 0 | 1 1535.54/1535.92 c 1529s | 17 | 811090 | 214432 | 5068 83 | 0 | 1 1538.44/1538.84 c 1532s | 17 | 811852 | 214632 | 5068 83 | 0 | 1 1541.24/1541.61 c 1535s | 17 | 812102 | 214732 | 5068 83 | 0 | 1 1544.15/1544.55 c 1538s | 17 | 813279 | 214932 | 5068 83 | 0 | 1 1547.14/1547.57 c 1541s | 17 | 813970 | 215132 | 5068 83 | 0 | 1 1550.04/1550.43 c 1544s | 17 | 814433 | 215332 | 5068 83 | 0 | 1 1553.64/1554.09 c 1547s | 17 | 815101 | 215532 | 5068 83 | 0 | 1 1557.04/1557.46 c 1551s | 17 | 815494 | 215732 | 5068 83 | 0 | 1 1559.94/1560.32 c 1554s | 17 | 816224 | 215932 | 5068 83 | 0 | 1 1563.74/1564.20 c 1558s | 17 | 816790 | 216132 | 5068 83 | 0 | 1 1566.34/1566.79 c 1560s | 17 | 817120 | 216232 | 5068 83 | 0 | 1 1570.14/1570.50 c 1564s | 17 | 818259 | 216532 | 5068 83 | 0 | 1 1573.43/1573.83 c 1567s | 17 | 821086 | 216832 | 5068 84 | 0 | 1 1576.93/1577.32 c 1571s | 17 | 821925 | 217032 | 5068 84 | 0 | 1 1579.73/1580.14 c 1574s | 17 | 822505 | 217232 | 5068 84 | 0 | 1 1582.83/1583.22 c 1577s | 17 | 822884 | 217432 | 5068 84 | 0 | 1 1586.23/1586.60 c 1580s | 17 | 823192 | 217632 | 5068 84 | 0 | 1 1588.73/1589.11 c 1583s | 17 | 823867 | 217832 | 5068 84 | 0 | 1 1591.83/1592.27 c 1586s | 17 | 824246 | 218032 | 5068 84 | 0 | 1 1594.74/1595.12 c 1589s | 17 | 824826 | 218332 | 5068 84 | 0 | 1 1597.63/1598.00 c 1591s | 17 | 825338 | 218632 | 5068 84 | 0 | 1 1600.43/1600.89 c 1594s | 17 | 825814 | 218832 | 5068 84 | 0 | 1 1603.03/1603.46 c 1597s | 17 | 826302 | 219032 | 5068 84 | 0 | 1 1605.83/1606.28 c 1600s | 17 | 826874 | 219232 | 5068 84 | 0 | 1 1608.13/1608.52 c 1602s | 17 | 827915 | 219432 | 5068 84 | 0 | 1 1611.24/1611.63 c 1605s | 17 | 828496 | 219632 | 5068 84 | 0 | 1 1614.54/1614.94 c 1608s | 17 | 829090 | 219832 | 5068 84 | 0 | 1 1618.13/1618.57 c 1612s | 17 | 829432 | 220032 | 5068 84 | 0 | 1 1621.73/1622.15 c 1616s | 17 | 829776 | 220232 | 5068 85 | 0 | 1 1624.93/1625.37 c 1619s | 17 | 830130 | 220432 | 5068 85 | 0 | 1 1628.63/1629.07 c 1622s | 17 | 830452 | 220632 | 5068 85 | 0 | 1 1631.73/1632.16 c 1626s | 17 | 830783 | 220832 | 5068 85 | 0 | 1 1634.93/1635.32 c 1629s | 17 | 831237 | 221032 | 5068 85 | 0 | 1 1637.13/1637.57 c 1631s | 17 | 832004 | 221232 | 5068 85 | 0 | 1 1639.52/1639.91 c 1633s | 17 | 832532 | 221432 | 5068 85 | 0 | 1 1641.62/1642.02 c 1635s | 17 | 833300 | 221632 | 5068 85 | 0 | 1 1644.52/1644.90 c 1638s | 17 | 833798 | 221832 | 5068 85 | 0 | 1 1647.62/1648.03 c 1641s | 17 | 834291 | 222032 | 5068 85 | 0 | 1 1650.42/1650.81 c 1644s | 17 | 834721 | 222232 | 5068 85 | 0 | 1 1653.72/1654.11 c 1648s | 17 | 835014 | 222432 | 5068 85 | 0 | 1 1656.92/1657.36 c 1651s | 17 | 835314 | 222632 | 5068 85 | 0 | 1 1659.82/1660.25 c 1654s | 17 | 835602 | 222832 | 5068 85 | 0 | 1 1662.42/1662.80 c 1656s | 17 | 836080 | 223132 | 5068 85 | 0 | 1 1665.13/1665.56 c 1659s | 17 | 836607 | 223332 | 5068 86 | 0 | 1 1667.82/1668.28 c 1662s | 17 | 836940 | 223532 | 5068 86 | 0 | 1 1670.53/1670.93 c 1664s | 17 | 837449 | 223732 | 5068 86 | 0 | 1 1673.62/1674.09 c 1667s | 17 | 837920 | 223932 | 5068 86 | 0 | 1 1677.23/1677.63 c 1671s | 17 | 838285 | 224132 | 5068 86 | 0 | 1 1680.62/1681.05 c 1674s | 17 | 838561 | 224332 | 5068 86 | 0 | 1 1684.32/1684.74 c 1678s | 17 | 838861 | 224532 | 5068 86 | 0 | 1 1686.72/1687.17 c 1681s | 17 | 839166 | 224732 | 5068 86 | 0 | 1 1690.22/1690.63 c 1684s | 17 | 839486 | 224932 | 5068 86 | 0 | 1 1693.12/1693.53 c 1687s | 17 | 839916 | 225132 | 5068 86 | 0 | 1 1695.22/1695.62 c 1689s | 17 | 841067 | 225332 | 5068 86 | 0 | 1 1698.72/1699.16 c 1693s | 17 | 841367 | 225532 | 5068 86 | 0 | 1 1701.82/1702.27 c 1696s | 17 | 841824 | 225732 | 5068 86 | 0 | 1 1704.81/1705.29 c 1699s | 17 | 842443 | 226032 | 5068 86 | 0 | 1 1706.92/1707.34 c 1701s | 17 | 842977 | 226232 | 5068 86 | 0 | 1 1709.51/1709.95 c 1703s | 17 | 843280 | 226432 | 5068 86 | 0 | 1 1711.61/1712.06 c 1705s | 17 | 843813 | 226732 | 5068 87 | 0 | 1 1714.62/1715.00 c 1708s | 17 | 844335 | 227032 | 5068 87 | 0 | 1 1716.61/1717.01 c 1710s | 17 | 844822 | 227232 | 5068 87 | 0 | 1 1719.71/1720.15 c 1714s | 17 | 845537 | 227432 | 5068 87 | 0 | 1 1722.32/1722.73 c 1716s | 17 | 846021 | 227632 | 5068 87 | 0 | 1 1724.91/1725.37 c 1719s | 17 | 846474 | 227832 | 5068 87 | 0 | 1 1727.91/1728.35 c 1722s | 17 | 847119 | 228032 | 5068 87 | 0 | 1 1730.91/1731.34 c 1725s | 17 | 847555 | 228232 | 5068 87 | 0 | 1 1733.11/1733.50 c 1727s | 17 | 847962 | 228432 | 5068 87 | 0 | 1 1735.21/1735.68 c 1729s | 17 | 849909 | 228832 | 5068 87 | 0 | 1 1738.01/1738.43 c 1732s | 17 | 852044 | 229332 | 5068 87 | 0 | 1 1740.11/1740.50 c 1734s | 17 | 853108 | 229732 | 5068 87 | 0 | 1 1742.21/1742.66 c 1736s | 17 | 854113 | 230232 | 5068 88 | 0 | 1 1745.01/1745.41 c 1739s | 17 | 854665 | 230532 | 5068 88 | 0 | 1 1747.11/1747.57 c 1741s | 17 | 854938 | 230732 | 5068 88 | 0 | 1 1750.31/1750.70 c 1744s | 17 | 855465 | 231032 | 5068 88 | 0 | 1 1752.51/1752.96 c 1746s | 17 | 855746 | 231232 | 5068 88 | 0 | 1 1755.01/1755.43 c 1749s | 17 | 856212 | 231432 | 5068 88 | 0 | 1 1758.01/1758.47 c 1752s | 17 | 856544 | 231632 | 5068 88 | 0 | 1 1761.11/1761.58 c 1755s | 17 | 857805 | 231932 | 5068 88 | 0 | 1 1764.02/1764.50 c 1758s | 17 | 858596 | 232232 | 5068 88 | 0 | 1 1766.81/1767.20 c 1761s | 17 | 859023 | 232432 | 5068 88 | 0 | 1 1769.62/1770.05 c 1763s | 17 | 859499 | 232632 | 5068 88 | 0 | 1 1772.41/1772.89 c 1766s | 17 | 859899 | 232832 | 5068 88 | 0 | 1 1775.02/1775.44 c 1769s | 17 | 860299 | 233032 | 5068 88 | 0 | 1 1777.81/1778.24 c 1772s | 17 | 860622 | 233232 | 5068 89 | 0 | 1 1780.62/1781.04 c 1774s | 17 | 861775 | 233632 | 5068 89 | 0 | 1 1782.91/1783.37 c 1777s | 17 | 863004 | 234032 | 5068 89 | 0 | 1 1785.61/1786.00 c 1779s | 17 | 863373 | 234232 | 5068 89 | 0 | 1 1789.42/1789.81 c 1783s | 17 | 864145 | 234432 | 5068 89 | 0 | 1 1791.61/1792.05 c 1785s | 17 | 864665 | 234632 | 5068 89 | 0 | 1 1794.01/1794.41 c 1788s | 17 | 865058 | 234832 | 5068 89 | 0 | 1 1796.71/1797.18 c 1791s | 17 | 866226 | 235032 | 5068 89 | 0 | 1 1799.61/1800.02 c 1793s | 17 | 866744 | 235232 | 5068 89 | 0 | 1
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4107074-1466281965/watcher-4107074-1466281965 -o /tmp/evaluation-result-4107074-1466281965/solver-4107074-1466281965 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107074-1466281965.opb pid=27885 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.29 2.30 2.25 4/179 27888 /proc/meminfo: memFree=29129048/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=269756 CPUtime=0 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 924 0 0 0 0 0 0 0 20 0 4 0 30242237 276230144 1795 33554432000 4194304 16246674 140736320050384 140736320049808 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 67951 1804 441 2943 0 64845 0 [pid=27888/tid=27889] ppid=27885 vsize=285116 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 291958784 1859 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=289212 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 296153088 1875 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=293308 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 300347392 1891 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.10022 s] /proc/loadavg: 2.29 2.30 2.25 4/179 27888 /proc/meminfo: memFree=29129048/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 25187 0 0 0 5 4 0 0 20 0 4 0 30242237 1247350784 26046 33554432000 4194304 16246674 140736320050384 140736320049808 6021174 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 304529 26055 743 2943 0 301423 0 [pid=27888/tid=27889] ppid=27885 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 1247350784 26061 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 1247350784 26066 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1247350784 26070 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200516 s] /proc/loadavg: 2.29 2.30 2.25 4/179 27888 /proc/meminfo: memFree=29129048/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 40882 0 0 0 13 6 0 0 20 0 4 0 30242237 1247350784 41742 33554432000 4194304 16246674 140736320050384 140736320049808 12478333 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 304529 41756 743 2943 0 301423 0 [pid=27888/tid=27889] ppid=27885 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 1247350784 41757 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 1247350784 41761 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1247350784 41765 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300498 s] /proc/loadavg: 2.29 2.30 2.25 4/179 27888 /proc/meminfo: memFree=29129048/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=1220164 CPUtime=0.29 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 57999 0 0 0 20 9 0 0 20 0 4 0 30242237 1249447936 58840 33554432000 4194304 16246674 140736320050384 140736320049808 4221105 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 305041 58845 771 2943 0 301935 0 [pid=27888/tid=27889] ppid=27885 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 1249447936 58848 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 1249447936 58851 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1249447936 58854 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1220164 [startup+0.700408 s] /proc/loadavg: 2.29 2.30 2.25 4/179 27888 /proc/meminfo: memFree=29129048/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=1307204 CPUtime=0.69 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 82056 0 0 0 57 12 0 0 20 0 4 0 30242237 1338576896 82893 33554432000 4194304 16246674 140736320050384 140736320049696 12371341 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 326801 82905 842 2943 0 323695 0 [pid=27888/tid=27889] ppid=27885 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 1338576896 82912 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 1338576896 82918 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1338576896 82924 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1307204 [startup+1.50041 s] /proc/loadavg: 2.29 2.30 2.25 4/183 27892 /proc/meminfo: memFree=28431372/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=1307204 CPUtime=1.49 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 262438 0 0 0 111 38 0 0 20 0 4 0 30242237 1338576896 263274 33554432000 4194304 16246674 140736320050384 140736320032256 12652961 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 326801 263284 842 2943 0 323695 0 [pid=27888/tid=27889] ppid=27885 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 1338576896 263290 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 1338576896 263295 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1338576896 263300 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1307204 [startup+3.10038 s] /proc/loadavg: 2.29 2.30 2.25 4/183 27892 /proc/meminfo: memFree=27986940/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=1375812 CPUtime=3.08 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 285033 0 0 0 268 40 0 0 20 0 4 0 30242237 1408831488 285869 33554432000 4194304 16246674 140736320050384 140736320049600 4220912 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 343953 285869 842 2943 0 340847 0 [pid=27888/tid=27889] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285869 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285869 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285869 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1375812 [startup+6.30042 s] /proc/loadavg: 2.43 2.33 2.26 3/183 27892 /proc/meminfo: memFree=27987232/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=1375812 CPUtime=6.28 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 285033 0 0 0 588 40 0 0 20 0 4 0 30242237 1408831488 285869 33554432000 4194304 16246674 140736320050384 140736320032256 5711952 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 343953 285869 842 2943 0 340847 0 [pid=27888/tid=27889] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285869 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285869 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285869 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1375812 [startup+12.7004 s] /proc/loadavg: 2.39 2.32 2.25 3/183 27892 /proc/meminfo: memFree=27987004/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=1375812 CPUtime=12.68 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 285035 0 0 0 1228 40 0 0 20 0 4 0 30242237 1408831488 285871 33554432000 4194304 16246674 140736320050384 140736320032256 13943729 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 343953 285871 844 2943 0 340847 0 [pid=27888/tid=27889] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285871 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285871 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285871 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1375812 [startup+25.5005 s] /proc/loadavg: 2.39 2.32 2.26 3/183 27892 /proc/meminfo: memFree=27988620/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=1375812 CPUtime=25.48 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 285036 0 0 0 2508 40 0 0 20 0 4 0 30242237 1408831488 285872 33554432000 4194304 16246674 140736320050384 140736320033384 5711338 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 343953 285872 845 2943 0 340847 0 [pid=27888/tid=27889] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285872 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285872 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285872 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1375812 [startup+51.1005 s] /proc/loadavg: 2.54 2.36 2.27 3/183 27892 /proc/meminfo: memFree=27988924/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=1375812 CPUtime=51.07 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 285036 0 0 0 5067 40 0 0 20 0 4 0 30242237 1408831488 285872 33554432000 4194304 16246674 140736320050384 140736320032256 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 343953 285872 845 2943 0 340847 0 [pid=27888/tid=27889] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285872 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285872 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285872 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1375812 [startup+102.3 s] /proc/loadavg: 2.31 2.32 2.26 3/183 27893 /proc/meminfo: memFree=27988100/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=1375812 CPUtime=102.28 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 285039 0 0 0 10187 41 0 0 20 0 4 0 30242237 1408831488 285875 33554432000 4194304 16246674 140736320050384 140736320032256 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 343953 285875 848 2943 0 340847 0 [pid=27888/tid=27889] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285875 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285875 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285875 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1375812 ################ # More data... # ################ /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 1375812 [startup+1302.3 s] /proc/loadavg: 2.19 2.24 2.24 3/183 27972 /proc/meminfo: memFree=23181304/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=1375812 CPUtime=1301.98 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 285221 0 0 0 130154 44 0 0 20 0 4 0 30242237 1408831488 285888 33554432000 4194304 16246674 140736320050384 140736320032256 5712004 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 343953 285888 852 2943 0 340847 0 [pid=27888/tid=27889] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1375812 [startup+1362.3 s] /proc/loadavg: 2.25 2.24 2.23 3/183 27973 /proc/meminfo: memFree=22303964/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=1375812 CPUtime=1361.97 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 285221 0 0 0 136153 44 0 0 20 0 4 0 30242237 1408831488 285888 33554432000 4194304 16246674 140736320050384 140736320032256 5721783 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 343953 285888 852 2943 0 340847 0 [pid=27888/tid=27889] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1375812 [startup+1422.3 s] /proc/loadavg: 2.20 2.23 2.23 3/183 27974 /proc/meminfo: memFree=22302864/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=1375812 CPUtime=1421.97 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 285221 0 0 0 142153 44 0 0 20 0 4 0 30242237 1408831488 285888 33554432000 4194304 16246674 140736320050384 140736320032256 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 343953 285888 852 2943 0 340847 0 [pid=27888/tid=27889] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 1375812 [startup+1482.3 s] /proc/loadavg: 2.19 2.21 2.22 3/183 27976 /proc/meminfo: memFree=22302964/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=1375812 CPUtime=1481.95 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 285221 0 0 0 148151 44 0 0 20 0 4 0 30242237 1408831488 285888 33554432000 4194304 16246674 140736320050384 140736320032256 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 343953 285888 852 2943 0 340847 0 [pid=27888/tid=27889] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 1375812 [startup+1542.31 s] /proc/loadavg: 2.32 2.23 2.22 3/183 27977 /proc/meminfo: memFree=22302932/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=1375812 CPUtime=1541.95 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 285221 0 0 0 154151 44 0 0 20 0 4 0 30242237 1408831488 285888 33554432000 4194304 16246674 140736320050384 140736320032256 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 343953 285888 852 2943 0 340847 0 [pid=27888/tid=27889] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 1375812 [startup+1602.3 s] /proc/loadavg: 2.24 2.22 2.22 3/183 27978 /proc/meminfo: memFree=22302576/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=1375812 CPUtime=1601.93 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 285221 0 0 0 160149 44 0 0 20 0 4 0 30242237 1408831488 285888 33554432000 4194304 16246674 140736320050384 140736320032256 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 343953 285888 852 2943 0 340847 0 [pid=27888/tid=27889] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 1375812 [startup+1662.3 s] /proc/loadavg: 2.27 2.22 2.22 3/184 27982 /proc/meminfo: memFree=22302868/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=1375812 CPUtime=1661.92 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 285221 0 0 0 166148 44 0 0 20 0 4 0 30242237 1408831488 285888 33554432000 4194304 16246674 140736320050384 140736320032256 5711496 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 343953 285888 852 2943 0 340847 0 [pid=27888/tid=27889] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1375812 [startup+1722.3 s] /proc/loadavg: 2.27 2.23 2.22 3/184 28006 /proc/meminfo: memFree=22300796/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=1375812 CPUtime=1721.91 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 285221 0 0 0 172147 44 0 0 20 0 4 0 30242237 1408831488 285888 33554432000 4194304 16246674 140736320050384 140736320032256 5711644 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 343953 285888 852 2943 0 340847 0 [pid=27888/tid=27889] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 1375812 [startup+1782.3 s] /proc/loadavg: 2.20 2.21 2.21 3/183 28008 /proc/meminfo: memFree=22216508/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=1375812 CPUtime=1781.91 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 285221 0 0 0 178146 45 0 0 20 0 4 0 30242237 1408831488 285888 33554432000 4194304 16246674 140736320050384 140736320032256 5722540 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 343953 285888 852 2943 0 340847 0 [pid=27888/tid=27889] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 1375812 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.14 2.20 2.20 3/183 28008 /proc/meminfo: memFree=22216756/32872528 swapFree=1499884/1696108 [pid=27888] ppid=27885 vsize=1375812 CPUtime=1800.01 cores=1,3,5,7 /proc/27888/stat : 27888 (toysat) R 27885 27888 24910 0 -1 4202496 285221 0 0 0 179956 45 0 0 20 0 4 0 30242237 1408831488 285888 33554432000 4194304 16246674 140736320050384 140736320032256 13781188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27888/statm: 343953 285888 852 2943 0 340847 0 [pid=27888/tid=27889] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27889/stat : 27889 (toysat) S 27885 27888 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988912024816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=27888/tid=27890] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27890/stat : 27890 (toysat) S 27885 27888 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988901534960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=27888/tid=27891] ppid=27885 vsize=1375812 CPUtime=0 cores=1,3,5,7 /proc/27888/task/27891/stat : 27891 (toysat) S 27885 27888 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30242238 1408831488 285888 33554432000 4194304 16246674 140736320050384 139988821863600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1375812 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 27888 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.02 CPU user time (s): 1799.57 CPU system time (s): 0.451931 CPU usage (%): 99.9783 Max. virtual memory (cumulated for all children) (KiB): 1375812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.57 system time used= 0.451931 maximum resident set size= 1143552 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 285221 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= 197 involuntary context switches= 2117 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.6183 second user time and 6.90995 second system time The end
Begin job on node137 at 2016-06-18 22:32:45 IDJOB=4107074 IDBENCH=71864 IDSOLVER=2542 FILE ID=node137/4107074-1466281965 RUNJOBID= node137-1466264772-24927 PBS_JOBID= 19918225 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__8.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107074-1466281965/watcher-4107074-1466281965 -o /tmp/evaluation-result-4107074-1466281965/solver-4107074-1466281965 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107074-1466281965.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c4c6dd67011e32867b82b6fc160942fb RANDOM SEED=1328906209 node137.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.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.97 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.486 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.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 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.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 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.38 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.486 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.56 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.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29129692 kB Buffers: 40380 kB Cached: 152132 kB SwapCached: 1044 kB Active: 703036 kB Inactive: 602944 kB Active(anon): 620628 kB Inactive(anon): 495328 kB Active(file): 82408 kB Inactive(file): 107616 kB Unevictable: 1696108 kB Mlocked: 1499884 kB SwapTotal: 67108856 kB SwapFree: 67100060 kB Dirty: 16360 kB Writeback: 0 kB AnonPages: 2809324 kB Mapped: 10708 kB Shmem: 0 kB Slab: 604864 kB SReclaimable: 47744 kB SUnreclaim: 557120 kB KernelStack: 1456 kB PageTables: 9572 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2952296 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 937984 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= 71612 MiB End job on node137 at 2016-06-18 23:02:46