Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_013_area_delay.opb |
| MD5SUM | 7e4f679d587a41b6fd33506fbca09854 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 22 |
| Best CPU time to get the best result obtained on this benchmark | 0.98485 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 22 |
| Optimality of the best value was proved | YES |
| Number of variables | 20398 |
| Total number of constraints | 145574 |
| Number of constraints which are clauses | 145574 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 254 |
| Number of terms in the objective function | 10090 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 10090 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 10090 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T23:23:36+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-4079840-1465248215.opb"] 0.00/0.01 c use --random-gen="1626204014 3459010181 2098560508 842229549 3358982859 3989048153 2477112422 2554730105 3984934796 1790938382 557158939 1359624458 1654099612 2071630367 4087399220 919024015 601560978 1789569037 3642966437 1875390389 2132472330 2062681630 75862869 92697073 380092330 3128626554 3163878768 4259393060 3047664378 3202794859 1760578946 1363106473 2991071713 2164610609 552091509 1575204674 1804508105 534111140 528002326 1581858340 2172127615 2277338232 538638242 1837162398 3282174333 734895473 1622098365 3542143987 1188592528 1099977251 1230418869 2526061352 4165652759 852679149 3539445284 1973590850 1033149326 1349569689 612324142 3850429700 2129878611 1257142670 4251490088 1149347735 1415214992 317284631 1398683950 3873520511 551909428 1503637438 360786236 2282746036 356984808 3399781372 2623910908 486178339 2683957774 3538045310 1221719259 2663269704 650831273 2095986757 1450532436 2019926856 3444779985 3893734048 4170288701 1434733823 1055920015 1973882604 2479956813 2545564383 650928742 350664057 920826377 1597874874 3326982837 2182580497 141708109 4004358197 2122139779 1690305351 2828908203 572063372 1271804553 1325738372 260063953 1806541609 3761805954 3141795744 3105727171 628118696 4291989098 1740515807 1569093977 3391752748 3317266035 968302201 1203896863 1842729778 4245408082 3976604632 2810768793 2563124015 1661276396 3645766285 10419794 1530469064 791596910 3142919958 2151755229 464275056 1814246659 198231322 1642901097 4230938779 2321111608 3929985198 2087071582 3694114064 1927171557 2257093443 3234114386 2874959710 1921920455 3877632474 813696453 1534029239 600532032 3259562134 2462265409 3729325068 4056081694 3712938458 803513596 1173482581 2701766032 1715465094 3970893837 2443619508 466361939 624181952 1993583422 1540331872 4266939907 1282482855 44563357 3821544767 1024017825 3481487684 3720813622 4214730594 1932280491 1978369532 3803630218 3433775185 241830384 830467036 328277114 4209346101 1158094512 260023017 3307990776 2776771092 3894408275 3915253674 2203134657 518437533 1172381623 692897960 2079665118 3205618044 470450085 3213033196 1229212704 3451025079 1120500316 4220123153 2052999446 3597504330 241972346 3960604761 3553085162 1833282083 3043086259 1781631145 3284770157 3369013197 3480823613 3846175976 2479171602 1367906590 15568981 1392801883 2884734431 1589127174 252791566 2370629498 4020764545 3669368796 3087615379 3396359197 2111013149 1021625178 771073978 2579618465 3531152320 3931076271 1756877293 2036513731 234737948 3372598345 3856052692 1554880847 1081962204 1955980122 3238023052 11230350 1509382965 1501151230 2812176131 689669078 1074972358 1763457307 3168845502 1297254338 903777475 2849248700 3155725221 4275736353 1247514388 2509733669 385965758 2990415913 2672879968 1387984380 255 362436" option to reproduce the execution 0.89/0.92 c #vars 20398 0.89/0.92 c #constraints 145574 2.89/2.94 c BCD2: Hardening is enabled. 2.89/2.94 c BCD2: BiasedSearch is enabled. 2.89/2.94 c Solving starts ... 2.89/2.94 c ============================[ Search Statistics ]============================ 2.89/2.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.89/2.94 c | | | | Limit GC | Var | Constra 2.89/2.94 c ============================================================================= 2.89/2.95 c 0.0s | 0 | 0 | 0 | 55323 0 | 2 | 0 3.29/3.37 c 0.4s | 0 | 6910 | 0 | 55323 0 | 2 | 0 3.29/3.37 c #cpu_time = 0.417s 3.29/3.37 c #wall_clock_time = 0.418s 3.29/3.37 c #decision = 6910 3.29/3.37 c #random_decision = 20 3.29/3.37 c #conflict = 0 3.29/3.37 c #restart = 0 3.29/3.37 o 6912 3.49/3.53 c BCD2: updating upper bound: 10090 -> 6911 3.49/3.56 c BCD2: 0 <= obj <= 6911 3.49/3.56 c BCD2: #cores=0, #unrelaxed=10090, #relaxed=0, #hardened=0 3.49/3.56 c BCD2: #sat=1 #unsat=1 bias=1/2 3.49/3.57 c Solving starts ... 3.49/3.57 c ============================[ Search Statistics ]============================ 3.49/3.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.49/3.57 c | | | | Limit GC | Var | Constra 3.49/3.57 c ============================================================================= 3.49/3.57 c 0.0s | 0 | 0 | 0 | 55323 0 | 2 | 0 3.59/3.62 c 0.1s | 0 | 0 | 0 | 55323 0 | 2 | 0 3.59/3.62 c #cpu_time = 0.051s 3.59/3.62 c #wall_clock_time = 0.051s 3.59/3.62 c #decision = 0 3.59/3.62 c #random_decision = 0 3.59/3.62 c #conflict = 0 3.59/3.62 c #restart = 0 3.59/3.62 c BCD2: found a new core of size 1: cost of the new core is >=1 3.59/3.62 c lower bound updated to 1 3.59/3.62 c BCD2: 1 <= obj <= 6911 3.59/3.62 c BCD2: #cores=1, #unrelaxed=10089, #relaxed=1, #hardened=0 3.59/3.62 c BCD2: #sat=1 #unsat=2 bias=2/3 3.89/3.91 c Solving starts ... 3.89/3.91 c ============================[ Search Statistics ]============================ 3.89/3.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.89/3.91 c | | | | Limit GC | Var | Constra 3.89/3.91 c ============================================================================= 3.89/3.91 c 0.0s | 0 | 0 | 0 | 55323 0 | 2 | 0 3.89/3.91 c 0.1s | 0 | 4 | 0 | 55323 0 | 2 | 0 3.89/3.91 c #cpu_time = 0.061s 3.89/3.91 c #wall_clock_time = 0.061s 3.89/3.91 c #decision = 4 3.89/3.91 c #random_decision = 0 3.89/3.91 c #conflict = 0 3.89/3.91 c #restart = 0 3.89/3.91 c BCD2: found a new core of size 1: cost of the new core is >=1 3.89/3.91 c lower bound updated to 2 3.89/3.91 c BCD2: 2 <= obj <= 6911 3.89/3.91 c BCD2: #cores=2, #unrelaxed=10088, #relaxed=2, #hardened=0 3.89/3.91 c BCD2: #sat=1 #unsat=3 bias=3/4 3.89/3.91 c Solving starts ... 3.89/3.91 c ============================[ Search Statistics ]============================ 3.89/3.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.89/3.91 c | | | | Limit GC | Var | Constra 3.89/3.91 c ============================================================================= 3.89/3.91 c 0.0s | 0 | 0 | 0 | 55323 0 | 2 | 0 3.89/3.91 c 0.1s | 0 | 36 | 0 | 55323 0 | 2 | 0 3.89/3.91 c #cpu_time = 0.052s 3.89/3.91 c #wall_clock_time = 0.052s 3.89/3.91 c #decision = 36 3.89/3.91 c #random_decision = 0 3.89/3.91 c #conflict = 0 3.89/3.91 c #restart = 0 3.89/3.91 c BCD2: found a new core of size 15: cost of the new core is >=1 3.89/3.91 c lower bound updated to 3 3.89/3.91 c BCD2: 3 <= obj <= 6911 3.89/3.91 c BCD2: #cores=3, #unrelaxed=10073, #relaxed=17, #hardened=0 3.89/3.91 c BCD2: #sat=1 #unsat=4 bias=4/5 3.89/3.91 c Solving starts ... 3.89/3.91 c ============================[ Search Statistics ]============================ 3.89/3.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.89/3.91 c | | | | Limit GC | Var | Constra 3.89/3.91 c ============================================================================= 3.89/3.91 c 0.0s | 0 | 0 | 0 | 55323 0 | 2 | 0 3.89/3.91 c 0.1s | 0 | 45 | 0 | 55323 0 | 2 | 0 3.89/3.91 c #cpu_time = 0.060s 3.89/3.91 c #wall_clock_time = 0.060s 3.89/3.91 c #decision = 45 3.89/3.91 c #random_decision = 0 3.89/3.91 c #conflict = 0 3.89/3.91 c #restart = 0 3.89/3.91 c BCD2: found a new core of size 24: cost of the new core is >=1 3.89/3.91 c lower bound updated to 4 3.89/3.91 c BCD2: 4 <= obj <= 6911 3.89/3.91 c BCD2: #cores=4, #unrelaxed=10049, #relaxed=41, #hardened=0 3.89/3.91 c BCD2: #sat=1 #unsat=5 bias=5/6 3.89/3.91 c Solving starts ... 3.89/3.91 c ============================[ Search Statistics ]============================ 3.89/3.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.89/3.91 c | | | | Limit GC | Var | Constra 3.89/3.91 c ============================================================================= 3.89/3.91 c 0.0s | 0 | 0 | 0 | 55323 0 | 2 | 0 3.89/3.91 c 0.1s | 0 | 180 | 0 | 55323 0 | 2 | 0 3.89/3.91 c #cpu_time = 0.052s 3.89/3.91 c #wall_clock_time = 0.052s 3.89/3.91 c #decision = 180 3.89/3.91 c #random_decision = 0 3.89/3.91 c #conflict = 0 3.89/3.91 c #restart = 0 3.89/3.91 c BCD2: found a new core of size 2: cost of the new core is >=1 3.89/3.91 c lower bound updated to 5 3.89/3.91 c BCD2: 5 <= obj <= 6911 3.89/3.91 c BCD2: #cores=5, #unrelaxed=10047, #relaxed=43, #hardened=0 3.89/3.91 c BCD2: #sat=1 #unsat=6 bias=6/7 3.89/3.91 c Solving starts ... 3.89/3.91 c ============================[ Search Statistics ]============================ 3.89/3.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.89/3.91 c | | | | Limit GC | Var | Constra 3.89/3.91 c ============================================================================= 3.89/3.91 c 0.0s | 0 | 0 | 0 | 55323 0 | 2 | 0 3.89/3.96 c 0.1s | 0 | 372 | 0 | 55323 0 | 2 | 0 3.89/3.96 c #cpu_time = 0.064s 3.89/3.96 c #wall_clock_time = 0.064s 3.89/3.96 c #decision = 372 3.89/3.96 c #random_decision = 0 3.89/3.96 c #conflict = 0 3.89/3.96 c #restart = 0 3.89/3.96 c BCD2: relaxing 29 and merging with 1 cores into a new core of size 31: cost of the new core is >=2 3.89/3.96 c lower bound updated to 6 3.89/3.97 c BCD2: 6 <= obj <= 6911 3.89/3.97 c BCD2: #cores=5, #unrelaxed=10018, #relaxed=72, #hardened=0 3.89/3.97 c BCD2: #sat=1 #unsat=7 bias=7/8 3.89/3.97 c Solving starts ... 3.89/3.97 c ============================[ Search Statistics ]============================ 3.89/3.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.89/3.97 c | | | | Limit GC | Var | Constra 3.89/3.97 c ============================================================================= 3.89/3.97 c 0.0s | 0 | 0 | 0 | 55323 0 | 3 | 0 3.99/4.03 c 0.1s | 0 | 460 | 0 | 55323 0 | 3 | 1 3.99/4.03 c #cpu_time = 0.051s 3.99/4.03 c #wall_clock_time = 0.052s 3.99/4.03 c #decision = 460 3.99/4.03 c #random_decision = 0 3.99/4.03 c #conflict = 0 3.99/4.03 c #restart = 0 3.99/4.03 c BCD2: found a new core of size 33: cost of the new core is >=1 3.99/4.03 c lower bound updated to 7 3.99/4.04 c BCD2: 7 <= obj <= 6911 3.99/4.04 c BCD2: #cores=6, #unrelaxed=9985, #relaxed=105, #hardened=0 3.99/4.04 c BCD2: #sat=1 #unsat=8 bias=8/9 3.99/4.04 c Solving starts ... 3.99/4.04 c ============================[ Search Statistics ]============================ 3.99/4.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.99/4.04 c | | | | Limit GC | Var | Constra 3.99/4.04 c ============================================================================= 3.99/4.04 c 0.0s | 0 | 0 | 0 | 55323 0 | 3 | 1 3.99/4.09 c 0.1s | 0 | 490 | 0 | 55323 0 | 3 | 1 3.99/4.09 c #cpu_time = 0.050s 3.99/4.09 c #wall_clock_time = 0.050s 3.99/4.09 c #decision = 490 3.99/4.09 c #random_decision = 0 3.99/4.09 c #conflict = 0 3.99/4.09 c #restart = 0 3.99/4.09 c BCD2: found a new core of size 79: cost of the new core is >=1 3.99/4.09 c lower bound updated to 8 4.09/4.10 c BCD2: 8 <= obj <= 6911 4.09/4.10 c BCD2: #cores=7, #unrelaxed=9906, #relaxed=184, #hardened=0 4.09/4.10 c BCD2: #sat=1 #unsat=9 bias=9/10 4.09/4.10 c Solving starts ... 4.09/4.10 c ============================[ Search Statistics ]============================ 4.09/4.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.09/4.10 c | | | | Limit GC | Var | Constra 4.09/4.10 c ============================================================================= 4.09/4.10 c 0.0s | 0 | 0 | 0 | 55323 0 | 3 | 1 4.09/4.17 c 0.1s | 0 | 1600 | 0 | 55323 0 | 3 | 1 4.09/4.17 c #cpu_time = 0.061s 4.09/4.17 c #wall_clock_time = 0.062s 4.09/4.17 c #decision = 1600 4.09/4.17 c #random_decision = 0 4.09/4.17 c #conflict = 0 4.09/4.17 c #restart = 0 4.09/4.17 c BCD2: found a new core of size 10: cost of the new core is >=1 4.09/4.17 c lower bound updated to 9 4.09/4.18 c BCD2: 9 <= obj <= 6911 4.09/4.18 c BCD2: #cores=8, #unrelaxed=9896, #relaxed=194, #hardened=0 4.09/4.18 c BCD2: #sat=1 #unsat=10 bias=10/11 4.09/4.18 c Solving starts ... 4.09/4.18 c ============================[ Search Statistics ]============================ 4.09/4.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.09/4.18 c | | | | Limit GC | Var | Constra 4.09/4.18 c ============================================================================= 4.09/4.18 c 0.0s | 0 | 0 | 0 | 55323 0 | 3 | 1 4.19/4.24 c 0.1s | 0 | 2879 | 0 | 55323 0 | 3 | 1 4.19/4.24 c #cpu_time = 0.060s 4.19/4.24 c #wall_clock_time = 0.061s 4.19/4.24 c #decision = 2879 4.19/4.24 c #random_decision = 0 4.19/4.24 c #conflict = 0 4.19/4.24 c #restart = 0 4.19/4.24 c BCD2: found a new core of size 885: cost of the new core is >=1 4.19/4.24 c lower bound updated to 10 4.19/4.26 c BCD2: 10 <= obj <= 6911 4.19/4.26 c BCD2: #cores=9, #unrelaxed=9011, #relaxed=1079, #hardened=0 4.19/4.26 c BCD2: #sat=1 #unsat=11 bias=11/12 4.19/4.27 c Solving starts ... 4.19/4.27 c ============================[ Search Statistics ]============================ 4.19/4.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.19/4.27 c | | | | Limit GC | Var | Constra 4.19/4.27 c ============================================================================= 4.19/4.27 c 0.0s | 0 | 0 | 0 | 55323 0 | 3 | 1 4.29/4.32 c 0.1s | 0 | 2050 | 0 | 55323 0 | 3 | 1 4.29/4.32 c #cpu_time = 0.052s 4.29/4.32 c #wall_clock_time = 0.052s 4.29/4.32 c #decision = 2050 4.29/4.32 c #random_decision = 0 4.29/4.32 c #conflict = 0 4.29/4.32 c #restart = 0 4.29/4.32 c BCD2: found a new core of size 9: cost of the new core is >=1 4.29/4.32 c lower bound updated to 11 4.29/4.34 c BCD2: 11 <= obj <= 6911 4.29/4.34 c BCD2: #cores=10, #unrelaxed=9002, #relaxed=1088, #hardened=0 4.29/4.34 c BCD2: #sat=1 #unsat=12 bias=12/13 4.29/4.34 c Solving starts ... 4.29/4.34 c ============================[ Search Statistics ]============================ 4.29/4.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.29/4.34 c | | | | Limit GC | Var | Constra 4.29/4.34 c ============================================================================= 4.29/4.34 c 0.0s | 0 | 0 | 0 | 55323 0 | 3 | 1 4.29/4.40 c 0.1s | 0 | 3055 | 0 | 55323 0 | 3 | 1 4.29/4.40 c #cpu_time = 0.054s 4.29/4.40 c #wall_clock_time = 0.054s 4.29/4.40 c #decision = 3055 4.29/4.40 c #random_decision = 0 4.29/4.40 c #conflict = 0 4.29/4.40 c #restart = 0 4.29/4.40 c BCD2: found a new core of size 114: cost of the new core is >=1 4.29/4.40 c lower bound updated to 12 4.39/4.41 c BCD2: 12 <= obj <= 6911 4.39/4.41 c BCD2: #cores=11, #unrelaxed=8888, #relaxed=1202, #hardened=0 4.39/4.41 c BCD2: #sat=1 #unsat=13 bias=13/14 4.39/4.42 c Solving starts ... 4.39/4.42 c ============================[ Search Statistics ]============================ 4.39/4.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.39/4.42 c | | | | Limit GC | Var | Constra 4.39/4.42 c ============================================================================= 4.39/4.42 c 0.0s | 0 | 0 | 0 | 55323 0 | 3 | 1 4.39/4.48 c 0.1s | 0 | 3082 | 0 | 55323 0 | 3 | 1 4.39/4.48 c #cpu_time = 0.058s 4.39/4.48 c #wall_clock_time = 0.058s 4.39/4.48 c #decision = 3082 4.39/4.48 c #random_decision = 0 4.39/4.48 c #conflict = 0 4.39/4.48 c #restart = 0 4.39/4.48 c BCD2: found a new core of size 95: cost of the new core is >=1 4.39/4.48 c lower bound updated to 13 4.39/4.49 c BCD2: 13 <= obj <= 6911 4.39/4.49 c BCD2: #cores=12, #unrelaxed=8793, #relaxed=1297, #hardened=0 4.39/4.49 c BCD2: #sat=1 #unsat=14 bias=14/15 4.39/4.50 c Solving starts ... 4.39/4.50 c ============================[ Search Statistics ]============================ 4.39/4.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.39/4.50 c | | | | Limit GC | Var | Constra 4.39/4.50 c ============================================================================= 4.39/4.50 c 0.0s | 0 | 0 | 0 | 55323 0 | 3 | 1 4.49/4.57 c 0.1s | 0 | 4093 | 0 | 55323 0 | 3 | 1 4.49/4.57 c #cpu_time = 0.070s 4.49/4.57 c #wall_clock_time = 0.071s 4.49/4.57 c #decision = 4093 4.49/4.57 c #random_decision = 0 4.49/4.57 c #conflict = 0 4.49/4.57 c #restart = 0 4.49/4.57 c BCD2: found a new core of size 27: cost of the new core is >=1 4.49/4.57 c lower bound updated to 14 4.49/4.57 c BCD2: 14 <= obj <= 6911 4.49/4.57 c BCD2: #cores=13, #unrelaxed=8766, #relaxed=1324, #hardened=0 4.49/4.57 c BCD2: #sat=1 #unsat=15 bias=15/16 4.49/4.58 c Solving starts ... 4.49/4.58 c ============================[ Search Statistics ]============================ 4.49/4.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.49/4.58 c | | | | Limit GC | Var | Constra 4.49/4.58 c ============================================================================= 4.49/4.58 c 0.0s | 0 | 0 | 0 | 55323 0 | 3 | 1 4.59/4.65 c 0.1s | 0 | 4104 | 0 | 55323 0 | 3 | 1 4.59/4.65 c #cpu_time = 0.068s 4.59/4.65 c #wall_clock_time = 0.068s 4.59/4.65 c #decision = 4104 4.59/4.65 c #random_decision = 0 4.59/4.65 c #conflict = 0 4.59/4.65 c #restart = 0 4.59/4.65 c BCD2: found a new core of size 27: cost of the new core is >=1 4.59/4.65 c lower bound updated to 15 4.59/4.66 c BCD2: 15 <= obj <= 6911 4.59/4.66 c BCD2: #cores=14, #unrelaxed=8739, #relaxed=1351, #hardened=0 4.59/4.66 c BCD2: #sat=1 #unsat=16 bias=16/17 4.59/4.67 c Solving starts ... 4.59/4.67 c ============================[ Search Statistics ]============================ 4.59/4.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.59/4.67 c | | | | Limit GC | Var | Constra 4.59/4.67 c ============================================================================= 4.59/4.67 c 0.0s | 0 | 0 | 0 | 55323 0 | 3 | 1 4.69/4.73 c 0.1s | 0 | 6232 | 0 | 55323 0 | 3 | 1 4.69/4.73 c #cpu_time = 0.061s 4.69/4.73 c #wall_clock_time = 0.061s 4.69/4.73 c #decision = 6232 4.69/4.73 c #random_decision = 0 4.69/4.73 c #conflict = 0 4.69/4.73 c #restart = 0 4.69/4.73 c BCD2: found a new core of size 32: cost of the new core is >=1 4.69/4.73 c lower bound updated to 16 4.69/4.75 c BCD2: 16 <= obj <= 6911 4.69/4.75 c BCD2: #cores=15, #unrelaxed=8707, #relaxed=1383, #hardened=0 4.69/4.75 c BCD2: #sat=1 #unsat=17 bias=17/18 4.69/4.76 c Solving starts ... 4.69/4.76 c ============================[ Search Statistics ]============================ 4.69/4.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.69/4.76 c | | | | Limit GC | Var | Constra 4.69/4.76 c ============================================================================= 4.69/4.76 c 0.0s | 0 | 0 | 0 | 55323 0 | 3 | 1 4.79/4.82 c 0.1s | 0 | 6293 | 0 | 55323 0 | 3 | 1 4.79/4.82 c #cpu_time = 0.061s 4.79/4.82 c #wall_clock_time = 0.061s 4.79/4.82 c #decision = 6293 4.79/4.82 c #random_decision = 0 4.79/4.82 c #conflict = 0 4.79/4.82 c #restart = 0 4.79/4.82 c BCD2: found a new core of size 117: cost of the new core is >=1 4.79/4.82 c lower bound updated to 17 4.79/4.84 c BCD2: 17 <= obj <= 6911 4.79/4.84 c BCD2: #cores=16, #unrelaxed=8590, #relaxed=1500, #hardened=0 4.79/4.84 c BCD2: #sat=1 #unsat=18 bias=18/19 4.79/4.84 c Solving starts ... 4.79/4.84 c ============================[ Search Statistics ]============================ 4.79/4.84 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.84 c | | | | Limit GC | Var | Constra 4.79/4.84 c ============================================================================= 4.79/4.85 c 0.0s | 0 | 0 | 0 | 55323 0 | 3 | 1 4.89/4.92 c 0.1s | 0 | 8181 | 0 | 55323 0 | 3 | 1 4.89/4.92 c #cpu_time = 0.069s 4.89/4.92 c #wall_clock_time = 0.069s 4.89/4.92 c #decision = 8181 4.89/4.92 c #random_decision = 0 4.89/4.92 c #conflict = 0 4.89/4.92 c #restart = 0 4.89/4.93 c BCD2: found a new core of size 4021: cost of the new core is >=1 4.89/4.93 c lower bound updated to 18 4.89/4.96 c BCD2: 18 <= obj <= 6911 4.89/4.96 c BCD2: #cores=17, #unrelaxed=4569, #relaxed=5521, #hardened=0 4.89/4.96 c BCD2: #sat=1 #unsat=19 bias=19/20 4.89/4.98 c Solving starts ... 4.89/4.98 c ============================[ Search Statistics ]============================ 4.89/4.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.89/4.98 c | | | | Limit GC | Var | Constra 4.89/4.98 c ============================================================================= 4.89/4.98 c 0.0s | 0 | 0 | 0 | 55323 0 | 3 | 1 4.99/5.04 c 0.1s | 0 | 4585 | 0 | 55323 0 | 3 | 1 4.99/5.04 c #cpu_time = 0.061s 4.99/5.04 c #wall_clock_time = 0.061s 4.99/5.04 c #decision = 4585 4.99/5.04 c #random_decision = 0 4.99/5.04 c #conflict = 0 4.99/5.04 c #restart = 0 4.99/5.04 c BCD2: found a new core of size 986: cost of the new core is >=1 4.99/5.04 c lower bound updated to 19 4.99/5.06 c BCD2: 19 <= obj <= 6911 4.99/5.06 c BCD2: #cores=18, #unrelaxed=3583, #relaxed=6507, #hardened=0 4.99/5.06 c BCD2: #sat=1 #unsat=20 bias=20/21 4.99/5.08 c Solving starts ... 4.99/5.08 c ============================[ Search Statistics ]============================ 4.99/5.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.99/5.08 c | | | | Limit GC | Var | Constra 4.99/5.08 c ============================================================================= 4.99/5.09 c 0.0s | 0 | 0 | 0 | 55323 0 | 3 | 1 5.09/5.19 c 0.1s | 0 | 9704 | 0 | 55323 0 | 3 | 1 5.09/5.19 c #cpu_time = 0.088s 5.09/5.19 c #wall_clock_time = 0.088s 5.09/5.19 c #decision = 9704 5.09/5.19 c #random_decision = 21 5.09/5.19 c #conflict = 0 5.09/5.19 c #restart = 0 5.09/5.19 o 39 5.19/5.21 c BCD2: updating upper bound: 6911 -> 38 5.39/5.44 c BCD2: 19 <= obj <= 38 5.39/5.44 c BCD2: #cores=18, #unrelaxed=3583, #relaxed=6507, #hardened=0 5.39/5.44 c BCD2: #sat=2 #unsat=20 bias=20/22 5.39/5.49 c Solving starts ... 5.39/5.49 c ============================[ Search Statistics ]============================ 5.39/5.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.39/5.49 c | | | | Limit GC | Var | Constra 5.39/5.49 c ============================================================================= 5.39/5.49 c 0.0s | 0 | 0 | 0 | 55323 0 | 3 | 2 5.79/5.86 c 0.4s | 1 | 5759 | 100 | 55323 0 | 3 | 2 6.59/6.64 c 1.2s | 1 | 11811 | 218 | 60856 0 | 3 | 2 6.59/6.64 c #cpu_time = 1.139s 6.59/6.64 c #wall_clock_time = 1.142s 6.59/6.64 c #decision = 11811 6.59/6.64 c #random_decision = 12 6.59/6.64 c #conflict = 218 6.59/6.64 c #restart = 1 6.59/6.64 o 32 6.59/6.65 c BCD2: updating upper bound: 38 -> 31 6.69/6.71 c BCD2: 19 <= obj <= 31 6.69/6.71 c BCD2: #cores=18, #unrelaxed=3583, #relaxed=6507, #hardened=0 6.69/6.71 c BCD2: #sat=3 #unsat=20 bias=20/23 6.69/6.71 c Solving starts ... 6.69/6.71 c ============================[ Search Statistics ]============================ 6.69/6.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.69/6.71 c | | | | Limit GC | Var | Constra 6.69/6.71 c ============================================================================= 6.69/6.72 c 0.0s | 0 | 0 | 0 | 60856 0 | 3 | 3 6.89/6.94 c 0.2s | 0 | 4650 | 45 | 66942 0 | 3 | 3 6.89/6.94 c #cpu_time = 0.201s 6.89/6.94 c #wall_clock_time = 0.201s 6.89/6.94 c #decision = 4650 6.89/6.94 c #random_decision = 2 6.89/6.94 c #conflict = 45 6.89/6.94 c #restart = 0 6.89/6.94 o 28 6.89/6.96 c BCD2: updating upper bound: 31 -> 27 6.99/7.02 c BCD2: 19 <= obj <= 27 6.99/7.02 c BCD2: #cores=18, #unrelaxed=3583, #relaxed=6507, #hardened=0 6.99/7.02 c BCD2: #sat=4 #unsat=20 bias=20/24 6.99/7.03 c Solving starts ... 6.99/7.03 c ============================[ Search Statistics ]============================ 6.99/7.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.99/7.03 c | | | | Limit GC | Var | Constra 6.99/7.03 c ============================================================================= 6.99/7.03 c 0.0s | 0 | 0 | 0 | 66942 0 | 3 | 4 7.28/7.33 c 0.3s | 0 | 7266 | 69 | 66942 0 | 3 | 4 7.28/7.33 c #cpu_time = 0.281s 7.28/7.33 c #wall_clock_time = 0.282s 7.28/7.33 c #decision = 7266 7.28/7.33 c #random_decision = 0 7.28/7.33 c #conflict = 69 7.28/7.33 c #restart = 0 7.28/7.33 o 25 7.28/7.35 c BCD2: updating upper bound: 27 -> 24 7.38/7.41 c BCD2: 19 <= obj <= 24 7.38/7.41 c BCD2: #cores=18, #unrelaxed=3583, #relaxed=6507, #hardened=0 7.38/7.41 c BCD2: #sat=5 #unsat=20 bias=20/25 7.38/7.42 c Solving starts ... 7.38/7.42 c ============================[ Search Statistics ]============================ 7.38/7.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.38/7.42 c | | | | Limit GC | Var | Constra 7.38/7.42 c ============================================================================= 7.38/7.42 c 0.0s | 0 | 0 | 0 | 66942 0 | 3 | 5 7.79/7.88 c 0.5s | 1 | 21316 | 100 | 66942 0 | 3 | 5 8.48/8.53 c 1.1s | 2 | 28419 | 250 | 73637 0 | 3 | 5 9.48/9.59 c 2.2s | 3 | 40152 | 475 | 73637 0 | 3 | 5 11.48/11.55 c 4.1s | 4 | 49441 | 813 | 81001 0 | 3 | 5 13.88/13.92 c 6.5s | 4 | 54098 | 1213 | 89102 0 | 3 | 5 13.98/14.03 c 6.6s | 4 | 57886 | 1229 | 89102 0 | 3 | 5 13.98/14.03 c #cpu_time = 6.588s 13.98/14.03 c #wall_clock_time = 6.605s 13.98/14.03 c #decision = 57886 13.98/14.03 c #random_decision = 10 13.98/14.03 c #conflict = 1229 13.98/14.03 c #restart = 4 13.98/14.03 c BCD2: relaxing 1013 and merging with 14 cores into a new core of size 2511: cost of the new core is >=16 13.98/14.03 c lower bound updated to 20 13.98/14.04 c BCD2: 20 <= obj <= 24 13.98/14.04 c BCD2: #cores=5, #unrelaxed=2570, #relaxed=7520, #hardened=0 13.98/14.04 c BCD2: #sat=5 #unsat=21 bias=21/26 13.98/14.05 c Solving starts ... 13.98/14.05 c ============================[ Search Statistics ]============================ 13.98/14.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 13.98/14.05 c | | | | Limit GC | Var | Constra 13.98/14.05 c ============================================================================= 13.98/14.05 c 0.0s | 0 | 0 | 0 | 89102 0 | 66 | 5 14.59/14.64 c 0.6s | 1 | 4648 | 100 | 89102 0 | 66 | 117 15.29/15.39 c 1.3s | 2 | 9753 | 250 | 89102 0 | 66 | 117 16.39/16.41 c 2.4s | 3 | 16482 | 475 | 89102 0 | 66 | 117 17.39/17.49 c 3.4s | 4 | 23983 | 813 | 98013 0 | 66 | 117 19.09/19.16 c 5.1s | 5 | 33864 | 1320 | 98013 0 | 66 | 117 21.39/21.49 c 7.4s | 5 | 44188 | 2020 | 107815 0 | 66 | 117 21.69/21.72 c 7.7s | 6 | 45170 | 2081 | 107815 0 | 66 | 117 23.89/23.93 c 9.9s | 6 | 56840 | 2681 | 107815 0 | 66 | 117 25.69/25.77 c 11.7s | 7 | 63276 | 3223 | 107815 0 | 66 | 117 27.89/27.94 c 13.9s | 7 | 71871 | 3823 | 118597 0 | 66 | 117 30.19/30.26 c 16.2s | 7 | 76553 | 4523 | 118597 0 | 66 | 117 31.59/31.67 c 17.6s | 8 | 81549 | 4936 | 118597 0 | 66 | 117 33.89/33.95 c 19.9s | 8 | 90808 | 5536 | 118597 0 | 66 | 117 35.99/36.06 c 22.0s | 8 | 98018 | 6136 | 130457 0 | 66 | 117 38.19/38.24 c 24.2s | 8 | 103460 | 6736 | 130457 0 | 66 | 117 40.39/40.41 c 26.4s | 8 | 109842 | 7336 | 130457 0 | 66 | 117 40.89/40.97 c 26.9s | 9 | 111750 | 7506 | 130457 0 | 66 | 117 43.29/43.33 c 29.3s | 9 | 120813 | 8106 | 130457 0 | 66 | 117 45.49/45.50 c 31.5s | 9 | 127440 | 8706 | 130457 0 | 66 | 117 47.49/47.52 c 33.5s | 9 | 133618 | 9306 | 130457 0 | 66 | 117 49.49/49.52 c 35.5s | 9 | 139840 | 9906 | 143503 0 | 66 | 117 51.58/51.62 c 37.6s | 9 | 145208 | 10506 | 143503 0 | 66 | 117 53.68/53.76 c 39.7s | 9 | 149762 | 11106 | 143503 0 | 66 | 117 54.68/54.75 c 40.7s | 10 | 153210 | 11361 | 143503 0 | 66 | 117 57.08/57.11 c 43.1s | 10 | 163156 | 11961 | 143503 0 | 66 | 117 59.28/59.38 c 45.3s | 10 | 168602 | 12561 | 143503 0 | 66 | 117 61.78/61.82 c 47.8s | 10 | 173196 | 13161 | 143503 0 | 66 | 117 63.98/64.06 c 50.0s | 10 | 182175 | 13761 | 143503 0 | 66 | 117 66.18/66.26 c 52.2s | 10 | 186537 | 14361 | 143503 0 | 66 | 117 68.38/68.47 c 54.4s | 10 | 192982 | 14961 | 143503 0 | 66 | 117 70.39/70.48 c 56.4s | 10 | 198822 | 15461 | 143503 0 | 66 | 117 72.69/72.78 c 58.7s | 10 | 205616 | 16061 | 157854 0 | 66 | 117 74.88/74.99 c 60.9s | 10 | 210833 | 16661 | 157854 0 | 66 | 117 76.88/76.96 c 62.9s | 11 | 214154 | 17144 | 157854 0 | 66 | 117 78.88/78.98 c 64.9s | 11 | 221213 | 17644 | 157854 0 | 66 | 117 81.18/81.29 c 67.2s | 11 | 226495 | 18244 | 157854 0 | 66 | 117 83.68/83.78 c 69.7s | 11 | 232238 | 18844 | 157854 0 | 66 | 117 86.08/86.19 c 72.1s | 11 | 240760 | 19344 | 157854 0 | 66 | 117 88.38/88.49 c 74.4s | 11 | 247669 | 19844 | 157854 0 | 66 | 117 90.78/90.90 c 76.8s | 11 | 250766 | 20344 | 157854 0 | 66 | 117 93.17/93.26 c 79.2s | 11 | 254082 | 20844 | 157854 0 | 66 | 117 95.47/95.57 c 81.5s | 11 | 257456 | 21244 | 157854 0 | 66 | 117 97.57/97.65 c 83.6s | 11 | 263389 | 21744 | 157854 0 | 66 | 117 99.87/99.96 c 85.9s | 11 | 269020 | 22344 | 157854 0 | 66 | 117 102.17/102.24 c 88.2s | 11 | 274052 | 22844 | 157854 0 | 66 | 117 104.67/104.78 c 90.7s | 11 | 280198 | 23344 | 157854 0 | 66 | 117 107.17/107.20 c 93.2s | 11 | 284256 | 23744 | 157854 0 | 66 | 117 109.57/109.63 c 95.6s | 11 | 290111 | 24244 | 173640 0 | 66 | 117 111.57/111.65 c 97.6s | 11 | 295695 | 24644 | 173640 0 | 66 | 117 113.97/114.04 c 100.0s | 11 | 300207 | 25144 | 173640 0 | 66 | 117 116.37/116.49 c 102s | 11 | 303655 | 25644 | 173640 0 | 66 | 117 117.17/117.23 c 103s | 12 | 304512 | 25819 | 173640 0 | 66 | 117 119.17/119.26 c 105s | 12 | 310982 | 26219 | 173640 0 | 66 | 117 121.57/121.60 c 107s | 12 | 315208 | 26719 | 173640 0 | 66 | 117 123.77/123.80 c 109s | 12 | 320152 | 27119 | 173640 0 | 66 | 117 126.07/126.19 c 112s | 12 | 325445 | 27619 | 173640 0 | 66 | 117 128.17/128.26 c 114s | 12 | 329800 | 28019 | 173640 0 | 66 | 117 130.27/130.30 c 116s | 12 | 332681 | 28419 | 173640 0 | 66 | 117 132.56/132.65 c 118s | 12 | 334704 | 28819 | 173640 0 | 66 | 117 134.76/134.87 c 120s | 12 | 341733 | 29219 | 173640 0 | 66 | 117 136.86/136.93 c 122s | 12 | 347895 | 29619 | 173640 0 | 66 | 117 138.86/138.99 c 124s | 12 | 353516 | 30019 | 173640 0 | 66 | 117 141.16/141.25 c 127s | 12 | 356955 | 30519 | 173640 0 | 66 | 117 143.46/143.54 c 129s | 12 | 361144 | 30919 | 173640 0 | 66 | 117 145.56/145.62 c 131s | 12 | 366230 | 31319 | 173640 0 | 66 | 117 147.96/148.09 c 134s | 12 | 370203 | 31919 | 173640 0 | 66 | 117 150.16/150.29 c 136s | 12 | 374855 | 32419 | 173640 0 | 66 | 117 152.46/152.51 c 138s | 12 | 377587 | 32919 | 173640 0 | 66 | 117 154.56/154.61 c 140s | 12 | 379099 | 33419 | 173640 0 | 66 | 117 156.66/156.79 c 142s | 12 | 383235 | 33919 | 173640 0 | 66 | 117 159.05/159.18 c 145s | 12 | 389282 | 34419 | 173640 0 | 66 | 117 161.25/161.36 c 147s | 12 | 393541 | 34819 | 173640 0 | 66 | 117 163.35/163.45 c 149s | 12 | 398225 | 35219 | 173640 0 | 66 | 117 165.55/165.67 c 151s | 12 | 402494 | 35719 | 173640 0 | 66 | 117 168.05/168.10 c 154s | 12 | 407820 | 36219 | 173640 0 | 66 | 117 170.35/170.50 c 156s | 12 | 411526 | 36619 | 173640 0 | 66 | 117 172.75/172.88 c 158s | 12 | 416260 | 37019 | 173640 0 | 66 | 117 175.25/175.39 c 161s | 12 | 420633 | 37419 | 191005 0 | 66 | 117 177.55/177.60 c 163s | 12 | 423914 | 37819 | 191005 0 | 66 | 117 179.74/179.82 c 165s | 12 | 429523 | 38219 | 191005 0 | 66 | 117 182.24/182.35 c 168s | 12 | 434041 | 38719 | 191005 0 | 66 | 117 182.84/182.97 c 168s | 13 | 434819 | 38832 | 191005 0 | 66 | 117 185.14/185.24 c 171s | 13 | 440072 | 39232 | 191005 0 | 66 | 117 187.34/187.45 c 173s | 13 | 444455 | 39632 | 191005 0 | 66 | 117 189.64/189.73 c 175s | 13 | 450295 | 40032 | 191005 0 | 66 | 117 192.23/192.31 c 178s | 13 | 454790 | 40432 | 191005 0 | 66 | 117 194.64/194.80 c 180s | 13 | 457678 | 40832 | 191005 0 | 66 | 117 197.03/197.18 c 183s | 13 | 462054 | 41232 | 191005 0 | 66 | 117 199.14/199.27 c 185s | 13 | 466091 | 41632 | 191005 0 | 66 | 117 201.63/201.76 c 187s | 13 | 469750 | 42132 | 191005 0 | 66 | 117 203.73/203.86 c 189s | 13 | 473012 | 42532 | 191005 0 | 66 | 117 205.93/206.09 c 192s | 13 | 476543 | 42932 | 191005 0 | 66 | 117 208.13/208.29 c 194s | 13 | 481513 | 43332 | 191005 0 | 66 | 117 210.33/210.41 c 196s | 13 | 485800 | 43732 | 191005 0 | 66 | 117 212.62/212.76 c 198s | 13 | 489525 | 44132 | 191005 0 | 66 | 117 214.72/214.88 c 200s | 13 | 493829 | 44532 | 191005 0 | 66 | 117 217.32/217.44 c 203s | 13 | 498899 | 44932 | 191005 0 | 66 | 117 219.72/219.81 c 205s | 13 | 503237 | 45332 | 191005 0 | 66 | 117 222.13/222.22 c 208s | 13 | 506255 | 45732 | 191005 0 | 66 | 117 224.52/224.65 c 210s | 13 | 510414 | 46132 | 191005 0 | 66 | 117 226.82/226.98 c 212s | 13 | 515205 | 46532 | 191005 0 | 66 | 117 229.12/229.27 c 215s | 13 | 518634 | 46932 | 191005 0 | 66 | 117 231.52/231.63 c 217s | 13 | 523015 | 47332 | 191005 0 | 66 | 117 233.82/233.90 c 219s | 13 | 527630 | 47732 | 191005 0 | 66 | 117 235.82/235.96 c 221s | 13 | 530905 | 48032 | 191005 0 | 66 | 117 238.12/238.20 c 224s | 13 | 534485 | 48432 | 191005 0 | 66 | 117 240.62/240.72 c 226s | 13 | 537880 | 48832 | 191005 0 | 66 | 117 242.72/242.87 c 228s | 13 | 543467 | 49232 | 191005 0 | 66 | 117 245.11/245.22 c 231s | 13 | 547755 | 49632 | 191005 0 | 66 | 117 247.61/247.74 c 233s | 13 | 551416 | 50032 | 191005 0 | 66 | 117 249.81/249.90 c 235s | 13 | 552744 | 50332 | 191005 0 | 66 | 117 252.41/252.52 c 238s | 13 | 556224 | 50732 | 191005 0 | 66 | 117 254.51/254.63 c 240s | 13 | 558785 | 51032 | 191005 0 | 66 | 117 257.01/257.15 c 243s | 13 | 561315 | 51432 | 191005 0 | 66 | 117 259.31/259.40 c 245s | 13 | 564871 | 51832 | 191005 0 | 66 | 117 261.41/261.51 c 247s | 13 | 567231 | 52132 | 191005 0 | 66 | 117 263.61/263.76 c 249s | 13 | 571006 | 52532 | 191005 0 | 66 | 117 265.91/266.09 c 252s | 13 | 573522 | 52932 | 191005 0 | 66 | 117 268.32/268.49 c 254s | 13 | 576500 | 53332 | 191005 0 | 66 | 117 270.62/270.78 c 256s | 13 | 580964 | 53732 | 191005 0 | 66 | 117 273.01/273.16 c 259s | 13 | 584186 | 54132 | 191005 0 | 66 | 117 275.31/275.49 c 261s | 13 | 589198 | 54532 | 191005 0 | 66 | 117 277.71/277.86 c 263s | 13 | 592520 | 54932 | 191005 0 | 66 | 117 279.91/280.09 c 266s | 13 | 598713 | 55232 | 191005 0 | 66 | 117 282.40/282.52 c 268s | 13 | 604171 | 55532 | 191005 0 | 66 | 117 284.70/284.89 c 270s | 13 | 608658 | 55832 | 191005 0 | 66 | 117 286.80/286.92 c 272s | 13 | 611109 | 56132 | 191005 0 | 66 | 117 289.00/289.15 c 275s | 13 | 615630 | 56432 | 210106 0 | 66 | 117 291.20/291.34 c 277s | 13 | 619173 | 56732 | 210106 0 | 66 | 117 293.90/294.06 c 280s | 13 | 624912 | 57132 | 210106 0 | 66 | 117 296.20/296.39 c 282s | 13 | 627957 | 57532 | 210106 0 | 66 | 117 298.60/298.78 c 284s | 13 | 632347 | 57932 | 210106 0 | 66 | 117 300.70/300.84 c 286s | 13 | 635042 | 58232 | 210106 0 | 66 | 117 301.30/301.44 c 287s | 14 | 636198 | 58352 | 210106 0 | 66 | 117 303.30/303.45 c 289s | 14 | 641852 | 58652 | 210106 0 | 66 | 117 305.90/306.07 c 292s | 14 | 645607 | 59052 | 210106 0 | 66 | 117 308.39/308.54 c 294s | 14 | 648758 | 59452 | 210106 0 | 66 | 117 311.09/311.21 c 297s | 14 | 653266 | 59752 | 210106 0 | 66 | 117 313.59/313.70 c 299s | 14 | 659154 | 60052 | 210106 0 | 66 | 117 316.29/316.40 c 302s | 14 | 664059 | 60452 | 210106 0 | 66 | 117 318.49/318.63 c 304s | 14 | 667553 | 60752 | 210106 0 | 66 | 117 321.09/321.23 c 307s | 14 | 671030 | 61052 | 210106 0 | 66 | 117 323.39/323.54 c 309s | 14 | 675374 | 61352 | 210106 0 | 66 | 117 325.59/325.71 c 311s | 14 | 677497 | 61652 | 210106 0 | 66 | 117 327.79/327.99 c 313s | 14 | 680046 | 61952 | 210106 0 | 66 | 117 330.39/330.55 c 316s | 14 | 681775 | 62252 | 210106 0 | 66 | 117 332.88/333.08 c 319s | 14 | 685469 | 62652 | 210106 0 | 66 | 117 334.98/335.14 c 321s | 14 | 688605 | 62952 | 210106 0 | 66 | 117 337.18/337.34 c 323s | 14 | 691357 | 63252 | 210106 0 | 66 | 117 339.68/339.85 c 325s | 14 | 694842 | 63652 | 210106 0 | 66 | 117 342.18/342.35 c 328s | 14 | 699692 | 64052 | 210106 0 | 66 | 117 344.58/344.79 c 330s | 14 | 704462 | 64452 | 210106 0 | 66 | 117 346.98/347.11 c 333s | 14 | 709441 | 64852 | 210106 0 | 66 | 117 349.48/349.60 c 335s | 14 | 713525 | 65252 | 210106 0 | 66 | 117 352.17/352.38 c 338s | 14 | 719944 | 65552 | 210106 0 | 66 | 117 355.18/355.36 c 341s | 14 | 723477 | 65852 | 210106 0 | 66 | 117 357.77/357.99 c 343s | 14 | 729480 | 66152 | 210106 0 | 66 | 117 360.07/360.28 c 346s | 14 | 732886 | 66352 | 210106 0 | 66 | 117 362.27/362.44 c 348s | 14 | 736949 | 66552 | 210106 0 | 66 | 117 364.57/364.79 c 350s | 14 | 738849 | 66752 | 210106 0 | 66 | 117 367.17/367.33 c 353s | 14 | 741402 | 66952 | 210106 0 | 66 | 117 369.77/369.92 c 355s | 14 | 743699 | 67152 | 210106 0 | 66 | 117 372.37/372.57 c 358s | 14 | 745585 | 67352 | 210106 0 | 66 | 117 375.17/375.30 c 361s | 14 | 749433 | 67552 | 210106 0 | 66 | 117 377.47/377.60 c 363s | 14 | 751363 | 67752 | 210106 0 | 66 | 117 379.97/380.16 c 366s | 14 | 753241 | 67952 | 210106 0 | 66 | 117 382.36/382.53 c 368s | 14 | 756793 | 68152 | 210106 0 | 66 | 117 384.87/385.01 c 370s | 14 | 759962 | 68452 | 210106 0 | 66 | 117 387.26/387.48 c 373s | 14 | 763637 | 68752 | 210106 0 | 66 | 117 389.76/389.90 c 375s | 14 | 766135 | 69052 | 210106 0 | 66 | 117 392.57/392.71 c 378s | 14 | 768851 | 69352 | 210106 0 | 66 | 117 394.87/395.07 c 381s | 14 | 771672 | 69552 | 210106 0 | 66 | 117 397.07/397.28 c 383s | 14 | 774546 | 69752 | 210106 0 | 66 | 117 399.46/399.66 c 385s | 14 | 776786 | 69952 | 210106 0 | 66 | 117 401.76/401.96 c 387s | 14 | 778853 | 70152 | 210106 0 | 66 | 117 403.86/404.08 c 390s | 14 | 781025 | 70352 | 210106 0 | 66 | 117 406.26/406.43 c 392s | 14 | 783582 | 70552 | 210106 0 | 66 | 117 408.26/408.48 c 394s | 14 | 787550 | 70852 | 210106 0 | 66 | 117 410.55/410.72 c 396s | 14 | 791072 | 71152 | 210106 0 | 66 | 117 412.55/412.73 c 398s | 14 | 793389 | 71452 | 210106 0 | 66 | 117 414.66/414.85 c 400s | 14 | 795784 | 71752 | 210106 0 | 66 | 117 417.45/417.62 c 403s | 14 | 797605 | 72152 | 210106 0 | 66 | 117 419.55/419.75 c 405s | 14 | 799620 | 72452 | 210106 0 | 66 | 117 422.26/422.47 c 408s | 14 | 804763 | 72752 | 210106 0 | 66 | 117 424.46/424.64 c 410s | 14 | 807777 | 73052 | 210106 0 | 66 | 117 427.45/427.60 c 413s | 14 | 811928 | 73352 | 210106 0 | 66 | 117 429.75/429.99 c 415s | 14 | 815676 | 73652 | 210106 0 | 66 | 117 432.65/432.83 c 418s | 14 | 818490 | 73952 | 210106 0 | 66 | 117 435.75/435.94 c 421s | 14 | 822755 | 74252 | 210106 0 | 66 | 117 438.25/438.44 c 424s | 14 | 824702 | 74452 | 210106 0 | 66 | 117 440.45/440.65 c 426s | 14 | 827323 | 74652 | 210106 0 | 66 | 117 443.04/443.26 c 429s | 14 | 831234 | 74952 | 210106 0 | 66 | 117 445.74/445.99 c 431s | 14 | 835457 | 75352 | 210106 0 | 66 | 117 448.34/448.54 c 434s | 14 | 839275 | 75652 | 210106 0 | 66 | 117 450.85/451.05 c 436s | 14 | 843728 | 75952 | 210106 0 | 66 | 117 453.34/453.59 c 439s | 14 | 847640 | 76352 | 210106 0 | 66 | 117 455.54/455.79 c 441s | 14 | 849273 | 76652 | 210106 0 | 66 | 117 458.04/458.27 c 444s | 14 | 852797 | 76952 | 210106 0 | 66 | 117 460.14/460.37 c 446s | 14 | 855429 | 77252 | 210106 0 | 66 | 117 463.14/463.37 c 449s | 14 | 858696 | 77552 | 210106 0 | 66 | 117 465.15/465.37 c 451s | 14 | 861820 | 77852 | 210106 0 | 66 | 117 467.64/467.89 c 453s | 14 | 865312 | 78152 | 210106 0 | 66 | 117 470.04/470.25 c 456s | 14 | 869053 | 78452 | 210106 0 | 66 | 117 472.04/472.29 c 458s | 14 | 872373 | 78752 | 210106 0 | 66 | 117 474.44/474.67 c 460s | 14 | 876363 | 79052 | 210106 0 | 66 | 117 476.74/476.90 c 462s | 14 | 880252 | 79352 | 210106 0 | 66 | 117 478.94/479.16 c 465s | 14 | 884918 | 79652 | 210106 0 | 66 | 117 480.94/481.19 c 467s | 14 | 888323 | 79852 | 210106 0 | 66 | 117 483.94/484.10 c 470s | 14 | 892270 | 80252 | 210106 0 | 66 | 117 486.54/486.76 c 472s | 14 | 896483 | 80552 | 210106 0 | 66 | 117 488.64/488.85 c 474s | 14 | 899572 | 80752 | 210106 0 | 66 | 117 491.24/491.47 c 477s | 14 | 901917 | 81052 | 210106 0 | 66 | 117 493.34/493.57 c 479s | 14 | 905357 | 81252 | 210106 0 | 66 | 117 495.54/495.75 c 481s | 14 | 908574 | 81452 | 210106 0 | 66 | 117 497.84/498.09 c 484s | 14 | 910828 | 81752 | 210106 0 | 66 | 117 500.24/500.50 c 486s | 14 | 913601 | 82052 | 210106 0 | 66 | 117 502.83/503.04 c 488s | 14 | 915144 | 82352 | 210106 0 | 66 | 117 505.53/505.76 c 491s | 14 | 918803 | 82652 | 210106 0 | 66 | 117 508.04/508.25 c 494s | 14 | 922438 | 82952 | 210106 0 | 66 | 117 510.43/510.69 c 496s | 14 | 926154 | 83252 | 210106 0 | 66 | 117 512.63/512.83 c 498s | 14 | 930763 | 83552 | 210106 0 | 66 | 117 514.83/515.05 c 501s | 14 | 934812 | 83852 | 210106 0 | 66 | 117 517.23/517.46 c 503s | 14 | 937541 | 84152 | 210106 0 | 66 | 117 520.03/520.25 c 506s | 14 | 941490 | 84552 | 210106 0 | 66 | 117 522.33/522.57 c 508s | 14 | 945593 | 84852 | 210106 0 | 66 | 117 524.43/524.60 c 510s | 14 | 949805 | 85052 | 210106 0 | 66 | 117 527.13/527.38 c 513s | 14 | 954528 | 85352 | 210106 0 | 66 | 117 529.23/529.41 c 515s | 14 | 957705 | 85652 | 231117 0 | 66 | 117 531.93/532.10 c 518s | 14 | 962882 | 85952 | 231117 0 | 66 | 117 534.63/534.89 c 520s | 14 | 965744 | 86252 | 231117 0 | 66 | 117 537.03/537.29 c 523s | 14 | 967138 | 86552 | 231117 0 | 66 | 117 539.53/539.73 c 525s | 14 | 970385 | 86852 | 231117 0 | 66 | 117 542.13/542.40 c 528s | 14 | 975198 | 87152 | 231117 0 | 66 | 117 544.43/544.62 c 530s | 14 | 977683 | 87352 | 231117 0 | 66 | 117 546.92/547.10 c 533s | 15 | 981604 | 87632 | 231117 0 | 66 | 117 548.92/549.19 c 535s | 15 | 985707 | 87832 | 231117 0 | 66 | 117 551.72/551.96 c 537s | 15 | 989197 | 88132 | 231117 0 | 66 | 117 554.52/554.74 c 540s | 15 | 991874 | 88432 | 231117 0 | 66 | 117 557.12/557.39 c 543s | 15 | 994765 | 88732 | 231117 0 | 66 | 117 559.32/559.50 c 545s | 15 | 1000363 | 89032 | 231117 0 | 66 | 117 561.41/561.61 c 547s | 15 | 1002061 | 89232 | 231117 0 | 66 | 117 563.91/564.13 c 550s | 15 | 1004589 | 89432 | 231117 0 | 66 | 117 565.91/566.15 c 552s | 15 | 1008036 | 89732 | 231117 0 | 66 | 117 568.41/568.63 c 554s | 15 | 1011976 | 90032 | 231117 0 | 66 | 117 570.91/571.14 c 557s | 15 | 1015255 | 90332 | 231117 0 | 66 | 117 573.11/573.36 c 559s | 15 | 1018035 | 90632 | 231117 0 | 66 | 117 575.31/575.59 c 561s | 15 | 1022056 | 90832 | 231117 0 | 66 | 117 577.51/577.76 c 563s | 15 | 1027906 | 91132 | 231117 0 | 66 | 117 580.41/580.68 c 566s | 15 | 1030744 | 91432 | 231117 0 | 66 | 117 582.71/582.98 c 568s | 15 | 1036513 | 91732 | 231117 0 | 66 | 117 585.51/585.71 c 571s | 15 | 1040549 | 92032 | 231117 0 | 66 | 117 588.10/588.33 c 574s | 15 | 1044535 | 92332 | 231117 0 | 66 | 117 590.61/590.81 c 576s | 15 | 1050233 | 92632 | 231117 0 | 66 | 117 593.00/593.25 c 579s | 15 | 1055195 | 92932 | 231117 0 | 66 | 117 596.20/596.44 c 582s | 15 | 1058135 | 93232 | 231117 0 | 66 | 117 598.40/598.66 c 584s | 15 | 1061096 | 93432 | 231117 0 | 66 | 117 600.70/600.91 c 586s | 15 | 1064169 | 93632 | 231117 0 | 66 | 117 603.30/603.53 c 589s | 15 | 1067609 | 93932 | 231117 0 | 66 | 117 605.40/605.67 c 591s | 15 | 1070886 | 94232 | 231117 0 | 66 | 117 607.80/608.02 c 593s | 15 | 1074973 | 94532 | 231117 0 | 66 | 117 610.30/610.59 c 596s | 15 | 1080020 | 94732 | 231117 0 | 66 | 117 612.99/613.27 c 599s | 15 | 1083611 | 94932 | 231117 0 | 66 | 117 616.49/616.71 c 602s | 15 | 1085214 | 95132 | 231117 0 | 66 | 117 619.69/619.96 c 605s | 15 | 1087096 | 95332 | 231117 0 | 66 | 117 622.68/622.94 c 608s | 15 | 1088795 | 95532 | 231117 0 | 66 | 117 625.48/625.72 c 611s | 15 | 1090024 | 95732 | 231117 0 | 66 | 117 627.68/627.91 c 613s | 15 | 1094260 | 95932 | 231117 0 | 66 | 117 629.88/630.10 c 616s | 15 | 1098006 | 96232 | 231117 0 | 66 | 117 632.58/632.85 c 618s | 15 | 1101279 | 96532 | 231117 0 | 66 | 117 634.98/635.22 c 621s | 15 | 1103475 | 96732 | 231117 0 | 66 | 117 637.88/638.10 c 624s | 15 | 1106166 | 97032 | 231117 0 | 66 | 117 640.18/640.40 c 626s | 15 | 1107698 | 97232 | 231117 0 | 66 | 117 643.38/643.69 c 629s | 15 | 1109407 | 97532 | 231117 0 | 66 | 117 645.67/645.93 c 631s | 15 | 1112108 | 97732 | 231117 0 | 66 | 117 648.07/648.32 c 634s | 15 | 1113672 | 97932 | 231117 0 | 66 | 117 651.17/651.41 c 637s | 15 | 1115933 | 98232 | 231117 0 | 66 | 117 654.17/654.48 c 640s | 15 | 1118095 | 98432 | 231117 0 | 66 | 117 657.67/657.92 c 643s | 15 | 1119755 | 98632 | 231117 0 | 66 | 117 660.17/660.41 c 646s | 15 | 1121789 | 98832 | 231117 0 | 66 | 117 662.66/662.92 c 648s | 15 | 1124230 | 99132 | 231117 0 | 66 | 117 665.16/665.50 c 651s | 15 | 1126853 | 99432 | 231117 0 | 66 | 117 667.47/667.78 c 653s | 15 | 1127987 | 99732 | 231117 0 | 66 | 117 670.16/670.40 c 656s | 15 | 1130940 | 100032 | 231117 0 | 66 | 117 672.16/672.40 c 658s | 15 | 1132949 | 100232 | 231117 0 | 66 | 117 674.86/675.16 c 661s | 15 | 1134323 | 100432 | 231117 0 | 66 | 117 677.86/678.18 c 664s | 15 | 1137396 | 100732 | 231117 0 | 66 | 117 680.06/680.40 c 666s | 15 | 1139759 | 100932 | 231117 0 | 66 | 117 682.76/683.06 c 669s | 15 | 1141150 | 101132 | 231117 0 | 66 | 117 686.16/686.50 c 672s | 15 | 1143208 | 101332 | 231117 0 | 66 | 117 688.56/688.85 c 674s | 15 | 1144894 | 101532 | 231117 0 | 66 | 117 690.66/690.92 c 676s | 15 | 1146565 | 101732 | 231117 0 | 66 | 117 692.76/693.03 c 678s | 15 | 1148313 | 101932 | 231117 0 | 66 | 117 694.96/695.28 c 681s | 15 | 1150561 | 102132 | 231117 0 | 66 | 117 697.45/697.74 c 683s | 15 | 1152950 | 102332 | 231117 0 | 66 | 117 699.55/699.86 c 685s | 15 | 1155193 | 102532 | 231117 0 | 66 | 117 703.15/703.41 c 689s | 15 | 1158009 | 102832 | 231117 0 | 66 | 117 705.74/706.04 c 691s | 15 | 1159495 | 103032 | 231117 0 | 66 | 117 708.74/709.01 c 694s | 15 | 1161631 | 103332 | 231117 0 | 66 | 117 711.34/711.70 c 697s | 15 | 1164994 | 103632 | 231117 0 | 66 | 117 713.44/713.72 c 699s | 15 | 1165804 | 103832 | 231117 0 | 66 | 117 716.34/716.62 c 702s | 15 | 1169061 | 104132 | 231117 0 | 66 | 117 718.44/718.79 c 704s | 15 | 1170012 | 104332 | 231117 0 | 66 | 117 720.84/721.14 c 707s | 15 | 1172436 | 104532 | 231117 0 | 66 | 117 723.24/723.52 c 709s | 15 | 1173803 | 104732 | 231117 0 | 66 | 117 725.85/726.13 c 712s | 15 | 1175825 | 104932 | 231117 0 | 66 | 117 727.84/728.19 c 714s | 15 | 1177061 | 105132 | 231117 0 | 66 | 117 730.34/730.67 c 716s | 15 | 1178944 | 105332 | 231117 0 | 66 | 117 732.64/733.00 c 718s | 15 | 1180284 | 105532 | 231117 0 | 66 | 117 735.14/735.48 c 721s | 15 | 1181583 | 105732 | 231117 0 | 66 | 117 737.64/737.95 c 723s | 15 | 1182601 | 105932 | 231117 0 | 66 | 117 741.14/741.45 c 727s | 15 | 1184204 | 106232 | 231117 0 | 66 | 117 743.24/743.59 c 729s | 15 | 1185372 | 106432 | 231117 0 | 66 | 117 746.64/747.00 c 732s | 15 | 1187189 | 106732 | 231117 0 | 66 | 117 749.34/749.62 c 735s | 15 | 1188125 | 106932 | 231117 0 | 66 | 117 751.53/751.80 c 737s | 15 | 1189313 | 107132 | 231117 0 | 66 | 117 753.73/754.07 c 740s | 15 | 1190739 | 107332 | 231117 0 | 66 | 117 756.03/756.37 c 742s | 15 | 1191781 | 107532 | 231117 0 | 66 | 117 758.63/758.92 c 744s | 15 | 1192775 | 107732 | 231117 0 | 66 | 117 760.94/761.27 c 747s | 15 | 1194052 | 107932 | 231117 0 | 66 | 117 762.93/763.28 c 749s | 15 | 1194945 | 108132 | 231117 0 | 66 | 117 766.03/766.36 c 752s | 15 | 1197128 | 108432 | 231117 0 | 66 | 117 768.23/768.54 c 754s | 15 | 1198578 | 108632 | 231117 0 | 66 | 117 770.73/771.04 c 756s | 15 | 1199932 | 108832 | 231117 0 | 66 | 117 773.53/773.89 c 759s | 15 | 1201619 | 109032 | 231117 0 | 66 | 117 776.63/776.93 c 762s | 15 | 1202780 | 109232 | 231117 0 | 66 | 117 779.93/780.29 c 766s | 15 | 1204426 | 109432 | 231117 0 | 66 | 117 782.43/782.73 c 768s | 15 | 1205324 | 109632 | 231117 0 | 66 | 117 784.83/785.16 c 771s | 15 | 1206983 | 109832 | 231117 0 | 66 | 117 787.53/787.83 c 773s | 15 | 1208486 | 110132 | 231117 0 | 66 | 117 790.43/790.76 c 776s | 15 | 1209484 | 110332 | 231117 0 | 66 | 117 792.83/793.14 c 779s | 15 | 1210644 | 110532 | 231117 0 | 66 | 117 795.73/796.05 c 781s | 15 | 1213023 | 110832 | 231117 0 | 66 | 117 798.13/798.42 c 784s | 15 | 1213944 | 111032 | 231117 0 | 66 | 117 800.33/800.64 c 786s | 15 | 1215507 | 111332 | 231117 0 | 66 | 117 803.43/803.71 c 789s | 15 | 1218000 | 111632 | 231117 0 | 66 | 117 805.83/806.14 c 792s | 15 | 1219955 | 111832 | 231117 0 | 66 | 117 808.03/808.30 c 794s | 15 | 1221564 | 112032 | 231117 0 | 66 | 117 810.03/810.38 c 796s | 15 | 1222823 | 112232 | 231117 0 | 66 | 117 812.23/812.50 c 798s | 15 | 1223822 | 112432 | 231117 0 | 66 | 117 814.23/814.54 c 800s | 15 | 1224615 | 112632 | 231117 0 | 66 | 117 816.42/816.78 c 802s | 15 | 1226910 | 112832 | 231117 0 | 66 | 117 818.72/819.02 c 804s | 15 | 1228170 | 113032 | 231117 0 | 66 | 117 822.22/822.58 c 808s | 15 | 1229424 | 113232 | 231117 0 | 66 | 117 824.92/825.27 c 811s | 15 | 1230101 | 113432 | 231117 0 | 66 | 117 828.22/828.55 c 814s | 15 | 1231034 | 113632 | 231117 0 | 66 | 117 831.52/831.85 c 817s | 15 | 1231729 | 113832 | 231117 0 | 66 | 117 834.12/834.40 c 820s | 15 | 1233383 | 114032 | 231117 0 | 66 | 117 836.72/837.09 c 823s | 15 | 1235256 | 114332 | 231117 0 | 66 | 117 839.42/839.75 c 825s | 15 | 1237226 | 114532 | 231117 0 | 66 | 117 842.43/842.79 c 828s | 15 | 1238284 | 114732 | 231117 0 | 66 | 117 845.73/846.08 c 832s | 15 | 1239514 | 114932 | 231117 0 | 66 | 117 849.02/849.37 c 835s | 15 | 1240032 | 115132 | 231117 0 | 66 | 117 851.32/851.62 c 837s | 15 | 1244163 | 115432 | 231117 0 | 66 | 117 853.43/853.72 c 839s | 15 | 1247116 | 115732 | 231117 0 | 66 | 117 855.52/855.83 c 841s | 15 | 1250119 | 116032 | 231117 0 | 66 | 117 857.92/858.21 c 844s | 15 | 1252738 | 116332 | 231117 0 | 66 | 117 860.82/861.19 c 847s | 15 | 1255032 | 116632 | 231117 0 | 66 | 117 863.42/863.73 c 849s | 15 | 1256164 | 116932 | 231117 0 | 66 | 117 866.72/867.04 c 852s | 15 | 1262687 | 117232 | 231117 0 | 66 | 117 869.32/869.62 c 855s | 15 | 1266177 | 117532 | 231117 0 | 66 | 117 872.12/872.45 c 858s | 15 | 1270598 | 117832 | 231117 0 | 66 | 117 874.52/874.82 c 860s | 15 | 1272777 | 118032 | 231117 0 | 66 | 117 876.91/877.20 c 863s | 15 | 1276673 | 118332 | 231117 0 | 66 | 117 879.82/880.17 c 866s | 15 | 1279178 | 118632 | 231117 0 | 66 | 117 882.21/882.50 c 868s | 15 | 1282495 | 118932 | 231117 0 | 66 | 117 884.41/884.79 c 870s | 15 | 1285219 | 119232 | 231117 0 | 66 | 117 886.71/887.04 c 872s | 15 | 1287353 | 119532 | 231117 0 | 66 | 117 889.31/889.64 c 875s | 15 | 1288810 | 119832 | 231117 0 | 66 | 117 891.41/891.72 c 877s | 15 | 1290213 | 120032 | 231117 0 | 66 | 117 894.02/894.39 c 880s | 15 | 1294704 | 120432 | 231117 0 | 66 | 117 896.11/896.43 c 882s | 15 | 1298792 | 120732 | 231117 0 | 66 | 117 898.42/898.76 c 884s | 15 | 1302020 | 121032 | 231117 0 | 66 | 117 901.41/901.70 c 887s | 15 | 1305656 | 121332 | 231117 0 | 66 | 117 903.71/904.01 c 889s | 15 | 1309512 | 121532 | 231117 0 | 66 | 117 906.22/906.54 c 892s | 15 | 1313486 | 121832 | 231117 0 | 66 | 117 909.01/909.31 c 895s | 15 | 1317726 | 122132 | 231117 0 | 66 | 117 911.31/911.60 c 897s | 15 | 1321012 | 122332 | 231117 0 | 66 | 117 913.51/913.89 c 899s | 15 | 1324943 | 122532 | 231117 0 | 66 | 117 915.91/916.21 c 902s | 15 | 1327346 | 122832 | 231117 0 | 66 | 117 918.32/918.63 c 904s | 15 | 1329902 | 123032 | 231117 0 | 66 | 117 921.21/921.57 c 907s | 15 | 1331165 | 123332 | 231117 0 | 66 | 117 923.51/923.86 c 909s | 15 | 1333373 | 123532 | 231117 0 | 66 | 117 926.31/926.61 c 912s | 15 | 1338578 | 123832 | 231117 0 | 66 | 117 928.31/928.65 c 914s | 15 | 1341868 | 124032 | 231117 0 | 66 | 117 931.01/931.35 c 917s | 15 | 1344324 | 124332 | 231117 0 | 66 | 117 933.51/933.85 c 919s | 15 | 1346789 | 124632 | 231117 0 | 66 | 117 937.01/937.31 c 923s | 15 | 1352025 | 124932 | 231117 0 | 66 | 117 939.31/939.67 c 925s | 15 | 1355546 | 125132 | 231117 0 | 66 | 117 941.70/942.03 c 927s | 15 | 1358777 | 125332 | 231117 0 | 66 | 117 943.80/944.14 c 930s | 15 | 1360325 | 125532 | 231117 0 | 66 | 117 945.81/946.18 c 932s | 15 | 1362534 | 125732 | 231117 0 | 66 | 117 948.70/949.02 c 934s | 15 | 1365877 | 125932 | 231117 0 | 66 | 117 951.10/951.45 c 937s | 15 | 1368855 | 126232 | 231117 0 | 66 | 117 953.20/953.52 c 939s | 15 | 1370202 | 126432 | 231117 0 | 66 | 117 956.71/957.06 c 943s | 15 | 1373038 | 126732 | 231117 0 | 66 | 117 960.11/960.48 c 946s | 15 | 1375355 | 126932 | 231117 0 | 66 | 117 962.21/962.59 c 948s | 15 | 1376854 | 127032 | 231117 0 | 66 | 117 965.61/965.91 c 951s | 15 | 1380423 | 127232 | 231117 0 | 66 | 117 968.50/968.88 c 954s | 15 | 1385196 | 127532 | 231117 0 | 66 | 117 971.30/971.66 c 957s | 15 | 1389327 | 127832 | 231117 0 | 66 | 117 974.31/974.61 c 960s | 15 | 1394272 | 128132 | 231117 0 | 66 | 117 977.71/978.08 c 964s | 15 | 1398232 | 128332 | 231117 0 | 66 | 117 981.50/981.83 c 967s | 15 | 1399903 | 128532 | 231117 0 | 66 | 117 985.40/985.79 c 971s | 15 | 1401765 | 128732 | 231117 0 | 66 | 117 987.80/988.18 c 974s | 15 | 1404920 | 128932 | 231117 0 | 66 | 117 990.00/990.35 c 976s | 15 | 1407062 | 129132 | 254229 0 | 66 | 117 993.30/993.66 c 979s | 15 | 1410916 | 129432 | 254229 0 | 66 | 117 995.80/996.10 c 982s | 15 | 1413879 | 129632 | 254229 0 | 66 | 117 997.90/998.27 c 984s | 15 | 1415509 | 129832 | 254229 0 | 66 | 117 1000.20/1000.53 c 986s | 15 | 1417794 | 130032 | 254229 0 | 66 | 117 1002.30/1002.65 c 988s | 15 | 1419670 | 130232 | 254229 0 | 66 | 117 1004.50/1004.86 c 990s | 15 | 1421879 | 130432 | 254229 0 | 66 | 117 1007.49/1007.89 c 993s | 15 | 1424100 | 130632 | 254229 0 | 66 | 117 1009.60/1009.99 c 995s | 15 | 1428539 | 130832 | 254229 0 | 66 | 117 1011.99/1012.31 c 998s | 15 | 1430615 | 131032 | 254229 0 | 66 | 117 1015.10/1015.41 c 1001s | 15 | 1433569 | 131232 | 254229 0 | 66 | 117 1018.30/1018.62 c 1004s | 15 | 1436457 | 131432 | 254229 0 | 66 | 117 1019.59/1019.90 c 1005s | 16 | 1437113 | 131552 | 254229 0 | 66 | 117 1022.99/1023.31 c 1009s | 16 | 1442615 | 131752 | 254229 0 | 66 | 117 1026.19/1026.54 c 1012s | 16 | 1446173 | 132052 | 254229 0 | 66 | 117 1028.69/1029.09 c 1015s | 16 | 1449326 | 132252 | 254229 0 | 66 | 117 1031.79/1032.13 c 1018s | 16 | 1452314 | 132452 | 254229 0 | 66 | 117 1034.49/1034.86 c 1020s | 16 | 1453920 | 132652 | 254229 0 | 66 | 117 1037.59/1037.94 c 1023s | 16 | 1455689 | 132952 | 254229 0 | 66 | 117 1040.69/1041.04 c 1026s | 16 | 1456921 | 133252 | 254229 0 | 66 | 117 1042.89/1043.24 c 1029s | 16 | 1459362 | 133452 | 254229 0 | 66 | 117 1045.49/1045.86 c 1031s | 16 | 1462284 | 133652 | 254229 0 | 66 | 117 1048.99/1049.39 c 1035s | 16 | 1468736 | 133952 | 254229 0 | 66 | 117 1052.09/1052.41 c 1038s | 16 | 1472429 | 134252 | 254229 0 | 66 | 117 1054.59/1054.94 c 1040s | 16 | 1474698 | 134452 | 254229 0 | 66 | 117 1057.79/1058.15 c 1044s | 16 | 1477034 | 134652 | 254229 0 | 66 | 117 1061.09/1061.44 c 1047s | 16 | 1479081 | 134852 | 254229 0 | 66 | 117 1064.89/1065.28 c 1051s | 16 | 1481302 | 135052 | 254229 0 | 66 | 117 1067.18/1067.57 c 1053s | 16 | 1484738 | 135252 | 254229 0 | 66 | 117 1070.09/1070.48 c 1056s | 16 | 1488402 | 135552 | 254229 0 | 66 | 117 1072.78/1073.14 c 1059s | 16 | 1489507 | 135752 | 254229 0 | 66 | 117 1075.18/1075.53 c 1061s | 16 | 1492681 | 135952 | 254229 0 | 66 | 117 1077.88/1078.27 c 1064s | 16 | 1495955 | 136152 | 254229 0 | 66 | 117 1080.38/1080.78 c 1066s | 16 | 1497858 | 136352 | 254229 0 | 66 | 117 1083.38/1083.77 c 1069s | 16 | 1500702 | 136552 | 254229 0 | 66 | 117 1085.88/1086.27 c 1072s | 16 | 1505174 | 136852 | 254229 0 | 66 | 117 1088.69/1089.07 c 1075s | 16 | 1507473 | 137052 | 254229 0 | 66 | 117 1090.89/1091.26 c 1077s | 16 | 1511001 | 137252 | 254229 0 | 66 | 117 1093.09/1093.41 c 1079s | 16 | 1513427 | 137452 | 254229 0 | 66 | 117 1095.29/1095.66 c 1081s | 16 | 1515914 | 137652 | 254229 0 | 66 | 117 1097.59/1097.92 c 1083s | 16 | 1516866 | 137852 | 254229 0 | 66 | 117 1099.88/1100.23 c 1086s | 16 | 1518043 | 138052 | 254229 0 | 66 | 117 1102.88/1103.25 c 1089s | 16 | 1519609 | 138352 | 254229 0 | 66 | 117 1105.78/1106.17 c 1092s | 16 | 1521209 | 138652 | 254229 0 | 66 | 117 1109.28/1109.64 c 1095s | 16 | 1524411 | 138952 | 254229 0 | 66 | 117 1111.68/1112.01 c 1097s | 16 | 1526391 | 139152 | 254229 0 | 66 | 117 1114.58/1114.93 c 1100s | 16 | 1528676 | 139352 | 254229 0 | 66 | 117 1117.38/1117.71 c 1103s | 16 | 1531623 | 139552 | 254229 0 | 66 | 117 1119.88/1120.24 c 1106s | 16 | 1534227 | 139752 | 254229 0 | 66 | 117 1122.28/1122.67 c 1108s | 16 | 1536077 | 139952 | 254229 0 | 66 | 117 1124.98/1125.34 c 1111s | 16 | 1537974 | 140152 | 254229 0 | 66 | 117 1127.48/1127.88 c 1113s | 16 | 1541182 | 140352 | 254229 0 | 66 | 117 1130.58/1130.97 c 1116s | 16 | 1542530 | 140552 | 254229 0 | 66 | 117 1133.78/1134.19 c 1120s | 16 | 1544204 | 140852 | 254229 0 | 66 | 117 1136.27/1136.65 c 1122s | 16 | 1545686 | 141152 | 254229 0 | 66 | 117 1138.37/1138.75 c 1124s | 16 | 1547436 | 141352 | 254229 0 | 66 | 117 1141.17/1141.57 c 1127s | 16 | 1550729 | 141552 | 254229 0 | 66 | 117 1143.87/1144.29 c 1130s | 16 | 1553703 | 141752 | 254229 0 | 66 | 117 1146.67/1147.01 c 1132s | 16 | 1556491 | 141952 | 254229 0 | 66 | 117 1149.28/1149.66 c 1135s | 16 | 1558779 | 142152 | 254229 0 | 66 | 117 1152.07/1152.44 c 1138s | 16 | 1560545 | 142352 | 254229 0 | 66 | 117 1154.68/1155.02 c 1140s | 16 | 1562075 | 142552 | 254229 0 | 66 | 117 1157.77/1158.11 c 1144s | 16 | 1565201 | 142752 | 254229 0 | 66 | 117 1160.47/1160.87 c 1146s | 16 | 1568655 | 142952 | 254229 0 | 66 | 117 1163.58/1163.96 c 1149s | 16 | 1571662 | 143152 | 254229 0 | 66 | 117 1165.97/1166.39 c 1152s | 16 | 1575649 | 143452 | 254229 0 | 66 | 117 1168.98/1169.32 c 1155s | 16 | 1578209 | 143652 | 254229 0 | 66 | 117 1171.47/1171.83 c 1157s | 16 | 1580537 | 143852 | 254229 0 | 66 | 117 1174.87/1175.24 c 1161s | 16 | 1584852 | 144152 | 254229 0 | 66 | 117 1177.47/1177.82 c 1163s | 16 | 1587237 | 144352 | 254229 0 | 66 | 117 1179.87/1180.29 c 1166s | 16 | 1590489 | 144552 | 254229 0 | 66 | 117 1182.57/1182.91 c 1168s | 16 | 1591954 | 144752 | 254229 0 | 66 | 117 1184.97/1185.36 c 1171s | 16 | 1592226 | 144852 | 254229 0 | 66 | 117 1187.57/1187.92 c 1173s | 16 | 1597041 | 145052 | 254229 0 | 66 | 117 1190.97/1191.32 c 1177s | 16 | 1599824 | 145352 | 254229 0 | 66 | 117 1193.56/1193.94 c 1179s | 16 | 1602099 | 145652 | 254229 0 | 66 | 117 1196.86/1197.26 c 1183s | 16 | 1606742 | 145852 | 254229 0 | 66 | 117 1199.66/1200.08 c 1186s | 16 | 1609044 | 146052 | 254229 0 | 66 | 117 1201.97/1202.37 c 1188s | 16 | 1611253 | 146252 | 254229 0 | 66 | 117 1204.96/1205.35 c 1191s | 16 | 1613897 | 146452 | 254229 0 | 66 | 117 1208.06/1208.42 c 1194s | 16 | 1617889 | 146652 | 254229 0 | 66 | 117 1210.26/1210.68 c 1196s | 16 | 1621011 | 146952 | 254229 0 | 66 | 117 1212.76/1213.12 c 1199s | 16 | 1623302 | 147152 | 254229 0 | 66 | 117 1215.36/1215.74 c 1201s | 16 | 1624921 | 147352 | 254229 0 | 66 | 117 1217.66/1218.09 c 1204s | 16 | 1628153 | 147552 | 254229 0 | 66 | 117 1220.26/1220.63 c 1206s | 16 | 1629581 | 147752 | 254229 0 | 66 | 117 1222.87/1223.27 c 1209s | 16 | 1633878 | 147952 | 254229 0 | 66 | 117 1224.96/1225.37 c 1211s | 16 | 1638550 | 148152 | 254229 0 | 66 | 117 1227.86/1228.28 c 1214s | 16 | 1642564 | 148352 | 254229 0 | 66 | 117 1230.96/1231.34 c 1217s | 16 | 1644758 | 148552 | 254229 0 | 66 | 117 1233.06/1233.48 c 1219s | 16 | 1647789 | 148752 | 254229 0 | 66 | 117 1236.96/1237.39 c 1223s | 16 | 1650301 | 148952 | 254229 0 | 66 | 117 1239.46/1239.82 c 1225s | 16 | 1653030 | 149252 | 254229 0 | 66 | 117 1241.76/1242.12 c 1228s | 16 | 1655090 | 149552 | 254229 0 | 66 | 117 1244.46/1244.89 c 1230s | 16 | 1658322 | 149852 | 254229 0 | 66 | 117 1246.56/1246.96 c 1232s | 16 | 1659256 | 150052 | 254229 0 | 66 | 117 1249.26/1249.68 c 1235s | 16 | 1660350 | 150252 | 254229 0 | 66 | 117 1251.56/1251.97 c 1237s | 16 | 1662581 | 150452 | 254229 0 | 66 | 117 1255.15/1255.57 c 1241s | 16 | 1667491 | 150752 | 254229 0 | 66 | 117 1258.65/1259.08 c 1245s | 16 | 1668487 | 150952 | 254229 0 | 66 | 117 1261.95/1262.36 c 1248s | 16 | 1671744 | 151152 | 254229 0 | 66 | 117 1265.45/1265.84 c 1251s | 16 | 1673729 | 151352 | 254229 0 | 66 | 117 1268.75/1269.11 c 1255s | 16 | 1675637 | 151552 | 254229 0 | 66 | 117 1272.05/1272.42 c 1258s | 16 | 1678672 | 151752 | 254229 0 | 66 | 117 1274.66/1275.03 c 1260s | 16 | 1682562 | 151952 | 254229 0 | 66 | 117 1276.95/1277.33 c 1263s | 16 | 1686985 | 152252 | 254229 0 | 66 | 117 1279.45/1279.88 c 1265s | 16 | 1690055 | 152452 | 254229 0 | 66 | 117 1282.95/1283.30 c 1269s | 16 | 1693870 | 152752 | 254229 0 | 66 | 117 1286.25/1286.65 c 1272s | 16 | 1697830 | 153152 | 254229 0 | 66 | 117 1289.25/1289.67 c 1275s | 16 | 1702349 | 153452 | 254229 0 | 66 | 117 1291.75/1292.12 c 1278s | 16 | 1705697 | 153652 | 254229 0 | 66 | 117 1293.75/1294.19 c 1280s | 16 | 1707844 | 153852 | 254229 0 | 66 | 117 1295.95/1296.34 c 1282s | 16 | 1710169 | 154052 | 254229 0 | 66 | 117 1298.65/1299.02 c 1284s | 16 | 1713179 | 154352 | 254229 0 | 66 | 117 1300.85/1301.23 c 1287s | 16 | 1715767 | 154652 | 254229 0 | 66 | 117 1302.85/1303.24 c 1289s | 16 | 1717454 | 154852 | 254229 0 | 66 | 117 1305.55/1305.94 c 1291s | 16 | 1719776 | 155152 | 254229 0 | 66 | 117 1307.85/1308.20 c 1294s | 16 | 1722768 | 155352 | 254229 0 | 66 | 117 1310.35/1310.70 c 1296s | 16 | 1725903 | 155552 | 254229 0 | 66 | 117 1313.55/1313.92 c 1299s | 16 | 1729770 | 155852 | 254229 0 | 66 | 117 1316.24/1316.66 c 1302s | 16 | 1731229 | 156052 | 254229 0 | 66 | 117 1318.55/1318.91 c 1304s | 16 | 1734085 | 156252 | 254229 0 | 66 | 117 1321.04/1321.45 c 1307s | 16 | 1737009 | 156452 | 254229 0 | 66 | 117 1323.05/1323.49 c 1309s | 16 | 1738320 | 156552 | 254229 0 | 66 | 117 1325.25/1325.66 c 1311s | 16 | 1739360 | 156652 | 254229 0 | 66 | 117 1327.35/1327.73 c 1313s | 16 | 1740750 | 156852 | 254229 0 | 66 | 117 1329.55/1329.91 c 1315s | 16 | 1742677 | 157052 | 254229 0 | 66 | 117 1332.64/1333.08 c 1319s | 16 | 1744095 | 157352 | 254229 0 | 66 | 117 1335.44/1335.84 c 1321s | 16 | 1748231 | 157552 | 254229 0 | 66 | 117 1337.84/1338.29 c 1324s | 16 | 1750836 | 157752 | 254229 0 | 66 | 117 1340.55/1340.95 c 1326s | 16 | 1753402 | 157952 | 254229 0 | 66 | 117 1343.24/1343.66 c 1329s | 16 | 1755991 | 158152 | 254229 0 | 66 | 117 1346.84/1347.25 c 1333s | 16 | 1758025 | 158352 | 254229 0 | 66 | 117 1349.35/1349.73 c 1335s | 16 | 1758477 | 158452 | 254229 0 | 66 | 117 1351.44/1351.88 c 1337s | 16 | 1759269 | 158652 | 254229 0 | 66 | 117 1353.94/1354.32 c 1340s | 16 | 1760824 | 158852 | 254229 0 | 66 | 117 1357.64/1358.08 c 1344s | 16 | 1763765 | 159052 | 254229 0 | 66 | 117 1359.84/1360.26 c 1346s | 16 | 1764558 | 159252 | 254229 0 | 66 | 117 1362.54/1362.97 c 1348s | 16 | 1766056 | 159552 | 254229 0 | 66 | 117 1365.24/1365.64 c 1351s | 16 | 1766878 | 159852 | 254229 0 | 66 | 117 1367.34/1367.78 c 1353s | 16 | 1771668 | 160052 | 254229 0 | 66 | 117 1370.54/1370.92 c 1356s | 16 | 1773014 | 160252 | 254229 0 | 66 | 117 1373.24/1373.60 c 1359s | 16 | 1775303 | 160452 | 254229 0 | 66 | 117 1376.64/1377.06 c 1363s | 16 | 1778533 | 160652 | 254229 0 | 66 | 117 1378.64/1379.08 c 1365s | 16 | 1779325 | 160752 | 254229 0 | 66 | 117 1382.73/1383.12 c 1369s | 16 | 1781493 | 160952 | 254229 0 | 66 | 117 1384.73/1385.14 c 1371s | 16 | 1782294 | 161052 | 254229 0 | 66 | 117 1386.85/1387.21 c 1373s | 16 | 1783965 | 161152 | 254229 0 | 66 | 117 1388.95/1389.38 c 1375s | 16 | 1784756 | 161252 | 254229 0 | 66 | 117 1392.84/1393.26 c 1379s | 16 | 1785800 | 161452 | 254229 0 | 66 | 117 1395.14/1395.58 c 1381s | 16 | 1786021 | 161552 | 254229 0 | 66 | 117 1397.94/1398.30 c 1384s | 16 | 1786556 | 161652 | 254229 0 | 66 | 117 1401.74/1402.19 c 1388s | 16 | 1789937 | 161852 | 254229 0 | 66 | 117 1404.74/1405.20 c 1391s | 16 | 1793898 | 162052 | 254229 0 | 66 | 117 1407.65/1408.05 c 1393s | 16 | 1797126 | 162352 | 254229 0 | 66 | 117 1410.24/1410.64 c 1396s | 16 | 1799834 | 162652 | 254229 0 | 66 | 117 1412.74/1413.11 c 1399s | 16 | 1801607 | 162852 | 254229 0 | 66 | 117 1415.14/1415.52 c 1401s | 16 | 1804388 | 163052 | 254229 0 | 66 | 117 1417.54/1417.91 c 1403s | 16 | 1806310 | 163252 | 254229 0 | 66 | 117 1420.34/1420.79 c 1406s | 16 | 1808753 | 163452 | 254229 0 | 66 | 117 1422.84/1423.26 c 1409s | 16 | 1810870 | 163552 | 254229 0 | 66 | 117 1424.84/1425.29 c 1411s | 16 | 1812748 | 163652 | 254229 0 | 66 | 117 1427.24/1427.65 c 1413s | 16 | 1813357 | 163752 | 254229 0 | 66 | 117 1429.24/1429.69 c 1415s | 16 | 1813800 | 163852 | 254229 0 | 66 | 117 1433.04/1433.46 c 1419s | 16 | 1816360 | 164052 | 254229 0 | 66 | 117 1437.44/1437.88 c 1423s | 16 | 1817916 | 164252 | 254229 0 | 66 | 117 1439.44/1439.88 c 1425s | 16 | 1819939 | 164352 | 254229 0 | 66 | 117 1441.43/1441.90 c 1427s | 16 | 1821628 | 164552 | 254229 0 | 66 | 117 1444.23/1444.66 c 1430s | 16 | 1824049 | 164752 | 254229 0 | 66 | 117 1446.73/1447.10 c 1433s | 16 | 1826224 | 164952 | 254229 0 | 66 | 117 1450.54/1450.93 c 1436s | 16 | 1827883 | 165152 | 254229 0 | 66 | 117 1452.63/1453.10 c 1439s | 16 | 1830327 | 165352 | 254229 0 | 66 | 117 1455.23/1455.63 c 1441s | 16 | 1833525 | 165652 | 254229 0 | 66 | 117 1457.33/1457.76 c 1443s | 16 | 1836370 | 165952 | 254229 0 | 66 | 117 1459.34/1459.78 c 1445s | 16 | 1839391 | 166252 | 254229 0 | 66 | 117 1461.43/1461.81 c 1447s | 16 | 1842800 | 166552 | 254229 0 | 66 | 117 1463.74/1464.12 c 1450s | 16 | 1845905 | 166852 | 254229 0 | 66 | 117 1465.94/1466.40 c 1452s | 16 | 1848449 | 167152 | 254229 0 | 66 | 117 1468.53/1468.91 c 1454s | 16 | 1850863 | 167452 | 254229 0 | 66 | 117 1470.93/1471.33 c 1457s | 16 | 1854496 | 167752 | 254229 0 | 66 | 117 1473.03/1473.46 c 1459s | 16 | 1856303 | 167952 | 254229 0 | 66 | 117 1476.23/1476.65 c 1462s | 16 | 1859375 | 168252 | 254229 0 | 66 | 117 1478.33/1478.73 c 1464s | 16 | 1860668 | 168452 | 254229 0 | 66 | 117 1480.63/1481.00 c 1466s | 16 | 1861692 | 168652 | 254229 0 | 66 | 117 1482.73/1483.12 c 1469s | 16 | 1863464 | 168852 | 254229 0 | 66 | 117 1485.83/1486.24 c 1472s | 16 | 1866708 | 169152 | 254229 0 | 66 | 117 1488.83/1489.22 c 1475s | 16 | 1870866 | 169452 | 254229 0 | 66 | 117 1490.83/1491.28 c 1477s | 16 | 1873229 | 169652 | 254229 0 | 66 | 117 1492.93/1493.32 c 1479s | 16 | 1874950 | 169852 | 254229 0 | 66 | 117 1495.83/1496.29 c 1482s | 16 | 1878691 | 170152 | 254229 0 | 66 | 117 1498.03/1498.46 c 1484s | 16 | 1880725 | 170352 | 254229 0 | 66 | 117 1500.52/1500.90 c 1486s | 16 | 1884728 | 170652 | 254229 0 | 66 | 117 1503.43/1503.82 c 1489s | 16 | 1886837 | 170952 | 254229 0 | 66 | 117 1505.42/1505.83 c 1491s | 16 | 1888776 | 171152 | 254229 0 | 66 | 117 1507.52/1507.90 c 1493s | 16 | 1890351 | 171352 | 254229 0 | 66 | 117 1509.72/1510.11 c 1496s | 16 | 1891574 | 171552 | 254229 0 | 66 | 117 1512.02/1512.50 c 1498s | 16 | 1892953 | 171752 | 254229 0 | 66 | 117 1514.12/1514.53 c 1500s | 16 | 1896311 | 171952 | 254229 0 | 66 | 117 1516.53/1516.94 c 1502s | 16 | 1897899 | 172152 | 254229 0 | 66 | 117 1518.62/1519.04 c 1504s | 16 | 1899974 | 172352 | 254229 0 | 66 | 117 1520.72/1521.14 c 1507s | 16 | 1902063 | 172552 | 254229 0 | 66 | 117 1522.72/1523.18 c 1509s | 16 | 1904473 | 172752 | 254229 0 | 66 | 117 1524.92/1525.30 c 1511s | 16 | 1906063 | 172952 | 254229 0 | 66 | 117 1527.53/1528.00 c 1513s | 16 | 1907569 | 173152 | 254229 0 | 66 | 117 1530.32/1530.74 c 1516s | 16 | 1908924 | 173352 | 254229 0 | 66 | 117 1532.32/1532.79 c 1518s | 16 | 1909815 | 173552 | 254229 0 | 66 | 117 1534.62/1535.04 c 1520s | 16 | 1912310 | 173752 | 254229 0 | 66 | 117 1537.32/1537.76 c 1523s | 16 | 1914575 | 173952 | 254229 0 | 66 | 117 1539.52/1539.98 c 1525s | 16 | 1917881 | 174152 | 254229 0 | 66 | 117 1542.12/1542.50 c 1528s | 16 | 1922742 | 174352 | 254229 0 | 66 | 117 1544.62/1545.02 c 1530s | 16 | 1925980 | 174652 | 254229 0 | 66 | 117 1547.32/1547.78 c 1533s | 16 | 1929260 | 174852 | 254229 0 | 66 | 117 1549.42/1549.80 c 1535s | 16 | 1930658 | 175052 | 254229 0 | 66 | 117 1551.72/1552.20 c 1538s | 16 | 1932867 | 175252 | 254229 0 | 66 | 117 1554.32/1554.72 c 1540s | 16 | 1935655 | 175452 | 254229 0 | 66 | 117 1556.51/1556.99 c 1542s | 16 | 1938814 | 175652 | 254229 0 | 66 | 117 1559.71/1560.14 c 1546s | 16 | 1941907 | 175952 | 254229 0 | 66 | 117 1562.21/1562.64 c 1548s | 16 | 1943893 | 176252 | 254229 0 | 66 | 117 1565.91/1566.34 c 1552s | 16 | 1946770 | 176452 | 254229 0 | 66 | 117 1568.41/1568.81 c 1554s | 16 | 1948642 | 176552 | 254229 0 | 66 | 117 1570.61/1571.07 c 1557s | 16 | 1950068 | 176652 | 254229 0 | 66 | 117 1573.01/1573.49 c 1559s | 16 | 1951516 | 176752 | 254229 0 | 66 | 117 1575.51/1575.90 c 1561s | 16 | 1952373 | 176852 | 254229 0 | 66 | 117 1577.71/1578.13 c 1564s | 16 | 1953788 | 176952 | 254229 0 | 66 | 117 1580.21/1580.65 c 1566s | 16 | 1954782 | 177052 | 254229 0 | 66 | 117 1582.81/1583.27 c 1569s | 16 | 1955882 | 177152 | 254229 0 | 66 | 117 1585.21/1585.63 c 1571s | 16 | 1957537 | 177252 | 254229 0 | 66 | 117 1587.51/1587.98 c 1573s | 16 | 1959171 | 177352 | 254229 0 | 66 | 117 1590.81/1591.28 c 1577s | 16 | 1962099 | 177552 | 254229 0 | 66 | 117 1593.11/1593.59 c 1579s | 16 | 1965010 | 177752 | 254229 0 | 66 | 117 1595.31/1595.71 c 1581s | 16 | 1965547 | 177852 | 254229 0 | 66 | 117 1598.01/1598.45 c 1584s | 16 | 1967200 | 178052 | 254229 0 | 66 | 117 1600.21/1600.67 c 1586s | 16 | 1968133 | 178152 | 254229 0 | 66 | 117 1604.01/1604.40 c 1590s | 16 | 1971065 | 178352 | 254229 0 | 66 | 117 1606.21/1606.65 c 1592s | 16 | 1971846 | 178452 | 254229 0 | 66 | 117 1608.40/1608.80 c 1594s | 16 | 1972858 | 178552 | 254229 0 | 66 | 117 1610.50/1610.91 c 1596s | 16 | 1974571 | 178752 | 254229 0 | 66 | 117 1612.70/1613.16 c 1599s | 16 | 1976369 | 178952 | 254229 0 | 66 | 117 1614.80/1615.26 c 1601s | 16 | 1977718 | 179152 | 254229 0 | 66 | 117 1617.50/1617.96 c 1603s | 16 | 1979473 | 179352 | 254229 0 | 66 | 117 1619.70/1620.20 c 1606s | 16 | 1980985 | 179552 | 254229 0 | 66 | 117 1621.80/1622.25 c 1608s | 16 | 1982067 | 179752 | 254229 0 | 66 | 117 1624.00/1624.46 c 1610s | 16 | 1984117 | 179952 | 254229 0 | 66 | 117 1627.40/1627.80 c 1613s | 16 | 1988083 | 180152 | 254229 0 | 66 | 117 1630.70/1631.19 c 1617s | 16 | 1991085 | 180352 | 254229 0 | 66 | 117 1633.21/1633.64 c 1619s | 16 | 1991509 | 180452 | 254229 0 | 66 | 117 1635.41/1635.83 c 1621s | 16 | 1992969 | 180552 | 254229 0 | 66 | 117 1638.61/1639.04 c 1624s | 16 | 1995494 | 180752 | 254229 0 | 66 | 117 1641.20/1641.64 c 1627s | 16 | 1997709 | 180952 | 254229 0 | 66 | 117 1643.60/1644.04 c 1629s | 16 | 2000568 | 181152 | 254229 0 | 66 | 117 1646.41/1646.86 c 1632s | 16 | 2004253 | 181352 | 254229 0 | 66 | 117 1650.00/1650.43 c 1636s | 16 | 2006464 | 181552 | 254229 0 | 66 | 117 1653.40/1653.88 c 1639s | 16 | 2008182 | 181752 | 254229 0 | 66 | 117 1655.90/1656.36 c 1642s | 16 | 2009788 | 181852 | 254229 0 | 66 | 117 1658.30/1658.76 c 1644s | 16 | 2011804 | 181952 | 254229 0 | 66 | 117 1660.70/1661.19 c 1647s | 16 | 2012926 | 182052 | 254229 0 | 66 | 117 1663.30/1663.74 c 1649s | 16 | 2015072 | 182152 | 254229 0 | 66 | 117 1665.70/1666.15 c 1652s | 16 | 2016429 | 182252 | 254229 0 | 66 | 117 1668.19/1668.60 c 1654s | 16 | 2017390 | 182352 | 254229 0 | 66 | 117 1670.60/1671.07 c 1657s | 16 | 2017740 | 182452 | 254229 0 | 66 | 117 1673.09/1673.58 c 1659s | 16 | 2019382 | 182552 | 254229 0 | 66 | 117 1676.49/1676.94 c 1662s | 16 | 2019874 | 182652 | 254229 0 | 66 | 117 1679.30/1679.72 c 1665s | 16 | 2023394 | 182852 | 254229 0 | 66 | 117 1682.29/1682.71 c 1668s | 16 | 2025370 | 183052 | 254229 0 | 66 | 117 1685.39/1685.88 c 1671s | 16 | 2028941 | 183252 | 254229 0 | 66 | 117 1688.49/1688.98 c 1674s | 16 | 2031177 | 183452 | 254229 0 | 66 | 117 1691.40/1691.89 c 1677s | 16 | 2033488 | 183652 | 254229 0 | 66 | 117 1694.59/1695.02 c 1680s | 16 | 2035529 | 183852 | 254229 0 | 66 | 117 1697.29/1697.70 c 1683s | 16 | 2036969 | 184052 | 254229 0 | 66 | 117 1701.99/1702.46 c 1688s | 16 | 2038950 | 184252 | 254229 0 | 66 | 117 1704.39/1704.89 c 1690s | 16 | 2039421 | 184352 | 254229 0 | 66 | 117 1706.79/1707.25 c 1693s | 16 | 2040163 | 184452 | 254229 0 | 66 | 117 1709.49/1709.91 c 1695s | 16 | 2041202 | 184552 | 254229 0 | 66 | 117 1711.99/1712.45 c 1698s | 16 | 2043002 | 184652 | 254229 0 | 66 | 117 1713.99/1714.47 c 1700s | 16 | 2043985 | 184752 | 254229 0 | 66 | 117 1716.59/1717.01 c 1702s | 16 | 2046034 | 184952 | 254229 0 | 66 | 117 1718.89/1719.35 c 1705s | 16 | 2048077 | 185152 | 254229 0 | 66 | 117 1721.69/1722.13 c 1708s | 16 | 2049006 | 185352 | 254229 0 | 66 | 117 1723.88/1724.30 c 1710s | 16 | 2051181 | 185452 | 254229 0 | 66 | 117 1727.79/1728.28 c 1714s | 16 | 2052948 | 185652 | 254229 0 | 66 | 117 1729.89/1730.33 c 1716s | 16 | 2054140 | 185752 | 254229 0 | 66 | 117 1732.98/1733.46 c 1719s | 16 | 2056598 | 185952 | 254229 0 | 66 | 117 1735.18/1735.63 c 1721s | 16 | 2057986 | 186052 | 254229 0 | 66 | 117 1738.58/1739.08 c 1725s | 16 | 2060088 | 186252 | 254229 0 | 66 | 117 1741.99/1742.47 c 1728s | 16 | 2062227 | 186452 | 254229 0 | 66 | 117 1744.38/1744.87 c 1730s | 16 | 2062725 | 186652 | 254229 0 | 66 | 117 1747.98/1748.45 c 1734s | 16 | 2064864 | 186852 | 254229 0 | 66 | 117 1750.98/1751.49 c 1737s | 16 | 2066483 | 187052 | 254229 0 | 66 | 117 1754.28/1754.75 c 1740s | 16 | 2069125 | 187252 | 254229 0 | 66 | 117 1756.58/1757.00 c 1742s | 16 | 2071141 | 187452 | 254229 0 | 66 | 117 1758.59/1759.08 c 1745s | 16 | 2073163 | 187652 | 254229 0 | 66 | 117 1761.18/1761.64 c 1747s | 16 | 2074634 | 187952 | 254229 0 | 66 | 117 1763.48/1763.95 c 1749s | 16 | 2075752 | 188152 | 254229 0 | 66 | 117 1766.58/1767.07 c 1753s | 16 | 2079480 | 188352 | 254229 0 | 66 | 117 1769.38/1769.89 c 1755s | 16 | 2081667 | 188652 | 254229 0 | 66 | 117 1772.58/1773.08 c 1759s | 16 | 2082927 | 188952 | 254229 0 | 66 | 117 1776.38/1776.89 c 1762s | 16 | 2087018 | 189152 | 254229 0 | 66 | 117 1779.78/1780.26 c 1766s | 16 | 2089926 | 189352 | 254229 0 | 66 | 117 1782.78/1783.28 c 1769s | 16 | 2091989 | 189552 | 254229 0 | 66 | 117 1786.58/1787.01 c 1772s | 16 | 2093108 | 189752 | 254229 0 | 66 | 117 1790.67/1791.12 c 1777s | 16 | 2094905 | 189952 | 254229 0 | 66 | 117 1794.17/1794.60 c 1780s | 16 | 2096633 | 190152 | 254229 0 | 66 | 117 1797.27/1797.72 c 1783s | 16 | 2099078 | 190352 | 254229 0 | 66 | 117
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-4079840-1465248215/watcher-4079840-1465248215 -o /tmp/evaluation-result-4079840-1465248215/solver-4079840-1465248215 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32470 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079840-1465248215.opb pid=3106 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.18 2.22 2.18 3/179 3109 /proc/meminfo: memFree=16953808/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=731580 CPUtime=0 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 2729 0 0 0 0 0 0 0 20 0 4 0 106755148 749137920 2580 33554432000 4194304 16246674 140733561380480 140733561379904 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 183407 2589 441 2943 0 180301 0 [pid=3109/tid=3110] ppid=3106 vsize=775612 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 794226688 2754 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=780732 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 799469568 2771 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=784828 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106755149 803663872 2789 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 2.18 2.22 2.18 3/179 3109 /proc/meminfo: memFree=16953808/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=1301060 CPUtime=0.09 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 27136 0 0 0 6 3 0 0 20 0 4 0 106755148 1332285440 26924 33554432000 4194304 16246674 140733561380480 140733561379792 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 325265 26940 799 2943 0 322159 0 [pid=3109/tid=3110] ppid=3106 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 1332285440 26951 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 1332285440 26962 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1332285440 26972 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1301060 [startup+0.200587 s] /proc/loadavg: 2.18 2.22 2.18 3/179 3109 /proc/meminfo: memFree=16953808/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 47546 0 0 0 13 6 0 0 20 0 4 0 106755148 1344868352 47845 33554432000 4194304 16246674 140733561380480 140733561379792 7387701 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 328337 47845 799 2943 0 325231 0 [pid=3109/tid=3110] ppid=3106 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 1344868352 47845 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 1344868352 47845 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1344868352 47845 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300541 s] /proc/loadavg: 2.18 2.22 2.18 3/179 3109 /proc/meminfo: memFree=16953808/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 56231 0 0 0 22 7 0 0 20 0 4 0 106755148 1344868352 56530 33554432000 4194304 16246674 140733561380480 140733561363472 8058808 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 328337 56530 799 2943 0 325231 0 [pid=3109/tid=3110] ppid=3106 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 1344868352 56530 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 1344868352 56530 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1344868352 56530 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700413 s] /proc/loadavg: 2.18 2.22 2.18 3/179 3109 /proc/meminfo: memFree=16953808/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 67623 0 0 0 60 9 0 0 20 0 4 0 106755148 1344868352 67923 33554432000 4194304 16246674 140733561380480 140733561363472 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 328337 67943 799 2943 0 325231 0 [pid=3109/tid=3110] ppid=3106 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 1344868352 67955 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 1344868352 67966 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1344868352 67977 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.5004 s] /proc/loadavg: 2.18 2.22 2.18 3/183 3113 /proc/meminfo: memFree=16648248/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 148376 0 0 0 127 22 0 0 20 0 4 0 106755148 1344868352 148675 33554432000 4194304 16246674 140733561380480 140733561362368 6965916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 328337 148685 833 2943 0 325231 0 [pid=3109/tid=3110] ppid=3106 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 1344868352 148690 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 1344868352 148695 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1344868352 148701 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.1004 s] /proc/loadavg: 2.17 2.22 2.18 3/183 3113 /proc/meminfo: memFree=15877944/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=1351236 CPUtime=3.09 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 278450 0 0 0 266 43 0 0 20 0 4 0 106755148 1383665664 278749 33554432000 4194304 16246674 140733561380480 140733561378304 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 337809 278749 872 2943 0 334703 0 [pid=3109/tid=3110] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278749 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278749 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278749 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1351236 [startup+6.30036 s] /proc/loadavg: 2.17 2.22 2.18 3/183 3113 /proc/meminfo: memFree=15839448/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=1351236 CPUtime=6.29 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 278504 0 0 0 586 43 0 0 20 0 4 0 106755148 1383665664 278803 33554432000 4194304 16246674 140733561380480 140733561362368 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 337809 278803 910 2943 0 334703 0 [pid=3109/tid=3110] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278803 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278803 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278803 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1351236 [startup+12.7004 s] /proc/loadavg: 2.14 2.21 2.18 3/174 3146 /proc/meminfo: memFree=29241388/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=1351236 CPUtime=12.68 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 278507 0 0 0 1225 43 0 0 20 0 4 0 106755148 1383665664 278806 33554432000 4194304 16246674 140733561380480 140733561362368 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 337809 278806 910 2943 0 334703 0 [pid=3109/tid=3110] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278806 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278806 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278806 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1351236 [startup+25.5005 s] /proc/loadavg: 2.12 2.20 2.18 3/183 3162 /proc/meminfo: memFree=28145104/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=1351236 CPUtime=25.49 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 278507 0 0 0 2505 44 0 0 20 0 4 0 106755148 1383665664 278806 33554432000 4194304 16246674 140733561380480 140733561362368 13943729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 337809 278806 910 2943 0 334703 0 [pid=3109/tid=3110] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278806 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278806 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278806 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1351236 [startup+51.1005 s] /proc/loadavg: 2.08 2.18 2.17 3/183 3162 /proc/meminfo: memFree=28144504/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=1351236 CPUtime=51.08 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 278511 0 0 0 5064 44 0 0 20 0 4 0 106755148 1383665664 278810 33554432000 4194304 16246674 140733561380480 140733561362368 13943608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 337809 278810 914 2943 0 334703 0 [pid=3109/tid=3110] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1351236 [startup+102.301 s] /proc/loadavg: 2.24 2.21 2.18 4/183 3164 /proc/meminfo: memFree=28144056/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=1351236 CPUtime=102.28 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 278514 0 0 0 10184 44 0 0 20 0 4 0 106755148 1383665664 278810 33554432000 4194304 16246674 140733561380480 140733561362368 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 337809 278810 914 2943 0 334703 0 [pid=3109/tid=3110] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1351236 ################ # More data... # ################ /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1351236 [startup+1362.3 s] /proc/loadavg: 2.37 2.26 2.19 4/183 3196 /proc/meminfo: memFree=28051020/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=1351236 CPUtime=1361.94 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 278787 0 0 0 136149 45 0 0 20 0 4 0 106755148 1383665664 278810 33554432000 4194304 16246674 140733561380480 140733561362368 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 337809 278810 914 2943 0 334703 0 [pid=3109/tid=3110] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1351236 [startup+1422.3 s] /proc/loadavg: 2.38 2.27 2.19 3/183 3197 /proc/meminfo: memFree=28051368/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=1351236 CPUtime=1421.94 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 278787 0 0 0 142148 46 0 0 20 0 4 0 106755148 1383665664 278810 33554432000 4194304 16246674 140733561380480 140733561362368 5827824 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 337809 278810 914 2943 0 334703 0 [pid=3109/tid=3110] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1351236 [startup+1482.3 s] /proc/loadavg: 2.21 2.23 2.18 3/183 3198 /proc/meminfo: memFree=28051332/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=1351236 CPUtime=1481.93 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 278787 0 0 0 148147 46 0 0 20 0 4 0 106755148 1383665664 278810 33554432000 4194304 16246674 140733561380480 140733561362368 5676062 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 337809 278810 914 2943 0 334703 0 [pid=3109/tid=3110] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1351236 [startup+1542.31 s] /proc/loadavg: 2.19 2.22 2.18 4/183 3199 /proc/meminfo: memFree=28039060/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=1351236 CPUtime=1541.92 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 278787 0 0 0 154146 46 0 0 20 0 4 0 106755148 1383665664 278810 33554432000 4194304 16246674 140733561380480 140733561362368 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 337809 278810 914 2943 0 334703 0 [pid=3109/tid=3110] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1351236 [startup+1602.3 s] /proc/loadavg: 2.35 2.26 2.19 3/184 3204 /proc/meminfo: memFree=28038700/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=1351236 CPUtime=1601.91 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 278787 0 0 0 160145 46 0 0 20 0 4 0 106755148 1383665664 278810 33554432000 4194304 16246674 140733561380480 140733561362368 5663104 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 337809 278810 914 2943 0 334703 0 [pid=3109/tid=3110] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 1351236 [startup+1662.3 s] /proc/loadavg: 2.26 2.25 2.19 4/183 3205 /proc/meminfo: memFree=28038600/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=1351236 CPUtime=1661.9 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 278787 0 0 0 166144 46 0 0 20 0 4 0 106755148 1383665664 278810 33554432000 4194304 16246674 140733561380480 140733561362368 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 337809 278810 914 2943 0 334703 0 [pid=3109/tid=3110] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 1351236 [startup+1722.3 s] /proc/loadavg: 2.25 2.25 2.19 3/183 3206 /proc/meminfo: memFree=28038492/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=1351236 CPUtime=1721.89 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 278787 0 0 0 172143 46 0 0 20 0 4 0 106755148 1383665664 278810 33554432000 4194304 16246674 140733561380480 140733561362368 6836961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 337809 278810 914 2943 0 334703 0 [pid=3109/tid=3110] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 1351236 [startup+1782.3 s] /proc/loadavg: 2.25 2.25 2.19 3/184 3218 /proc/meminfo: memFree=28036680/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=1351236 CPUtime=1781.88 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 278787 0 0 0 178142 46 0 0 20 0 4 0 106755148 1383665664 278810 33554432000 4194304 16246674 140733561380480 140733561362368 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 337809 278810 914 2943 0 334703 0 [pid=3109/tid=3110] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 1351236 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.24 2.24 2.19 3/184 3218 /proc/meminfo: memFree=28037164/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=1351236 CPUtime=1800.07 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 278787 0 0 0 179961 46 0 0 20 0 4 0 106755148 1383665664 278810 33554432000 4194304 16246674 140733561380480 140733561362368 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 337809 278810 914 2943 0 334703 0 [pid=3109/tid=3110] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1351236 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 3109 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.24 2.24 2.19 3/184 3218 /proc/meminfo: memFree=28037164/32872528 swapFree=16080/1655368 [pid=3109] ppid=3106 vsize=1351236 CPUtime=1800.07 cores=0,2,4,6 /proc/3109/stat : 3109 (toysat) R 3106 3109 32454 0 -1 4202496 278787 0 0 0 179961 46 0 0 20 0 4 0 106755148 1383665664 278810 33554432000 4194304 16246674 140733561380480 140733561362368 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/3109/statm: 337809 278810 914 2943 0 334703 0 [pid=3109/tid=3110] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3110/stat : 3110 (toysat) S 3106 3109 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336320982256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=3109/tid=3111] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3111/stat : 3111 (toysat) S 3106 3109 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336310492400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=3109/tid=3112] ppid=3106 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/3109/task/3112/stat : 3112 (toysat) S 3106 3109 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106755149 1383665664 278810 33554432000 4194304 16246674 140733561380480 140336300018864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1351236 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.09 CPU user time (s): 1799.62 CPU system time (s): 0.466929 CPU usage (%): 99.9767 Max. virtual memory (cumulated for all children) (KiB): 1351236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.62 system time used= 0.466929 maximum resident set size= 1115240 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 278787 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= 295 involuntary context switches= 1994 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 15.1487 second user time and 13.5359 second system time The end
Begin job on node122 at 2016-06-06 23:23:36 IDJOB=4079840 IDBENCH=24976 IDSOLVER=2542 FILE ID=node122/4079840-1465248215 RUNJOBID= node122-1465218907-32470 PBS_JOBID= 19843205 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_013_area_delay.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079840-1465248215/watcher-4079840-1465248215 -o /tmp/evaluation-result-4079840-1465248215/solver-4079840-1465248215 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32470 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079840-1465248215.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7e4f679d587a41b6fd33506fbca09854 RANDOM SEED=1145689535 node122.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.898 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.79 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.898 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.898 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 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.898 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.898 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: 16954452 kB Buffers: 55180 kB Cached: 112896 kB SwapCached: 860 kB Active: 13449052 kB Inactive: 83944 kB Active(anon): 13365416 kB Inactive(anon): 1584 kB Active(file): 83636 kB Inactive(file): 82360 kB Unevictable: 1655368 kB Mlocked: 16080 kB SwapTotal: 67108856 kB SwapFree: 67099464 kB Dirty: 21352 kB Writeback: 0 kB AnonPages: 15019076 kB Mapped: 10488 kB Shmem: 0 kB Slab: 568748 kB SReclaimable: 12836 kB SUnreclaim: 555912 kB KernelStack: 1504 kB PageTables: 33736 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 15164040 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2228224 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= 71704 MiB End job on node122 at 2016-06-06 23:53:36