Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.04 | 1800.52 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ EmployeeScheduling/normalized-aug6.5.opb |
| MD5SUM | e7157cdd30d6bd11cdabb558af2d567f |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 670 |
| Best CPU time to get the best result obtained on this benchmark | 1800.06 |
| 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 | 9632 |
| Total number of constraints | 29620 |
| Number of constraints which are clauses | 27555 |
| Number of constraints which are cardinality constraints (but not clauses) | 245 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1820 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 248 |
| Number of terms in the objective function | 26 |
| Biggest coefficient in the objective function | 200 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2110 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 200 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 2110 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.04 c 2016-06-29T16:06:24+0200 0.00/0.04 c version = 0.5.0 0.00/0.04 c githash = 1a49202 0.00/0.04 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.04 c arch = x86_64 0.00/0.04 c os = linux 0.00/0.04 c compiler = ghc 7.10 0.00/0.04 c packages: 0.00/0.04 c OptDir-0.0.3 0.00/0.04 c array-0.5.1.0 0.00/0.04 c base-4.8.2.0 0.00/0.04 c bytestring-0.10.6.0 0.00/0.04 c bytestring-builder-0.10.6.0.0 0.00/0.04 c clock-0.7.2 0.00/0.04 c containers-0.5.6.2 0.00/0.04 c data-default-0.5.3 0.00/0.04 c data-default-class-0.0.1 0.00/0.04 c data-interval-1.2.0 0.00/0.04 c deepseq-1.4.1.1 0.00/0.04 c directory-1.2.2.0 0.00/0.04 c exceptions-0.8.2.1 0.00/0.04 c extended-reals-0.2.1.0 0.00/0.04 c filepath-1.4.0.0 0.00/0.04 c finite-field-0.8.0 0.00/0.04 c hashable-1.2.4.0 0.00/0.04 c heaps-0.3.3 0.00/0.04 c intern-0.9.1.4 0.00/0.04 c loop-0.3.0 0.00/0.04 c mtl-2.2.1 0.00/0.04 c multiset-0.3.2 0.00/0.04 c mwc-random-0.13.3.2 0.00/0.04 c parse_dimacs-1.3 0.00/0.04 c parsec-3.1.9 0.00/0.04 c prettyclass-1.0.0.0 0.00/0.04 c primes-0.2.1.0 0.00/0.04 c primitive-0.6.1.0 0.00/0.04 c process-1.2.3.0 0.00/0.04 c pseudo-boolean-0.1.3.0 0.00/0.05 c queue-0.1.2 0.00/0.05 c semigroups-0.18.1 0.00/0.05 c sign-0.4.3 0.00/0.05 c stm-2.4.4.1 0.00/0.05 c template-haskell-2.10.0.0 0.00/0.05 c temporary-1.2.0.4 0.00/0.05 c time-1.5.0.1 0.00/0.05 c transformers-0.4.2.0 0.00/0.05 c transformers-compat-0.5.1.4 0.00/0.05 c type-level-numbers-0.1.1.1 0.00/0.05 c unbounded-delays-0.1.0.9 0.00/0.05 c unordered-containers-0.2.6.0 0.00/0.05 c vector-0.11.0.0 0.00/0.05 c vector-space-0.10.3 0.00/0.05 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4117330-1467209132.opb"] 0.00/0.05 c use --random-gen="940664128 2524158983 2784136528 3043963603 3303002661 1197129902 1929189268 2739917839 652712083 3349957475 2987081417 300278067 3913604161 431769257 4173014026 2003546880 1592522341 3194122427 2867084339 3188283535 42782111 1971257492 1038934139 2637751143 811870916 1827496245 287518361 3503718946 2262948359 3845482416 1165269877 999988339 1987821488 2337972902 472916213 3484744505 866706838 1714713352 1554798681 668272868 1803905927 3802203162 61516624 3544936 2631315620 3381463936 2426212221 2018126254 3791491509 332139004 3705547099 2950778651 2781623472 897304863 3046270369 4149217511 63201073 103601184 3795855870 1010109488 3195579458 2538268356 600416660 2120007610 3108013528 2773992401 102705749 1834519215 1526980518 3994523271 1985045241 543759847 1395332961 3811886844 2837823242 265961651 31236256 1057532734 2230516596 4197155047 2160292917 12866711 1221359367 875116714 1237821411 955738914 3055559904 1427307266 3040622642 339865513 871241552 2122252902 562976646 143934006 3401265727 3085654366 2735560696 1144739797 3242764858 642176992 2423120077 3651190092 2124905996 2696561595 1596424640 3577371343 1989720653 300884630 2977673775 3808904279 1817355057 2589622611 955471131 1055153363 1547660361 1813656914 2944034161 1528801420 986232545 1588144984 1013178658 1491639955 2124904194 2529739363 3834732948 1377551050 546442210 121937574 573436443 474081291 2860731069 3230363315 2774960287 3077364488 3125791444 3219525323 152729839 2996709806 2425245529 1119571602 2443236084 1945392680 1242783423 3411699165 4274227030 2849290476 3285177155 3270707419 2390411711 271507828 759426229 291673924 1282576629 3079966703 1701109168 936916078 2321533673 603422888 2091191193 954720483 1188069250 1694429283 3192971567 2670034906 3428729080 2848160101 1442250695 3405437390 147469987 2400274493 1244982235 1883360822 3318030279 4227438021 524059180 2911573736 3496418173 1762358071 330972626 4197128810 421148671 3420557450 3252600551 1835166413 3034168348 1662031648 2203401285 2937507972 3398787865 2617334643 155064310 119906516 3917818548 1788056527 375348134 1312460005 1072758473 3162221915 3027937911 1839010497 3615807192 628895077 3735010227 2876305857 3908990221 3175398808 3869500575 167521032 2521431445 1462303470 199602955 1714573367 2788599508 1084146720 4145962949 384760807 4186459075 4111888346 3705353334 93878972 1873309008 2700311012 3591737005 112074059 1709318957 2046441489 2040707457 3895463300 762431047 1825938253 4184791314 496453695 2304564794 3977488317 2149548126 3665148122 3332551323 1857257283 3238187652 2684102617 3912450998 3505859431 1153958063 2490600453 1676203366 594242562 4268154649 1474845058 1037783847 91733395 500203415 544519541 2972107581 4155623670 2700962847 3795713875 255 362436" option to reproduce the execution 0.14/0.28 c #vars 9632 0.14/0.28 c #constraints 29620 0.64/0.70 c BCD2: Hardening is enabled. 0.64/0.70 c BCD2: BiasedSearch is enabled. 0.64/0.70 c Solving starts ... 0.64/0.70 c ============================[ Search Statistics ]============================ 0.64/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.64/0.70 c | | | | Limit GC | Var | Constra 0.64/0.70 c ============================================================================= 0.64/0.71 c 0.0s | 0 | 0 | 0 | 13084 0 | 0 | 0 0.74/0.86 c 0.2s | 1 | 10399 | 100 | 13084 0 | 0 | 0 1.15/1.25 c 0.5s | 2 | 43895 | 250 | 14393 0 | 0 | 0 1.35/1.47 c 0.8s | 3 | 60095 | 475 | 15833 0 | 0 | 0 1.64/1.70 c 1.0s | 4 | 74288 | 813 | 17417 0 | 0 | 0 2.04/2.11 c 1.4s | 5 | 101115 | 1320 | 19159 0 | 0 | 0 2.84/2.91 c 2.2s | 6 | 176806 | 2081 | 23183 0 | 0 | 0 4.04/4.11 c 3.4s | 6 | 287409 | 2562 | 23183 0 | 0 | 0 4.04/4.11 c #cpu_time = 3.401s 4.04/4.11 c #wall_clock_time = 3.401s 4.04/4.11 c #decision = 287409 4.04/4.11 c #random_decision = 876 4.04/4.11 c #conflict = 2562 4.04/4.11 c #restart = 6 4.04/4.11 o 2110 4.04/4.11 c BCD2: refineUB: 2109 -> 2090 4.04/4.11 c BCD2: updating upper bound: 2110 -> 2090 4.04/4.11 c BCD2: 0 <= obj <= 2090 4.04/4.11 c BCD2: #cores=0, #unrelaxed=26, #relaxed=0, #hardened=0 4.04/4.11 c BCD2: #sat=1 #unsat=1 bias=1/2 4.04/4.11 c Solving starts ... 4.04/4.11 c ============================[ Search Statistics ]============================ 4.04/4.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.04/4.11 c | | | | Limit GC | Var | Constra 4.04/4.11 c ============================================================================= 4.04/4.11 c 0.0s | 0 | 0 | 0 | 23183 0 | 0 | 0 4.04/4.17 c 0.1s | 1 | 396 | 100 | 23183 0 | 0 | 0 4.14/4.22 c 0.1s | 2 | 594 | 250 | 23183 0 | 0 | 0 4.24/4.30 c 0.2s | 3 | 878 | 475 | 23183 0 | 0 | 0 4.34/4.42 c 0.3s | 4 | 1275 | 813 | 25502 0 | 0 | 0 4.44/4.60 c 0.5s | 5 | 1818 | 1320 | 25502 0 | 0 | 0 4.74/4.88 c 0.8s | 6 | 2614 | 2081 | 25502 0 | 0 | 0 5.24/5.31 c 1.2s | 7 | 3825 | 3223 | 28053 0 | 0 | 0 5.84/5.98 c 1.9s | 8 | 5615 | 4936 | 30859 0 | 0 | 0 7.14/7.30 c 3.2s | 9 | 8292 | 7506 | 30859 0 | 0 | 0 9.14/9.22 c 5.1s | 10 | 12367 | 11361 | 33945 0 | 0 | 0 11.15/11.27 c 7.2s | 10 | 16149 | 14861 | 37340 0 | 0 | 0 12.44/12.59 c 8.5s | 11 | 18571 | 17144 | 37340 0 | 0 | 0 14.55/14.68 c 10.6s | 11 | 21582 | 19944 | 37340 0 | 0 | 0 16.65/16.72 c 12.6s | 11 | 23792 | 22044 | 37340 0 | 0 | 0 18.64/18.75 c 14.6s | 11 | 26688 | 24744 | 41074 0 | 0 | 0 19.64/19.72 c 15.6s | 12 | 27860 | 25819 | 41074 0 | 0 | 0 21.64/21.78 c 17.7s | 12 | 29968 | 27819 | 41074 0 | 0 | 0 23.74/23.80 c 19.7s | 12 | 32436 | 30119 | 41074 0 | 0 | 0 25.74/25.82 c 21.7s | 12 | 34811 | 32319 | 41074 0 | 0 | 0 27.34/27.47 c 23.4s | 12 | 36720 | 34098 | 41074 0 | 0 | 0 27.34/27.47 c #cpu_time = 23.359s 27.34/27.47 c #wall_clock_time = 23.358s 27.34/27.47 c #decision = 36720 27.34/27.47 c #random_decision = 125 27.34/27.47 c #conflict = 34098 27.34/27.47 c #restart = 12 27.34/27.47 c BCD2: found a new core of size 13: cost of the new core is >=20 27.34/27.47 c lower bound updated to 20 27.34/27.47 c BCD2: refineUB: 2109 -> 2090 27.34/27.48 c BCD2: 20 <= obj <= 2090 27.34/27.48 c BCD2: #cores=1, #unrelaxed=13, #relaxed=13, #hardened=0 27.34/27.48 c BCD2: #sat=1 #unsat=2 bias=2/3 27.34/27.48 c Solving starts ... 27.34/27.48 c ============================[ Search Statistics ]============================ 27.34/27.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 27.34/27.48 c | | | | Limit GC | Var | Constra 27.34/27.48 c ============================================================================= 27.34/27.48 c 0.0s | 0 | 0 | 0 | 41074 0 | 0 | 0 27.54/27.61 c 0.1s | 0 | 13 | 0 | 41074 0 | 0 | 0 27.54/27.61 c #cpu_time = 0.137s 27.54/27.61 c #wall_clock_time = 0.137s 27.54/27.61 c #decision = 13 27.54/27.61 c #random_decision = 0 27.54/27.61 c #conflict = 0 27.54/27.61 c #restart = 0 27.54/27.61 c BCD2: found a new core of size 13: cost of the new core is >=50 27.54/27.61 c lower bound updated to 70 27.54/27.61 c BCD2: refineUB: 2109 -> 2090 27.54/27.61 c BCD2: 70 <= obj <= 2090 27.54/27.61 c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0 27.54/27.61 c BCD2: #sat=1 #unsat=3 bias=3/4 27.54/27.61 c Solving starts ... 27.54/27.61 c ============================[ Search Statistics ]============================ 27.54/27.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 27.54/27.61 c | | | | Limit GC | Var | Constra 27.54/27.61 c ============================================================================= 27.54/27.61 c 0.0s | 0 | 0 | 0 | 41074 0 | 0 | 0 27.84/27.94 c 0.3s | 1 | 2378 | 100 | 41074 0 | 0 | 0 28.14/28.26 c 0.6s | 2 | 24965 | 250 | 41074 0 | 0 | 0 28.54/28.63 c 1.0s | 3 | 50734 | 475 | 41074 0 | 0 | 0 28.74/28.89 c 1.3s | 3 | 62611 | 506 | 41074 0 | 0 | 0 28.74/28.89 c #cpu_time = 1.268s 28.74/28.89 c #wall_clock_time = 1.268s 28.74/28.89 c #decision = 62611 28.74/28.89 c #random_decision = 196 28.74/28.89 c #conflict = 506 28.74/28.89 c #restart = 3 28.74/28.89 o 1550 28.74/28.89 c BCD2: refineUB: 1549 -> 1540 28.74/28.89 c BCD2: updating upper bound: 2090 -> 1540 28.74/28.89 c BCD2: 70 <= obj <= 1540 28.74/28.89 c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0 28.74/28.89 c BCD2: #sat=2 #unsat=3 bias=3/5 28.74/28.89 c Solving starts ... 28.74/28.89 c ============================[ Search Statistics ]============================ 28.74/28.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 28.74/28.89 c | | | | Limit GC | Var | Constra 28.74/28.89 c ============================================================================= 28.74/28.89 c 0.0s | 0 | 0 | 0 | 41074 0 | 0 | 0 29.04/29.12 c 0.2s | 1 | 5587 | 100 | 41074 0 | 0 | 0 29.74/29.81 c 0.9s | 2 | 42716 | 250 | 41074 0 | 0 | 0 30.04/30.11 c 1.2s | 3 | 51596 | 475 | 41074 0 | 0 | 0 30.54/30.61 c 1.7s | 3 | 73201 | 584 | 41074 0 | 0 | 0 30.54/30.61 c #cpu_time = 1.711s 30.54/30.61 c #wall_clock_time = 1.711s 30.54/30.61 c #decision = 73201 30.54/30.61 c #random_decision = 175 30.54/30.61 c #conflict = 584 30.54/30.61 c #restart = 3 30.54/30.61 o 920 30.54/30.61 c BCD2: refineUB: 919 -> 910 30.54/30.61 c BCD2: updating upper bound: 1540 -> 910 30.54/30.61 c BCD2: 70 <= obj <= 910 30.54/30.61 c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0 30.54/30.61 c BCD2: #sat=3 #unsat=3 bias=3/6 30.54/30.61 c Solving starts ... 30.54/30.61 c ============================[ Search Statistics ]============================ 30.54/30.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 30.54/30.61 c | | | | Limit GC | Var | Constra 30.54/30.61 c ============================================================================= 30.54/30.61 c 0.0s | 0 | 0 | 0 | 41074 0 | 0 | 1 30.74/30.85 c 0.2s | 1 | 4119 | 100 | 41074 0 | 0 | 1 30.94/31.04 c 0.4s | 2 | 6598 | 250 | 41074 0 | 0 | 1 31.14/31.27 c 0.7s | 3 | 7169 | 475 | 41074 0 | 0 | 1 31.44/31.53 c 0.9s | 4 | 8984 | 813 | 41074 0 | 0 | 1 32.04/32.12 c 1.5s | 5 | 10478 | 1320 | 45182 0 | 0 | 1 32.44/32.53 c 1.9s | 6 | 13182 | 2081 | 45182 0 | 0 | 1 32.94/33.03 c 2.4s | 7 | 16135 | 3223 | 45182 0 | 0 | 1 33.54/33.67 c 3.1s | 8 | 18576 | 4936 | 45182 0 | 0 | 1 35.14/35.25 c 4.6s | 9 | 22810 | 7506 | 45182 0 | 0 | 1 37.04/37.16 c 6.6s | 10 | 27509 | 11361 | 45182 1 | 0 | 1 39.04/39.17 c 8.6s | 10 | 30763 | 13561 | 45182 1 | 0 | 1 40.73/40.87 c 10.3s | 11 | 34492 | 17144 | 45182 1 | 0 | 1 49.64/49.74 c 19.1s | 11 | 48086 | 17944 | 45182 1 | 0 | 1 51.63/51.78 c 21.2s | 11 | 50473 | 20244 | 49701 1 | 0 | 1 53.73/53.80 c 23.2s | 11 | 52652 | 22344 | 49701 1 | 0 | 1 55.73/55.89 c 25.3s | 11 | 54877 | 24444 | 49701 1 | 0 | 1 57.53/57.67 c 27.1s | 12 | 56279 | 25819 | 49701 1 | 0 | 1 59.64/59.71 c 29.1s | 12 | 64041 | 28719 | 49701 1 | 0 | 1 61.63/61.74 c 31.1s | 12 | 68376 | 32919 | 49701 1 | 0 | 1 63.63/63.74 c 33.1s | 12 | 71656 | 36119 | 49701 1 | 0 | 1 65.43/65.58 c 35.0s | 13 | 74406 | 38832 | 49701 1 | 0 | 1 67.53/67.60 c 37.0s | 13 | 78661 | 42732 | 49701 2 | 0 | 1 69.54/69.63 c 39.0s | 13 | 82673 | 46632 | 49701 2 | 0 | 1 71.53/71.69 c 41.1s | 13 | 85748 | 49632 | 54672 2 | 0 | 1 73.64/73.75 c 43.1s | 13 | 88756 | 52532 | 54672 2 | 0 | 1 75.74/75.80 c 45.2s | 13 | 91347 | 55032 | 54672 2 | 0 | 1 77.74/77.87 c 47.3s | 13 | 93338 | 56932 | 54672 2 | 0 | 1 79.04/79.16 c 48.5s | 14 | 94784 | 58352 | 54672 2 | 0 | 1 81.03/81.18 c 50.6s | 14 | 101908 | 63252 | 54672 2 | 0 | 1 83.13/83.22 c 52.6s | 14 | 105665 | 66852 | 54672 2 | 0 | 1 85.13/85.25 c 54.6s | 14 | 108597 | 69652 | 54672 2 | 0 | 1 87.14/87.30 c 56.7s | 14 | 110999 | 71952 | 54672 3 | 0 | 1 89.24/89.32 c 58.7s | 14 | 113156 | 73952 | 54672 3 | 0 | 1 91.23/91.33 c 60.7s | 14 | 114930 | 75652 | 54672 3 | 0 | 1 93.23/93.37 c 62.8s | 14 | 116595 | 77252 | 54672 3 | 0 | 1 95.33/95.44 c 64.8s | 14 | 118410 | 78952 | 54672 3 | 0 | 1 97.53/97.61 c 67.0s | 14 | 120228 | 80652 | 54672 3 | 0 | 1 99.53/99.67 c 69.1s | 14 | 121714 | 82052 | 54672 3 | 0 | 1 101.63/101.72 c 71.1s | 14 | 123072 | 83352 | 54672 3 | 0 | 1 103.64/103.74 c 73.1s | 14 | 124465 | 84652 | 54672 3 | 0 | 1 105.63/105.74 c 75.1s | 14 | 125725 | 85852 | 54672 3 | 0 | 1 107.63/107.74 c 77.1s | 14 | 126990 | 87052 | 54672 3 | 0 | 1 108.63/108.71 c 78.1s | 15 | 127594 | 87632 | 54672 3 | 0 | 1 110.63/110.74 c 80.1s | 15 | 131958 | 89232 | 54672 3 | 0 | 1 112.62/112.77 c 82.2s | 15 | 136172 | 93232 | 60140 3 | 0 | 1 114.72/114.86 c 84.2s | 15 | 139335 | 96232 | 60140 3 | 0 | 1 116.73/116.87 c 86.3s | 15 | 142410 | 99132 | 60140 3 | 0 | 1 118.93/119.08 c 88.5s | 15 | 153346 | 101032 | 60140 3 | 0 | 1 121.02/121.13 c 90.5s | 15 | 159492 | 106432 | 60140 3 | 0 | 1 123.02/123.14 c 92.5s | 15 | 162912 | 109632 | 60140 4 | 0 | 1 125.02/125.16 c 94.6s | 15 | 166382 | 112832 | 60140 4 | 0 | 1 127.02/127.17 c 96.6s | 15 | 168956 | 115232 | 60140 4 | 0 | 1 129.02/129.19 c 98.6s | 15 | 171701 | 117832 | 60140 4 | 0 | 1 131.13/131.25 c 100s | 15 | 174275 | 120232 | 60140 4 | 0 | 1 133.23/133.34 c 102s | 15 | 176619 | 122432 | 60140 4 | 0 | 1 135.32/135.45 c 104s | 15 | 178116 | 123832 | 60140 4 | 0 | 1 137.32/137.48 c 106s | 15 | 179850 | 125432 | 60140 4 | 0 | 1 139.52/139.63 c 109s | 15 | 181338 | 126832 | 60140 4 | 0 | 1 141.72/141.82 c 111s | 15 | 186669 | 127732 | 60140 4 | 0 | 1 144.33/144.48 c 113s | 15 | 187880 | 128432 | 60140 4 | 0 | 1 145.62/145.75 c 115s | 16 | 191198 | 131552 | 60140 4 | 0 | 1 147.72/147.87 c 117s | 16 | 193088 | 132552 | 60140 4 | 0 | 1 149.73/149.90 c 119s | 16 | 199130 | 137752 | 60140 4 | 0 | 1 151.82/151.92 c 121s | 16 | 202760 | 141152 | 60140 5 | 0 | 1 153.82/153.98 c 123s | 16 | 206188 | 144452 | 60140 5 | 0 | 1 155.82/155.99 c 125s | 16 | 208983 | 147152 | 60140 5 | 0 | 1 157.92/158.02 c 127s | 16 | 211253 | 149352 | 60140 5 | 0 | 1 159.92/160.06 c 129s | 16 | 213375 | 151352 | 60140 5 | 0 | 1 162.02/162.16 c 131s | 16 | 215395 | 153252 | 60140 5 | 0 | 1 164.13/164.22 c 133s | 16 | 217041 | 154852 | 60140 5 | 0 | 1 166.12/166.27 c 135s | 16 | 218798 | 156552 | 60140 5 | 0 | 1 168.12/168.28 c 137s | 16 | 220740 | 158452 | 66154 5 | 0 | 1 170.22/170.31 c 139s | 16 | 222319 | 159952 | 66154 5 | 0 | 1 172.32/172.46 c 141s | 16 | 223673 | 161252 | 66154 5 | 0 | 1 174.42/174.51 c 143s | 16 | 225143 | 162652 | 66154 5 | 0 | 1 176.42/176.56 c 145s | 16 | 226576 | 164052 | 66154 5 | 0 | 1 178.62/178.79 c 148s | 16 | 227355 | 164752 | 66154 5 | 0 | 1 180.92/181.05 c 150s | 16 | 228202 | 165552 | 66154 5 | 0 | 1 183.12/183.27 c 152s | 16 | 228939 | 166252 | 66154 5 | 0 | 1 185.22/185.33 c 154s | 16 | 229822 | 167052 | 66154 5 | 0 | 1 187.32/187.49 c 156s | 16 | 230678 | 167852 | 66154 5 | 0 | 1 189.62/189.76 c 159s | 16 | 231631 | 168752 | 66154 5 | 0 | 1 191.62/191.78 c 161s | 16 | 232377 | 169452 | 66154 5 | 0 | 1 193.72/193.89 c 163s | 16 | 233026 | 170052 | 66154 5 | 0 | 1 196.11/196.20 c 165s | 16 | 233675 | 170652 | 66154 5 | 0 | 1 198.22/198.34 c 167s | 16 | 234536 | 171452 | 66154 5 | 0 | 1 201.52/201.61 c 170s | 16 | 239933 | 172152 | 66154 5 | 0 | 1 203.51/203.61 c 173s | 16 | 245707 | 177452 | 66154 5 | 0 | 1 205.51/205.63 c 175s | 16 | 248964 | 180552 | 66154 6 | 0 | 1 207.51/207.64 c 177s | 16 | 251954 | 183352 | 66154 6 | 0 | 1 209.51/209.67 c 179s | 16 | 254919 | 186152 | 66154 6 | 0 | 1 211.61/211.74 c 181s | 16 | 256818 | 187952 | 66154 6 | 0 | 1 213.62/213.74 c 183s | 16 | 259047 | 190052 | 66154 6 | 0 | 1 215.72/215.85 c 185s | 16 | 261157 | 192052 | 66154 6 | 0 | 1 217.81/217.92 c 187s | 16 | 262777 | 193652 | 66154 6 | 0 | 1 219.81/219.97 c 189s | 16 | 264650 | 195452 | 66154 6 | 0 | 1 221.81/221.97 c 191s | 16 | 266398 | 197152 | 66154 6 | 0 | 1 222.21/222.30 c 191s | 17 | 266696 | 197432 | 66154 6 | 0 | 1 232.21/232.36 c 201s | 17 | 267169 | 197532 | 66154 6 | 0 | 1 241.01/241.12 c 210s | 17 | 271626 | 201632 | 66154 6 | 0 | 1 243.11/243.24 c 212s | 17 | 272758 | 202732 | 66154 6 | 0 | 1 245.20/245.36 c 214s | 17 | 273989 | 203932 | 66154 6 | 0 | 1 247.30/247.44 c 216s | 17 | 275163 | 205032 | 66154 6 | 0 | 1 249.30/249.44 c 218s | 17 | 276503 | 206332 | 66154 6 | 0 | 1 251.40/251.55 c 220s | 17 | 277631 | 207432 | 66154 6 | 0 | 1 253.50/253.61 c 223s | 17 | 278970 | 208732 | 66154 6 | 0 | 1 255.60/255.78 c 225s | 17 | 280292 | 210032 | 66154 6 | 0 | 1 257.70/257.88 c 227s | 17 | 281815 | 211432 | 66154 6 | 0 | 1 259.90/260.03 c 229s | 17 | 283265 | 212832 | 66154 6 | 0 | 1 262.60/262.77 c 232s | 17 | 284209 | 213732 | 66154 7 | 0 | 1 264.70/264.82 c 234s | 17 | 286454 | 215932 | 66154 7 | 0 | 1 267.30/267.45 c 236s | 17 | 287851 | 217032 | 66154 7 | 0 | 1 269.30/269.49 c 238s | 17 | 292361 | 221432 | 66154 7 | 0 | 1 271.40/271.53 c 240s | 17 | 296173 | 225132 | 66154 7 | 0 | 1 274.41/274.53 c 243s | 17 | 299572 | 226732 | 66154 7 | 0 | 1 276.41/276.58 c 245s | 17 | 303831 | 230932 | 66154 7 | 0 | 1 278.51/278.62 c 248s | 17 | 307598 | 234632 | 66154 7 | 0 | 1 280.51/280.63 c 250s | 17 | 310623 | 237632 | 66154 7 | 0 | 1 282.61/282.70 c 252s | 17 | 313483 | 240432 | 66154 7 | 0 | 1 284.60/284.78 c 254s | 17 | 315822 | 242732 | 66154 7 | 0 | 1 286.70/286.85 c 256s | 17 | 317874 | 244732 | 66154 7 | 0 | 1 288.70/288.88 c 258s | 17 | 320072 | 246832 | 66154 7 | 0 | 1 290.80/290.99 c 260s | 17 | 321796 | 248532 | 66154 8 | 0 | 1 292.90/293.09 c 262s | 17 | 323413 | 250132 | 66154 8 | 0 | 1 295.01/295.14 c 264s | 17 | 325350 | 252032 | 66154 8 | 0 | 1 297.11/297.26 c 266s | 17 | 327189 | 253832 | 66154 8 | 0 | 1 299.20/299.30 c 268s | 17 | 328723 | 255332 | 66154 8 | 0 | 1 301.20/301.38 c 270s | 17 | 330400 | 256932 | 72770 8 | 0 | 1 303.30/303.47 c 272s | 17 | 332236 | 258732 | 72770 8 | 0 | 1 305.40/305.51 c 274s | 17 | 333273 | 259732 | 72770 8 | 0 | 1 307.50/307.62 c 277s | 17 | 334575 | 260932 | 72770 8 | 0 | 1 309.70/309.81 c 279s | 17 | 335830 | 262132 | 72770 8 | 0 | 1 311.70/311.82 c 281s | 17 | 336954 | 263232 | 72770 8 | 0 | 1 313.80/313.95 c 283s | 17 | 338276 | 264532 | 72770 8 | 0 | 1 316.00/316.11 c 285s | 17 | 339631 | 265832 | 72770 8 | 0 | 1 318.10/318.22 c 287s | 17 | 340859 | 267032 | 72770 8 | 0 | 1 320.20/320.39 c 289s | 17 | 342145 | 268232 | 72770 8 | 0 | 1 322.30/322.44 c 291s | 17 | 343309 | 269332 | 72770 8 | 0 | 1 324.30/324.49 c 293s | 17 | 344360 | 270332 | 72770 8 | 0 | 1 326.40/326.57 c 295s | 17 | 345322 | 271232 | 72770 8 | 0 | 1 328.50/328.63 c 298s | 17 | 346364 | 272232 | 72770 8 | 0 | 1 330.69/330.80 c 300s | 17 | 347428 | 273232 | 72770 8 | 0 | 1 332.69/332.85 c 302s | 17 | 348467 | 274232 | 72770 8 | 0 | 1 334.79/334.97 c 304s | 17 | 349537 | 275232 | 72770 8 | 0 | 1 336.80/336.98 c 306s | 17 | 350481 | 276132 | 72770 8 | 0 | 1 339.19/339.30 c 308s | 17 | 351323 | 276932 | 72770 8 | 0 | 1 341.20/341.34 c 310s | 17 | 351928 | 277532 | 72770 8 | 0 | 1 343.30/343.49 c 312s | 17 | 352735 | 278332 | 72770 8 | 0 | 1 345.39/345.52 c 314s | 17 | 353591 | 279132 | 72770 8 | 0 | 1 347.49/347.66 c 317s | 17 | 354309 | 279832 | 72770 8 | 0 | 1 349.49/349.69 c 319s | 17 | 355149 | 280632 | 72770 8 | 0 | 1 351.79/351.96 c 321s | 17 | 355981 | 281432 | 72770 8 | 0 | 1 354.09/354.26 c 323s | 17 | 356825 | 282232 | 72770 8 | 0 | 1 356.09/356.27 c 325s | 17 | 357429 | 282832 | 72770 8 | 0 | 1 358.29/358.44 c 327s | 17 | 358264 | 283632 | 72770 8 | 0 | 1 360.29/360.48 c 329s | 17 | 358901 | 284232 | 72770 8 | 0 | 1 362.49/362.68 c 332s | 17 | 359615 | 284932 | 72770 8 | 0 | 1 364.79/364.99 c 334s | 17 | 360476 | 285732 | 72770 8 | 0 | 1 366.89/367.07 c 336s | 17 | 361193 | 286432 | 72770 8 | 0 | 1 368.89/369.09 c 338s | 17 | 361824 | 287032 | 72770 8 | 0 | 1 371.29/371.43 c 340s | 17 | 362639 | 287832 | 72770 8 | 0 | 1 373.59/373.77 c 343s | 17 | 363450 | 288632 | 72770 8 | 0 | 1 375.69/375.84 c 345s | 17 | 364279 | 289432 | 72770 8 | 0 | 1 387.59/387.70 c 357s | 17 | 364698 | 289832 | 72770 9 | 0 | 1 389.78/389.92 c 359s | 17 | 365095 | 290232 | 72770 9 | 0 | 1 391.88/392.05 c 361s | 17 | 366024 | 291132 | 72770 9 | 0 | 1 393.99/394.19 c 363s | 17 | 367159 | 292232 | 72770 9 | 0 | 1 396.19/396.33 c 365s | 17 | 368106 | 293132 | 72770 9 | 0 | 1 398.39/398.54 c 367s | 17 | 369042 | 294032 | 72770 9 | 0 | 1 400.59/400.77 c 370s | 17 | 369971 | 294932 | 72770 9 | 0 | 1 402.88/403.01 c 372s | 17 | 370799 | 295732 | 72770 9 | 0 | 1 404.38/404.50 c 373s | 18 | 371313 | 296252 | 72770 9 | 0 | 1 407.78/407.95 c 377s | 18 | 373921 | 296352 | 72770 9 | 0 | 1 409.78/409.96 c 379s | 18 | 378631 | 300852 | 72770 9 | 0 | 1 411.78/411.97 c 381s | 18 | 382526 | 304552 | 72770 9 | 0 | 1 413.88/414.05 c 383s | 18 | 385256 | 307152 | 72770 9 | 0 | 1 415.88/416.06 c 385s | 18 | 388075 | 309752 | 72770 9 | 0 | 1 417.98/418.11 c 387s | 18 | 390432 | 311952 | 72770 9 | 0 | 1 420.08/420.20 c 389s | 18 | 392330 | 313652 | 72770 9 | 0 | 1 422.07/422.29 c 391s | 18 | 394415 | 315552 | 72770 9 | 0 | 1 424.17/424.37 c 393s | 18 | 396307 | 317252 | 72770 9 | 0 | 1 426.27/426.49 c 395s | 18 | 398317 | 319052 | 72770 9 | 0 | 1 428.37/428.56 c 397s | 18 | 399949 | 320552 | 72770 9 | 0 | 1 430.37/430.58 c 399s | 18 | 401631 | 322152 | 72770 9 | 0 | 1 432.57/432.70 c 402s | 18 | 402788 | 323252 | 72770 9 | 0 | 1 434.58/434.79 c 404s | 18 | 404065 | 324452 | 72770 9 | 0 | 1 436.78/436.95 c 406s | 18 | 405271 | 325552 | 72770 9 | 0 | 1 438.77/438.97 c 408s | 18 | 406358 | 326552 | 72770 9 | 0 | 1 440.77/440.97 c 410s | 18 | 407659 | 327752 | 72770 9 | 0 | 1 442.87/443.07 c 412s | 18 | 408823 | 328852 | 72770 10 | 0 | 1 444.87/445.09 c 414s | 18 | 410028 | 329952 | 72770 10 | 0 | 1 447.07/447.21 c 416s | 18 | 411330 | 331152 | 72770 10 | 0 | 1 449.17/449.32 c 418s | 18 | 412689 | 332352 | 72770 10 | 0 | 1 451.37/451.55 c 420s | 18 | 413974 | 333552 | 72770 10 | 0 | 1 453.48/453.67 c 423s | 18 | 415032 | 334552 | 72770 10 | 0 | 1 455.59/455.76 c 425s | 18 | 416182 | 335652 | 72770 10 | 0 | 1 457.79/457.97 c 427s | 18 | 417346 | 336752 | 72770 10 | 0 | 1 459.89/460.07 c 429s | 18 | 418504 | 337852 | 72770 10 | 0 | 1 462.08/462.26 c 431s | 18 | 419551 | 338852 | 72770 10 | 0 | 1 464.48/464.61 c 434s | 18 | 420326 | 339552 | 72770 10 | 0 | 1 466.48/466.69 c 436s | 18 | 420967 | 340152 | 72770 10 | 0 | 1 468.48/468.69 c 438s | 18 | 421599 | 340752 | 72770 10 | 0 | 1 470.58/470.75 c 440s | 18 | 422344 | 341452 | 72770 10 | 0 | 1 472.78/472.91 c 442s | 18 | 423073 | 342152 | 72770 10 | 0 | 1 474.88/475.06 c 444s | 18 | 423834 | 342852 | 72770 10 | 0 | 1 477.18/477.39 c 446s | 18 | 424468 | 343452 | 72770 10 | 0 | 1 479.28/479.44 c 448s | 18 | 425327 | 344252 | 72770 10 | 0 | 1 481.37/481.51 c 450s | 18 | 426072 | 344952 | 72770 10 | 0 | 1 483.67/483.88 c 453s | 18 | 427045 | 345852 | 72770 10 | 0 | 1 485.77/485.96 c 455s | 18 | 427933 | 346652 | 72770 10 | 0 | 1 487.97/488.10 c 457s | 18 | 428819 | 347452 | 72770 10 | 0 | 1 489.97/490.19 c 459s | 18 | 429452 | 348052 | 72770 10 | 0 | 1 492.27/492.48 c 461s | 18 | 430195 | 348752 | 72770 10 | 0 | 1 494.37/494.57 c 463s | 18 | 431076 | 349552 | 72770 10 | 0 | 1 496.67/496.83 c 466s | 18 | 431929 | 350352 | 72770 10 | 0 | 1 498.77/498.92 c 468s | 18 | 432689 | 351052 | 72770 10 | 0 | 1 500.87/501.01 c 470s | 18 | 433424 | 351752 | 72770 10 | 0 | 1 503.17/503.37 c 472s | 18 | 434086 | 352352 | 72770 10 | 0 | 1 505.27/505.47 c 474s | 18 | 434700 | 352952 | 72770 10 | 0 | 1 507.57/507.75 c 477s | 18 | 435425 | 353652 | 72770 10 | 0 | 1 509.77/509.97 c 479s | 18 | 436159 | 354352 | 72770 10 | 0 | 1 512.07/512.25 c 481s | 18 | 436923 | 355052 | 72770 10 | 0 | 1 514.37/514.50 c 483s | 18 | 437774 | 355852 | 72770 10 | 0 | 1 516.77/516.95 c 486s | 18 | 438406 | 356452 | 72770 10 | 0 | 1 518.77/518.95 c 488s | 18 | 438932 | 356952 | 72770 10 | 0 | 1 520.97/521.15 c 490s | 18 | 439454 | 357452 | 72770 10 | 0 | 1 523.27/523.44 c 492s | 18 | 440013 | 357952 | 72770 10 | 0 | 1 525.57/525.75 c 495s | 18 | 440644 | 358552 | 72770 10 | 0 | 1 527.67/527.85 c 497s | 18 | 441279 | 359152 | 72770 10 | 0 | 1 529.97/530.11 c 499s | 18 | 441915 | 359752 | 72770 10 | 0 | 1 531.97/532.18 c 501s | 18 | 442431 | 360252 | 72770 10 | 0 | 1 534.26/534.41 c 503s | 18 | 443059 | 360852 | 72770 10 | 0 | 1 536.46/536.60 c 505s | 18 | 443686 | 361452 | 72770 10 | 0 | 1 538.66/538.87 c 508s | 18 | 444343 | 362052 | 72770 10 | 0 | 1 540.96/541.10 c 510s | 18 | 444971 | 362652 | 72770 10 | 0 | 1 543.16/543.32 c 512s | 18 | 445597 | 363252 | 72770 10 | 0 | 1 545.36/545.53 c 514s | 18 | 446237 | 363852 | 72770 10 | 0 | 1 547.56/547.75 c 517s | 18 | 446874 | 364452 | 72770 10 | 0 | 1 549.66/549.81 c 519s | 18 | 447414 | 364952 | 72770 10 | 0 | 1 551.86/552.09 c 521s | 18 | 448072 | 365552 | 72770 10 | 0 | 1 554.06/554.21 c 523s | 18 | 448698 | 366152 | 72770 10 | 0 | 1 556.36/556.54 c 525s | 18 | 449460 | 366852 | 72770 10 | 0 | 1 561.26/561.45 c 530s | 18 | 450129 | 367452 | 72770 11 | 0 | 1 563.36/563.55 c 532s | 18 | 450657 | 367952 | 72770 11 | 0 | 1 565.46/565.68 c 535s | 18 | 451735 | 368952 | 72770 11 | 0 | 1 567.67/567.84 c 537s | 18 | 452792 | 369952 | 72770 11 | 0 | 1 612.86/613.04 c 582s | 18 | 453457 | 370552 | 72770 11 | 0 | 1 614.96/615.13 c 584s | 18 | 454287 | 371352 | 72770 11 | 0 | 1 617.05/617.26 c 586s | 18 | 455553 | 372552 | 72770 11 | 0 | 1 619.15/619.37 c 588s | 18 | 456862 | 373752 | 72770 11 | 0 | 1 621.25/621.46 c 590s | 18 | 457288 | 374152 | 72770 11 | 0 | 1 623.45/623.61 c 593s | 18 | 458364 | 375152 | 72770 11 | 0 | 1 625.45/625.64 c 595s | 18 | 459481 | 376152 | 72770 11 | 0 | 1 627.65/627.81 c 597s | 18 | 460570 | 377152 | 72770 11 | 0 | 1 629.85/630.01 c 599s | 18 | 461688 | 378152 | 72770 11 | 0 | 1 631.95/632.11 c 601s | 18 | 462625 | 379052 | 72770 11 | 0 | 1 633.94/634.16 c 603s | 18 | 463711 | 380052 | 72770 11 | 0 | 1 636.04/636.21 c 605s | 18 | 464660 | 380952 | 72770 11 | 0 | 1 638.15/638.36 c 607s | 18 | 465616 | 381852 | 72770 11 | 0 | 1 640.25/640.46 c 609s | 18 | 466722 | 382852 | 72770 11 | 0 | 1 642.34/642.59 c 611s | 18 | 467703 | 383752 | 72770 11 | 0 | 1 644.54/644.72 c 614s | 18 | 468799 | 384752 | 72770 11 | 0 | 1 646.64/646.85 c 616s | 18 | 469727 | 385652 | 72770 11 | 0 | 1 648.74/648.93 c 618s | 18 | 470595 | 386452 | 72770 11 | 0 | 1 650.94/651.10 c 620s | 18 | 471564 | 387352 | 72770 11 | 0 | 1 653.14/653.33 c 622s | 18 | 472445 | 388152 | 72770 11 | 0 | 1 655.14/655.38 c 624s | 18 | 473309 | 388952 | 72770 11 | 0 | 1 657.34/657.59 c 626s | 18 | 474039 | 389652 | 72770 11 | 0 | 1 659.54/659.74 c 629s | 18 | 474937 | 390452 | 72770 11 | 0 | 1 661.64/661.86 c 631s | 18 | 475784 | 391252 | 72770 11 | 0 | 1 663.74/663.96 c 633s | 18 | 476643 | 392052 | 72770 11 | 0 | 1 665.94/666.19 c 635s | 18 | 477287 | 392652 | 72770 11 | 0 | 1 668.14/668.33 c 637s | 18 | 478029 | 393352 | 72770 11 | 0 | 1 670.44/670.62 c 640s | 18 | 478746 | 394052 | 72770 11 | 0 | 1 672.54/672.72 c 642s | 18 | 479368 | 394652 | 72770 11 | 0 | 1 674.64/674.88 c 644s | 18 | 480113 | 395352 | 72770 11 | 0 | 1 676.94/677.11 c 646s | 18 | 480877 | 396052 | 72770 11 | 0 | 1 679.24/679.41 c 648s | 18 | 481732 | 396852 | 72770 11 | 0 | 1 681.34/681.55 c 650s | 18 | 482457 | 397552 | 72770 11 | 0 | 1 683.64/683.82 c 653s | 18 | 483110 | 398152 | 72770 11 | 0 | 1 685.74/685.97 c 655s | 18 | 483877 | 398852 | 72770 11 | 0 | 1 687.73/687.99 c 657s | 18 | 484393 | 399352 | 72770 11 | 0 | 1 690.03/690.21 c 659s | 18 | 485153 | 400052 | 72770 11 | 0 | 1 692.44/692.65 c 662s | 18 | 485902 | 400752 | 72770 11 | 0 | 1 694.44/694.68 c 664s | 18 | 486509 | 401352 | 72770 11 | 0 | 1 696.64/696.87 c 666s | 18 | 487345 | 402152 | 72770 11 | 0 | 1 698.94/699.13 c 668s | 18 | 488066 | 402852 | 72770 11 | 0 | 1 701.14/701.34 c 670s | 18 | 488796 | 403552 | 72770 11 | 0 | 1 703.14/703.37 c 672s | 18 | 489329 | 404052 | 80047 11 | 0 | 1 705.25/705.46 c 674s | 18 | 489848 | 404552 | 80047 11 | 0 | 1 707.54/707.77 c 677s | 18 | 490384 | 405052 | 80047 11 | 0 | 1 709.84/710.07 c 679s | 18 | 491027 | 405652 | 80047 11 | 0 | 1 712.24/712.43 c 681s | 18 | 491534 | 406152 | 80047 11 | 0 | 1 714.44/714.63 c 684s | 18 | 492174 | 406752 | 80047 11 | 0 | 1 716.74/716.97 c 686s | 18 | 492694 | 407252 | 80047 11 | 0 | 1 718.94/719.16 c 688s | 18 | 493213 | 407752 | 80047 11 | 0 | 1 721.44/721.64 c 691s | 18 | 493844 | 408352 | 80047 11 | 0 | 1 723.44/723.65 c 693s | 18 | 494283 | 408752 | 80047 11 | 0 | 1 725.94/726.16 c 695s | 18 | 494819 | 409252 | 80047 11 | 0 | 1 728.04/728.20 c 697s | 18 | 495297 | 409652 | 80047 11 | 0 | 1 730.34/730.60 c 699s | 18 | 495839 | 410152 | 80047 11 | 0 | 1 732.54/732.75 c 702s | 18 | 496368 | 410652 | 80047 11 | 0 | 1 734.94/735.17 c 704s | 18 | 497000 | 411252 | 80047 11 | 0 | 1 737.24/737.43 c 706s | 18 | 497634 | 411852 | 80047 11 | 0 | 1 739.24/739.43 c 708s | 18 | 498144 | 412352 | 80047 11 | 0 | 1 741.54/741.74 c 711s | 18 | 498773 | 412952 | 80047 11 | 0 | 1 747.93/748.12 c 717s | 18 | 498973 | 413152 | 80047 12 | 0 | 1 755.33/755.59 c 724s | 18 | 499190 | 413352 | 80047 12 | 0 | 1 757.53/757.78 c 727s | 18 | 499836 | 413952 | 80047 12 | 0 | 1 759.83/760.05 c 729s | 18 | 500727 | 414752 | 80047 12 | 0 | 1 762.03/762.23 c 731s | 18 | 501506 | 415452 | 80047 12 | 0 | 1 764.03/764.25 c 733s | 18 | 502263 | 416152 | 80047 12 | 0 | 1 766.13/766.36 c 735s | 18 | 503103 | 416952 | 80047 12 | 0 | 1 768.23/768.49 c 737s | 18 | 504149 | 417952 | 80047 12 | 0 | 1 770.43/770.63 c 740s | 18 | 505189 | 418952 | 80047 12 | 0 | 1 772.63/772.80 c 742s | 18 | 506021 | 419752 | 80047 12 | 0 | 1 774.83/775.00 c 744s | 18 | 506956 | 420652 | 80047 12 | 0 | 1 776.93/777.15 c 746s | 18 | 507808 | 421452 | 80047 12 | 0 | 1 779.03/779.23 c 748s | 18 | 508436 | 422052 | 80047 12 | 0 | 1 781.03/781.27 c 750s | 18 | 509177 | 422752 | 80047 12 | 0 | 1 783.23/783.48 c 752s | 18 | 509919 | 423452 | 80047 12 | 0 | 1 785.53/785.77 c 755s | 18 | 510655 | 424152 | 80047 12 | 0 | 1 787.52/787.80 c 757s | 18 | 511399 | 424852 | 80047 12 | 0 | 1 789.62/789.86 c 759s | 18 | 512045 | 425452 | 80047 12 | 0 | 1 791.62/791.86 c 761s | 18 | 512878 | 426252 | 80047 12 | 0 | 1 793.92/794.18 c 763s | 18 | 513719 | 427052 | 80047 12 | 0 | 1 796.32/796.54 c 765s | 18 | 514459 | 427752 | 80047 12 | 0 | 1 798.42/798.61 c 767s | 18 | 515204 | 428452 | 80047 12 | 0 | 1 800.62/800.83 c 770s | 18 | 516046 | 429252 | 80047 12 | 0 | 1 802.72/802.96 c 772s | 18 | 516688 | 429852 | 80047 12 | 0 | 1 804.92/805.11 c 774s | 18 | 517529 | 430652 | 80047 12 | 0 | 1 806.92/807.19 c 776s | 18 | 518274 | 431352 | 80047 12 | 0 | 1 809.02/809.21 c 778s | 18 | 519010 | 432052 | 80047 12 | 0 | 1 811.32/811.52 c 780s | 18 | 519875 | 432852 | 80047 12 | 0 | 1 813.42/813.62 c 783s | 18 | 520762 | 433652 | 80047 12 | 0 | 1 815.42/815.66 c 785s | 18 | 521422 | 434252 | 80047 12 | 0 | 1 817.43/817.67 c 787s | 18 | 522033 | 434852 | 80047 12 | 0 | 1 819.53/819.80 c 789s | 18 | 522773 | 435552 | 80047 12 | 0 | 1 821.83/822.02 c 791s | 18 | 523618 | 436352 | 80047 12 | 0 | 1 824.12/824.32 c 793s | 18 | 524355 | 437052 | 80047 12 | 0 | 1 826.32/826.50 c 795s | 18 | 525118 | 437752 | 80047 12 | 0 | 1 828.33/828.59 c 797s | 18 | 525749 | 438352 | 80047 12 | 0 | 1 830.52/830.79 c 800s | 18 | 526375 | 438952 | 80047 12 | 0 | 1 832.82/833.05 c 802s | 18 | 527243 | 439752 | 80047 12 | 0 | 1 834.92/835.11 c 804s | 18 | 528115 | 440552 | 80047 12 | 0 | 1 837.12/837.33 c 806s | 18 | 528855 | 441252 | 80047 12 | 0 | 1 839.22/839.44 c 808s | 18 | 529517 | 441852 | 80047 12 | 0 | 1 841.32/841.53 c 810s | 18 | 530160 | 442452 | 80047 12 | 0 | 1 843.31/843.53 c 812s | 18 | 530709 | 442952 | 80047 12 | 0 | 1 845.51/845.76 c 815s | 18 | 531380 | 443552 | 80047 12 | 0 | 1 847.51/847.79 c 817s | 18 | 531925 | 444052 | 80047 12 | 0 | 1 849.41/849.65 c 819s | 19 | 532410 | 444482 | 80047 12 | 0 | 1 853.82/854.06 c 823s | 19 | 537646 | 444582 | 80047 12 | 0 | 1 855.82/856.07 c 825s | 19 | 542891 | 449582 | 80047 12 | 0 | 1 857.92/858.11 c 827s | 19 | 546845 | 453382 | 80047 12 | 0 | 1 859.92/860.16 c 829s | 19 | 549120 | 455582 | 80047 13 | 0 | 1 861.92/862.16 c 831s | 19 | 551995 | 458382 | 80047 13 | 0 | 1 863.92/864.19 c 833s | 19 | 554789 | 461082 | 80047 13 | 0 | 1 866.02/866.26 c 835s | 19 | 556831 | 463082 | 80047 13 | 0 | 1 868.02/868.28 c 837s | 19 | 558583 | 464782 | 80047 13 | 0 | 1 870.12/870.36 c 839s | 19 | 560336 | 466482 | 80047 13 | 0 | 1 872.22/872.44 c 841s | 19 | 562476 | 468582 | 80047 13 | 0 | 1 874.32/874.50 c 843s | 19 | 564605 | 470582 | 80047 13 | 0 | 1 876.31/876.54 c 845s | 19 | 566605 | 472482 | 80047 13 | 0 | 1 878.41/878.68 c 848s | 19 | 568247 | 474082 | 80047 13 | 0 | 1 880.51/880.70 c 850s | 19 | 569772 | 475582 | 80047 13 | 0 | 1 882.61/882.84 c 852s | 19 | 571346 | 477082 | 80047 13 | 0 | 1 884.81/885.02 c 854s | 19 | 572600 | 478282 | 80047 13 | 0 | 1 886.91/887.15 c 856s | 19 | 573842 | 479482 | 80047 13 | 0 | 1 889.01/889.27 c 858s | 19 | 575301 | 480882 | 80047 13 | 0 | 1 891.02/891.29 c 860s | 19 | 576654 | 482182 | 80047 13 | 0 | 1 893.11/893.39 c 862s | 19 | 578303 | 483782 | 80047 13 | 0 | 1 895.21/895.45 c 864s | 19 | 579424 | 484782 | 80047 13 | 0 | 1 897.31/897.53 c 866s | 19 | 580389 | 485682 | 80047 13 | 0 | 1 899.51/899.73 c 869s | 19 | 581215 | 486482 | 80047 13 | 0 | 1 901.51/901.78 c 871s | 19 | 582065 | 487282 | 80047 13 | 0 | 1 903.61/903.83 c 873s | 19 | 582890 | 488082 | 80047 13 | 0 | 1 905.81/906.05 c 875s | 19 | 583907 | 489082 | 80047 13 | 0 | 1 907.91/908.18 c 877s | 19 | 584812 | 489982 | 80047 13 | 0 | 1 910.11/910.33 c 879s | 19 | 585734 | 490882 | 80047 13 | 0 | 1 912.11/912.36 c 881s | 19 | 586665 | 491782 | 80047 13 | 0 | 1 914.22/914.44 c 883s | 19 | 587614 | 492682 | 80047 13 | 0 | 1 916.41/916.67 c 886s | 19 | 588651 | 493682 | 80047 13 | 0 | 1 918.61/918.86 c 888s | 19 | 589682 | 494682 | 80047 13 | 0 | 1 920.61/920.89 c 890s | 19 | 590718 | 495682 | 80047 13 | 0 | 1 922.81/923.01 c 892s | 19 | 591638 | 496582 | 80047 13 | 0 | 1 925.01/925.23 c 894s | 19 | 592562 | 497482 | 80047 14 | 0 | 1 927.70/927.97 c 897s | 19 | 592871 | 497782 | 80047 14 | 0 | 1 929.80/930.07 c 899s | 19 | 593610 | 498482 | 80047 14 | 0 | 1 931.90/932.13 c 901s | 19 | 594551 | 499382 | 80047 14 | 0 | 1 934.10/934.30 c 903s | 19 | 595506 | 500282 | 80047 14 | 0 | 1 936.11/936.38 c 905s | 19 | 596342 | 501082 | 80047 14 | 0 | 1 938.31/938.57 c 907s | 19 | 597284 | 501982 | 80047 14 | 0 | 1 949.70/949.91 c 919s | 19 | 598212 | 502882 | 80047 14 | 0 | 1 951.80/952.04 c 921s | 19 | 598835 | 503482 | 80047 14 | 0 | 1 953.81/954.07 c 923s | 19 | 599565 | 504182 | 80047 14 | 0 | 1 955.90/956.15 c 925s | 19 | 600600 | 505182 | 80047 14 | 0 | 1 958.10/958.32 c 927s | 19 | 601617 | 506182 | 80047 14 | 0 | 1 960.20/960.44 c 929s | 19 | 602550 | 507082 | 80047 14 | 0 | 1 962.30/962.51 c 931s | 19 | 603588 | 508082 | 80047 14 | 0 | 1 964.29/964.59 c 933s | 19 | 604309 | 508782 | 80047 14 | 0 | 1 966.39/966.64 c 936s | 19 | 605239 | 509682 | 80047 14 | 0 | 1 968.59/968.82 c 938s | 19 | 606252 | 510682 | 80047 14 | 0 | 1 970.59/970.83 c 940s | 19 | 607115 | 511482 | 80047 14 | 0 | 1 972.79/973.08 c 942s | 19 | 607943 | 512282 | 80047 14 | 0 | 1 974.79/975.08 c 944s | 19 | 608758 | 513082 | 80047 14 | 0 | 1 976.99/977.26 c 946s | 19 | 609567 | 513882 | 80047 14 | 0 | 1 979.10/979.31 c 948s | 19 | 610598 | 514882 | 80047 14 | 0 | 1 981.20/981.42 c 950s | 19 | 611818 | 516082 | 80047 14 | 0 | 1 983.19/983.44 c 952s | 19 | 613171 | 517382 | 80047 14 | 0 | 1 985.39/985.66 c 955s | 19 | 613992 | 518182 | 80047 14 | 0 | 1 987.49/987.70 c 957s | 19 | 614810 | 518982 | 80047 14 | 0 | 1 989.69/989.91 c 959s | 19 | 615836 | 519982 | 80047 14 | 0 | 1 991.79/992.00 c 961s | 19 | 616754 | 520882 | 80047 14 | 0 | 1 993.89/994.12 c 963s | 19 | 617779 | 521882 | 80047 14 | 0 | 1 995.89/996.14 c 965s | 19 | 618813 | 522882 | 80047 14 | 0 | 1 997.99/998.21 c 967s | 19 | 619744 | 523782 | 80047 14 | 0 | 1 1000.29/1000.51 c 969s | 19 | 620171 | 524182 | 80047 14 | 0 | 1 1002.59/1002.81 c 972s | 19 | 620572 | 524582 | 80047 14 | 0 | 1 1005.19/1005.40 c 974s | 19 | 620985 | 524982 | 80047 14 | 0 | 1 1007.49/1007.72 c 977s | 19 | 621296 | 525282 | 80047 14 | 0 | 1 1009.59/1009.82 c 979s | 19 | 621593 | 525582 | 80047 14 | 0 | 1 1011.89/1012.17 c 981s | 19 | 622013 | 525982 | 80047 14 | 0 | 1 1014.19/1014.42 c 983s | 19 | 622436 | 526382 | 80047 14 | 0 | 1 1016.39/1016.62 c 986s | 19 | 622861 | 526782 | 80047 14 | 0 | 1 1018.38/1018.63 c 988s | 19 | 623280 | 527182 | 80047 14 | 0 | 1 1020.48/1020.76 c 990s | 19 | 623803 | 527682 | 80047 14 | 0 | 1 1022.78/1023.04 c 992s | 19 | 624420 | 528282 | 80047 14 | 0 | 1 1025.08/1025.39 c 994s | 19 | 624926 | 528782 | 80047 14 | 0 | 1 1027.68/1027.91 c 997s | 19 | 625543 | 529382 | 80047 14 | 0 | 1 1029.88/1030.18 c 999s | 19 | 626062 | 529882 | 80047 14 | 0 | 1 1032.08/1032.36 c 1001s | 19 | 626560 | 530382 | 80047 14 | 0 | 1 1034.38/1034.64 c 1004s | 19 | 627080 | 530882 | 80047 14 | 0 | 1 1036.68/1036.92 c 1006s | 19 | 627597 | 531382 | 80047 14 | 0 | 1 1038.88/1039.17 c 1008s | 19 | 628112 | 531882 | 80047 14 | 0 | 1 1040.98/1041.25 c 1010s | 19 | 628429 | 532182 | 80047 14 | 0 | 1 1043.38/1043.65 c 1013s | 19 | 628861 | 532582 | 80047 14 | 0 | 1 1045.68/1045.90 c 1015s | 19 | 629294 | 532982 | 80047 14 | 0 | 1 1047.98/1048.27 c 1017s | 19 | 629814 | 533482 | 80047 14 | 0 | 1 1050.28/1050.56 c 1019s | 19 | 630330 | 533982 | 80047 14 | 0 | 1 1052.69/1052.99 c 1022s | 19 | 630965 | 534582 | 80047 14 | 0 | 1 1055.08/1055.30 c 1024s | 19 | 631379 | 534982 | 80047 14 | 0 | 1 1057.48/1057.70 c 1027s | 19 | 631900 | 535482 | 80047 14 | 0 | 1 1059.88/1060.10 c 1029s | 19 | 632419 | 535982 | 80047 14 | 0 | 1 1062.08/1062.34 c 1031s | 19 | 632935 | 536482 | 80047 14 | 0 | 1 1064.18/1064.44 c 1033s | 19 | 633344 | 536882 | 80047 14 | 0 | 1 1066.18/1066.47 c 1035s | 19 | 633760 | 537282 | 80047 14 | 0 | 1 1068.48/1068.79 c 1038s | 19 | 634278 | 537782 | 80047 14 | 0 | 1 1070.58/1070.81 c 1040s | 19 | 634789 | 538282 | 80047 14 | 0 | 1 1072.68/1072.93 c 1042s | 19 | 635205 | 538682 | 80047 14 | 0 | 1 1074.78/1075.06 c 1044s | 19 | 635713 | 539182 | 80047 14 | 0 | 1 1080.68/1080.92 c 1050s | 19 | 636118 | 539582 | 80047 15 | 0 | 1 1082.88/1083.12 c 1052s | 19 | 636532 | 539982 | 80047 15 | 0 | 1 1084.98/1085.22 c 1054s | 19 | 637867 | 541282 | 80047 15 | 0 | 1 1143.17/1143.45 c 1112s | 19 | 637997 | 541382 | 80047 15 | 0 | 1 1145.27/1145.53 c 1114s | 19 | 638739 | 542082 | 80047 15 | 0 | 1 1147.37/1147.60 c 1116s | 19 | 639691 | 542982 | 80047 15 | 0 | 1 1149.47/1149.75 c 1119s | 19 | 640763 | 543982 | 80047 15 | 0 | 1 1151.47/1151.76 c 1121s | 19 | 641728 | 544882 | 80047 15 | 0 | 1 1153.46/1153.78 c 1123s | 19 | 642883 | 545982 | 80047 15 | 0 | 1 1155.66/1155.94 c 1125s | 19 | 644161 | 547182 | 80047 15 | 0 | 1 1157.76/1158.05 c 1127s | 19 | 645342 | 548282 | 80047 15 | 0 | 1 1159.86/1160.13 c 1129s | 19 | 646416 | 549282 | 80047 15 | 0 | 1 1161.86/1162.16 c 1131s | 19 | 647461 | 550282 | 80047 15 | 0 | 1 1164.06/1164.32 c 1133s | 19 | 648626 | 551382 | 80047 15 | 0 | 1 1166.16/1166.45 c 1135s | 19 | 649681 | 552382 | 80047 15 | 0 | 1 1168.36/1168.70 c 1138s | 19 | 650639 | 553282 | 80047 15 | 0 | 1 1170.47/1170.71 c 1140s | 19 | 651254 | 553882 | 80047 15 | 0 | 1 1172.57/1172.82 c 1142s | 19 | 652091 | 554682 | 80047 15 | 0 | 1 1174.96/1175.22 c 1144s | 19 | 652812 | 555382 | 80047 15 | 0 | 1 1177.07/1177.36 c 1146s | 19 | 653531 | 556082 | 80047 15 | 0 | 1 1179.06/1179.40 c 1148s | 19 | 654054 | 556582 | 80047 15 | 0 | 1 1181.37/1181.61 c 1150s | 19 | 654579 | 557082 | 80047 15 | 0 | 1 1183.46/1183.78 c 1153s | 19 | 655192 | 557682 | 80047 15 | 0 | 1 1185.56/1185.87 c 1155s | 19 | 656023 | 558482 | 80047 15 | 0 | 1 1187.97/1188.27 c 1157s | 19 | 656538 | 558982 | 80047 15 | 0 | 1 1190.36/1190.64 c 1160s | 19 | 657364 | 559782 | 80047 15 | 0 | 1 1192.46/1192.74 c 1162s | 19 | 657982 | 560382 | 80047 15 | 0 | 1 1194.66/1194.92 c 1164s | 19 | 658517 | 560882 | 80047 15 | 0 | 1 1196.76/1197.05 c 1166s | 19 | 659029 | 561382 | 80047 15 | 0 | 1 1199.06/1199.32 c 1168s | 19 | 659429 | 561782 | 80047 15 | 0 | 1 1201.36/1201.65 c 1171s | 19 | 660038 | 562382 | 80047 15 | 0 | 1 1203.56/1203.87 c 1173s | 19 | 660551 | 562882 | 80047 15 | 0 | 1 1205.95/1206.23 c 1175s | 19 | 661176 | 563482 | 80047 15 | 0 | 1 1208.35/1208.60 c 1177s | 19 | 661795 | 564082 | 80047 15 | 0 | 1 1210.35/1210.65 c 1180s | 19 | 662397 | 564682 | 80047 15 | 0 | 1 1212.55/1212.86 c 1182s | 19 | 662905 | 565182 | 80047 15 | 0 | 1 1214.55/1214.87 c 1184s | 19 | 663311 | 565582 | 80047 15 | 0 | 1 1216.85/1217.10 c 1186s | 19 | 663806 | 566082 | 80047 15 | 0 | 1 1218.86/1219.16 c 1188s | 19 | 664317 | 566582 | 80047 15 | 0 | 1 1221.06/1221.34 c 1190s | 19 | 664923 | 567182 | 80047 15 | 0 | 1 1223.26/1223.52 c 1192s | 19 | 665534 | 567782 | 80047 15 | 0 | 1 1225.65/1225.94 c 1195s | 19 | 666163 | 568382 | 80047 15 | 0 | 1 1228.05/1228.31 c 1197s | 19 | 666813 | 568982 | 80047 15 | 0 | 1 1230.45/1230.73 c 1200s | 19 | 667430 | 569582 | 80047 15 | 0 | 1 1232.55/1232.89 c 1202s | 19 | 667965 | 570082 | 80047 15 | 0 | 1 1234.85/1235.12 c 1204s | 19 | 668592 | 570682 | 80047 15 | 0 | 1 1236.85/1237.18 c 1206s | 19 | 669103 | 571182 | 80047 15 | 0 | 1 1239.25/1239.54 c 1208s | 19 | 669728 | 571782 | 80047 15 | 0 | 1 1241.35/1241.61 c 1211s | 19 | 670340 | 572382 | 80047 15 | 0 | 1 1243.35/1243.67 c 1213s | 19 | 670956 | 572982 | 80047 15 | 0 | 1 1245.45/1245.79 c 1215s | 19 | 671376 | 573382 | 80047 15 | 0 | 1 1247.55/1247.83 c 1217s | 19 | 671786 | 573782 | 80047 15 | 0 | 1 1249.74/1250.09 c 1219s | 19 | 672311 | 574282 | 80047 15 | 0 | 1 1252.04/1252.34 c 1221s | 19 | 672826 | 574782 | 80047 15 | 0 | 1 1254.64/1254.96 c 1224s | 19 | 673239 | 575182 | 80047 15 | 0 | 1 1256.64/1256.97 c 1226s | 19 | 673646 | 575582 | 80047 15 | 0 | 1 1259.14/1259.40 c 1228s | 19 | 674164 | 576082 | 80047 15 | 0 | 1 1261.44/1261.78 c 1231s | 19 | 674665 | 576582 | 80047 15 | 0 | 1 1263.85/1264.13 c 1233s | 19 | 675172 | 577082 | 80047 15 | 0 | 1 1265.95/1266.23 c 1235s | 19 | 675689 | 577582 | 80047 15 | 0 | 1 1268.15/1268.48 c 1237s | 19 | 676208 | 578082 | 80047 15 | 0 | 1 1270.24/1270.59 c 1239s | 19 | 676609 | 578482 | 80047 15 | 0 | 1 1272.65/1272.91 c 1242s | 19 | 677023 | 578882 | 80047 15 | 0 | 1 1274.64/1274.95 c 1244s | 19 | 677326 | 579182 | 80047 15 | 0 | 1 1277.15/1277.48 c 1246s | 19 | 677846 | 579682 | 80047 15 | 0 | 1 1279.54/1279.83 c 1249s | 19 | 678353 | 580182 | 80047 15 | 0 | 1 1281.64/1281.95 c 1251s | 19 | 678866 | 580682 | 80047 15 | 0 | 1 1283.84/1284.14 c 1253s | 19 | 679372 | 581182 | 80047 15 | 0 | 1 1286.54/1286.86 c 1256s | 19 | 679888 | 581682 | 80047 16 | 0 | 1 1297.23/1297.56 c 1266s | 19 | 679994 | 581782 | 80047 16 | 0 | 1 1304.03/1304.32 c 1273s | 19 | 680097 | 581882 | 80047 16 | 0 | 1 1306.13/1306.44 c 1275s | 19 | 681116 | 582882 | 80047 16 | 0 | 1 1308.23/1308.56 c 1277s | 19 | 682339 | 584082 | 80047 16 | 0 | 1 1310.23/1310.56 c 1279s | 19 | 683276 | 584982 | 80047 16 | 0 | 1 1312.34/1312.66 c 1282s | 19 | 684203 | 585882 | 80047 16 | 0 | 1 1315.63/1315.99 c 1285s | 19 | 685026 | 586682 | 80047 16 | 0 | 1 1317.92/1318.27 c 1287s | 19 | 685846 | 587482 | 80047 16 | 0 | 1 1320.03/1320.32 c 1289s | 19 | 686565 | 588182 | 80047 16 | 0 | 1 1322.13/1322.49 c 1291s | 19 | 687501 | 589082 | 80047 16 | 0 | 1 1324.22/1324.50 c 1293s | 19 | 688233 | 589782 | 80047 16 | 0 | 1 1326.32/1326.63 c 1296s | 19 | 689062 | 590582 | 80047 16 | 0 | 1 1328.42/1328.73 c 1298s | 19 | 689987 | 591482 | 80047 16 | 0 | 1 1330.62/1330.98 c 1300s | 19 | 690847 | 592282 | 80047 16 | 0 | 1 1332.82/1333.18 c 1302s | 19 | 691671 | 593082 | 80047 16 | 0 | 1 1334.92/1335.22 c 1304s | 19 | 692492 | 593882 | 80047 16 | 0 | 1 1337.02/1337.38 c 1306s | 19 | 693336 | 594682 | 80047 16 | 0 | 1 1339.22/1339.53 c 1308s | 19 | 694255 | 595582 | 80047 16 | 0 | 1 1341.22/1341.58 c 1310s | 19 | 695084 | 596382 | 80047 16 | 0 | 1 1343.22/1343.58 c 1312s | 19 | 696005 | 597282 | 80047 16 | 0 | 1 1345.33/1345.69 c 1315s | 19 | 696926 | 598182 | 80047 16 | 0 | 1 1347.62/1347.92 c 1317s | 19 | 697855 | 599082 | 80047 16 | 0 | 1 1349.62/1349.96 c 1319s | 19 | 698673 | 599882 | 80047 16 | 0 | 1 1351.61/1351.98 c 1321s | 19 | 699403 | 600582 | 80047 16 | 0 | 1 1353.71/1354.00 c 1323s | 19 | 700223 | 601382 | 80047 16 | 0 | 1 1355.71/1356.04 c 1325s | 19 | 701054 | 602182 | 80047 16 | 0 | 1 1357.91/1358.26 c 1327s | 19 | 701784 | 602882 | 80047 16 | 0 | 1 1359.91/1360.28 c 1329s | 19 | 702437 | 603482 | 80047 16 | 0 | 1 1362.01/1362.34 c 1331s | 19 | 703168 | 604182 | 80047 16 | 0 | 1 1364.11/1364.46 c 1333s | 19 | 703890 | 604882 | 80047 16 | 0 | 1 1366.12/1366.48 c 1335s | 19 | 704616 | 605582 | 80047 16 | 0 | 1 1368.21/1368.52 c 1337s | 19 | 705445 | 606382 | 80047 16 | 0 | 1 1370.21/1370.57 c 1339s | 19 | 706067 | 606982 | 80047 16 | 0 | 1 1372.41/1372.78 c 1342s | 19 | 706789 | 607682 | 80047 16 | 0 | 1 1374.71/1375.03 c 1344s | 19 | 707601 | 608482 | 80047 16 | 0 | 1 1376.81/1377.13 c 1346s | 19 | 708341 | 609182 | 80047 16 | 0 | 1 1378.91/1379.22 c 1348s | 19 | 709064 | 609882 | 80047 16 | 0 | 1 1381.10/1381.43 c 1350s | 19 | 709787 | 610582 | 80047 16 | 0 | 1 1383.20/1383.52 c 1352s | 19 | 710396 | 611182 | 80047 16 | 0 | 1 1447.89/1448.20 c 1417s | 19 | 710724 | 611482 | 80047 16 | 0 | 1 1449.89/1450.26 c 1419s | 19 | 711026 | 611782 | 80047 16 | 0 | 1 1452.29/1452.67 c 1422s | 19 | 711431 | 612182 | 80047 16 | 0 | 1 1454.59/1454.98 c 1424s | 19 | 711836 | 612582 | 80047 16 | 0 | 1 1456.69/1457.02 c 1426s | 19 | 712247 | 612982 | 80047 16 | 0 | 1 1458.79/1459.12 c 1428s | 19 | 712672 | 613382 | 80047 16 | 0 | 1 1461.08/1461.40 c 1430s | 19 | 713089 | 613782 | 80047 16 | 0 | 1 1463.38/1463.70 c 1433s | 19 | 713513 | 614182 | 80047 16 | 0 | 1 1465.48/1465.88 c 1435s | 19 | 713920 | 614582 | 80047 16 | 0 | 1 1467.68/1468.05 c 1437s | 19 | 714331 | 614982 | 80047 16 | 0 | 1 1470.08/1470.43 c 1439s | 19 | 714837 | 615482 | 80047 16 | 0 | 1 1472.48/1472.87 c 1442s | 19 | 715243 | 615882 | 80047 16 | 0 | 1 1474.68/1475.05 c 1444s | 19 | 715647 | 616282 | 80047 16 | 0 | 1 1476.68/1477.06 c 1446s | 19 | 716055 | 616682 | 80047 16 | 0 | 1 1479.28/1479.69 c 1449s | 19 | 716583 | 617182 | 80047 16 | 0 | 1 1481.58/1481.93 c 1451s | 19 | 717010 | 617582 | 80047 16 | 0 | 1 1484.07/1484.41 c 1453s | 19 | 717425 | 617982 | 80047 16 | 0 | 1 1486.57/1486.90 c 1456s | 19 | 717851 | 618382 | 80047 16 | 0 | 1 1488.87/1489.22 c 1458s | 19 | 718278 | 618782 | 80047 16 | 0 | 1 1491.07/1491.42 c 1460s | 19 | 718701 | 619182 | 80047 16 | 0 | 1 1493.27/1493.66 c 1463s | 19 | 719144 | 619582 | 80047 16 | 0 | 1 1495.37/1495.74 c 1465s | 19 | 719559 | 619982 | 80047 16 | 0 | 1 1497.47/1497.86 c 1467s | 19 | 719985 | 620382 | 80047 16 | 0 | 1 1499.97/1500.34 c 1469s | 19 | 720520 | 620882 | 80047 16 | 0 | 1 1502.07/1502.40 c 1471s | 19 | 720936 | 621282 | 80047 16 | 0 | 1 1504.17/1504.56 c 1473s | 19 | 721353 | 621682 | 80047 16 | 0 | 1 1506.26/1506.68 c 1476s | 19 | 721776 | 622082 | 80047 16 | 0 | 1 1508.66/1509.01 c 1478s | 19 | 722183 | 622482 | 80047 16 | 0 | 1 1510.96/1511.32 c 1480s | 19 | 722708 | 622982 | 80047 16 | 0 | 1 1513.36/1513.70 c 1483s | 19 | 723226 | 623482 | 80047 16 | 0 | 1 1527.65/1528.02 c 1497s | 19 | 723632 | 623882 | 80047 17 | 0 | 1 1531.35/1531.75 c 1501s | 19 | 724454 | 624682 | 88052 17 | 0 | 1 1533.45/1533.86 c 1503s | 19 | 725374 | 625582 | 88052 17 | 0 | 1 1535.46/1535.89 c 1505s | 19 | 726303 | 626482 | 88052 17 | 0 | 1 1538.35/1538.77 c 1508s | 19 | 726916 | 627082 | 88052 17 | 0 | 1 1540.55/1540.97 c 1510s | 19 | 727920 | 627982 | 88052 17 | 0 | 1 1542.65/1543.01 c 1512s | 19 | 728787 | 628782 | 88052 17 | 0 | 1 1544.85/1545.21 c 1514s | 19 | 729627 | 629582 | 88052 17 | 0 | 1 1547.05/1547.40 c 1516s | 19 | 730468 | 630382 | 88052 17 | 0 | 1 1549.25/1549.66 c 1519s | 19 | 731413 | 631282 | 88052 17 | 0 | 1 1551.44/1551.81 c 1521s | 19 | 732368 | 632182 | 88052 17 | 0 | 1 1553.64/1554.00 c 1523s | 19 | 733210 | 632982 | 88052 17 | 0 | 1 1555.64/1556.04 c 1525s | 19 | 734046 | 633782 | 88052 17 | 0 | 1 1557.74/1558.19 c 1527s | 19 | 734894 | 634582 | 88052 17 | 0 | 1 1559.94/1560.32 c 1529s | 19 | 735633 | 635282 | 88052 17 | 0 | 1 1562.14/1562.52 c 1531s | 19 | 736478 | 636082 | 88052 17 | 0 | 1 1564.24/1564.69 c 1534s | 19 | 737298 | 636882 | 88052 17 | 0 | 1 1566.43/1566.81 c 1536s | 19 | 738138 | 637682 | 88052 17 | 0 | 1 1568.44/1568.81 c 1538s | 19 | 738852 | 638382 | 88052 17 | 0 | 1 1570.64/1571.02 c 1540s | 19 | 739673 | 639182 | 88052 17 | 0 | 1 1572.63/1573.06 c 1542s | 19 | 740494 | 639982 | 88052 17 | 0 | 1 1574.93/1575.32 c 1544s | 19 | 741325 | 640782 | 88052 17 | 0 | 1 1577.03/1577.43 c 1546s | 19 | 742174 | 641582 | 88052 17 | 0 | 1 1579.23/1579.66 c 1549s | 19 | 743007 | 642382 | 88052 17 | 0 | 1 1581.53/1581.90 c 1551s | 19 | 743544 | 642882 | 88052 17 | 0 | 1 1583.53/1583.94 c 1553s | 19 | 744080 | 643382 | 88052 17 | 0 | 1 1585.93/1586.38 c 1555s | 19 | 744724 | 643982 | 88052 17 | 0 | 1 1588.23/1588.68 c 1558s | 19 | 745364 | 644582 | 88052 17 | 0 | 1 1590.53/1590.99 c 1560s | 19 | 746004 | 645182 | 88052 17 | 0 | 1 1592.92/1593.36 c 1562s | 19 | 746630 | 645782 | 88052 17 | 0 | 1 1595.02/1595.42 c 1564s | 19 | 747163 | 646282 | 88052 17 | 0 | 1 1597.32/1597.74 c 1567s | 19 | 747804 | 646882 | 88052 17 | 0 | 1 1599.42/1599.83 c 1569s | 19 | 748330 | 647382 | 88052 17 | 0 | 1 1601.72/1602.17 c 1571s | 19 | 748852 | 647882 | 88052 17 | 0 | 1 1603.82/1604.21 c 1573s | 19 | 749374 | 648382 | 88052 17 | 0 | 1 1605.82/1606.22 c 1575s | 19 | 749897 | 648882 | 88052 17 | 0 | 1 1608.02/1608.47 c 1577s | 19 | 750413 | 649382 | 88052 17 | 0 | 1 1610.22/1610.69 c 1580s | 19 | 751012 | 649982 | 88052 17 | 0 | 1 1612.61/1613.08 c 1582s | 19 | 751636 | 650582 | 88052 17 | 0 | 1 1614.72/1615.14 c 1584s | 19 | 752147 | 651082 | 88052 17 | 0 | 1 1617.01/1617.47 c 1586s | 19 | 752777 | 651682 | 88052 17 | 0 | 1 1619.21/1619.60 c 1588s | 19 | 753488 | 652382 | 88052 17 | 0 | 1 1621.60/1622.03 c 1591s | 19 | 754013 | 652882 | 88052 17 | 0 | 1 1623.90/1624.36 c 1593s | 19 | 754544 | 653382 | 88052 17 | 0 | 1 1626.20/1626.66 c 1596s | 19 | 755059 | 653882 | 88052 17 | 0 | 1 1628.30/1628.72 c 1598s | 19 | 755592 | 654382 | 88052 17 | 0 | 1 1630.30/1630.79 c 1600s | 19 | 756111 | 654882 | 88052 17 | 0 | 1 1632.50/1632.94 c 1602s | 19 | 756742 | 655482 | 88052 17 | 0 | 1 1634.51/1634.97 c 1604s | 19 | 757277 | 655982 | 88052 17 | 0 | 1 1636.80/1637.21 c 1606s | 19 | 757904 | 656582 | 88052 17 | 0 | 1 1638.81/1639.28 c 1608s | 19 | 758526 | 657182 | 88052 17 | 0 | 1 1641.01/1641.50 c 1610s | 19 | 759154 | 657782 | 88052 17 | 0 | 1 1643.31/1643.75 c 1613s | 19 | 759699 | 658282 | 88052 17 | 0 | 1 1645.80/1646.21 c 1615s | 19 | 760224 | 658782 | 88052 17 | 0 | 1 1648.10/1648.51 c 1617s | 19 | 760729 | 659282 | 88052 17 | 0 | 1 1650.09/1650.55 c 1619s | 19 | 761270 | 659782 | 88052 17 | 0 | 1 1652.39/1652.86 c 1622s | 19 | 761781 | 660282 | 88052 17 | 0 | 1 1654.49/1654.95 c 1624s | 19 | 762323 | 660782 | 88052 17 | 0 | 1 1656.69/1657.10 c 1626s | 19 | 762844 | 661282 | 88052 17 | 0 | 1 1658.60/1659.10 c 1628s | 19 | 763370 | 661782 | 88052 17 | 0 | 1 1660.89/1661.35 c 1630s | 19 | 763896 | 662282 | 88052 17 | 0 | 1 1662.89/1663.38 c 1632s | 19 | 764412 | 662782 | 88052 17 | 0 | 1 1665.08/1665.58 c 1634s | 19 | 764929 | 663282 | 88052 17 | 0 | 1 1667.28/1667.74 c 1637s | 19 | 765433 | 663782 | 88052 17 | 0 | 1 1669.48/1669.94 c 1639s | 19 | 765974 | 664282 | 88052 17 | 0 | 1 1671.89/1672.38 c 1641s | 19 | 766496 | 664782 | 88052 17 | 0 | 1 1674.18/1674.69 c 1644s | 19 | 767030 | 665282 | 88052 17 | 0 | 1 1676.48/1676.92 c 1646s | 19 | 767557 | 665782 | 88052 17 | 0 | 1 1678.78/1679.23 c 1648s | 19 | 768068 | 666282 | 88052 17 | 0 | 1 1680.78/1681.29 c 1650s | 19 | 768574 | 666782 | 88052 17 | 0 | 1 1680.98/1681.48 c 1650s | 20 | 768621 | 666827 | 88052 17 | 0 | 1 1708.58/1709.03 c 1678s | 20 | 769981 | 666927 | 88052 17 | 0 | 1 1710.58/1711.04 c 1680s | 20 | 776526 | 673027 | 88052 17 | 0 | 1 1712.68/1713.10 c 1682s | 20 | 779787 | 676027 | 88052 18 | 0 | 1 1714.68/1715.14 c 1684s | 20 | 783198 | 679227 | 88052 18 | 0 | 1 1716.67/1717.16 c 1686s | 20 | 786187 | 682027 | 88052 18 | 0 | 1 1718.77/1719.28 c 1688s | 20 | 788423 | 684127 | 88052 18 | 0 | 1 1720.87/1721.35 c 1690s | 20 | 790678 | 686227 | 88052 18 | 0 | 1 1722.87/1723.36 c 1692s | 20 | 793002 | 688427 | 88052 18 | 0 | 1 1724.97/1725.45 c 1694s | 20 | 794881 | 690227 | 88052 18 | 0 | 1 1727.07/1727.56 c 1696s | 20 | 797032 | 692227 | 88052 18 | 0 | 1 1729.17/1729.66 c 1699s | 20 | 798300 | 693427 | 88052 18 | 0 | 1 1731.36/1731.81 c 1701s | 20 | 799676 | 694727 | 88052 18 | 0 | 1 1733.37/1733.87 c 1703s | 20 | 801158 | 696127 | 88052 18 | 0 | 1 1735.46/1735.99 c 1705s | 20 | 802811 | 697627 | 88052 18 | 0 | 1 1737.66/1738.13 c 1707s | 20 | 804125 | 698827 | 88052 18 | 0 | 1 1739.66/1740.13 c 1709s | 20 | 805621 | 700227 | 88052 18 | 0 | 1 1741.76/1742.24 c 1711s | 20 | 806862 | 701427 | 88052 18 | 0 | 1 1743.76/1744.24 c 1713s | 20 | 808166 | 702627 | 88052 18 | 0 | 1 1745.75/1746.29 c 1715s | 20 | 809682 | 704027 | 88052 18 | 0 | 1 1747.85/1748.36 c 1717s | 20 | 810971 | 705227 | 88052 18 | 0 | 1 1750.05/1750.51 c 1719s | 20 | 812125 | 706327 | 88052 18 | 0 | 1 1752.16/1752.61 c 1722s | 20 | 813312 | 707427 | 88052 18 | 0 | 1 1754.26/1754.75 c 1724s | 20 | 814512 | 708527 | 88052 18 | 0 | 1 1756.35/1756.86 c 1726s | 20 | 815687 | 709627 | 88052 18 | 0 | 1 1758.55/1759.06 c 1728s | 20 | 816769 | 710627 | 88052 18 | 0 | 1 1760.64/1761.12 c 1730s | 20 | 817496 | 711327 | 88052 18 | 0 | 1 1762.84/1763.38 c 1732s | 20 | 818020 | 711827 | 88052 18 | 0 | 1 1765.25/1765.72 c 1735s | 20 | 818573 | 712327 | 88052 18 | 0 | 1 1767.64/1768.16 c 1737s | 20 | 819103 | 712827 | 88052 18 | 0 | 1 1769.84/1770.32 c 1739s | 20 | 819522 | 713227 | 88052 18 | 0 | 1 1772.24/1772.77 c 1742s | 20 | 819937 | 713627 | 88052 18 | 0 | 1 1774.54/1775.00 c 1744s | 20 | 820355 | 714027 | 88052 18 | 0 | 1 1776.54/1777.00 c 1746s | 20 | 820792 | 714427 | 88052 18 | 0 | 1 1778.74/1779.24 c 1748s | 20 | 821431 | 715027 | 88052 18 | 0 | 1 1780.83/1781.39 c 1750s | 20 | 822075 | 715627 | 88052 18 | 0 | 1 1783.13/1783.62 c 1753s | 20 | 822720 | 716227 | 88052 18 | 0 | 1 1785.33/1785.88 c 1755s | 20 | 823256 | 716727 | 88052 18 | 0 | 1 1787.43/1787.97 c 1757s | 20 | 823889 | 717327 | 88052 18 | 0 | 1 1789.54/1790.02 c 1759s | 20 | 824523 | 717927 | 88052 18 | 0 | 1 1791.52/1792.08 c 1761s | 20 | 824951 | 718327 | 88052 18 | 0 | 1 1793.93/1794.46 c 1763s | 20 | 825590 | 718927 | 88052 18 | 0 | 1 1796.42/1796.91 c 1766s | 20 | 826115 | 719427 | 88052 18 | 0 | 1 1798.62/1799.11 c 1768s | 20 | 826752 | 720027 | 88052 18 | 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-4117330-1467209132/watcher-4117330-1467209132 -o /tmp/evaluation-result-4117330-1467209132/solver-4117330-1467209132 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467209132-3988 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117330-1467209132.opb pid=4010 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: 3.56 2.62 2.48 4/179 4016 /proc/meminfo: memFree=18643296/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=24328 CPUtime=0 cores=1,3,5,7 /proc/4014/stat : 4014 (runsolver) D 4010 4014 3971 0 -1 4202560 115 0 0 0 0 0 0 0 20 0 1 0 1879218 24911872 151 33554432000 4194304 4338465 140735887250352 140735887247992 272886484151 0 0 4096 24578 18446744071579943789 0 0 17 1 0 0 0 0 0 /proc/4014/statm: 6082 151 105 36 0 2655 0 [startup+0.100067 s] /proc/loadavg: 3.56 2.62 2.48 4/179 4016 /proc/meminfo: memFree=18643296/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1220164 CPUtime=0.04 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 18346 0 0 0 2 2 0 0 20 0 4 0 1879218 1249447936 18645 33554432000 4194304 16246674 140735286291472 140735286290784 7378592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 305041 18645 800 2943 0 301935 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1220164 [startup+0.200302 s] /proc/loadavg: 3.56 2.62 2.48 4/179 4016 /proc/meminfo: memFree=18643296/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1302084 CPUtime=0.14 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 45108 0 0 0 8 6 0 0 20 0 4 0 1879218 1333334016 45407 33554432000 4194304 16246674 140735286291472 140735286290784 7439528 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 325521 45407 800 2943 0 322415 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 1302084 [startup+0.30028 s] /proc/loadavg: 3.56 2.62 2.48 4/179 4016 /proc/meminfo: memFree=18643296/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1313348 CPUtime=0.24 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 50889 0 0 0 17 7 0 0 20 0 4 0 1879218 1344868352 51699 33554432000 4194304 16246674 140735286291472 140735286290784 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 328337 51699 805 2943 0 325231 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 1313348 [startup+0.700288 s] /proc/loadavg: 3.56 2.62 2.48 4/179 4016 /proc/meminfo: memFree=18643296/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1313348 CPUtime=0.64 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 105682 0 0 0 49 15 0 0 20 0 4 0 1879218 1344868352 106493 33554432000 4194304 16246674 140735286291472 140735286273344 6760209 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 328337 106501 842 2943 0 325231 0 Current children cumulated CPU time (s) 0.64 Current children cumulated vsize (KiB) 1313348 [startup+1.50031 s] /proc/loadavg: 3.56 2.62 2.48 4/187 4024 /proc/meminfo: memFree=17379840/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1313348 CPUtime=1.45 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 212257 0 0 0 115 30 0 0 20 0 4 0 1879218 1344868352 213067 33554432000 4194304 16246674 140735286291472 140735286273344 5532301 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 328337 213074 888 2943 0 325231 0 [pid=4014/tid=4021] ppid=4010 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4021/stat : 4021 (toysat) S 4010 4014 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1879222 1344868352 213078 33554432000 4194304 16246674 140735286291472 140269482650864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4014/tid=4023] ppid=4010 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4023/stat : 4023 (toysat) S 4010 4014 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1879222 1344868352 213083 33554432000 4194304 16246674 140735286291472 140269404007664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=4014/tid=4024] ppid=4010 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4024/stat : 4024 (toysat) S 4010 4014 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1879222 1344868352 213088 33554432000 4194304 16246674 140735286291472 140269393534128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 1313348 [startup+3.10032 s] /proc/loadavg: 3.59 2.64 2.49 4/187 4024 /proc/meminfo: memFree=16482180/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1318468 CPUtime=3.04 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 270136 0 0 0 267 37 0 0 20 0 4 0 1879218 1350111232 270946 33554432000 4194304 16246674 140735286291472 140735286273344 6843025 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 329617 270946 891 2943 0 326511 0 [pid=4014/tid=4021] ppid=4010 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4021/stat : 4021 (toysat) S 4010 4014 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1879222 1350111232 270946 33554432000 4194304 16246674 140735286291472 140269482650864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4014/tid=4023] ppid=4010 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4023/stat : 4023 (toysat) S 4010 4014 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1879222 1350111232 270946 33554432000 4194304 16246674 140735286291472 140269404007664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=4014/tid=4024] ppid=4010 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4024/stat : 4024 (toysat) S 4010 4014 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1879222 1350111232 270946 33554432000 4194304 16246674 140735286291472 140269393534128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 1318468 [startup+6.30046 s] /proc/loadavg: 3.59 2.64 2.49 4/187 4024 /proc/meminfo: memFree=16481232/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1318468 CPUtime=6.24 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 270303 0 0 0 587 37 0 0 20 0 4 0 1879218 1350111232 271113 33554432000 4194304 16246674 140735286291472 140735286274472 5672838 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 329617 271113 904 2943 0 326511 0 [pid=4014/tid=4021] ppid=4010 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4021/stat : 4021 (toysat) S 4010 4014 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1879222 1350111232 271113 33554432000 4194304 16246674 140735286291472 140269482650864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4014/tid=4023] ppid=4010 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4023/stat : 4023 (toysat) S 4010 4014 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1879222 1350111232 271113 33554432000 4194304 16246674 140735286291472 140269404007664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=4014/tid=4024] ppid=4010 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4024/stat : 4024 (toysat) S 4010 4014 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1879222 1350111232 271113 33554432000 4194304 16246674 140735286291472 140269393534128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 1318468 [startup+12.7005 s] /proc/loadavg: 3.81 2.72 2.52 5/188 4025 /proc/meminfo: memFree=16480576/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1318468 CPUtime=12.64 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 270303 0 0 0 1227 37 0 0 20 0 4 0 1879218 1350111232 271113 33554432000 4194304 16246674 140735286291472 140735286273344 5672838 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 329617 271113 904 2943 0 326511 0 [pid=4014/tid=4021] ppid=4010 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4021/stat : 4021 (toysat) S 4010 4014 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1879222 1350111232 271113 33554432000 4194304 16246674 140735286291472 140269482650864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4014/tid=4023] ppid=4010 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4023/stat : 4023 (toysat) S 4010 4014 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1879222 1350111232 271113 33554432000 4194304 16246674 140735286291472 140269404007664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=4014/tid=4024] ppid=4010 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4024/stat : 4024 (toysat) S 4010 4014 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1879222 1350111232 271113 33554432000 4194304 16246674 140735286291472 140269393534128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 1318468 [startup+25.5004 s] /proc/loadavg: 3.99 2.79 2.54 4/187 4025 /proc/meminfo: memFree=16482424/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1318468 CPUtime=25.45 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 270305 0 0 0 2508 37 0 0 20 0 4 0 1879218 1350111232 271115 33554432000 4194304 16246674 140735286291472 140735286274472 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 329617 271115 905 2943 0 326511 0 [pid=4014/tid=4021] ppid=4010 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4021/stat : 4021 (toysat) S 4010 4014 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1879222 1350111232 271115 33554432000 4194304 16246674 140735286291472 140269482650864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4014/tid=4023] ppid=4010 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4023/stat : 4023 (toysat) S 4010 4014 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1879222 1350111232 271115 33554432000 4194304 16246674 140735286291472 140269404007664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=4014/tid=4024] ppid=4010 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4024/stat : 4024 (toysat) S 4010 4014 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1879222 1350111232 271115 33554432000 4194304 16246674 140735286291472 140269393534128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 1318468 [startup+51.1003 s] /proc/loadavg: 4.06 2.90 2.59 4/187 4025 /proc/meminfo: memFree=16475212/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1326660 CPUtime=51.03 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 272371 0 0 0 5065 38 0 0 20 0 4 0 1879218 1358499840 273181 33554432000 4194304 16246674 140735286291472 140735286273344 5712622 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 331665 273181 920 2943 0 328559 0 [pid=4014/tid=4021] ppid=4010 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4021/stat : 4021 (toysat) S 4010 4014 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1879222 1358499840 273181 33554432000 4194304 16246674 140735286291472 140269482650864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4014/tid=4023] ppid=4010 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4023/stat : 4023 (toysat) S 4010 4014 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1879222 1358499840 273181 33554432000 4194304 16246674 140735286291472 140269404007664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=4014/tid=4024] ppid=4010 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4024/stat : 4024 (toysat) S 4010 4014 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1879222 1358499840 273181 33554432000 4194304 16246674 140735286291472 140269393534128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 1326660 [startup+102.3 s] /proc/loadavg: 4.68 3.23 2.71 4/188 4026 /proc/meminfo: memFree=16441740/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1326660 CPUtime=102.23 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 272371 0 0 0 10184 39 0 0 20 0 4 0 1879218 1358499840 273181 33554432000 4194304 16246674 140735286291472 140735286273344 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 331665 273181 920 2943 0 328559 0 [pid=4014/tid=4021] ppid=4010 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4021/stat : 4021 (toysat) S 4010 4014 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1879222 1358499840 273181 33554432000 4194304 16246674 140735286291472 140269482650864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4014/tid=4023] ppid=4010 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4023/stat : 4023 (toysat) S 4010 4014 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1879222 1358499840 273181 33554432000 4194304 16246674 140735286291472 140269404007664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=4014/tid=4024] ppid=4010 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4024/stat : 4024 (toysat) S 4010 4014 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1879222 1358499840 273181 33554432000 4194304 16246674 140735286291472 140269393534128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 1326660 [startup+162.3 s] /proc/loadavg: 4.71 3.54 2.85 4/187 4026 /proc/meminfo: memFree=16397864/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1370692 CPUtime=162.22 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 283379 0 0 0 16181 41 0 0 20 0 4 0 1879218 1403588608 284189 33554432000 4194304 16246674 140735286291472 140735286273344 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 342673 284189 920 2943 0 339567 0 [pid=4014/tid=4021] ppid=4010 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4021/stat : 4021 (toysat) S 4010 4014 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1879222 1403588608 284189 33554432000 4194304 16246674 140735286291472 140269482650864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4014/tid=4023] ppid=4010 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4023/stat : 4023 (toysat) S 4010 4014 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1879222 1403588608 284189 33554432000 4194304 16246674 140735286291472 140269404007664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=4014/tid=4024] ppid=4010 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4024/stat : 4024 (toysat) S 4010 4014 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1879222 1403588608 284189 33554432000 4194304 16246674 140735286291472 140269393534128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 1370692 [startup+222.3 s] /proc/loadavg: 4.43 3.66 2.93 4/188 4030 /proc/meminfo: memFree=16414628/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1370692 CPUtime=222.21 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 283379 0 0 0 22180 41 0 0 20 0 4 0 1879218 1403588608 284189 33554432000 4194304 16246674 140735286291472 140735286273344 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 342673 284189 920 2943 0 339567 0 [pid=4014/tid=4021] ppid=4010 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4021/stat : 4021 (toysat) S 4010 4014 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1879222 1403588608 284189 33554432000 4194304 16246674 140735286291472 140269482650864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4014/tid=4023] ppid=4010 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4023/stat : 4023 (toysat) S 4010 4014 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1879222 1403588608 284189 33554432000 4194304 16246674 140735286291472 140269404007664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=4014/tid=4024] ppid=4010 vsize=1370692 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4024/stat : 4024 (toysat) S 4010 4014 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1879222 1403588608 284189 33554432000 4194304 16246674 140735286291472 140269393534128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 1370692 ################ # More data... # ################ /proc/4014/task/4024/stat : 4024 (toysat) S 4010 4014 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269393534128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.03 Current children cumulated vsize (KiB) 1373764 [startup+1362.3 s] /proc/loadavg: 2.20 2.34 2.66 4/183 4052 /proc/meminfo: memFree=22337172/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1373764 CPUtime=1362.01 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 284185 0 0 0 136136 65 0 0 20 0 4 0 1879218 1406734336 285213 33554432000 4194304 16246674 140735286291472 140735286273344 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 343441 285213 920 2943 0 340335 0 [pid=4014/tid=4021] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4021/stat : 4021 (toysat) S 4010 4014 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269482650864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4014/tid=4023] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4023/stat : 4023 (toysat) S 4010 4014 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269404007664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=4014/tid=4024] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4024/stat : 4024 (toysat) S 4010 4014 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269393534128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.01 Current children cumulated vsize (KiB) 1373764 [startup+1422.3 s] /proc/loadavg: 2.28 2.33 2.63 4/184 4057 /proc/meminfo: memFree=22336924/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1373764 CPUtime=1422 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 284203 0 0 0 142131 69 0 0 20 0 4 0 1879218 1406734336 285213 33554432000 4194304 16246674 140735286291472 140735286289344 13899096 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 343441 285213 920 2943 0 340335 0 [pid=4014/tid=4021] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4021/stat : 4021 (toysat) S 4010 4014 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269482650864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4014/tid=4023] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4023/stat : 4023 (toysat) S 4010 4014 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269404007664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=4014/tid=4024] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4024/stat : 4024 (toysat) S 4010 4014 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269393534128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422 Current children cumulated vsize (KiB) 1373764 [startup+1482.3 s] /proc/loadavg: 2.41 2.36 2.63 4/183 4058 /proc/meminfo: memFree=22336800/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1373764 CPUtime=1481.97 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 284223 0 0 0 148125 72 0 0 20 0 4 0 1879218 1406734336 285213 33554432000 4194304 16246674 140735286291472 140735286273344 5677880 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 343441 285213 920 2943 0 340335 0 [pid=4014/tid=4021] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4021/stat : 4021 (toysat) S 4010 4014 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269482650864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4014/tid=4023] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4023/stat : 4023 (toysat) S 4010 4014 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269404007664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=4014/tid=4024] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4024/stat : 4024 (toysat) S 4010 4014 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269393534128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 1373764 [startup+1542.3 s] /proc/loadavg: 2.22 2.32 2.59 4/183 4059 /proc/meminfo: memFree=22317864/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1373764 CPUtime=1541.95 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 284249 0 0 0 154122 73 0 0 20 0 4 0 1879218 1406734336 285213 33554432000 4194304 16246674 140735286291472 140735286273344 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 343441 285213 920 2943 0 340335 0 [pid=4014/tid=4021] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4021/stat : 4021 (toysat) S 4010 4014 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269482650864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4014/tid=4023] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4023/stat : 4023 (toysat) S 4010 4014 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269404007664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=4014/tid=4024] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4024/stat : 4024 (toysat) S 4010 4014 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269393534128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 1373764 [startup+1602.3 s] /proc/loadavg: 2.27 2.30 2.57 4/183 4060 /proc/meminfo: memFree=22317768/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1373764 CPUtime=1601.92 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 284283 0 0 0 160119 73 0 0 20 0 4 0 1879218 1406734336 285213 33554432000 4194304 16246674 140735286291472 140735286273344 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 343441 285213 920 2943 0 340335 0 [pid=4014/tid=4021] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4021/stat : 4021 (toysat) S 4010 4014 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269482650864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4014/tid=4023] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4023/stat : 4023 (toysat) S 4010 4014 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269404007664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=4014/tid=4024] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4024/stat : 4024 (toysat) S 4010 4014 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269393534128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 1373764 [startup+1662.3 s] /proc/loadavg: 2.27 2.30 2.55 4/183 4061 /proc/meminfo: memFree=22317792/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1373764 CPUtime=1661.89 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 284318 0 0 0 166116 73 0 0 20 0 4 0 1879218 1406734336 285213 33554432000 4194304 16246674 140735286291472 140735286273344 5721352 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 343441 285213 920 2943 0 340335 0 [pid=4014/tid=4021] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4021/stat : 4021 (toysat) S 4010 4014 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269482650864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4014/tid=4023] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4023/stat : 4023 (toysat) S 4010 4014 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269404007664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=4014/tid=4024] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4024/stat : 4024 (toysat) S 4010 4014 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269393534128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1373764 [startup+1722.3 s] /proc/loadavg: 2.24 2.29 2.53 4/182 4062 /proc/meminfo: memFree=22318500/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1373764 CPUtime=1721.87 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 284345 0 0 0 172111 76 0 0 20 0 4 0 1879218 1406734336 285213 33554432000 4194304 16246674 140735286291472 140735286273344 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 343441 285213 920 2943 0 340335 0 [pid=4014/tid=4021] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4021/stat : 4021 (toysat) S 4010 4014 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269482650864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4014/tid=4023] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4023/stat : 4023 (toysat) S 4010 4014 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269404007664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=4014/tid=4024] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4024/stat : 4024 (toysat) S 4010 4014 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269393534128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1373764 [startup+1782.31 s] /proc/loadavg: 2.15 2.26 2.50 4/183 4064 /proc/meminfo: memFree=22317924/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1373764 CPUtime=1781.84 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 284389 0 0 0 178108 76 0 0 20 0 4 0 1879218 1406734336 285213 33554432000 4194304 16246674 140735286291472 140735286273344 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 343441 285213 920 2943 0 340335 0 [pid=4014/tid=4021] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4021/stat : 4021 (toysat) S 4010 4014 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269482650864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4014/tid=4023] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4023/stat : 4023 (toysat) S 4010 4014 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269404007664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=4014/tid=4024] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4024/stat : 4024 (toysat) S 4010 4014 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269393534128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1373764 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.19 2.26 2.50 5/183 4065 /proc/meminfo: memFree=22318260/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1373764 CPUtime=1800.02 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 284404 0 0 0 179926 76 0 0 20 0 4 0 1879218 1406734336 285213 33554432000 4194304 16246674 140735286291472 140735286273344 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 343441 285213 920 2943 0 340335 0 [pid=4014/tid=4021] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4021/stat : 4021 (toysat) S 4010 4014 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269482650864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4014/tid=4023] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4023/stat : 4023 (toysat) S 4010 4014 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269404007664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=4014/tid=4024] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4024/stat : 4024 (toysat) S 4010 4014 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269393534128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1373764 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 4014 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.19 2.26 2.50 5/183 4065 /proc/meminfo: memFree=22318260/32872528 swapFree=1253612/1390560 [pid=4014] ppid=4010 vsize=1373764 CPUtime=1800.02 cores=1,3,5,7 /proc/4014/stat : 4014 (toysat) R 4010 4014 3971 0 -1 4202496 284404 0 0 0 179926 76 0 0 20 0 4 0 1879218 1406734336 285213 33554432000 4194304 16246674 140735286291472 140735286273344 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 1 0 0 /proc/4014/statm: 343441 285213 920 2943 0 340335 0 [pid=4014/tid=4021] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4021/stat : 4021 (toysat) S 4010 4014 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269482650864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4014/tid=4023] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4023/stat : 4023 (toysat) S 4010 4014 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269404007664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=4014/tid=4024] ppid=4010 vsize=1373764 CPUtime=0 cores=1,3,5,7 /proc/4014/task/4024/stat : 4024 (toysat) S 4010 4014 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 1879222 1406734336 285213 33554432000 4194304 16246674 140735286291472 140269393534128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1373764 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.52 CPU time (s): 1800.04 CPU user time (s): 1799.27 CPU system time (s): 0.773882 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 1373764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.27 system time used= 0.773882 maximum resident set size= 1140852 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 284404 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= 277 involuntary context switches= 2027 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.83226 second user time and 7.41787 second system time The end
Begin job on node119 at 2016-06-29 16:05:33 IDJOB=4117330 IDBENCH=111563 IDSOLVER=2542 FILE ID=node119/4117330-1467209132 RUNJOBID= node119-1467209132-3988 PBS_JOBID= 19997583 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-aug6.5.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117330-1467209132/watcher-4117330-1467209132 -o /tmp/evaluation-result-4117330-1467209132/solver-4117330-1467209132 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467209132-3988 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117330-1467209132.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e7157cdd30d6bd11cdabb558af2d567f RANDOM SEED=3879410 node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.444 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 18644812 kB Buffers: 134900 kB Cached: 5972056 kB SwapCached: 0 kB Active: 9867332 kB Inactive: 2148144 kB Active(anon): 5911284 kB Inactive(anon): 0 kB Active(file): 3956048 kB Inactive(file): 2148144 kB Unevictable: 1390560 kB Mlocked: 1253612 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 33604 kB Writeback: 759552 kB AnonPages: 7299416 kB Mapped: 25220 kB Shmem: 204 kB Slab: 677140 kB SReclaimable: 72444 kB SUnreclaim: 604696 kB KernelStack: 1416 kB PageTables: 19076 kB NFS_Unstable: 174108 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 10110132 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 5894144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71700 MiB End job on node119 at 2016-06-29 16:36:25