| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.44 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm90p-opt.opb.negationfix.opb |
| MD5SUM | d7c7abaa6813363226c413605f4e5fd6 |
| 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 | 60 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | |
| Total number of constraints | |
| Number of constraints which are clauses | |
| Number of constraints which are cardinality constraints (but not clauses) | |
| Number of constraints which are nor clauses,nor cardinality constraints | |
| Minimum length of a constraint | |
| Maximum length of a constraint | |
| Number of terms in the objective function | |
| Biggest coefficient in the objective function | |
| Number of bits for the biggest coefficient in the objective function | |
| Sum of the numbers in the objective function | |
| Number of bits of the sum of numbers in the objective function | |
| Biggest number in a constraint | |
| Number of bits of the biggest number in a constraint | |
| Biggest sum of numbers in a constraint | |
| Number of bits of the biggest sum of numbers | |
| Number of products (including duplicates) | |
| Sum of products size (including duplicates) | |
| Number of different products | |
| Sum of products size |
0.00/0.00 c 2016-06-30T11:45:47+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4119969-1467279947.opb"] 0.00/0.01 c use --random-gen="435608765 2605370961 3839467082 1161582882 1065405353 4186126849 2618768427 2810760120 2056082288 2711488440 1388689516 1343996105 701171802 1188328708 1841605869 2461967392 2763316723 2238831576 2721415642 3311203003 3891685712 3014397945 4270510246 3761733127 841459885 364910520 300590070 2945959394 53834455 1507834162 1586841364 1149432869 2784649359 1971572177 3160985789 3232087215 2987971422 3517133317 1060642088 999181768 2563922886 2120999278 911752861 496597403 3326756901 2710320666 2421405760 1399268622 506951427 2648653059 3309274521 3812556212 2305828871 1256143891 1681819051 61845238 1744654323 317019775 985093405 3471751179 1947742870 1251857314 3374345728 2788163003 807796757 2625023198 3869419692 2219558356 1552917354 3594426491 2528709708 782770185 3285555238 659879499 1993803216 2107023971 3118167752 1634918650 930429646 3447887424 2541531744 898000757 3335873085 1950738994 2879297942 1868772601 3408204897 213123326 435366029 4069053179 1291313661 267756899 2823507646 320512527 469806779 4055856826 810737119 2436076195 1851255716 3458245432 3868327879 2630685431 2640948980 1873011541 1982121591 2002227681 3683245001 2606462394 2854293825 771292519 1651124830 977334053 2980263769 1164892325 2591039649 1920117758 2405737728 2916853932 1547142478 3161211042 3054788867 969644783 1815797730 873795440 3875723016 972789413 2841662896 611271855 3951972701 3431962154 802392372 3408867875 136662360 1892209350 3634267768 778757021 1310900785 3389860207 4035337679 879072477 3668713232 2654083041 2616370828 2708066411 2677026409 1554730148 1279442152 1963250734 401005366 3165620466 4145431422 1143213663 718220816 3414897118 1826794483 4050145278 1577511150 242009423 1659544964 794311886 2302302450 35430173 2126155881 736017499 1747725788 3669311172 822488893 1576479619 675148632 2417786734 3130466063 4012700853 3983297825 1770594143 869255691 3458311269 3323748744 614014450 212708421 463559615 1285392997 4114692892 1302048674 1207467939 2311375294 4277598967 2104972022 3746008238 3338370002 420207795 761811733 2667579331 1573668926 3862802764 432914539 602414616 3207493141 4178502636 3924594434 2843562149 4094456457 3834254962 4206706858 4020604863 6491125 4246177771 3126247926 785706151 2436188593 3454428413 1135441197 3817982281 1958890760 4183913553 3475243026 356526649 4046213617 1884396312 425501692 1024151045 1756701575 215342090 101901600 1336333444 1926538839 3592080931 2133793406 2537024823 2781505234 2439601292 623177396 2488768808 4163025134 3307825430 2063158746 2923692456 1149321477 1338036840 507662865 166136209 202950294 1036537068 4101769145 3128681423 564969553 3659660470 3150105677 428850450 1465981656 2345560343 2664633041 3533569050 2522277580 3232111826 3015592300 112614758 255 362436" option to reproduce the execution 0.28/0.33 c #vars 42624 0.28/0.33 c #constraints 1460 0.89/0.96 c BCD2: Hardening is enabled. 0.89/0.96 c BCD2: BiasedSearch is enabled. 0.89/0.96 c Solving starts ... 0.89/0.96 c ============================[ Search Statistics ]============================ 0.89/0.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.96 c | | | | Limit GC | Var | Constra 0.89/0.96 c ============================================================================= 0.89/0.99 c 0.0s | 0 | 0 | 0 | 14694 0 | 0 | 0 1.39/1.45 c 0.5s | 1 | 736 | 100 | 14694 0 | 0 | 0 2.39/2.45 c 1.5s | 2 | 3128 | 250 | 16164 0 | 0 | 0 3.79/3.82 c 2.8s | 3 | 9879 | 475 | 17781 0 | 0 | 0 6.49/6.51 c 5.5s | 3 | 18286 | 775 | 19560 0 | 0 | 0 6.79/6.84 c 5.8s | 4 | 18330 | 813 | 19560 0 | 0 | 0 9.19/9.29 c 8.3s | 4 | 27999 | 1313 | 21516 0 | 0 | 0 9.29/9.36 c 8.4s | 5 | 28006 | 1320 | 21516 0 | 0 | 0 9.49/9.59 c 8.6s | 5 | 36520 | 1326 | 23668 0 | 0 | 0 9.49/9.59 c #cpu_time = 8.542s 9.49/9.59 c #wall_clock_time = 8.564s 9.49/9.59 c #decision = 36520 9.49/9.59 c #random_decision = 106 9.49/9.59 c #conflict = 1326 9.49/9.59 c #restart = 5 9.49/9.59 o 64 9.49/9.59 c BCD2: updating upper bound: 64 -> 63 9.49/9.59 c BCD2: 0 <= obj <= 63 9.49/9.59 c BCD2: #cores=0, #unrelaxed=64, #relaxed=0, #hardened=0 9.49/9.59 c BCD2: #sat=1 #unsat=1 bias=1/2 9.49/9.59 c Solving starts ... 9.49/9.59 c ============================[ Search Statistics ]============================ 9.49/9.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.49/9.59 c | | | | Limit GC | Var | Constra 9.49/9.59 c ============================================================================= 9.49/9.59 c 0.0s | 0 | 0 | 0 | 23668 0 | 0 | 0 9.59/9.68 c 0.1s | 0 | 6 | 0 | 23668 0 | 0 | 0 9.59/9.68 c #cpu_time = 0.091s 9.59/9.68 c #wall_clock_time = 0.092s 9.59/9.68 c #decision = 6 9.59/9.68 c #random_decision = 0 9.59/9.68 c #conflict = 0 9.59/9.68 c #restart = 0 9.59/9.68 c BCD2: found a new core of size 7: cost of the new core is >=1 9.59/9.68 c lower bound updated to 1 9.59/9.68 c BCD2: 1 <= obj <= 63 9.59/9.68 c BCD2: #cores=1, #unrelaxed=57, #relaxed=7, #hardened=0 9.59/9.68 c BCD2: #sat=1 #unsat=2 bias=2/3 9.59/9.69 c Solving starts ... 9.59/9.69 c ============================[ Search Statistics ]============================ 9.59/9.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.59/9.69 c | | | | Limit GC | Var | Constra 9.59/9.69 c ============================================================================= 9.59/9.69 c 0.0s | 0 | 0 | 0 | 23668 0 | 0 | 0 9.79/9.84 c 0.2s | 0 | 7 | 1 | 23668 0 | 0 | 0 9.79/9.84 c #cpu_time = 0.152s 9.79/9.84 c #wall_clock_time = 0.152s 9.79/9.84 c #decision = 7 9.79/9.84 c #random_decision = 0 9.79/9.84 c #conflict = 1 9.79/9.84 c #restart = 0 9.79/9.84 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2 9.79/9.84 c lower bound updated to 2 9.79/9.84 c BCD2: 2 <= obj <= 63 9.79/9.84 c BCD2: #cores=1, #unrelaxed=51, #relaxed=13, #hardened=0 9.79/9.84 c BCD2: #sat=1 #unsat=3 bias=3/4 9.79/9.84 c Solving starts ... 9.79/9.84 c ============================[ Search Statistics ]============================ 9.79/9.84 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.79/9.84 c | | | | Limit GC | Var | Constra 9.79/9.84 c ============================================================================= 9.79/9.84 c 0.0s | 0 | 0 | 0 | 23668 0 | 1 | 0 9.90/9.92 c 0.1s | 0 | 7 | 1 | 23668 0 | 1 | 1 9.90/9.92 c #cpu_time = 0.083s 9.90/9.92 c #wall_clock_time = 0.083s 9.90/9.92 c #decision = 7 9.90/9.92 c #random_decision = 0 9.90/9.92 c #conflict = 1 9.90/9.92 c #restart = 0 9.90/9.92 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 19: cost of the new core is >=3 9.90/9.92 c lower bound updated to 3 9.90/9.92 c BCD2: 3 <= obj <= 63 9.90/9.92 c BCD2: #cores=1, #unrelaxed=45, #relaxed=19, #hardened=0 9.90/9.92 c BCD2: #sat=1 #unsat=4 bias=4/5 9.90/9.92 c Solving starts ... 9.90/9.92 c ============================[ Search Statistics ]============================ 9.90/9.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.90/9.92 c | | | | Limit GC | Var | Constra 9.90/9.92 c ============================================================================= 9.90/9.92 c 0.0s | 0 | 0 | 0 | 23668 0 | 2 | 1 10.00/10.01 c 0.1s | 0 | 6 | 0 | 23668 0 | 2 | 2 10.00/10.01 c #cpu_time = 0.082s 10.00/10.01 c #wall_clock_time = 0.082s 10.00/10.01 c #decision = 6 10.00/10.01 c #random_decision = 0 10.00/10.01 c #conflict = 0 10.00/10.01 c #restart = 0 10.00/10.01 c BCD2: found a new core of size 6: cost of the new core is >=1 10.00/10.01 c lower bound updated to 4 10.00/10.01 c BCD2: 4 <= obj <= 63 10.00/10.01 c BCD2: #cores=2, #unrelaxed=39, #relaxed=25, #hardened=0 10.00/10.01 c BCD2: #sat=1 #unsat=5 bias=5/6 10.00/10.01 c Solving starts ... 10.00/10.01 c ============================[ Search Statistics ]============================ 10.00/10.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.00/10.01 c | | | | Limit GC | Var | Constra 10.00/10.01 c ============================================================================= 10.00/10.01 c 0.0s | 0 | 0 | 0 | 23668 0 | 2 | 2 10.00/10.09 c 0.1s | 0 | 6 | 1 | 23668 0 | 2 | 2 10.00/10.09 c #cpu_time = 0.082s 10.00/10.09 c #wall_clock_time = 0.082s 10.00/10.09 c #decision = 6 10.00/10.09 c #random_decision = 0 10.00/10.09 c #conflict = 1 10.00/10.09 c #restart = 0 10.00/10.09 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 23: cost of the new core is >=4 10.00/10.09 c lower bound updated to 5 10.00/10.09 c BCD2: 5 <= obj <= 63 10.00/10.09 c BCD2: #cores=2, #unrelaxed=35, #relaxed=29, #hardened=0 10.00/10.09 c BCD2: #sat=1 #unsat=6 bias=6/7 10.00/10.09 c Solving starts ... 10.00/10.09 c ============================[ Search Statistics ]============================ 10.00/10.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.00/10.09 c | | | | Limit GC | Var | Constra 10.00/10.09 c ============================================================================= 10.00/10.09 c 0.0s | 0 | 0 | 0 | 23668 0 | 4 | 2 10.09/10.17 c 0.1s | 0 | 7 | 0 | 23668 0 | 4 | 5 10.09/10.17 c #cpu_time = 0.082s 10.09/10.17 c #wall_clock_time = 0.082s 10.09/10.17 c #decision = 7 10.09/10.17 c #random_decision = 0 10.09/10.17 c #conflict = 0 10.09/10.17 c #restart = 0 10.09/10.17 c BCD2: found a new core of size 6: cost of the new core is >=1 10.09/10.17 c lower bound updated to 6 10.09/10.17 c BCD2: 6 <= obj <= 63 10.09/10.17 c BCD2: #cores=3, #unrelaxed=29, #relaxed=35, #hardened=0 10.09/10.17 c BCD2: #sat=1 #unsat=7 bias=7/8 10.09/10.17 c Solving starts ... 10.09/10.17 c ============================[ Search Statistics ]============================ 10.09/10.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.09/10.17 c | | | | Limit GC | Var | Constra 10.09/10.17 c ============================================================================= 10.09/10.17 c 0.0s | 0 | 0 | 0 | 23668 0 | 4 | 5 10.19/10.26 c 0.1s | 0 | 9 | 1 | 23668 0 | 4 | 5 10.19/10.26 c #cpu_time = 0.083s 10.19/10.26 c #wall_clock_time = 0.083s 10.19/10.26 c #decision = 9 10.19/10.26 c #random_decision = 0 10.19/10.26 c #conflict = 1 10.19/10.26 c #restart = 0 10.19/10.26 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 29: cost of the new core is >=5 10.19/10.26 c lower bound updated to 7 10.19/10.26 c BCD2: 7 <= obj <= 63 10.19/10.26 c BCD2: #cores=3, #unrelaxed=23, #relaxed=41, #hardened=0 10.19/10.26 c BCD2: #sat=1 #unsat=8 bias=8/9 10.19/10.26 c Solving starts ... 10.19/10.26 c ============================[ Search Statistics ]============================ 10.19/10.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.19/10.26 c | | | | Limit GC | Var | Constra 10.19/10.26 c ============================================================================= 10.19/10.26 c 0.0s | 0 | 0 | 0 | 23668 0 | 5 | 5 10.29/10.34 c 0.1s | 0 | 9 | 1 | 23668 0 | 5 | 6 10.29/10.34 c #cpu_time = 0.083s 10.29/10.34 c #wall_clock_time = 0.083s 10.29/10.34 c #decision = 9 10.29/10.34 c #random_decision = 0 10.29/10.34 c #conflict = 1 10.29/10.34 c #restart = 0 10.29/10.34 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 12: cost of the new core is >=2 10.29/10.34 c lower bound updated to 8 10.29/10.34 c BCD2: 8 <= obj <= 63 10.29/10.34 c BCD2: #cores=3, #unrelaxed=17, #relaxed=47, #hardened=0 10.29/10.34 c BCD2: #sat=1 #unsat=9 bias=9/10 10.29/10.34 c Solving starts ... 10.29/10.34 c ============================[ Search Statistics ]============================ 10.29/10.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.29/10.34 c | | | | Limit GC | Var | Constra 10.29/10.34 c ============================================================================= 10.29/10.34 c 0.0s | 0 | 0 | 0 | 23668 0 | 6 | 6 10.39/10.43 c 0.1s | 0 | 8 | 1 | 23668 0 | 6 | 7 10.39/10.43 c #cpu_time = 0.083s 10.39/10.43 c #wall_clock_time = 0.084s 10.39/10.43 c #decision = 8 10.39/10.43 c #random_decision = 0 10.39/10.43 c #conflict = 1 10.39/10.43 c #restart = 0 10.39/10.43 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 17: cost of the new core is >=3 10.39/10.43 c lower bound updated to 9 10.39/10.43 c BCD2: 9 <= obj <= 63 10.39/10.43 c BCD2: #cores=3, #unrelaxed=12, #relaxed=52, #hardened=0 10.39/10.43 c BCD2: #sat=1 #unsat=10 bias=10/11 10.39/10.43 c Solving starts ... 10.39/10.43 c ============================[ Search Statistics ]============================ 10.39/10.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.39/10.43 c | | | | Limit GC | Var | Constra 10.39/10.43 c ============================================================================= 10.39/10.43 c 0.0s | 0 | 0 | 0 | 23668 0 | 7 | 7 10.49/10.51 c 0.1s | 0 | 9 | 1 | 23668 0 | 7 | 8 10.49/10.51 c #cpu_time = 0.083s 10.49/10.51 c #wall_clock_time = 0.083s 10.49/10.51 c #decision = 9 10.49/10.51 c #random_decision = 0 10.49/10.51 c #conflict = 1 10.49/10.51 c #restart = 0 10.49/10.51 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 12: cost of the new core is >=2 10.49/10.51 c lower bound updated to 10 10.49/10.51 c BCD2: 10 <= obj <= 63 10.49/10.51 c BCD2: #cores=3, #unrelaxed=6, #relaxed=58, #hardened=0 10.49/10.51 c BCD2: #sat=1 #unsat=11 bias=11/12 10.49/10.51 c Solving starts ... 10.49/10.51 c ============================[ Search Statistics ]============================ 10.49/10.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.49/10.51 c | | | | Limit GC | Var | Constra 10.49/10.51 c ============================================================================= 10.49/10.51 c 0.0s | 0 | 0 | 0 | 23668 0 | 8 | 8 10.49/10.60 c 0.1s | 0 | 9 | 1 | 23668 0 | 8 | 9 10.49/10.60 c #cpu_time = 0.084s 10.49/10.60 c #wall_clock_time = 0.084s 10.49/10.60 c #decision = 9 10.49/10.60 c #random_decision = 0 10.49/10.60 c #conflict = 1 10.49/10.60 c #restart = 0 10.49/10.60 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 18: cost of the new core is >=3 10.49/10.60 c lower bound updated to 11 10.49/10.60 c BCD2: 11 <= obj <= 63 10.49/10.60 c BCD2: #cores=3, #unrelaxed=0, #relaxed=64, #hardened=0 10.49/10.60 c BCD2: #sat=1 #unsat=12 bias=12/13 10.49/10.60 c Solving starts ... 10.49/10.60 c ============================[ Search Statistics ]============================ 10.49/10.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.49/10.60 c | | | | Limit GC | Var | Constra 10.49/10.60 c ============================================================================= 10.49/10.60 c 0.0s | 0 | 0 | 0 | 23668 0 | 9 | 9 10.69/10.73 c 0.1s | 1 | 1424 | 100 | 23668 0 | 9 | 10 10.79/10.88 c 0.3s | 2 | 2019 | 250 | 23668 0 | 9 | 10 11.00/11.06 c 0.5s | 3 | 2788 | 475 | 23668 0 | 9 | 10 11.29/11.31 c 0.7s | 4 | 4105 | 813 | 26035 0 | 9 | 10 11.59/11.64 c 1.0s | 5 | 5792 | 1320 | 26035 0 | 9 | 10 12.10/12.11 c 1.5s | 6 | 7878 | 2081 | 28639 0 | 9 | 10 12.79/12.85 c 2.3s | 7 | 11268 | 3223 | 28639 0 | 9 | 10 13.89/13.97 c 3.4s | 8 | 16530 | 4936 | 31503 0 | 9 | 10 16.49/16.52 c 5.9s | 8 | 47590 | 5436 | 31503 0 | 9 | 10 18.59/18.60 c 8.0s | 8 | 48035 | 5836 | 31503 0 | 9 | 10 21.19/21.28 c 10.7s | 8 | 48501 | 6236 | 34654 0 | 9 | 10 23.58/23.61 c 13.0s | 8 | 48826 | 6536 | 34654 0 | 9 | 10 25.68/25.76 c 15.2s | 8 | 49278 | 6936 | 34654 0 | 9 | 10 28.08/28.18 c 17.6s | 8 | 49838 | 7436 | 34654 0 | 9 | 10 28.59/28.61 c 18.0s | 9 | 49911 | 7506 | 34654 0 | 9 | 10 30.79/30.86 c 20.3s | 9 | 72940 | 7706 | 34654 0 | 9 | 10 33.18/33.28 c 22.7s | 9 | 73212 | 7906 | 34654 0 | 9 | 10 35.19/35.30 c 24.7s | 9 | 73322 | 8006 | 34654 0 | 9 | 10 38.88/38.97 c 28.4s | 9 | 73574 | 8206 | 34654 0 | 9 | 10 41.79/41.88 c 31.3s | 9 | 73787 | 8406 | 34654 0 | 9 | 10 46.48/46.56 c 36.0s | 9 | 74025 | 8606 | 34654 0 | 9 | 10 49.49/49.59 c 39.0s | 9 | 74118 | 8706 | 34654 0 | 9 | 10 52.68/52.71 c 42.1s | 9 | 74216 | 8806 | 34654 0 | 9 | 10 55.58/55.62 c 45.0s | 9 | 74458 | 9006 | 34654 0 | 9 | 10 58.18/58.21 c 47.6s | 9 | 74709 | 9206 | 34654 0 | 9 | 10 60.68/60.70 c 50.1s | 9 | 74957 | 9406 | 34654 0 | 9 | 10 63.48/63.56 c 53.0s | 9 | 75188 | 9606 | 34654 0 | 9 | 10 66.78/66.87 c 56.3s | 9 | 75423 | 9806 | 34654 0 | 9 | 10 69.88/69.92 c 59.3s | 9 | 75655 | 10006 | 38120 0 | 9 | 10 72.87/72.98 c 62.4s | 9 | 75898 | 10206 | 38120 0 | 9 | 10 76.18/76.20 c 65.6s | 9 | 76151 | 10406 | 38120 0 | 9 | 10 78.98/79.04 c 68.4s | 9 | 76384 | 10606 | 38120 0 | 9 | 10 82.48/82.58 c 72.0s | 9 | 76608 | 10806 | 38120 0 | 9 | 10 86.17/86.26 c 75.7s | 9 | 76834 | 11006 | 38120 0 | 9 | 10 90.07/90.16 c 79.6s | 9 | 77059 | 11206 | 38120 0 | 9 | 10 92.87/92.97 c 82.4s | 10 | 77236 | 11361 | 38120 0 | 9 | 10 95.48/95.57 c 85.0s | 10 | 87674 | 11561 | 38120 0 | 9 | 10 97.89/97.95 c 87.4s | 10 | 87994 | 11861 | 38120 0 | 9 | 10 100.38/100.40 c 89.8s | 10 | 88344 | 12161 | 38120 0 | 9 | 10 102.38/102.47 c 91.9s | 10 | 88669 | 12461 | 38120 0 | 9 | 10 104.98/105.03 c 94.4s | 10 | 88998 | 12761 | 38120 0 | 9 | 10 107.37/107.40 c 96.8s | 10 | 89310 | 13061 | 38120 0 | 9 | 10 109.57/109.63 c 99.0s | 10 | 89632 | 13361 | 38120 0 | 9 | 10 111.87/111.98 c 101s | 10 | 89942 | 13661 | 38120 0 | 9 | 10 114.38/114.45 c 103s | 10 | 90263 | 13961 | 38120 0 | 9 | 10 116.87/116.90 c 106s | 10 | 90584 | 14261 | 38120 0 | 9 | 10 119.17/119.23 c 108s | 10 | 90901 | 14561 | 38120 0 | 9 | 10 121.67/121.74 c 111s | 10 | 91214 | 14861 | 38120 0 | 9 | 10 124.17/124.24 c 113s | 10 | 91554 | 15161 | 38120 0 | 9 | 10 126.77/126.80 c 116s | 10 | 91879 | 15461 | 38120 0 | 9 | 10 129.07/129.13 c 118s | 10 | 92199 | 15761 | 41932 0 | 9 | 10 131.67/131.75 c 121s | 10 | 92521 | 16061 | 41932 0 | 9 | 10 134.27/134.36 c 123s | 10 | 92846 | 16361 | 41932 0 | 9 | 10 136.97/137.07 c 126s | 10 | 93161 | 16661 | 41932 0 | 9 | 10 139.56/139.68 c 129s | 10 | 93480 | 16961 | 41932 0 | 9 | 10 141.36/141.42 c 130s | 11 | 93667 | 17144 | 41932 0 | 9 | 10 143.37/143.43 c 132s | 11 | 103344 | 17244 | 41932 0 | 9 | 10 145.77/145.85 c 135s | 11 | 104023 | 17644 | 41932 0 | 9 | 10 148.47/148.51 c 137s | 11 | 104576 | 18044 | 41932 0 | 9 | 10 150.67/150.75 c 140s | 11 | 105071 | 18344 | 41932 0 | 9 | 10 152.76/152.89 c 142s | 11 | 105667 | 18644 | 41932 0 | 9 | 10 154.86/154.92 c 144s | 11 | 106001 | 18944 | 41932 0 | 9 | 10 156.86/156.96 c 146s | 11 | 106354 | 19244 | 41932 0 | 9 | 10 159.36/159.41 c 148s | 11 | 106800 | 19644 | 41932 0 | 9 | 10 161.96/162.01 c 151s | 11 | 107243 | 20044 | 41932 0 | 9 | 10 164.26/164.39 c 153s | 11 | 107591 | 20344 | 41932 0 | 9 | 10 166.76/166.82 c 156s | 11 | 107932 | 20644 | 41932 0 | 9 | 10 168.76/168.89 c 158s | 11 | 108297 | 20944 | 41932 0 | 9 | 10 171.46/171.54 c 160s | 11 | 108775 | 21344 | 41932 0 | 9 | 10 174.26/174.37 c 163s | 11 | 109097 | 21644 | 41932 0 | 9 | 10 176.96/177.09 c 166s | 11 | 109438 | 21944 | 41932 0 | 9 | 10 179.77/179.87 c 169s | 11 | 109802 | 22244 | 41932 0 | 9 | 10 181.87/181.96 c 171s | 11 | 110128 | 22544 | 41932 0 | 9 | 10 184.07/184.11 c 173s | 11 | 110481 | 22844 | 41932 0 | 9 | 10 186.16/186.27 c 175s | 11 | 110843 | 23144 | 41932 0 | 9 | 10 188.26/188.32 c 177s | 11 | 111197 | 23444 | 41932 0 | 9 | 10 190.27/190.35 c 179s | 11 | 111521 | 23744 | 41932 0 | 9 | 10 192.96/193.06 c 182s | 11 | 111981 | 24144 | 41932 0 | 9 | 10 194.96/195.06 c 184s | 11 | 112364 | 24444 | 46126 0 | 9 | 10 197.16/197.29 c 186s | 11 | 112715 | 24744 | 46126 0 | 9 | 10 199.56/199.68 c 189s | 11 | 113122 | 25044 | 46126 0 | 9 | 10 201.96/202.08 c 191s | 11 | 113480 | 25344 | 46126 0 | 9 | 10 204.46/204.52 c 193s | 11 | 113827 | 25644 | 46126 0 | 9 | 10 205.77/205.89 c 195s | 12 | 114001 | 25819 | 46126 0 | 9 | 10 208.36/208.46 c 197s | 12 | 122890 | 25919 | 46126 0 | 9 | 10 211.16/211.25 c 200s | 12 | 123125 | 26119 | 46126 0 | 9 | 10 214.26/214.34 c 203s | 12 | 123353 | 26319 | 46126 0 | 9 | 10 216.66/216.79 c 206s | 12 | 123616 | 26519 | 46126 0 | 9 | 10 219.36/219.48 c 208s | 12 | 123855 | 26719 | 46126 0 | 9 | 10 222.16/222.29 c 211s | 12 | 124147 | 26919 | 46126 0 | 9 | 10 224.85/224.92 c 214s | 12 | 124418 | 27119 | 46126 0 | 9 | 10 227.45/227.59 c 216s | 12 | 124673 | 27319 | 46126 0 | 9 | 10 230.45/230.50 c 219s | 12 | 124910 | 27519 | 46126 0 | 9 | 10 233.46/233.59 c 222s | 12 | 125143 | 27719 | 46126 0 | 9 | 10 236.96/237.00 c 226s | 12 | 125397 | 27919 | 46126 0 | 9 | 10 240.96/241.07 c 230s | 12 | 125624 | 28119 | 46126 0 | 9 | 10 244.65/244.71 c 234s | 12 | 125868 | 28319 | 46126 0 | 9 | 10 248.56/248.61 c 238s | 12 | 126102 | 28519 | 46126 0 | 9 | 10 250.55/250.64 c 240s | 12 | 126242 | 28619 | 46126 0 | 9 | 10 254.35/254.42 c 243s | 12 | 126493 | 28819 | 46126 0 | 9 | 10 258.35/258.50 c 247s | 12 | 126732 | 29019 | 46126 0 | 9 | 10 262.15/262.25 c 251s | 12 | 126974 | 29219 | 46126 0 | 9 | 10 266.05/266.13 c 255s | 12 | 127253 | 29419 | 46126 0 | 9 | 10 269.95/270.07 c 259s | 12 | 127492 | 29619 | 46126 0 | 9 | 10 273.85/273.98 c 263s | 12 | 127721 | 29819 | 46126 0 | 9 | 10 277.54/277.64 c 267s | 12 | 127955 | 30019 | 46126 0 | 9 | 10 279.55/279.67 c 269s | 12 | 128070 | 30119 | 46126 0 | 9 | 10 283.45/283.59 c 272s | 12 | 128298 | 30319 | 46126 0 | 9 | 10 285.74/285.86 c 275s | 12 | 128413 | 30419 | 46126 0 | 9 | 10 287.84/287.91 c 277s | 12 | 128523 | 30519 | 46126 0 | 9 | 10 289.94/290.03 c 279s | 12 | 128647 | 30619 | 46126 0 | 9 | 10 293.84/293.99 c 283s | 12 | 128872 | 30819 | 46126 0 | 9 | 10 297.85/297.92 c 287s | 12 | 129091 | 31019 | 46126 0 | 9 | 10 301.55/301.69 c 291s | 12 | 129321 | 31219 | 46126 0 | 9 | 10 303.74/303.81 c 293s | 12 | 129431 | 31319 | 46126 0 | 9 | 10 305.75/305.81 c 295s | 12 | 129541 | 31419 | 46126 0 | 9 | 10 307.84/307.96 c 297s | 12 | 129651 | 31519 | 46126 0 | 9 | 10 309.94/310.00 c 299s | 12 | 129772 | 31619 | 46126 0 | 9 | 10 314.04/314.16 c 303s | 12 | 129981 | 31819 | 46126 0 | 9 | 10 317.85/318.00 c 307s | 12 | 130217 | 32019 | 46126 0 | 9 | 10 319.94/320.05 c 309s | 12 | 130324 | 32119 | 46126 0 | 9 | 10 321.94/322.09 c 311s | 12 | 130441 | 32219 | 46126 0 | 9 | 10 326.04/326.10 c 315s | 12 | 130705 | 32419 | 46126 0 | 9 | 10 329.54/329.61 c 319s | 12 | 130934 | 32619 | 46126 0 | 9 | 10 333.04/333.20 c 322s | 12 | 131154 | 32819 | 46126 0 | 9 | 10 336.64/336.73 c 326s | 12 | 131377 | 33019 | 46126 0 | 9 | 10 340.14/340.26 c 329s | 12 | 131621 | 33219 | 46126 0 | 9 | 10 343.74/343.80 c 333s | 12 | 131860 | 33419 | 46126 0 | 9 | 10 345.74/345.87 c 335s | 12 | 131977 | 33519 | 46126 0 | 9 | 10 349.64/349.79 c 339s | 12 | 132188 | 33719 | 46126 0 | 9 | 10 351.84/351.94 c 341s | 12 | 132296 | 33819 | 46126 0 | 9 | 10 354.04/354.18 c 343s | 12 | 132395 | 33919 | 46126 0 | 9 | 10 357.73/357.87 c 347s | 12 | 132619 | 34119 | 46126 0 | 9 | 10 361.53/361.62 c 351s | 12 | 132838 | 34319 | 46126 0 | 9 | 10 365.63/365.79 c 355s | 12 | 133075 | 34519 | 46126 0 | 9 | 10 367.73/367.89 c 357s | 12 | 133185 | 34619 | 46126 0 | 9 | 10 371.74/371.86 c 361s | 12 | 133408 | 34819 | 46126 0 | 9 | 10 373.94/374.01 c 363s | 12 | 133521 | 34919 | 46126 0 | 9 | 10 376.24/376.37 c 365s | 12 | 133629 | 35019 | 46126 0 | 9 | 10 378.44/378.53 c 367s | 12 | 133741 | 35119 | 46126 0 | 9 | 10 382.13/382.29 c 371s | 12 | 133991 | 35319 | 46126 0 | 9 | 10 384.23/384.31 c 373s | 12 | 134091 | 35419 | 46126 0 | 9 | 10 387.93/388.07 c 377s | 12 | 134320 | 35619 | 46126 0 | 9 | 10 391.33/391.41 c 380s | 12 | 134540 | 35819 | 46126 0 | 9 | 10 395.13/395.20 c 384s | 12 | 134781 | 36019 | 46126 0 | 9 | 10 397.13/397.25 c 386s | 12 | 134887 | 36119 | 46126 0 | 9 | 10 401.13/401.21 c 390s | 12 | 135100 | 36319 | 46126 0 | 9 | 10 404.93/405.05 c 394s | 12 | 135334 | 36519 | 46126 0 | 9 | 10 407.12/407.24 c 396s | 12 | 135442 | 36619 | 46126 0 | 9 | 10 409.23/409.36 c 398s | 12 | 135549 | 36719 | 46126 0 | 9 | 10 411.33/411.44 c 400s | 12 | 135662 | 36819 | 46126 0 | 9 | 10 413.43/413.50 c 402s | 12 | 135768 | 36919 | 46126 0 | 9 | 10 415.74/415.86 c 405s | 12 | 135877 | 37019 | 46126 0 | 9 | 10 418.04/418.14 c 407s | 12 | 135980 | 37119 | 46126 0 | 9 | 10 420.33/420.46 c 409s | 12 | 136079 | 37219 | 46126 0 | 9 | 10 424.03/424.10 c 413s | 12 | 136315 | 37419 | 50739 0 | 9 | 10 426.03/426.14 c 415s | 12 | 136431 | 37519 | 50739 0 | 9 | 10 428.03/428.19 c 417s | 12 | 136531 | 37619 | 50739 0 | 9 | 10 430.33/430.41 c 419s | 12 | 136635 | 37719 | 50739 0 | 9 | 10 432.43/432.54 c 421s | 12 | 136745 | 37819 | 50739 0 | 9 | 10 434.43/434.57 c 423s | 12 | 136849 | 37919 | 50739 0 | 9 | 10 436.52/436.60 c 426s | 12 | 136953 | 38019 | 50739 0 | 9 | 10 440.32/440.49 c 429s | 12 | 137175 | 38219 | 50739 0 | 9 | 10 442.62/442.76 c 432s | 12 | 137289 | 38319 | 50739 0 | 9 | 10 444.72/444.89 c 434s | 12 | 137399 | 38419 | 50739 0 | 9 | 10 446.92/447.00 c 436s | 12 | 137508 | 38519 | 50739 0 | 9 | 10 449.13/449.27 c 438s | 12 | 137610 | 38619 | 50739 0 | 9 | 10 453.23/453.33 c 442s | 12 | 137839 | 38819 | 50739 0 | 9 | 10 453.42/453.59 c 442s | 13 | 137848 | 38832 | 50739 0 | 9 | 10 456.92/457.07 c 446s | 13 | 144058 | 38932 | 50739 0 | 9 | 10 459.12/459.25 c 448s | 13 | 144372 | 39232 | 50739 0 | 9 | 10 461.72/461.82 c 451s | 13 | 144724 | 39532 | 50739 0 | 9 | 10 464.32/464.44 c 453s | 13 | 145062 | 39832 | 50739 0 | 9 | 10 467.02/467.15 c 456s | 13 | 145386 | 40132 | 50739 0 | 9 | 10 469.73/469.81 c 459s | 13 | 145700 | 40432 | 50739 0 | 9 | 10 472.62/472.71 c 462s | 13 | 146035 | 40732 | 50739 0 | 9 | 10 474.82/474.91 c 464s | 13 | 146247 | 40932 | 50739 0 | 9 | 10 476.92/477.02 c 466s | 13 | 146461 | 41132 | 50739 0 | 9 | 10 479.02/479.18 c 468s | 13 | 146661 | 41332 | 50739 0 | 9 | 10 481.11/481.26 c 470s | 13 | 146877 | 41532 | 50739 0 | 9 | 10 483.11/483.28 c 472s | 13 | 147116 | 41732 | 50739 0 | 9 | 10 486.12/486.26 c 475s | 13 | 147474 | 42032 | 50739 0 | 9 | 10 488.81/488.95 c 478s | 13 | 147810 | 42332 | 50739 0 | 9 | 10 491.41/491.56 c 480s | 13 | 148174 | 42632 | 50739 0 | 9 | 10 494.21/494.33 c 483s | 13 | 148508 | 42932 | 50739 0 | 9 | 10 497.12/497.25 c 486s | 13 | 148888 | 43232 | 50739 0 | 9 | 10 499.11/499.27 c 488s | 13 | 149130 | 43432 | 50739 0 | 9 | 10 501.31/501.40 c 490s | 13 | 149361 | 43632 | 50739 0 | 9 | 10 503.91/504.01 c 493s | 13 | 149697 | 43932 | 50739 0 | 9 | 10 505.92/506.06 c 495s | 13 | 149911 | 44132 | 50739 0 | 9 | 10 508.01/508.10 c 497s | 13 | 150136 | 44332 | 50739 0 | 9 | 10 511.01/511.11 c 500s | 13 | 150455 | 44632 | 50739 0 | 9 | 10 513.12/513.25 c 502s | 13 | 150657 | 44832 | 50739 0 | 9 | 10 515.11/515.27 c 504s | 13 | 150871 | 45032 | 50739 0 | 9 | 10 518.02/518.17 c 507s | 13 | 151233 | 45332 | 50739 0 | 9 | 10 520.11/520.20 c 509s | 13 | 151440 | 45532 | 50739 0 | 9 | 10 522.21/522.37 c 511s | 13 | 151693 | 45732 | 50739 0 | 9 | 10 525.21/525.35 c 514s | 13 | 152013 | 46032 | 50739 0 | 9 | 10 528.21/528.30 c 517s | 13 | 152341 | 46332 | 50739 0 | 9 | 10 530.51/530.61 c 520s | 13 | 152572 | 46532 | 50739 0 | 9 | 10 532.51/532.65 c 522s | 13 | 152770 | 46732 | 50739 0 | 9 | 10 534.71/534.84 c 524s | 13 | 152986 | 46932 | 50739 0 | 9 | 10 537.61/537.71 c 527s | 13 | 153307 | 47232 | 50739 0 | 9 | 10 540.51/540.61 c 530s | 13 | 153637 | 47532 | 50739 0 | 9 | 10 542.81/542.93 c 532s | 13 | 153853 | 47732 | 50739 0 | 9 | 10 545.11/545.23 c 534s | 13 | 154066 | 47932 | 50739 0 | 9 | 10 547.10/547.29 c 536s | 13 | 154284 | 48132 | 50739 0 | 9 | 10 550.10/550.25 c 539s | 13 | 154623 | 48432 | 50739 0 | 9 | 10 552.11/552.29 c 541s | 13 | 154838 | 48632 | 50739 0 | 9 | 10 554.60/554.76 c 544s | 13 | 155046 | 48832 | 50739 0 | 9 | 10 556.90/557.04 c 546s | 13 | 155250 | 49032 | 50739 0 | 9 | 10 559.20/559.34 c 548s | 13 | 155461 | 49232 | 50739 0 | 9 | 10 561.30/561.40 c 550s | 13 | 155674 | 49432 | 50739 0 | 9 | 10 563.30/563.49 c 552s | 13 | 155897 | 49632 | 50739 0 | 9 | 10 565.50/565.62 c 555s | 13 | 156105 | 49832 | 50739 0 | 9 | 10 567.61/567.76 c 557s | 13 | 156309 | 50032 | 50739 0 | 9 | 10 569.81/569.93 c 559s | 13 | 156519 | 50232 | 50739 0 | 9 | 10 572.21/572.31 c 561s | 13 | 156718 | 50432 | 50739 0 | 9 | 10 574.60/574.75 c 564s | 13 | 156931 | 50632 | 50739 0 | 9 | 10 577.10/577.21 c 566s | 13 | 157135 | 50832 | 50739 0 | 9 | 10 579.40/579.56 c 568s | 13 | 157347 | 51032 | 50739 0 | 9 | 10 581.70/581.88 c 571s | 13 | 157560 | 51232 | 50739 0 | 9 | 10 584.20/584.34 c 573s | 13 | 157769 | 51432 | 50739 0 | 9 | 10 586.50/586.66 c 576s | 13 | 157972 | 51632 | 50739 0 | 9 | 10 588.80/588.92 c 578s | 13 | 158190 | 51832 | 50739 0 | 9 | 10 591.00/591.19 c 580s | 13 | 158396 | 52032 | 50739 0 | 9 | 10 593.40/593.51 c 582s | 13 | 158602 | 52232 | 50739 0 | 9 | 10 595.80/595.90 c 585s | 13 | 158804 | 52432 | 50739 0 | 9 | 10 598.00/598.13 c 587s | 13 | 159009 | 52632 | 50739 0 | 9 | 10 600.40/600.53 c 589s | 13 | 159221 | 52832 | 50739 0 | 9 | 10 602.80/602.98 c 592s | 13 | 159431 | 53032 | 50739 0 | 9 | 10 605.39/605.53 c 594s | 13 | 159635 | 53232 | 50739 0 | 9 | 10 607.79/607.90 c 597s | 13 | 159847 | 53432 | 50739 0 | 9 | 10 610.09/610.23 c 599s | 13 | 160080 | 53632 | 50739 0 | 9 | 10 612.29/612.42 c 601s | 13 | 160286 | 53832 | 50739 0 | 9 | 10 615.40/615.50 c 604s | 13 | 160603 | 54132 | 50739 0 | 9 | 10 617.70/617.80 c 607s | 13 | 160825 | 54332 | 50739 0 | 9 | 10 619.90/620.02 c 609s | 13 | 161045 | 54532 | 50739 0 | 9 | 10 622.40/622.56 c 611s | 13 | 161243 | 54732 | 50739 0 | 9 | 10 624.40/624.58 c 613s | 13 | 161487 | 54932 | 50739 0 | 9 | 10 626.50/626.66 c 616s | 13 | 161701 | 55132 | 50739 0 | 9 | 10 628.79/628.96 c 618s | 13 | 161921 | 55332 | 50739 0 | 9 | 10 631.79/631.97 c 621s | 13 | 162237 | 55632 | 50739 0 | 9 | 10 633.89/634.02 c 623s | 13 | 162445 | 55832 | 50739 0 | 9 | 10 635.99/636.13 c 625s | 13 | 162665 | 56032 | 50739 0 | 9 | 10 638.29/638.43 c 627s | 13 | 162876 | 56232 | 50739 0 | 9 | 10 640.49/640.64 c 630s | 13 | 163075 | 56432 | 50739 0 | 9 | 10 642.70/642.85 c 632s | 13 | 163279 | 56632 | 55813 0 | 9 | 10 645.19/645.40 c 634s | 13 | 163504 | 56832 | 55813 0 | 9 | 10 647.69/647.86 c 637s | 13 | 163762 | 57032 | 55813 0 | 9 | 10 650.29/650.41 c 639s | 13 | 163961 | 57232 | 55813 0 | 9 | 10 652.59/652.75 c 642s | 13 | 164170 | 57432 | 55813 0 | 9 | 10 655.29/655.42 c 644s | 13 | 164372 | 57632 | 55813 0 | 9 | 10 657.99/658.11 c 647s | 13 | 164572 | 57832 | 55813 0 | 9 | 10 660.59/660.74 c 650s | 13 | 164779 | 58032 | 55813 0 | 9 | 10 662.89/663.07 c 652s | 13 | 164984 | 58232 | 55813 0 | 9 | 10 664.59/664.75 c 654s | 14 | 165107 | 58352 | 55813 0 | 9 | 10 673.79/673.91 c 663s | 14 | 173440 | 58452 | 55813 1 | 9 | 10 676.29/676.46 c 665s | 14 | 173730 | 58652 | 55813 1 | 9 | 10 679.19/679.35 c 668s | 14 | 174044 | 58952 | 55813 1 | 9 | 10 681.49/681.66 c 671s | 14 | 174402 | 59252 | 55813 1 | 9 | 10 684.09/684.23 c 673s | 14 | 174829 | 59652 | 55813 1 | 9 | 10 686.09/686.26 c 675s | 14 | 175203 | 59952 | 55813 1 | 9 | 10 688.39/688.55 c 677s | 14 | 175634 | 60352 | 55813 1 | 9 | 10 690.89/691.03 c 680s | 14 | 176089 | 60752 | 55813 1 | 9 | 10 693.09/693.24 c 682s | 14 | 176441 | 61052 | 55813 1 | 9 | 10 695.29/695.42 c 684s | 14 | 176756 | 61352 | 55813 1 | 9 | 10 697.79/697.91 c 687s | 14 | 177093 | 61652 | 55813 1 | 9 | 10 700.28/700.41 c 689s | 14 | 177401 | 61952 | 55813 1 | 9 | 10 702.68/702.80 c 692s | 14 | 177727 | 62252 | 55813 1 | 9 | 10 704.99/705.11 c 694s | 14 | 178049 | 62552 | 55813 1 | 9 | 10 707.29/707.47 c 696s | 14 | 178377 | 62852 | 55813 1 | 9 | 10 709.88/710.06 c 699s | 14 | 178681 | 63152 | 55813 1 | 9 | 10 712.48/712.60 c 702s | 14 | 178995 | 63452 | 55813 1 | 9 | 10 714.68/714.88 c 704s | 14 | 179311 | 63752 | 55813 1 | 9 | 10 716.88/717.01 c 706s | 14 | 179634 | 64052 | 55813 1 | 9 | 10 719.29/719.43 c 708s | 14 | 179935 | 64352 | 55813 1 | 9 | 10 721.88/722.09 c 711s | 14 | 180242 | 64652 | 55813 1 | 9 | 10 724.47/724.63 c 714s | 14 | 180553 | 64952 | 55813 1 | 9 | 10 726.88/727.07 c 716s | 14 | 180876 | 65252 | 55813 1 | 9 | 10 729.58/729.71 c 719s | 14 | 181191 | 65552 | 55813 1 | 9 | 10 732.28/732.44 c 721s | 14 | 181516 | 65852 | 55813 1 | 9 | 10 734.98/735.17 c 724s | 14 | 181843 | 66152 | 55813 1 | 9 | 10 737.38/737.52 c 726s | 14 | 182177 | 66452 | 55813 1 | 9 | 10 740.08/740.28 c 729s | 14 | 182508 | 66752 | 55813 1 | 9 | 10 742.78/742.99 c 732s | 14 | 182822 | 67052 | 55813 1 | 9 | 10 745.17/745.37 c 734s | 14 | 183172 | 67352 | 55813 1 | 9 | 10 747.98/748.16 c 737s | 14 | 183485 | 67652 | 55813 1 | 9 | 10 750.57/750.76 c 740s | 14 | 183809 | 67952 | 55813 1 | 9 | 10 753.07/753.29 c 742s | 14 | 184121 | 68252 | 55813 1 | 9 | 10 755.78/755.95 c 745s | 14 | 184428 | 68552 | 55813 1 | 9 | 10 758.18/758.36 c 747s | 14 | 184759 | 68852 | 55813 1 | 9 | 10 760.98/761.11 c 750s | 14 | 185087 | 69152 | 55813 1 | 9 | 10 763.67/763.83 c 753s | 14 | 185436 | 69452 | 55813 1 | 9 | 10 766.58/766.78 c 756s | 14 | 185760 | 69752 | 55813 1 | 9 | 10 769.37/769.52 c 758s | 14 | 186097 | 70052 | 55813 1 | 9 | 10 772.37/772.55 c 761s | 14 | 186406 | 70352 | 55813 1 | 9 | 10 775.17/775.37 c 764s | 14 | 186759 | 70652 | 55813 1 | 9 | 10 777.97/778.10 c 767s | 14 | 187079 | 70952 | 55813 1 | 9 | 10 780.87/781.08 c 770s | 14 | 187394 | 71252 | 55813 1 | 9 | 10 783.76/783.93 c 773s | 14 | 187715 | 71552 | 55813 1 | 9 | 10 786.47/786.63 c 776s | 14 | 188040 | 71852 | 55813 1 | 9 | 10 789.36/789.59 c 778s | 14 | 188353 | 72152 | 55813 1 | 9 | 10 792.06/792.20 c 781s | 14 | 188678 | 72452 | 55813 1 | 9 | 10 794.77/794.97 c 784s | 14 | 188997 | 72752 | 55813 1 | 9 | 10 796.77/796.98 c 786s | 14 | 189205 | 72952 | 55813 1 | 9 | 10 798.87/799.08 c 788s | 14 | 189413 | 73152 | 55813 1 | 9 | 10 801.67/801.80 c 791s | 14 | 189739 | 73452 | 55813 1 | 9 | 10 804.17/804.38 c 793s | 14 | 190075 | 73752 | 55813 1 | 9 | 10 806.67/806.83 c 796s | 14 | 190399 | 74052 | 55813 1 | 9 | 10 808.97/809.19 c 798s | 14 | 190710 | 74352 | 55813 1 | 9 | 10 811.56/811.80 c 801s | 14 | 191033 | 74652 | 55813 1 | 9 | 10 814.36/814.55 c 803s | 14 | 191352 | 74952 | 55813 1 | 9 | 10 816.56/816.76 c 806s | 14 | 191566 | 75152 | 55813 1 | 9 | 10 819.37/819.51 c 808s | 14 | 191904 | 75452 | 55813 1 | 9 | 10 821.96/822.14 c 811s | 14 | 192225 | 75752 | 55813 1 | 9 | 10 824.26/824.43 c 813s | 14 | 192570 | 76052 | 55813 1 | 9 | 10 826.66/826.87 c 816s | 14 | 192882 | 76352 | 55813 1 | 9 | 10 829.56/829.77 c 819s | 14 | 193194 | 76652 | 55813 1 | 9 | 10 831.66/831.82 c 821s | 14 | 193400 | 76852 | 55813 1 | 9 | 10 834.45/834.67 c 824s | 14 | 193704 | 77152 | 55813 1 | 9 | 10 837.15/837.37 c 826s | 14 | 194020 | 77452 | 55813 1 | 9 | 10 839.95/840.18 c 829s | 14 | 194334 | 77752 | 55813 1 | 9 | 10 842.75/842.91 c 832s | 14 | 194655 | 78052 | 55813 1 | 9 | 10 845.76/845.94 c 835s | 14 | 194976 | 78352 | 55813 1 | 9 | 10 847.75/847.99 c 837s | 14 | 195185 | 78552 | 55813 1 | 9 | 10 850.55/850.72 c 840s | 14 | 195498 | 78852 | 55813 1 | 9 | 10 853.35/853.57 c 842s | 14 | 195855 | 79152 | 55813 1 | 9 | 10 856.15/856.32 c 845s | 14 | 196171 | 79452 | 55813 1 | 9 | 10 858.35/858.52 c 847s | 14 | 196375 | 79652 | 55813 1 | 9 | 10 861.05/861.27 c 850s | 14 | 196709 | 79952 | 55813 1 | 9 | 10 863.15/863.30 c 852s | 14 | 196926 | 80152 | 55813 1 | 9 | 10 865.95/866.14 c 855s | 14 | 197257 | 80452 | 55813 1 | 9 | 10 868.05/868.24 c 857s | 14 | 197467 | 80652 | 55813 1 | 9 | 10 870.84/871.06 c 860s | 14 | 197793 | 80952 | 55813 1 | 9 | 10 872.94/873.15 c 862s | 14 | 198002 | 81152 | 55813 1 | 9 | 10 875.04/875.28 c 864s | 14 | 198222 | 81352 | 55813 1 | 9 | 10 878.14/878.37 c 867s | 14 | 198537 | 81652 | 55813 1 | 9 | 10 881.05/881.28 c 870s | 14 | 198885 | 81952 | 55813 1 | 9 | 10 883.74/883.90 c 873s | 14 | 199204 | 82252 | 55813 1 | 9 | 10 886.45/886.68 c 876s | 14 | 199513 | 82552 | 55813 1 | 9 | 10 889.24/889.44 c 878s | 14 | 199827 | 82852 | 55813 1 | 9 | 10 891.24/891.47 c 880s | 14 | 200045 | 83052 | 55813 1 | 9 | 10 893.24/893.48 c 882s | 14 | 200251 | 83252 | 55813 1 | 9 | 10 895.34/895.54 c 884s | 14 | 200464 | 83452 | 55813 1 | 9 | 10 897.44/897.70 c 887s | 14 | 200700 | 83652 | 55813 1 | 9 | 10 899.74/899.95 c 889s | 14 | 200927 | 83852 | 55813 1 | 9 | 10 902.43/902.65 c 892s | 14 | 201237 | 84152 | 55813 1 | 9 | 10 904.53/904.79 c 894s | 14 | 201451 | 84352 | 55813 1 | 9 | 10 906.73/906.91 c 896s | 14 | 201661 | 84552 | 55813 1 | 9 | 10 909.73/909.94 c 899s | 14 | 201974 | 84852 | 55813 1 | 9 | 10 911.93/912.17 c 901s | 14 | 202182 | 85052 | 55813 1 | 9 | 10 914.72/914.94 c 904s | 14 | 202513 | 85352 | 55813 1 | 9 | 10 917.24/917.46 c 906s | 14 | 202839 | 85652 | 55813 1 | 9 | 10 920.13/920.36 c 909s | 14 | 203176 | 85952 | 61395 1 | 9 | 10 922.63/922.85 c 912s | 14 | 203503 | 86252 | 61395 1 | 9 | 10 924.62/924.88 c 914s | 14 | 203719 | 86452 | 61395 1 | 9 | 10 927.72/927.94 c 917s | 14 | 204046 | 86752 | 61395 1 | 9 | 10 930.42/930.68 c 920s | 14 | 204359 | 87052 | 61395 1 | 9 | 10 932.91/933.11 c 922s | 14 | 204697 | 87352 | 61395 1 | 9 | 10 935.01/935.27 c 924s | 15 | 205005 | 87632 | 61395 1 | 9 | 10 940.21/940.42 c 929s | 15 | 213054 | 87732 | 61395 1 | 9 | 10 943.42/943.64 c 933s | 15 | 213356 | 87932 | 61395 1 | 9 | 10 947.22/947.44 c 936s | 15 | 213619 | 88132 | 61395 1 | 9 | 10 950.02/950.25 c 939s | 15 | 213745 | 88232 | 61395 1 | 9 | 10 953.62/953.86 c 943s | 15 | 214105 | 88432 | 61395 1 | 9 | 10 957.51/957.74 c 947s | 15 | 214487 | 88632 | 61395 1 | 9 | 10 960.61/960.81 c 950s | 15 | 214786 | 88832 | 61395 1 | 9 | 10 964.91/965.15 c 954s | 15 | 215013 | 89032 | 61395 1 | 9 | 10 967.01/967.21 c 956s | 15 | 215131 | 89132 | 61395 1 | 9 | 10 970.21/970.47 c 959s | 15 | 215483 | 89332 | 61395 1 | 9 | 10 974.30/974.51 c 963s | 15 | 215739 | 89532 | 61395 1 | 9 | 10 977.90/978.15 c 967s | 15 | 216097 | 89732 | 61395 1 | 9 | 10 981.80/982.10 c 971s | 15 | 216450 | 89932 | 61395 1 | 9 | 10 984.09/984.36 c 973s | 15 | 216550 | 90032 | 61395 1 | 9 | 10 987.79/988.00 c 977s | 15 | 217045 | 90232 | 61395 1 | 9 | 10 991.19/991.40 c 980s | 15 | 217259 | 90432 | 61395 1 | 9 | 10 994.58/994.85 c 984s | 15 | 217522 | 90632 | 61395 1 | 9 | 10 996.99/997.24 c 986s | 15 | 217639 | 90732 | 61395 1 | 9 | 10 1000.19/1000.43 c 989s | 15 | 217922 | 90932 | 61395 1 | 9 | 10 1002.19/1002.44 c 991s | 15 | 218601 | 91132 | 61395 1 | 9 | 10 1004.39/1004.66 c 994s | 15 | 218872 | 91232 | 61395 1 | 9 | 10 1007.89/1008.16 c 997s | 15 | 219123 | 91432 | 61395 1 | 9 | 10 1010.09/1010.32 c 999s | 15 | 219243 | 91532 | 61395 1 | 9 | 10 1012.78/1013.02 c 1002s | 15 | 219387 | 91632 | 61395 1 | 9 | 10 1015.48/1015.70 c 1005s | 15 | 219502 | 91732 | 61395 1 | 9 | 10 1018.28/1018.50 c 1007s | 15 | 219638 | 91832 | 61395 1 | 9 | 10 1021.18/1021.45 c 1010s | 15 | 219853 | 92032 | 61395 1 | 9 | 10 1024.48/1024.76 c 1014s | 15 | 220091 | 92232 | 61395 1 | 9 | 10 1027.57/1027.87 c 1017s | 15 | 220330 | 92432 | 61395 1 | 9 | 10 1030.78/1031.05 c 1020s | 15 | 220557 | 92632 | 61395 1 | 9 | 10 1035.08/1035.38 c 1024s | 15 | 220777 | 92832 | 61395 1 | 9 | 10 1038.19/1038.48 c 1027s | 15 | 220893 | 92932 | 61395 1 | 9 | 10 1041.49/1041.73 c 1031s | 15 | 221030 | 93032 | 61395 1 | 9 | 10 1045.08/1045.36 c 1034s | 15 | 221159 | 93132 | 61395 1 | 9 | 10 1048.38/1048.69 c 1038s | 15 | 221305 | 93232 | 61395 1 | 9 | 10 1051.28/1051.51 c 1040s | 15 | 221420 | 93332 | 61395 1 | 9 | 10 1054.47/1054.70 c 1044s | 15 | 221652 | 93532 | 61395 1 | 9 | 10 1057.87/1058.16 c 1047s | 15 | 221913 | 93732 | 61395 1 | 9 | 10 1061.37/1061.65 c 1051s | 15 | 222169 | 93932 | 61395 1 | 9 | 10 1063.76/1064.04 c 1053s | 15 | 222286 | 94032 | 61395 1 | 9 | 10 1066.16/1066.44 c 1055s | 15 | 222410 | 94132 | 61395 1 | 9 | 10 1068.98/1069.23 c 1058s | 15 | 222510 | 94232 | 61395 1 | 9 | 10 1071.67/1071.97 c 1061s | 15 | 222619 | 94332 | 61395 1 | 9 | 10 1075.07/1075.38 c 1064s | 15 | 222727 | 94432 | 61395 1 | 9 | 10 1080.16/1080.45 c 1069s | 15 | 222942 | 94632 | 61395 1 | 9 | 10 1082.66/1082.99 c 1072s | 15 | 223057 | 94732 | 61395 1 | 9 | 10 1085.96/1086.26 c 1075s | 15 | 223154 | 94832 | 61395 1 | 9 | 10 1088.26/1088.50 c 1077s | 15 | 223260 | 94932 | 61395 1 | 9 | 10 1090.76/1091.09 c 1080s | 15 | 223370 | 95032 | 61395 1 | 9 | 10 1093.27/1093.58 c 1082s | 15 | 223481 | 95132 | 61395 1 | 9 | 10 1096.57/1096.85 c 1086s | 15 | 223590 | 95232 | 61395 1 | 9 | 10 1099.56/1099.87 c 1089s | 15 | 223696 | 95332 | 61395 1 | 9 | 10 1102.16/1102.40 c 1091s | 15 | 223810 | 95432 | 61395 1 | 9 | 10 1105.96/1106.21 c 1095s | 15 | 223919 | 95532 | 61395 1 | 9 | 10 1109.86/1110.19 c 1099s | 15 | 224026 | 95632 | 61395 1 | 9 | 10 1112.46/1112.78 c 1102s | 15 | 224133 | 95732 | 61395 1 | 9 | 10 1114.95/1115.27 c 1104s | 15 | 224239 | 95832 | 61395 1 | 9 | 10 1117.55/1117.83 c 1107s | 15 | 224340 | 95932 | 61395 1 | 9 | 10 1120.66/1120.94 c 1110s | 15 | 224458 | 96032 | 61395 1 | 9 | 10 1124.26/1124.56 c 1113s | 15 | 224568 | 96132 | 61395 1 | 9 | 10 1127.46/1127.79 c 1117s | 15 | 224671 | 96232 | 61395 1 | 9 | 10 1130.06/1130.38 c 1119s | 15 | 224776 | 96332 | 61395 1 | 9 | 10 1133.45/1133.76 c 1123s | 15 | 224883 | 96432 | 61395 1 | 9 | 10 1136.85/1137.14 c 1126s | 15 | 224986 | 96532 | 61395 1 | 9 | 10 1139.95/1140.22 c 1129s | 15 | 225108 | 96632 | 61395 1 | 9 | 10 1142.35/1142.63 c 1132s | 15 | 225221 | 96732 | 61395 1 | 9 | 10 1145.54/1145.83 c 1135s | 15 | 225318 | 96832 | 61395 1 | 9 | 10 1147.84/1148.11 c 1137s | 15 | 225477 | 96932 | 61395 1 | 9 | 10 1150.35/1150.61 c 1140s | 15 | 225595 | 97032 | 61395 1 | 9 | 10 1153.04/1153.34 c 1142s | 15 | 225718 | 97132 | 61395 1 | 9 | 10 1156.25/1156.50 c 1145s | 15 | 225828 | 97232 | 61395 1 | 9 | 10 1160.35/1160.65 c 1150s | 15 | 225929 | 97332 | 61395 1 | 9 | 10 1162.74/1163.03 c 1152s | 15 | 226034 | 97432 | 61395 1 | 9 | 10 1165.54/1165.87 c 1155s | 15 | 226133 | 97532 | 61395 1 | 9 | 10 1168.14/1168.41 c 1157s | 15 | 226269 | 97632 | 61395 1 | 9 | 10 1172.45/1172.79 c 1162s | 15 | 226477 | 97832 | 61395 1 | 9 | 10 1175.24/1175.50 c 1164s | 15 | 226578 | 97932 | 61395 1 | 9 | 10 1177.94/1178.27 c 1167s | 15 | 226718 | 98032 | 61395 1 | 9 | 10 1180.94/1181.25 c 1170s | 15 | 226827 | 98132 | 61395 1 | 9 | 10 1184.14/1184.43 c 1173s | 15 | 226929 | 98232 | 61395 1 | 9 | 10 1186.74/1187.05 c 1176s | 15 | 227030 | 98332 | 61395 1 | 9 | 10 1189.63/1189.96 c 1179s | 15 | 227136 | 98432 | 61395 1 | 9 | 10 1193.83/1194.17 c 1183s | 15 | 227363 | 98632 | 61395 1 | 9 | 10 1197.33/1197.64 c 1187s | 15 | 227456 | 98732 | 61395 1 | 9 | 10 1201.73/1202.01 c 1191s | 15 | 227592 | 98832 | 61395 1 | 9 | 10 1206.04/1206.34 c 1195s | 15 | 227706 | 98932 | 61395 1 | 9 | 10 1210.34/1210.66 c 1200s | 15 | 227811 | 99032 | 61395 1 | 9 | 10 1214.83/1215.18 c 1204s | 15 | 227933 | 99132 | 61395 1 | 9 | 10 1219.74/1220.01 c 1209s | 15 | 228049 | 99232 | 61395 1 | 9 | 10 1224.73/1225.03 c 1214s | 15 | 228151 | 99332 | 61395 1 | 9 | 10 1230.42/1230.76 c 1220s | 15 | 228257 | 99432 | 61395 1 | 9 | 10 1235.22/1235.52 c 1224s | 15 | 228356 | 99532 | 61395 1 | 9 | 10 1240.03/1240.32 c 1229s | 15 | 228458 | 99632 | 61395 1 | 9 | 10 1245.03/1245.34 c 1234s | 15 | 228559 | 99732 | 61395 1 | 9 | 10 1248.02/1248.32 c 1237s | 15 | 228690 | 99832 | 61395 1 | 9 | 10 1250.62/1250.94 c 1240s | 15 | 228805 | 99932 | 61395 1 | 9 | 10 1253.02/1253.34 c 1242s | 15 | 228920 | 100032 | 61395 1 | 9 | 10 1255.32/1255.63 c 1245s | 15 | 229041 | 100132 | 61395 1 | 9 | 10 1259.42/1259.78 c 1249s | 15 | 229270 | 100332 | 61395 1 | 9 | 10 1262.02/1262.35 c 1251s | 15 | 229381 | 100432 | 61395 1 | 9 | 10 1266.93/1267.23 c 1256s | 15 | 229609 | 100632 | 61395 1 | 9 | 10 1269.42/1269.75 c 1259s | 15 | 229706 | 100732 | 61395 1 | 9 | 10 1271.92/1272.22 c 1261s | 15 | 229814 | 100832 | 61395 1 | 9 | 10 1274.12/1274.40 c 1263s | 15 | 229922 | 100932 | 61395 1 | 9 | 10 1276.82/1277.18 c 1266s | 15 | 230023 | 101032 | 61395 1 | 9 | 10 1279.82/1280.17 c 1269s | 15 | 230128 | 101132 | 61395 1 | 9 | 10 1283.42/1283.76 c 1273s | 15 | 230230 | 101232 | 61395 1 | 9 | 10 1285.82/1286.17 c 1275s | 15 | 230329 | 101332 | 61395 1 | 9 | 10 1288.12/1288.46 c 1277s | 15 | 230439 | 101432 | 61395 1 | 9 | 10 1290.62/1290.95 c 1280s | 15 | 230545 | 101532 | 61395 1 | 9 | 10 1293.22/1293.53 c 1282s | 15 | 230644 | 101632 | 61395 1 | 9 | 10 1295.62/1295.93 c 1285s | 15 | 230768 | 101732 | 61395 1 | 9 | 10 1297.91/1298.23 c 1287s | 15 | 230876 | 101832 | 61395 1 | 9 | 10 1300.31/1300.63 c 1290s | 15 | 230984 | 101932 | 61395 1 | 9 | 10 1303.01/1303.37 c 1292s | 15 | 231085 | 102032 | 61395 1 | 9 | 10 1305.31/1305.69 c 1295s | 15 | 231194 | 102132 | 61395 1 | 9 | 10 1309.82/1310.11 c 1299s | 15 | 231454 | 102332 | 61395 1 | 9 | 10 1311.81/1312.12 c 1301s | 15 | 231573 | 102432 | 61395 1 | 9 | 10 1314.01/1314.36 c 1303s | 15 | 231681 | 102532 | 61395 1 | 9 | 10 1316.11/1316.40 c 1305s | 15 | 231818 | 102632 | 61395 1 | 9 | 10 1318.41/1318.72 c 1308s | 15 | 231938 | 102732 | 61395 1 | 9 | 10 1321.31/1321.69 c 1311s | 15 | 232047 | 102832 | 61395 1 | 9 | 10 1324.51/1324.82 c 1314s | 15 | 232153 | 102932 | 61395 1 | 9 | 10 1326.91/1327.27 c 1316s | 15 | 232261 | 103032 | 61395 1 | 9 | 10 1329.51/1329.87 c 1319s | 15 | 232369 | 103132 | 61395 1 | 9 | 10 1332.20/1332.53 c 1321s | 15 | 232472 | 103232 | 61395 1 | 9 | 10 1336.21/1336.57 c 1325s | 15 | 232575 | 103332 | 61395 1 | 9 | 10 1338.70/1339.00 c 1328s | 15 | 232679 | 103432 | 61395 1 | 9 | 10 1341.10/1341.43 c 1330s | 15 | 232777 | 103532 | 61395 1 | 9 | 10 1343.20/1343.53 c 1332s | 15 | 232881 | 103632 | 61395 1 | 9 | 10 1347.00/1347.31 c 1336s | 15 | 233202 | 103832 | 61395 1 | 9 | 10 1350.51/1350.89 c 1340s | 15 | 233422 | 104032 | 61395 1 | 9 | 10 1354.00/1354.36 c 1343s | 15 | 233632 | 104232 | 61395 1 | 9 | 10 1357.70/1358.04 c 1347s | 15 | 233849 | 104432 | 61395 1 | 9 | 10 1359.80/1360.11 c 1349s | 15 | 233960 | 104532 | 61395 1 | 9 | 10 1361.90/1362.23 c 1351s | 15 | 234065 | 104632 | 61395 1 | 9 | 10 1365.50/1365.82 c 1355s | 15 | 234274 | 104832 | 61395 1 | 9 | 10 1368.90/1369.26 c 1358s | 15 | 234672 | 105032 | 61395 1 | 9 | 10 1371.00/1371.32 c 1360s | 15 | 234812 | 105132 | 61395 1 | 9 | 10 1374.70/1375.07 c 1364s | 15 | 235069 | 105332 | 61395 1 | 9 | 10 1378.19/1378.59 c 1367s | 15 | 235284 | 105532 | 61395 1 | 9 | 10 1382.00/1382.36 c 1371s | 15 | 235500 | 105732 | 61395 1 | 9 | 10 1386.10/1386.47 c 1375s | 15 | 235764 | 105932 | 61395 1 | 9 | 10 1389.90/1390.28 c 1379s | 15 | 235967 | 106132 | 61395 1 | 9 | 10 1393.99/1394.31 c 1383s | 15 | 236179 | 106332 | 61395 1 | 9 | 10 1396.19/1396.53 c 1385s | 15 | 236282 | 106432 | 61395 1 | 9 | 10 1398.39/1398.70 c 1388s | 15 | 236380 | 106532 | 61395 1 | 9 | 10 1400.89/1401.21 c 1390s | 15 | 236486 | 106632 | 61395 1 | 9 | 10 1402.99/1403.31 c 1392s | 15 | 236593 | 106732 | 61395 1 | 9 | 10 1404.99/1405.36 c 1394s | 15 | 236699 | 106832 | 61395 1 | 9 | 10 1406.99/1407.38 c 1396s | 15 | 236811 | 106932 | 61395 1 | 9 | 10 1408.98/1409.39 c 1398s | 15 | 236908 | 107032 | 61395 1 | 9 | 10 1411.29/1411.70 c 1401s | 15 | 237014 | 107132 | 61395 1 | 9 | 10 1414.48/1414.80 c 1404s | 15 | 237292 | 107332 | 61395 1 | 9 | 10 1416.78/1417.11 c 1406s | 15 | 237477 | 107432 | 61395 1 | 9 | 10 1419.59/1419.98 c 1409s | 15 | 237619 | 107532 | 61395 1 | 9 | 10 1421.99/1422.35 c 1411s | 15 | 237776 | 107632 | 61395 1 | 9 | 10 1425.79/1426.18 c 1415s | 15 | 238007 | 107832 | 61395 1 | 9 | 10 1428.39/1428.76 c 1418s | 15 | 238110 | 107932 | 61395 1 | 9 | 10 1430.59/1430.93 c 1420s | 15 | 238340 | 108032 | 61395 1 | 9 | 10 1433.59/1433.95 c 1423s | 15 | 238561 | 108232 | 61395 1 | 9 | 10 1438.28/1438.67 c 1428s | 15 | 239011 | 108432 | 61395 1 | 9 | 10 1440.69/1441.07 c 1430s | 15 | 239159 | 108532 | 61395 1 | 9 | 10 1444.28/1444.69 c 1434s | 15 | 239436 | 108732 | 61395 1 | 9 | 10 1447.78/1448.14 c 1437s | 15 | 239751 | 108932 | 61395 1 | 9 | 10 1450.28/1450.67 c 1440s | 15 | 239929 | 109032 | 61395 1 | 9 | 10 1452.68/1453.10 c 1442s | 15 | 240092 | 109132 | 61395 1 | 9 | 10 1455.08/1455.45 c 1444s | 15 | 240308 | 109332 | 61395 1 | 9 | 10 1457.38/1457.78 c 1447s | 15 | 240532 | 109532 | 61395 1 | 9 | 10 1459.98/1460.34 c 1449s | 15 | 240745 | 109732 | 61395 1 | 9 | 10 1462.27/1462.65 c 1452s | 15 | 240948 | 109932 | 61395 1 | 9 | 10 1464.78/1465.15 c 1454s | 15 | 241154 | 110132 | 61395 1 | 9 | 10 1468.77/1469.11 c 1458s | 15 | 241535 | 110332 | 61395 1 | 9 | 10 1471.68/1472.01 c 1461s | 15 | 241655 | 110432 | 61395 1 | 9 | 10 1475.18/1475.53 c 1464s | 15 | 241940 | 110632 | 61395 1 | 9 | 10 1479.19/1479.59 c 1468s | 15 | 242211 | 110832 | 61395 1 | 9 | 10 1482.68/1483.08 c 1472s | 15 | 242440 | 111032 | 61395 1 | 9 | 10 1484.97/1485.33 c 1474s | 15 | 242545 | 111132 | 61395 1 | 9 | 10 1487.17/1487.56 c 1476s | 15 | 242656 | 111232 | 61395 1 | 9 | 10 1490.28/1490.64 c 1480s | 15 | 242780 | 111332 | 61395 1 | 9 | 10 1492.77/1493.16 c 1482s | 15 | 242890 | 111432 | 61395 1 | 9 | 10 1497.17/1497.56 c 1486s | 15 | 243202 | 111632 | 61395 1 | 9 | 10 1500.47/1500.85 c 1490s | 15 | 243689 | 111832 | 61395 1 | 9 | 10 1502.67/1503.05 c 1492s | 15 | 243848 | 111932 | 61395 1 | 9 | 10 1506.98/1507.35 c 1496s | 15 | 244075 | 112132 | 61395 1 | 9 | 10 1510.97/1511.34 c 1500s | 15 | 244190 | 112232 | 61395 1 | 9 | 10 1514.67/1515.03 c 1504s | 15 | 244346 | 112332 | 61395 1 | 9 | 10 1517.27/1517.67 c 1507s | 15 | 244443 | 112432 | 61395 1 | 9 | 10 1520.67/1521.00 c 1510s | 15 | 244587 | 112532 | 61395 1 | 9 | 10 1523.17/1523.51 c 1512s | 15 | 244795 | 112732 | 61395 1 | 9 | 10 1526.66/1527.08 c 1516s | 15 | 245071 | 112932 | 61395 1 | 9 | 10 1529.37/1529.70 c 1519s | 15 | 245212 | 113032 | 61395 1 | 9 | 10 1532.08/1532.44 c 1521s | 15 | 245340 | 113132 | 61395 1 | 9 | 10 1534.86/1535.26 c 1524s | 15 | 245534 | 113232 | 61395 1 | 9 | 10 1538.67/1539.09 c 1528s | 15 | 245655 | 113332 | 61395 1 | 9 | 10 1540.87/1541.22 c 1530s | 15 | 245768 | 113432 | 61395 1 | 9 | 10 1543.56/1543.92 c 1533s | 15 | 245901 | 113532 | 61395 1 | 9 | 10 1546.37/1546.70 c 1536s | 15 | 246001 | 113632 | 61395 1 | 9 | 10 1549.46/1549.86 c 1539s | 15 | 246101 | 113732 | 61395 1 | 9 | 10 1551.96/1552.34 c 1541s | 15 | 246716 | 113832 | 61395 1 | 9 | 10 1554.96/1555.33 c 1544s | 15 | 246834 | 113932 | 61395 1 | 9 | 10 1558.76/1559.12 c 1548s | 15 | 246954 | 114032 | 61395 1 | 9 | 10 1560.86/1561.20 c 1550s | 15 | 247153 | 114132 | 61395 1 | 9 | 10 1564.46/1564.84 c 1554s | 15 | 247294 | 114232 | 61395 1 | 9 | 10 1569.47/1569.83 c 1559s | 15 | 247857 | 114432 | 61395 1 | 9 | 10 1572.96/1573.31 c 1562s | 15 | 247959 | 114532 | 61395 1 | 9 | 10 1575.36/1575.79 c 1565s | 15 | 248116 | 114632 | 61395 1 | 9 | 10 1578.85/1579.25 c 1568s | 15 | 248228 | 114732 | 61395 1 | 9 | 10 1582.25/1582.63 c 1572s | 15 | 248338 | 114832 | 61395 1 | 9 | 10 1585.26/1585.66 c 1575s | 15 | 248461 | 114932 | 61395 1 | 9 | 10 1589.76/1590.20 c 1579s | 15 | 248577 | 115032 | 61395 1 | 9 | 10 1593.46/1593.80 c 1583s | 15 | 248792 | 115132 | 61395 1 | 9 | 10 1596.87/1597.26 c 1586s | 15 | 249035 | 115232 | 61395 1 | 9 | 10 1600.16/1600.58 c 1589s | 15 | 249171 | 115332 | 61395 1 | 9 | 10 1603.56/1603.96 c 1593s | 15 | 249279 | 115432 | 61395 1 | 9 | 10 1607.45/1607.84 c 1597s | 15 | 249473 | 115532 | 61395 1 | 9 | 10 1611.65/1612.00 c 1601s | 15 | 249615 | 115632 | 61395 1 | 9 | 10 1616.25/1616.63 c 1606s | 15 | 249793 | 115732 | 61395 1 | 9 | 10 1619.15/1619.59 c 1608s | 15 | 249902 | 115832 | 61395 1 | 9 | 10 1622.35/1622.74 c 1612s | 15 | 250019 | 115932 | 61395 1 | 9 | 10 1624.85/1625.26 c 1614s | 15 | 250141 | 116032 | 61395 1 | 9 | 10 1627.76/1628.15 c 1617s | 15 | 250267 | 116132 | 61395 1 | 9 | 10 1631.05/1631.50 c 1620s | 15 | 250370 | 116232 | 61395 1 | 9 | 10 1636.35/1636.78 c 1626s | 15 | 250495 | 116332 | 61395 1 | 9 | 10 1642.74/1643.13 c 1632s | 15 | 250627 | 116432 | 61395 1 | 9 | 10 1647.85/1648.25 c 1637s | 15 | 250764 | 116532 | 61395 1 | 9 | 10 1653.06/1653.41 c 1642s | 15 | 250910 | 116632 | 61395 1 | 9 | 10 1658.74/1659.12 c 1648s | 15 | 251018 | 116732 | 61395 1 | 9 | 10 1665.54/1665.93 c 1655s | 15 | 251152 | 116832 | 61395 1 | 9 | 10 1670.44/1670.90 c 1660s | 15 | 251285 | 116932 | 61395 1 | 9 | 10 1677.25/1677.64 c 1667s | 15 | 251420 | 117032 | 61395 1 | 9 | 10 1683.64/1684.02 c 1673s | 15 | 251551 | 117132 | 61395 1 | 9 | 10 1688.94/1689.33 c 1678s | 15 | 251686 | 117232 | 61395 1 | 9 | 10 1692.14/1692.51 c 1681s | 15 | 251821 | 117332 | 61395 1 | 9 | 10 1696.83/1697.23 c 1686s | 15 | 252333 | 117432 | 61395 1 | 9 | 10 1706.33/1706.76 c 1696s | 15 | 252446 | 117532 | 61395 1 | 9 | 10 1715.93/1716.30 c 1705s | 15 | 252640 | 117632 | 61395 1 | 9 | 10 1720.03/1720.45 c 1709s | 15 | 252858 | 117732 | 61395 1 | 9 | 10 1725.93/1726.33 c 1715s | 15 | 252982 | 117832 | 61395 1 | 9 | 10 1730.42/1730.88 c 1720s | 15 | 253185 | 117932 | 61395 1 | 9 | 10 1735.33/1735.75 c 1725s | 15 | 253322 | 118032 | 61395 1 | 9 | 10 1737.74/1738.17 c 1727s | 15 | 253439 | 118132 | 61395 1 | 9 | 10 1740.62/1741.02 c 1730s | 15 | 253558 | 118232 | 61395 1 | 9 | 10 1743.72/1744.11 c 1733s | 15 | 253666 | 118332 | 61395 1 | 9 | 10 1746.12/1746.52 c 1735s | 15 | 253969 | 118432 | 61395 1 | 9 | 10 1750.23/1750.67 c 1740s | 15 | 254133 | 118532 | 61395 1 | 9 | 10 1753.72/1754.14 c 1743s | 15 | 254327 | 118632 | 61395 1 | 9 | 10 1757.72/1758.17 c 1747s | 15 | 254483 | 118732 | 61395 1 | 9 | 10 1760.52/1760.95 c 1750s | 15 | 254643 | 118832 | 61395 1 | 9 | 10 1765.42/1765.83 c 1755s | 15 | 254771 | 118932 | 61395 1 | 9 | 10 1768.82/1769.22 c 1758s | 15 | 254939 | 119032 | 61395 1 | 9 | 10 1771.62/1772.07 c 1761s | 15 | 255122 | 119132 | 61395 1 | 9 | 10 1774.32/1774.72 c 1764s | 15 | 255275 | 119232 | 61395 1 | 9 | 10 1776.81/1777.28 c 1766s | 15 | 255412 | 119332 | 61395 1 | 9 | 10 1779.42/1779.89 c 1769s | 15 | 255640 | 119432 | 61395 1 | 9 | 10 1782.41/1782.85 c 1772s | 15 | 255798 | 119532 | 61395 1 | 9 | 10 1784.81/1785.21 c 1774s | 15 | 255931 | 119632 | 61395 1 | 9 | 10 1787.62/1788.07 c 1777s | 15 | 256067 | 119732 | 61395 1 | 9 | 10 1790.72/1791.14 c 1780s | 15 | 256261 | 119932 | 61395 1 | 9 | 10 1793.91/1794.40 c 1783s | 15 | 256477 | 120132 | 61395 1 | 9 | 10 1796.52/1796.94 c 1786s | 15 | 256691 | 120332 | 61395 1 | 9 | 10 1799.71/1800.11 c 1789s | 15 | 256901 | 120532 | 61395 1 | 9 | 10
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-4119969-1467279947/watcher-4119969-1467279947 -o /tmp/evaluation-result-4119969-1467279947/solver-4119969-1467279947 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467279947-10941 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119969-1467279947.opb pid=10970 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: 1.06 1.04 1.17 2/243 10973 /proc/meminfo: memFree=31223984/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=712124 CPUtime=0 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 2651 0 0 0 0 0 0 0 20 0 4 0 9101217 729214976 3011 33554432000 4194304 16246674 140735575488976 140735575488400 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10973/statm: 178543 3020 441 2943 0 175437 0 [pid=10973/tid=10974] ppid=10970 vsize=730556 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 748089344 3084 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=734652 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 752283648 3102 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=738748 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9101217 756477952 3118 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100131 s] /proc/loadavg: 1.06 1.04 1.17 2/243 10973 /proc/meminfo: memFree=31223984/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 29919 0 0 0 5 4 0 0 20 0 4 0 9101217 1333334016 30218 33554432000 4194304 16246674 140735575488976 140735575488288 7364033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10973/statm: 325521 30235 800 2943 0 322415 0 [pid=10973/tid=10974] ppid=10970 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 1333334016 30247 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 1333334016 30258 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 1333334016 30269 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200543 s] /proc/loadavg: 1.06 1.04 1.17 2/243 10973 /proc/meminfo: memFree=31223984/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 43944 0 0 0 13 6 0 0 20 0 4 0 9101217 1344868352 44753 33554432000 4194304 16246674 140735575488976 140735575488288 7374592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10973/statm: 328337 44753 800 2943 0 325231 0 [pid=10973/tid=10974] ppid=10970 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 1344868352 44753 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 1344868352 44753 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 1344868352 44753 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300411 s] /proc/loadavg: 1.06 1.04 1.17 2/243 10973 /proc/meminfo: memFree=31223984/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=1313348 CPUtime=0.28 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 56237 0 0 0 21 7 0 0 20 0 4 0 9101217 1344868352 57046 33554432000 4194304 16246674 140735575488976 140735575488288 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10973/statm: 328337 57046 800 2943 0 325231 0 [pid=10973/tid=10974] ppid=10970 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 1344868352 57046 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 1344868352 57046 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 1344868352 57046 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1313348 [startup+0.700418 s] /proc/loadavg: 1.06 1.04 1.17 2/243 10973 /proc/meminfo: memFree=31223984/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=1326660 CPUtime=0.69 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 59604 0 0 0 61 8 0 0 20 0 4 0 9101217 1358499840 60413 33554432000 4194304 16246674 140735575488976 140735575488288 4207736 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10973/statm: 331665 60413 833 2943 0 328559 0 [pid=10973/tid=10974] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 60413 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 60413 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 60413 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1326660 [startup+1.50041 s] /proc/loadavg: 1.13 1.05 1.17 3/247 10977 /proc/meminfo: memFree=30374904/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=1326660 CPUtime=1.49 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 89165 0 0 0 137 12 0 0 20 0 4 0 9101217 1358499840 89974 33554432000 4194304 16246674 140735575488976 140735575488288 13906983 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10973/statm: 331665 89974 888 2943 0 328559 0 [pid=10973/tid=10974] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 89974 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 89974 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 89974 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1326660 [startup+3.10042 s] /proc/loadavg: 1.13 1.05 1.17 3/247 10977 /proc/meminfo: memFree=29868852/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=1326660 CPUtime=3.09 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 89168 0 0 0 297 12 0 0 20 0 4 0 9101217 1358499840 89977 33554432000 4194304 16246674 140735575488976 140735575470848 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10973/statm: 331665 89977 891 2943 0 328559 0 [pid=10973/tid=10974] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 89977 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 89977 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 89977 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1326660 [startup+6.30042 s] /proc/loadavg: 1.13 1.05 1.17 3/247 10977 /proc/meminfo: memFree=29868024/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=1326660 CPUtime=6.29 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 89168 0 0 0 615 14 0 0 20 0 4 0 9101217 1358499840 89977 33554432000 4194304 16246674 140735575488976 140735575470848 5711369 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10973/statm: 331665 89977 891 2943 0 328559 0 [pid=10973/tid=10974] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 89977 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 89977 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 89977 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1326660 [startup+12.7004 s] /proc/loadavg: 1.26 1.08 1.18 3/247 10977 /proc/meminfo: memFree=29829528/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=1326660 CPUtime=12.69 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 122689 0 0 0 1250 19 0 0 20 0 4 0 9101217 1358499840 123498 33554432000 4194304 16246674 140735575488976 140735575470848 5659576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10973/statm: 331665 123498 915 2943 0 328559 0 [pid=10973/tid=10974] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 123498 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 123498 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 123498 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1326660 [startup+25.5005 s] /proc/loadavg: 1.38 1.11 1.19 3/247 10977 /proc/meminfo: memFree=29469276/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=1326660 CPUtime=25.48 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 188865 0 0 0 2521 27 0 0 20 0 4 0 9101217 1358499840 189674 33554432000 4194304 16246674 140735575488976 140735575470848 5667556 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10973/statm: 331665 189674 915 2943 0 328559 0 [pid=10973/tid=10974] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 189674 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 189674 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 189674 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1326660 [startup+51.1005 s] /proc/loadavg: 1.59 1.18 1.21 3/247 10977 /proc/meminfo: memFree=29469992/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=1326660 CPUtime=51.08 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 188867 0 0 0 5080 28 0 0 20 0 4 0 9101217 1358499840 189676 33554432000 4194304 16246674 140735575488976 140735575470848 13780568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10973/statm: 331665 189676 917 2943 0 328559 0 [pid=10973/tid=10974] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 189676 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 189676 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 189676 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1326660 [startup+102.301 s] /proc/loadavg: 1.83 1.32 1.25 3/247 10978 /proc/meminfo: memFree=29427220/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=1326660 CPUtime=102.28 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 188867 0 0 0 10197 31 0 0 20 0 4 0 9101217 1358499840 189676 33554432000 4194304 16246674 140735575488976 140735575470848 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10973/statm: 331665 189676 917 2943 0 328559 0 [pid=10973/tid=10974] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 189676 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 189676 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 1358499840 189676 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1326660 ################ # More data... # ################ /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 2007568384 431625 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1242.03 Current children cumulated vsize (KiB) 1960516 [startup+1302.3 s] /proc/loadavg: 2.03 2.03 1.80 3/247 11031 /proc/meminfo: memFree=28363008/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=2029124 CPUtime=1302.01 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 448028 0 0 0 130100 101 0 0 20 0 4 0 9101217 2077822976 448702 33554432000 4194304 16246674 140735575488976 140735575470848 5711552 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10973/statm: 507281 448702 920 2943 0 504175 0 [pid=10973/tid=10974] ppid=10970 vsize=2029124 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 2077822976 448702 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=2029124 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 2077822976 448702 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=2029124 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 2077822976 448702 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 2029124 [startup+1362.3 s] /proc/loadavg: 2.12 2.05 1.82 3/247 11032 /proc/meminfo: memFree=28303780/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=2087492 CPUtime=1362 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 462683 0 0 0 136092 108 0 0 20 0 4 0 9101217 2137591808 463353 33554432000 4194304 16246674 140735575488976 140735575470848 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10973/statm: 521873 463353 920 2943 0 518767 0 [pid=10973/tid=10974] ppid=10970 vsize=2087492 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 2137591808 463353 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=2087492 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 2137591808 463353 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=2087492 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 2137591808 463353 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 2087492 [startup+1422.3 s] /proc/loadavg: 2.04 2.04 1.83 3/248 11042 /proc/meminfo: memFree=28231440/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=2160196 CPUtime=1421.99 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 480770 0 0 0 142085 114 0 0 20 0 4 0 9101217 2212040704 481429 33554432000 4194304 16246674 140735575488976 140735575486784 13781188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10973/statm: 540049 481429 920 2943 0 536943 0 [pid=10973/tid=10974] ppid=10970 vsize=2160196 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 2212040704 481429 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=2160196 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 2212040704 481429 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=2160196 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 2212040704 481429 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 2160196 [startup+1482.3 s] /proc/loadavg: 2.01 2.03 1.83 3/248 11045 /proc/meminfo: memFree=28165024/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=2226756 CPUtime=1481.98 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 497369 0 0 0 148075 123 0 0 20 0 4 0 9101217 2280198144 498026 33554432000 4194304 16246674 140735575488976 140735575488152 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10973/statm: 556689 498026 920 2943 0 553583 0 [pid=10973/tid=10974] ppid=10970 vsize=2226756 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 2280198144 498026 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=2226756 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 2280198144 498026 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=2226756 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 2280198144 498026 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.98 Current children cumulated vsize (KiB) 2226756 [startup+1542.31 s] /proc/loadavg: 2.00 2.02 1.84 3/247 11046 /proc/meminfo: memFree=28109888/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=2281028 CPUtime=1541.97 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 511121 0 0 0 154065 132 0 0 20 0 4 0 9101217 2335772672 511773 33554432000 4194304 16246674 140735575488976 140735575488152 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10973/statm: 570257 511773 920 2943 0 567151 0 [pid=10973/tid=10974] ppid=10970 vsize=2281028 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 2335772672 511773 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=2281028 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 2335772672 511773 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=2281028 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 2335772672 511773 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.97 Current children cumulated vsize (KiB) 2281028 [startup+1602.3 s] /proc/loadavg: 2.07 2.03 1.85 3/247 11047 /proc/meminfo: memFree=28043204/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=2346564 CPUtime=1601.96 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 527305 0 0 0 160052 144 0 0 20 0 4 0 9101217 2402881536 527954 33554432000 4194304 16246674 140735575488976 140735575488152 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10973/statm: 586641 527954 920 2943 0 583535 0 [pid=10973/tid=10974] ppid=10970 vsize=2346564 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 2402881536 527954 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=2346564 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 2402881536 527954 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=2346564 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 2402881536 527954 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.96 Current children cumulated vsize (KiB) 2346564 [startup+1662.3 s] /proc/loadavg: 2.02 2.02 1.85 3/247 11048 /proc/meminfo: memFree=27995620/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=2392644 CPUtime=1661.95 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 539036 0 0 0 166037 158 0 0 20 0 4 0 9101217 2450067456 539679 33554432000 4194304 16246674 140735575488976 140735575488152 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10973/statm: 598161 539679 921 2943 0 595055 0 [pid=10973/tid=10974] ppid=10970 vsize=2392644 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 2450067456 539679 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=2392644 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 2450067456 539679 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=2392644 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 2450067456 539679 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.95 Current children cumulated vsize (KiB) 2392644 [startup+1722.3 s] /proc/loadavg: 2.04 2.03 1.87 3/247 11050 /proc/meminfo: memFree=27935896/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=2453060 CPUtime=1721.93 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 553961 0 0 0 172023 170 0 0 20 0 4 0 9101217 2511933440 554596 33554432000 4194304 16246674 140735575488976 140735575470848 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10973/statm: 613265 554596 921 2943 0 610159 0 [pid=10973/tid=10974] ppid=10970 vsize=2453060 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 2511933440 554596 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=2453060 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 2511933440 554596 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=2453060 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 2511933440 554596 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.93 Current children cumulated vsize (KiB) 2453060 [startup+1782.3 s] /proc/loadavg: 2.09 2.05 1.88 3/247 11051 /proc/meminfo: memFree=27878892/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=2486852 CPUtime=1781.91 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 562490 0 0 0 178007 184 0 0 20 0 4 0 9101217 2546536448 563120 33554432000 4194304 16246674 140735575488976 140735575488152 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10973/statm: 621713 563120 921 2943 0 618607 0 [pid=10973/tid=10974] ppid=10970 vsize=2486852 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 2546536448 563120 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=2486852 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 2546536448 563120 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=2486852 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 2546536448 563120 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 2486852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.07 2.05 1.88 3/247 11051 /proc/meminfo: memFree=27859640/32872528 swapFree=189444/189444 [pid=10973] ppid=10970 vsize=2506308 CPUtime=1800.01 cores=1,3,5,7 /proc/10973/stat : 10973 (toysat) R 10970 10973 9799 0 -1 4202496 567316 0 0 0 179813 188 0 0 20 0 4 0 9101217 2566459392 567946 33554432000 4194304 16246674 140735575488976 140735575488152 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10973/statm: 626577 567946 921 2943 0 623471 0 [pid=10973/tid=10974] ppid=10970 vsize=2506308 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10974/stat : 10974 (toysat) S 10970 10973 9799 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9101217 2566459392 567946 33554432000 4194304 16246674 140735575488976 139704517242096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10973/tid=10975] ppid=10970 vsize=2506308 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10975/stat : 10975 (toysat) S 10970 10973 9799 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9101217 2566459392 567946 33554432000 4194304 16246674 140735575488976 139704506752240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10973/tid=10976] ppid=10970 vsize=2506308 CPUtime=0 cores=1,3,5,7 /proc/10973/task/10976/stat : 10976 (toysat) S 10970 10973 9799 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9101217 2566459392 567946 33554432000 4194304 16246674 140735575488976 139704496278704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 2506308 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 10973 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.44 CPU time (s): 1800.06 CPU user time (s): 1798.14 CPU system time (s): 1.91971 CPU usage (%): 99.9788 Max. virtual memory (cumulated for all children) (KiB): 2506308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.14 system time used= 1.91971 maximum resident set size= 2271784 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 567316 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= 194 involuntary context switches= 2191 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.66129 second user time and 6.86296 second system time The end
Begin job on node102 at 2016-06-30 11:45:47 IDJOB=4119969 IDBENCH=111826 IDSOLVER=2542 FILE ID=node102/4119969-1467279947 RUNJOBID= node102-1467279947-10941 PBS_JOBID= 20004490 Free space on /tmp= 71652 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm90p-opt.opb.negationfix.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119969-1467279947/watcher-4119969-1467279947 -o /tmp/evaluation-result-4119969-1467279947/solver-4119969-1467279947 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467279947-10941 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119969-1467279947.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d7c7abaa6813363226c413605f4e5fd6 RANDOM SEED=355705037 node102.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.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.48 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.744 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.744 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.55 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.744 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.49 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.744 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.54 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.744 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.744 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.744 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: 31241476 kB Buffers: 144032 kB Cached: 472780 kB SwapCached: 0 kB Active: 289636 kB Inactive: 410048 kB Active(anon): 85276 kB Inactive(anon): 0 kB Active(file): 204360 kB Inactive(file): 410048 kB Unevictable: 189444 kB Mlocked: 189444 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 34572 kB Writeback: 0 kB AnonPages: 268072 kB Mapped: 17344 kB Shmem: 204 kB Slab: 607828 kB SReclaimable: 51908 kB SUnreclaim: 555920 kB KernelStack: 1904 kB PageTables: 6660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1336948 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 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= 71636 MiB End job on node102 at 2016-06-30 12:15:47