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.05 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_025_area_delay.opb |
| MD5SUM | 573ccfe4a636c850c520c5c076507e65 |
| 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 | 25 |
| Best CPU time to get the best result obtained on this benchmark | 0.604907 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 16199 |
| Total number of constraints | 117024 |
| Number of constraints which are clauses | 117024 |
| 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 | 250 |
| Number of terms in the objective function | 7971 |
| 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 | 7971 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 7971 |
| Number of bits of the biggest sum of numbers | 13 |
| 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:55:21+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-4079852-1465250120.opb"] 0.00/0.01 c use --random-gen="44940104 3801324364 1820702497 915325852 325742869 104105445 3137319655 3378327418 753219974 686129903 2676542981 1729089828 672519633 1794433499 444239773 918527716 2628724297 1372817125 634512897 3921225411 981171933 1659415199 2745914112 1297111790 3220646457 1037765172 3191157460 1972819700 1910894813 553855943 484780950 2794398806 973179523 1346352530 4185569597 3789514133 4052371050 4278647928 678219247 964020364 1858107017 1677727715 1787008803 632515681 661482514 1009054855 1087932901 3104258248 1099511330 3211819221 3237022064 600275427 1830417408 235270005 3010973343 1566155514 2880785373 214340672 2345780792 4131744795 317917320 3934717847 3992974669 285544431 1306709541 503913552 2615725303 1004389582 713623120 903460140 2887731095 2613493433 3811570060 1669324606 2322469268 3105357023 3229867970 1096647265 565620423 2064205052 1164622072 1084262171 2080276339 449463503 2408369177 25811710 747600054 277917854 2318008893 3992031910 4070839772 391330983 1071016946 1268319968 2575087891 2588754037 297238416 188455549 3591656127 472462270 1424008366 1589177724 3911675001 3246083606 305770439 2478939733 812764527 2232034840 980369361 1727215384 1782782632 2120088538 2918676090 816613897 2593297237 2369722791 2150269031 3897348381 1374717397 2384489689 3860630290 1767801884 1960297704 972174916 1115009662 3257711918 1074671024 1447264351 4025882628 832633079 1260448253 7662011 775913989 3220582317 4168031025 2847085621 3933477801 1606624523 3676259195 1976542945 4002666040 2668734148 3492187995 3799432097 461801368 4107235247 2562868259 2997117537 630054391 2176924622 3356491201 469645728 3787169608 2772865803 3533829928 2186652330 3867747102 4164743684 3724846619 904936791 2280824270 3384476366 1870979135 3735249801 3641846814 1484820669 2007033806 2731316576 1706584743 653469909 3747721105 3612378216 3163121323 2538243438 1871892369 4292956014 970634327 1342057831 3283671127 2007100375 2211460037 723051878 1598538464 2964816688 1627400016 3006385735 480124140 4020126852 862913965 2676450366 290040968 3672501966 659993454 1845415861 1100980463 2754672250 1531834242 523917053 3670435848 137539344 2103805782 524093791 1020612261 3698657377 3245427946 1455625919 1095622386 2129119306 1385671016 948213301 2706337364 2595072251 3406925573 2432998285 4142713407 3803138902 3112059822 321765936 4231130511 2416382937 3140963475 806562177 861976252 4078959174 2304568405 2675150552 1749422027 1533601004 3296357843 644097072 3296237163 3200886892 86003879 1561378263 3749887883 2517186296 2393909781 1930676803 4027737142 3248130177 4033984403 808794866 170353435 2704375242 1519651714 712959599 1522142304 321309561 5461508 1781559179 4242594701 12431761 1765214966 3885830221 1429581239 352561371 255 362436" option to reproduce the execution 0.69/0.76 c #vars 16199 0.69/0.76 c #constraints 117024 2.49/2.51 c BCD2: Hardening is enabled. 2.49/2.51 c BCD2: BiasedSearch is enabled. 2.49/2.51 c Solving starts ... 2.49/2.51 c ============================[ Search Statistics ]============================ 2.49/2.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.49/2.51 c | | | | Limit GC | Var | Constra 2.49/2.51 c ============================================================================= 2.49/2.51 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 0 2.89/2.92 c 0.2s | 0 | 5481 | 0 | 44400 0 | 5 | 1642 2.89/2.92 c #cpu_time = 0.153s 2.89/2.92 c #wall_clock_time = 0.153s 2.89/2.92 c #decision = 5481 2.89/2.92 c #random_decision = 15 2.89/2.92 c #conflict = 0 2.89/2.92 c #restart = 0 2.89/2.92 o 5482 2.89/2.92 c BCD2: updating upper bound: 7971 -> 5481 2.89/2.99 c BCD2: 0 <= obj <= 5481 2.89/2.99 c BCD2: #cores=0, #unrelaxed=7971, #relaxed=0, #hardened=0 2.89/2.99 c BCD2: #sat=1 #unsat=1 bias=1/2 2.89/2.99 c Solving starts ... 2.89/2.99 c ============================[ Search Statistics ]============================ 2.89/2.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.89/2.99 c | | | | Limit GC | Var | Constra 2.89/2.99 c ============================================================================= 2.89/2.99 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 2.99/3.07 c 0.1s | 0 | 4 | 0 | 44400 0 | 5 | 1642 2.99/3.07 c #cpu_time = 0.076s 2.99/3.07 c #wall_clock_time = 0.076s 2.99/3.07 c #decision = 4 2.99/3.07 c #random_decision = 0 2.99/3.07 c #conflict = 0 2.99/3.07 c #restart = 0 2.99/3.07 c BCD2: found a new core of size 1: cost of the new core is >=1 2.99/3.07 c lower bound updated to 1 2.99/3.07 c BCD2: 1 <= obj <= 5481 2.99/3.07 c BCD2: #cores=1, #unrelaxed=7970, #relaxed=1, #hardened=0 2.99/3.07 c BCD2: #sat=1 #unsat=2 bias=2/3 2.99/3.07 c Solving starts ... 2.99/3.08 c ============================[ Search Statistics ]============================ 2.99/3.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.99/3.08 c | | | | Limit GC | Var | Constra 2.99/3.08 c ============================================================================= 2.99/3.08 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 3.09/3.14 c 0.1s | 0 | 17 | 0 | 44400 0 | 5 | 1642 3.09/3.14 c #cpu_time = 0.063s 3.09/3.14 c #wall_clock_time = 0.063s 3.09/3.14 c #decision = 17 3.09/3.14 c #random_decision = 0 3.09/3.14 c #conflict = 0 3.09/3.14 c #restart = 0 3.09/3.14 c BCD2: found a new core of size 1: cost of the new core is >=1 3.09/3.14 c lower bound updated to 2 3.09/3.15 c BCD2: 2 <= obj <= 5481 3.09/3.15 c BCD2: #cores=2, #unrelaxed=7969, #relaxed=2, #hardened=0 3.09/3.15 c BCD2: #sat=1 #unsat=3 bias=3/4 3.09/3.15 c Solving starts ... 3.09/3.15 c ============================[ Search Statistics ]============================ 3.09/3.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.09/3.15 c | | | | Limit GC | Var | Constra 3.09/3.15 c ============================================================================= 3.09/3.15 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 3.19/3.22 c 0.1s | 0 | 87 | 0 | 44400 0 | 5 | 1642 3.19/3.22 c #cpu_time = 0.068s 3.19/3.22 c #wall_clock_time = 0.068s 3.19/3.22 c #decision = 87 3.19/3.22 c #random_decision = 0 3.19/3.22 c #conflict = 0 3.19/3.22 c #restart = 0 3.19/3.22 c BCD2: found a new core of size 13: cost of the new core is >=1 3.19/3.22 c lower bound updated to 3 3.19/3.23 c BCD2: 3 <= obj <= 5481 3.19/3.23 c BCD2: #cores=3, #unrelaxed=7956, #relaxed=15, #hardened=0 3.19/3.23 c BCD2: #sat=1 #unsat=4 bias=4/5 3.19/3.23 c Solving starts ... 3.19/3.23 c ============================[ Search Statistics ]============================ 3.19/3.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.19/3.23 c | | | | Limit GC | Var | Constra 3.19/3.23 c ============================================================================= 3.19/3.23 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 3.19/3.30 c 0.1s | 0 | 93 | 0 | 44400 0 | 5 | 1642 3.19/3.30 c #cpu_time = 0.062s 3.19/3.30 c #wall_clock_time = 0.063s 3.19/3.30 c #decision = 93 3.19/3.30 c #random_decision = 0 3.19/3.30 c #conflict = 0 3.19/3.30 c #restart = 0 3.19/3.30 c BCD2: found a new core of size 29: cost of the new core is >=1 3.19/3.30 c lower bound updated to 4 3.30/3.31 c BCD2: 4 <= obj <= 5481 3.30/3.31 c BCD2: #cores=4, #unrelaxed=7927, #relaxed=44, #hardened=0 3.30/3.31 c BCD2: #sat=1 #unsat=5 bias=5/6 3.30/3.31 c Solving starts ... 3.30/3.31 c ============================[ Search Statistics ]============================ 3.30/3.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.30/3.31 c | | | | Limit GC | Var | Constra 3.30/3.31 c ============================================================================= 3.30/3.31 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 3.30/3.37 c 0.1s | 0 | 184 | 0 | 44400 0 | 5 | 1642 3.30/3.37 c #cpu_time = 0.065s 3.30/3.37 c #wall_clock_time = 0.065s 3.30/3.37 c #decision = 184 3.30/3.37 c #random_decision = 0 3.30/3.37 c #conflict = 0 3.30/3.37 c #restart = 0 3.30/3.37 c BCD2: found a new core of size 8: cost of the new core is >=1 3.30/3.37 c lower bound updated to 5 3.30/3.38 c BCD2: 5 <= obj <= 5481 3.30/3.38 c BCD2: #cores=5, #unrelaxed=7919, #relaxed=52, #hardened=0 3.30/3.38 c BCD2: #sat=1 #unsat=6 bias=6/7 3.30/3.38 c Solving starts ... 3.30/3.38 c ============================[ Search Statistics ]============================ 3.30/3.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.30/3.38 c | | | | Limit GC | Var | Constra 3.30/3.38 c ============================================================================= 3.30/3.39 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 3.40/3.45 c 0.1s | 0 | 264 | 0 | 44400 0 | 5 | 1642 3.40/3.45 c #cpu_time = 0.063s 3.40/3.45 c #wall_clock_time = 0.064s 3.40/3.45 c #decision = 264 3.40/3.45 c #random_decision = 0 3.40/3.45 c #conflict = 0 3.40/3.45 c #restart = 0 3.40/3.45 c BCD2: found a new core of size 37: cost of the new core is >=1 3.40/3.45 c lower bound updated to 6 3.40/3.46 c BCD2: 6 <= obj <= 5481 3.40/3.46 c BCD2: #cores=6, #unrelaxed=7882, #relaxed=89, #hardened=0 3.40/3.46 c BCD2: #sat=1 #unsat=7 bias=7/8 3.40/3.46 c Solving starts ... 3.40/3.46 c ============================[ Search Statistics ]============================ 3.40/3.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.40/3.46 c | | | | Limit GC | Var | Constra 3.40/3.46 c ============================================================================= 3.40/3.46 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 3.49/3.53 c 0.1s | 0 | 615 | 0 | 44400 0 | 5 | 1642 3.49/3.53 c #cpu_time = 0.070s 3.49/3.53 c #wall_clock_time = 0.070s 3.49/3.53 c #decision = 615 3.49/3.53 c #random_decision = 0 3.49/3.53 c #conflict = 0 3.49/3.53 c #restart = 0 3.49/3.53 c BCD2: found a new core of size 3: cost of the new core is >=1 3.49/3.53 c lower bound updated to 7 3.49/3.53 c BCD2: 7 <= obj <= 5481 3.49/3.53 c BCD2: #cores=7, #unrelaxed=7879, #relaxed=92, #hardened=0 3.49/3.53 c BCD2: #sat=1 #unsat=8 bias=8/9 3.49/3.53 c Solving starts ... 3.49/3.53 c ============================[ Search Statistics ]============================ 3.49/3.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.49/3.53 c | | | | Limit GC | Var | Constra 3.49/3.53 c ============================================================================= 3.49/3.53 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 3.59/3.62 c 0.1s | 0 | 664 | 0 | 44400 0 | 5 | 1642 3.59/3.62 c #cpu_time = 0.089s 3.59/3.62 c #wall_clock_time = 0.090s 3.59/3.62 c #decision = 664 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 39: cost of the new core is >=1 3.59/3.62 c lower bound updated to 8 3.59/3.63 c BCD2: 8 <= obj <= 5481 3.59/3.63 c BCD2: #cores=8, #unrelaxed=7840, #relaxed=131, #hardened=0 3.59/3.63 c BCD2: #sat=1 #unsat=9 bias=9/10 3.59/3.63 c Solving starts ... 3.59/3.63 c ============================[ Search Statistics ]============================ 3.59/3.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.59/3.63 c | | | | Limit GC | Var | Constra 3.59/3.63 c ============================================================================= 3.59/3.63 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 3.69/3.70 c 0.1s | 0 | 771 | 0 | 44400 0 | 5 | 1642 3.69/3.70 c #cpu_time = 0.071s 3.69/3.70 c #wall_clock_time = 0.071s 3.69/3.70 c #decision = 771 3.69/3.70 c #random_decision = 0 3.69/3.70 c #conflict = 0 3.69/3.70 c #restart = 0 3.69/3.70 c BCD2: found a new core of size 121: cost of the new core is >=1 3.69/3.70 c lower bound updated to 9 3.69/3.70 c BCD2: 9 <= obj <= 5481 3.69/3.70 c BCD2: #cores=9, #unrelaxed=7719, #relaxed=252, #hardened=0 3.69/3.70 c BCD2: #sat=1 #unsat=10 bias=10/11 3.69/3.70 c Solving starts ... 3.69/3.70 c ============================[ Search Statistics ]============================ 3.69/3.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.69/3.70 c | | | | Limit GC | Var | Constra 3.69/3.70 c ============================================================================= 3.69/3.70 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 3.69/3.79 c 0.1s | 0 | 1855 | 0 | 44400 0 | 5 | 1642 3.69/3.79 c #cpu_time = 0.087s 3.69/3.79 c #wall_clock_time = 0.088s 3.69/3.79 c #decision = 1855 3.69/3.79 c #random_decision = 0 3.69/3.79 c #conflict = 0 3.69/3.79 c #restart = 0 3.69/3.79 c BCD2: found a new core of size 8: cost of the new core is >=1 3.69/3.79 c lower bound updated to 10 3.69/3.79 c BCD2: 10 <= obj <= 5481 3.69/3.79 c BCD2: #cores=10, #unrelaxed=7711, #relaxed=260, #hardened=0 3.69/3.79 c BCD2: #sat=1 #unsat=11 bias=11/12 3.69/3.80 c Solving starts ... 3.69/3.80 c ============================[ Search Statistics ]============================ 3.69/3.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.69/3.80 c | | | | Limit GC | Var | Constra 3.69/3.80 c ============================================================================= 3.69/3.80 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 3.79/3.87 c 0.1s | 0 | 2038 | 0 | 44400 0 | 5 | 1642 3.79/3.87 c #cpu_time = 0.075s 3.79/3.87 c #wall_clock_time = 0.075s 3.79/3.87 c #decision = 2038 3.79/3.87 c #random_decision = 0 3.79/3.87 c #conflict = 0 3.79/3.87 c #restart = 0 3.79/3.87 c BCD2: found a new core of size 11: cost of the new core is >=1 3.79/3.87 c lower bound updated to 11 3.79/3.87 c BCD2: 11 <= obj <= 5481 3.79/3.87 c BCD2: #cores=11, #unrelaxed=7700, #relaxed=271, #hardened=0 3.79/3.87 c BCD2: #sat=1 #unsat=12 bias=12/13 3.79/3.87 c Solving starts ... 3.79/3.87 c ============================[ Search Statistics ]============================ 3.79/3.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.79/3.87 c | | | | Limit GC | Var | Constra 3.79/3.87 c ============================================================================= 3.79/3.88 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 3.89/3.96 c 0.1s | 0 | 2535 | 0 | 44400 0 | 5 | 1642 3.89/3.96 c #cpu_time = 0.070s 3.89/3.96 c #wall_clock_time = 0.070s 3.89/3.96 c #decision = 2535 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: found a new core of size 359: cost of the new core is >=1 3.89/3.96 c lower bound updated to 12 3.89/3.96 c BCD2: 12 <= obj <= 5481 3.89/3.96 c BCD2: #cores=12, #unrelaxed=7341, #relaxed=630, #hardened=0 3.89/3.96 c BCD2: #sat=1 #unsat=13 bias=13/14 3.89/3.96 c Solving starts ... 3.89/3.96 c ============================[ Search Statistics ]============================ 3.89/3.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.89/3.96 c | | | | Limit GC | Var | Constra 3.89/3.96 c ============================================================================= 3.89/3.97 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 3.99/4.04 c 0.1s | 0 | 2553 | 0 | 44400 0 | 5 | 1642 3.99/4.04 c #cpu_time = 0.069s 3.99/4.04 c #wall_clock_time = 0.069s 3.99/4.04 c #decision = 2553 3.99/4.04 c #random_decision = 0 3.99/4.04 c #conflict = 0 3.99/4.04 c #restart = 0 3.99/4.04 c BCD2: found a new core of size 103: cost of the new core is >=1 3.99/4.04 c lower bound updated to 13 3.99/4.04 c BCD2: 13 <= obj <= 5481 3.99/4.04 c BCD2: #cores=13, #unrelaxed=7238, #relaxed=733, #hardened=0 3.99/4.04 c BCD2: #sat=1 #unsat=14 bias=14/15 3.99/4.05 c Solving starts ... 3.99/4.05 c ============================[ Search Statistics ]============================ 3.99/4.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.99/4.05 c | | | | Limit GC | Var | Constra 3.99/4.05 c ============================================================================= 3.99/4.06 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 4.09/4.13 c 0.1s | 0 | 2577 | 0 | 44400 0 | 5 | 1642 4.09/4.13 c #cpu_time = 0.068s 4.09/4.13 c #wall_clock_time = 0.068s 4.09/4.13 c #decision = 2577 4.09/4.13 c #random_decision = 0 4.09/4.13 c #conflict = 0 4.09/4.13 c #restart = 0 4.09/4.13 c BCD2: found a new core of size 252: cost of the new core is >=1 4.09/4.13 c lower bound updated to 14 4.09/4.13 c BCD2: 14 <= obj <= 5481 4.09/4.13 c BCD2: #cores=14, #unrelaxed=6986, #relaxed=985, #hardened=0 4.09/4.13 c BCD2: #sat=1 #unsat=15 bias=15/16 4.09/4.13 c Solving starts ... 4.09/4.13 c ============================[ Search Statistics ]============================ 4.09/4.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.09/4.13 c | | | | Limit GC | Var | Constra 4.09/4.13 c ============================================================================= 4.09/4.14 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 4.19/4.21 c 0.1s | 0 | 2874 | 0 | 44400 0 | 5 | 1642 4.19/4.21 c #cpu_time = 0.070s 4.19/4.21 c #wall_clock_time = 0.070s 4.19/4.21 c #decision = 2874 4.19/4.21 c #random_decision = 0 4.19/4.21 c #conflict = 0 4.19/4.21 c #restart = 0 4.19/4.21 c BCD2: found a new core of size 121: cost of the new core is >=1 4.19/4.21 c lower bound updated to 15 4.19/4.22 c BCD2: 15 <= obj <= 5481 4.19/4.22 c BCD2: #cores=15, #unrelaxed=6865, #relaxed=1106, #hardened=0 4.19/4.22 c BCD2: #sat=1 #unsat=16 bias=16/17 4.19/4.22 c Solving starts ... 4.19/4.22 c ============================[ Search Statistics ]============================ 4.19/4.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.19/4.22 c | | | | Limit GC | Var | Constra 4.19/4.22 c ============================================================================= 4.19/4.23 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 4.29/4.30 c 0.1s | 0 | 4201 | 0 | 44400 0 | 5 | 1642 4.29/4.30 c #cpu_time = 0.071s 4.29/4.30 c #wall_clock_time = 0.071s 4.29/4.30 c #decision = 4201 4.29/4.30 c #random_decision = 0 4.29/4.30 c #conflict = 0 4.29/4.30 c #restart = 0 4.29/4.30 c BCD2: found a new core of size 375: cost of the new core is >=1 4.29/4.30 c lower bound updated to 16 4.29/4.30 c BCD2: 16 <= obj <= 5481 4.29/4.30 c BCD2: #cores=16, #unrelaxed=6490, #relaxed=1481, #hardened=0 4.29/4.30 c BCD2: #sat=1 #unsat=17 bias=17/18 4.29/4.31 c Solving starts ... 4.29/4.31 c ============================[ Search Statistics ]============================ 4.29/4.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.29/4.31 c | | | | Limit GC | Var | Constra 4.29/4.31 c ============================================================================= 4.29/4.32 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 4.29/4.40 c 0.1s | 0 | 4801 | 0 | 44400 0 | 5 | 1642 4.29/4.40 c #cpu_time = 0.075s 4.29/4.40 c #wall_clock_time = 0.075s 4.29/4.40 c #decision = 4801 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 3313: cost of the new core is >=1 4.29/4.40 c lower bound updated to 17 4.40/4.42 c BCD2: 17 <= obj <= 5481 4.40/4.42 c BCD2: #cores=17, #unrelaxed=3177, #relaxed=4794, #hardened=0 4.40/4.42 c BCD2: #sat=1 #unsat=18 bias=18/19 4.40/4.44 c Solving starts ... 4.40/4.44 c ============================[ Search Statistics ]============================ 4.40/4.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.40/4.44 c | | | | Limit GC | Var | Constra 4.40/4.44 c ============================================================================= 4.40/4.44 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 4.50/4.52 c 0.1s | 0 | 1495 | 0 | 44400 0 | 5 | 1642 4.50/4.52 c #cpu_time = 0.076s 4.50/4.52 c #wall_clock_time = 0.076s 4.50/4.52 c #decision = 1495 4.50/4.52 c #random_decision = 0 4.50/4.52 c #conflict = 0 4.50/4.52 c #restart = 0 4.50/4.52 c BCD2: found a new core of size 3: cost of the new core is >=1 4.50/4.52 c lower bound updated to 18 4.50/4.52 c BCD2: 18 <= obj <= 5481 4.50/4.52 c BCD2: #cores=18, #unrelaxed=3174, #relaxed=4797, #hardened=0 4.50/4.52 c BCD2: #sat=1 #unsat=19 bias=19/20 4.50/4.54 c Solving starts ... 4.50/4.54 c ============================[ Search Statistics ]============================ 4.50/4.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.50/4.54 c | | | | Limit GC | Var | Constra 4.50/4.54 c ============================================================================= 4.50/4.54 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 4.59/4.62 c 0.1s | 0 | 2767 | 0 | 44400 0 | 5 | 1642 4.59/4.62 c #cpu_time = 0.073s 4.59/4.62 c #wall_clock_time = 0.073s 4.59/4.62 c #decision = 2767 4.59/4.62 c #random_decision = 0 4.59/4.62 c #conflict = 0 4.59/4.62 c #restart = 0 4.59/4.62 c BCD2: found a new core of size 285: cost of the new core is >=1 4.59/4.62 c lower bound updated to 19 4.59/4.62 c BCD2: 19 <= obj <= 5481 4.59/4.62 c BCD2: #cores=19, #unrelaxed=2889, #relaxed=5082, #hardened=0 4.59/4.62 c BCD2: #sat=1 #unsat=20 bias=20/21 4.59/4.65 c Solving starts ... 4.59/4.65 c ============================[ Search Statistics ]============================ 4.59/4.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.59/4.65 c | | | | Limit GC | Var | Constra 4.59/4.65 c ============================================================================= 4.59/4.65 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 4.69/4.72 c 0.1s | 0 | 2498 | 0 | 44400 0 | 5 | 1642 4.69/4.72 c #cpu_time = 0.070s 4.69/4.72 c #wall_clock_time = 0.070s 4.69/4.72 c #decision = 2498 4.69/4.72 c #random_decision = 0 4.69/4.72 c #conflict = 0 4.69/4.72 c #restart = 0 4.69/4.72 c BCD2: found a new core of size 27: cost of the new core is >=1 4.69/4.72 c lower bound updated to 20 4.69/4.72 c BCD2: 20 <= obj <= 5481 4.69/4.72 c BCD2: #cores=20, #unrelaxed=2862, #relaxed=5109, #hardened=0 4.69/4.72 c BCD2: #sat=1 #unsat=21 bias=21/22 4.69/4.75 c Solving starts ... 4.69/4.75 c ============================[ Search Statistics ]============================ 4.69/4.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.69/4.75 c | | | | Limit GC | Var | Constra 4.69/4.75 c ============================================================================= 4.69/4.75 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 4.79/4.83 c 0.1s | 0 | 2880 | 0 | 44400 0 | 5 | 1642 4.79/4.83 c #cpu_time = 0.070s 4.79/4.83 c #wall_clock_time = 0.070s 4.79/4.83 c #decision = 2880 4.79/4.83 c #random_decision = 0 4.79/4.83 c #conflict = 0 4.79/4.83 c #restart = 0 4.79/4.83 c BCD2: found a new core of size 926: cost of the new core is >=1 4.79/4.83 c lower bound updated to 21 4.79/4.84 c BCD2: 21 <= obj <= 5481 4.79/4.84 c BCD2: #cores=21, #unrelaxed=1936, #relaxed=6035, #hardened=0 4.79/4.84 c BCD2: #sat=1 #unsat=22 bias=22/23 4.79/4.86 c Solving starts ... 4.79/4.86 c ============================[ Search Statistics ]============================ 4.79/4.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.86 c | | | | Limit GC | Var | Constra 4.79/4.86 c ============================================================================= 4.79/4.86 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1642 4.89/4.98 c 0.1s | 0 | 7296 | 0 | 44400 0 | 5 | 1642 4.89/4.98 c #cpu_time = 0.103s 4.89/4.98 c #wall_clock_time = 0.103s 4.89/4.98 c #decision = 7296 4.89/4.98 c #random_decision = 9 4.89/4.98 c #conflict = 0 4.89/4.98 c #restart = 0 4.89/4.98 o 45 4.89/4.98 c BCD2: updating upper bound: 5481 -> 44 4.99/5.03 c BCD2: 21 <= obj <= 44 4.99/5.03 c BCD2: #cores=21, #unrelaxed=1936, #relaxed=6035, #hardened=0 4.99/5.03 c BCD2: #sat=2 #unsat=22 bias=22/24 4.99/5.07 c Solving starts ... 4.99/5.07 c ============================[ Search Statistics ]============================ 4.99/5.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.99/5.07 c | | | | Limit GC | Var | Constra 4.99/5.07 c ============================================================================= 4.99/5.07 c 0.0s | 0 | 0 | 0 | 44400 0 | 5 | 1643 5.19/5.23 c 0.2s | 1 | 5547 | 100 | 44400 0 | 5 | 1643 5.69/5.78 c 0.7s | 2 | 10092 | 250 | 48841 0 | 5 | 1643 6.29/6.32 c 1.2s | 3 | 39185 | 475 | 53726 0 | 5 | 1643 6.89/6.92 c 1.8s | 3 | 63230 | 675 | 59099 0 | 5 | 1643 6.89/6.92 c #cpu_time = 1.831s 6.89/6.92 c #wall_clock_time = 1.836s 6.89/6.92 c #decision = 63230 6.89/6.92 c #random_decision = 24 6.89/6.92 c #conflict = 675 6.89/6.92 c #restart = 3 6.89/6.92 o 34 6.89/6.92 c BCD2: updating upper bound: 44 -> 33 6.89/6.97 c BCD2: 21 <= obj <= 33 6.89/6.97 c BCD2: #cores=21, #unrelaxed=1936, #relaxed=6035, #hardened=0 6.89/6.97 c BCD2: #sat=3 #unsat=22 bias=22/25 6.89/6.97 c Solving starts ... 6.89/6.97 c ============================[ Search Statistics ]============================ 6.89/6.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.89/6.97 c | | | | Limit GC | Var | Constra 6.89/6.97 c ============================================================================= 6.89/6.98 c 0.0s | 0 | 0 | 0 | 59099 0 | 5 | 1644 7.09/7.10 c 0.1s | 0 | 5901 | 27 | 59099 0 | 5 | 1644 7.09/7.10 c #cpu_time = 0.122s 7.09/7.10 c #wall_clock_time = 0.122s 7.09/7.10 c #decision = 5901 7.09/7.10 c #random_decision = 0 7.09/7.10 c #conflict = 27 7.09/7.10 c #restart = 0 7.09/7.10 c BCD2: relaxing 109 and merging with 11 cores into a new core of size 1227: cost of the new core is >=12 7.09/7.10 c lower bound updated to 22 7.09/7.13 c BCD2: 22 <= obj <= 33 7.09/7.13 c BCD2: #cores=11, #unrelaxed=1827, #relaxed=6144, #hardened=0 7.09/7.13 c BCD2: #sat=3 #unsat=23 bias=23/26 7.09/7.13 c Solving starts ... 7.09/7.13 c ============================[ Search Statistics ]============================ 7.09/7.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.09/7.13 c | | | | Limit GC | Var | Constra 7.09/7.13 c ============================================================================= 7.09/7.13 c 0.0s | 0 | 0 | 0 | 59099 0 | 47 | 1644 7.59/7.62 c 0.5s | 1 | 3221 | 100 | 59099 0 | 47 | 1717 8.19/8.22 c 1.1s | 2 | 7608 | 250 | 65009 0 | 47 | 1717 10.09/10.14 c 3.0s | 3 | 14194 | 475 | 65009 0 | 47 | 1717 11.49/11.57 c 4.4s | 4 | 26478 | 813 | 71510 0 | 47 | 1717 13.48/13.59 c 6.5s | 4 | 34989 | 1213 | 71510 0 | 47 | 1717 13.98/14.05 c 6.9s | 5 | 38047 | 1320 | 71510 0 | 47 | 1717 16.18/16.26 c 9.1s | 5 | 55983 | 1820 | 78661 0 | 47 | 1717 17.59/17.70 c 10.6s | 6 | 71404 | 2081 | 78661 0 | 47 | 1717 19.68/19.78 c 12.6s | 6 | 86177 | 2381 | 78661 0 | 47 | 1717 21.99/22.01 c 14.9s | 6 | 112186 | 2881 | 86528 0 | 47 | 1717 23.68/23.70 c 16.6s | 7 | 124175 | 3223 | 86528 0 | 47 | 1717 25.68/25.78 c 18.6s | 7 | 144910 | 3623 | 86528 0 | 47 | 1717 27.88/27.93 c 20.8s | 7 | 150669 | 4023 | 86528 0 | 47 | 1717 30.08/30.11 c 23.0s | 7 | 162113 | 4323 | 95181 0 | 47 | 1717 32.28/32.33 c 25.2s | 7 | 179930 | 4623 | 95181 0 | 47 | 1717 34.09/34.12 c 27.0s | 8 | 206638 | 4936 | 95181 0 | 47 | 1717 36.18/36.25 c 29.1s | 8 | 220571 | 5236 | 95181 0 | 47 | 1717 38.38/38.41 c 31.3s | 8 | 222124 | 5736 | 95181 0 | 47 | 1717 40.88/40.94 c 33.8s | 8 | 255931 | 6336 | 95181 0 | 47 | 1717 42.89/42.97 c 35.8s | 8 | 267598 | 6836 | 104700 0 | 47 | 1717 45.28/45.31 c 38.2s | 8 | 273335 | 7336 | 104700 0 | 47 | 1717 45.88/45.95 c 38.8s | 9 | 276139 | 7506 | 104700 0 | 47 | 1717 48.08/48.16 c 41.0s | 9 | 304780 | 7906 | 104700 0 | 47 | 1717 50.18/50.28 c 43.2s | 9 | 314239 | 8406 | 104700 0 | 47 | 1717 52.58/52.65 c 45.5s | 9 | 326485 | 8906 | 104700 0 | 47 | 1717 54.99/55.04 c 47.9s | 9 | 345393 | 9406 | 104700 0 | 47 | 1717 57.08/57.20 c 50.1s | 9 | 358180 | 10006 | 104700 0 | 47 | 1717 59.49/59.54 c 52.4s | 9 | 365038 | 10506 | 104700 0 | 47 | 1717 61.78/61.80 c 54.7s | 9 | 384456 | 10906 | 115171 0 | 47 | 1717 63.89/63.94 c 56.8s | 10 | 391466 | 11361 | 115171 0 | 47 | 1717 65.88/66.01 c 58.9s | 10 | 398699 | 11761 | 115171 0 | 47 | 1717 69.08/69.12 c 62.0s | 10 | 431251 | 12161 | 115171 0 | 47 | 1717 71.28/71.33 c 64.2s | 10 | 442222 | 12661 | 115171 0 | 47 | 1717 73.57/73.69 c 66.6s | 10 | 446764 | 13161 | 115171 0 | 47 | 1717 75.98/76.04 c 68.9s | 10 | 469669 | 13561 | 115171 0 | 47 | 1717 77.97/78.09 c 71.0s | 10 | 481393 | 14061 | 115171 0 | 47 | 1717 80.28/80.40 c 73.3s | 10 | 482815 | 14561 | 115171 0 | 47 | 1717 82.48/82.53 c 75.4s | 10 | 491775 | 15061 | 115171 0 | 47 | 1717 84.57/84.61 c 77.5s | 10 | 508196 | 15461 | 115171 0 | 47 | 1717 86.77/86.83 c 79.7s | 10 | 520181 | 15761 | 115171 0 | 47 | 1717 88.87/88.98 c 81.8s | 10 | 522768 | 16161 | 115171 0 | 47 | 1717 91.38/91.44 c 84.3s | 10 | 545617 | 16561 | 126689 0 | 47 | 1717 93.37/93.48 c 86.3s | 10 | 557460 | 16961 | 126689 0 | 47 | 1717 94.07/94.10 c 87.0s | 11 | 559375 | 17144 | 126689 0 | 47 | 1717 96.07/96.13 c 89.0s | 11 | 564663 | 17644 | 126689 0 | 47 | 1717 98.37/98.44 c 91.3s | 11 | 591944 | 18044 | 126689 0 | 47 | 1717 100.57/100.64 c 93.5s | 11 | 597634 | 18544 | 126689 0 | 47 | 1717 102.97/103.07 c 95.9s | 11 | 620867 | 18944 | 126689 0 | 47 | 1717 105.07/105.12 c 98.0s | 11 | 638193 | 19344 | 126689 0 | 47 | 1717 107.47/107.52 c 100s | 11 | 652664 | 19844 | 126689 0 | 47 | 1717 109.67/109.79 c 102s | 11 | 677207 | 20144 | 126689 0 | 47 | 1717 112.18/112.30 c 105s | 11 | 684908 | 20644 | 126689 0 | 47 | 1717 114.27/114.40 c 107s | 11 | 688044 | 21144 | 126689 0 | 47 | 1717 116.77/116.86 c 109s | 11 | 715014 | 21544 | 126689 0 | 47 | 1717 118.88/118.95 c 111s | 11 | 721844 | 22044 | 126689 0 | 47 | 1717 121.37/121.47 c 114s | 11 | 741092 | 22544 | 126689 0 | 47 | 1717 123.87/123.92 c 116s | 11 | 744128 | 23044 | 126689 0 | 47 | 1717 126.47/126.58 c 119s | 11 | 761673 | 23544 | 126689 0 | 47 | 1717 128.87/128.98 c 121s | 11 | 767537 | 24044 | 126689 0 | 47 | 1717 131.17/131.25 c 124s | 11 | 770342 | 24644 | 126689 0 | 47 | 1717 133.46/133.51 c 126s | 11 | 791230 | 25044 | 139358 0 | 47 | 1717 135.96/136.01 c 128s | 11 | 806186 | 25444 | 139358 0 | 47 | 1717 137.76/137.89 c 130s | 12 | 818365 | 25819 | 139358 0 | 47 | 1717 139.96/140.03 c 132s | 12 | 822605 | 26319 | 139358 0 | 47 | 1717 142.16/142.26 c 135s | 12 | 836937 | 26819 | 139358 0 | 47 | 1717 144.56/144.66 c 137s | 12 | 862298 | 27119 | 139358 0 | 47 | 1717 146.66/146.74 c 139s | 12 | 863719 | 27519 | 139358 0 | 47 | 1717 149.36/149.44 c 142s | 12 | 889597 | 27919 | 139358 0 | 47 | 1717 151.66/151.75 c 144s | 12 | 900866 | 28319 | 139358 0 | 47 | 1717 153.97/154.01 c 146s | 12 | 903186 | 28719 | 139358 0 | 47 | 1717 155.96/156.02 c 148s | 12 | 905204 | 29119 | 139358 0 | 47 | 1717 158.37/158.50 c 151s | 12 | 917999 | 29519 | 139358 0 | 47 | 1717 160.57/160.70 c 153s | 12 | 937009 | 29819 | 139358 0 | 47 | 1717 162.87/162.93 c 155s | 12 | 940280 | 30319 | 139358 0 | 47 | 1717 165.16/165.27 c 158s | 12 | 954478 | 30819 | 139358 0 | 47 | 1717 167.56/167.63 c 160s | 12 | 959890 | 31319 | 139358 0 | 47 | 1717 169.76/169.87 c 162s | 12 | 971829 | 31619 | 139358 0 | 47 | 1717 172.06/172.16 c 165s | 12 | 981272 | 32019 | 139358 0 | 47 | 1717 174.36/174.43 c 167s | 12 | 1002330 | 32319 | 139358 0 | 47 | 1717 176.46/176.51 c 169s | 12 | 1013321 | 32719 | 139358 0 | 47 | 1717 178.46/178.56 c 171s | 12 | 1015347 | 33219 | 139358 0 | 47 | 1717 180.86/180.94 c 173s | 12 | 1022559 | 33619 | 139358 0 | 47 | 1717 183.56/183.69 c 176s | 12 | 1046723 | 33919 | 139358 0 | 47 | 1717 185.67/185.78 c 178s | 12 | 1070159 | 34419 | 139358 0 | 47 | 1717 187.87/187.92 c 180s | 12 | 1079351 | 34819 | 139358 0 | 47 | 1717 189.97/190.02 c 182s | 12 | 1088656 | 35319 | 139358 0 | 47 | 1717 192.06/192.12 c 184s | 12 | 1107543 | 35819 | 139358 0 | 47 | 1717 194.06/194.15 c 187s | 12 | 1124432 | 36319 | 139358 0 | 47 | 1717 196.36/196.41 c 189s | 12 | 1136954 | 36919 | 139358 0 | 47 | 1717 198.36/198.42 c 191s | 12 | 1150977 | 37319 | 139358 0 | 47 | 1717 200.56/200.63 c 193s | 12 | 1164405 | 37719 | 139358 0 | 47 | 1717 202.66/202.78 c 195s | 12 | 1180648 | 38219 | 153294 0 | 47 | 1717 204.76/204.88 c 197s | 12 | 1196329 | 38619 | 153294 0 | 47 | 1717 205.86/205.92 c 198s | 13 | 1202695 | 38832 | 153294 0 | 47 | 1717 207.97/208.03 c 200s | 13 | 1210304 | 39432 | 153294 0 | 47 | 1717 210.07/210.15 c 203s | 13 | 1218539 | 40132 | 153294 0 | 47 | 1717 212.37/212.43 c 205s | 13 | 1229974 | 40732 | 153294 0 | 47 | 1717 214.47/214.51 c 207s | 13 | 1247852 | 41132 | 153294 0 | 47 | 1717 216.77/216.82 c 209s | 13 | 1259795 | 41732 | 153294 0 | 47 | 1717 218.97/219.02 c 211s | 13 | 1270800 | 42332 | 153294 0 | 47 | 1717 220.96/221.10 c 213s | 13 | 1279046 | 42932 | 153294 0 | 47 | 1717 223.76/223.82 c 216s | 13 | 1300765 | 43432 | 153294 0 | 47 | 1717 225.86/225.97 c 218s | 13 | 1305696 | 43732 | 153294 0 | 47 | 1717 228.16/228.28 c 221s | 13 | 1316057 | 44432 | 153294 0 | 47 | 1717 230.26/230.31 c 223s | 13 | 1327183 | 45032 | 153294 0 | 47 | 1717 232.56/232.64 c 225s | 13 | 1339617 | 45632 | 153294 0 | 47 | 1717 234.66/234.71 c 227s | 13 | 1355423 | 46032 | 153294 0 | 47 | 1717 237.06/237.11 c 229s | 13 | 1373087 | 46632 | 153294 0 | 47 | 1717 239.45/239.51 c 232s | 13 | 1382590 | 47332 | 153294 0 | 47 | 1717 241.55/241.65 c 234s | 13 | 1394138 | 47932 | 153294 0 | 47 | 1717 243.55/243.68 c 236s | 13 | 1409743 | 48432 | 153294 0 | 47 | 1717 246.05/246.10 c 238s | 13 | 1427475 | 48932 | 153294 0 | 47 | 1717 248.25/248.34 c 241s | 13 | 1443947 | 49532 | 153294 0 | 47 | 1717 250.55/250.62 c 243s | 13 | 1453515 | 50032 | 153294 0 | 47 | 1717 252.65/252.78 c 245s | 13 | 1460347 | 50632 | 153294 0 | 47 | 1717 254.95/255.06 c 247s | 13 | 1469595 | 51232 | 153294 0 | 47 | 1717 257.15/257.23 c 250s | 13 | 1486049 | 51832 | 153294 0 | 47 | 1717 259.15/259.27 c 252s | 13 | 1495641 | 52432 | 153294 0 | 47 | 1717 261.25/261.38 c 254s | 13 | 1506133 | 52932 | 153294 0 | 47 | 1717 263.65/263.70 c 256s | 13 | 1516064 | 53532 | 153294 0 | 47 | 1717 265.65/265.73 c 258s | 13 | 1526125 | 54032 | 153294 0 | 47 | 1717 267.75/267.82 c 260s | 13 | 1536740 | 54632 | 153294 0 | 47 | 1717 270.05/270.10 c 262s | 13 | 1549590 | 55032 | 153294 0 | 47 | 1717 272.04/272.16 c 265s | 13 | 1563972 | 55432 | 153294 0 | 47 | 1717 274.24/274.37 c 267s | 13 | 1576417 | 55832 | 153294 0 | 47 | 1717 276.34/276.41 c 269s | 13 | 1588427 | 56332 | 153294 0 | 47 | 1717 278.74/278.83 c 271s | 13 | 1596917 | 56832 | 153294 0 | 47 | 1717 280.94/281.08 c 273s | 13 | 1610463 | 57332 | 168624 0 | 47 | 1717 283.24/283.36 c 276s | 13 | 1627115 | 57832 | 168624 0 | 47 | 1717 285.44/285.50 c 278s | 13 | 1643787 | 58332 | 168624 0 | 47 | 1717 285.54/285.60 c 278s | 14 | 1644979 | 58352 | 168624 0 | 47 | 1717 287.64/287.72 c 280s | 14 | 1654768 | 58852 | 168624 0 | 47 | 1717 289.64/289.80 c 282s | 14 | 1661025 | 59552 | 168624 0 | 47 | 1717 291.84/291.91 c 284s | 14 | 1667007 | 60152 | 168624 0 | 47 | 1717 293.84/293.99 c 286s | 14 | 1671071 | 60752 | 168624 0 | 47 | 1717 296.04/296.18 c 289s | 14 | 1673731 | 61352 | 168624 0 | 47 | 1717 298.04/298.18 c 291s | 14 | 1677160 | 61852 | 168624 0 | 47 | 1717 300.35/300.42 c 293s | 14 | 1679115 | 62452 | 168624 0 | 47 | 1717 302.34/302.47 c 295s | 14 | 1681440 | 63252 | 168624 0 | 47 | 1717 304.43/304.56 c 297s | 14 | 1683495 | 63952 | 168624 0 | 47 | 1717 306.94/307.09 c 299s | 14 | 1685686 | 64452 | 168624 0 | 47 | 1717 309.23/309.32 c 302s | 14 | 1688196 | 64952 | 168624 0 | 47 | 1717 311.73/311.83 c 304s | 14 | 1701228 | 65452 | 168624 0 | 47 | 1717 314.13/314.26 c 307s | 14 | 1707501 | 65852 | 168624 0 | 47 | 1717 316.23/316.39 c 309s | 14 | 1723383 | 66252 | 168624 0 | 47 | 1717 318.83/318.90 c 311s | 14 | 1735806 | 66752 | 168624 0 | 47 | 1717 321.03/321.11 c 313s | 14 | 1746754 | 67352 | 168624 0 | 47 | 1717 323.03/323.18 c 316s | 14 | 1759581 | 67752 | 168624 0 | 47 | 1717 325.23/325.37 c 318s | 14 | 1768030 | 68252 | 168624 0 | 47 | 1717 327.63/327.74 c 320s | 14 | 1775237 | 68752 | 168624 0 | 47 | 1717 329.73/329.83 c 322s | 14 | 1783920 | 69252 | 168624 0 | 47 | 1717 332.03/332.18 c 325s | 14 | 1794230 | 69752 | 168624 0 | 47 | 1717 334.34/334.48 c 327s | 14 | 1801875 | 70252 | 168624 0 | 47 | 1717 336.64/336.72 c 329s | 14 | 1808167 | 70752 | 168624 0 | 47 | 1717 338.73/338.84 c 331s | 14 | 1820066 | 71252 | 168624 0 | 47 | 1717 340.82/340.90 c 333s | 14 | 1826799 | 71752 | 168624 0 | 47 | 1717 342.82/342.96 c 335s | 14 | 1836620 | 72152 | 168624 0 | 47 | 1717 344.92/345.08 c 337s | 14 | 1842614 | 72652 | 168624 0 | 47 | 1717 347.22/347.38 c 340s | 14 | 1856688 | 73052 | 168624 0 | 47 | 1717 349.52/349.64 c 342s | 14 | 1870016 | 73552 | 168624 0 | 47 | 1717 351.52/351.66 c 344s | 14 | 1883856 | 73952 | 168624 0 | 47 | 1717 353.62/353.79 c 346s | 14 | 1892441 | 74452 | 168624 0 | 47 | 1717 356.12/356.22 c 349s | 14 | 1902312 | 74952 | 168624 0 | 47 | 1717 358.31/358.46 c 351s | 14 | 1915523 | 75452 | 168624 0 | 47 | 1717 360.31/360.47 c 353s | 14 | 1926382 | 75852 | 168624 0 | 47 | 1717 362.51/362.68 c 355s | 14 | 1937433 | 76352 | 168624 0 | 47 | 1717 364.81/364.99 c 357s | 14 | 1948143 | 76752 | 168624 0 | 47 | 1717 367.32/367.49 c 360s | 14 | 1962892 | 77252 | 168624 0 | 47 | 1717 369.51/369.63 c 362s | 14 | 1969317 | 77652 | 168624 0 | 47 | 1717 371.71/371.88 c 364s | 14 | 1982161 | 78152 | 168624 0 | 47 | 1717 374.21/374.31 c 367s | 14 | 1994128 | 78752 | 168624 0 | 47 | 1717 376.30/376.43 c 369s | 14 | 1999238 | 79252 | 168624 0 | 47 | 1717 378.41/378.54 c 371s | 14 | 2014087 | 79552 | 168624 0 | 47 | 1717 380.80/380.97 c 373s | 14 | 2035973 | 79752 | 168624 0 | 47 | 1717 383.20/383.31 c 376s | 14 | 2042424 | 80052 | 168624 0 | 47 | 1717 385.50/385.60 c 378s | 14 | 2051361 | 80352 | 168624 0 | 47 | 1717 387.50/387.63 c 380s | 14 | 2052861 | 80652 | 168624 0 | 47 | 1717 389.90/390.03 c 382s | 14 | 2058677 | 80952 | 168624 0 | 47 | 1717 392.10/392.24 c 385s | 14 | 2072497 | 81252 | 168624 0 | 47 | 1717 395.00/395.17 c 388s | 14 | 2090522 | 81552 | 168624 0 | 47 | 1717 397.70/397.80 c 390s | 14 | 2097727 | 81852 | 168624 0 | 47 | 1717 399.80/399.94 c 392s | 14 | 2100335 | 82152 | 168624 0 | 47 | 1717 402.30/402.44 c 395s | 14 | 2101962 | 82452 | 168624 0 | 47 | 1717 405.39/405.55 c 398s | 14 | 2115906 | 82852 | 168624 0 | 47 | 1717 407.59/407.76 c 400s | 14 | 2133368 | 83052 | 168624 0 | 47 | 1717 409.99/410.19 c 403s | 14 | 2136236 | 83352 | 168624 0 | 47 | 1717 412.40/412.51 c 405s | 14 | 2138309 | 83752 | 168624 0 | 47 | 1717 414.49/414.61 c 407s | 14 | 2146946 | 84052 | 168624 0 | 47 | 1717 417.49/417.62 c 410s | 14 | 2168293 | 84352 | 168624 0 | 47 | 1717 419.49/419.69 c 412s | 14 | 2182985 | 84552 | 168624 0 | 47 | 1717 421.79/421.99 c 414s | 14 | 2186464 | 84852 | 168624 0 | 47 | 1717 424.19/424.32 c 417s | 14 | 2188287 | 85252 | 168624 0 | 47 | 1717 426.59/426.71 c 419s | 14 | 2189545 | 85552 | 168624 0 | 47 | 1717 428.89/429.04 c 421s | 14 | 2190578 | 85852 | 168624 0 | 47 | 1717 431.48/431.62 c 424s | 14 | 2204814 | 86152 | 168624 0 | 47 | 1717 433.48/433.63 c 426s | 14 | 2215303 | 86352 | 185487 0 | 47 | 1717 435.88/436.08 c 428s | 14 | 2217778 | 86652 | 185487 0 | 47 | 1717 438.08/438.21 c 431s | 14 | 2227017 | 86952 | 185487 0 | 47 | 1717 440.18/440.35 c 433s | 14 | 2238677 | 87152 | 185487 0 | 47 | 1717 442.68/442.82 c 435s | 14 | 2240797 | 87452 | 185487 0 | 47 | 1717 444.48/444.68 c 437s | 15 | 2241951 | 87632 | 185487 0 | 47 | 1717 446.98/447.16 c 440s | 15 | 2244403 | 87832 | 185487 0 | 47 | 1717 449.28/449.43 c 442s | 15 | 2266462 | 88032 | 185487 0 | 47 | 1717 451.98/452.11 c 444s | 15 | 2281795 | 88232 | 185487 0 | 47 | 1717 454.58/454.77 c 447s | 15 | 2285437 | 88532 | 185487 0 | 47 | 1717 456.68/456.88 c 449s | 15 | 2288115 | 88832 | 185487 0 | 47 | 1717 459.47/459.63 c 452s | 15 | 2299192 | 89032 | 185487 0 | 47 | 1717 461.47/461.65 c 454s | 15 | 2312318 | 89232 | 185487 0 | 47 | 1717 463.87/464.07 c 456s | 15 | 2318606 | 89532 | 185487 0 | 47 | 1717 466.57/466.73 c 459s | 15 | 2325489 | 89932 | 185487 0 | 47 | 1717 469.36/469.54 c 462s | 15 | 2330090 | 90232 | 185487 0 | 47 | 1717 472.06/472.21 c 465s | 15 | 2335143 | 90532 | 185487 0 | 47 | 1717 474.86/475.08 c 467s | 15 | 2337564 | 90832 | 185487 0 | 47 | 1717 477.46/477.65 c 470s | 15 | 2339863 | 91132 | 185487 0 | 47 | 1717 479.57/479.78 c 472s | 15 | 2355644 | 91332 | 185487 0 | 47 | 1717 482.36/482.52 c 475s | 15 | 2362369 | 91632 | 185487 0 | 47 | 1717 484.56/484.78 c 477s | 15 | 2364626 | 92032 | 185487 0 | 47 | 1717 487.36/487.50 c 480s | 15 | 2375679 | 92332 | 185487 0 | 47 | 1717 489.36/489.57 c 482s | 15 | 2387605 | 92532 | 185487 0 | 47 | 1717 491.86/492.07 c 484s | 15 | 2393001 | 92832 | 185487 0 | 47 | 1717 493.86/494.08 c 486s | 15 | 2395349 | 93132 | 185487 0 | 47 | 1717 496.75/496.91 c 489s | 15 | 2399955 | 93432 | 185487 0 | 47 | 1717 499.36/499.54 c 492s | 15 | 2400973 | 93732 | 185487 0 | 47 | 1717 501.65/501.83 c 494s | 15 | 2410317 | 93932 | 185487 0 | 47 | 1717 504.25/504.45 c 497s | 15 | 2425657 | 94132 | 185487 0 | 47 | 1717 507.25/507.47 c 500s | 15 | 2439031 | 94432 | 185487 0 | 47 | 1717 509.85/510.06 c 502s | 15 | 2444635 | 94732 | 185487 0 | 47 | 1717 511.95/512.18 c 505s | 15 | 2445861 | 95032 | 185487 0 | 47 | 1717 514.85/515.09 c 507s | 15 | 2448017 | 95332 | 185487 0 | 47 | 1717 517.75/517.93 c 510s | 15 | 2452801 | 95732 | 185487 0 | 47 | 1717 520.05/520.23 c 513s | 15 | 2462579 | 95932 | 185487 0 | 47 | 1717 522.25/522.43 c 515s | 15 | 2474658 | 96132 | 185487 0 | 47 | 1717 524.95/525.17 c 518s | 15 | 2484395 | 96432 | 185487 0 | 47 | 1717 527.15/527.36 c 520s | 15 | 2485529 | 96732 | 185487 0 | 47 | 1717 529.84/530.02 c 522s | 15 | 2491243 | 97032 | 185487 0 | 47 | 1717 532.35/532.52 c 525s | 15 | 2506136 | 97232 | 185487 0 | 47 | 1717 534.34/534.55 c 527s | 15 | 2519350 | 97432 | 185487 0 | 47 | 1717 537.04/537.23 c 530s | 15 | 2526668 | 97732 | 185487 0 | 47 | 1717 539.04/539.23 c 532s | 15 | 2531084 | 97932 | 185487 0 | 47 | 1717 541.64/541.82 c 534s | 15 | 2531829 | 98232 | 185487 0 | 47 | 1717 543.84/544.02 c 536s | 15 | 2535506 | 98532 | 185487 0 | 47 | 1717 546.14/546.31 c 539s | 15 | 2539823 | 98732 | 185487 0 | 47 | 1717 548.84/549.02 c 541s | 15 | 2559651 | 98932 | 185487 0 | 47 | 1717 550.94/551.18 c 544s | 15 | 2572122 | 99132 | 185487 0 | 47 | 1717 553.33/553.54 c 546s | 15 | 2575015 | 99432 | 185487 0 | 47 | 1717 555.83/556.04 c 548s | 15 | 2576226 | 99732 | 185487 0 | 47 | 1717 558.53/558.76 c 551s | 15 | 2580430 | 100032 | 185487 0 | 47 | 1717 560.94/561.12 c 553s | 15 | 2595985 | 100232 | 185487 0 | 47 | 1717 563.33/563.52 c 556s | 15 | 2601530 | 100432 | 185487 0 | 47 | 1717 565.63/565.88 c 558s | 15 | 2604801 | 100732 | 185487 0 | 47 | 1717 567.82/568.08 c 560s | 15 | 2606768 | 101032 | 185487 0 | 47 | 1717 570.62/570.81 c 563s | 15 | 2610265 | 101332 | 185487 0 | 47 | 1717 573.32/573.51 c 566s | 15 | 2611668 | 101632 | 185487 0 | 47 | 1717 575.92/576.12 c 568s | 15 | 2612808 | 102032 | 185487 0 | 47 | 1717 579.12/579.36 c 572s | 15 | 2632578 | 102332 | 185487 0 | 47 | 1717 581.61/581.85 c 574s | 15 | 2647001 | 102532 | 185487 0 | 47 | 1717 584.21/584.43 c 577s | 15 | 2656209 | 102832 | 185487 0 | 47 | 1717 586.31/586.51 c 579s | 15 | 2656953 | 103032 | 185487 0 | 47 | 1717 588.32/588.52 c 581s | 15 | 2658268 | 103232 | 185487 0 | 47 | 1717 590.31/590.58 c 583s | 15 | 2660081 | 103632 | 185487 0 | 47 | 1717 592.91/593.18 c 586s | 15 | 2666752 | 103932 | 185487 0 | 47 | 1717 595.81/596.03 c 588s | 15 | 2680159 | 104232 | 185487 0 | 47 | 1717 598.50/598.72 c 591s | 15 | 2686189 | 104532 | 185487 0 | 47 | 1717 601.80/602.00 c 594s | 15 | 2704973 | 104832 | 185487 0 | 47 | 1717 604.20/604.43 c 597s | 15 | 2717977 | 105032 | 185487 0 | 47 | 1717 606.90/607.11 c 599s | 15 | 2734949 | 105332 | 185487 0 | 47 | 1717 609.70/609.90 c 602s | 15 | 2738547 | 105632 | 185487 0 | 47 | 1717 612.20/612.41 c 605s | 15 | 2740685 | 106032 | 185487 0 | 47 | 1717 614.50/614.77 c 607s | 15 | 2745551 | 106332 | 185487 0 | 47 | 1717 617.70/617.93 c 610s | 15 | 2758810 | 106632 | 185487 0 | 47 | 1717 619.89/620.10 c 612s | 15 | 2771843 | 106832 | 185487 0 | 47 | 1717 622.89/623.14 c 616s | 15 | 2777034 | 107132 | 185487 0 | 47 | 1717 625.19/625.47 c 618s | 15 | 2778634 | 107432 | 185487 0 | 47 | 1717 628.19/628.48 c 621s | 15 | 2803787 | 107732 | 185487 0 | 47 | 1717 630.49/630.74 c 623s | 15 | 2817583 | 107932 | 185487 0 | 47 | 1717 632.99/633.27 c 626s | 15 | 2822210 | 108232 | 185487 0 | 47 | 1717 635.49/635.70 c 628s | 15 | 2825791 | 108532 | 185487 0 | 47 | 1717 637.99/638.22 c 631s | 15 | 2827815 | 108832 | 185487 0 | 47 | 1717 640.28/640.50 c 633s | 15 | 2829599 | 109132 | 185487 0 | 47 | 1717 642.68/642.91 c 635s | 15 | 2830798 | 109432 | 185487 0 | 47 | 1717 644.68/644.97 c 637s | 15 | 2835606 | 109732 | 185487 0 | 47 | 1717 647.69/647.95 c 640s | 15 | 2849636 | 110032 | 185487 0 | 47 | 1717 650.58/650.84 c 643s | 15 | 2865106 | 110332 | 185487 0 | 47 | 1717 652.78/653.02 c 645s | 15 | 2869001 | 110532 | 185487 0 | 47 | 1717 655.68/655.99 c 648s | 15 | 2870519 | 110832 | 185487 0 | 47 | 1717 657.77/658.07 c 650s | 15 | 2871115 | 111032 | 185487 0 | 47 | 1717 660.47/660.72 c 653s | 15 | 2877459 | 111332 | 185487 0 | 47 | 1717 663.67/663.99 c 656s | 15 | 2884998 | 111532 | 185487 0 | 47 | 1717 666.17/666.49 c 659s | 15 | 2885614 | 111632 | 185487 0 | 47 | 1717 669.06/669.37 c 662s | 15 | 2904699 | 111832 | 185487 0 | 47 | 1717 671.16/671.49 c 664s | 15 | 2914091 | 112032 | 185487 0 | 47 | 1717 673.36/673.62 c 666s | 15 | 2926057 | 112232 | 185487 0 | 47 | 1717 676.06/676.30 c 669s | 15 | 2933110 | 112532 | 185487 0 | 47 | 1717 678.06/678.37 c 671s | 15 | 2935378 | 112832 | 185487 0 | 47 | 1717 680.36/680.65 c 673s | 15 | 2937943 | 113132 | 185487 0 | 47 | 1717 683.06/683.35 c 676s | 15 | 2955023 | 113432 | 185487 0 | 47 | 1717 685.16/685.43 c 678s | 15 | 2968508 | 113632 | 185487 0 | 47 | 1717 688.15/688.40 c 681s | 15 | 2980726 | 113932 | 185487 0 | 47 | 1717 690.45/690.80 c 683s | 15 | 2981880 | 114232 | 185487 0 | 47 | 1717 692.76/693.05 c 685s | 15 | 2982921 | 114532 | 185487 0 | 47 | 1717 695.55/695.87 c 688s | 15 | 3000864 | 114832 | 185487 0 | 47 | 1717 698.05/698.31 c 691s | 15 | 3017583 | 115032 | 185487 0 | 47 | 1717 700.56/700.83 c 693s | 15 | 3018335 | 115332 | 185487 0 | 47 | 1717 702.55/702.90 c 695s | 15 | 3026421 | 115632 | 185487 0 | 47 | 1717 705.15/705.48 c 698s | 15 | 3046984 | 115832 | 185487 0 | 47 | 1717 707.75/708.03 c 700s | 15 | 3058525 | 116032 | 185487 0 | 47 | 1717 710.45/710.79 c 703s | 15 | 3063764 | 116332 | 185487 0 | 47 | 1717 713.34/713.68 c 706s | 15 | 3064962 | 116632 | 185487 0 | 47 | 1717 715.64/715.96 c 708s | 15 | 3066215 | 116932 | 185487 0 | 47 | 1717 718.15/718.49 c 711s | 15 | 3074546 | 117232 | 185487 0 | 47 | 1717 720.64/720.95 c 713s | 15 | 3088869 | 117432 | 185487 0 | 47 | 1717 723.34/723.67 c 716s | 15 | 3097703 | 117732 | 185487 0 | 47 | 1717 726.04/726.34 c 719s | 15 | 3103018 | 117932 | 185487 0 | 47 | 1717 728.94/729.27 c 722s | 15 | 3105224 | 118132 | 185487 0 | 47 | 1717 731.03/731.32 c 724s | 15 | 3107817 | 118432 | 185487 0 | 47 | 1717 733.03/733.39 c 726s | 15 | 3109838 | 118732 | 185487 0 | 47 | 1717 736.63/736.98 c 729s | 15 | 3117716 | 119032 | 185487 0 | 47 | 1717 739.33/739.60 c 732s | 15 | 3128873 | 119232 | 185487 0 | 47 | 1717 741.83/742.13 c 735s | 15 | 3138164 | 119432 | 185487 0 | 47 | 1717 743.83/744.17 c 737s | 15 | 3140173 | 119732 | 185487 0 | 47 | 1717 746.13/746.48 c 739s | 15 | 3141260 | 119932 | 185487 0 | 47 | 1717 749.42/749.72 c 742s | 15 | 3164563 | 120232 | 185487 0 | 47 | 1717 752.02/752.31 c 745s | 15 | 3170400 | 120532 | 185487 0 | 47 | 1717 754.62/754.91 c 747s | 15 | 3179561 | 120832 | 185487 0 | 47 | 1717 757.63/757.91 c 750s | 15 | 3199834 | 121132 | 185487 0 | 47 | 1717 759.72/760.02 c 752s | 15 | 3206422 | 121432 | 185487 0 | 47 | 1717 761.82/762.12 c 754s | 15 | 3207931 | 121732 | 185487 0 | 47 | 1717 763.92/764.28 c 757s | 15 | 3209621 | 122032 | 185487 0 | 47 | 1717 766.02/766.33 c 759s | 15 | 3218800 | 122232 | 185487 0 | 47 | 1717 768.32/768.67 c 761s | 15 | 3233796 | 122432 | 185487 0 | 47 | 1717 770.62/770.93 c 763s | 15 | 3235899 | 122632 | 185487 0 | 47 | 1717 772.72/773.06 c 765s | 15 | 3240345 | 122932 | 185487 0 | 47 | 1717 775.02/775.37 c 768s | 15 | 3254858 | 123132 | 185487 0 | 47 | 1717 777.62/777.96 c 770s | 15 | 3256138 | 123532 | 185487 0 | 47 | 1717 780.32/780.64 c 773s | 15 | 3257369 | 123832 | 185487 0 | 47 | 1717 783.03/783.31 c 776s | 15 | 3271194 | 124132 | 185487 0 | 47 | 1717 785.42/785.76 c 778s | 15 | 3280006 | 124332 | 185487 0 | 47 | 1717 787.91/788.23 c 781s | 15 | 3284971 | 124632 | 185487 0 | 47 | 1717 790.21/790.53 c 783s | 15 | 3288491 | 124932 | 185487 0 | 47 | 1717 792.92/793.22 c 786s | 15 | 3292089 | 125232 | 185487 0 | 47 | 1717 795.41/795.72 c 788s | 15 | 3302386 | 125532 | 185487 0 | 47 | 1717 797.91/798.21 c 791s | 15 | 3308115 | 125832 | 185487 0 | 47 | 1717 800.51/800.89 c 793s | 15 | 3309363 | 126232 | 185487 0 | 47 | 1717 802.82/803.12 c 795s | 15 | 3310262 | 126532 | 185487 0 | 47 | 1717 806.02/806.39 c 799s | 15 | 3328322 | 126832 | 185487 0 | 47 | 1717 808.91/809.20 c 802s | 15 | 3336627 | 127132 | 185487 0 | 47 | 1717 811.71/812.03 c 804s | 15 | 3345972 | 127432 | 185487 0 | 47 | 1717 814.01/814.33 c 807s | 15 | 3363033 | 127632 | 185487 0 | 47 | 1717 816.81/817.10 c 809s | 15 | 3374935 | 127932 | 185487 0 | 47 | 1717 819.00/819.33 c 812s | 15 | 3377221 | 128232 | 185487 0 | 47 | 1717 821.60/821.97 c 814s | 15 | 3378378 | 128532 | 185487 0 | 47 | 1717 824.10/824.41 c 817s | 15 | 3390047 | 128832 | 185487 0 | 47 | 1717 826.20/826.53 c 819s | 15 | 3405652 | 129032 | 185487 0 | 47 | 1717 828.50/828.82 c 821s | 15 | 3408373 | 129332 | 185487 0 | 47 | 1717 831.31/831.62 c 824s | 15 | 3412014 | 129632 | 185487 0 | 47 | 1717 834.10/834.41 c 827s | 15 | 3414040 | 129932 | 185487 0 | 47 | 1717 836.40/836.74 c 829s | 15 | 3431619 | 130132 | 204036 0 | 47 | 1717 839.11/839.48 c 832s | 15 | 3441970 | 130432 | 204036 0 | 47 | 1717 841.50/841.88 c 834s | 15 | 3446355 | 130732 | 204036 0 | 47 | 1717 843.90/844.28 c 837s | 15 | 3449179 | 131032 | 204036 0 | 47 | 1717 846.40/846.70 c 839s | 15 | 3450712 | 131332 | 204036 0 | 47 | 1717 847.40/847.76 c 840s | 16 | 3451588 | 131552 | 204036 0 | 47 | 1717 850.20/850.54 c 843s | 16 | 3455902 | 131752 | 204036 0 | 47 | 1717 853.20/853.50 c 846s | 16 | 3474835 | 132052 | 204036 0 | 47 | 1717 855.90/856.24 c 849s | 16 | 3486257 | 132252 | 204036 0 | 47 | 1717 858.19/858.57 c 851s | 16 | 3491933 | 132452 | 204036 0 | 47 | 1717 860.39/860.73 c 853s | 16 | 3493740 | 132652 | 204036 0 | 47 | 1717 863.49/863.84 c 856s | 16 | 3502955 | 132952 | 204036 0 | 47 | 1717 866.09/866.45 c 859s | 16 | 3526037 | 133152 | 204036 0 | 47 | 1717 868.59/868.92 c 861s | 16 | 3536567 | 133352 | 204036 0 | 47 | 1717 871.78/872.13 c 865s | 16 | 3538686 | 133652 | 204036 0 | 47 | 1717 874.29/874.69 c 867s | 16 | 3540656 | 133952 | 204036 0 | 47 | 1717 877.38/877.71 c 870s | 16 | 3552144 | 134252 | 204036 0 | 47 | 1717 879.48/879.89 c 872s | 16 | 3568204 | 134452 | 204036 0 | 47 | 1717 881.89/882.26 c 875s | 16 | 3570460 | 134652 | 204036 0 | 47 | 1717 884.48/884.84 c 877s | 16 | 3572046 | 134952 | 204036 0 | 47 | 1717 887.39/887.71 c 880s | 16 | 3574412 | 135252 | 204036 0 | 47 | 1717 889.69/890.01 c 882s | 16 | 3585162 | 135452 | 204036 0 | 47 | 1717 892.48/892.81 c 885s | 16 | 3601493 | 135652 | 204036 0 | 47 | 1717 894.48/894.82 c 887s | 16 | 3609635 | 135852 | 204036 0 | 47 | 1717 896.98/897.34 c 890s | 16 | 3614347 | 136152 | 204036 0 | 47 | 1717 899.08/899.49 c 892s | 16 | 3618401 | 136352 | 204036 0 | 47 | 1717 901.68/902.10 c 894s | 16 | 3619375 | 136752 | 204036 0 | 47 | 1717 903.98/904.34 c 897s | 16 | 3619966 | 136952 | 204036 0 | 47 | 1717 907.18/907.52 c 900s | 16 | 3631964 | 137252 | 204036 0 | 47 | 1717 909.27/909.64 c 902s | 16 | 3644175 | 137452 | 204036 0 | 47 | 1717 911.37/911.76 c 904s | 16 | 3650096 | 137652 | 204036 0 | 47 | 1717 914.07/914.43 c 907s | 16 | 3652066 | 137852 | 204036 0 | 47 | 1717 916.17/916.59 c 909s | 16 | 3654129 | 138052 | 204036 0 | 47 | 1717 919.17/919.56 c 912s | 16 | 3655327 | 138352 | 204036 0 | 47 | 1717 921.27/921.68 c 914s | 16 | 3655972 | 138652 | 204036 0 | 47 | 1717 923.47/923.82 c 916s | 16 | 3666643 | 138852 | 204036 0 | 47 | 1717 925.47/925.88 c 918s | 16 | 3676060 | 139052 | 204036 0 | 47 | 1717 928.18/928.51 c 921s | 16 | 3679046 | 139352 | 204036 0 | 47 | 1717 930.97/931.33 c 924s | 16 | 3681857 | 139652 | 204036 0 | 47 | 1717 933.58/933.91 c 926s | 16 | 3683499 | 139952 | 204036 0 | 47 | 1717 936.27/936.66 c 929s | 16 | 3690735 | 140252 | 204036 0 | 47 | 1717 938.47/938.82 c 931s | 16 | 3705518 | 140452 | 204036 0 | 47 | 1717 941.17/941.59 c 934s | 16 | 3711812 | 140752 | 204036 0 | 47 | 1717 943.67/944.09 c 936s | 16 | 3713746 | 141052 | 204036 0 | 47 | 1717 946.78/947.18 c 940s | 16 | 3717126 | 141352 | 204036 0 | 47 | 1717 948.98/949.36 c 942s | 16 | 3718718 | 141652 | 204036 0 | 47 | 1717 951.87/952.20 c 945s | 16 | 3721248 | 141952 | 204036 0 | 47 | 1717 954.17/954.53 c 947s | 16 | 3731711 | 142152 | 204036 0 | 47 | 1717 956.47/956.87 c 949s | 16 | 3744861 | 142352 | 204036 0 | 47 | 1717 958.98/959.39 c 952s | 16 | 3749331 | 142652 | 204036 0 | 47 | 1717 961.36/961.73 c 954s | 16 | 3750849 | 142852 | 204036 0 | 47 | 1717 964.06/964.45 c 957s | 16 | 3752399 | 143152 | 204036 0 | 47 | 1717 966.67/967.01 c 959s | 16 | 3755673 | 143452 | 204036 0 | 47 | 1717 969.46/969.81 c 962s | 16 | 3774965 | 143652 | 204036 0 | 47 | 1717 971.86/972.26 c 965s | 16 | 3786744 | 143852 | 204036 0 | 47 | 1717 974.46/974.88 c 967s | 16 | 3790101 | 144152 | 204036 0 | 47 | 1717 977.16/977.57 c 970s | 16 | 3797066 | 144452 | 204036 0 | 47 | 1717 979.77/980.13 c 972s | 16 | 3808887 | 144652 | 204036 0 | 47 | 1717 981.97/982.37 c 975s | 16 | 3815007 | 144952 | 204036 0 | 47 | 1717 984.56/984.98 c 977s | 16 | 3831111 | 145252 | 204036 0 | 47 | 1717 987.06/987.47 c 980s | 16 | 3833520 | 145552 | 204036 0 | 47 | 1717 989.86/990.21 c 983s | 16 | 3836088 | 145852 | 204036 0 | 47 | 1717 992.26/992.64 c 985s | 16 | 3837632 | 146152 | 204036 0 | 47 | 1717 995.17/995.51 c 988s | 16 | 3845282 | 146452 | 204036 0 | 47 | 1717 997.66/998.00 c 990s | 16 | 3853272 | 146652 | 204036 0 | 47 | 1717 999.86/1000.20 c 993s | 16 | 3859479 | 146852 | 204036 0 | 47 | 1717 1002.46/1002.82 c 995s | 16 | 3860770 | 147152 | 204036 0 | 47 | 1717 1004.76/1005.14 c 998s | 16 | 3864068 | 147452 | 204036 0 | 47 | 1717 1007.06/1007.45 c 1000s | 16 | 3872338 | 147652 | 204036 0 | 47 | 1717 1010.16/1010.52 c 1003s | 16 | 3888036 | 147952 | 204036 0 | 47 | 1717 1013.06/1013.48 c 1006s | 16 | 3898386 | 148252 | 204036 0 | 47 | 1717 1015.66/1016.04 c 1008s | 16 | 3899454 | 148552 | 204036 0 | 47 | 1717 1018.37/1018.77 c 1011s | 16 | 3900495 | 148852 | 204036 0 | 47 | 1717 1021.76/1022.19 c 1015s | 16 | 3918789 | 149152 | 204036 0 | 47 | 1717 1024.46/1024.89 c 1017s | 16 | 3928276 | 149352 | 204036 0 | 47 | 1717 1026.85/1027.20 c 1020s | 16 | 3929678 | 149552 | 204036 0 | 47 | 1717 1029.15/1029.58 c 1022s | 16 | 3933222 | 149852 | 204036 0 | 47 | 1717 1031.65/1032.06 c 1024s | 16 | 3950889 | 150052 | 204036 0 | 47 | 1717 1033.95/1034.30 c 1027s | 16 | 3958256 | 150252 | 204036 0 | 47 | 1717 1036.05/1036.47 c 1029s | 16 | 3965810 | 150452 | 204036 0 | 47 | 1717 1038.16/1038.58 c 1031s | 16 | 3973368 | 150652 | 204036 0 | 47 | 1717 1040.45/1040.81 c 1033s | 16 | 3974462 | 150852 | 204036 0 | 47 | 1717 1042.75/1043.17 c 1036s | 16 | 3975894 | 151252 | 204036 0 | 47 | 1717 1045.15/1045.55 c 1038s | 16 | 3988645 | 151452 | 204036 0 | 47 | 1717 1047.55/1047.93 c 1040s | 16 | 4000800 | 151652 | 204036 0 | 47 | 1717 1049.75/1050.16 c 1043s | 16 | 4008328 | 151852 | 204036 0 | 47 | 1717 1051.85/1052.21 c 1045s | 16 | 4010948 | 152052 | 204036 0 | 47 | 1717 1054.25/1054.61 c 1047s | 16 | 4012622 | 152352 | 204036 0 | 47 | 1717 1056.76/1057.13 c 1050s | 16 | 4014235 | 152652 | 204036 0 | 47 | 1717 1058.96/1059.33 c 1052s | 16 | 4021193 | 152852 | 204036 0 | 47 | 1717 1061.35/1061.77 c 1054s | 16 | 4036765 | 153052 | 204036 0 | 47 | 1717 1063.46/1063.88 c 1056s | 16 | 4039945 | 153252 | 204036 0 | 47 | 1717 1067.05/1067.47 c 1060s | 16 | 4047395 | 153452 | 204036 0 | 47 | 1717 1069.75/1070.15 c 1063s | 16 | 4048782 | 153752 | 204036 0 | 47 | 1717 1071.75/1072.15 c 1065s | 16 | 4049347 | 153952 | 204036 0 | 47 | 1717 1073.75/1074.17 c 1067s | 16 | 4052195 | 154152 | 204036 0 | 47 | 1717 1076.35/1076.74 c 1069s | 16 | 4071642 | 154352 | 204036 0 | 47 | 1717 1078.45/1078.83 c 1071s | 16 | 4078247 | 154552 | 204036 0 | 47 | 1717 1080.95/1081.32 c 1074s | 16 | 4081133 | 154752 | 204036 0 | 47 | 1717 1083.45/1083.86 c 1076s | 16 | 4082579 | 155052 | 204036 0 | 47 | 1717 1085.75/1086.13 c 1079s | 16 | 4090092 | 155252 | 204036 0 | 47 | 1717 1088.05/1088.42 c 1081s | 16 | 4094313 | 155452 | 204036 0 | 47 | 1717 1090.05/1090.43 c 1083s | 16 | 4105028 | 155652 | 204036 0 | 47 | 1717 1092.94/1093.39 c 1086s | 16 | 4109476 | 155952 | 204036 0 | 47 | 1717 1096.24/1096.69 c 1089s | 16 | 4115998 | 156252 | 204036 0 | 47 | 1717 1098.34/1098.74 c 1091s | 16 | 4116507 | 156452 | 204036 0 | 47 | 1717 1100.85/1101.28 c 1094s | 16 | 4121795 | 156652 | 204036 0 | 47 | 1717 1103.34/1103.77 c 1096s | 16 | 4132438 | 156852 | 204036 0 | 47 | 1717 1106.35/1106.75 c 1099s | 16 | 4136470 | 157052 | 204036 0 | 47 | 1717 1108.84/1109.25 c 1102s | 16 | 4147259 | 157252 | 204036 0 | 47 | 1717 1111.24/1111.67 c 1104s | 16 | 4151374 | 157552 | 204036 0 | 47 | 1717 1113.84/1114.23 c 1107s | 16 | 4153000 | 157852 | 204036 0 | 47 | 1717 1116.25/1116.62 c 1109s | 16 | 4154264 | 158152 | 204036 0 | 47 | 1717 1118.64/1119.04 c 1111s | 16 | 4158682 | 158452 | 204036 0 | 47 | 1717 1122.14/1122.57 c 1115s | 16 | 4171218 | 158752 | 204036 0 | 47 | 1717 1125.14/1125.54 c 1118s | 16 | 4188360 | 158952 | 204036 0 | 47 | 1717 1127.84/1128.28 c 1121s | 16 | 4201353 | 159152 | 204036 0 | 47 | 1717 1130.14/1130.59 c 1123s | 16 | 4205612 | 159352 | 204036 0 | 47 | 1717 1133.04/1133.49 c 1126s | 16 | 4206923 | 159652 | 204036 0 | 47 | 1717 1135.14/1135.55 c 1128s | 16 | 4208135 | 159852 | 204036 0 | 47 | 1717 1138.04/1138.42 c 1131s | 16 | 4213010 | 160152 | 204036 0 | 47 | 1717 1140.14/1140.55 c 1133s | 16 | 4218368 | 160352 | 204036 0 | 47 | 1717 1142.74/1143.14 c 1136s | 16 | 4229469 | 160552 | 204036 0 | 47 | 1717 1145.04/1145.40 c 1138s | 16 | 4240838 | 160752 | 204036 0 | 47 | 1717 1147.05/1147.45 c 1140s | 16 | 4242075 | 160952 | 204036 0 | 47 | 1717 1149.34/1149.74 c 1142s | 16 | 4244327 | 161152 | 204036 0 | 47 | 1717 1152.03/1152.43 c 1145s | 16 | 4245568 | 161452 | 204036 0 | 47 | 1717 1154.53/1154.93 c 1147s | 16 | 4247879 | 161752 | 204036 0 | 47 | 1717 1156.63/1157.08 c 1149s | 16 | 4255666 | 161952 | 204036 0 | 47 | 1717 1159.04/1159.48 c 1152s | 16 | 4267165 | 162152 | 204036 0 | 47 | 1717 1161.43/1161.82 c 1154s | 16 | 4273269 | 162352 | 204036 0 | 47 | 1717 1164.13/1164.52 c 1157s | 16 | 4275173 | 162552 | 204036 0 | 47 | 1717 1166.33/1166.73 c 1159s | 16 | 4276198 | 162752 | 204036 0 | 47 | 1717 1168.33/1168.77 c 1161s | 16 | 4277212 | 162952 | 204036 0 | 47 | 1717 1170.53/1170.90 c 1163s | 16 | 4277789 | 163152 | 204036 0 | 47 | 1717 1172.73/1173.14 c 1166s | 16 | 4279762 | 163352 | 204036 0 | 47 | 1717 1175.03/1175.40 c 1168s | 16 | 4288376 | 163552 | 204036 0 | 47 | 1717 1177.63/1178.03 c 1170s | 16 | 4298945 | 163752 | 204036 0 | 47 | 1717 1180.13/1180.52 c 1173s | 16 | 4302943 | 163952 | 204036 0 | 47 | 1717 1182.63/1183.07 c 1175s | 16 | 4305019 | 164152 | 204036 0 | 47 | 1717 1185.33/1185.79 c 1178s | 16 | 4306686 | 164452 | 204036 0 | 47 | 1717 1187.43/1187.89 c 1180s | 16 | 4307606 | 164652 | 204036 0 | 47 | 1717 1189.53/1189.99 c 1182s | 16 | 4308364 | 164852 | 204036 0 | 47 | 1717 1192.04/1192.49 c 1185s | 16 | 4321967 | 165052 | 204036 0 | 47 | 1717 1195.03/1195.48 c 1188s | 16 | 4332498 | 165252 | 204036 0 | 47 | 1717 1197.64/1198.09 c 1190s | 16 | 4335690 | 165452 | 204036 0 | 47 | 1717 1200.84/1201.28 c 1194s | 16 | 4347579 | 165752 | 204036 0 | 47 | 1717 1203.63/1204.00 c 1196s | 16 | 4359283 | 165952 | 204036 0 | 47 | 1717 1206.03/1206.49 c 1199s | 16 | 4367875 | 166152 | 204036 0 | 47 | 1717 1208.13/1208.50 c 1201s | 16 | 4369158 | 166352 | 204036 0 | 47 | 1717 1211.32/1211.75 c 1204s | 16 | 4370306 | 166552 | 204036 0 | 47 | 1717 1213.72/1214.18 c 1207s | 16 | 4370876 | 166752 | 204036 0 | 47 | 1717 1217.02/1217.42 c 1210s | 16 | 4382624 | 166952 | 204036 0 | 47 | 1717 1219.82/1220.26 c 1213s | 16 | 4395676 | 167152 | 204036 0 | 47 | 1717 1222.12/1222.59 c 1215s | 16 | 4402913 | 167352 | 204036 0 | 47 | 1717 1224.32/1224.73 c 1217s | 16 | 4411597 | 167552 | 204036 0 | 47 | 1717 1227.42/1227.84 c 1220s | 16 | 4416165 | 167852 | 204036 0 | 47 | 1717 1229.53/1229.99 c 1222s | 16 | 4417006 | 168152 | 204036 0 | 47 | 1717 1231.92/1232.36 c 1225s | 16 | 4417771 | 168352 | 204036 0 | 47 | 1717 1235.12/1235.58 c 1228s | 16 | 4421637 | 168652 | 204036 0 | 47 | 1717 1238.33/1238.76 c 1231s | 16 | 4438379 | 168852 | 204036 0 | 47 | 1717 1242.32/1242.71 c 1235s | 16 | 4449241 | 169052 | 204036 0 | 47 | 1717 1245.02/1245.47 c 1238s | 16 | 4450387 | 169152 | 204036 0 | 47 | 1717 1247.52/1247.90 c 1240s | 16 | 4450985 | 169352 | 204036 0 | 47 | 1717 1250.33/1250.73 c 1243s | 16 | 4451768 | 169552 | 204036 0 | 47 | 1717 1252.32/1252.79 c 1245s | 16 | 4452632 | 169752 | 204036 0 | 47 | 1717 1255.02/1255.42 c 1248s | 16 | 4458326 | 170052 | 204036 0 | 47 | 1717 1257.82/1258.25 c 1251s | 16 | 4467569 | 170252 | 204036 0 | 47 | 1717 1260.42/1260.89 c 1253s | 16 | 4475261 | 170452 | 204036 0 | 47 | 1717 1262.53/1262.91 c 1255s | 16 | 4479294 | 170652 | 204036 0 | 47 | 1717 1264.52/1264.94 c 1257s | 16 | 4482251 | 170852 | 204036 0 | 47 | 1717 1267.02/1267.44 c 1260s | 16 | 4483159 | 171052 | 204036 0 | 47 | 1717 1270.31/1270.75 c 1263s | 16 | 4484508 | 171352 | 204036 0 | 47 | 1717 1272.42/1272.85 c 1265s | 16 | 4488271 | 171552 | 204036 0 | 47 | 1717 1275.91/1276.38 c 1269s | 16 | 4511363 | 171752 | 204036 0 | 47 | 1717 1279.21/1279.68 c 1272s | 16 | 4525141 | 171952 | 204036 0 | 47 | 1717 1281.81/1282.27 c 1275s | 16 | 4526529 | 172252 | 204036 0 | 47 | 1717 1284.31/1284.74 c 1277s | 16 | 4535516 | 172452 | 204036 0 | 47 | 1717 1286.91/1287.35 c 1280s | 16 | 4550320 | 172652 | 204036 0 | 47 | 1717 1289.81/1290.23 c 1283s | 16 | 4558001 | 172852 | 204036 0 | 47 | 1717 1291.91/1292.39 c 1285s | 16 | 4559059 | 173052 | 204036 0 | 47 | 1717 1294.91/1295.31 c 1288s | 16 | 4569307 | 173352 | 204036 0 | 47 | 1717 1297.01/1297.46 c 1290s | 16 | 4570301 | 173552 | 204036 0 | 47 | 1717 1300.01/1300.48 c 1293s | 16 | 4571698 | 173852 | 204036 0 | 47 | 1717 1302.21/1302.64 c 1295s | 16 | 4572946 | 174052 | 204036 0 | 47 | 1717 1305.11/1305.56 c 1298s | 16 | 4589947 | 174252 | 204036 0 | 47 | 1717 1307.91/1308.39 c 1301s | 16 | 4605070 | 174452 | 204036 0 | 47 | 1717 1311.21/1311.61 c 1304s | 16 | 4608922 | 174652 | 204036 0 | 47 | 1717 1313.61/1314.09 c 1306s | 16 | 4610561 | 174952 | 204036 0 | 47 | 1717 1315.81/1316.24 c 1309s | 16 | 4617698 | 175152 | 204036 0 | 47 | 1717 1318.01/1318.40 c 1311s | 16 | 4627182 | 175352 | 204036 0 | 47 | 1717 1320.31/1320.72 c 1313s | 16 | 4631547 | 175552 | 204036 0 | 47 | 1717 1322.51/1322.98 c 1315s | 16 | 4636809 | 175752 | 204036 0 | 47 | 1717 1325.41/1325.82 c 1318s | 16 | 4639436 | 176052 | 204036 0 | 47 | 1717 1328.11/1328.53 c 1321s | 16 | 4641409 | 176352 | 204036 0 | 47 | 1717 1330.40/1330.86 c 1323s | 16 | 4642076 | 176552 | 204036 0 | 47 | 1717 1332.60/1333.09 c 1325s | 16 | 4650576 | 176752 | 204036 0 | 47 | 1717 1335.50/1335.97 c 1328s | 16 | 4662380 | 176952 | 204036 0 | 47 | 1717 1338.00/1338.41 c 1331s | 16 | 4669021 | 177152 | 204036 0 | 47 | 1717 1340.30/1340.74 c 1333s | 16 | 4671621 | 177352 | 204036 0 | 47 | 1717 1343.20/1343.62 c 1336s | 16 | 4672625 | 177652 | 204036 0 | 47 | 1717 1346.30/1346.75 c 1339s | 16 | 4675138 | 177952 | 204036 0 | 47 | 1717 1348.70/1349.18 c 1342s | 16 | 4680985 | 178152 | 204036 0 | 47 | 1717 1351.00/1351.40 c 1344s | 16 | 4690552 | 178352 | 204036 0 | 47 | 1717 1353.00/1353.45 c 1346s | 16 | 4691610 | 178552 | 204036 0 | 47 | 1717 1355.91/1356.40 c 1349s | 16 | 4693880 | 178852 | 204036 0 | 47 | 1717 1358.21/1358.61 c 1351s | 16 | 4697311 | 179052 | 204036 0 | 47 | 1717 1360.41/1360.83 c 1353s | 16 | 4707425 | 179252 | 204036 0 | 47 | 1717 1362.80/1363.26 c 1356s | 16 | 4714315 | 179452 | 204036 0 | 47 | 1717 1365.70/1366.15 c 1359s | 16 | 4715817 | 179752 | 204036 0 | 47 | 1717 1368.50/1368.92 c 1361s | 16 | 4716478 | 180052 | 204036 0 | 47 | 1717 1370.90/1371.37 c 1364s | 16 | 4721247 | 180252 | 204036 0 | 47 | 1717 1373.20/1373.60 c 1366s | 16 | 4732676 | 180452 | 204036 0 | 47 | 1717 1375.60/1376.06 c 1368s | 16 | 4737961 | 180652 | 204036 0 | 47 | 1717 1378.40/1378.83 c 1371s | 16 | 4741922 | 180952 | 204036 0 | 47 | 1717 1381.31/1381.74 c 1374s | 16 | 4745754 | 181252 | 204036 0 | 47 | 1717 1384.00/1384.47 c 1377s | 16 | 4747672 | 181552 | 204036 0 | 47 | 1717 1386.20/1386.68 c 1379s | 16 | 4748320 | 181752 | 204036 0 | 47 | 1717 1388.60/1389.04 c 1381s | 16 | 4756848 | 181952 | 204036 0 | 47 | 1717 1391.00/1391.41 c 1384s | 16 | 4768399 | 182152 | 204036 0 | 47 | 1717 1393.30/1393.78 c 1386s | 16 | 4773765 | 182352 | 204036 0 | 47 | 1717 1395.50/1395.93 c 1388s | 16 | 4781894 | 182552 | 204036 0 | 47 | 1717 1398.39/1398.81 c 1391s | 16 | 4786023 | 182852 | 204036 0 | 47 | 1717 1401.00/1401.44 c 1394s | 16 | 4788697 | 183152 | 204036 0 | 47 | 1717 1403.79/1404.27 c 1397s | 16 | 4789544 | 183452 | 204036 0 | 47 | 1717 1407.49/1407.95 c 1400s | 16 | 4798981 | 183752 | 204036 0 | 47 | 1717 1410.39/1410.86 c 1403s | 16 | 4814328 | 183952 | 204036 0 | 47 | 1717 1413.10/1413.53 c 1406s | 16 | 4825829 | 184152 | 204036 0 | 47 | 1717 1415.40/1415.87 c 1408s | 16 | 4826797 | 184352 | 204036 0 | 47 | 1717 1417.99/1418.49 c 1411s | 16 | 4827525 | 184552 | 204036 0 | 47 | 1717 1420.29/1420.70 c 1413s | 16 | 4835037 | 184752 | 204036 0 | 47 | 1717 1422.69/1423.14 c 1416s | 16 | 4846042 | 184952 | 204036 0 | 47 | 1717 1425.39/1425.83 c 1418s | 16 | 4853329 | 185152 | 204036 0 | 47 | 1717 1427.40/1427.90 c 1420s | 16 | 4854609 | 185352 | 204036 0 | 47 | 1717 1429.99/1430.49 c 1423s | 16 | 4856330 | 185552 | 204036 0 | 47 | 1717 1432.59/1433.09 c 1425s | 16 | 4858430 | 185852 | 204036 0 | 47 | 1717 1435.39/1435.88 c 1428s | 16 | 4859961 | 186152 | 204036 0 | 47 | 1717 1438.29/1438.73 c 1431s | 16 | 4863747 | 186452 | 204036 0 | 47 | 1717 1440.89/1441.30 c 1434s | 16 | 4868448 | 186652 | 204036 0 | 47 | 1717 1443.29/1443.78 c 1436s | 16 | 4872119 | 186852 | 204036 0 | 47 | 1717 1445.79/1446.23 c 1439s | 16 | 4874756 | 187052 | 204036 0 | 47 | 1717 1447.79/1448.24 c 1441s | 16 | 4880635 | 187252 | 204036 0 | 47 | 1717 1450.19/1450.66 c 1443s | 16 | 4881463 | 187452 | 204036 0 | 47 | 1717 1452.49/1452.97 c 1445s | 16 | 4882796 | 187652 | 204036 0 | 47 | 1717 1454.89/1455.32 c 1448s | 16 | 4889843 | 187852 | 204036 0 | 47 | 1717 1457.58/1458.03 c 1450s | 16 | 4899937 | 188052 | 204036 0 | 47 | 1717 1459.88/1460.36 c 1453s | 16 | 4901526 | 188252 | 204036 0 | 47 | 1717 1462.18/1462.64 c 1455s | 16 | 4908791 | 188452 | 204036 0 | 47 | 1717 1464.58/1465.01 c 1457s | 16 | 4909747 | 188652 | 204036 0 | 47 | 1717 1467.78/1468.29 c 1461s | 16 | 4910824 | 188952 | 204036 0 | 47 | 1717 1470.78/1471.20 c 1464s | 16 | 4911637 | 189152 | 204036 0 | 47 | 1717 1473.38/1473.81 c 1466s | 16 | 4919767 | 189352 | 204036 0 | 47 | 1717 1476.18/1476.65 c 1469s | 16 | 4929091 | 189552 | 204036 0 | 47 | 1717 1478.58/1479.05 c 1471s | 16 | 4930109 | 189752 | 204036 0 | 47 | 1717 1480.78/1481.25 c 1474s | 16 | 4933995 | 189952 | 204036 0 | 47 | 1717 1483.59/1484.02 c 1476s | 16 | 4935048 | 190152 | 204036 0 | 47 | 1717 1485.58/1486.02 c 1478s | 16 | 4935660 | 190352 | 204036 0 | 47 | 1717 1488.48/1488.90 c 1481s | 16 | 4953271 | 190552 | 204036 0 | 47 | 1717 1491.29/1491.71 c 1484s | 16 | 4966203 | 190752 | 204036 0 | 47 | 1717 1493.28/1493.73 c 1486s | 16 | 4968246 | 190952 | 204036 0 | 47 | 1717 1495.48/1495.97 c 1488s | 16 | 4968935 | 191152 | 204036 0 | 47 | 1717 1498.28/1498.70 c 1491s | 16 | 4971744 | 191552 | 204036 0 | 47 | 1717 1500.68/1501.14 c 1494s | 16 | 4982090 | 191752 | 204036 0 | 47 | 1717 1503.68/1504.18 c 1497s | 16 | 5004564 | 191952 | 204036 0 | 47 | 1717 1506.78/1507.20 c 1500s | 16 | 5017190 | 192152 | 204036 0 | 47 | 1717 1509.48/1509.99 c 1502s | 16 | 5019186 | 192352 | 204036 0 | 47 | 1717 1511.88/1512.35 c 1505s | 16 | 5021940 | 192652 | 204036 0 | 47 | 1717 1514.88/1515.32 c 1508s | 16 | 5024018 | 193052 | 204036 0 | 47 | 1717 1517.98/1518.41 c 1511s | 16 | 5033507 | 193352 | 204036 0 | 47 | 1717 1520.77/1521.24 c 1514s | 16 | 5048452 | 193552 | 204036 0 | 47 | 1717 1523.27/1523.78 c 1516s | 16 | 5058764 | 193752 | 204036 0 | 47 | 1717 1525.87/1526.37 c 1519s | 16 | 5062937 | 193952 | 204036 0 | 47 | 1717 1528.87/1529.35 c 1522s | 16 | 5064375 | 194152 | 204036 0 | 47 | 1717 1531.17/1531.61 c 1524s | 16 | 5066516 | 194352 | 204036 0 | 47 | 1717 1533.77/1534.24 c 1527s | 16 | 5067331 | 194652 | 204036 0 | 47 | 1717 1536.77/1537.27 c 1530s | 16 | 5076233 | 194952 | 204036 0 | 47 | 1717 1539.97/1540.43 c 1533s | 16 | 5092155 | 195152 | 204036 0 | 47 | 1717 1542.98/1543.46 c 1536s | 16 | 5099769 | 195352 | 204036 0 | 47 | 1717 1546.67/1547.15 c 1540s | 16 | 5105061 | 195752 | 224440 0 | 47 | 1717 1549.58/1550.06 c 1542s | 16 | 5122998 | 195952 | 224440 0 | 47 | 1717 1552.67/1553.12 c 1545s | 16 | 5134783 | 196152 | 224440 0 | 47 | 1717 1555.08/1555.55 c 1548s | 16 | 5138991 | 196352 | 224440 0 | 47 | 1717 1557.07/1557.59 c 1550s | 16 | 5140004 | 196552 | 224440 0 | 47 | 1717 1559.17/1559.66 c 1552s | 16 | 5140930 | 196852 | 224440 0 | 47 | 1717 1561.37/1561.89 c 1554s | 16 | 5149087 | 197052 | 224440 0 | 47 | 1717 1563.97/1564.48 c 1557s | 16 | 5155977 | 197252 | 224440 0 | 47 | 1717 1566.47/1566.96 c 1559s | 17 | 5162724 | 197432 | 224440 0 | 47 | 1717 1569.28/1569.78 c 1562s | 17 | 5169358 | 197532 | 224440 0 | 47 | 1717 1571.87/1572.34 c 1565s | 17 | 5176620 | 197732 | 224440 0 | 47 | 1717 1574.17/1574.60 c 1567s | 17 | 5177993 | 197932 | 224440 0 | 47 | 1717 1576.47/1576.91 c 1569s | 17 | 5178443 | 198132 | 224440 0 | 47 | 1717 1578.77/1579.25 c 1572s | 17 | 5181357 | 198332 | 224440 0 | 47 | 1717 1581.07/1581.53 c 1574s | 17 | 5185521 | 198532 | 224440 0 | 47 | 1717 1583.27/1583.79 c 1576s | 17 | 5194848 | 198732 | 224440 0 | 47 | 1717 1586.26/1586.78 c 1579s | 17 | 5203695 | 198932 | 224440 0 | 47 | 1717 1588.76/1589.26 c 1582s | 17 | 5204866 | 199132 | 224440 0 | 47 | 1717 1591.86/1592.32 c 1585s | 17 | 5207590 | 199332 | 224440 0 | 47 | 1717 1594.96/1595.49 c 1588s | 17 | 5208213 | 199632 | 224440 0 | 47 | 1717 1598.66/1599.11 c 1591s | 17 | 5221394 | 199832 | 224440 0 | 47 | 1717 1600.96/1601.41 c 1594s | 17 | 5235193 | 200032 | 224440 0 | 47 | 1717 1603.26/1603.70 c 1596s | 17 | 5240545 | 200232 | 224440 0 | 47 | 1717 1605.67/1606.11 c 1598s | 17 | 5242103 | 200532 | 224440 0 | 47 | 1717 1609.06/1609.57 c 1602s | 17 | 5255911 | 200732 | 224440 0 | 47 | 1717 1611.76/1612.29 c 1605s | 17 | 5271031 | 200932 | 224440 0 | 47 | 1717 1614.56/1615.04 c 1607s | 17 | 5278174 | 201132 | 224440 0 | 47 | 1717 1616.67/1617.17 c 1610s | 17 | 5279692 | 201332 | 224440 0 | 47 | 1717 1619.76/1620.27 c 1613s | 17 | 5281155 | 201632 | 224440 0 | 47 | 1717 1621.96/1622.42 c 1615s | 17 | 5284297 | 201832 | 224440 0 | 47 | 1717 1623.96/1624.47 c 1617s | 17 | 5290563 | 202032 | 224440 0 | 47 | 1717 1626.57/1627.07 c 1619s | 17 | 5306445 | 202232 | 224440 0 | 47 | 1717 1629.16/1629.63 c 1622s | 17 | 5324036 | 202432 | 224440 0 | 47 | 1717 1631.76/1632.29 c 1625s | 17 | 5327539 | 202632 | 224440 0 | 47 | 1717 1634.06/1634.51 c 1627s | 17 | 5327904 | 202832 | 224440 0 | 47 | 1717 1636.56/1637.07 c 1629s | 17 | 5332094 | 203032 | 224440 0 | 47 | 1717 1639.26/1639.75 c 1632s | 17 | 5347695 | 203232 | 224440 0 | 47 | 1717 1641.56/1642.02 c 1634s | 17 | 5353159 | 203432 | 224440 0 | 47 | 1717 1643.76/1644.25 c 1637s | 17 | 5357456 | 203632 | 224440 0 | 47 | 1717 1646.26/1646.75 c 1639s | 17 | 5358348 | 203832 | 224440 0 | 47 | 1717 1648.95/1649.50 c 1642s | 17 | 5362917 | 204132 | 224440 0 | 47 | 1717 1651.15/1651.67 c 1644s | 17 | 5369326 | 204332 | 224440 0 | 47 | 1717 1654.06/1654.56 c 1647s | 17 | 5389844 | 204532 | 224440 0 | 47 | 1717 1656.45/1656.95 c 1649s | 17 | 5395952 | 204732 | 224440 0 | 47 | 1717 1658.85/1659.30 c 1652s | 17 | 5396485 | 204932 | 224440 0 | 47 | 1717 1661.05/1661.57 c 1654s | 17 | 5409317 | 205132 | 224440 0 | 47 | 1717 1663.55/1664.09 c 1656s | 17 | 5427448 | 205332 | 224440 0 | 47 | 1717 1666.25/1666.76 c 1659s | 17 | 5431232 | 205532 | 224440 0 | 47 | 1717 1668.45/1668.91 c 1661s | 17 | 5432099 | 205732 | 224440 0 | 47 | 1717 1670.46/1670.98 c 1663s | 17 | 5433107 | 205932 | 224440 0 | 47 | 1717 1672.95/1673.42 c 1666s | 17 | 5442497 | 206132 | 224440 0 | 47 | 1717 1675.25/1675.70 c 1668s | 17 | 5457293 | 206332 | 224440 0 | 47 | 1717 1677.75/1678.22 c 1671s | 17 | 5468271 | 206532 | 224440 0 | 47 | 1717 1679.85/1680.39 c 1673s | 17 | 5469638 | 206832 | 224440 0 | 47 | 1717 1682.35/1682.88 c 1675s | 17 | 5471242 | 207032 | 224440 0 | 47 | 1717 1684.86/1685.31 c 1678s | 17 | 5472963 | 207332 | 224440 0 | 47 | 1717 1687.95/1688.47 c 1681s | 17 | 5483370 | 207632 | 224440 0 | 47 | 1717 1690.26/1690.72 c 1683s | 17 | 5496863 | 207832 | 224440 0 | 47 | 1717 1692.45/1692.99 c 1685s | 17 | 5501362 | 208032 | 224440 0 | 47 | 1717 1695.35/1695.86 c 1688s | 17 | 5502272 | 208332 | 224440 0 | 47 | 1717 1698.45/1698.96 c 1691s | 17 | 5511746 | 208632 | 224440 0 | 47 | 1717 1701.95/1702.46 c 1695s | 17 | 5532252 | 208832 | 224440 0 | 47 | 1717 1704.84/1705.31 c 1698s | 17 | 5534859 | 209032 | 224440 0 | 47 | 1717 1707.54/1708.04 c 1700s | 17 | 5535702 | 209232 | 224440 0 | 47 | 1717 1710.34/1710.82 c 1703s | 17 | 5546884 | 209432 | 224440 0 | 47 | 1717 1712.94/1713.43 c 1706s | 17 | 5560167 | 209632 | 224440 0 | 47 | 1717 1715.14/1715.65 c 1708s | 17 | 5561773 | 209832 | 224440 0 | 47 | 1717 1718.14/1718.65 c 1711s | 17 | 5572808 | 210132 | 224440 0 | 47 | 1717 1720.84/1721.33 c 1714s | 17 | 5580406 | 210332 | 224440 0 | 47 | 1717 1723.84/1724.31 c 1717s | 17 | 5588043 | 210632 | 224440 0 | 47 | 1717 1725.84/1726.33 c 1719s | 17 | 5591067 | 210832 | 224440 0 | 47 | 1717 1728.24/1728.77 c 1721s | 17 | 5592076 | 211132 | 224440 0 | 47 | 1717 1730.34/1730.88 c 1723s | 17 | 5593032 | 211332 | 224440 0 | 47 | 1717 1733.34/1733.82 c 1726s | 17 | 5600255 | 211632 | 224440 0 | 47 | 1717 1735.94/1736.47 c 1729s | 17 | 5610097 | 211832 | 224440 0 | 47 | 1717 1738.14/1738.66 c 1731s | 17 | 5616235 | 212032 | 224440 0 | 47 | 1717 1740.64/1741.19 c 1734s | 17 | 5623610 | 212232 | 224440 0 | 47 | 1717 1743.24/1743.77 c 1736s | 17 | 5625094 | 212532 | 224440 0 | 47 | 1717 1746.14/1746.61 c 1739s | 17 | 5626515 | 212832 | 224440 0 | 47 | 1717 1748.44/1748.96 c 1741s | 17 | 5633378 | 213032 | 224440 0 | 47 | 1717 1751.04/1751.59 c 1744s | 17 | 5646735 | 213232 | 224440 0 | 47 | 1717 1753.54/1754.05 c 1746s | 17 | 5652099 | 213432 | 224440 0 | 47 | 1717 1756.84/1757.34 c 1750s | 17 | 5653602 | 213732 | 224440 0 | 47 | 1717 1759.84/1760.35 c 1753s | 17 | 5659745 | 214032 | 224440 0 | 47 | 1717 1761.94/1762.48 c 1755s | 17 | 5670797 | 214232 | 224440 0 | 47 | 1717 1764.74/1765.26 c 1758s | 17 | 5677407 | 214532 | 224440 0 | 47 | 1717 1767.14/1767.70 c 1760s | 17 | 5678974 | 214832 | 224440 0 | 47 | 1717 1769.55/1770.09 c 1762s | 17 | 5682200 | 215032 | 224440 0 | 47 | 1717 1771.53/1772.10 c 1764s | 17 | 5683174 | 215232 | 224440 0 | 47 | 1717 1774.33/1774.86 c 1767s | 17 | 5683982 | 215532 | 224440 0 | 47 | 1717 1776.93/1777.40 c 1770s | 17 | 5685309 | 215832 | 224440 0 | 47 | 1717 1779.93/1780.44 c 1773s | 17 | 5689249 | 216032 | 224440 0 | 47 | 1717 1782.33/1782.84 c 1775s | 17 | 5694097 | 216232 | 224440 0 | 47 | 1717 1784.84/1785.36 c 1778s | 17 | 5703354 | 216432 | 224440 0 | 47 | 1717 1787.53/1788.02 c 1780s | 17 | 5713272 | 216632 | 224440 0 | 47 | 1717 1789.83/1790.36 c 1783s | 17 | 5714026 | 216832 | 224440 0 | 47 | 1717 1792.73/1793.29 c 1786s | 17 | 5721120 | 217032 | 224440 0 | 47 | 1717 1796.33/1796.82 c 1789s | 17 | 5723337 | 217232 | 224440 0 | 47 | 1717 1799.93/1800.46 c 1793s | 17 | 5724896 | 217532 | 224440 0 | 47 | 1717
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-4079852-1465250120/watcher-4079852-1465250120 -o /tmp/evaluation-result-4079852-1465250120/solver-4079852-1465250120 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079852-1465250120.opb pid=1696 running on 8 cores: 0-3,8-11 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.00 2.01 2.00 3/261 1699 /proc/meminfo: memFree=30837700/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=819644 CPUtime=0 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 3075 0 0 0 0 0 0 0 20 0 4 0 106854074 839315456 3946 33554432000 4194304 16246674 140736599244192 140736599243616 13880264 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 205679 3954 441 2943 0 202573 0 [pid=1699/tid=1700] ppid=1696 vsize=1024444 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1049030656 4746 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1029564 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1054273536 4766 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1034684 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1059516416 4783 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 2.00 2.01 2.00 3/261 1699 /proc/meminfo: memFree=30837700/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=1301060 CPUtime=0.09 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 26152 0 0 0 6 3 0 0 20 0 4 0 106854074 1332285440 26962 33554432000 4194304 16246674 140736599244192 140736599243504 7371468 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 325265 26974 799 2943 0 322159 0 [pid=1699/tid=1700] ppid=1696 vsize=1301060 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1332285440 26985 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1301060 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1332285440 26996 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1301060 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1332285440 27007 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1301060 [startup+0.200503 s] /proc/loadavg: 2.00 2.01 2.00 3/261 1699 /proc/meminfo: memFree=30837700/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=1313348 CPUtime=0.18 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 47685 0 0 0 12 6 0 0 20 0 4 0 106854074 1344868352 49005 33554432000 4194304 16246674 140736599244192 140736599243504 14795916 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 328337 49005 799 2943 0 325231 0 [pid=1699/tid=1700] ppid=1696 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1344868352 49005 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1344868352 49005 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1344868352 49005 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1313348 [startup+0.300515 s] /proc/loadavg: 2.00 2.01 2.00 3/261 1699 /proc/meminfo: memFree=30837700/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=1313348 CPUtime=0.29 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 58949 0 0 0 21 8 0 0 20 0 4 0 106854074 1344868352 60269 33554432000 4194304 16246674 140736599244192 140736599243504 14073329 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 328337 60269 799 2943 0 325231 0 [pid=1699/tid=1700] ppid=1696 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1344868352 60269 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1344868352 60269 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1344868352 60269 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700395 s] /proc/loadavg: 2.00 2.01 2.00 3/261 1699 /proc/meminfo: memFree=30837700/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=1313348 CPUtime=0.69 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 67369 0 0 0 60 9 0 0 20 0 4 0 106854074 1344868352 68689 33554432000 4194304 16246674 140736599244192 140736599243504 7374592 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 328337 68689 800 2943 0 325231 0 [pid=1699/tid=1700] ppid=1696 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1344868352 68689 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1344868352 68689 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1344868352 68689 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50039 s] /proc/loadavg: 2.00 2.01 2.00 3/265 1703 /proc/meminfo: memFree=30433576/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=1314372 CPUtime=1.49 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 172508 0 0 0 124 25 0 0 20 0 4 0 106854074 1345916928 173828 33554432000 4194304 16246674 140736599244192 140736599226112 12481124 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 328593 173835 839 2943 0 325487 0 [pid=1699/tid=1700] ppid=1696 vsize=1314372 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1345916928 173840 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1314372 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1345916928 173846 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1314372 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1345916928 173851 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.1004 s] /proc/loadavg: 2.00 2.01 2.00 3/265 1703 /proc/meminfo: memFree=29720700/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=1350212 CPUtime=3.09 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 278232 0 0 0 271 38 0 0 20 0 4 0 106854074 1382617088 279552 33554432000 4194304 16246674 140736599244192 140736599243504 5531364 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 337553 279552 896 2943 0 334447 0 [pid=1699/tid=1700] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279552 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279552 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279552 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1350212 [startup+6.30042 s] /proc/loadavg: 2.16 2.05 2.01 3/264 1703 /proc/meminfo: memFree=29718244/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=1350212 CPUtime=6.29 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 278249 0 0 0 591 38 0 0 20 0 4 0 106854074 1382617088 279569 33554432000 4194304 16246674 140736599244192 140736599226112 5712604 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 337553 279569 911 2943 0 334447 0 [pid=1699/tid=1700] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279569 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279569 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279569 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1350212 [startup+12.7004 s] /proc/loadavg: 2.15 2.04 2.01 3/265 1704 /proc/meminfo: memFree=29717948/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=1350212 CPUtime=12.68 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 278253 0 0 0 1230 38 0 0 20 0 4 0 106854074 1382617088 279573 33554432000 4194304 16246674 140736599244192 140736599226112 5712608 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 337553 279573 914 2943 0 334447 0 [pid=1699/tid=1700] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279573 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279573 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279573 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1350212 [startup+25.5005 s] /proc/loadavg: 2.11 2.04 2.01 3/265 1704 /proc/meminfo: memFree=29718824/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=1350212 CPUtime=25.48 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 278253 0 0 0 2510 38 0 0 20 0 4 0 106854074 1382617088 279573 33554432000 4194304 16246674 140736599244192 140736599226112 5712608 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 337553 279573 914 2943 0 334447 0 [pid=1699/tid=1700] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279573 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279573 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279573 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1350212 [startup+51.1005 s] /proc/loadavg: 2.07 2.04 2.01 3/265 1704 /proc/meminfo: memFree=29719080/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=1350212 CPUtime=51.08 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 278253 0 0 0 5070 38 0 0 20 0 4 0 106854074 1382617088 279573 33554432000 4194304 16246674 140736599244192 140736599226112 5662824 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 337553 279573 914 2943 0 334447 0 [pid=1699/tid=1700] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279573 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279573 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279573 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1350212 [startup+102.301 s] /proc/loadavg: 2.03 2.03 2.00 3/265 1705 /proc/meminfo: memFree=29719084/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=1350212 CPUtime=102.28 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 278253 0 0 0 10190 38 0 0 20 0 4 0 106854074 1382617088 279573 33554432000 4194304 16246674 140736599244192 140736599226112 6012041 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 337553 279573 914 2943 0 334447 0 [pid=1699/tid=1700] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279573 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279573 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279573 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1350212 ################ # More data... # ################ /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1350212 [startup+1362.3 s] /proc/loadavg: 2.06 2.04 2.00 3/265 1821 /proc/meminfo: memFree=29696944/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=1350212 CPUtime=1361.9 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 278535 0 0 0 136150 40 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140736599226112 5712004 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 337553 279574 915 2943 0 334447 0 [pid=1699/tid=1700] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1350212 [startup+1422.3 s] /proc/loadavg: 2.06 2.04 2.00 3/265 1822 /proc/meminfo: memFree=29696480/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=1350212 CPUtime=1421.9 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 278535 0 0 0 142150 40 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140736599226112 5663666 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 337553 279574 915 2943 0 334447 0 [pid=1699/tid=1700] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1350212 [startup+1482.3 s] /proc/loadavg: 2.02 2.03 2.00 3/266 1826 /proc/meminfo: memFree=29695764/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=1350212 CPUtime=1481.88 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 278535 0 0 0 148148 40 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140736599226112 5822428 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 337553 279574 915 2943 0 334447 0 [pid=1699/tid=1700] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1350212 [startup+1542.31 s] /proc/loadavg: 2.00 2.02 2.00 3/265 1827 /proc/meminfo: memFree=29696516/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=1350212 CPUtime=1541.88 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 278535 0 0 0 154148 40 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140736599226112 5672188 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 337553 279574 915 2943 0 334447 0 [pid=1699/tid=1700] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1350212 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/265 1829 /proc/meminfo: memFree=29696524/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=1350212 CPUtime=1601.86 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 278535 0 0 0 160146 40 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140736599226112 5711784 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 337553 279574 915 2943 0 334447 0 [pid=1699/tid=1700] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1350212 [startup+1662.3 s] /proc/loadavg: 2.03 2.03 2.00 3/265 1830 /proc/meminfo: memFree=29696132/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=1350212 CPUtime=1661.85 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 278535 0 0 0 166145 40 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140736599226112 5822428 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 337553 279574 915 2943 0 334447 0 [pid=1699/tid=1700] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279574 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1350212 [startup+1722.3 s] /proc/loadavg: 2.04 2.03 2.00 3/265 1831 /proc/meminfo: memFree=29696700/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=1350212 CPUtime=1721.84 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 278536 0 0 0 172144 40 0 0 20 0 4 0 106854074 1382617088 279577 33554432000 4194304 16246674 140736599244192 140736599226112 5712604 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 337553 279577 915 2943 0 334447 0 [pid=1699/tid=1700] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279577 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279577 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279577 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1350212 [startup+1782.3 s] /proc/loadavg: 2.01 2.02 2.00 3/265 1832 /proc/meminfo: memFree=29696576/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=1350212 CPUtime=1781.83 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 278536 0 0 0 178143 40 0 0 20 0 4 0 106854074 1382617088 279577 33554432000 4194304 16246674 140736599244192 140736599226112 5712004 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 337553 279577 915 2943 0 334447 0 [pid=1699/tid=1700] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279577 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279577 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279577 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1350212 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.01 2.02 2.00 3/265 1832 /proc/meminfo: memFree=29696824/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=1350212 CPUtime=1800.03 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 278536 0 0 0 179963 40 0 0 20 0 4 0 106854074 1382617088 279577 33554432000 4194304 16246674 140736599244192 140736599226112 12467372 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 337553 279577 915 2943 0 334447 0 [pid=1699/tid=1700] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279577 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279577 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279577 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1350212 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 1699 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.01 2.02 2.00 3/265 1832 /proc/meminfo: memFree=29696824/32872528 swapFree=9196/9196 [pid=1699] ppid=1696 vsize=1350212 CPUtime=1800.03 cores=0-3,8-11 /proc/1699/stat : 1699 (toysat) R 1696 1699 25889 0 -1 4202496 278536 0 0 0 179963 40 0 0 20 0 4 0 106854074 1382617088 279577 33554432000 4194304 16246674 140736599244192 140736599226112 12467372 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/1699/statm: 337553 279577 915 2943 0 334447 0 [pid=1699/tid=1700] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1700/stat : 1700 (toysat) S 1696 1699 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279577 33554432000 4194304 16246674 140736599244192 140455251520752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=1699/tid=1701] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1701/stat : 1701 (toysat) S 1696 1699 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279577 33554432000 4194304 16246674 140736599244192 140455241030896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=1699/tid=1702] ppid=1696 vsize=1350212 CPUtime=0 cores=0-3,8-11 /proc/1699/task/1702/stat : 1702 (toysat) S 1696 1699 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106854074 1382617088 279577 33554432000 4194304 16246674 140736599244192 140455161359536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1350212 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1799.64 CPU system time (s): 0.408937 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 1350212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.64 system time used= 0.408937 maximum resident set size= 1118308 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 278536 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= 298 involuntary context switches= 1834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.85096 second user time and 9.62754 second system time The end
Begin job on node132 at 2016-06-06 23:55:21 IDJOB=4079852 IDBENCH=25000 IDSOLVER=2542 FILE ID=node132/4079852-1465250120 RUNJOBID= node132-1465216787-25905 PBS_JOBID= 19843203 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_025_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-4079852-1465250120/watcher-4079852-1465250120 -o /tmp/evaluation-result-4079852-1465250120/solver-4079852-1465250120 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079852-1465250120.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 573ccfe4a636c850c520c5c076507e65 RANDOM SEED=1415915290 node132.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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.41 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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 30837312 kB Buffers: 59588 kB Cached: 109480 kB SwapCached: 3208 kB Active: 1214656 kB Inactive: 99020 kB Active(anon): 1142492 kB Inactive(anon): 4784 kB Active(file): 72164 kB Inactive(file): 94236 kB Unevictable: 9196 kB Mlocked: 9196 kB SwapTotal: 67108856 kB SwapFree: 67094544 kB Dirty: 20356 kB Writeback: 0 kB AnonPages: 1150840 kB Mapped: 10748 kB Shmem: 0 kB Slab: 574444 kB SReclaimable: 14812 kB SUnreclaim: 559632 kB KernelStack: 2192 kB PageTables: 6480 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1295492 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 1130496 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= 71712 MiB End job on node132 at 2016-06-07 00:25:21