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.11 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir03_area_opers.opb |
| MD5SUM | b21d0afca1befeb5506928b558ab5220 |
| 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 | 17 |
| Best CPU time to get the best result obtained on this benchmark | 0.108983 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 17 |
| Optimality of the best value was proved | YES |
| Number of variables | 6672 |
| Total number of constraints | 14168 |
| Number of constraints which are clauses | 14168 |
| 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 | 127 |
| Number of terms in the objective function | 3302 |
| 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 | 3302 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 3302 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-07T00:38:32+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-4079799-1465252712.opb"] 0.00/0.01 c use --random-gen="167113687 3970245932 2521487588 2040431725 422115340 3246592812 1269151620 1976266975 3312554038 2669905987 2653830309 1216103747 1722822092 2099656107 348046862 3721772935 2649171482 1290763187 275879630 628225696 3810228496 3579592204 1377898427 2598864328 1601687241 3647971488 3764062955 3259520089 3692715988 1600384081 3900833469 2589581526 4151148418 666116546 158483897 2300022847 1874051213 2104155519 6377673 493928084 4244361312 1902150551 853230018 2256808318 478800162 391195945 299174498 2457023313 1733104989 253118396 2898671687 832074039 4048248936 3563145990 3842007627 700621566 84301035 860175423 1048043001 3966082410 979425351 1468846209 3062744968 847121997 633545192 2379704120 3012267603 2042882878 2067554015 406727057 2502950346 1264713388 908449392 3894294740 206487936 2930219132 2830379093 277089040 3755333642 231940745 22443784 3191777037 3444606140 3683129857 3380024572 1030032547 2294699576 2949883248 2552892165 2238944014 1305914806 2976665991 2746895447 2829794915 1401587982 547421772 3814825391 2803526125 1781675599 1755585491 167836673 1695747831 3113510585 2582858170 457944793 1043969727 2573232740 1822553053 837548166 3278254656 3422939909 4271397057 1496777651 1764387234 3705884433 3338543210 3631921000 180186595 3957380315 2391950352 1635237881 2707050359 1120882578 42024127 1148564965 1973188083 1889994401 2006627482 2387192769 767400293 1448879784 3546306332 2528500686 1395489673 2134597735 935679681 4008562982 823781684 3198264141 875775744 2953746075 2374194098 382372173 2957827842 1808196498 2539270683 1462866643 268667245 199344533 1211243939 3001314807 1626392480 3482797164 1414338853 926438183 691388884 315737216 1346698570 2325339945 1157908392 1489769903 51163065 840353838 713116493 1024467645 175507438 3088132863 1402049645 2773433476 1022152649 2094080885 4012901344 3309765760 3181733723 3637988809 1079936121 849104592 1864787478 1323653634 2980377790 912295065 1065721590 108592790 1187887472 1683280810 737579746 2228850652 224413162 1805139849 2449264195 3884129862 1299571454 205680417 877926650 3278658912 879934818 4042116277 1471092818 1618711628 4011188273 2157506565 3665094348 3688689756 3104480407 1027861474 3008086154 2194049360 2277157944 830268866 4021065724 3145194521 513906082 2281505992 397350479 2274727373 2239840099 4172235067 725918577 441324682 2609039267 1534044117 33146365 4164639568 2741119554 2306855612 1744833615 1301791336 1897351102 3004764991 3413580376 3276713398 678442420 2493381901 2879682230 2633702285 3098335988 3160300657 3166768179 556623121 1404075093 657006683 1346566170 146797323 2534465322 96014021 2927479483 3848834785 3200489502 1772564467 2169135204 10712170 565864797 107854408 1115569504 426114964 3909793648 255 362436" option to reproduce the execution 0.09/0.11 c #vars 6672 0.09/0.11 c #constraints 14168 0.19/0.28 c BCD2: Hardening is enabled. 0.19/0.28 c BCD2: BiasedSearch is enabled. 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 6946 0 | 2 | 0 0.29/0.32 c 0.0s | 0 | 3300 | 0 | 6946 0 | 2 | 0 0.29/0.32 c #cpu_time = 0.029s 0.29/0.32 c #wall_clock_time = 0.029s 0.29/0.32 c #decision = 3300 0.29/0.32 c #random_decision = 15 0.29/0.32 c #conflict = 0 0.29/0.32 c #restart = 0 0.29/0.32 o 3302 0.29/0.35 c BCD2: updating upper bound: 3302 -> 3301 0.29/0.37 c BCD2: 0 <= obj <= 3301 0.29/0.37 c BCD2: #cores=0, #unrelaxed=3302, #relaxed=0, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=1 bias=1/2 0.29/0.37 c Solving starts ... 0.29/0.37 c ============================[ Search Statistics ]============================ 0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.37 c | | | | Limit GC | Var | Constra 0.29/0.37 c ============================================================================= 0.29/0.37 c 0.0s | 0 | 0 | 0 | 6946 0 | 2 | 0 0.29/0.37 c 0.0s | 0 | 0 | 0 | 6946 0 | 2 | 0 0.29/0.37 c #cpu_time = 0.004s 0.29/0.37 c #wall_clock_time = 0.004s 0.29/0.37 c #decision = 0 0.29/0.37 c #random_decision = 0 0.29/0.37 c #conflict = 0 0.29/0.37 c #restart = 0 0.29/0.37 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.37 c lower bound updated to 1 0.29/0.37 c BCD2: 1 <= obj <= 3301 0.29/0.37 c BCD2: #cores=1, #unrelaxed=3301, #relaxed=1, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=2 bias=2/3 0.29/0.37 c Solving starts ... 0.29/0.39 c ============================[ Search Statistics ]============================ 0.29/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.39 c | | | | Limit GC | Var | Constra 0.29/0.39 c ============================================================================= 0.29/0.39 c 0.0s | 0 | 0 | 0 | 6946 0 | 2 | 0 0.29/0.39 c 0.0s | 0 | 1 | 0 | 6946 0 | 2 | 0 0.29/0.39 c #cpu_time = 0.004s 0.29/0.39 c #wall_clock_time = 0.004s 0.29/0.39 c #decision = 1 0.29/0.39 c #random_decision = 0 0.29/0.39 c #conflict = 0 0.29/0.39 c #restart = 0 0.29/0.39 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.39 c lower bound updated to 2 0.29/0.40 c BCD2: 2 <= obj <= 3301 0.29/0.40 c BCD2: #cores=2, #unrelaxed=3300, #relaxed=2, #hardened=0 0.29/0.40 c BCD2: #sat=1 #unsat=3 bias=3/4 0.29/0.40 c Solving starts ... 0.29/0.40 c ============================[ Search Statistics ]============================ 0.29/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.40 c | | | | Limit GC | Var | Constra 0.29/0.40 c ============================================================================= 0.38/0.40 c 0.0s | 0 | 0 | 0 | 6946 0 | 2 | 0 0.38/0.40 c 0.0s | 0 | 7 | 0 | 6946 0 | 2 | 0 0.38/0.40 c #cpu_time = 0.005s 0.38/0.40 c #wall_clock_time = 0.006s 0.38/0.40 c #decision = 7 0.38/0.40 c #random_decision = 0 0.38/0.40 c #conflict = 0 0.38/0.40 c #restart = 0 0.38/0.40 c BCD2: found a new core of size 3: cost of the new core is >=1 0.38/0.40 c lower bound updated to 3 0.38/0.40 c BCD2: 3 <= obj <= 3301 0.38/0.40 c BCD2: #cores=3, #unrelaxed=3297, #relaxed=5, #hardened=0 0.38/0.40 c BCD2: #sat=1 #unsat=4 bias=4/5 0.38/0.40 c Solving starts ... 0.38/0.40 c ============================[ Search Statistics ]============================ 0.38/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.40 c | | | | Limit GC | Var | Constra 0.38/0.40 c ============================================================================= 0.38/0.40 c 0.0s | 0 | 0 | 0 | 6946 0 | 2 | 0 0.38/0.41 c 0.0s | 0 | 8 | 0 | 6946 0 | 2 | 0 0.38/0.41 c #cpu_time = 0.004s 0.38/0.41 c #wall_clock_time = 0.004s 0.38/0.41 c #decision = 8 0.38/0.41 c #random_decision = 0 0.38/0.41 c #conflict = 0 0.38/0.41 c #restart = 0 0.38/0.41 c BCD2: found a new core of size 3: cost of the new core is >=1 0.38/0.41 c lower bound updated to 4 0.38/0.41 c BCD2: 4 <= obj <= 3301 0.38/0.41 c BCD2: #cores=4, #unrelaxed=3294, #relaxed=8, #hardened=0 0.38/0.41 c BCD2: #sat=1 #unsat=5 bias=5/6 0.38/0.41 c Solving starts ... 0.38/0.41 c ============================[ Search Statistics ]============================ 0.38/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.41 c | | | | Limit GC | Var | Constra 0.38/0.41 c ============================================================================= 0.38/0.41 c 0.0s | 0 | 0 | 0 | 6946 0 | 2 | 0 0.38/0.42 c 0.0s | 0 | 12 | 0 | 6946 0 | 2 | 0 0.38/0.42 c #cpu_time = 0.005s 0.38/0.42 c #wall_clock_time = 0.005s 0.38/0.42 c #decision = 12 0.38/0.42 c #random_decision = 0 0.38/0.42 c #conflict = 0 0.38/0.42 c #restart = 0 0.38/0.42 c BCD2: found a new core of size 7: cost of the new core is >=1 0.38/0.42 c lower bound updated to 5 0.38/0.42 c BCD2: 5 <= obj <= 3301 0.38/0.42 c BCD2: #cores=5, #unrelaxed=3287, #relaxed=15, #hardened=0 0.38/0.42 c BCD2: #sat=1 #unsat=6 bias=6/7 0.38/0.42 c Solving starts ... 0.38/0.42 c ============================[ Search Statistics ]============================ 0.38/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.42 c | | | | Limit GC | Var | Constra 0.38/0.42 c ============================================================================= 0.38/0.42 c 0.0s | 0 | 0 | 0 | 6946 0 | 2 | 0 0.38/0.42 c 0.0s | 0 | 186 | 0 | 6946 0 | 2 | 0 0.38/0.42 c #cpu_time = 0.007s 0.38/0.42 c #wall_clock_time = 0.007s 0.38/0.42 c #decision = 186 0.38/0.42 c #random_decision = 0 0.38/0.42 c #conflict = 0 0.38/0.42 c #restart = 0 0.38/0.42 c BCD2: found a new core of size 59: cost of the new core is >=1 0.38/0.42 c lower bound updated to 6 0.38/0.43 c BCD2: 6 <= obj <= 3301 0.38/0.43 c BCD2: #cores=6, #unrelaxed=3228, #relaxed=74, #hardened=0 0.38/0.43 c BCD2: #sat=1 #unsat=7 bias=7/8 0.38/0.43 c Solving starts ... 0.38/0.43 c ============================[ Search Statistics ]============================ 0.38/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.43 c | | | | Limit GC | Var | Constra 0.38/0.43 c ============================================================================= 0.38/0.43 c 0.0s | 0 | 0 | 0 | 6946 0 | 2 | 0 0.38/0.43 c 0.0s | 0 | 193 | 0 | 6946 0 | 2 | 0 0.38/0.43 c #cpu_time = 0.005s 0.38/0.43 c #wall_clock_time = 0.005s 0.38/0.43 c #decision = 193 0.38/0.43 c #random_decision = 0 0.38/0.43 c #conflict = 0 0.38/0.43 c #restart = 0 0.38/0.43 c BCD2: found a new core of size 8: cost of the new core is >=1 0.38/0.43 c lower bound updated to 7 0.38/0.43 c BCD2: 7 <= obj <= 3301 0.38/0.43 c BCD2: #cores=7, #unrelaxed=3220, #relaxed=82, #hardened=0 0.38/0.43 c BCD2: #sat=1 #unsat=8 bias=8/9 0.38/0.43 c Solving starts ... 0.38/0.43 c ============================[ Search Statistics ]============================ 0.38/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.43 c | | | | Limit GC | Var | Constra 0.38/0.43 c ============================================================================= 0.38/0.43 c 0.0s | 0 | 0 | 0 | 6946 0 | 2 | 0 0.38/0.44 c 0.0s | 0 | 605 | 0 | 6946 0 | 2 | 0 0.38/0.44 c #cpu_time = 0.007s 0.38/0.44 c #wall_clock_time = 0.007s 0.38/0.44 c #decision = 605 0.38/0.44 c #random_decision = 0 0.38/0.44 c #conflict = 0 0.38/0.44 c #restart = 0 0.38/0.44 c BCD2: found a new core of size 27: cost of the new core is >=1 0.38/0.44 c lower bound updated to 8 0.38/0.44 c BCD2: 8 <= obj <= 3301 0.38/0.44 c BCD2: #cores=8, #unrelaxed=3193, #relaxed=109, #hardened=0 0.38/0.44 c BCD2: #sat=1 #unsat=9 bias=9/10 0.38/0.44 c Solving starts ... 0.38/0.44 c ============================[ Search Statistics ]============================ 0.38/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.44 c | | | | Limit GC | Var | Constra 0.38/0.44 c ============================================================================= 0.38/0.44 c 0.0s | 0 | 0 | 0 | 6946 0 | 2 | 0 0.38/0.45 c 0.0s | 0 | 1121 | 0 | 6946 0 | 2 | 0 0.38/0.45 c #cpu_time = 0.008s 0.38/0.45 c #wall_clock_time = 0.008s 0.38/0.45 c #decision = 1121 0.38/0.45 c #random_decision = 0 0.38/0.45 c #conflict = 0 0.38/0.45 c #restart = 0 0.38/0.45 c BCD2: found a new core of size 362: cost of the new core is >=1 0.38/0.45 c lower bound updated to 9 0.38/0.46 c BCD2: 9 <= obj <= 3301 0.38/0.46 c BCD2: #cores=9, #unrelaxed=2831, #relaxed=471, #hardened=0 0.38/0.46 c BCD2: #sat=1 #unsat=10 bias=10/11 0.38/0.46 c Solving starts ... 0.38/0.46 c ============================[ Search Statistics ]============================ 0.38/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.46 c | | | | Limit GC | Var | Constra 0.38/0.46 c ============================================================================= 0.38/0.46 c 0.0s | 0 | 0 | 0 | 6946 0 | 2 | 0 0.38/0.46 c 0.0s | 0 | 909 | 0 | 6946 0 | 2 | 0 0.38/0.46 c #cpu_time = 0.006s 0.38/0.46 c #wall_clock_time = 0.006s 0.38/0.46 c #decision = 909 0.38/0.46 c #random_decision = 0 0.38/0.46 c #conflict = 0 0.38/0.46 c #restart = 0 0.38/0.46 c BCD2: found a new core of size 26: cost of the new core is >=1 0.38/0.46 c lower bound updated to 10 0.38/0.47 c BCD2: 10 <= obj <= 3301 0.38/0.47 c BCD2: #cores=10, #unrelaxed=2805, #relaxed=497, #hardened=0 0.38/0.47 c BCD2: #sat=1 #unsat=11 bias=11/12 0.38/0.47 c Solving starts ... 0.38/0.47 c ============================[ Search Statistics ]============================ 0.38/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.47 c | | | | Limit GC | Var | Constra 0.38/0.47 c ============================================================================= 0.38/0.47 c 0.0s | 0 | 0 | 0 | 6946 0 | 2 | 0 0.38/0.47 c 0.0s | 0 | 895 | 0 | 6946 0 | 2 | 0 0.38/0.47 c #cpu_time = 0.007s 0.38/0.47 c #wall_clock_time = 0.007s 0.38/0.47 c #decision = 895 0.38/0.47 c #random_decision = 0 0.38/0.47 c #conflict = 0 0.38/0.47 c #restart = 0 0.38/0.47 c BCD2: found a new core of size 9: cost of the new core is >=1 0.38/0.47 c lower bound updated to 11 0.38/0.47 c BCD2: 11 <= obj <= 3301 0.38/0.47 c BCD2: #cores=11, #unrelaxed=2796, #relaxed=506, #hardened=0 0.38/0.47 c BCD2: #sat=1 #unsat=12 bias=12/13 0.38/0.48 c Solving starts ... 0.38/0.48 c ============================[ Search Statistics ]============================ 0.38/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.48 c | | | | Limit GC | Var | Constra 0.38/0.48 c ============================================================================= 0.38/0.48 c 0.0s | 0 | 0 | 0 | 6946 0 | 2 | 0 0.38/0.49 c 0.0s | 0 | 919 | 0 | 6946 0 | 2 | 0 0.38/0.49 c #cpu_time = 0.006s 0.38/0.49 c #wall_clock_time = 0.006s 0.38/0.49 c #decision = 919 0.38/0.49 c #random_decision = 0 0.38/0.49 c #conflict = 0 0.38/0.49 c #restart = 0 0.38/0.49 c BCD2: found a new core of size 11: cost of the new core is >=1 0.38/0.49 c lower bound updated to 12 0.38/0.49 c BCD2: 12 <= obj <= 3301 0.38/0.49 c BCD2: #cores=12, #unrelaxed=2785, #relaxed=517, #hardened=0 0.38/0.49 c BCD2: #sat=1 #unsat=13 bias=13/14 0.38/0.49 c Solving starts ... 0.38/0.49 c ============================[ Search Statistics ]============================ 0.38/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.49 c | | | | Limit GC | Var | Constra 0.38/0.49 c ============================================================================= 0.38/0.49 c 0.0s | 0 | 0 | 0 | 6946 0 | 2 | 0 0.38/0.50 c 0.0s | 0 | 1113 | 0 | 6946 0 | 2 | 0 0.38/0.50 c #cpu_time = 0.007s 0.38/0.50 c #wall_clock_time = 0.007s 0.38/0.50 c #decision = 1113 0.38/0.50 c #random_decision = 0 0.38/0.50 c #conflict = 0 0.38/0.50 c #restart = 0 0.38/0.50 c BCD2: found a new core of size 103: cost of the new core is >=1 0.38/0.50 c lower bound updated to 13 0.48/0.50 c BCD2: 13 <= obj <= 3301 0.48/0.50 c BCD2: #cores=13, #unrelaxed=2682, #relaxed=620, #hardened=0 0.48/0.50 c BCD2: #sat=1 #unsat=14 bias=14/15 0.48/0.50 c Solving starts ... 0.48/0.50 c ============================[ Search Statistics ]============================ 0.48/0.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.50 c | | | | Limit GC | Var | Constra 0.48/0.50 c ============================================================================= 0.48/0.50 c 0.0s | 0 | 0 | 0 | 6946 0 | 2 | 0 0.48/0.51 c 0.0s | 0 | 2694 | 0 | 6946 0 | 2 | 0 0.48/0.51 c #cpu_time = 0.012s 0.48/0.51 c #wall_clock_time = 0.012s 0.48/0.51 c #decision = 2694 0.48/0.51 c #random_decision = 0 0.48/0.51 c #conflict = 0 0.48/0.51 c #restart = 0 0.48/0.51 c BCD2: found a new core of size 1167: cost of the new core is >=1 0.48/0.51 c lower bound updated to 14 0.48/0.52 c BCD2: 14 <= obj <= 3301 0.48/0.52 c BCD2: #cores=14, #unrelaxed=1515, #relaxed=1787, #hardened=0 0.48/0.52 c BCD2: #sat=1 #unsat=15 bias=15/16 0.48/0.52 c Solving starts ... 0.48/0.52 c ============================[ Search Statistics ]============================ 0.48/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.52 c | | | | Limit GC | Var | Constra 0.48/0.52 c ============================================================================= 0.48/0.52 c 0.0s | 0 | 0 | 0 | 6946 0 | 2 | 0 0.48/0.54 c 0.0s | 0 | 3086 | 0 | 6946 0 | 2 | 0 0.48/0.54 c #cpu_time = 0.019s 0.48/0.54 c #wall_clock_time = 0.019s 0.48/0.54 c #decision = 3086 0.48/0.54 c #random_decision = 2 0.48/0.54 c #conflict = 0 0.48/0.55 c #restart = 0 0.48/0.55 o 26 0.48/0.55 c BCD2: updating upper bound: 3301 -> 25 0.48/0.56 c BCD2: 14 <= obj <= 25 0.48/0.56 c BCD2: #cores=14, #unrelaxed=1515, #relaxed=1787, #hardened=0 0.48/0.56 c BCD2: #sat=2 #unsat=15 bias=15/17 0.48/0.56 c Solving starts ... 0.48/0.56 c ============================[ Search Statistics ]============================ 0.48/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.56 c | | | | Limit GC | Var | Constra 0.48/0.56 c ============================================================================= 0.48/0.56 c 0.0s | 0 | 0 | 0 | 6946 0 | 2 | 1 0.68/0.71 c 0.2s | 1 | 11227 | 100 | 6946 0 | 2 | 1 0.88/0.93 c 0.4s | 1 | 15713 | 247 | 7641 0 | 2 | 1 0.88/0.93 c #cpu_time = 0.365s 0.88/0.93 c #wall_clock_time = 0.366s 0.88/0.93 c #decision = 15713 0.88/0.93 c #random_decision = 2 0.88/0.93 c #conflict = 247 0.88/0.93 c #restart = 1 0.88/0.93 o 21 0.88/0.93 c BCD2: updating upper bound: 25 -> 20 0.88/0.94 c BCD2: 14 <= obj <= 20 0.88/0.94 c BCD2: #cores=14, #unrelaxed=1515, #relaxed=1787, #hardened=0 0.88/0.94 c BCD2: #sat=3 #unsat=15 bias=15/18 0.88/0.94 c Solving starts ... 0.88/0.94 c ============================[ Search Statistics ]============================ 0.88/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.88/0.94 c | | | | Limit GC | Var | Constra 0.88/0.94 c ============================================================================= 0.88/0.94 c 0.0s | 0 | 0 | 0 | 7641 0 | 2 | 2 1.09/1.11 c 0.2s | 1 | 6344 | 100 | 8406 0 | 2 | 2 1.29/1.36 c 0.4s | 1 | 8220 | 236 | 9247 0 | 2 | 2 1.29/1.36 c #cpu_time = 0.414s 1.29/1.36 c #wall_clock_time = 0.415s 1.29/1.36 c #decision = 8220 1.29/1.36 c #random_decision = 0 1.29/1.36 c #conflict = 236 1.29/1.36 c #restart = 1 1.29/1.36 o 19 1.29/1.37 c BCD2: updating upper bound: 20 -> 18 1.29/1.38 c BCD2: 14 <= obj <= 18 1.29/1.38 c BCD2: #cores=14, #unrelaxed=1515, #relaxed=1787, #hardened=0 1.29/1.38 c BCD2: #sat=4 #unsat=15 bias=15/19 1.29/1.38 c Solving starts ... 1.29/1.38 c ============================[ Search Statistics ]============================ 1.29/1.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.38 c | | | | Limit GC | Var | Constra 1.29/1.38 c ============================================================================= 1.29/1.38 c 0.0s | 0 | 0 | 0 | 9247 0 | 2 | 3 1.39/1.46 c 0.1s | 0 | 2865 | 57 | 9247 0 | 2 | 3 1.39/1.46 c #cpu_time = 0.081s 1.39/1.46 c #wall_clock_time = 0.081s 1.39/1.46 c #decision = 2865 1.39/1.46 c #random_decision = 0 1.39/1.46 c #conflict = 57 1.39/1.46 c #restart = 0 1.39/1.46 c BCD2: relaxing 317 and merging with 7 cores into a new core of size 809: cost of the new core is >=8 1.39/1.46 c lower bound updated to 15 1.39/1.46 c BCD2: 15 <= obj <= 18 1.39/1.46 c BCD2: #cores=8, #unrelaxed=1198, #relaxed=2104, #hardened=0 1.39/1.46 c BCD2: #sat=4 #unsat=16 bias=16/20 1.39/1.47 c Solving starts ... 1.39/1.47 c ============================[ Search Statistics ]============================ 1.39/1.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.47 c | | | | Limit GC | Var | Constra 1.39/1.47 c ============================================================================= 1.39/1.47 c 0.0s | 0 | 0 | 0 | 9247 0 | 29 | 3 1.49/1.56 c 0.1s | 1 | 2000 | 100 | 9247 0 | 29 | 50 1.59/1.70 c 0.2s | 2 | 4272 | 250 | 9247 0 | 29 | 50 1.79/1.87 c 0.4s | 3 | 6993 | 475 | 10172 0 | 29 | 50 2.09/2.20 c 0.7s | 4 | 9836 | 813 | 11190 0 | 29 | 50 4.19/4.27 c 2.8s | 4 | 27505 | 1313 | 11190 0 | 29 | 50 4.19/4.29 c 2.8s | 5 | 28958 | 1320 | 11190 0 | 29 | 50 5.99/6.02 c 4.6s | 6 | 59453 | 2081 | 12310 0 | 29 | 50 8.19/8.26 c 6.8s | 6 | 96851 | 2881 | 13542 0 | 29 | 50 9.19/9.22 c 7.7s | 7 | 115120 | 3223 | 13542 0 | 29 | 50 11.19/11.27 c 9.8s | 7 | 152385 | 3823 | 13542 0 | 29 | 50 13.39/13.45 c 12.0s | 7 | 187546 | 4523 | 14897 0 | 29 | 50 14.89/14.98 c 13.5s | 8 | 209416 | 4936 | 14897 0 | 29 | 50 17.19/17.26 c 15.8s | 8 | 237395 | 5636 | 14897 0 | 29 | 50 19.29/19.31 c 17.8s | 8 | 265380 | 6236 | 14897 0 | 29 | 50 21.39/21.42 c 19.9s | 8 | 316087 | 6936 | 16387 0 | 29 | 50 23.10/23.14 c 21.7s | 9 | 343372 | 7506 | 16387 0 | 29 | 50 25.19/25.24 c 23.8s | 9 | 372501 | 8106 | 16387 0 | 29 | 50 27.39/27.40 c 25.9s | 9 | 405170 | 9006 | 16387 0 | 29 | 50 29.39/29.48 c 28.0s | 9 | 444060 | 9806 | 16387 0 | 29 | 50 31.59/31.60 c 30.1s | 9 | 476379 | 10406 | 16387 0 | 29 | 50 33.59/33.64 c 32.2s | 9 | 494252 | 10906 | 18026 0 | 29 | 50 34.89/34.92 c 33.5s | 10 | 517086 | 11361 | 18026 0 | 29 | 50 37.09/37.17 c 35.7s | 10 | 541780 | 12161 | 18026 0 | 29 | 50 39.29/39.34 c 37.9s | 10 | 577068 | 12961 | 18026 0 | 29 | 50 41.39/41.45 c 40.0s | 10 | 609419 | 13761 | 18026 0 | 29 | 50 43.39/43.49 c 42.0s | 10 | 632979 | 14461 | 18026 0 | 29 | 50 45.69/45.72 c 44.2s | 10 | 677258 | 15161 | 18026 0 | 29 | 50 47.78/47.80 c 46.3s | 10 | 708496 | 15861 | 18026 0 | 29 | 50 49.88/49.97 c 48.5s | 10 | 737635 | 16561 | 19829 0 | 29 | 50 51.69/51.80 c 50.3s | 11 | 764495 | 17144 | 19829 0 | 29 | 50 53.99/54.09 c 52.6s | 11 | 801651 | 17844 | 19829 0 | 29 | 50 56.28/56.32 c 54.8s | 11 | 838177 | 18544 | 19829 0 | 29 | 50 58.29/58.40 c 56.9s | 11 | 863439 | 19044 | 19829 0 | 29 | 50 60.49/60.57 c 59.1s | 11 | 898060 | 19744 | 19829 0 | 29 | 50 62.69/62.80 c 61.3s | 11 | 933095 | 20444 | 19829 0 | 29 | 50 64.89/65.00 c 63.5s | 11 | 958500 | 21144 | 19829 0 | 29 | 50 67.09/67.14 c 65.7s | 11 | 973636 | 21744 | 19829 0 | 29 | 50 69.08/69.19 c 67.7s | 11 | 990020 | 22344 | 19829 0 | 29 | 50 71.49/71.51 c 70.0s | 11 | 1019666 | 23044 | 19829 1 | 29 | 50 73.79/73.81 c 72.3s | 11 | 1052671 | 23644 | 19829 1 | 29 | 50 75.89/75.92 c 74.4s | 11 | 1076613 | 24344 | 19829 1 | 29 | 50 78.09/78.12 c 76.6s | 11 | 1097260 | 25244 | 21812 1 | 29 | 50 79.88/79.90 c 78.4s | 12 | 1114190 | 25819 | 21812 1 | 29 | 50 82.08/82.19 c 80.7s | 12 | 1142869 | 26519 | 21812 1 | 29 | 50 84.38/84.47 c 83.0s | 12 | 1158602 | 27119 | 21812 1 | 29 | 50 86.58/86.66 c 85.2s | 12 | 1198350 | 27719 | 21812 1 | 29 | 50 88.68/88.79 c 87.3s | 12 | 1226369 | 28319 | 21812 1 | 29 | 50 90.78/90.87 c 89.4s | 12 | 1240110 | 28919 | 21812 1 | 29 | 50 92.88/92.94 c 91.5s | 12 | 1271906 | 29519 | 21812 1 | 29 | 50 94.98/95.06 c 93.6s | 12 | 1307250 | 30119 | 21812 1 | 29 | 50 97.28/97.39 c 95.9s | 12 | 1333122 | 30819 | 21812 1 | 29 | 50 99.58/99.60 c 98.1s | 12 | 1354536 | 31419 | 21812 1 | 29 | 50 101.88/101.93 c 100s | 12 | 1380965 | 32119 | 21812 1 | 29 | 50 103.88/103.97 c 102s | 12 | 1394077 | 32719 | 21812 1 | 29 | 50 106.07/106.11 c 104s | 12 | 1413117 | 33319 | 21812 1 | 29 | 50 108.37/108.46 c 106s | 12 | 1438158 | 33919 | 21812 1 | 29 | 50 110.57/110.69 c 109s | 12 | 1466658 | 34319 | 21812 1 | 29 | 50 112.77/112.89 c 111s | 12 | 1492274 | 34919 | 21812 1 | 29 | 50 115.07/115.13 c 113s | 12 | 1511453 | 35619 | 21812 1 | 29 | 50 117.17/117.26 c 115s | 12 | 1526002 | 36219 | 21812 2 | 29 | 50 119.27/119.36 c 117s | 12 | 1542004 | 37019 | 21812 2 | 29 | 50 121.87/121.93 c 120s | 12 | 1563775 | 37719 | 21812 2 | 29 | 50 124.07/124.15 c 122s | 12 | 1584429 | 38419 | 23994 2 | 29 | 50 125.37/125.47 c 123s | 13 | 1601880 | 38832 | 23994 2 | 29 | 50 127.67/127.71 c 126s | 13 | 1632159 | 39432 | 23994 2 | 29 | 50 129.77/129.84 c 128s | 13 | 1661309 | 40032 | 23994 2 | 29 | 50 131.87/131.99 c 130s | 13 | 1691128 | 40632 | 23994 2 | 29 | 50 134.07/134.10 c 132s | 13 | 1720029 | 41232 | 23994 2 | 29 | 50 136.27/136.38 c 134s | 13 | 1758661 | 41932 | 23994 2 | 29 | 50 138.37/138.46 c 136s | 13 | 1780185 | 42532 | 23994 2 | 29 | 50 140.47/140.57 c 139s | 13 | 1813513 | 43232 | 23994 2 | 29 | 50 142.77/142.89 c 141s | 13 | 1850861 | 43932 | 23994 2 | 29 | 50 144.97/145.09 c 143s | 13 | 1872068 | 44632 | 23994 2 | 29 | 50 147.06/147.19 c 145s | 13 | 1897678 | 45332 | 23994 2 | 29 | 50 149.16/149.27 c 147s | 13 | 1922183 | 46032 | 23994 2 | 29 | 50 151.36/151.44 c 149s | 13 | 1948661 | 46632 | 23994 2 | 29 | 50 153.46/153.54 c 152s | 13 | 1971385 | 47232 | 23994 2 | 29 | 50 155.66/155.72 c 154s | 13 | 2006570 | 47832 | 23994 2 | 29 | 50 157.96/158.04 c 156s | 13 | 2042390 | 48532 | 23994 2 | 29 | 50 160.16/160.20 c 158s | 13 | 2071121 | 49132 | 23994 2 | 29 | 50 162.26/162.32 c 160s | 13 | 2102212 | 49732 | 23994 2 | 29 | 50 164.46/164.52 c 163s | 13 | 2127721 | 50332 | 23994 3 | 29 | 50 166.46/166.59 c 165s | 13 | 2153557 | 51032 | 23994 3 | 29 | 50 168.56/168.62 c 167s | 13 | 2181090 | 51632 | 23994 3 | 29 | 50 170.76/170.89 c 169s | 13 | 2199002 | 52032 | 23994 3 | 29 | 50 173.06/173.14 c 171s | 13 | 2235866 | 52732 | 23994 3 | 29 | 50 175.06/175.17 c 173s | 13 | 2261946 | 53332 | 23994 3 | 29 | 50 177.36/177.42 c 175s | 13 | 2288338 | 54032 | 23994 3 | 29 | 50 179.56/179.60 c 178s | 13 | 2324681 | 54732 | 23994 3 | 29 | 50 181.76/181.83 c 180s | 13 | 2350219 | 55332 | 23994 3 | 29 | 50 183.86/183.94 c 182s | 13 | 2372799 | 55932 | 23994 3 | 29 | 50 185.96/186.01 c 184s | 13 | 2398787 | 56532 | 23994 3 | 29 | 50 188.16/188.21 c 186s | 13 | 2421631 | 57132 | 23994 3 | 29 | 50 190.36/190.45 c 188s | 13 | 2456955 | 57832 | 26394 3 | 29 | 50 192.16/192.23 c 190s | 14 | 2480422 | 58352 | 26394 3 | 29 | 50 194.16/194.29 c 192s | 14 | 2504515 | 58952 | 26394 3 | 29 | 50 196.36/196.42 c 194s | 14 | 2521615 | 59352 | 26394 3 | 29 | 50 198.56/198.65 c 197s | 14 | 2554604 | 60052 | 26394 3 | 29 | 50 200.66/200.71 c 199s | 14 | 2591363 | 60752 | 26394 3 | 29 | 50 202.86/202.96 c 201s | 14 | 2618421 | 61352 | 26394 3 | 29 | 50 205.16/205.25 c 203s | 14 | 2646333 | 62052 | 26394 3 | 29 | 50 207.36/207.45 c 205s | 14 | 2665656 | 62752 | 26394 3 | 29 | 50 209.36/209.48 c 208s | 14 | 2693301 | 63352 | 26394 3 | 29 | 50 211.56/211.67 c 210s | 14 | 2723772 | 64052 | 26394 3 | 29 | 50 213.96/214.01 c 212s | 14 | 2758294 | 64652 | 26394 3 | 29 | 50 216.06/216.16 c 214s | 14 | 2798375 | 65152 | 26394 3 | 29 | 50 218.26/218.35 c 216s | 14 | 2826405 | 65852 | 26394 3 | 29 | 50 220.46/220.52 c 219s | 14 | 2843612 | 66452 | 26394 4 | 29 | 50 222.56/222.68 c 221s | 14 | 2852204 | 67052 | 26394 4 | 29 | 50 224.76/224.87 c 223s | 14 | 2882884 | 67752 | 26394 4 | 29 | 50 226.86/226.94 c 225s | 14 | 2905691 | 68352 | 26394 4 | 29 | 50 229.06/229.18 c 227s | 14 | 2921358 | 69052 | 26394 4 | 29 | 50 231.36/231.40 c 229s | 14 | 2942509 | 69752 | 26394 4 | 29 | 50 233.46/233.57 c 232s | 14 | 2959415 | 70452 | 26394 4 | 29 | 50 235.86/235.96 c 234s | 14 | 2973448 | 71152 | 26394 4 | 29 | 50 238.26/238.30 c 236s | 14 | 2991331 | 71952 | 26394 4 | 29 | 50 240.36/240.49 c 239s | 14 | 3019650 | 72552 | 26394 4 | 29 | 50 242.46/242.57 c 241s | 14 | 3036420 | 72952 | 26394 4 | 29 | 50 244.46/244.58 c 243s | 14 | 3056840 | 73552 | 26394 4 | 29 | 50 246.76/246.88 c 245s | 14 | 3077182 | 74252 | 26394 4 | 29 | 50 248.96/249.08 c 247s | 14 | 3091883 | 74852 | 26394 4 | 29 | 50 251.05/251.12 c 249s | 14 | 3099714 | 75352 | 26394 4 | 29 | 50 253.15/253.29 c 251s | 14 | 3129352 | 75952 | 26394 4 | 29 | 50 255.45/255.53 c 254s | 14 | 3154976 | 76552 | 26394 4 | 29 | 50 257.55/257.61 c 256s | 14 | 3182868 | 77152 | 26394 4 | 29 | 50 259.66/259.78 c 258s | 14 | 3206964 | 77752 | 26394 4 | 29 | 50 261.76/261.80 c 260s | 14 | 3226908 | 78352 | 26394 4 | 29 | 50 263.96/264.02 c 262s | 14 | 3239994 | 78952 | 26394 4 | 29 | 50 266.16/266.24 c 264s | 14 | 3259661 | 79552 | 26394 4 | 29 | 50 268.15/268.26 c 266s | 14 | 3276690 | 80052 | 26394 4 | 29 | 50 270.45/270.54 c 269s | 14 | 3297033 | 80652 | 26394 4 | 29 | 50 272.45/272.55 c 271s | 14 | 3311770 | 81152 | 26394 5 | 29 | 50 274.45/274.58 c 273s | 14 | 3327891 | 81752 | 26394 5 | 29 | 50 276.75/276.83 c 275s | 14 | 3346650 | 82452 | 26394 5 | 29 | 50 278.95/279.09 c 277s | 14 | 3366486 | 83052 | 26394 5 | 29 | 50 281.15/281.27 c 279s | 14 | 3384048 | 83652 | 26394 5 | 29 | 50 283.45/283.54 c 282s | 14 | 3401180 | 84252 | 26394 5 | 29 | 50 285.75/285.80 c 284s | 14 | 3421018 | 84952 | 26394 5 | 29 | 50 287.95/288.00 c 286s | 14 | 3442736 | 85652 | 26394 5 | 29 | 50 290.15/290.29 c 288s | 14 | 3463258 | 86252 | 26394 5 | 29 | 50 292.25/292.37 c 290s | 14 | 3470171 | 86952 | 29034 5 | 29 | 50 294.45/294.53 c 293s | 14 | 3486025 | 87552 | 29034 5 | 29 | 50 294.86/294.90 c 293s | 15 | 3492726 | 87632 | 29034 5 | 29 | 50 296.85/296.90 c 295s | 15 | 3506705 | 88132 | 29034 5 | 29 | 50 299.64/299.74 c 298s | 15 | 3521912 | 88832 | 29034 5 | 29 | 50 301.94/302.04 c 300s | 15 | 3527396 | 89232 | 29034 5 | 29 | 50 304.04/304.15 c 302s | 15 | 3534243 | 89832 | 29034 5 | 29 | 50 306.24/306.39 c 304s | 15 | 3543746 | 90432 | 29034 5 | 29 | 50 308.44/308.52 c 307s | 15 | 3552450 | 91032 | 29034 5 | 29 | 50 310.44/310.53 c 309s | 15 | 3560319 | 91632 | 29034 5 | 29 | 50 312.64/312.78 c 311s | 15 | 3577008 | 92232 | 29034 5 | 29 | 50 314.65/314.79 c 313s | 15 | 3585384 | 92732 | 29034 5 | 29 | 50 316.64/316.80 c 315s | 15 | 3596650 | 93332 | 29034 5 | 29 | 50 318.95/319.01 c 317s | 15 | 3612538 | 94132 | 29034 5 | 29 | 50 321.04/321.12 c 319s | 15 | 3643850 | 94832 | 29034 5 | 29 | 50 323.04/323.17 c 321s | 15 | 3664153 | 95432 | 29034 5 | 29 | 50 325.34/325.40 c 323s | 15 | 3683000 | 96132 | 29034 5 | 29 | 50 327.54/327.67 c 326s | 15 | 3711714 | 96832 | 29034 5 | 29 | 50 329.64/329.80 c 328s | 15 | 3739833 | 97332 | 29034 5 | 29 | 50 331.94/332.01 c 330s | 15 | 3754671 | 97832 | 29034 6 | 29 | 50 333.94/334.07 c 332s | 15 | 3768155 | 98532 | 29034 6 | 29 | 50 336.14/336.22 c 334s | 15 | 3787088 | 99132 | 29034 6 | 29 | 50 338.24/338.32 c 336s | 15 | 3803454 | 99732 | 29034 6 | 29 | 50 340.44/340.59 c 339s | 15 | 3821027 | 100332 | 29034 6 | 29 | 50 342.43/342.60 c 341s | 15 | 3846550 | 100932 | 29034 6 | 29 | 50 344.83/344.91 c 343s | 15 | 3876637 | 101532 | 29034 6 | 29 | 50 346.83/346.94 c 345s | 15 | 3900361 | 102032 | 29034 6 | 29 | 50 349.03/349.17 c 347s | 15 | 3927304 | 102632 | 29034 6 | 29 | 50 351.43/351.58 c 350s | 15 | 3948027 | 103132 | 29034 6 | 29 | 50 353.63/353.70 c 352s | 15 | 3977956 | 103732 | 29034 6 | 29 | 50 355.63/355.73 c 354s | 15 | 4010075 | 104332 | 29034 6 | 29 | 50 357.93/358.06 c 356s | 15 | 4043482 | 105032 | 29034 6 | 29 | 50 360.13/360.26 c 358s | 15 | 4069685 | 105632 | 29034 6 | 29 | 50 362.23/362.38 c 360s | 15 | 4091111 | 106132 | 29034 6 | 29 | 50 364.73/364.85 c 363s | 15 | 4109511 | 106732 | 29034 6 | 29 | 50 367.13/367.23 c 365s | 15 | 4129841 | 107232 | 29034 6 | 29 | 50 369.23/369.36 c 367s | 15 | 4150678 | 107732 | 29034 6 | 29 | 50 371.53/371.62 c 370s | 15 | 4168573 | 108332 | 29034 6 | 29 | 50 373.63/373.77 c 372s | 15 | 4191327 | 109032 | 29034 6 | 29 | 50 376.03/376.18 c 374s | 15 | 4207954 | 109732 | 29034 6 | 29 | 50 378.13/378.29 c 376s | 15 | 4220731 | 110332 | 29034 6 | 29 | 50 380.33/380.45 c 378s | 15 | 4235307 | 111032 | 29034 6 | 29 | 50 382.74/382.85 c 381s | 15 | 4247006 | 111632 | 29034 6 | 29 | 50 384.83/384.95 c 383s | 15 | 4277278 | 112232 | 29034 6 | 29 | 50 386.83/386.96 c 385s | 15 | 4292689 | 112732 | 29034 6 | 29 | 50 388.83/388.97 c 387s | 15 | 4305770 | 113332 | 29034 6 | 29 | 50 391.03/391.16 c 389s | 15 | 4323316 | 113832 | 29034 7 | 29 | 50 393.43/393.53 c 392s | 15 | 4331978 | 114232 | 29034 7 | 29 | 50 395.43/395.59 c 394s | 15 | 4351185 | 114732 | 29034 7 | 29 | 50 397.63/397.76 c 396s | 15 | 4378367 | 115332 | 29034 7 | 29 | 50 399.83/399.96 c 398s | 15 | 4407078 | 116032 | 29034 7 | 29 | 50 401.83/401.98 c 400s | 15 | 4426975 | 116632 | 29034 7 | 29 | 50 403.83/403.98 c 402s | 15 | 4452713 | 117232 | 29034 7 | 29 | 50 405.94/406.09 c 404s | 15 | 4471671 | 117732 | 29034 7 | 29 | 50 408.23/408.35 c 406s | 15 | 4494164 | 118432 | 29034 7 | 29 | 50 410.34/410.44 c 408s | 15 | 4512175 | 119032 | 29034 7 | 29 | 50 412.54/412.66 c 411s | 15 | 4531857 | 119632 | 29034 7 | 29 | 50 414.74/414.87 c 413s | 15 | 4546826 | 120232 | 29034 7 | 29 | 50 416.84/416.96 c 415s | 15 | 4564960 | 120832 | 29034 7 | 29 | 50 419.14/419.22 c 417s | 15 | 4582011 | 121432 | 29034 7 | 29 | 50 421.34/421.48 c 420s | 15 | 4598620 | 122132 | 29034 7 | 29 | 50 423.33/423.50 c 422s | 15 | 4612203 | 122732 | 29034 7 | 29 | 50 425.64/425.79 c 424s | 15 | 4634023 | 123332 | 29034 7 | 29 | 50 427.84/427.93 c 426s | 15 | 4645562 | 123932 | 29034 7 | 29 | 50 429.93/430.10 c 428s | 15 | 4665566 | 124532 | 29034 7 | 29 | 50 432.33/432.42 c 430s | 15 | 4683812 | 125232 | 29034 7 | 29 | 50 434.43/434.59 c 433s | 15 | 4703554 | 125832 | 29034 7 | 29 | 50 436.83/436.91 c 435s | 15 | 4719780 | 126432 | 29034 7 | 29 | 50 438.83/438.94 c 437s | 15 | 4734371 | 127032 | 29034 7 | 29 | 50 441.03/441.16 c 439s | 15 | 4748583 | 127632 | 29034 7 | 29 | 50 443.33/443.44 c 441s | 15 | 4770051 | 128232 | 29034 7 | 29 | 50 445.73/445.81 c 444s | 15 | 4785355 | 128832 | 29034 7 | 29 | 50 447.82/447.99 c 446s | 15 | 4797874 | 129432 | 29034 7 | 29 | 50 450.12/450.24 c 448s | 15 | 4818396 | 129932 | 29034 8 | 29 | 50 452.13/452.26 c 450s | 15 | 4834363 | 130432 | 31938 8 | 29 | 50 454.42/454.59 c 453s | 15 | 4852261 | 131032 | 31938 8 | 29 | 50 456.43/456.52 c 455s | 16 | 4881618 | 131552 | 31938 8 | 29 | 50 460.52/460.65 c 459s | 16 | 4891863 | 131852 | 31938 8 | 29 | 50 462.62/462.71 c 461s | 16 | 4910693 | 132552 | 31938 8 | 29 | 50 464.82/464.90 c 463s | 16 | 4935313 | 133252 | 31938 8 | 29 | 50 466.92/467.00 c 465s | 16 | 4961949 | 133852 | 31938 8 | 29 | 50 469.12/469.21 c 467s | 16 | 4987725 | 134452 | 31938 8 | 29 | 50 471.22/471.36 c 469s | 16 | 5004913 | 135052 | 31938 8 | 29 | 50 473.22/473.36 c 471s | 16 | 5018042 | 135652 | 31938 8 | 29 | 50 476.12/476.24 c 474s | 16 | 5032288 | 136252 | 31938 8 | 29 | 50 478.12/478.25 c 476s | 16 | 5048294 | 136852 | 31938 8 | 29 | 50 480.22/480.34 c 478s | 16 | 5062741 | 137552 | 31938 8 | 29 | 50 482.41/482.58 c 481s | 16 | 5087695 | 138252 | 31938 8 | 29 | 50 484.71/484.81 c 483s | 16 | 5117264 | 138852 | 31938 8 | 29 | 50 486.91/487.05 c 485s | 16 | 5134263 | 139552 | 31938 8 | 29 | 50 489.11/489.22 c 487s | 16 | 5149523 | 140252 | 31938 8 | 29 | 50 491.21/491.37 c 489s | 16 | 5164591 | 140852 | 31938 8 | 29 | 50 493.31/493.45 c 491s | 16 | 5179501 | 141452 | 31938 8 | 29 | 50 495.51/495.65 c 494s | 16 | 5191987 | 142052 | 31938 8 | 29 | 50 497.71/497.89 c 496s | 16 | 5203196 | 142652 | 31938 8 | 29 | 50 500.01/500.14 c 498s | 16 | 5217750 | 143352 | 31938 8 | 29 | 50 502.21/502.33 c 500s | 16 | 5234808 | 143952 | 31938 8 | 29 | 50 504.31/504.42 c 502s | 16 | 5252258 | 144552 | 31938 8 | 29 | 50 506.51/506.60 c 505s | 16 | 5268694 | 145152 | 31938 8 | 29 | 50 508.51/508.65 c 507s | 16 | 5283172 | 145752 | 31938 8 | 29 | 50 510.71/510.84 c 509s | 16 | 5300498 | 146352 | 31938 8 | 29 | 50 512.91/513.08 c 511s | 16 | 5312521 | 146952 | 31938 8 | 29 | 50 515.21/515.31 c 513s | 16 | 5330186 | 147552 | 31938 8 | 29 | 50 517.41/517.53 c 516s | 16 | 5351236 | 148152 | 31938 8 | 29 | 50 519.71/519.86 c 518s | 16 | 5366570 | 148752 | 31938 9 | 29 | 50 521.91/522.04 c 520s | 16 | 5386661 | 149352 | 31938 9 | 29 | 50 524.11/524.20 c 522s | 16 | 5397201 | 149952 | 31938 9 | 29 | 50 526.41/526.50 c 525s | 16 | 5410980 | 150652 | 31938 9 | 29 | 50 528.51/528.65 c 527s | 16 | 5432736 | 151252 | 31938 9 | 29 | 50 530.61/530.75 c 529s | 16 | 5446546 | 151852 | 31938 9 | 29 | 50 532.81/532.93 c 531s | 16 | 5460779 | 152552 | 31938 9 | 29 | 50 534.91/535.06 c 533s | 16 | 5482877 | 153152 | 31938 9 | 29 | 50 537.01/537.10 c 535s | 16 | 5493206 | 153752 | 31938 9 | 29 | 50 539.01/539.19 c 537s | 16 | 5514417 | 154352 | 31938 9 | 29 | 50 541.31/541.40 c 539s | 16 | 5539852 | 154952 | 31938 9 | 29 | 50 543.31/543.47 c 541s | 16 | 5555553 | 155552 | 31938 9 | 29 | 50 545.51/545.67 c 544s | 16 | 5573524 | 156252 | 31938 9 | 29 | 50 547.91/548.09 c 546s | 16 | 5594189 | 156952 | 31938 9 | 29 | 50 550.31/550.45 c 548s | 16 | 5610153 | 157652 | 31938 9 | 29 | 50 552.61/552.74 c 551s | 16 | 5640314 | 158152 | 31938 9 | 29 | 50 554.80/554.99 c 553s | 16 | 5657471 | 158752 | 31938 9 | 29 | 50 556.90/557.08 c 555s | 16 | 5670953 | 159352 | 31938 9 | 29 | 50 559.20/559.39 c 557s | 16 | 5689180 | 160052 | 31938 9 | 29 | 50 561.40/561.54 c 560s | 16 | 5701541 | 160652 | 31938 9 | 29 | 50 563.60/563.75 c 562s | 16 | 5712285 | 161252 | 31938 9 | 29 | 50 565.90/566.00 c 564s | 16 | 5729013 | 161852 | 31938 9 | 29 | 50 568.10/568.29 c 566s | 16 | 5742143 | 162452 | 31938 9 | 29 | 50 570.50/570.66 c 569s | 16 | 5762101 | 163052 | 31938 9 | 29 | 50 572.90/573.02 c 571s | 16 | 5779520 | 163652 | 31938 9 | 29 | 50 575.00/575.10 c 573s | 16 | 5794177 | 164252 | 31938 9 | 29 | 50 577.30/577.45 c 575s | 16 | 5807994 | 164852 | 31938 9 | 29 | 50 579.71/579.82 c 578s | 16 | 5817025 | 165452 | 31938 9 | 29 | 50 582.00/582.10 c 580s | 16 | 5827955 | 166052 | 31938 9 | 29 | 50 584.01/584.13 c 582s | 16 | 5836627 | 166552 | 31938 10 | 29 | 50 586.10/586.30 c 584s | 16 | 5847392 | 167352 | 31938 10 | 29 | 50 588.51/588.63 c 587s | 16 | 5864319 | 167952 | 31938 10 | 29 | 50 590.80/590.91 c 589s | 16 | 5888491 | 168652 | 31938 10 | 29 | 50 592.90/593.07 c 591s | 16 | 5903053 | 169252 | 31938 10 | 29 | 50 595.10/595.26 c 593s | 16 | 5912942 | 169952 | 31938 10 | 29 | 50 597.20/597.30 c 595s | 16 | 5921224 | 170552 | 31938 10 | 29 | 50 599.30/599.48 c 598s | 16 | 5932589 | 171152 | 31938 10 | 29 | 50 601.40/601.53 c 600s | 16 | 5943570 | 171752 | 31938 10 | 29 | 50 603.60/603.73 c 602s | 16 | 5956103 | 172352 | 31938 10 | 29 | 50 606.00/606.16 c 604s | 16 | 5965762 | 173152 | 31938 10 | 29 | 50 608.10/608.25 c 606s | 16 | 5989979 | 173752 | 31938 10 | 29 | 50 610.40/610.50 c 609s | 16 | 6002019 | 174452 | 31938 10 | 29 | 50 612.60/612.76 c 611s | 16 | 6014669 | 175052 | 31938 10 | 29 | 50 614.80/614.95 c 613s | 16 | 6031809 | 175652 | 31938 10 | 29 | 50 616.79/616.97 c 615s | 16 | 6043698 | 176252 | 31938 10 | 29 | 50 618.89/619.03 c 617s | 16 | 6053013 | 176852 | 31938 10 | 29 | 50 620.89/621.08 c 619s | 16 | 6059964 | 177552 | 31938 10 | 29 | 50 622.99/623.16 c 621s | 16 | 6072971 | 178152 | 31938 10 | 29 | 50 625.29/625.42 c 623s | 16 | 6080437 | 178752 | 31938 10 | 29 | 50 627.49/627.67 c 626s | 16 | 6086615 | 179352 | 31938 10 | 29 | 50 630.39/630.55 c 629s | 16 | 6092416 | 180052 | 31938 10 | 29 | 50 632.59/632.71 c 631s | 16 | 6099685 | 180752 | 31938 10 | 29 | 50 634.89/635.06 c 633s | 16 | 6114512 | 181352 | 31938 10 | 29 | 50 637.19/637.32 c 635s | 16 | 6123182 | 181852 | 31938 10 | 29 | 50 639.19/639.34 c 637s | 16 | 6129426 | 182452 | 31938 10 | 29 | 50 641.29/641.47 c 639s | 16 | 6145842 | 183052 | 31938 10 | 29 | 50 643.49/643.68 c 642s | 16 | 6162674 | 183552 | 31938 11 | 29 | 50 645.79/645.94 c 644s | 16 | 6182514 | 184252 | 31938 11 | 29 | 50 647.89/648.05 c 646s | 16 | 6192081 | 184852 | 31938 11 | 29 | 50 650.09/650.21 c 648s | 16 | 6203841 | 185452 | 31938 11 | 29 | 50 652.29/652.44 c 650s | 16 | 6216919 | 186152 | 31938 11 | 29 | 50 654.29/654.47 c 652s | 16 | 6227166 | 186952 | 31938 11 | 29 | 50 656.59/656.73 c 655s | 16 | 6233337 | 187552 | 31938 11 | 29 | 50 658.79/658.92 c 657s | 16 | 6241421 | 188152 | 31938 11 | 29 | 50 660.78/660.95 c 659s | 16 | 6255914 | 188752 | 31938 11 | 29 | 50 663.19/663.33 c 661s | 16 | 6266650 | 189552 | 31938 11 | 29 | 50 665.28/665.45 c 663s | 16 | 6286581 | 190152 | 31938 11 | 29 | 50 667.59/667.77 c 666s | 16 | 6300957 | 190852 | 31938 11 | 29 | 50 669.79/669.91 c 668s | 16 | 6314454 | 191452 | 31938 11 | 29 | 50 672.00/672.12 c 670s | 16 | 6326672 | 192052 | 31938 11 | 29 | 50 674.30/674.49 c 673s | 16 | 6336765 | 192852 | 31938 11 | 29 | 50 676.40/676.58 c 675s | 16 | 6345338 | 193552 | 31938 11 | 29 | 50 678.99/679.13 c 677s | 16 | 6354380 | 193952 | 31938 11 | 29 | 50 681.29/681.42 c 679s | 16 | 6368022 | 194552 | 31938 11 | 29 | 50 683.39/683.56 c 682s | 16 | 6381989 | 195152 | 31938 11 | 29 | 50 685.59/685.78 c 684s | 16 | 6397241 | 195752 | 35132 11 | 29 | 50 687.99/688.16 c 686s | 16 | 6404208 | 196452 | 35132 11 | 29 | 50 690.19/690.36 c 688s | 16 | 6410731 | 197052 | 35132 11 | 29 | 50 691.80/691.96 c 690s | 17 | 6417524 | 197432 | 35132 11 | 29 | 50 694.00/694.14 c 692s | 17 | 6428466 | 198032 | 35132 11 | 29 | 50 696.30/696.47 c 694s | 17 | 6441082 | 198832 | 35132 11 | 29 | 50 698.39/698.59 c 697s | 17 | 6459312 | 199432 | 35132 11 | 29 | 50 700.49/700.65 c 699s | 17 | 6477335 | 200032 | 35132 11 | 29 | 50 702.59/702.71 c 701s | 17 | 6487577 | 200632 | 35132 11 | 29 | 50 704.79/704.97 c 703s | 17 | 6496580 | 201232 | 35132 11 | 29 | 50 706.99/707.13 c 705s | 17 | 6506222 | 201832 | 35132 11 | 29 | 50 709.29/709.42 c 707s | 17 | 6512971 | 202432 | 35132 11 | 29 | 50 711.39/711.50 c 710s | 17 | 6523490 | 203032 | 35132 11 | 29 | 50 713.49/713.64 c 712s | 17 | 6531153 | 203632 | 35132 11 | 29 | 50 715.69/715.83 c 714s | 17 | 6536960 | 204232 | 35132 12 | 29 | 50 717.98/718.10 c 716s | 17 | 6548945 | 204732 | 35132 12 | 29 | 50 720.08/720.28 c 718s | 17 | 6558496 | 205232 | 35132 12 | 29 | 50 722.38/722.58 c 721s | 17 | 6567431 | 205832 | 35132 12 | 29 | 50 724.79/724.99 c 723s | 17 | 6582160 | 206432 | 35132 12 | 29 | 50 726.99/727.19 c 725s | 17 | 6592303 | 207032 | 35132 12 | 29 | 50 729.48/729.61 c 728s | 17 | 6598616 | 207532 | 35132 12 | 29 | 50 731.58/731.75 c 730s | 17 | 6604950 | 208032 | 35132 12 | 29 | 50 733.69/733.82 c 732s | 17 | 6612611 | 208732 | 35132 12 | 29 | 50 735.89/736.04 c 734s | 17 | 6621140 | 209332 | 35132 12 | 29 | 50 738.09/738.21 c 736s | 17 | 6631447 | 209832 | 35132 12 | 29 | 50 740.29/740.43 c 738s | 17 | 6638902 | 210432 | 35132 12 | 29 | 50 742.49/742.68 c 741s | 17 | 6647848 | 211132 | 35132 12 | 29 | 50 744.98/745.12 c 743s | 17 | 6660711 | 211632 | 35132 12 | 29 | 50 747.08/747.23 c 745s | 17 | 6672126 | 212232 | 35132 12 | 29 | 50 749.18/749.37 c 747s | 17 | 6680367 | 212732 | 35132 12 | 29 | 50 751.38/751.56 c 750s | 17 | 6692000 | 213432 | 35132 12 | 29 | 50 753.68/753.81 c 752s | 17 | 6702091 | 213932 | 35132 12 | 29 | 50 755.88/756.05 c 754s | 17 | 6712674 | 214532 | 35132 12 | 29 | 50 757.98/758.19 c 756s | 17 | 6722362 | 215032 | 35132 12 | 29 | 50 760.28/760.40 c 758s | 17 | 6728948 | 215532 | 35132 12 | 29 | 50 762.58/762.70 c 761s | 17 | 6741788 | 216032 | 35132 12 | 29 | 50 764.68/764.84 c 763s | 17 | 6755664 | 216532 | 35132 12 | 29 | 50 767.08/767.24 c 765s | 17 | 6774576 | 217032 | 35132 12 | 29 | 50 769.48/769.64 c 768s | 17 | 6786007 | 217532 | 35132 12 | 29 | 50 771.58/771.76 c 770s | 17 | 6788839 | 217932 | 35132 12 | 29 | 50 773.78/773.99 c 772s | 17 | 6800194 | 218432 | 35132 12 | 29 | 50 776.28/776.43 c 774s | 17 | 6807084 | 219032 | 35132 12 | 29 | 50 778.68/778.83 c 777s | 17 | 6815833 | 219632 | 35132 12 | 29 | 50 780.78/780.99 c 779s | 17 | 6822445 | 220232 | 35132 12 | 29 | 50 782.97/783.12 c 781s | 17 | 6830349 | 220832 | 35132 12 | 29 | 50 785.17/785.35 c 783s | 17 | 6838586 | 221432 | 35132 12 | 29 | 50 787.37/787.59 c 786s | 17 | 6850479 | 222032 | 35132 12 | 29 | 50 789.78/790.00 c 788s | 17 | 6854162 | 222532 | 35132 12 | 29 | 50 791.88/792.01 c 790s | 17 | 6860903 | 223032 | 35132 13 | 29 | 50 794.18/794.38 c 792s | 17 | 6870148 | 223632 | 35132 13 | 29 | 50 796.67/796.86 c 795s | 17 | 6882432 | 224332 | 35132 13 | 29 | 50 798.87/799.05 c 797s | 17 | 6895003 | 224932 | 35132 13 | 29 | 50 801.07/801.27 c 799s | 17 | 6905372 | 225532 | 35132 13 | 29 | 50 803.27/803.49 c 802s | 17 | 6914163 | 226232 | 35132 13 | 29 | 50 805.57/805.70 c 804s | 17 | 6925377 | 226832 | 35132 13 | 29 | 50 807.57/807.78 c 806s | 17 | 6938487 | 227432 | 35132 13 | 29 | 50 809.87/810.03 c 808s | 17 | 6952833 | 228032 | 35132 13 | 29 | 50 811.97/812.10 c 810s | 17 | 6960707 | 228532 | 35132 13 | 29 | 50 813.98/814.15 c 812s | 17 | 6973254 | 229132 | 35132 13 | 29 | 50 817.57/817.76 c 816s | 17 | 6982010 | 229532 | 35132 13 | 29 | 50 819.87/820.07 c 818s | 17 | 7013634 | 230232 | 35132 13 | 29 | 50 821.97/822.14 c 820s | 17 | 7022901 | 230732 | 35132 13 | 29 | 50 824.26/824.45 c 822s | 17 | 7036251 | 231332 | 35132 13 | 29 | 50 826.36/826.51 c 825s | 17 | 7057931 | 231832 | 35132 13 | 29 | 50 828.46/828.64 c 827s | 17 | 7068659 | 232432 | 35132 13 | 29 | 50 830.56/830.73 c 829s | 17 | 7092945 | 233032 | 35132 13 | 29 | 50 832.76/832.94 c 831s | 17 | 7109441 | 233632 | 35132 13 | 29 | 50 834.87/835.05 c 833s | 17 | 7134394 | 234132 | 35132 13 | 29 | 50 837.26/837.44 c 835s | 17 | 7159904 | 234732 | 35132 13 | 29 | 50 839.36/839.55 c 838s | 17 | 7182343 | 235232 | 35132 13 | 29 | 50 841.66/841.86 c 840s | 17 | 7192943 | 235832 | 35132 13 | 29 | 50 843.96/844.11 c 842s | 17 | 7199607 | 236432 | 35132 13 | 29 | 50 846.06/846.24 c 844s | 17 | 7214795 | 237032 | 35132 13 | 29 | 50 855.36/855.55 c 854s | 17 | 7226652 | 237632 | 35132 13 | 29 | 50 857.76/857.93 c 856s | 17 | 7239155 | 238332 | 35132 13 | 29 | 50 859.76/859.99 c 858s | 17 | 7253472 | 238932 | 35132 13 | 29 | 50 861.96/862.19 c 860s | 17 | 7270522 | 239632 | 35132 13 | 29 | 50 864.36/864.51 c 863s | 17 | 7283744 | 240232 | 35132 13 | 29 | 50 866.56/866.77 c 865s | 17 | 7295537 | 240832 | 35132 13 | 29 | 50 868.97/869.12 c 867s | 17 | 7307417 | 241532 | 35132 13 | 29 | 50 871.36/871.59 c 870s | 17 | 7311903 | 241932 | 35132 14 | 29 | 50 873.46/873.65 c 872s | 17 | 7322513 | 242532 | 35132 14 | 29 | 50 875.75/875.94 c 874s | 17 | 7333326 | 243232 | 35132 14 | 29 | 50 877.76/877.98 c 876s | 17 | 7343081 | 243832 | 35132 14 | 29 | 50 880.05/880.22 c 878s | 17 | 7353780 | 244532 | 35132 14 | 29 | 50 882.25/882.49 c 881s | 17 | 7366485 | 245232 | 35132 14 | 29 | 50 884.75/884.92 c 883s | 17 | 7377739 | 245532 | 35132 14 | 29 | 50 886.95/887.15 c 885s | 17 | 7408109 | 246232 | 35132 14 | 29 | 50 889.25/889.40 c 887s | 17 | 7432112 | 246832 | 35132 14 | 29 | 50 891.55/891.73 c 890s | 17 | 7456715 | 247432 | 35132 14 | 29 | 50 893.65/893.81 c 892s | 17 | 7472113 | 247832 | 35132 14 | 29 | 50 895.85/896.00 c 894s | 17 | 7498442 | 248332 | 35132 14 | 29 | 50 897.85/898.01 c 896s | 17 | 7511819 | 248932 | 35132 14 | 29 | 50 899.95/900.16 c 898s | 17 | 7530961 | 249532 | 35132 14 | 29 | 50 902.15/902.39 c 900s | 17 | 7547634 | 250232 | 35132 14 | 29 | 50 904.35/904.50 c 903s | 17 | 7558172 | 250832 | 35132 14 | 29 | 50 906.44/906.66 c 905s | 17 | 7571119 | 251532 | 35132 14 | 29 | 50 908.84/909.01 c 907s | 17 | 7589322 | 252132 | 35132 14 | 29 | 50 910.84/911.02 c 909s | 17 | 7596971 | 252832 | 35132 14 | 29 | 50 913.04/913.28 c 911s | 17 | 7607319 | 253432 | 35132 14 | 29 | 50 915.15/915.38 c 913s | 17 | 7628505 | 254032 | 35132 14 | 29 | 50 917.24/917.42 c 915s | 17 | 7645817 | 254532 | 35132 14 | 29 | 50 919.34/919.51 c 918s | 17 | 7657671 | 255032 | 35132 14 | 29 | 50 921.34/921.55 c 920s | 17 | 7673566 | 255632 | 35132 14 | 29 | 50 923.43/923.66 c 922s | 17 | 7696427 | 256232 | 35132 14 | 29 | 50 925.83/926.00 c 924s | 17 | 7719266 | 256832 | 35132 14 | 29 | 50 928.13/928.33 c 926s | 17 | 7737998 | 257432 | 35132 14 | 29 | 50 930.44/930.65 c 929s | 17 | 7764920 | 258032 | 35132 14 | 29 | 50 932.64/932.88 c 931s | 17 | 7785575 | 258632 | 35132 14 | 29 | 50 934.94/935.18 c 933s | 17 | 7821094 | 259232 | 35132 14 | 29 | 50 937.04/937.24 c 935s | 17 | 7839105 | 259732 | 35132 14 | 29 | 50 939.13/939.31 c 937s | 17 | 7849948 | 260332 | 35132 14 | 29 | 50 941.13/941.39 c 939s | 17 | 7860430 | 260832 | 35132 15 | 29 | 50 943.33/943.53 c 942s | 17 | 7873938 | 261432 | 35132 15 | 29 | 50 945.32/945.58 c 944s | 17 | 7890032 | 261932 | 35132 15 | 29 | 50 947.42/947.67 c 946s | 17 | 7901020 | 262532 | 35132 15 | 29 | 50 949.82/950.09 c 948s | 17 | 7915349 | 263132 | 35132 15 | 29 | 50 952.22/952.43 c 950s | 17 | 7931126 | 263732 | 35132 15 | 29 | 50 954.42/954.66 c 953s | 17 | 7947016 | 264332 | 35132 15 | 29 | 50 956.52/956.70 c 955s | 17 | 7956359 | 264832 | 35132 15 | 29 | 50 958.62/958.82 c 957s | 17 | 7977362 | 265332 | 35132 15 | 29 | 50 960.72/960.92 c 959s | 17 | 7998733 | 265832 | 35132 15 | 29 | 50 962.82/963.05 c 961s | 17 | 8015290 | 266332 | 35132 15 | 29 | 50 964.92/965.18 c 963s | 17 | 8045051 | 266832 | 35132 15 | 29 | 50 967.02/967.29 c 965s | 17 | 8060175 | 267332 | 35132 15 | 29 | 50 969.12/969.37 c 967s | 17 | 8072571 | 267832 | 35132 15 | 29 | 50 971.22/971.47 c 970s | 17 | 8090385 | 268332 | 35132 15 | 29 | 50 973.42/973.62 c 972s | 17 | 8120014 | 268832 | 35132 15 | 29 | 50 975.71/975.99 c 974s | 17 | 8144986 | 269332 | 35132 15 | 29 | 50 978.01/978.20 c 976s | 17 | 8159100 | 269832 | 35132 15 | 29 | 50 980.02/980.25 c 978s | 17 | 8169472 | 270332 | 35132 15 | 29 | 50 982.12/982.33 c 980s | 17 | 8183411 | 270832 | 35132 15 | 29 | 50 984.32/984.55 c 983s | 17 | 8199414 | 271232 | 35132 15 | 29 | 50 986.81/987.02 c 985s | 17 | 8217208 | 271732 | 35132 15 | 29 | 50 989.31/989.50 c 988s | 17 | 8228518 | 272032 | 35132 15 | 29 | 50 991.41/991.60 c 990s | 17 | 8247358 | 272532 | 35132 15 | 29 | 50 993.41/993.68 c 992s | 17 | 8261987 | 273132 | 35132 15 | 29 | 50 995.51/995.71 c 994s | 17 | 8278278 | 273732 | 35132 15 | 29 | 50 997.51/997.75 c 996s | 17 | 8284135 | 274332 | 35132 15 | 29 | 50 999.51/999.79 c 998s | 17 | 8293036 | 274932 | 35132 15 | 29 | 50 1001.61/1001.82 c 1000s | 17 | 8305066 | 275532 | 35132 15 | 29 | 50 1003.91/1004.11 c 1002s | 17 | 8319568 | 276132 | 35132 15 | 29 | 50 1006.01/1006.21 c 1004s | 17 | 8331889 | 276732 | 35132 15 | 29 | 50 1008.01/1008.23 c 1006s | 17 | 8346093 | 277332 | 35132 15 | 29 | 50 1010.21/1010.49 c 1009s | 17 | 8360586 | 277932 | 35132 15 | 29 | 50 1012.51/1012.76 c 1011s | 17 | 8376245 | 278632 | 35132 15 | 29 | 50 1014.70/1014.96 c 1013s | 17 | 8393476 | 279132 | 35132 15 | 29 | 50 1017.00/1017.23 c 1015s | 17 | 8402719 | 279632 | 35132 15 | 29 | 50 1019.20/1019.45 c 1017s | 17 | 8414504 | 280132 | 35132 16 | 29 | 50 1021.60/1021.80 c 1020s | 17 | 8436227 | 280732 | 35132 16 | 29 | 50 1023.80/1024.05 c 1022s | 17 | 8448879 | 281432 | 35132 16 | 29 | 50 1026.00/1026.27 c 1024s | 17 | 8458436 | 282032 | 35132 16 | 29 | 50 1028.20/1028.43 c 1026s | 17 | 8470968 | 282732 | 35132 16 | 29 | 50 1030.80/1031.05 c 1029s | 17 | 8475134 | 283032 | 35132 16 | 29 | 50 1033.00/1033.22 c 1031s | 17 | 8481911 | 283632 | 35132 16 | 29 | 50 1035.10/1035.39 c 1033s | 17 | 8495162 | 284332 | 35132 16 | 29 | 50 1037.29/1037.52 c 1036s | 17 | 8502808 | 284932 | 35132 16 | 29 | 50 1039.49/1039.71 c 1038s | 17 | 8508831 | 285532 | 35132 16 | 29 | 50 1042.19/1042.49 c 1041s | 17 | 8514675 | 286032 | 35132 16 | 29 | 50 1044.60/1044.89 c 1043s | 17 | 8523221 | 286732 | 35132 16 | 29 | 50 1046.70/1046.90 c 1045s | 17 | 8533221 | 287332 | 35132 16 | 29 | 50 1048.70/1048.96 c 1047s | 17 | 8543004 | 287932 | 35132 16 | 29 | 50 1051.00/1051.29 c 1049s | 17 | 8551218 | 288432 | 35132 16 | 29 | 50 1053.20/1053.44 c 1051s | 17 | 8572407 | 289032 | 35132 16 | 29 | 50 1055.50/1055.79 c 1054s | 17 | 8586484 | 289632 | 35132 16 | 29 | 50 1057.60/1057.81 c 1056s | 17 | 8597703 | 290232 | 35132 16 | 29 | 50 1059.60/1059.82 c 1058s | 17 | 8608054 | 290832 | 35132 16 | 29 | 50 1061.70/1061.90 c 1060s | 17 | 8614194 | 291332 | 35132 16 | 29 | 50 1063.90/1064.16 c 1062s | 17 | 8621015 | 291832 | 35132 16 | 29 | 50 1066.09/1066.34 c 1064s | 17 | 8639857 | 292332 | 35132 16 | 29 | 50 1068.19/1068.40 c 1066s | 17 | 8665625 | 292832 | 35132 16 | 29 | 50 1070.29/1070.52 c 1069s | 17 | 8692695 | 293332 | 35132 16 | 29 | 50 1072.59/1072.85 c 1071s | 17 | 8719653 | 293932 | 38646 16 | 29 | 50 1074.60/1074.85 c 1073s | 17 | 8745781 | 294532 | 38646 16 | 29 | 50 1076.59/1076.87 c 1075s | 17 | 8759886 | 295032 | 38646 16 | 29 | 50 1078.90/1079.11 c 1077s | 17 | 8773385 | 295632 | 38646 16 | 29 | 50 1080.89/1081.11 c 1079s | 17 | 8788651 | 296232 | 38646 16 | 29 | 50 1080.99/1081.22 c 1079s | 18 | 8788867 | 296252 | 38646 16 | 29 | 50 1083.19/1083.40 c 1081s | 18 | 8796399 | 296852 | 38646 16 | 29 | 50 1085.29/1085.55 c 1084s | 18 | 8811177 | 297452 | 38646 16 | 29 | 50 1087.49/1087.75 c 1086s | 18 | 8824428 | 298052 | 38646 16 | 29 | 50 1089.89/1090.16 c 1088s | 18 | 8838557 | 298652 | 38646 16 | 29 | 50 1091.99/1092.27 c 1090s | 18 | 8862110 | 299252 | 38646 16 | 29 | 50 1094.39/1094.61 c 1093s | 18 | 8890463 | 299852 | 38646 16 | 29 | 50 1096.59/1096.83 c 1095s | 18 | 8917376 | 300452 | 38646 16 | 29 | 50 1098.58/1098.86 c 1097s | 18 | 8927597 | 301052 | 38646 16 | 29 | 50 1100.78/1101.01 c 1099s | 18 | 8934387 | 301652 | 38646 16 | 29 | 50 1102.78/1103.07 c 1101s | 18 | 8945648 | 302152 | 38646 17 | 29 | 50 1105.08/1105.36 c 1103s | 18 | 8955876 | 302852 | 38646 17 | 29 | 50 1109.38/1109.69 c 1108s | 18 | 8974559 | 303352 | 38646 17 | 29 | 50 1111.68/1111.96 c 1110s | 18 | 9002231 | 303752 | 38646 17 | 29 | 50 1113.98/1114.22 c 1112s | 18 | 9034611 | 304452 | 38646 17 | 29 | 50 1116.07/1116.33 c 1114s | 18 | 9052457 | 305052 | 38646 17 | 29 | 50 1118.27/1118.57 c 1117s | 18 | 9072423 | 305652 | 38646 17 | 29 | 50 1120.27/1120.58 c 1119s | 18 | 9087143 | 306252 | 38646 17 | 29 | 50 1122.37/1122.68 c 1121s | 18 | 9110551 | 306852 | 38646 17 | 29 | 50 1124.67/1124.90 c 1123s | 18 | 9121280 | 307452 | 38646 17 | 29 | 50 1126.87/1127.17 c 1125s | 18 | 9136707 | 308052 | 38646 17 | 29 | 50 1129.17/1129.46 c 1127s | 18 | 9153172 | 308752 | 38646 17 | 29 | 50 1131.27/1131.58 c 1130s | 18 | 9168740 | 309352 | 38646 17 | 29 | 50 1133.57/1133.82 c 1132s | 18 | 9182478 | 309952 | 38646 17 | 29 | 50 1135.87/1136.13 c 1134s | 18 | 9198764 | 310552 | 38646 17 | 29 | 50 1137.87/1138.17 c 1136s | 18 | 9215930 | 311052 | 38646 17 | 29 | 50 1140.07/1140.36 c 1138s | 18 | 9230362 | 311652 | 38646 17 | 29 | 50 1142.37/1142.64 c 1141s | 18 | 9246942 | 312252 | 38646 17 | 29 | 50 1144.37/1144.66 c 1143s | 18 | 9258169 | 312852 | 38646 17 | 29 | 50 1146.56/1146.87 c 1145s | 18 | 9277072 | 313352 | 38646 17 | 29 | 50 1148.66/1148.96 c 1147s | 18 | 9292111 | 313852 | 38646 17 | 29 | 50 1150.96/1151.21 c 1149s | 18 | 9299991 | 314452 | 38646 17 | 29 | 50 1153.06/1153.34 c 1151s | 18 | 9312059 | 315052 | 38646 17 | 29 | 50 1155.06/1155.34 c 1153s | 18 | 9319848 | 315452 | 38646 17 | 29 | 50 1157.26/1157.52 c 1156s | 18 | 9329862 | 316052 | 38646 17 | 29 | 50 1159.36/1159.68 c 1158s | 18 | 9358112 | 316552 | 38646 17 | 29 | 50 1161.56/1161.80 c 1160s | 18 | 9376718 | 317052 | 38646 17 | 29 | 50 1163.67/1163.95 c 1162s | 18 | 9392508 | 317452 | 38646 17 | 29 | 50 1165.86/1166.17 c 1164s | 18 | 9407272 | 318052 | 38646 17 | 29 | 50 1168.26/1168.56 c 1167s | 18 | 9419674 | 318652 | 38646 17 | 29 | 50 1170.76/1171.01 c 1169s | 18 | 9424351 | 319252 | 38646 17 | 29 | 50 1172.86/1173.18 c 1171s | 18 | 9436336 | 319852 | 38646 17 | 29 | 50 1175.06/1175.34 c 1173s | 18 | 9446430 | 320352 | 38646 17 | 29 | 50 1177.05/1177.35 c 1175s | 18 | 9457634 | 320852 | 38646 17 | 29 | 50 1179.06/1179.38 c 1177s | 18 | 9470053 | 321252 | 38646 17 | 29 | 50 1181.35/1181.65 c 1180s | 18 | 9483887 | 321852 | 38646 17 | 29 | 50 1183.75/1184.03 c 1182s | 18 | 9494301 | 322452 | 38646 17 | 29 | 50 1185.75/1186.07 c 1184s | 18 | 9505884 | 322952 | 38646 18 | 29 | 50 1188.05/1188.30 c 1186s | 18 | 9525838 | 323652 | 38646 18 | 29 | 50 1190.06/1190.35 c 1188s | 18 | 9542161 | 324352 | 38646 18 | 29 | 50 1192.16/1192.42 c 1190s | 18 | 9554296 | 324952 | 38646 18 | 29 | 50 1194.25/1194.55 c 1193s | 18 | 9566586 | 325652 | 38646 18 | 29 | 50 1196.35/1196.66 c 1195s | 18 | 9574950 | 326152 | 38646 18 | 29 | 50 1198.54/1198.84 c 1197s | 18 | 9591636 | 326852 | 38646 18 | 29 | 50 1200.54/1200.87 c 1199s | 18 | 9598414 | 327552 | 38646 18 | 29 | 50 1202.64/1202.99 c 1201s | 18 | 9606643 | 328152 | 38646 18 | 29 | 50 1204.84/1205.10 c 1203s | 18 | 9619965 | 328752 | 38646 18 | 29 | 50 1207.04/1207.36 c 1205s | 18 | 9632210 | 329352 | 38646 18 | 29 | 50 1209.44/1209.71 c 1208s | 18 | 9641437 | 329852 | 38646 18 | 29 | 50 1211.64/1211.94 c 1210s | 18 | 9653473 | 330452 | 38646 18 | 29 | 50 1213.74/1214.08 c 1212s | 18 | 9665346 | 331052 | 38646 18 | 29 | 50 1215.74/1216.08 c 1214s | 18 | 9679614 | 331752 | 38646 18 | 29 | 50 1217.84/1218.17 c 1216s | 18 | 9687319 | 332652 | 38646 18 | 29 | 50 1220.14/1220.40 c 1218s | 18 | 9699086 | 333252 | 38646 18 | 29 | 50 1222.14/1222.41 c 1220s | 18 | 9709496 | 333752 | 38646 18 | 29 | 50 1224.24/1224.56 c 1223s | 18 | 9721342 | 334352 | 38646 18 | 29 | 50 1226.34/1226.61 c 1225s | 18 | 9728843 | 334952 | 38646 18 | 29 | 50 1228.54/1228.89 c 1227s | 18 | 9741332 | 335652 | 38646 18 | 29 | 50 1230.94/1231.20 c 1229s | 18 | 9748316 | 336352 | 38646 18 | 29 | 50 1232.84/1233.20 c 1231s | 18 | 9759827 | 336952 | 38646 18 | 29 | 50 1235.04/1235.34 c 1233s | 18 | 9767610 | 337552 | 38646 18 | 29 | 50 1237.34/1237.64 c 1236s | 18 | 9782689 | 338252 | 38646 18 | 29 | 50 1239.44/1239.78 c 1238s | 18 | 9790864 | 338852 | 38646 18 | 29 | 50 1241.53/1241.83 c 1240s | 18 | 9804177 | 339452 | 38646 18 | 29 | 50 1243.54/1243.89 c 1242s | 18 | 9822605 | 340052 | 38646 18 | 29 | 50 1245.84/1246.16 c 1244s | 18 | 9836838 | 340752 | 38646 18 | 29 | 50 1248.35/1248.63 c 1247s | 18 | 9844832 | 341452 | 38646 18 | 29 | 50 1250.34/1250.66 c 1249s | 18 | 9855050 | 341952 | 38646 18 | 29 | 50 1252.54/1252.88 c 1251s | 18 | 9865557 | 342652 | 38646 18 | 29 | 50 1254.74/1255.07 c 1253s | 18 | 9875426 | 343252 | 38646 18 | 29 | 50 1256.74/1257.09 c 1255s | 18 | 9887893 | 343752 | 38646 19 | 29 | 50 1258.84/1259.19 c 1257s | 18 | 9899015 | 344452 | 38646 19 | 29 | 50 1261.14/1261.44 c 1259s | 18 | 9912392 | 345052 | 38646 19 | 29 | 50 1263.24/1263.54 c 1262s | 18 | 9920122 | 345652 | 38646 19 | 29 | 50 1265.24/1265.55 c 1264s | 18 | 9929456 | 346252 | 38646 19 | 29 | 50 1267.43/1267.78 c 1266s | 18 | 9939625 | 347052 | 38646 19 | 29 | 50 1270.13/1270.40 c 1268s | 18 | 9951158 | 347652 | 38646 19 | 29 | 50 1272.33/1272.63 c 1271s | 18 | 9962254 | 348252 | 38646 19 | 29 | 50 1274.33/1274.67 c 1273s | 18 | 9978103 | 348852 | 38646 19 | 29 | 50 1276.43/1276.76 c 1275s | 18 | 9988919 | 349452 | 38646 19 | 29 | 50 1278.83/1279.11 c 1277s | 18 | 9999238 | 350252 | 38646 19 | 29 | 50 1281.03/1281.30 c 1279s | 18 | 10015298 | 350752 | 38646 19 | 29 | 50 1283.32/1283.63 c 1282s | 18 | 10021591 | 351352 | 38646 19 | 29 | 50 1285.52/1285.86 c 1284s | 18 | 10046336 | 351852 | 38646 19 | 29 | 50 1287.52/1287.87 c 1286s | 18 | 10068562 | 352452 | 38646 19 | 29 | 50 1289.92/1290.21 c 1288s | 18 | 10087021 | 353152 | 38646 19 | 29 | 50 1292.23/1292.51 c 1291s | 18 | 10098786 | 353752 | 38646 19 | 29 | 50 1294.43/1294.71 c 1293s | 18 | 10109629 | 354452 | 38646 19 | 29 | 50 1296.72/1297.01 c 1295s | 18 | 10132415 | 355152 | 38646 19 | 29 | 50 1298.82/1299.17 c 1297s | 18 | 10146972 | 355852 | 38646 19 | 29 | 50 1301.02/1301.31 c 1299s | 18 | 10161424 | 356552 | 38646 19 | 29 | 50 1303.22/1303.54 c 1302s | 18 | 10172141 | 357252 | 38646 19 | 29 | 50 1305.52/1305.84 c 1304s | 18 | 10183247 | 357952 | 38646 19 | 29 | 50 1307.81/1308.14 c 1306s | 18 | 10209088 | 358652 | 38646 19 | 29 | 50 1310.01/1310.39 c 1308s | 18 | 10236288 | 359252 | 38646 19 | 29 | 50 1312.12/1312.48 c 1311s | 18 | 10250880 | 359852 | 38646 19 | 29 | 50 1314.22/1314.52 c 1313s | 18 | 10263312 | 360452 | 38646 19 | 29 | 50 1316.30/1316.63 c 1315s | 18 | 10280214 | 361152 | 38646 19 | 29 | 50 1318.40/1318.75 c 1317s | 18 | 10294039 | 361652 | 38646 19 | 29 | 50 1320.81/1321.16 c 1319s | 18 | 10313524 | 362352 | 38646 19 | 29 | 50 1323.01/1323.38 c 1321s | 18 | 10332406 | 362952 | 38646 19 | 29 | 50 1325.40/1325.72 c 1324s | 18 | 10345021 | 363552 | 38646 19 | 29 | 50 1327.41/1327.75 c 1326s | 18 | 10355043 | 364152 | 38646 20 | 29 | 50 1329.71/1330.06 c 1328s | 18 | 10364347 | 364952 | 38646 20 | 29 | 50 1331.81/1332.12 c 1330s | 18 | 10372667 | 365552 | 38646 20 | 29 | 50 1333.80/1334.15 c 1332s | 18 | 10380232 | 366252 | 38646 20 | 29 | 50 1336.00/1336.33 c 1334s | 18 | 10408286 | 366852 | 38646 20 | 29 | 50 1338.10/1338.48 c 1337s | 18 | 10424752 | 367452 | 38646 20 | 29 | 50 1340.50/1340.80 c 1339s | 18 | 10442555 | 368152 | 38646 20 | 29 | 50 1342.80/1343.11 c 1341s | 18 | 10458407 | 368852 | 38646 20 | 29 | 50 1344.79/1345.18 c 1343s | 18 | 10467247 | 369652 | 38646 20 | 29 | 50 1346.99/1347.32 c 1345s | 18 | 10481463 | 370152 | 38646 20 | 29 | 50 1349.19/1349.53 c 1348s | 18 | 10499166 | 370752 | 38646 20 | 29 | 50 1351.39/1351.73 c 1350s | 18 | 10507171 | 371352 | 38646 20 | 29 | 50 1353.49/1353.81 c 1352s | 18 | 10515625 | 371852 | 38646 20 | 29 | 50 1355.58/1355.93 c 1354s | 18 | 10521833 | 372452 | 38646 20 | 29 | 50 1357.68/1358.09 c 1356s | 18 | 10528676 | 373052 | 38646 20 | 29 | 50 1359.78/1360.17 c 1358s | 18 | 10533454 | 373552 | 38646 20 | 29 | 50 1361.78/1362.19 c 1360s | 18 | 10539309 | 374152 | 38646 20 | 29 | 50 1363.88/1364.29 c 1362s | 18 | 10551105 | 374752 | 38646 20 | 29 | 50 1366.08/1366.42 c 1364s | 18 | 10561331 | 375352 | 38646 20 | 29 | 50 1368.38/1368.73 c 1367s | 18 | 10572695 | 375952 | 38646 20 | 29 | 50 1370.48/1370.88 c 1369s | 18 | 10584580 | 376552 | 38646 20 | 29 | 50 1372.68/1373.07 c 1371s | 18 | 10594999 | 377052 | 38646 20 | 29 | 50 1374.69/1375.10 c 1373s | 18 | 10610662 | 377652 | 38646 20 | 29 | 50 1376.99/1377.31 c 1375s | 18 | 10626422 | 378252 | 38646 20 | 29 | 50 1378.98/1379.33 c 1377s | 18 | 10643479 | 378752 | 38646 20 | 29 | 50 1380.98/1381.37 c 1379s | 18 | 10655587 | 379252 | 38646 20 | 29 | 50 1383.18/1383.57 c 1382s | 18 | 10665642 | 379652 | 38646 20 | 29 | 50 1385.48/1385.80 c 1384s | 18 | 10684337 | 380252 | 38646 20 | 29 | 50 1387.77/1388.15 c 1386s | 18 | 10692209 | 380852 | 38646 20 | 29 | 50 1389.97/1390.39 c 1388s | 18 | 10701172 | 381452 | 38646 20 | 29 | 50 1392.17/1392.51 c 1391s | 18 | 10721791 | 381952 | 38646 20 | 29 | 50 1394.27/1394.60 c 1393s | 18 | 10733119 | 382452 | 38646 20 | 29 | 50 1396.57/1396.90 c 1395s | 18 | 10746070 | 383052 | 38646 20 | 29 | 50 1398.88/1399.24 c 1397s | 18 | 10763620 | 383652 | 38646 20 | 29 | 50 1401.18/1401.54 c 1400s | 18 | 10782250 | 384252 | 38646 20 | 29 | 50 1403.38/1403.71 c 1402s | 18 | 10795057 | 384752 | 38646 20 | 29 | 50 1405.67/1406.06 c 1404s | 18 | 10803690 | 385252 | 38646 21 | 29 | 50 1407.87/1408.24 c 1406s | 18 | 10825788 | 385752 | 38646 21 | 29 | 50 1409.98/1410.35 c 1408s | 18 | 10845360 | 386252 | 38646 21 | 29 | 50 1412.08/1412.49 c 1411s | 18 | 10855536 | 386752 | 38646 21 | 29 | 50 1414.47/1414.82 c 1413s | 18 | 10877472 | 387352 | 38646 21 | 29 | 50 1416.57/1416.99 c 1415s | 18 | 10884362 | 387952 | 38646 21 | 29 | 50 1418.67/1419.06 c 1417s | 18 | 10893217 | 388452 | 38646 21 | 29 | 50 1420.77/1421.20 c 1419s | 18 | 10901261 | 388952 | 38646 21 | 29 | 50 1422.97/1423.33 c 1421s | 18 | 10912328 | 389452 | 38646 21 | 29 | 50 1424.97/1425.34 c 1423s | 18 | 10922534 | 390152 | 38646 21 | 29 | 50 1427.17/1427.56 c 1426s | 18 | 10936572 | 390652 | 38646 21 | 29 | 50 1429.46/1429.87 c 1428s | 18 | 10954733 | 391252 | 38646 21 | 29 | 50 1431.66/1432.04 c 1430s | 18 | 10963683 | 392052 | 38646 21 | 29 | 50 1433.76/1434.17 c 1432s | 18 | 10973493 | 392552 | 38646 21 | 29 | 50 1436.16/1436.52 c 1435s | 18 | 10987850 | 393052 | 38646 21 | 29 | 50 1438.26/1438.67 c 1437s | 18 | 10997846 | 393552 | 38646 21 | 29 | 50 1440.46/1440.87 c 1439s | 18 | 11011005 | 394052 | 38646 21 | 29 | 50 1442.56/1442.91 c 1441s | 18 | 11021455 | 394552 | 38646 21 | 29 | 50 1444.66/1445.01 c 1443s | 18 | 11032303 | 395152 | 38646 21 | 29 | 50 1446.76/1447.11 c 1445s | 18 | 11042233 | 395652 | 38646 21 | 29 | 50 1449.26/1449.66 c 1448s | 18 | 11050553 | 396252 | 38646 21 | 29 | 50 1451.36/1451.76 c 1450s | 18 | 11057694 | 396752 | 38646 21 | 29 | 50 1453.36/1453.79 c 1452s | 18 | 11066101 | 397252 | 38646 21 | 29 | 50 1455.65/1456.09 c 1454s | 18 | 11078453 | 397852 | 38646 21 | 29 | 50 1457.75/1458.17 c 1456s | 18 | 11085625 | 398452 | 38646 21 | 29 | 50 1459.95/1460.37 c 1458s | 18 | 11095214 | 399052 | 38646 21 | 29 | 50 1462.25/1462.69 c 1461s | 18 | 11113245 | 399552 | 38646 21 | 29 | 50 1464.65/1465.03 c 1463s | 18 | 11127010 | 400152 | 38646 21 | 29 | 50 1467.06/1467.42 c 1465s | 18 | 11140074 | 400752 | 38646 21 | 29 | 50 1469.55/1469.90 c 1468s | 18 | 11147861 | 401352 | 38646 21 | 29 | 50 1471.85/1472.25 c 1470s | 18 | 11166674 | 401952 | 38646 21 | 29 | 50 1474.15/1474.52 c 1473s | 18 | 11186919 | 402452 | 38646 21 | 29 | 50 1476.25/1476.60 c 1475s | 18 | 11205087 | 402952 | 38646 21 | 29 | 50 1478.55/1478.98 c 1477s | 18 | 11218006 | 403552 | 38646 21 | 29 | 50 1480.85/1481.24 c 1479s | 18 | 11230872 | 404052 | 38646 21 | 29 | 50 1483.15/1483.52 c 1482s | 18 | 11239835 | 404752 | 38646 21 | 29 | 50 1485.45/1485.87 c 1484s | 18 | 11256995 | 405252 | 38646 21 | 29 | 50 1487.84/1488.30 c 1486s | 18 | 11261059 | 405752 | 38646 21 | 29 | 50 1489.94/1490.32 c 1488s | 18 | 11266481 | 406152 | 38646 22 | 29 | 50 1492.14/1492.57 c 1491s | 18 | 11278786 | 406752 | 38646 22 | 29 | 50 1494.34/1494.77 c 1493s | 18 | 11292427 | 407252 | 38646 22 | 29 | 50 1496.64/1497.04 c 1495s | 18 | 11304328 | 407852 | 38646 22 | 29 | 50 1499.05/1499.47 c 1498s | 18 | 11317870 | 408452 | 38646 22 | 29 | 50 1501.44/1501.80 c 1500s | 18 | 11331107 | 409052 | 38646 22 | 29 | 50 1503.45/1503.84 c 1502s | 18 | 11340405 | 409752 | 38646 22 | 29 | 50 1505.64/1506.02 c 1504s | 18 | 11353421 | 410352 | 38646 22 | 29 | 50 1507.84/1508.23 c 1506s | 18 | 11367686 | 410852 | 38646 22 | 29 | 50 1509.84/1510.30 c 1508s | 18 | 11378973 | 411452 | 38646 22 | 29 | 50 1512.04/1512.49 c 1511s | 18 | 11386527 | 412052 | 38646 22 | 29 | 50 1514.44/1514.86 c 1513s | 18 | 11398791 | 412552 | 38646 22 | 29 | 50 1516.54/1516.93 c 1515s | 18 | 11403781 | 412952 | 38646 22 | 29 | 50 1518.64/1519.04 c 1517s | 18 | 11417836 | 413552 | 38646 22 | 29 | 50 1520.83/1521.20 c 1519s | 18 | 11420407 | 414252 | 38646 22 | 29 | 50 1523.33/1523.70 c 1522s | 18 | 11431730 | 414852 | 38646 22 | 29 | 50 1525.44/1525.88 c 1524s | 18 | 11443228 | 415252 | 38646 22 | 29 | 50 1527.83/1528.25 c 1526s | 18 | 11457821 | 415852 | 38646 22 | 29 | 50 1530.23/1530.61 c 1529s | 18 | 11470918 | 416452 | 38646 22 | 29 | 50 1532.23/1532.68 c 1531s | 18 | 11477881 | 416952 | 38646 22 | 29 | 50 1534.43/1534.85 c 1533s | 18 | 11487968 | 417352 | 38646 22 | 29 | 50 1536.83/1537.25 c 1535s | 18 | 11496967 | 417952 | 38646 22 | 29 | 50 1539.03/1539.47 c 1537s | 18 | 11505534 | 418452 | 38646 22 | 29 | 50 1541.33/1541.71 c 1540s | 18 | 11512604 | 419052 | 38646 22 | 29 | 50 1543.63/1544.09 c 1542s | 18 | 11524111 | 419552 | 38646 22 | 29 | 50 1545.93/1546.33 c 1544s | 18 | 11534097 | 420052 | 38646 22 | 29 | 50 1548.13/1548.58 c 1547s | 18 | 11543807 | 420552 | 38646 22 | 29 | 50 1550.23/1550.65 c 1549s | 18 | 11556005 | 421052 | 38646 22 | 29 | 50 1552.23/1552.66 c 1551s | 18 | 11559517 | 421452 | 38646 22 | 29 | 50 1554.33/1554.71 c 1553s | 18 | 11564281 | 421852 | 38646 22 | 29 | 50 1556.53/1556.99 c 1555s | 18 | 11573946 | 422352 | 38646 22 | 29 | 50 1558.93/1559.34 c 1557s | 18 | 11583634 | 422952 | 38646 22 | 29 | 50 1562.73/1563.12 c 1561s | 18 | 11593706 | 423552 | 38646 22 | 29 | 50 1565.32/1565.73 c 1564s | 18 | 11599107 | 424052 | 38646 22 | 29 | 50 1567.52/1567.90 c 1566s | 18 | 11613819 | 424552 | 38646 22 | 29 | 50 1569.82/1570.27 c 1568s | 18 | 11637632 | 425052 | 38646 22 | 29 | 50 1572.12/1572.57 c 1571s | 18 | 11655615 | 425652 | 38646 22 | 29 | 50 1574.32/1574.75 c 1573s | 18 | 11672690 | 426152 | 38646 22 | 29 | 50 1576.42/1576.81 c 1575s | 18 | 11683917 | 426552 | 38646 23 | 29 | 50 1578.42/1578.86 c 1577s | 18 | 11693939 | 427052 | 38646 23 | 29 | 50 1580.43/1580.89 c 1579s | 18 | 11702244 | 427652 | 38646 23 | 29 | 50 1582.53/1582.96 c 1581s | 18 | 11714529 | 428252 | 38646 23 | 29 | 50 1584.52/1584.98 c 1583s | 18 | 11727376 | 428852 | 38646 23 | 29 | 50 1586.93/1587.34 c 1585s | 18 | 11734829 | 429652 | 38646 23 | 29 | 50 1589.23/1589.68 c 1588s | 18 | 11750867 | 430252 | 38646 23 | 29 | 50 1591.52/1591.95 c 1590s | 18 | 11765107 | 430952 | 38646 23 | 29 | 50 1593.63/1594.05 c 1592s | 18 | 11775498 | 431652 | 38646 23 | 29 | 50 1595.62/1596.09 c 1594s | 18 | 11786032 | 432252 | 38646 23 | 29 | 50 1597.82/1598.29 c 1596s | 18 | 11794618 | 432852 | 38646 23 | 29 | 50 1600.02/1600.48 c 1599s | 18 | 11807571 | 433452 | 38646 23 | 29 | 50 1602.22/1602.60 c 1601s | 18 | 11814436 | 433952 | 38646 23 | 29 | 50 1604.42/1604.90 c 1603s | 18 | 11827444 | 434552 | 38646 23 | 29 | 50 1606.82/1607.21 c 1605s | 18 | 11836050 | 435352 | 38646 23 | 29 | 50 1609.02/1609.42 c 1607s | 18 | 11851113 | 435852 | 38646 23 | 29 | 50 1611.02/1611.45 c 1609s | 18 | 11867339 | 436352 | 38646 23 | 29 | 50 1613.11/1613.52 c 1612s | 18 | 11878320 | 436952 | 38646 23 | 29 | 50 1615.11/1615.58 c 1614s | 18 | 11893412 | 437552 | 38646 23 | 29 | 50 1617.51/1617.94 c 1616s | 18 | 11904589 | 438152 | 38646 23 | 29 | 50 1619.92/1620.33 c 1618s | 18 | 11913089 | 438752 | 38646 23 | 29 | 50 1622.12/1622.55 c 1621s | 18 | 11921885 | 439252 | 38646 23 | 29 | 50 1624.51/1624.98 c 1623s | 18 | 11931066 | 439852 | 38646 23 | 29 | 50 1626.91/1627.33 c 1625s | 18 | 11943050 | 440452 | 38646 23 | 29 | 50 1629.11/1629.51 c 1628s | 18 | 11948334 | 441152 | 42511 23 | 29 | 50 1631.31/1631.79 c 1630s | 18 | 11954599 | 441652 | 42511 23 | 29 | 50 1633.52/1633.92 c 1632s | 18 | 11965589 | 442152 | 42511 23 | 29 | 50 1635.52/1635.98 c 1634s | 18 | 11975459 | 442652 | 42511 23 | 29 | 50 1637.63/1638.02 c 1636s | 18 | 11984667 | 443152 | 42511 23 | 29 | 50 1640.12/1640.55 c 1639s | 18 | 11993735 | 443752 | 42511 23 | 29 | 50 1642.22/1642.61 c 1641s | 18 | 12002028 | 444252 | 42511 23 | 29 | 50 1643.22/1643.61 c 1642s | 19 | 12008131 | 444482 | 42511 23 | 29 | 50 1645.42/1645.85 c 1644s | 19 | 12016947 | 444882 | 42511 23 | 29 | 50 1647.53/1647.96 c 1646s | 19 | 12020464 | 445382 | 42511 23 | 29 | 50 1649.82/1650.28 c 1648s | 19 | 12029712 | 445782 | 42511 23 | 29 | 50 1652.12/1652.59 c 1651s | 19 | 12045673 | 446282 | 42511 23 | 29 | 50 1654.52/1654.99 c 1653s | 19 | 12069194 | 446782 | 42511 23 | 29 | 50 1656.92/1657.32 c 1655s | 19 | 12082106 | 447282 | 42511 23 | 29 | 50 1659.22/1659.62 c 1658s | 19 | 12095546 | 447782 | 42511 23 | 29 | 50 1661.32/1661.70 c 1660s | 19 | 12104060 | 448282 | 42511 23 | 29 | 50 1663.32/1663.77 c 1662s | 19 | 12114495 | 448782 | 42511 23 | 29 | 50 1665.42/1665.81 c 1664s | 19 | 12121402 | 449382 | 42511 23 | 29 | 50 1667.42/1667.88 c 1666s | 19 | 12127875 | 449882 | 42511 23 | 29 | 50 1669.82/1670.24 c 1668s | 19 | 12136059 | 450382 | 42511 23 | 29 | 50 1671.91/1672.36 c 1670s | 19 | 12146286 | 450882 | 42511 23 | 29 | 50 1674.11/1674.56 c 1673s | 19 | 12161494 | 451382 | 42511 24 | 29 | 50 1676.21/1676.66 c 1675s | 19 | 12172757 | 451882 | 42511 24 | 29 | 50 1678.41/1678.82 c 1677s | 19 | 12182009 | 452382 | 42511 24 | 29 | 50 1680.61/1681.06 c 1679s | 19 | 12189910 | 452882 | 42511 24 | 29 | 50 1682.72/1683.17 c 1681s | 19 | 12200205 | 453382 | 42511 24 | 29 | 50 1685.31/1685.76 c 1684s | 19 | 12209023 | 453882 | 42511 24 | 29 | 50 1687.41/1687.81 c 1686s | 19 | 12217525 | 454382 | 42511 24 | 29 | 50 1689.71/1690.13 c 1688s | 19 | 12223483 | 454882 | 42511 24 | 29 | 50 1691.71/1692.14 c 1690s | 19 | 12231948 | 455482 | 42511 24 | 29 | 50 1693.72/1694.14 c 1692s | 19 | 12236766 | 456082 | 42511 24 | 29 | 50 1695.82/1696.28 c 1694s | 19 | 12249482 | 456582 | 42511 24 | 29 | 50 1697.91/1698.32 c 1696s | 19 | 12256247 | 457082 | 42511 24 | 29 | 50 1700.01/1700.46 c 1698s | 19 | 12268346 | 457582 | 42511 24 | 29 | 50 1702.21/1702.62 c 1701s | 19 | 12281174 | 458182 | 42511 24 | 29 | 50 1704.41/1704.88 c 1703s | 19 | 12296352 | 458782 | 42511 24 | 29 | 50 1706.51/1706.93 c 1705s | 19 | 12307149 | 459382 | 42511 24 | 29 | 50 1708.71/1709.10 c 1707s | 19 | 12325049 | 459882 | 42511 24 | 29 | 50 1711.01/1711.41 c 1709s | 19 | 12335096 | 460482 | 42511 24 | 29 | 50 1713.11/1713.56 c 1712s | 19 | 12341016 | 461182 | 42511 24 | 29 | 50 1715.21/1715.62 c 1714s | 19 | 12347111 | 461682 | 42511 24 | 29 | 50 1717.21/1717.62 c 1716s | 19 | 12354807 | 462382 | 42511 24 | 29 | 50 1719.21/1719.68 c 1718s | 19 | 12367506 | 462882 | 42511 24 | 29 | 50 1721.31/1721.74 c 1720s | 19 | 12382648 | 463382 | 42511 24 | 29 | 50 1723.51/1723.95 c 1722s | 19 | 12392514 | 463982 | 42511 24 | 29 | 50 1725.51/1725.99 c 1724s | 19 | 12396914 | 464582 | 42511 24 | 29 | 50 1727.91/1728.39 c 1726s | 19 | 12404703 | 465182 | 42511 24 | 29 | 50 1730.11/1730.56 c 1729s | 19 | 12410372 | 465682 | 42511 24 | 29 | 50 1732.31/1732.70 c 1731s | 19 | 12420326 | 466182 | 42511 24 | 29 | 50 1734.31/1734.71 c 1733s | 19 | 12427859 | 466682 | 42511 24 | 29 | 50 1736.41/1736.86 c 1735s | 19 | 12436020 | 467282 | 42511 24 | 29 | 50 1738.50/1738.93 c 1737s | 19 | 12446115 | 467782 | 42511 24 | 29 | 50 1740.60/1741.03 c 1739s | 19 | 12452745 | 468282 | 42511 24 | 29 | 50 1742.80/1743.27 c 1741s | 19 | 12462974 | 468782 | 42511 24 | 29 | 50 1745.00/1745.44 c 1743s | 19 | 12473854 | 469282 | 42511 24 | 29 | 50 1747.20/1747.64 c 1746s | 19 | 12483435 | 469782 | 42511 24 | 29 | 50 1749.60/1750.03 c 1748s | 19 | 12488465 | 470382 | 42511 24 | 29 | 50 1751.91/1752.32 c 1750s | 19 | 12502437 | 470882 | 42511 24 | 29 | 50 1753.90/1754.34 c 1752s | 19 | 12512992 | 471382 | 42511 24 | 29 | 50 1756.10/1756.53 c 1755s | 19 | 12520226 | 471982 | 42511 24 | 29 | 50 1758.40/1758.88 c 1757s | 19 | 12530779 | 472482 | 42511 24 | 29 | 50 1760.71/1761.12 c 1759s | 19 | 12542203 | 472982 | 42511 24 | 29 | 50 1763.01/1763.47 c 1762s | 19 | 12551386 | 473482 | 42511 24 | 29 | 50 1765.11/1765.56 c 1764s | 19 | 12558025 | 473882 | 42511 25 | 29 | 50 1767.20/1767.63 c 1766s | 19 | 12562836 | 474382 | 42511 25 | 29 | 50 1769.51/1769.92 c 1768s | 19 | 12567400 | 474882 | 42511 25 | 29 | 50 1771.60/1772.03 c 1770s | 19 | 12573132 | 475382 | 42511 25 | 29 | 50 1773.91/1774.36 c 1772s | 19 | 12581039 | 475982 | 42511 25 | 29 | 50 1776.00/1776.45 c 1774s | 19 | 12590664 | 476482 | 42511 25 | 29 | 50 1778.10/1778.59 c 1777s | 19 | 12598925 | 476982 | 42511 25 | 29 | 50 1780.50/1780.96 c 1779s | 19 | 12611599 | 477582 | 42511 25 | 29 | 50 1782.71/1783.19 c 1781s | 19 | 12621263 | 478082 | 42511 25 | 29 | 50 1785.89/1786.31 c 1784s | 19 | 12626462 | 478582 | 42511 25 | 29 | 50 1787.89/1788.32 c 1786s | 19 | 12631377 | 478982 | 42511 25 | 29 | 50 1790.29/1790.72 c 1789s | 19 | 12641602 | 479582 | 42511 25 | 29 | 50 1792.39/1792.83 c 1791s | 19 | 12649793 | 480182 | 42511 25 | 29 | 50 1794.49/1794.97 c 1793s | 19 | 12654322 | 480982 | 42511 25 | 29 | 50 1796.79/1797.28 c 1795s | 19 | 12665318 | 481582 | 42511 25 | 29 | 50 1798.89/1799.32 c 1797s | 19 | 12677189 | 482082 | 42511 25 | 29 | 50
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-4079799-1465252712/watcher-4079799-1465252712 -o /tmp/evaluation-result-4079799-1465252712/solver-4079799-1465252712 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079799-1465252712.opb pid=11174 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.28 2.22 2.18 3/179 11177 /proc/meminfo: memFree=29635836/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=752060 CPUtime=0 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 2813 0 0 0 0 0 0 0 20 0 4 0 107205810 770109440 2663 33554432000 4194304 16246674 140734773069744 140734773069168 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 188527 2672 441 2943 0 185421 0 [pid=11177/tid=11178] ppid=11174 vsize=769468 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 787935232 2731 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=773564 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 792129536 2748 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=777660 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107205810 796323840 2764 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 2.28 2.22 2.18 3/179 11177 /proc/meminfo: memFree=29635836/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 26582 0 0 0 5 4 0 0 20 0 4 0 107205810 1333334016 26369 33554432000 4194304 16246674 140734773069744 140734773069056 7376813 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 325521 26384 799 2943 0 322415 0 [pid=11177/tid=11178] ppid=11174 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 1333334016 26394 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 1333334016 26405 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1333334016 26416 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200506 s] /proc/loadavg: 2.28 2.22 2.18 3/179 11177 /proc/meminfo: memFree=29635836/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=1302084 CPUtime=0.19 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 42757 0 0 0 13 6 0 0 20 0 4 0 107205810 1333334016 42544 33554432000 4194304 16246674 140734773069744 140734773069056 5589069 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 325521 42544 832 2943 0 322415 0 [pid=11177/tid=11178] ppid=11174 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 1333334016 42544 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 1333334016 42544 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1333334016 42544 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1302084 [startup+0.300471 s] /proc/loadavg: 2.28 2.22 2.18 3/179 11177 /proc/meminfo: memFree=29635836/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=1302084 CPUtime=0.29 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 56231 0 0 0 20 9 0 0 20 0 4 0 107205810 1333334016 56018 33554432000 4194304 16246674 140734773069744 140734773069056 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 325521 56024 867 2943 0 322415 0 [pid=11177/tid=11178] ppid=11174 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 1333334016 56029 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 1333334016 56034 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1333334016 56039 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1302084 [startup+0.700352 s] /proc/loadavg: 2.28 2.22 2.18 3/179 11177 /proc/meminfo: memFree=29635836/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=1312324 CPUtime=0.68 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 62130 0 0 0 59 9 0 0 20 0 4 0 107205810 1343819776 61917 33554432000 4194304 16246674 140734773069744 140734773051648 12483286 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 328081 61917 904 2943 0 324975 0 [pid=11177/tid=11178] ppid=11174 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 1343819776 61917 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 1343819776 61917 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1343819776 61917 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1312324 [startup+1.50035 s] /proc/loadavg: 2.28 2.22 2.18 3/183 11181 /proc/meminfo: memFree=29389244/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=1312324 CPUtime=1.49 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 96436 0 0 0 136 13 0 0 20 0 4 0 107205810 1343819776 96223 33554432000 4194304 16246674 140734773069744 140734773051648 5808568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 328081 96223 908 2943 0 324975 0 [pid=11177/tid=11178] ppid=11174 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 1343819776 96223 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 1343819776 96223 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1343819776 96223 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1312324 [startup+3.10035 s] /proc/loadavg: 2.26 2.21 2.18 3/183 11181 /proc/meminfo: memFree=29098344/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=1312324 CPUtime=3.09 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 196604 0 0 0 283 26 0 0 20 0 4 0 107205810 1343819776 196391 33554432000 4194304 16246674 140734773069744 140734773051648 5711820 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 328081 196392 908 2943 0 324975 0 [pid=11177/tid=11178] ppid=11174 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 1343819776 196393 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 1343819776 196393 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1343819776 196394 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1312324 [startup+6.30039 s] /proc/loadavg: 2.26 2.21 2.18 3/183 11181 /proc/meminfo: memFree=28559948/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=1312324 CPUtime=6.29 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 269290 0 0 0 592 37 0 0 20 0 4 0 107205810 1343819776 269077 33554432000 4194304 16246674 140734773069744 140734773051648 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 328081 269077 908 2943 0 324975 0 [pid=11177/tid=11178] ppid=11174 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 1343819776 269077 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 1343819776 269077 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1343819776 269077 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1312324 [startup+12.7004 s] /proc/loadavg: 2.22 2.20 2.18 3/183 11181 /proc/meminfo: memFree=28559776/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=1312324 CPUtime=12.69 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 269293 0 0 0 1232 37 0 0 20 0 4 0 107205810 1343819776 269080 33554432000 4194304 16246674 140734773069744 140734773051648 5711697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 328081 269080 911 2943 0 324975 0 [pid=11177/tid=11178] ppid=11174 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 1343819776 269080 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 1343819776 269080 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1343819776 269080 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1312324 [startup+25.5005 s] /proc/loadavg: 2.18 2.20 2.18 3/183 11181 /proc/meminfo: memFree=28560408/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=1312324 CPUtime=25.49 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 269293 0 0 0 2512 37 0 0 20 0 4 0 107205810 1343819776 269080 33554432000 4194304 16246674 140734773069744 140734773051648 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 328081 269080 911 2943 0 324975 0 [pid=11177/tid=11178] ppid=11174 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 1343819776 269080 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 1343819776 269080 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1343819776 269080 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1312324 [startup+51.1005 s] /proc/loadavg: 2.26 2.21 2.18 3/183 11181 /proc/meminfo: memFree=28560336/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=1312324 CPUtime=51.08 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 269293 0 0 0 5071 37 0 0 20 0 4 0 107205810 1343819776 269080 33554432000 4194304 16246674 140734773069744 140734773051648 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 328081 269080 911 2943 0 324975 0 [pid=11177/tid=11178] ppid=11174 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 1343819776 269080 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 1343819776 269080 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1343819776 269080 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1312324 [startup+102.3 s] /proc/loadavg: 2.25 2.22 2.18 3/184 11185 /proc/meminfo: memFree=28550920/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=1321540 CPUtime=102.28 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 271601 0 0 0 10191 37 0 0 20 0 4 0 107205810 1353256960 271388 33554432000 4194304 16246674 140734773069744 140734773051648 5711968 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 330385 271388 915 2943 0 327279 0 [pid=11177/tid=11178] ppid=11174 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 1353256960 271388 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 1353256960 271388 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1353256960 271388 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1321540 ################ # More data... # ################ /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1380519936 278300 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.02 Current children cumulated vsize (KiB) 1348164 [startup+1362.3 s] /proc/loadavg: 2.23 2.17 2.17 3/184 11239 /proc/meminfo: memFree=28519592/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=1348164 CPUtime=1361.98 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 278424 0 0 0 136153 45 0 0 20 0 4 0 107205810 1380519936 278300 33554432000 4194304 16246674 140734773069744 140734773051648 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 337041 278300 915 2943 0 333935 0 [pid=11177/tid=11178] ppid=11174 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 1380519936 278300 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 1380519936 278300 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1380519936 278300 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 1348164 [startup+1422.3 s] /proc/loadavg: 2.13 2.16 2.16 3/183 11240 /proc/meminfo: memFree=28519644/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=1348164 CPUtime=1421.97 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 278443 0 0 0 142152 45 0 0 20 0 4 0 107205810 1380519936 278300 33554432000 4194304 16246674 140734773069744 140734773051648 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 337041 278300 915 2943 0 333935 0 [pid=11177/tid=11178] ppid=11174 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 1380519936 278300 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 1380519936 278300 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1380519936 278300 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 1348164 [startup+1482.3 s] /proc/loadavg: 2.22 2.17 2.17 4/183 11241 /proc/meminfo: memFree=28520040/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=1348164 CPUtime=1481.95 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 278459 0 0 0 148150 45 0 0 20 0 4 0 107205810 1380519936 278300 33554432000 4194304 16246674 140734773069744 140734773051648 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 337041 278300 915 2943 0 333935 0 [pid=11177/tid=11178] ppid=11174 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 1380519936 278300 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 1380519936 278300 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1380519936 278300 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 1348164 [startup+1542.31 s] /proc/loadavg: 2.18 2.17 2.16 3/183 11243 /proc/meminfo: memFree=28519644/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=1348164 CPUtime=1541.94 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 278469 0 0 0 154149 45 0 0 20 0 4 0 107205810 1380519936 278301 33554432000 4194304 16246674 140734773069744 140734773051648 5545840 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 337041 278301 915 2943 0 333935 0 [pid=11177/tid=11178] ppid=11174 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 1380519936 278301 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 1380519936 278301 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1380519936 278301 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 1348164 [startup+1602.3 s] /proc/loadavg: 2.19 2.17 2.16 4/183 11391 /proc/meminfo: memFree=28556092/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=1348164 CPUtime=1601.92 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 278469 0 0 0 160147 45 0 0 20 0 4 0 107205810 1380519936 278301 33554432000 4194304 16246674 140734773069744 140734773051648 6011859 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 337041 278301 915 2943 0 333935 0 [pid=11177/tid=11178] ppid=11174 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 1380519936 278301 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 1380519936 278301 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1380519936 278301 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 1348164 [startup+1662.3 s] /proc/loadavg: 2.36 2.21 2.18 4/183 11392 /proc/meminfo: memFree=28552976/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=1350212 CPUtime=1661.92 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 278739 0 0 0 166146 46 0 0 20 0 4 0 107205810 1382617088 278571 33554432000 4194304 16246674 140734773069744 140734773051648 5823751 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 337553 278571 915 2943 0 334447 0 [pid=11177/tid=11178] ppid=11174 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 1382617088 278571 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 1382617088 278571 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1382617088 278571 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1350212 [startup+1722.3 s] /proc/loadavg: 2.42 2.25 2.19 3/183 11393 /proc/meminfo: memFree=28551972/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=1350212 CPUtime=1721.91 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 278739 0 0 0 172145 46 0 0 20 0 4 0 107205810 1382617088 278571 33554432000 4194304 16246674 140734773069744 140734773051648 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 337553 278571 915 2943 0 334447 0 [pid=11177/tid=11178] ppid=11174 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 1382617088 278571 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 1382617088 278571 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1382617088 278571 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 1350212 [startup+1782.3 s] /proc/loadavg: 2.39 2.27 2.20 3/183 11394 /proc/meminfo: memFree=28551852/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=1350212 CPUtime=1781.9 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 278739 0 0 0 178144 46 0 0 20 0 4 0 107205810 1382617088 278571 33554432000 4194304 16246674 140734773069744 140734773051648 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 337553 278571 915 2943 0 334447 0 [pid=11177/tid=11178] ppid=11174 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 1382617088 278571 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 1382617088 278571 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1382617088 278571 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 1350212 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.38 2.27 2.20 3/183 11395 /proc/meminfo: memFree=28551356/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=1350212 CPUtime=1800.09 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 278981 0 0 0 179963 46 0 0 20 0 4 0 107205810 1382617088 278813 33554432000 4194304 16246674 140734773069744 140734773051648 5523325 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 337553 278813 915 2943 0 334447 0 [pid=11177/tid=11178] ppid=11174 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 1382617088 278813 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 1382617088 278813 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1382617088 278813 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 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 11177 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.38 2.27 2.20 3/183 11395 /proc/meminfo: memFree=28551356/32872528 swapFree=12208/1156848 [pid=11177] ppid=11174 vsize=1350212 CPUtime=1800.09 cores=0,2,4,6 /proc/11177/stat : 11177 (toysat) R 11174 11177 9895 0 -1 4202496 278981 0 0 0 179963 46 0 0 20 0 4 0 107205810 1382617088 278813 33554432000 4194304 16246674 140734773069744 140734773051648 5523325 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11177/statm: 337553 278813 915 2943 0 334447 0 [pid=11177/tid=11178] ppid=11174 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11178/stat : 11178 (toysat) S 11174 11177 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107205810 1382617088 278813 33554432000 4194304 16246674 140734773069744 140499995307248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11177/tid=11179] ppid=11174 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11179/stat : 11179 (toysat) S 11174 11177 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107205810 1382617088 278813 33554432000 4194304 16246674 140734773069744 140499984817392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11177/tid=11180] ppid=11174 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/11177/task/11180/stat : 11180 (toysat) S 11174 11177 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107205810 1382617088 278813 33554432000 4194304 16246674 140734773069744 140499974343856 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1350212 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.11 CPU user time (s): 1799.64 CPU system time (s): 0.465929 CPU usage (%): 99.9775 Max. virtual memory (cumulated for all children) (KiB): 1350212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.64 system time used= 0.465929 maximum resident set size= 1115252 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 278981 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= 226 involuntary context switches= 1840 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.84826 second user time and 6.77997 second system time The end
Begin job on node114 at 2016-06-07 00:38:32 IDJOB=4079799 IDBENCH=25035 IDSOLVER=2542 FILE ID=node114/4079799-1465252712 RUNJOBID= node114-1465241547-9911 PBS_JOBID= 19843245 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir03_area_opers.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079799-1465252712/watcher-4079799-1465252712 -o /tmp/evaluation-result-4079799-1465252712/solver-4079799-1465252712 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079799-1465252712.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b21d0afca1befeb5506928b558ab5220 RANDOM SEED=1034650451 node114.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29636564 kB Buffers: 55092 kB Cached: 219380 kB SwapCached: 1724 kB Active: 1225268 kB Inactive: 150348 kB Active(anon): 1101912 kB Inactive(anon): 1200 kB Active(file): 123356 kB Inactive(file): 149148 kB Unevictable: 1156848 kB Mlocked: 12208 kB SwapTotal: 67108856 kB SwapFree: 67096600 kB Dirty: 16780 kB Writeback: 0 kB AnonPages: 2257304 kB Mapped: 10896 kB Shmem: 0 kB Slab: 570324 kB SReclaimable: 14340 kB SUnreclaim: 555984 kB KernelStack: 1480 kB PageTables: 8576 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2401736 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1150976 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node114 at 2016-06-07 01:08:33