Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_5.opb |
| MD5SUM | 2dd6cc5a7b1f8311eff7b566cf3505ea |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 72 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 74 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 22 |
| Number of terms in the objective function | 500 |
| 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 | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 6270 |
| Sum of products size (including duplicates) | 12540 |
| Number of different products | 6270 |
| Sum of products size | 12540 |
0.00/0.00 c 2016-06-18T20:41:36+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106643-1466275296.opb"] 0.00/0.01 c use --random-gen="2774579292 1862726283 4040269636 4170801699 1378330087 1126487570 4133824026 650417612 1630253916 983943362 883080076 1748025945 4246102643 1339176232 468378416 3160847191 1791208393 3051781883 878272494 2896066994 1170070058 1311409629 4174333092 1662991500 1936130466 1118801412 3555561737 621294247 94721789 1656678600 2391456281 2831799995 2414426112 2057889402 2873642218 2020714456 3692889737 2265913790 583249837 1655384002 2557618159 3309195154 3554500291 1765631466 4113505122 2849589912 353248311 3012561811 1131966075 2024808627 1332356442 991208144 1137523147 2107900650 4208641328 2703251689 82541037 4072279089 772735793 549475065 3839943654 4244017198 1690908156 4237250083 2636973725 1989829298 2637532133 1499801963 3648484819 1430932411 1457542124 2541788958 1109415370 2941325715 2677249396 1113294458 3918644224 2240125752 4131304698 95349677 4148660743 1102290218 850964019 498781785 230564265 1402092279 1433345835 3143255420 2342401184 4192226747 309829156 58640670 634352999 2231801192 3983650766 1010899158 1972916135 3841745394 1808173538 1663000360 2008142691 1398205253 3724976497 321755752 429913001 2292437212 1802820957 1183797917 712004197 1758005118 979988601 1297349400 3557145230 2240389295 1036851781 880566048 862763623 3199048599 1558467124 1116288788 1914322800 411912315 1883556783 2717277781 1437803237 2828920036 4283053734 502336269 3273044592 3111450950 534340160 2711243262 2184881888 3794335067 3856915242 1049732667 3979651929 319099732 2754636169 710575997 3593478778 4064207391 1176903465 2216852143 903915735 3141676305 2277036935 2844296825 2287036704 2125323117 3263546777 3179744302 109781298 1193993578 3153638025 4075029422 2064428659 1677060042 1203158570 846490013 3771691796 2112849175 4022160939 4285883344 407920500 2089670243 778686446 1131479496 1285540618 682427904 1712226628 2866813202 1513261596 3211073555 1622790046 1147142288 3466494407 3501238861 216186675 2867362469 161189245 4252653588 1063751785 3383389469 941648886 2574637083 235131145 411168756 1665776800 4208423528 3031231491 775715565 3600294403 397662725 2454744941 556088148 2613753157 3405947202 714086121 586239718 3419855634 3925410933 1523407498 3877133097 2712745360 3986597000 4126537411 2668553964 618421460 3633509056 2625017326 1167452656 2315287552 1488074755 823210577 3592130287 3574960624 1805008362 410504142 3651760918 2336847332 2204260502 4257961349 1768787195 4221266666 2679615967 1723874627 2707632809 3770121004 3534493239 3473751255 2963687704 1823303176 1014353495 2385953594 3903799612 4042077722 105598754 720784338 2541003719 3200872867 3324632306 410499832 2717972860 741638586 2283703361 1521002649 392641555 2112127423 2348339968 3420663131 201193379 2495453281 256981928 3090223871 1583506575 255 362436" option to reproduce the execution 0.00/0.03 c #vars 500 0.00/0.03 c #constraints 500 0.09/0.14 c BCD2: Hardening is enabled. 0.09/0.14 c BCD2: BiasedSearch is enabled. 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 6603 0 | 0 | 0 0.09/0.16 c 0.0s | 0 | 1145 | 0 | 6603 0 | 0 | 0 0.09/0.16 c #cpu_time = 0.020s 0.09/0.16 c #wall_clock_time = 0.020s 0.09/0.16 c #decision = 1145 0.09/0.16 c #random_decision = 3 0.09/0.16 c #conflict = 0 0.09/0.16 c #restart = 0 0.09/0.16 o 394 0.09/0.16 c BCD2: updating upper bound: 500 -> 393 0.09/0.17 c BCD2: 0 <= obj <= 393 0.09/0.17 c BCD2: #cores=0, #unrelaxed=500, #relaxed=0, #hardened=0 0.09/0.17 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 6603 0 | 0 | 0 0.09/0.18 c 0.0s | 0 | 317 | 0 | 6603 0 | 0 | 0 0.09/0.18 c #cpu_time = 0.014s 0.09/0.18 c #wall_clock_time = 0.014s 0.09/0.18 c #decision = 317 0.09/0.18 c #random_decision = 0 0.09/0.18 c #conflict = 0 0.09/0.18 c #restart = 0 0.09/0.18 c BCD2: found a new core of size 15: cost of the new core is >=1 0.09/0.18 c lower bound updated to 1 0.09/0.18 c BCD2: 1 <= obj <= 393 0.09/0.18 c BCD2: #cores=1, #unrelaxed=485, #relaxed=15, #hardened=0 0.09/0.18 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.19/0.20 c 0.0s | 0 | 0 | 0 | 6603 0 | 0 | 0 0.19/0.22 c 0.0s | 0 | 341 | 0 | 6603 0 | 0 | 0 0.19/0.22 c #cpu_time = 0.012s 0.19/0.22 c #wall_clock_time = 0.012s 0.19/0.22 c #decision = 341 0.19/0.22 c #random_decision = 0 0.19/0.22 c #conflict = 0 0.19/0.22 c #restart = 0 0.19/0.22 c BCD2: found a new core of size 12: cost of the new core is >=1 0.19/0.22 c lower bound updated to 2 0.19/0.22 c BCD2: 2 <= obj <= 393 0.19/0.22 c BCD2: #cores=2, #unrelaxed=473, #relaxed=27, #hardened=0 0.19/0.22 c BCD2: #sat=1 #unsat=3 bias=3/4 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 6603 0 | 0 | 0 0.19/0.23 c 0.0s | 0 | 360 | 0 | 6603 0 | 0 | 0 0.19/0.23 c #cpu_time = 0.013s 0.19/0.23 c #wall_clock_time = 0.013s 0.19/0.23 c #decision = 360 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 0 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: found a new core of size 11: cost of the new core is >=1 0.19/0.23 c lower bound updated to 3 0.19/0.23 c BCD2: 3 <= obj <= 393 0.19/0.23 c BCD2: #cores=3, #unrelaxed=462, #relaxed=38, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=4 bias=4/5 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 6603 0 | 0 | 0 0.19/0.25 c 0.0s | 0 | 355 | 0 | 6603 0 | 0 | 0 0.19/0.25 c #cpu_time = 0.013s 0.19/0.25 c #wall_clock_time = 0.013s 0.19/0.25 c #decision = 355 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 0 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: found a new core of size 15: cost of the new core is >=1 0.19/0.25 c lower bound updated to 4 0.19/0.25 c BCD2: 4 <= obj <= 393 0.19/0.25 c BCD2: #cores=4, #unrelaxed=447, #relaxed=53, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=5 bias=5/6 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 6603 0 | 0 | 0 0.19/0.26 c 0.0s | 0 | 361 | 0 | 6603 0 | 0 | 0 0.19/0.26 c #cpu_time = 0.013s 0.19/0.26 c #wall_clock_time = 0.013s 0.19/0.26 c #decision = 361 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 0 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: found a new core of size 13: cost of the new core is >=1 0.19/0.26 c lower bound updated to 5 0.19/0.26 c BCD2: 5 <= obj <= 393 0.19/0.26 c BCD2: #cores=5, #unrelaxed=434, #relaxed=66, #hardened=0 0.19/0.26 c BCD2: #sat=1 #unsat=6 bias=6/7 0.19/0.26 c Solving starts ... 0.19/0.26 c ============================[ Search Statistics ]============================ 0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.26 c | | | | Limit GC | Var | Constra 0.19/0.26 c ============================================================================= 0.19/0.26 c 0.0s | 0 | 0 | 0 | 6603 0 | 0 | 0 0.19/0.28 c 0.0s | 0 | 357 | 0 | 6603 0 | 0 | 0 0.19/0.28 c #cpu_time = 0.013s 0.19/0.28 c #wall_clock_time = 0.013s 0.19/0.28 c #decision = 357 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 0 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 12: cost of the new core is >=1 0.19/0.28 c lower bound updated to 6 0.19/0.28 c BCD2: 6 <= obj <= 393 0.19/0.28 c BCD2: #cores=6, #unrelaxed=422, #relaxed=78, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=7 bias=7/8 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 | 6603 0 | 0 | 0 0.19/0.29 c 0.0s | 0 | 350 | 0 | 6603 0 | 0 | 0 0.19/0.29 c #cpu_time = 0.013s 0.19/0.29 c #wall_clock_time = 0.013s 0.19/0.29 c #decision = 350 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 0 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 12: cost of the new core is >=1 0.19/0.29 c lower bound updated to 7 0.19/0.29 c BCD2: 7 <= obj <= 393 0.19/0.29 c BCD2: #cores=7, #unrelaxed=410, #relaxed=90, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=8 bias=8/9 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.19/0.29 c 0.0s | 0 | 0 | 0 | 6603 0 | 0 | 0 0.29/0.31 c 0.0s | 0 | 348 | 0 | 6603 0 | 0 | 0 0.29/0.31 c #cpu_time = 0.012s 0.29/0.31 c #wall_clock_time = 0.012s 0.29/0.31 c #decision = 348 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 0 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 14: cost of the new core is >=1 0.29/0.31 c lower bound updated to 8 0.29/0.31 c BCD2: 8 <= obj <= 393 0.29/0.31 c BCD2: #cores=8, #unrelaxed=396, #relaxed=104, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=9 bias=9/10 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 6603 0 | 0 | 0 0.29/0.32 c 0.0s | 0 | 339 | 0 | 6603 0 | 0 | 0 0.29/0.32 c #cpu_time = 0.010s 0.29/0.32 c #wall_clock_time = 0.010s 0.29/0.32 c #decision = 339 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 0 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: found a new core of size 11: cost of the new core is >=1 0.29/0.32 c lower bound updated to 9 0.29/0.32 c BCD2: 9 <= obj <= 393 0.29/0.32 c BCD2: #cores=9, #unrelaxed=385, #relaxed=115, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=10 bias=10/11 0.29/0.32 c Solving starts ... 0.29/0.32 c ============================[ Search Statistics ]============================ 0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.32 c | | | | Limit GC | Var | Constra 0.29/0.32 c ============================================================================= 0.29/0.34 c 0.0s | 0 | 0 | 0 | 6603 0 | 0 | 0 0.29/0.35 c 0.0s | 0 | 339 | 0 | 6603 0 | 0 | 0 0.29/0.35 c #cpu_time = 0.010s 0.29/0.35 c #wall_clock_time = 0.010s 0.29/0.35 c #decision = 339 0.29/0.35 c #random_decision = 0 0.29/0.35 c #conflict = 0 0.29/0.35 c #restart = 0 0.29/0.35 c BCD2: found a new core of size 12: cost of the new core is >=1 0.29/0.35 c lower bound updated to 10 0.29/0.35 c BCD2: 10 <= obj <= 393 0.29/0.35 c BCD2: #cores=10, #unrelaxed=373, #relaxed=127, #hardened=0 0.29/0.35 c BCD2: #sat=1 #unsat=11 bias=11/12 0.29/0.35 c Solving starts ... 0.29/0.35 c ============================[ Search Statistics ]============================ 0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.35 c | | | | Limit GC | Var | Constra 0.29/0.35 c ============================================================================= 0.29/0.35 c 0.0s | 0 | 0 | 0 | 6603 0 | 0 | 0 0.29/0.36 c 0.0s | 0 | 340 | 0 | 6603 0 | 0 | 0 0.29/0.36 c #cpu_time = 0.009s 0.29/0.36 c #wall_clock_time = 0.009s 0.29/0.36 c #decision = 340 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 0 0.29/0.36 c #restart = 0 0.29/0.36 c BCD2: found a new core of size 15: cost of the new core is >=1 0.29/0.36 c lower bound updated to 11 0.29/0.36 c BCD2: 11 <= obj <= 393 0.29/0.36 c BCD2: #cores=11, #unrelaxed=358, #relaxed=142, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=12 bias=12/13 0.29/0.36 c Solving starts ... 0.29/0.36 c ============================[ Search Statistics ]============================ 0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.36 c | | | | Limit GC | Var | Constra 0.29/0.36 c ============================================================================= 0.29/0.36 c 0.0s | 0 | 0 | 0 | 6603 0 | 0 | 0 0.29/0.37 c 0.0s | 0 | 345 | 0 | 6603 0 | 0 | 0 0.29/0.37 c #cpu_time = 0.010s 0.29/0.37 c #wall_clock_time = 0.010s 0.29/0.37 c #decision = 345 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 11: cost of the new core is >=1 0.29/0.37 c lower bound updated to 12 0.29/0.37 c BCD2: 12 <= obj <= 393 0.29/0.37 c BCD2: #cores=12, #unrelaxed=347, #relaxed=153, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=13 bias=13/14 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 | 6603 0 | 0 | 0 0.29/0.38 c 0.0s | 0 | 340 | 0 | 6603 0 | 0 | 0 0.29/0.38 c #cpu_time = 0.009s 0.29/0.38 c #wall_clock_time = 0.009s 0.29/0.38 c #decision = 340 0.29/0.38 c #random_decision = 0 0.29/0.38 c #conflict = 0 0.29/0.38 c #restart = 0 0.29/0.38 c BCD2: found a new core of size 11: cost of the new core is >=1 0.29/0.38 c lower bound updated to 13 0.29/0.38 c BCD2: 13 <= obj <= 393 0.29/0.38 c BCD2: #cores=13, #unrelaxed=336, #relaxed=164, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=14 bias=14/15 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 6603 0 | 0 | 0 0.29/0.39 c 0.0s | 0 | 334 | 0 | 6603 0 | 0 | 0 0.29/0.39 c #cpu_time = 0.009s 0.29/0.39 c #wall_clock_time = 0.009s 0.29/0.39 c #decision = 334 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 11: cost of the new core is >=1 0.29/0.39 c lower bound updated to 14 0.29/0.39 c BCD2: 14 <= obj <= 393 0.29/0.39 c BCD2: #cores=14, #unrelaxed=325, #relaxed=175, #hardened=0 0.29/0.39 c BCD2: #sat=1 #unsat=15 bias=15/16 0.29/0.39 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 | 6603 0 | 0 | 0 0.39/0.40 c 0.0s | 0 | 332 | 0 | 6603 0 | 0 | 0 0.39/0.40 c #cpu_time = 0.009s 0.39/0.40 c #wall_clock_time = 0.009s 0.39/0.40 c #decision = 332 0.39/0.40 c #random_decision = 0 0.39/0.40 c #conflict = 0 0.39/0.40 c #restart = 0 0.39/0.40 c BCD2: found a new core of size 13: cost of the new core is >=1 0.39/0.40 c lower bound updated to 15 0.39/0.40 c BCD2: 15 <= obj <= 393 0.39/0.40 c BCD2: #cores=15, #unrelaxed=312, #relaxed=188, #hardened=0 0.39/0.40 c BCD2: #sat=1 #unsat=16 bias=16/17 0.39/0.40 c Solving starts ... 0.39/0.40 c ============================[ Search Statistics ]============================ 0.39/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.40 c | | | | Limit GC | Var | Constra 0.39/0.40 c ============================================================================= 0.39/0.40 c 0.0s | 0 | 0 | 0 | 6603 0 | 0 | 0 0.39/0.41 c 0.0s | 0 | 325 | 0 | 6603 0 | 0 | 0 0.39/0.41 c #cpu_time = 0.009s 0.39/0.41 c #wall_clock_time = 0.009s 0.39/0.41 c #decision = 325 0.39/0.41 c #random_decision = 0 0.39/0.41 c #conflict = 0 0.39/0.41 c #restart = 0 0.39/0.41 c BCD2: found a new core of size 12: cost of the new core is >=1 0.39/0.41 c lower bound updated to 16 0.39/0.41 c BCD2: 16 <= obj <= 393 0.39/0.41 c BCD2: #cores=16, #unrelaxed=300, #relaxed=200, #hardened=0 0.39/0.41 c BCD2: #sat=1 #unsat=17 bias=17/18 0.39/0.41 c Solving starts ... 0.39/0.41 c ============================[ Search Statistics ]============================ 0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.41 c | | | | Limit GC | Var | Constra 0.39/0.41 c ============================================================================= 0.39/0.41 c 0.0s | 0 | 0 | 0 | 6603 0 | 0 | 0 0.39/0.42 c 0.0s | 0 | 315 | 0 | 6603 0 | 0 | 0 0.39/0.42 c #cpu_time = 0.009s 0.39/0.42 c #wall_clock_time = 0.009s 0.39/0.42 c #decision = 315 0.39/0.42 c #random_decision = 0 0.39/0.42 c #conflict = 0 0.39/0.42 c #restart = 0 0.39/0.42 c BCD2: found a new core of size 13: cost of the new core is >=1 0.39/0.42 c lower bound updated to 17 0.39/0.42 c BCD2: 17 <= obj <= 393 0.39/0.42 c BCD2: #cores=17, #unrelaxed=287, #relaxed=213, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=18 bias=18/19 0.39/0.42 c Solving starts ... 0.39/0.42 c ============================[ Search Statistics ]============================ 0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.42 c | | | | Limit GC | Var | Constra 0.39/0.42 c ============================================================================= 0.39/0.43 c 0.0s | 0 | 0 | 0 | 6603 0 | 0 | 0 0.39/0.44 c 0.0s | 0 | 1629 | 0 | 6603 0 | 0 | 0 0.39/0.44 c #cpu_time = 0.014s 0.39/0.44 c #wall_clock_time = 0.014s 0.39/0.44 c #decision = 1629 0.39/0.44 c #random_decision = 3 0.39/0.44 c #conflict = 0 0.39/0.44 c #restart = 0 0.39/0.44 o 108 0.39/0.44 c BCD2: updating upper bound: 393 -> 107 0.39/0.45 c BCD2: 17 <= obj <= 107 0.39/0.45 c BCD2: #cores=17, #unrelaxed=287, #relaxed=213, #hardened=0 0.39/0.45 c BCD2: #sat=2 #unsat=18 bias=18/20 0.39/0.45 c Solving starts ... 0.39/0.45 c ============================[ Search Statistics ]============================ 0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.45 c | | | | Limit GC | Var | Constra 0.39/0.45 c ============================================================================= 0.39/0.45 c 0.0s | 0 | 0 | 0 | 6603 0 | 0 | 1 0.39/0.47 c 0.0s | 0 | 1639 | 8 | 6603 0 | 0 | 1 0.39/0.47 c #cpu_time = 0.019s 0.39/0.47 c #wall_clock_time = 0.019s 0.39/0.47 c #decision = 1639 0.39/0.47 c #random_decision = 9 0.39/0.47 c #conflict = 8 0.39/0.47 c #restart = 0 0.39/0.47 o 91 0.39/0.47 c BCD2: updating upper bound: 107 -> 90 0.39/0.47 c BCD2: 17 <= obj <= 90 0.39/0.47 c BCD2: #cores=17, #unrelaxed=287, #relaxed=213, #hardened=0 0.39/0.47 c BCD2: #sat=3 #unsat=18 bias=18/21 0.39/0.47 c Solving starts ... 0.39/0.47 c ============================[ Search Statistics ]============================ 0.39/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.47 c | | | | Limit GC | Var | Constra 0.39/0.47 c ============================================================================= 0.39/0.47 c 0.0s | 0 | 0 | 0 | 6603 0 | 0 | 2 0.49/0.55 c 0.1s | 1 | 504 | 100 | 7264 0 | 0 | 2 0.59/0.68 c 0.2s | 2 | 1166 | 250 | 7991 0 | 0 | 2 0.79/0.88 c 0.4s | 3 | 2129 | 475 | 8791 0 | 0 | 2 1.20/1.23 c 0.8s | 4 | 3121 | 813 | 9671 0 | 0 | 2 1.79/1.83 c 1.4s | 5 | 4218 | 1320 | 10639 0 | 0 | 2 2.69/2.70 c 2.2s | 6 | 5700 | 2081 | 11703 0 | 0 | 2 3.99/4.04 c 3.6s | 7 | 7610 | 3223 | 12874 0 | 0 | 2 4.09/4.15 c 3.7s | 7 | 8667 | 3272 | 12874 0 | 0 | 2 4.09/4.15 c #cpu_time = 3.660s 4.09/4.15 c #wall_clock_time = 3.670s 4.09/4.15 c #decision = 8667 4.09/4.15 c #random_decision = 5 4.09/4.15 c #conflict = 3272 4.09/4.15 c #restart = 7 4.09/4.15 o 74 4.09/4.15 c BCD2: updating upper bound: 90 -> 73 4.09/4.15 c BCD2: 17 <= obj <= 73 4.09/4.15 c BCD2: #cores=17, #unrelaxed=287, #relaxed=213, #hardened=0 4.09/4.15 c BCD2: #sat=4 #unsat=18 bias=18/22 4.09/4.15 c Solving starts ... 4.09/4.15 c ============================[ Search Statistics ]============================ 4.09/4.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.09/4.15 c | | | | Limit GC | Var | Constra 4.09/4.15 c ============================================================================= 4.09/4.15 c 0.0s | 0 | 0 | 0 | 12874 0 | 0 | 3 4.19/4.29 c 0.1s | 1 | 526 | 100 | 12874 0 | 0 | 3 4.40/4.49 c 0.3s | 2 | 1139 | 250 | 12874 0 | 0 | 3 4.79/4.83 c 0.7s | 3 | 1779 | 475 | 12874 0 | 0 | 3 5.19/5.28 c 1.1s | 4 | 2560 | 813 | 12874 0 | 0 | 3 5.79/5.89 c 1.7s | 5 | 3599 | 1320 | 12874 0 | 0 | 3 6.99/7.04 c 2.9s | 6 | 4868 | 2081 | 14162 0 | 0 | 3 8.69/8.77 c 4.6s | 7 | 6767 | 3223 | 14162 0 | 0 | 3 10.69/10.79 c 6.6s | 7 | 8592 | 4423 | 15579 0 | 0 | 3 11.79/11.88 c 7.7s | 8 | 9252 | 4936 | 15579 0 | 0 | 3 13.98/14.08 c 9.9s | 8 | 10969 | 5936 | 15579 0 | 0 | 3 16.18/16.27 c 12.1s | 8 | 12141 | 6836 | 15579 0 | 0 | 3 17.49/17.55 c 13.4s | 9 | 13042 | 7506 | 15579 0 | 0 | 3 19.59/19.66 c 15.5s | 9 | 14418 | 8306 | 17137 0 | 0 | 3 21.78/21.82 c 17.7s | 9 | 15508 | 9106 | 17137 0 | 0 | 3 23.98/24.00 c 19.9s | 9 | 17138 | 10306 | 17137 0 | 0 | 3 25.98/26.05 c 21.9s | 9 | 18437 | 11306 | 17137 0 | 0 | 3 26.08/26.18 c 22.0s | 10 | 18500 | 11361 | 17137 0 | 0 | 3 28.18/28.26 c 24.1s | 10 | 19853 | 12161 | 17137 0 | 0 | 3 30.39/30.44 c 26.3s | 10 | 20969 | 13061 | 17137 0 | 0 | 3 32.59/32.65 c 28.5s | 10 | 22037 | 13861 | 18851 0 | 0 | 3 34.69/34.70 c 30.5s | 10 | 22979 | 14561 | 18851 0 | 0 | 3 36.19/36.20 c 32.1s | 10 | 23627 | 15081 | 18851 0 | 0 | 3 36.19/36.20 c #cpu_time = 31.967s 36.19/36.20 c #wall_clock_time = 32.049s 36.19/36.20 c #decision = 23627 36.19/36.20 c #random_decision = 36 36.19/36.20 c #conflict = 15081 36.19/36.20 c #restart = 10 36.19/36.20 c BCD2: relaxing 287 and merging with 17 cores into a new core of size 500: cost of the new core is >=18 36.19/36.20 c lower bound updated to 18 36.19/36.20 c BCD2: 18 <= obj <= 73 36.19/36.20 c BCD2: #cores=1, #unrelaxed=0, #relaxed=500, #hardened=0 36.19/36.20 c BCD2: #sat=4 #unsat=19 bias=19/23 36.19/36.21 c Solving starts ... 36.19/36.21 c ============================[ Search Statistics ]============================ 36.19/36.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 36.19/36.21 c | | | | Limit GC | Var | Constra 36.19/36.21 c ============================================================================= 36.19/36.21 c 0.0s | 0 | 0 | 0 | 18851 0 | 76 | 3 37.29/37.35 c 1.1s | 1 | 1939 | 100 | 18851 0 | 76 | 138 37.99/38.05 c 1.8s | 2 | 2790 | 250 | 18851 0 | 76 | 138 38.98/39.01 c 2.8s | 3 | 4138 | 475 | 18851 0 | 76 | 138 40.48/40.51 c 4.3s | 4 | 5784 | 813 | 18851 0 | 76 | 138 42.58/42.68 c 6.5s | 4 | 8398 | 1313 | 18851 0 | 76 | 138 42.68/42.73 c 6.5s | 5 | 8499 | 1320 | 18851 0 | 76 | 138 44.78/44.83 c 8.6s | 5 | 10669 | 1820 | 18851 0 | 76 | 138 45.88/45.93 c 9.7s | 6 | 11733 | 2081 | 18851 0 | 76 | 138 48.08/48.12 c 11.9s | 6 | 14427 | 2581 | 18851 0 | 76 | 138 50.38/50.47 c 14.3s | 6 | 16687 | 3181 | 18851 0 | 76 | 138 50.59/50.63 c 14.4s | 7 | 16805 | 3223 | 18851 0 | 76 | 138 52.89/52.92 c 16.7s | 7 | 18741 | 3723 | 18851 0 | 76 | 138 55.09/55.14 c 18.9s | 7 | 20726 | 4223 | 18851 0 | 76 | 138 57.38/57.46 c 21.3s | 7 | 22993 | 4723 | 18851 0 | 76 | 138 58.29/58.33 c 22.1s | 8 | 23767 | 4936 | 18851 0 | 76 | 138 60.59/60.66 c 24.5s | 8 | 26372 | 5436 | 18851 0 | 76 | 138 62.69/62.74 c 26.5s | 8 | 28235 | 5936 | 18851 0 | 76 | 138 65.08/65.13 c 28.9s | 8 | 31057 | 6436 | 18851 0 | 76 | 138 67.08/67.20 c 31.0s | 8 | 32952 | 6836 | 18851 0 | 76 | 138 69.48/69.59 c 33.4s | 8 | 35761 | 7336 | 20737 0 | 76 | 138 70.28/70.38 c 34.2s | 9 | 36682 | 7506 | 20737 0 | 76 | 138 72.38/72.41 c 36.2s | 9 | 38301 | 7906 | 20737 0 | 76 | 138 74.38/74.47 c 38.3s | 9 | 39997 | 8306 | 20737 0 | 76 | 138 76.78/76.89 c 40.7s | 9 | 41965 | 8806 | 20737 0 | 76 | 138 79.18/79.28 c 43.1s | 9 | 43997 | 9306 | 20737 0 | 76 | 138 81.68/81.73 c 45.5s | 9 | 45708 | 9806 | 20737 0 | 76 | 138 83.98/84.00 c 47.8s | 9 | 47393 | 10306 | 20737 0 | 76 | 138 86.08/86.14 c 49.9s | 9 | 49077 | 10706 | 20737 0 | 76 | 138 88.08/88.15 c 51.9s | 9 | 51039 | 11106 | 20737 0 | 76 | 138 89.38/89.43 c 53.2s | 10 | 52216 | 11361 | 20737 0 | 76 | 138 91.88/91.98 c 55.8s | 10 | 53776 | 11861 | 20737 0 | 76 | 138 94.27/94.33 c 58.1s | 10 | 55310 | 12361 | 20737 0 | 76 | 138 96.27/96.38 c 60.2s | 10 | 56653 | 12761 | 20737 0 | 76 | 138 98.67/98.78 c 62.6s | 10 | 58069 | 13261 | 20737 0 | 76 | 138 100.77/100.86 c 64.7s | 10 | 58965 | 13661 | 20737 0 | 76 | 138 103.17/103.25 c 67.0s | 10 | 61001 | 14061 | 20737 0 | 76 | 138 105.68/105.77 c 69.6s | 10 | 62759 | 14461 | 20737 0 | 76 | 138 108.17/108.22 c 72.0s | 10 | 64528 | 14861 | 20737 0 | 76 | 138 110.47/110.59 c 74.4s | 10 | 65892 | 15261 | 20737 0 | 76 | 138 112.87/112.97 c 76.8s | 10 | 67287 | 15661 | 20737 0 | 76 | 138 115.37/115.43 c 79.2s | 10 | 69062 | 16061 | 20737 0 | 76 | 138 117.87/117.99 c 81.8s | 10 | 70912 | 16461 | 20737 0 | 76 | 138 119.98/120.06 c 83.9s | 10 | 72758 | 16761 | 20737 0 | 76 | 138 122.18/122.22 c 86.0s | 11 | 73939 | 17144 | 20737 0 | 76 | 138 124.67/124.70 c 88.5s | 11 | 75571 | 17544 | 20737 0 | 76 | 138 127.07/127.18 c 91.0s | 11 | 77316 | 17944 | 20737 0 | 76 | 138 129.47/129.54 c 93.3s | 11 | 78808 | 18344 | 20737 0 | 76 | 138 131.97/132.06 c 95.9s | 11 | 80438 | 18744 | 20737 0 | 76 | 138 134.47/134.59 c 98.4s | 11 | 81935 | 19144 | 20737 0 | 76 | 138 137.07/137.14 c 100s | 11 | 84033 | 19544 | 20737 0 | 76 | 138 139.47/139.55 c 103s | 11 | 85512 | 19944 | 20737 0 | 76 | 138 142.17/142.21 c 106s | 11 | 87259 | 20344 | 22811 0 | 76 | 138 144.67/144.76 c 108s | 11 | 88891 | 20744 | 22811 0 | 76 | 138 147.26/147.40 c 111s | 11 | 90758 | 21144 | 22811 0 | 76 | 138 149.96/150.01 c 113s | 11 | 92254 | 21544 | 22811 0 | 76 | 138 152.56/152.63 c 116s | 11 | 93873 | 21944 | 22811 0 | 76 | 138 154.96/155.04 c 118s | 11 | 95477 | 22344 | 22811 0 | 76 | 138 156.96/157.08 c 120s | 11 | 96559 | 22644 | 22811 0 | 76 | 138 159.06/159.14 c 122s | 11 | 97726 | 22944 | 22811 0 | 76 | 138 161.16/161.21 c 125s | 11 | 99265 | 23244 | 22811 0 | 76 | 138 163.16/163.26 c 127s | 11 | 100367 | 23544 | 22811 0 | 76 | 138 165.26/165.38 c 129s | 11 | 101549 | 23844 | 22811 0 | 76 | 138 167.86/167.91 c 131s | 11 | 103253 | 24244 | 22811 1 | 76 | 138 170.16/170.26 c 134s | 11 | 104853 | 24644 | 22811 1 | 76 | 138 172.46/172.56 c 136s | 11 | 106633 | 25044 | 22811 1 | 76 | 138 174.66/174.78 c 138s | 11 | 108380 | 25444 | 22811 1 | 76 | 138 176.76/176.84 c 140s | 12 | 109520 | 25819 | 22811 1 | 76 | 138 178.96/179.06 c 142s | 12 | 110997 | 26219 | 22811 1 | 76 | 138 181.06/181.19 c 144s | 12 | 112366 | 26619 | 22811 1 | 76 | 138 183.36/183.50 c 147s | 12 | 114309 | 27019 | 22811 1 | 76 | 138 185.76/185.88 c 149s | 12 | 116160 | 27419 | 22811 1 | 76 | 138 188.17/188.30 c 152s | 12 | 117433 | 27819 | 22811 1 | 76 | 138 190.56/190.69 c 154s | 12 | 118934 | 28219 | 22811 1 | 76 | 138 193.06/193.10 c 156s | 12 | 120323 | 28619 | 22811 1 | 76 | 138 195.36/195.48 c 159s | 12 | 121678 | 29019 | 22811 1 | 76 | 138 197.66/197.75 c 161s | 12 | 122760 | 29419 | 22811 1 | 76 | 138 199.96/200.01 c 163s | 12 | 124034 | 29819 | 22811 1 | 76 | 138 202.36/202.41 c 166s | 12 | 125767 | 30219 | 22811 1 | 76 | 138 204.75/204.81 c 168s | 12 | 126876 | 30619 | 22811 1 | 76 | 138 207.25/207.38 c 171s | 12 | 128396 | 31019 | 22811 1 | 76 | 138 209.85/209.91 c 173s | 12 | 130404 | 31419 | 22811 1 | 76 | 138 212.15/212.28 c 176s | 12 | 132043 | 31819 | 22811 1 | 76 | 138 214.65/214.78 c 178s | 12 | 133678 | 32219 | 22811 1 | 76 | 138 217.05/217.19 c 180s | 12 | 135200 | 32619 | 22811 1 | 76 | 138 219.45/219.59 c 183s | 12 | 136765 | 33019 | 22811 1 | 76 | 138 221.85/221.99 c 185s | 12 | 138071 | 33419 | 22811 1 | 76 | 138 224.25/224.34 c 188s | 12 | 139311 | 33819 | 22811 1 | 76 | 138 226.56/226.70 c 190s | 12 | 140632 | 34219 | 22811 1 | 76 | 138 228.95/229.03 c 192s | 12 | 142192 | 34619 | 22811 1 | 76 | 138 231.45/231.51 c 195s | 12 | 143475 | 35019 | 22811 1 | 76 | 138 233.95/234.05 c 197s | 12 | 145234 | 35419 | 22811 1 | 76 | 138 236.46/236.59 c 200s | 12 | 146875 | 35819 | 22811 1 | 76 | 138 238.85/238.90 c 202s | 12 | 148792 | 36219 | 22811 2 | 76 | 138 240.96/241.06 c 204s | 12 | 150138 | 36619 | 22811 2 | 76 | 138 243.06/243.17 c 206s | 12 | 151824 | 37019 | 22811 2 | 76 | 138 245.15/245.26 c 209s | 12 | 153450 | 37419 | 22811 2 | 76 | 138 247.25/247.30 c 211s | 12 | 154748 | 37819 | 22811 2 | 76 | 138 249.35/249.49 c 213s | 12 | 156484 | 38219 | 22811 2 | 76 | 138 251.55/251.64 c 215s | 12 | 157719 | 38619 | 22811 2 | 76 | 138 252.65/252.77 c 216s | 13 | 158492 | 38832 | 22811 2 | 76 | 138 254.85/254.98 c 218s | 13 | 160050 | 39232 | 22811 2 | 76 | 138 257.15/257.20 c 220s | 13 | 161521 | 39632 | 25093 2 | 76 | 138 259.25/259.39 c 223s | 13 | 162861 | 40032 | 25093 2 | 76 | 138 261.56/261.61 c 225s | 13 | 164159 | 40432 | 25093 2 | 76 | 138 263.65/263.73 c 227s | 13 | 165752 | 40832 | 25093 2 | 76 | 138 265.85/265.95 c 229s | 13 | 167253 | 41232 | 25093 2 | 76 | 138 268.15/268.24 c 232s | 13 | 168829 | 41632 | 25093 2 | 76 | 138 270.35/270.43 c 234s | 13 | 170502 | 42032 | 25093 2 | 76 | 138 272.35/272.49 c 236s | 13 | 171667 | 42432 | 25093 2 | 76 | 138 274.45/274.59 c 238s | 13 | 173091 | 42832 | 25093 2 | 76 | 138 276.75/276.85 c 240s | 13 | 174215 | 43232 | 25093 2 | 76 | 138 278.85/278.96 c 242s | 13 | 175778 | 43632 | 25093 2 | 76 | 138 281.15/281.27 c 245s | 13 | 177577 | 44032 | 25093 2 | 76 | 138 283.55/283.68 c 247s | 13 | 179878 | 44432 | 25093 2 | 76 | 138 286.06/286.13 c 249s | 13 | 181479 | 44832 | 25093 2 | 76 | 138 288.16/288.29 c 252s | 13 | 183176 | 45232 | 25093 2 | 76 | 138 290.46/290.50 c 254s | 13 | 184872 | 45632 | 25093 2 | 76 | 138 292.56/292.65 c 256s | 13 | 186405 | 46032 | 25093 2 | 76 | 138 294.65/294.70 c 258s | 13 | 187438 | 46432 | 25093 2 | 76 | 138 296.75/296.80 c 260s | 13 | 189126 | 46832 | 25093 2 | 76 | 138 299.15/299.25 c 263s | 13 | 190652 | 47232 | 25093 2 | 76 | 138 301.35/301.49 c 265s | 13 | 192313 | 47632 | 25093 2 | 76 | 138 303.65/303.77 c 267s | 13 | 193871 | 48032 | 25093 2 | 76 | 138 305.95/306.01 c 269s | 13 | 195482 | 48432 | 25093 2 | 76 | 138 308.25/308.35 c 272s | 13 | 196972 | 48832 | 25093 2 | 76 | 138 310.45/310.59 c 274s | 13 | 198516 | 49232 | 25093 2 | 76 | 138 313.05/313.13 c 276s | 13 | 199904 | 49632 | 25093 2 | 76 | 138 315.55/315.61 c 279s | 13 | 201590 | 50032 | 25093 2 | 76 | 138 317.85/317.95 c 281s | 13 | 203208 | 50432 | 25093 3 | 76 | 138 320.34/320.43 c 284s | 13 | 205275 | 50832 | 25093 3 | 76 | 138 322.74/322.82 c 286s | 13 | 207172 | 51232 | 25093 3 | 76 | 138 325.04/325.15 c 288s | 13 | 208375 | 51632 | 25093 3 | 76 | 138 327.24/327.35 c 291s | 13 | 209888 | 52032 | 25093 3 | 76 | 138 329.54/329.69 c 293s | 13 | 211181 | 52432 | 25093 3 | 76 | 138 331.84/331.94 c 295s | 13 | 212769 | 52832 | 25093 3 | 76 | 138 334.14/334.23 c 298s | 13 | 214467 | 53232 | 25093 3 | 76 | 138 336.44/336.53 c 300s | 13 | 216375 | 53632 | 25093 3 | 76 | 138 338.54/338.66 c 302s | 13 | 217590 | 54032 | 25093 3 | 76 | 138 340.74/340.81 c 304s | 13 | 219216 | 54432 | 25093 3 | 76 | 138 342.84/342.98 c 306s | 13 | 220865 | 54832 | 25093 3 | 76 | 138 345.14/345.21 c 309s | 13 | 222776 | 55232 | 25093 3 | 76 | 138 347.24/347.31 c 311s | 13 | 224702 | 55632 | 25093 3 | 76 | 138 349.33/349.42 c 313s | 13 | 226034 | 56032 | 25093 3 | 76 | 138 351.33/351.43 c 315s | 13 | 227362 | 56432 | 25093 3 | 76 | 138 353.63/353.76 c 317s | 13 | 229146 | 56832 | 25093 3 | 76 | 138 355.93/356.01 c 319s | 13 | 230857 | 57232 | 25093 3 | 76 | 138 358.23/358.36 c 322s | 13 | 232591 | 57632 | 25093 3 | 76 | 138 360.53/360.65 c 324s | 13 | 234225 | 58032 | 25093 3 | 76 | 138 362.43/362.54 c 326s | 14 | 235479 | 58352 | 25093 3 | 76 | 138 364.53/364.67 c 328s | 14 | 236632 | 58752 | 25093 3 | 76 | 138 367.03/367.12 c 330s | 14 | 237643 | 59152 | 25093 3 | 76 | 138 369.53/369.64 c 333s | 14 | 238854 | 59552 | 25093 3 | 76 | 138 371.62/371.76 c 335s | 14 | 240430 | 59852 | 25093 3 | 76 | 138 374.12/374.26 c 338s | 14 | 242353 | 60252 | 25093 3 | 76 | 138 376.62/376.78 c 340s | 14 | 243624 | 60652 | 25093 3 | 76 | 138 379.22/379.37 c 343s | 14 | 244716 | 61052 | 25093 3 | 76 | 138 381.82/381.98 c 345s | 14 | 246158 | 61452 | 25093 3 | 76 | 138 384.32/384.48 c 348s | 14 | 247665 | 61852 | 25093 3 | 76 | 138 386.41/386.60 c 350s | 14 | 248794 | 62152 | 25093 3 | 76 | 138 389.01/389.18 c 352s | 14 | 250521 | 62552 | 25093 3 | 76 | 138 391.41/391.58 c 355s | 14 | 252901 | 62952 | 25093 3 | 76 | 138 394.11/394.21 c 358s | 14 | 255161 | 63352 | 25093 4 | 76 | 138 396.21/396.32 c 360s | 14 | 257061 | 63752 | 25093 4 | 76 | 138 398.21/398.39 c 362s | 14 | 258603 | 64152 | 25093 4 | 76 | 138 400.41/400.51 c 364s | 14 | 260430 | 64552 | 25093 4 | 76 | 138 402.90/403.04 c 366s | 14 | 262913 | 65052 | 25093 4 | 76 | 138 405.20/405.30 c 369s | 14 | 264737 | 65452 | 25093 4 | 76 | 138 407.41/407.54 c 371s | 14 | 266571 | 65852 | 25093 4 | 76 | 138 409.50/409.60 c 373s | 14 | 268146 | 66252 | 25093 4 | 76 | 138 411.50/411.61 c 375s | 14 | 269766 | 66652 | 25093 4 | 76 | 138 413.70/413.81 c 377s | 14 | 271688 | 67052 | 25093 4 | 76 | 138 416.00/416.10 c 379s | 14 | 273589 | 67452 | 25093 4 | 76 | 138 418.30/418.46 c 382s | 14 | 274946 | 67852 | 25093 4 | 76 | 138 420.89/421.08 c 384s | 14 | 276974 | 68252 | 25093 4 | 76 | 138 423.40/423.59 c 387s | 14 | 279036 | 68652 | 25093 4 | 76 | 138 425.89/426.09 c 389s | 14 | 280539 | 69052 | 27603 4 | 76 | 138 428.49/428.61 c 392s | 14 | 282851 | 69452 | 27603 4 | 76 | 138 430.88/431.07 c 394s | 14 | 284324 | 69852 | 27603 4 | 76 | 138 433.39/433.58 c 397s | 14 | 285986 | 70252 | 27603 4 | 76 | 138 436.18/436.30 c 400s | 14 | 287073 | 70652 | 27603 4 | 76 | 138 438.68/438.80 c 402s | 14 | 288680 | 71052 | 27603 4 | 76 | 138 440.88/441.06 c 404s | 14 | 290149 | 71452 | 27603 4 | 76 | 138 443.18/443.39 c 407s | 14 | 291886 | 71852 | 27603 4 | 76 | 138 445.48/445.67 c 409s | 14 | 293518 | 72252 | 27603 4 | 76 | 138 447.89/448.05 c 411s | 14 | 294994 | 72652 | 27603 4 | 76 | 138 450.18/450.36 c 414s | 14 | 296132 | 73052 | 27603 4 | 76 | 138 452.48/452.61 c 416s | 14 | 297346 | 73452 | 27603 4 | 76 | 138 454.58/454.74 c 418s | 14 | 298791 | 73852 | 27603 4 | 76 | 138 456.98/457.13 c 420s | 14 | 300564 | 74252 | 27603 4 | 76 | 138 459.27/459.46 c 423s | 14 | 302302 | 74652 | 27603 4 | 76 | 138 461.57/461.71 c 425s | 14 | 303654 | 75052 | 27603 4 | 76 | 138 463.67/463.85 c 427s | 14 | 305151 | 75452 | 27603 4 | 76 | 138 465.87/466.02 c 429s | 14 | 306167 | 75852 | 27603 4 | 76 | 138 468.37/468.51 c 432s | 14 | 307971 | 76252 | 27603 4 | 76 | 138 470.86/471.05 c 434s | 14 | 309719 | 76652 | 27603 4 | 76 | 138 473.37/473.55 c 437s | 14 | 311240 | 77052 | 27603 4 | 76 | 138 475.56/475.77 c 439s | 14 | 313092 | 77452 | 27603 4 | 76 | 138 477.86/478.09 c 441s | 14 | 314819 | 77852 | 27603 4 | 76 | 138 480.36/480.56 c 444s | 14 | 316582 | 78252 | 27603 4 | 76 | 138 482.96/483.11 c 446s | 14 | 318226 | 78652 | 27603 4 | 76 | 138 484.96/485.13 c 448s | 14 | 319433 | 78952 | 27603 5 | 76 | 138 487.16/487.37 c 451s | 14 | 321310 | 79352 | 27603 5 | 76 | 138 489.35/489.60 c 453s | 14 | 323346 | 79752 | 27603 5 | 76 | 138 491.75/491.95 c 455s | 14 | 325318 | 80152 | 27603 5 | 76 | 138 493.95/494.19 c 457s | 14 | 326931 | 80552 | 27603 5 | 76 | 138 496.15/496.38 c 460s | 14 | 328391 | 80952 | 27603 5 | 76 | 138 498.35/498.51 c 462s | 14 | 329556 | 81352 | 27603 5 | 76 | 138 500.64/500.83 c 464s | 14 | 331226 | 81752 | 27603 5 | 76 | 138 502.84/503.03 c 466s | 14 | 332900 | 82152 | 27603 5 | 76 | 138 505.04/505.27 c 469s | 14 | 334588 | 82552 | 27603 5 | 76 | 138 507.24/507.42 c 471s | 14 | 336437 | 82952 | 27603 5 | 76 | 138 509.53/509.70 c 473s | 14 | 338131 | 83352 | 27603 5 | 76 | 138 511.73/511.98 c 475s | 14 | 339611 | 83752 | 27603 5 | 76 | 138 514.13/514.30 c 478s | 14 | 341872 | 84152 | 27603 5 | 76 | 138 516.33/516.57 c 480s | 14 | 343579 | 84552 | 27603 5 | 76 | 138 518.53/518.74 c 482s | 14 | 345381 | 84952 | 27603 5 | 76 | 138 520.73/520.91 c 484s | 14 | 347558 | 85352 | 27603 5 | 76 | 138 522.83/523.07 c 486s | 14 | 349205 | 85752 | 27603 5 | 76 | 138 525.13/525.31 c 489s | 14 | 351088 | 86152 | 27603 5 | 76 | 138 527.43/527.63 c 491s | 14 | 352580 | 86552 | 27603 5 | 76 | 138 529.53/529.73 c 493s | 14 | 354257 | 86952 | 27603 5 | 76 | 138 531.63/531.83 c 495s | 14 | 356343 | 87352 | 27603 5 | 76 | 138 533.13/533.37 c 497s | 15 | 358082 | 87632 | 27603 5 | 76 | 138 535.43/535.69 c 499s | 15 | 359623 | 88032 | 27603 5 | 76 | 138 537.74/537.93 c 501s | 15 | 361341 | 88432 | 27603 5 | 76 | 138 539.83/540.04 c 503s | 15 | 362652 | 88832 | 27603 5 | 76 | 138 542.03/542.22 c 506s | 15 | 363641 | 89232 | 27603 5 | 76 | 138 544.23/544.40 c 508s | 15 | 365105 | 89632 | 27603 5 | 76 | 138 546.33/546.55 c 510s | 15 | 366561 | 90032 | 27603 5 | 76 | 138 548.53/548.76 c 512s | 15 | 367731 | 90432 | 27603 5 | 76 | 138 551.03/551.21 c 515s | 15 | 369750 | 90832 | 27603 5 | 76 | 138 553.53/553.73 c 517s | 15 | 372266 | 91332 | 27603 5 | 76 | 138 555.63/555.88 c 519s | 15 | 374125 | 91732 | 27603 5 | 76 | 138 557.83/558.03 c 521s | 15 | 375807 | 92132 | 27603 5 | 76 | 138 560.02/560.22 c 524s | 15 | 377600 | 92532 | 27603 5 | 76 | 138 562.22/562.42 c 526s | 15 | 379423 | 92932 | 27603 5 | 76 | 138 564.42/564.62 c 528s | 15 | 380923 | 93332 | 27603 5 | 76 | 138 566.52/566.76 c 530s | 15 | 382230 | 93732 | 27603 6 | 76 | 138 568.63/568.87 c 532s | 15 | 383643 | 94132 | 27603 6 | 76 | 138 570.92/571.19 c 534s | 15 | 385018 | 94532 | 27603 6 | 76 | 138 573.22/573.40 c 537s | 15 | 386820 | 94932 | 27603 6 | 76 | 138 575.62/575.89 c 539s | 15 | 388629 | 95432 | 27603 6 | 76 | 138 577.82/578.06 c 541s | 15 | 390251 | 95832 | 27603 6 | 76 | 138 579.82/580.08 c 543s | 15 | 392046 | 96232 | 27603 6 | 76 | 138 581.92/582.18 c 545s | 15 | 393432 | 96632 | 27603 6 | 76 | 138 584.12/584.38 c 548s | 15 | 395061 | 97032 | 27603 6 | 76 | 138 586.23/586.42 c 550s | 15 | 397034 | 97432 | 27603 6 | 76 | 138 588.72/588.95 c 552s | 15 | 399721 | 97932 | 27603 6 | 76 | 138 590.82/591.04 c 554s | 15 | 401577 | 98332 | 27603 6 | 76 | 138 592.92/593.13 c 556s | 15 | 403318 | 98732 | 27603 6 | 76 | 138 595.02/595.26 c 559s | 15 | 405637 | 99132 | 27603 6 | 76 | 138 597.12/597.32 c 561s | 15 | 407553 | 99532 | 27603 6 | 76 | 138 599.32/599.56 c 563s | 15 | 409861 | 99932 | 27603 6 | 76 | 138 601.71/601.92 c 565s | 15 | 411720 | 100332 | 27603 6 | 76 | 138 604.11/604.31 c 568s | 15 | 413864 | 100732 | 27603 6 | 76 | 138 606.41/606.63 c 570s | 15 | 415866 | 101132 | 27603 6 | 76 | 138 608.61/608.80 c 572s | 15 | 417561 | 101532 | 27603 6 | 76 | 138 610.90/611.18 c 574s | 15 | 419659 | 101932 | 27603 6 | 76 | 138 613.30/613.51 c 577s | 15 | 421555 | 102332 | 27603 6 | 76 | 138 615.60/615.80 c 579s | 15 | 423220 | 102732 | 27603 6 | 76 | 138 617.90/618.17 c 581s | 15 | 425622 | 103132 | 27603 6 | 76 | 138 620.20/620.48 c 584s | 15 | 427218 | 103532 | 27603 6 | 76 | 138 622.59/622.88 c 586s | 15 | 429131 | 103932 | 27603 6 | 76 | 138 624.99/625.21 c 589s | 15 | 430686 | 104332 | 27603 6 | 76 | 138 626.99/627.26 c 591s | 15 | 432122 | 104632 | 27603 6 | 76 | 138 629.29/629.51 c 593s | 15 | 433675 | 105032 | 27603 6 | 76 | 138 631.59/631.85 c 595s | 15 | 435236 | 105432 | 27603 6 | 76 | 138 633.89/634.10 c 597s | 15 | 437307 | 105832 | 27603 6 | 76 | 138 635.99/636.25 c 600s | 15 | 439231 | 106232 | 27603 6 | 76 | 138 638.19/638.49 c 602s | 15 | 441343 | 106632 | 27603 6 | 76 | 138 640.28/640.56 c 604s | 15 | 442890 | 107032 | 27603 6 | 76 | 138 642.38/642.61 c 606s | 15 | 444168 | 107432 | 27603 6 | 76 | 138 644.58/644.80 c 608s | 15 | 445389 | 107832 | 27603 7 | 76 | 138 646.78/647.06 c 610s | 15 | 447228 | 108232 | 27603 7 | 76 | 138 648.88/649.17 c 612s | 15 | 448807 | 108632 | 27603 7 | 76 | 138 651.38/651.60 c 615s | 15 | 450702 | 108932 | 27603 7 | 76 | 138 653.58/653.88 c 617s | 15 | 452510 | 109332 | 27603 7 | 76 | 138 655.98/656.23 c 620s | 15 | 454482 | 109732 | 27603 7 | 76 | 138 658.37/658.61 c 622s | 15 | 456136 | 110132 | 27603 7 | 76 | 138 660.88/661.17 c 624s | 15 | 457958 | 110532 | 27603 7 | 76 | 138 663.27/663.59 c 627s | 15 | 459803 | 110932 | 27603 7 | 76 | 138 665.67/665.94 c 629s | 15 | 461533 | 111332 | 27603 7 | 76 | 138 667.87/668.12 c 631s | 15 | 462840 | 111732 | 27603 7 | 76 | 138 670.06/670.39 c 634s | 15 | 464069 | 112132 | 27603 7 | 76 | 138 672.66/672.97 c 636s | 15 | 465774 | 112532 | 30364 7 | 76 | 138 674.76/675.03 c 638s | 15 | 466961 | 112832 | 30364 7 | 76 | 138 677.37/677.61 c 641s | 15 | 468485 | 113232 | 30364 7 | 76 | 138 679.95/680.24 c 644s | 15 | 469986 | 113632 | 30364 7 | 76 | 138 682.45/682.71 c 646s | 15 | 471040 | 114032 | 30364 7 | 76 | 138 684.46/684.76 c 648s | 15 | 471795 | 114332 | 30364 7 | 76 | 138 686.85/687.16 c 650s | 15 | 472906 | 114732 | 30364 7 | 76 | 138 689.35/689.61 c 653s | 15 | 474536 | 115132 | 30364 7 | 76 | 138 691.45/691.73 c 655s | 15 | 475533 | 115432 | 30364 7 | 76 | 138 693.95/694.26 c 658s | 15 | 476971 | 115832 | 30364 7 | 76 | 138 696.45/696.76 c 660s | 15 | 478591 | 116232 | 30364 7 | 76 | 138 698.94/699.30 c 663s | 15 | 480175 | 116632 | 30364 7 | 76 | 138 701.55/701.89 c 665s | 15 | 481634 | 117032 | 30364 7 | 76 | 138 703.64/703.97 c 667s | 15 | 482838 | 117332 | 30364 7 | 76 | 138 705.84/706.16 c 669s | 15 | 484028 | 117632 | 30364 7 | 76 | 138 708.15/708.42 c 672s | 15 | 485241 | 117932 | 30364 7 | 76 | 138 710.34/710.67 c 674s | 15 | 486368 | 118232 | 30364 7 | 76 | 138 712.43/712.77 c 676s | 15 | 487803 | 118532 | 30364 7 | 76 | 138 714.53/714.83 c 678s | 15 | 488972 | 118832 | 30364 7 | 76 | 138 716.63/716.93 c 680s | 15 | 490334 | 119132 | 30364 7 | 76 | 138 718.73/719.00 c 682s | 15 | 491283 | 119432 | 30364 7 | 76 | 138 720.73/721.05 c 684s | 15 | 492370 | 119732 | 30364 7 | 76 | 138 722.83/723.12 c 686s | 15 | 493117 | 120032 | 30364 7 | 76 | 138 724.93/725.28 c 689s | 15 | 493912 | 120332 | 30364 7 | 76 | 138 727.03/727.35 c 691s | 15 | 494967 | 120632 | 30364 7 | 76 | 138 729.03/729.39 c 693s | 15 | 496014 | 120932 | 30364 7 | 76 | 138 731.12/731.48 c 695s | 15 | 497175 | 121232 | 30364 7 | 76 | 138 733.43/733.77 c 697s | 15 | 498146 | 121532 | 30364 7 | 76 | 138 736.12/736.41 c 700s | 15 | 499826 | 121932 | 30364 7 | 76 | 138 738.22/738.54 c 702s | 15 | 501038 | 122232 | 30364 7 | 76 | 138 740.21/740.57 c 704s | 15 | 502082 | 122532 | 30364 7 | 76 | 138 742.81/743.12 c 706s | 15 | 503813 | 122932 | 30364 7 | 76 | 138 745.01/745.30 c 709s | 15 | 504867 | 123232 | 30364 7 | 76 | 138 747.11/747.41 c 711s | 15 | 506115 | 123532 | 30364 7 | 76 | 138 749.61/749.99 c 713s | 15 | 507889 | 123932 | 30364 7 | 76 | 138 751.71/752.04 c 715s | 15 | 509039 | 124232 | 30364 7 | 76 | 138 754.42/754.70 c 718s | 15 | 510791 | 124732 | 30364 8 | 76 | 138 756.51/756.80 c 720s | 15 | 512242 | 125132 | 30364 8 | 76 | 138 758.91/759.22 c 723s | 15 | 514094 | 125632 | 30364 8 | 76 | 138 760.91/761.23 c 725s | 15 | 515788 | 126032 | 30364 8 | 76 | 138 762.90/763.24 c 727s | 15 | 516955 | 126432 | 30364 8 | 76 | 138 765.31/765.64 c 729s | 15 | 518626 | 126832 | 30364 8 | 76 | 138 767.61/767.96 c 731s | 15 | 520277 | 127232 | 30364 8 | 76 | 138 770.00/770.33 c 734s | 15 | 522258 | 127632 | 30364 8 | 76 | 138 772.20/772.54 c 736s | 15 | 523572 | 128032 | 30364 8 | 76 | 138 774.60/774.97 c 738s | 15 | 525819 | 128432 | 30364 8 | 76 | 138 776.90/777.26 c 741s | 15 | 527733 | 128832 | 30364 8 | 76 | 138 779.00/779.37 c 743s | 15 | 529172 | 129232 | 30364 8 | 76 | 138 781.30/781.68 c 745s | 15 | 531145 | 129632 | 30364 8 | 76 | 138 783.60/783.91 c 747s | 15 | 533579 | 130032 | 30364 8 | 76 | 138 786.00/786.38 c 750s | 15 | 535991 | 130532 | 30364 8 | 76 | 138 788.10/788.42 c 752s | 15 | 537652 | 130932 | 30364 8 | 76 | 138 790.20/790.50 c 754s | 15 | 539788 | 131332 | 30364 8 | 76 | 138 791.30/791.66 c 755s | 16 | 540716 | 131552 | 30364 8 | 76 | 138 793.60/793.98 c 757s | 16 | 542603 | 131952 | 30364 8 | 76 | 138 795.80/796.18 c 759s | 16 | 544218 | 132352 | 30364 8 | 76 | 138 798.19/798.59 c 762s | 16 | 545395 | 132652 | 30364 8 | 76 | 138 800.79/801.12 c 764s | 16 | 546905 | 133052 | 30364 8 | 76 | 138 803.19/803.59 c 767s | 16 | 548568 | 133452 | 30364 8 | 76 | 138 805.89/806.22 c 770s | 16 | 550064 | 133852 | 30364 8 | 76 | 138 808.39/808.74 c 772s | 16 | 551244 | 134252 | 30364 8 | 76 | 138 810.78/811.20 c 774s | 16 | 552814 | 134652 | 30364 8 | 76 | 138 813.28/813.63 c 777s | 16 | 554108 | 135052 | 30364 8 | 76 | 138 815.78/816.12 c 779s | 16 | 555324 | 135452 | 30364 8 | 76 | 138 818.28/818.65 c 782s | 16 | 556860 | 135852 | 30364 8 | 76 | 138 820.78/821.15 c 784s | 16 | 557895 | 136252 | 30364 8 | 76 | 138 823.48/823.88 c 787s | 16 | 559506 | 136652 | 30364 8 | 76 | 138 825.68/826.07 c 789s | 16 | 561177 | 137052 | 30364 8 | 76 | 138 828.38/828.72 c 792s | 16 | 563373 | 137452 | 30364 8 | 76 | 138 830.77/831.15 c 794s | 16 | 565021 | 137852 | 30364 8 | 76 | 138 833.07/833.49 c 797s | 16 | 566606 | 138252 | 30364 8 | 76 | 138 835.47/835.81 c 799s | 16 | 568004 | 138652 | 30364 8 | 76 | 138 837.98/838.33 c 802s | 16 | 570173 | 139152 | 30364 8 | 76 | 138 840.17/840.54 c 804s | 16 | 571888 | 139552 | 30364 8 | 76 | 138 842.46/842.80 c 806s | 16 | 573427 | 139952 | 30364 8 | 76 | 138 844.76/845.18 c 808s | 16 | 575343 | 140352 | 30364 8 | 76 | 138 847.36/847.78 c 811s | 16 | 577513 | 140752 | 30364 9 | 76 | 138 849.56/849.94 c 813s | 16 | 579324 | 141152 | 30364 9 | 76 | 138 851.76/852.15 c 815s | 16 | 580467 | 141552 | 30364 9 | 76 | 138 854.26/854.68 c 818s | 16 | 582022 | 141952 | 30364 9 | 76 | 138 856.36/856.77 c 820s | 16 | 583334 | 142252 | 30364 9 | 76 | 138 858.96/859.35 c 823s | 16 | 585228 | 142652 | 30364 9 | 76 | 138 861.26/861.65 c 825s | 16 | 587374 | 143052 | 30364 9 | 76 | 138 863.76/864.14 c 827s | 16 | 589505 | 143452 | 30364 9 | 76 | 138 866.26/866.64 c 830s | 16 | 591280 | 143852 | 30364 9 | 76 | 138 868.85/869.25 c 833s | 16 | 592601 | 144252 | 30364 9 | 76 | 138 871.26/871.62 c 835s | 16 | 593948 | 144652 | 30364 9 | 76 | 138 873.85/874.20 c 837s | 16 | 595499 | 145052 | 30364 9 | 76 | 138 875.85/876.24 c 840s | 16 | 596959 | 145352 | 30364 9 | 76 | 138 878.35/878.77 c 842s | 16 | 598624 | 145752 | 30364 9 | 76 | 138 880.45/880.83 c 844s | 16 | 599872 | 146052 | 30364 9 | 76 | 138 882.96/883.34 c 847s | 16 | 601468 | 146452 | 30364 9 | 76 | 138 885.35/885.77 c 849s | 16 | 603616 | 146852 | 30364 9 | 76 | 138 887.75/888.18 c 851s | 16 | 605345 | 147252 | 30364 9 | 76 | 138 890.25/890.69 c 854s | 16 | 607251 | 147652 | 30364 9 | 76 | 138 892.75/893.20 c 856s | 16 | 608841 | 148052 | 30364 9 | 76 | 138 894.95/895.37 c 859s | 16 | 610447 | 148352 | 30364 9 | 76 | 138 897.45/897.89 c 861s | 16 | 611808 | 148752 | 30364 9 | 76 | 138 899.85/900.20 c 863s | 16 | 613296 | 149152 | 30364 9 | 76 | 138 901.95/902.38 c 866s | 16 | 614652 | 149552 | 30364 9 | 76 | 138 904.25/904.60 c 868s | 16 | 615808 | 149952 | 30364 9 | 76 | 138 906.35/906.78 c 870s | 16 | 617150 | 150352 | 30364 9 | 76 | 138 908.94/909.39 c 873s | 16 | 618692 | 150752 | 30364 9 | 76 | 138 911.14/911.56 c 875s | 16 | 620454 | 151152 | 30364 9 | 76 | 138 913.44/913.82 c 877s | 16 | 622226 | 151552 | 30364 9 | 76 | 138 915.95/916.36 c 880s | 16 | 624052 | 152052 | 30364 9 | 76 | 138 918.04/918.43 c 882s | 16 | 625483 | 152452 | 30364 9 | 76 | 138 920.34/920.80 c 884s | 16 | 626794 | 152952 | 30364 9 | 76 | 138 922.44/922.89 c 886s | 16 | 628620 | 153252 | 30364 9 | 76 | 138 924.84/925.21 c 889s | 16 | 630174 | 153652 | 30364 9 | 76 | 138 927.24/927.65 c 891s | 16 | 631923 | 154052 | 30364 9 | 76 | 138 929.73/930.18 c 893s | 16 | 634129 | 154452 | 30364 9 | 76 | 138 931.93/932.39 c 896s | 16 | 635082 | 154752 | 30364 9 | 76 | 138 934.53/934.90 c 898s | 16 | 637090 | 155152 | 30364 9 | 76 | 138 936.73/937.16 c 900s | 16 | 639653 | 155552 | 30364 9 | 76 | 138 939.13/939.59 c 903s | 16 | 641698 | 155952 | 30364 9 | 76 | 138 941.52/941.95 c 905s | 16 | 643306 | 156352 | 30364 9 | 76 | 138 944.02/944.42 c 908s | 16 | 644848 | 156752 | 30364 10 | 76 | 138 946.22/946.67 c 910s | 16 | 646379 | 157152 | 30364 10 | 76 | 138 948.72/949.16 c 912s | 16 | 648094 | 157552 | 30364 10 | 76 | 138 951.12/951.60 c 915s | 16 | 649858 | 157952 | 30364 10 | 76 | 138 953.72/954.10 c 917s | 16 | 651706 | 158352 | 30364 10 | 76 | 138 956.02/956.48 c 920s | 16 | 653405 | 158752 | 30364 10 | 76 | 138 958.62/959.01 c 922s | 16 | 654677 | 159152 | 30364 10 | 76 | 138 961.21/961.63 c 925s | 16 | 656025 | 159552 | 30364 10 | 76 | 138 963.71/964.12 c 927s | 16 | 657482 | 159952 | 30364 10 | 76 | 138 966.11/966.59 c 930s | 16 | 659426 | 160352 | 30364 10 | 76 | 138 968.61/969.06 c 932s | 16 | 661026 | 160752 | 30364 10 | 76 | 138 970.91/971.39 c 935s | 16 | 662655 | 161152 | 30364 10 | 76 | 138 973.51/973.99 c 937s | 16 | 664378 | 161552 | 30364 10 | 76 | 138 976.10/976.51 c 940s | 16 | 665972 | 161952 | 30364 10 | 76 | 138 978.40/978.86 c 942s | 16 | 667988 | 162352 | 30364 10 | 76 | 138 981.10/981.51 c 945s | 16 | 669400 | 162752 | 30364 10 | 76 | 138 983.50/983.92 c 947s | 16 | 671017 | 163152 | 30364 10 | 76 | 138 985.90/986.39 c 950s | 16 | 672482 | 163552 | 30364 10 | 76 | 138 988.10/988.55 c 952s | 16 | 673711 | 163852 | 30364 10 | 76 | 138 990.20/990.61 c 954s | 16 | 675061 | 164152 | 30364 10 | 76 | 138 992.20/992.62 c 956s | 16 | 676567 | 164452 | 30364 10 | 76 | 138 994.90/995.33 c 959s | 16 | 678171 | 164852 | 30364 10 | 76 | 138 996.90/997.37 c 961s | 16 | 679212 | 165152 | 30364 10 | 76 | 138 999.50/999.91 c 963s | 16 | 680547 | 165552 | 30364 10 | 76 | 138 1001.80/1002.22 c 966s | 16 | 681665 | 165952 | 30364 10 | 76 | 138 1003.79/1004.23 c 968s | 16 | 682664 | 166252 | 30364 10 | 76 | 138 1006.20/1006.66 c 970s | 16 | 684204 | 166652 | 30364 10 | 76 | 138 1008.40/1008.83 c 972s | 16 | 685508 | 166952 | 30364 10 | 76 | 138 1010.79/1011.24 c 975s | 16 | 687173 | 167352 | 30364 10 | 76 | 138 1013.39/1013.83 c 977s | 16 | 688823 | 167752 | 30364 10 | 76 | 138 1015.89/1016.38 c 980s | 16 | 690015 | 168152 | 30364 10 | 76 | 138 1018.09/1018.50 c 982s | 16 | 690975 | 168452 | 30364 10 | 76 | 138 1020.50/1020.96 c 984s | 16 | 692017 | 168852 | 30364 10 | 76 | 138 1022.79/1023.26 c 987s | 16 | 693620 | 169152 | 30364 10 | 76 | 138 1024.99/1025.44 c 989s | 16 | 694930 | 169452 | 30364 10 | 76 | 138 1027.19/1027.61 c 991s | 16 | 695906 | 169752 | 30364 10 | 76 | 138 1029.39/1029.86 c 993s | 16 | 697398 | 170052 | 30364 10 | 76 | 138 1031.59/1032.08 c 995s | 16 | 698398 | 170352 | 30364 10 | 76 | 138 1033.70/1034.16 c 997s | 16 | 699618 | 170652 | 30364 10 | 76 | 138 1035.80/1036.26 c 1000s | 16 | 700816 | 170952 | 30364 10 | 76 | 138 1038.00/1038.47 c 1002s | 16 | 701921 | 171252 | 30364 10 | 76 | 138 1040.30/1040.74 c 1004s | 16 | 703405 | 171552 | 30364 10 | 76 | 138 1042.59/1043.05 c 1006s | 16 | 704588 | 171852 | 30364 10 | 76 | 138 1044.89/1045.40 c 1009s | 16 | 705942 | 172152 | 30364 10 | 76 | 138 1047.19/1047.65 c 1011s | 16 | 707069 | 172452 | 30364 11 | 76 | 138 1049.79/1050.27 c 1014s | 16 | 709361 | 172852 | 30364 11 | 76 | 138 1052.09/1052.56 c 1016s | 16 | 711152 | 173252 | 30364 11 | 76 | 138 1054.39/1054.82 c 1018s | 16 | 712907 | 173652 | 30364 11 | 76 | 138 1056.69/1057.11 c 1020s | 16 | 714181 | 174052 | 30364 11 | 76 | 138 1058.79/1059.28 c 1023s | 16 | 715227 | 174452 | 30364 11 | 76 | 138 1061.29/1061.71 c 1025s | 16 | 716585 | 174852 | 30364 11 | 76 | 138 1063.89/1064.32 c 1028s | 16 | 718429 | 175252 | 30364 11 | 76 | 138 1066.28/1066.75 c 1030s | 16 | 720033 | 175652 | 30364 11 | 76 | 138 1068.58/1069.02 c 1032s | 16 | 721511 | 176052 | 30364 11 | 76 | 138 1070.99/1071.42 c 1035s | 16 | 723127 | 176452 | 30364 11 | 76 | 138 1073.58/1074.04 c 1037s | 16 | 724639 | 176852 | 30364 11 | 76 | 138 1076.28/1076.74 c 1040s | 16 | 726326 | 177252 | 30364 11 | 76 | 138 1078.88/1079.37 c 1043s | 16 | 728038 | 177652 | 30364 11 | 76 | 138 1080.99/1081.46 c 1045s | 16 | 729672 | 177952 | 33401 11 | 76 | 138 1082.98/1083.47 c 1047s | 16 | 730933 | 178252 | 33401 11 | 76 | 138 1085.68/1086.16 c 1049s | 16 | 732374 | 178652 | 33401 11 | 76 | 138 1088.18/1088.61 c 1052s | 16 | 734133 | 179052 | 33401 11 | 76 | 138 1090.38/1090.81 c 1054s | 16 | 735083 | 179352 | 33401 11 | 76 | 138 1092.48/1092.90 c 1056s | 16 | 735981 | 179652 | 33401 11 | 76 | 138 1095.08/1095.56 c 1059s | 16 | 737270 | 180052 | 33401 11 | 76 | 138 1097.68/1098.16 c 1061s | 16 | 738377 | 180452 | 33401 11 | 76 | 138 1099.78/1100.21 c 1064s | 16 | 739226 | 180752 | 33401 11 | 76 | 138 1101.79/1102.30 c 1066s | 16 | 740304 | 181052 | 33401 11 | 76 | 138 1103.99/1104.46 c 1068s | 16 | 741286 | 181352 | 33401 11 | 76 | 138 1105.98/1106.47 c 1070s | 16 | 742899 | 181652 | 33401 11 | 76 | 138 1108.68/1109.19 c 1072s | 16 | 745318 | 182052 | 33401 11 | 76 | 138 1111.18/1111.68 c 1075s | 16 | 746673 | 182452 | 33401 11 | 76 | 138 1113.78/1114.23 c 1078s | 16 | 748305 | 182852 | 33401 11 | 76 | 138 1115.78/1116.26 c 1080s | 16 | 749779 | 183152 | 33401 11 | 76 | 138 1117.78/1118.27 c 1082s | 16 | 750787 | 183452 | 33401 11 | 76 | 138 1119.88/1120.35 c 1084s | 16 | 752234 | 183752 | 33401 11 | 76 | 138 1121.88/1122.39 c 1086s | 16 | 753054 | 184052 | 33401 11 | 76 | 138 1123.98/1124.47 c 1088s | 16 | 753904 | 184352 | 33401 11 | 76 | 138 1126.68/1127.10 c 1090s | 16 | 755363 | 184752 | 33401 11 | 76 | 138 1129.18/1129.69 c 1093s | 16 | 756822 | 185152 | 33401 11 | 76 | 138 1131.68/1132.11 c 1095s | 16 | 758371 | 185552 | 33401 11 | 76 | 138 1134.17/1134.62 c 1098s | 16 | 759933 | 185952 | 33401 11 | 76 | 138 1136.57/1137.08 c 1100s | 16 | 761192 | 186352 | 33401 11 | 76 | 138 1138.67/1139.19 c 1102s | 16 | 762385 | 186652 | 33401 11 | 76 | 138 1141.38/1141.88 c 1105s | 16 | 764012 | 187052 | 33401 11 | 76 | 138 1143.47/1143.91 c 1107s | 16 | 765160 | 187352 | 33401 11 | 76 | 138 1146.07/1146.53 c 1110s | 16 | 766580 | 187752 | 33401 11 | 76 | 138 1148.67/1149.19 c 1112s | 16 | 767989 | 188152 | 33401 11 | 76 | 138 1150.97/1151.41 c 1115s | 16 | 769549 | 188452 | 33401 11 | 76 | 138 1153.07/1153.54 c 1117s | 16 | 770535 | 188752 | 33401 11 | 76 | 138 1155.17/1155.65 c 1119s | 16 | 771587 | 189052 | 33401 11 | 76 | 138 1157.47/1157.90 c 1121s | 16 | 772456 | 189352 | 33401 11 | 76 | 138 1160.08/1160.52 c 1124s | 16 | 773537 | 189752 | 33401 11 | 76 | 138 1162.17/1162.61 c 1126s | 16 | 774658 | 190052 | 33401 11 | 76 | 138 1164.17/1164.62 c 1128s | 16 | 776234 | 190352 | 33401 11 | 76 | 138 1166.57/1167.05 c 1130s | 16 | 777648 | 190752 | 33401 11 | 76 | 138 1169.37/1169.80 c 1133s | 16 | 779008 | 191152 | 33401 12 | 76 | 138 1171.77/1172.28 c 1136s | 16 | 780741 | 191552 | 33401 12 | 76 | 138 1174.07/1174.54 c 1138s | 16 | 782421 | 191952 | 33401 12 | 76 | 138 1176.37/1176.87 c 1140s | 16 | 784339 | 192352 | 33401 12 | 76 | 138 1178.87/1179.35 c 1143s | 16 | 785615 | 192752 | 33401 12 | 76 | 138 1181.57/1182.03 c 1145s | 16 | 787653 | 193152 | 33401 12 | 76 | 138 1183.97/1184.40 c 1148s | 16 | 788944 | 193552 | 33401 12 | 76 | 138 1186.37/1186.81 c 1150s | 16 | 790067 | 193952 | 33401 12 | 76 | 138 1188.77/1189.28 c 1153s | 16 | 791647 | 194352 | 33401 12 | 76 | 138 1191.07/1191.58 c 1155s | 16 | 793191 | 194752 | 33401 12 | 76 | 138 1193.56/1194.02 c 1157s | 16 | 794736 | 195152 | 33401 12 | 76 | 138 1195.86/1196.30 c 1160s | 16 | 796106 | 195552 | 33401 12 | 76 | 138 1198.26/1198.75 c 1162s | 16 | 797574 | 195952 | 33401 12 | 76 | 138 1200.77/1201.24 c 1165s | 16 | 799480 | 196352 | 33401 12 | 76 | 138 1203.36/1203.89 c 1167s | 16 | 801472 | 196752 | 33401 12 | 76 | 138 1205.86/1206.37 c 1170s | 16 | 802887 | 197152 | 33401 12 | 76 | 138 1207.66/1208.19 c 1171s | 17 | 803979 | 197432 | 33401 12 | 76 | 138 1209.76/1210.25 c 1174s | 17 | 804939 | 197732 | 33401 12 | 76 | 138 1212.26/1212.75 c 1176s | 17 | 806374 | 198132 | 33401 12 | 76 | 138 1214.76/1215.28 c 1179s | 17 | 807577 | 198532 | 33401 12 | 76 | 138 1217.16/1217.68 c 1181s | 17 | 809167 | 198932 | 33401 12 | 76 | 138 1219.57/1220.07 c 1183s | 17 | 810617 | 199332 | 33401 12 | 76 | 138 1221.77/1222.29 c 1186s | 17 | 811963 | 199732 | 33401 12 | 76 | 138 1223.88/1224.32 c 1188s | 17 | 813211 | 200032 | 33401 12 | 76 | 138 1227.57/1228.06 c 1191s | 17 | 814528 | 200332 | 33401 12 | 76 | 138 1229.77/1230.28 c 1194s | 17 | 815646 | 200632 | 33401 12 | 76 | 138 1232.16/1232.60 c 1196s | 17 | 816826 | 200932 | 33401 12 | 76 | 138 1234.36/1234.83 c 1198s | 17 | 818319 | 201232 | 33401 12 | 76 | 138 1236.46/1236.99 c 1200s | 17 | 819665 | 201532 | 33401 12 | 76 | 138 1238.86/1239.31 c 1203s | 17 | 820976 | 201832 | 33401 12 | 76 | 138 1241.36/1241.88 c 1205s | 17 | 822842 | 202232 | 33401 12 | 76 | 138 1243.67/1244.12 c 1207s | 17 | 824245 | 202532 | 33401 12 | 76 | 138 1246.16/1246.61 c 1210s | 17 | 825443 | 202832 | 33401 12 | 76 | 138 1248.56/1249.08 c 1212s | 17 | 826703 | 203132 | 33401 12 | 76 | 138 1250.86/1251.32 c 1215s | 17 | 827726 | 203432 | 33401 12 | 76 | 138 1253.06/1253.53 c 1217s | 17 | 828519 | 203732 | 33401 12 | 76 | 138 1255.66/1256.11 c 1219s | 17 | 830028 | 204032 | 33401 12 | 76 | 138 1258.16/1258.69 c 1222s | 17 | 831381 | 204332 | 33401 12 | 76 | 138 1260.36/1260.84 c 1224s | 17 | 832633 | 204632 | 33401 12 | 76 | 138 1262.47/1262.99 c 1226s | 17 | 833711 | 204932 | 33401 12 | 76 | 138 1265.16/1265.65 c 1229s | 17 | 834695 | 205332 | 33401 12 | 76 | 138 1267.76/1268.26 c 1232s | 17 | 836002 | 205732 | 33401 12 | 76 | 138 1269.96/1270.50 c 1234s | 17 | 836718 | 206032 | 33401 12 | 76 | 138 1272.16/1272.68 c 1236s | 17 | 837619 | 206332 | 33401 12 | 76 | 138 1274.66/1275.14 c 1238s | 17 | 838859 | 206632 | 33401 12 | 76 | 138 1276.96/1277.41 c 1241s | 17 | 839865 | 206932 | 33401 12 | 76 | 138 1279.16/1279.67 c 1243s | 17 | 840985 | 207232 | 33401 12 | 76 | 138 1282.06/1282.57 c 1246s | 17 | 842185 | 207532 | 33401 12 | 76 | 138 1284.96/1285.48 c 1249s | 17 | 843342 | 207832 | 33401 12 | 76 | 138 1288.35/1288.86 c 1252s | 17 | 844841 | 208132 | 33401 12 | 76 | 138 1291.06/1291.50 c 1255s | 17 | 846215 | 208432 | 33401 13 | 76 | 138 1293.26/1293.71 c 1257s | 17 | 847438 | 208732 | 33401 13 | 76 | 138 1295.46/1295.92 c 1259s | 17 | 848515 | 209032 | 33401 13 | 76 | 138 1297.66/1298.16 c 1261s | 17 | 849778 | 209332 | 33401 13 | 76 | 138 1299.86/1300.38 c 1264s | 17 | 851010 | 209632 | 33401 13 | 76 | 138 1301.96/1302.47 c 1266s | 17 | 852171 | 209932 | 33401 13 | 76 | 138 1304.16/1304.66 c 1268s | 17 | 853230 | 210232 | 33401 13 | 76 | 138 1306.46/1306.93 c 1270s | 17 | 854698 | 210532 | 33401 13 | 76 | 138 1308.56/1309.01 c 1272s | 17 | 856082 | 210832 | 33401 13 | 76 | 138 1310.55/1311.06 c 1274s | 17 | 857203 | 211132 | 33401 13 | 76 | 138 1313.15/1313.70 c 1277s | 17 | 859508 | 211532 | 33401 13 | 76 | 138 1315.85/1316.36 c 1280s | 17 | 861122 | 211832 | 33401 13 | 76 | 138 1317.95/1318.45 c 1282s | 17 | 862199 | 212132 | 33401 13 | 76 | 138 1320.15/1320.66 c 1284s | 17 | 863199 | 212432 | 33401 13 | 76 | 138 1322.75/1323.30 c 1287s | 17 | 864633 | 212832 | 33401 13 | 76 | 138 1325.35/1325.87 c 1289s | 17 | 866395 | 213232 | 33401 13 | 76 | 138 1327.45/1327.98 c 1291s | 17 | 867258 | 213532 | 33401 13 | 76 | 138 1329.55/1330.08 c 1293s | 17 | 868398 | 213832 | 33401 13 | 76 | 138 1331.65/1332.16 c 1295s | 17 | 869641 | 214132 | 33401 13 | 76 | 138 1334.45/1334.97 c 1298s | 17 | 871450 | 214532 | 33401 13 | 76 | 138 1337.05/1337.57 c 1301s | 17 | 872883 | 214932 | 33401 13 | 76 | 138 1339.45/1339.92 c 1303s | 17 | 874014 | 215232 | 33401 13 | 76 | 138 1341.45/1341.95 c 1305s | 17 | 875575 | 215532 | 33401 13 | 76 | 138 1344.15/1344.67 c 1308s | 17 | 877587 | 215932 | 33401 13 | 76 | 138 1346.25/1346.74 c 1310s | 17 | 878853 | 216232 | 33401 13 | 76 | 138 1348.25/1348.75 c 1312s | 17 | 879888 | 216532 | 33401 13 | 76 | 138 1350.35/1350.86 c 1314s | 17 | 881415 | 216832 | 33401 13 | 76 | 138 1352.44/1352.93 c 1316s | 17 | 882816 | 217132 | 33401 13 | 76 | 138 1354.85/1355.33 c 1319s | 17 | 885395 | 217532 | 33401 13 | 76 | 138 1356.95/1357.46 c 1321s | 17 | 887127 | 217832 | 33401 13 | 76 | 138 1359.25/1359.78 c 1323s | 17 | 888312 | 218132 | 33401 13 | 76 | 138 1361.45/1361.97 c 1325s | 17 | 889680 | 218432 | 33401 13 | 76 | 138 1363.65/1364.18 c 1327s | 17 | 890870 | 218732 | 33401 13 | 76 | 138 1365.64/1366.20 c 1329s | 17 | 891948 | 219032 | 33401 13 | 76 | 138 1367.74/1368.22 c 1332s | 17 | 892847 | 219332 | 33401 13 | 76 | 138 1369.94/1370.47 c 1334s | 17 | 894362 | 219632 | 33401 13 | 76 | 138 1372.35/1372.86 c 1336s | 17 | 895571 | 219932 | 33401 13 | 76 | 138 1374.74/1375.29 c 1339s | 17 | 896928 | 220232 | 33401 13 | 76 | 138 1377.04/1377.52 c 1341s | 17 | 898299 | 220532 | 33401 13 | 76 | 138 1379.44/1379.92 c 1343s | 17 | 899604 | 220832 | 33401 13 | 76 | 138 1382.04/1382.54 c 1346s | 17 | 900757 | 221132 | 33401 13 | 76 | 138 1384.45/1384.91 c 1348s | 17 | 901714 | 221432 | 33401 13 | 76 | 138 1386.54/1387.00 c 1350s | 17 | 902503 | 221732 | 33401 13 | 76 | 138 1388.74/1389.25 c 1353s | 17 | 903545 | 222032 | 33401 13 | 76 | 138 1390.94/1391.50 c 1355s | 17 | 904564 | 222332 | 33401 13 | 76 | 138 1393.25/1393.78 c 1357s | 17 | 905717 | 222632 | 33401 13 | 76 | 138 1395.44/1395.91 c 1359s | 17 | 907009 | 222932 | 33401 13 | 76 | 138 1397.44/1397.93 c 1361s | 17 | 908224 | 223232 | 33401 13 | 76 | 138 1399.54/1400.08 c 1363s | 17 | 909865 | 223532 | 33401 13 | 76 | 138 1401.54/1402.09 c 1365s | 17 | 911250 | 223832 | 33401 13 | 76 | 138 1403.74/1404.27 c 1368s | 17 | 912783 | 224132 | 33401 13 | 76 | 138 1405.84/1406.31 c 1370s | 17 | 914224 | 224432 | 33401 13 | 76 | 138 1407.94/1408.41 c 1372s | 17 | 915763 | 224732 | 33401 13 | 76 | 138 1410.14/1410.67 c 1374s | 17 | 916642 | 225032 | 33401 13 | 76 | 138 1412.44/1412.96 c 1376s | 17 | 917902 | 225332 | 33401 13 | 76 | 138 1414.73/1415.23 c 1379s | 17 | 919094 | 225632 | 33401 13 | 76 | 138 1417.14/1417.62 c 1381s | 17 | 920531 | 225932 | 33401 14 | 76 | 138 1419.14/1419.66 c 1383s | 17 | 921820 | 226232 | 33401 14 | 76 | 138 1421.84/1422.32 c 1386s | 17 | 923404 | 226632 | 33401 14 | 76 | 138 1423.83/1424.37 c 1388s | 17 | 924516 | 226932 | 33401 14 | 76 | 138 1425.93/1426.45 c 1390s | 17 | 925557 | 227232 | 33401 14 | 76 | 138 1427.93/1428.48 c 1392s | 17 | 926857 | 227532 | 33401 14 | 76 | 138 1430.13/1430.61 c 1394s | 17 | 928063 | 227832 | 33401 14 | 76 | 138 1432.23/1432.74 c 1396s | 17 | 929112 | 228132 | 33401 14 | 76 | 138 1434.83/1435.33 c 1399s | 17 | 930293 | 228532 | 33401 14 | 76 | 138 1436.93/1437.48 c 1401s | 17 | 931382 | 228832 | 33401 14 | 76 | 138 1439.13/1439.65 c 1403s | 17 | 933105 | 229132 | 33401 14 | 76 | 138 1441.43/1441.92 c 1405s | 17 | 934679 | 229432 | 33401 14 | 76 | 138 1443.73/1444.26 c 1408s | 17 | 936204 | 229732 | 33401 14 | 76 | 138 1445.83/1446.39 c 1410s | 17 | 937426 | 230032 | 33401 14 | 76 | 138 1448.03/1448.51 c 1412s | 17 | 938647 | 230332 | 33401 14 | 76 | 138 1450.03/1450.54 c 1414s | 17 | 939845 | 230632 | 33401 14 | 76 | 138 1452.23/1452.76 c 1416s | 17 | 940654 | 230932 | 33401 14 | 76 | 138 1454.73/1455.21 c 1419s | 17 | 941870 | 231232 | 33401 14 | 76 | 138 1456.73/1457.25 c 1421s | 17 | 943423 | 231532 | 33401 14 | 76 | 138 1459.03/1459.51 c 1423s | 17 | 944673 | 231832 | 33401 14 | 76 | 138 1461.03/1461.59 c 1425s | 17 | 946312 | 232132 | 33401 14 | 76 | 138 1463.13/1463.62 c 1427s | 17 | 947594 | 232432 | 33401 14 | 76 | 138 1465.13/1465.65 c 1429s | 17 | 949193 | 232732 | 33401 14 | 76 | 138 1467.73/1468.25 c 1432s | 17 | 951292 | 233132 | 33401 14 | 76 | 138 1470.33/1470.89 c 1434s | 17 | 953054 | 233532 | 33401 14 | 76 | 138 1472.53/1473.08 c 1436s | 17 | 954451 | 233832 | 33401 14 | 76 | 138 1474.73/1475.21 c 1439s | 17 | 955914 | 234132 | 33401 14 | 76 | 138 1476.83/1477.38 c 1441s | 17 | 957369 | 234432 | 33401 14 | 76 | 138 1479.03/1479.52 c 1443s | 17 | 958808 | 234732 | 33401 14 | 76 | 138 1481.13/1481.63 c 1445s | 17 | 960130 | 235032 | 33401 14 | 76 | 138 1483.32/1483.86 c 1447s | 17 | 961414 | 235332 | 33401 14 | 76 | 138 1485.52/1486.02 c 1449s | 17 | 962661 | 235632 | 33401 14 | 76 | 138 1487.62/1488.11 c 1451s | 17 | 963746 | 235932 | 33401 14 | 76 | 138 1489.72/1490.23 c 1454s | 17 | 965089 | 236232 | 33401 14 | 76 | 138 1491.82/1492.33 c 1456s | 17 | 966373 | 236532 | 33401 14 | 76 | 138 1493.82/1494.33 c 1458s | 17 | 967656 | 236832 | 33401 14 | 76 | 138 1496.32/1496.89 c 1460s | 17 | 968929 | 237232 | 33401 14 | 76 | 138 1498.93/1499.48 c 1463s | 17 | 970160 | 237632 | 33401 14 | 76 | 138 1500.92/1501.50 c 1465s | 17 | 971445 | 237932 | 33401 14 | 76 | 138 1503.12/1503.61 c 1467s | 17 | 972868 | 238232 | 33401 14 | 76 | 138 1505.22/1505.77 c 1469s | 17 | 973909 | 238532 | 33401 14 | 76 | 138 1507.32/1507.87 c 1471s | 17 | 975198 | 238832 | 33401 14 | 76 | 138 1509.52/1510.08 c 1473s | 17 | 976657 | 239132 | 33401 14 | 76 | 138 1511.72/1512.25 c 1476s | 17 | 978059 | 239432 | 33401 14 | 76 | 138 1513.92/1514.46 c 1478s | 17 | 979342 | 239732 | 33401 14 | 76 | 138 1515.92/1516.48 c 1480s | 17 | 980454 | 240032 | 33401 14 | 76 | 138 1518.52/1519.07 c 1482s | 17 | 982638 | 240432 | 33401 14 | 76 | 138 1521.22/1521.76 c 1485s | 17 | 984450 | 240832 | 33401 14 | 76 | 138 1523.32/1523.83 c 1487s | 17 | 985874 | 241132 | 33401 14 | 76 | 138 1525.42/1525.98 c 1489s | 17 | 987528 | 241432 | 33401 14 | 76 | 138 1527.72/1528.20 c 1491s | 17 | 989232 | 241732 | 33401 14 | 76 | 138 1529.82/1530.31 c 1494s | 17 | 990601 | 242032 | 33401 14 | 76 | 138 1532.32/1532.89 c 1496s | 17 | 992255 | 242432 | 33401 14 | 76 | 138 1534.52/1535.05 c 1498s | 17 | 993660 | 242732 | 33401 14 | 76 | 138 1536.82/1537.33 c 1501s | 17 | 994926 | 243032 | 33401 15 | 76 | 138 1539.32/1539.87 c 1503s | 17 | 996872 | 243432 | 33401 15 | 76 | 138 1541.82/1542.38 c 1506s | 17 | 998462 | 243832 | 33401 15 | 76 | 138 1544.52/1545.07 c 1508s | 17 | 1000091 | 244232 | 33401 15 | 76 | 138 1547.01/1547.54 c 1511s | 17 | 1001965 | 244632 | 33401 15 | 76 | 138 1549.52/1550.04 c 1513s | 17 | 1003746 | 245032 | 33401 15 | 76 | 138 1552.01/1552.55 c 1516s | 17 | 1005552 | 245432 | 33401 15 | 76 | 138 1554.51/1555.05 c 1518s | 17 | 1007151 | 245832 | 33401 15 | 76 | 138 1557.12/1557.63 c 1521s | 17 | 1008447 | 246232 | 33401 15 | 76 | 138 1559.11/1559.64 c 1523s | 17 | 1009610 | 246532 | 33401 15 | 76 | 138 1561.31/1561.85 c 1525s | 17 | 1010976 | 246832 | 33401 15 | 76 | 138 1563.51/1564.00 c 1527s | 17 | 1011876 | 247132 | 33401 15 | 76 | 138 1565.51/1566.08 c 1529s | 17 | 1013114 | 247432 | 33401 15 | 76 | 138 1567.61/1568.18 c 1531s | 17 | 1014265 | 247732 | 33401 15 | 76 | 138 1569.91/1570.45 c 1534s | 17 | 1015579 | 248032 | 33401 15 | 76 | 138 1572.91/1573.40 c 1537s | 17 | 1017069 | 248332 | 33401 15 | 76 | 138 1575.82/1576.36 c 1540s | 17 | 1019052 | 248632 | 33401 15 | 76 | 138 1578.02/1578.56 c 1542s | 17 | 1020444 | 248932 | 33401 15 | 76 | 138 1580.61/1581.18 c 1544s | 17 | 1022269 | 249232 | 33401 15 | 76 | 138 1582.71/1583.24 c 1547s | 17 | 1023256 | 249532 | 33401 15 | 76 | 138 1585.31/1585.89 c 1549s | 17 | 1025013 | 249932 | 33401 15 | 76 | 138 1587.51/1588.01 c 1551s | 17 | 1026529 | 250232 | 33401 15 | 76 | 138 1590.22/1590.77 c 1554s | 17 | 1028848 | 250632 | 33401 15 | 76 | 138 1592.32/1592.89 c 1556s | 17 | 1029953 | 250932 | 33401 15 | 76 | 138 1594.52/1595.07 c 1558s | 17 | 1031359 | 251232 | 33401 15 | 76 | 138 1596.72/1597.25 c 1561s | 17 | 1032486 | 251532 | 33401 15 | 76 | 138 1598.81/1599.31 c 1563s | 17 | 1033939 | 251832 | 33401 15 | 76 | 138 1601.31/1601.83 c 1565s | 17 | 1035165 | 252132 | 33401 15 | 76 | 138 1603.51/1604.04 c 1567s | 17 | 1036055 | 252432 | 33401 15 | 76 | 138 1606.11/1606.65 c 1570s | 17 | 1037561 | 252732 | 33401 15 | 76 | 138 1608.61/1609.15 c 1572s | 17 | 1038732 | 253032 | 33401 15 | 76 | 138 1611.41/1611.97 c 1575s | 17 | 1040489 | 253432 | 33401 15 | 76 | 138 1613.61/1614.12 c 1577s | 17 | 1041573 | 253732 | 33401 15 | 76 | 138 1615.81/1616.36 c 1580s | 17 | 1042920 | 254032 | 33401 15 | 76 | 138 1618.01/1618.54 c 1582s | 17 | 1043942 | 254332 | 33401 15 | 76 | 138 1620.21/1620.74 c 1584s | 17 | 1044894 | 254632 | 33401 15 | 76 | 138 1622.21/1622.75 c 1586s | 17 | 1045536 | 254932 | 33401 15 | 76 | 138 1624.61/1625.16 c 1588s | 17 | 1046885 | 255232 | 33401 15 | 76 | 138 1627.21/1627.78 c 1591s | 17 | 1048096 | 255632 | 33401 15 | 76 | 138 1629.71/1630.27 c 1594s | 17 | 1049557 | 255932 | 33401 15 | 76 | 138 1632.31/1632.80 c 1596s | 17 | 1051254 | 256332 | 33401 15 | 76 | 138 1634.51/1635.04 c 1598s | 17 | 1052412 | 256632 | 33401 15 | 76 | 138 1636.61/1637.13 c 1600s | 17 | 1053390 | 256932 | 33401 15 | 76 | 138 1638.61/1639.14 c 1602s | 17 | 1054432 | 257232 | 33401 15 | 76 | 138 1641.30/1641.81 c 1605s | 17 | 1056082 | 257632 | 33401 15 | 76 | 138 1644.11/1644.62 c 1608s | 17 | 1057967 | 258032 | 33401 15 | 76 | 138 1646.50/1647.05 c 1610s | 17 | 1059499 | 258332 | 33401 15 | 76 | 138 1648.90/1649.41 c 1613s | 17 | 1060927 | 258632 | 33401 15 | 76 | 138 1651.20/1651.70 c 1615s | 17 | 1062175 | 258932 | 33401 15 | 76 | 138 1653.60/1654.13 c 1617s | 17 | 1063634 | 259232 | 33401 15 | 76 | 138 1655.80/1656.39 c 1620s | 17 | 1065066 | 259532 | 33401 15 | 76 | 138 1658.31/1658.89 c 1622s | 17 | 1066583 | 259832 | 33401 15 | 76 | 138 1660.61/1661.13 c 1624s | 17 | 1067471 | 260132 | 33401 15 | 76 | 138 1663.30/1663.86 c 1627s | 17 | 1068679 | 260432 | 33401 16 | 76 | 138 1665.70/1666.29 c 1630s | 17 | 1069996 | 260832 | 33401 16 | 76 | 138 1668.10/1668.62 c 1632s | 17 | 1071039 | 261232 | 33401 16 | 76 | 138 1670.51/1671.07 c 1634s | 17 | 1072468 | 261632 | 33401 16 | 76 | 138 1673.20/1673.71 c 1637s | 17 | 1073873 | 262032 | 33401 16 | 76 | 138 1675.70/1676.28 c 1640s | 17 | 1075222 | 262432 | 33401 16 | 76 | 138 1677.80/1678.34 c 1642s | 17 | 1076265 | 262732 | 33401 16 | 76 | 138 1680.00/1680.53 c 1644s | 17 | 1078052 | 263132 | 33401 16 | 76 | 138 1682.00/1682.53 c 1646s | 17 | 1079210 | 263432 | 33401 16 | 76 | 138 1684.10/1684.63 c 1648s | 17 | 1080558 | 263732 | 33401 16 | 76 | 138 1686.70/1687.20 c 1650s | 17 | 1081863 | 264132 | 33401 16 | 76 | 138 1689.10/1689.63 c 1653s | 17 | 1083192 | 264532 | 33401 16 | 76 | 138 1691.40/1691.97 c 1655s | 17 | 1084938 | 264932 | 33401 16 | 76 | 138 1693.50/1694.01 c 1657s | 17 | 1086509 | 265232 | 33401 16 | 76 | 138 1695.89/1696.45 c 1660s | 17 | 1088335 | 265632 | 33401 16 | 76 | 138 1698.19/1698.71 c 1662s | 17 | 1089925 | 265932 | 33401 16 | 76 | 138 1700.59/1701.11 c 1664s | 17 | 1091122 | 266332 | 33401 16 | 76 | 138 1702.89/1703.44 c 1667s | 17 | 1092687 | 266732 | 33401 16 | 76 | 138 1705.09/1705.68 c 1669s | 17 | 1094158 | 267132 | 33401 16 | 76 | 138 1707.19/1707.76 c 1671s | 17 | 1095144 | 267532 | 33401 16 | 76 | 138 1709.39/1709.95 c 1673s | 17 | 1096504 | 267932 | 33401 16 | 76 | 138 1712.09/1712.61 c 1676s | 17 | 1098037 | 268332 | 33401 16 | 76 | 138 1714.69/1715.27 c 1679s | 17 | 1099426 | 268732 | 33401 16 | 76 | 138 1716.79/1717.36 c 1681s | 17 | 1100413 | 269032 | 33401 16 | 76 | 138 1719.39/1719.99 c 1683s | 17 | 1101987 | 269432 | 33401 16 | 76 | 138 1721.99/1722.52 c 1686s | 17 | 1103258 | 269832 | 33401 16 | 76 | 138 1724.49/1725.05 c 1688s | 17 | 1105073 | 270232 | 33401 16 | 76 | 138 1727.09/1727.60 c 1691s | 17 | 1106803 | 270632 | 33401 16 | 76 | 138 1729.19/1729.79 c 1693s | 17 | 1108070 | 270932 | 33401 16 | 76 | 138 1731.39/1731.99 c 1695s | 17 | 1109397 | 271232 | 33401 16 | 76 | 138 1733.69/1734.22 c 1698s | 17 | 1110515 | 271532 | 33401 16 | 76 | 138 1735.89/1736.46 c 1700s | 17 | 1111728 | 271832 | 33401 16 | 76 | 138 1738.09/1738.62 c 1702s | 17 | 1113121 | 272132 | 33401 16 | 76 | 138 1740.29/1740.82 c 1704s | 17 | 1114277 | 272432 | 33401 16 | 76 | 138 1742.49/1743.09 c 1706s | 17 | 1115650 | 272732 | 33401 16 | 76 | 138 1744.79/1745.31 c 1709s | 17 | 1116653 | 273032 | 33401 16 | 76 | 138 1746.99/1747.51 c 1711s | 17 | 1117805 | 273332 | 33401 16 | 76 | 138 1749.09/1749.69 c 1713s | 17 | 1119137 | 273632 | 33401 16 | 76 | 138 1751.79/1752.39 c 1716s | 17 | 1120429 | 274032 | 33401 16 | 76 | 138 1753.88/1754.47 c 1718s | 17 | 1121508 | 274332 | 33401 16 | 76 | 138 1755.98/1756.59 c 1720s | 17 | 1122771 | 274632 | 33401 16 | 76 | 138 1758.49/1759.06 c 1722s | 17 | 1124152 | 275032 | 33401 16 | 76 | 138 1760.48/1761.10 c 1724s | 17 | 1125598 | 275332 | 33401 16 | 76 | 138 1762.58/1763.13 c 1726s | 17 | 1126792 | 275632 | 33401 16 | 76 | 138 1764.68/1765.22 c 1729s | 17 | 1128261 | 275932 | 36742 16 | 76 | 138 1766.78/1767.30 c 1731s | 17 | 1129640 | 276232 | 36742 16 | 76 | 138 1768.78/1769.34 c 1733s | 17 | 1131193 | 276532 | 36742 16 | 76 | 138 1770.78/1771.38 c 1735s | 17 | 1132258 | 276832 | 36742 16 | 76 | 138 1773.48/1774.09 c 1737s | 17 | 1133817 | 277232 | 36742 16 | 76 | 138 1776.18/1776.70 c 1740s | 17 | 1135115 | 277632 | 36742 16 | 76 | 138 1778.38/1778.98 c 1742s | 17 | 1136206 | 277932 | 36742 16 | 76 | 138 1780.68/1781.29 c 1745s | 17 | 1137365 | 278232 | 36742 16 | 76 | 138 1782.98/1783.50 c 1747s | 17 | 1138634 | 278532 | 36742 16 | 76 | 138 1785.38/1785.90 c 1749s | 17 | 1139909 | 278832 | 36742 16 | 76 | 138 1787.48/1788.08 c 1751s | 17 | 1140830 | 279132 | 36742 16 | 76 | 138 1789.78/1790.37 c 1754s | 17 | 1142343 | 279432 | 36742 16 | 76 | 138 1792.08/1792.63 c 1756s | 17 | 1144200 | 279732 | 36742 16 | 76 | 138 1794.48/1795.09 c 1758s | 17 | 1145361 | 280032 | 36742 16 | 76 | 138 1796.88/1797.45 c 1761s | 17 | 1146415 | 280332 | 36742 16 | 76 | 138 1799.28/1799.86 c 1763s | 17 | 1147424 | 280632 | 36742 16 | 76 | 138
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-4106643-1466275296/watcher-4106643-1466275296 -o /tmp/evaluation-result-4106643-1466275296/solver-4106643-1466275296 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26752 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106643-1466275296.opb pid=29055 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.21 2.20 2.18 2/179 29058 /proc/meminfo: memFree=29384700/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=779708 CPUtime=0 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 2919 0 0 0 0 0 0 0 20 0 4 0 29576222 798420992 3279 33554432000 4194304 16246674 140735507111776 140735507111200 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 195439 3287 441 2943 0 192333 0 [pid=29058/tid=29059] ppid=29055 vsize=797116 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 816246784 3345 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=801212 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 820441088 3360 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=805308 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29576222 824635392 3376 33554432000 4194304 16246674 140735507111776 139810138213552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100172 s] /proc/loadavg: 2.21 2.20 2.18 2/179 29058 /proc/meminfo: memFree=29384700/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=1223236 CPUtime=0.09 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 23290 0 0 0 7 2 0 0 20 0 4 0 29576222 1252593664 23597 33554432000 4194304 16246674 140735507111776 140735507111088 12481246 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 305809 23597 834 2943 0 302703 0 [pid=29058/tid=29059] ppid=29055 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 1252593664 23597 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 1252593664 23597 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1252593664 23597 33554432000 4194304 16246674 140735507111776 139810138213552 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) 1223236 [startup+0.200476 s] /proc/loadavg: 2.21 2.20 2.18 2/179 29058 /proc/meminfo: memFree=29384700/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=1223236 CPUtime=0.19 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 34007 0 0 0 14 5 0 0 20 0 4 0 29576222 1252593664 34314 33554432000 4194304 16246674 140735507111776 140735507111088 4224930 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 305809 34314 894 2943 0 302703 0 [pid=29058/tid=29059] ppid=29055 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 1252593664 34314 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 1252593664 34314 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1252593664 34314 33554432000 4194304 16246674 140735507111776 139810138213552 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) 1223236 [startup+0.300478 s] /proc/loadavg: 2.21 2.20 2.18 2/179 29058 /proc/meminfo: memFree=29384700/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=1296964 CPUtime=0.29 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 51052 0 0 0 22 7 0 0 20 0 4 0 29576222 1328091136 51359 33554432000 4194304 16246674 140735507111776 140735507111088 5532301 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 324241 51370 894 2943 0 321135 0 [pid=29058/tid=29059] ppid=29055 vsize=1296964 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 1328091136 51376 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=1296964 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 1328091136 51383 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=1296964 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1328091136 51388 33554432000 4194304 16246674 140735507111776 139810138213552 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) 1296964 [startup+0.700408 s] /proc/loadavg: 2.21 2.20 2.18 2/179 29058 /proc/meminfo: memFree=29384700/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=1307204 CPUtime=0.69 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 73082 0 0 0 59 10 0 0 20 0 4 0 29576222 1338576896 73389 33554432000 4194304 16246674 140735507111776 140735507094776 5672160 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 326801 73396 909 2943 0 323695 0 [pid=29058/tid=29059] ppid=29055 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 1338576896 73400 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 1338576896 73409 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1338576896 73415 33554432000 4194304 16246674 140735507111776 139810138213552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1307204 [startup+1.50041 s] /proc/loadavg: 2.21 2.20 2.18 3/183 29062 /proc/meminfo: memFree=28849560/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=1308228 CPUtime=1.49 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 133937 0 0 0 131 18 0 0 20 0 4 0 29576222 1339625472 134244 33554432000 4194304 16246674 140735507111776 140735507093696 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 327057 134244 911 2943 0 323951 0 [pid=29058/tid=29059] ppid=29055 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 1339625472 134244 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 1339625472 134244 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1339625472 134244 33554432000 4194304 16246674 140735507111776 139810138213552 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) 1308228 [startup+3.10041 s] /proc/loadavg: 2.19 2.19 2.18 3/183 29062 /proc/meminfo: memFree=28848940/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=1308228 CPUtime=3.09 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 133937 0 0 0 291 18 0 0 20 0 4 0 29576222 1339625472 134244 33554432000 4194304 16246674 140735507111776 140735507093696 5600376 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 327057 134244 911 2943 0 323951 0 [pid=29058/tid=29059] ppid=29055 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 1339625472 134244 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 1339625472 134244 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1339625472 134244 33554432000 4194304 16246674 140735507111776 139810138213552 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) 1308228 [startup+6.30041 s] /proc/loadavg: 2.19 2.19 2.18 3/183 29062 /proc/meminfo: memFree=28311688/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=1308228 CPUtime=6.29 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 268250 0 0 0 592 37 0 0 20 0 4 0 29576222 1339625472 268557 33554432000 4194304 16246674 140735507111776 140735507094776 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 327057 268557 914 2943 0 323951 0 [pid=29058/tid=29059] ppid=29055 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 1339625472 268557 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 1339625472 268557 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1339625472 268557 33554432000 4194304 16246674 140735507111776 139810138213552 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) 1308228 [startup+12.7004 s] /proc/loadavg: 2.16 2.19 2.18 3/183 29062 /proc/meminfo: memFree=28311432/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=1308228 CPUtime=12.69 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 268250 0 0 0 1232 37 0 0 20 0 4 0 29576222 1339625472 268557 33554432000 4194304 16246674 140735507111776 140735507093696 5829044 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 327057 268557 914 2943 0 323951 0 [pid=29058/tid=29059] ppid=29055 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 1339625472 268557 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 1339625472 268557 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1339625472 268557 33554432000 4194304 16246674 140735507111776 139810138213552 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) 1308228 [startup+25.5005 s] /proc/loadavg: 2.14 2.18 2.18 3/183 29062 /proc/meminfo: memFree=28312364/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=1308228 CPUtime=25.48 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 268250 0 0 0 2511 37 0 0 20 0 4 0 29576222 1339625472 268557 33554432000 4194304 16246674 140735507111776 140735507093696 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 327057 268557 914 2943 0 323951 0 [pid=29058/tid=29059] ppid=29055 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 1339625472 268557 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 1339625472 268557 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1339625472 268557 33554432000 4194304 16246674 140735507111776 139810138213552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.15 2.18 2.18 4/183 29062 /proc/meminfo: memFree=28303320/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=1317444 CPUtime=51.08 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 270556 0 0 0 5070 38 0 0 20 0 4 0 29576222 1349062656 270863 33554432000 4194304 16246674 140735507111776 140735507093696 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 329361 270863 916 2943 0 326255 0 [pid=29058/tid=29059] ppid=29055 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 1349062656 270863 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 1349062656 270863 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1349062656 270863 33554432000 4194304 16246674 140735507111776 139810138213552 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) 1317444 [startup+102.3 s] /proc/loadavg: 2.14 2.18 2.18 3/183 29063 /proc/meminfo: memFree=28303160/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=1317444 CPUtime=102.28 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 270556 0 0 0 10190 38 0 0 20 0 4 0 29576222 1349062656 270863 33554432000 4194304 16246674 140735507111776 140735507094776 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 329361 270863 916 2943 0 326255 0 [pid=29058/tid=29059] ppid=29055 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 1349062656 270863 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 1349062656 270863 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1349062656 270863 33554432000 4194304 16246674 140735507111776 139810138213552 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) 1317444 ################ # More data... # ################ /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810138213552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1337924 [startup+1302.3 s] /proc/loadavg: 2.37 2.33 2.23 3/183 29212 /proc/meminfo: memFree=27848920/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=1337924 CPUtime=1301.85 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 276047 0 0 0 130143 42 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 140735507093696 6836961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 334481 275989 918 2943 0 331375 0 [pid=29058/tid=29059] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810138213552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1337924 [startup+1362.3 s] /proc/loadavg: 2.49 2.34 2.24 3/183 29213 /proc/meminfo: memFree=27767732/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=1337924 CPUtime=1361.84 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 276047 0 0 0 136142 42 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 140735507093696 6836965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 334481 275989 918 2943 0 331375 0 [pid=29058/tid=29059] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810138213552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1337924 [startup+1422.3 s] /proc/loadavg: 2.28 2.32 2.24 3/183 29214 /proc/meminfo: memFree=27758584/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=1337924 CPUtime=1421.84 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 276047 0 0 0 142142 42 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 140735507093696 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 334481 275989 918 2943 0 331375 0 [pid=29058/tid=29059] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810138213552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1337924 [startup+1482.3 s] /proc/loadavg: 2.42 2.34 2.25 3/183 29216 /proc/meminfo: memFree=27745836/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=1337924 CPUtime=1481.82 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 276047 0 0 0 148140 42 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 140735507093696 5661428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 334481 275989 918 2943 0 331375 0 [pid=29058/tid=29059] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810138213552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1337924 [startup+1542.31 s] /proc/loadavg: 2.35 2.32 2.25 4/183 29217 /proc/meminfo: memFree=27745748/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=1337924 CPUtime=1541.82 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 276047 0 0 0 154140 42 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 140735507093696 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 334481 275989 918 2943 0 331375 0 [pid=29058/tid=29059] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810138213552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1337924 [startup+1602.3 s] /proc/loadavg: 2.37 2.34 2.26 3/183 29218 /proc/meminfo: memFree=27687376/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=1337924 CPUtime=1601.81 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 276047 0 0 0 160138 43 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 140735507093696 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 334481 275989 918 2943 0 331375 0 [pid=29058/tid=29059] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810138213552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1337924 [startup+1662.3 s] /proc/loadavg: 2.24 2.30 2.25 3/183 29219 /proc/meminfo: memFree=27508720/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=1337924 CPUtime=1661.8 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 276047 0 0 0 166137 43 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 140735507093696 5674844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 334481 275989 918 2943 0 331375 0 [pid=29058/tid=29059] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810138213552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1337924 [startup+1722.3 s] /proc/loadavg: 2.14 2.26 2.24 3/184 29223 /proc/meminfo: memFree=27508956/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=1337924 CPUtime=1721.79 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 276047 0 0 0 172136 43 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 140735507093696 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 334481 275989 918 2943 0 331375 0 [pid=29058/tid=29059] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810138213552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1337924 [startup+1782.3 s] /proc/loadavg: 2.22 2.26 2.23 3/183 29225 /proc/meminfo: memFree=27508448/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=1337924 CPUtime=1781.78 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 276047 0 0 0 178135 43 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 140735507093696 5661428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 334481 275989 918 2943 0 331375 0 [pid=29058/tid=29059] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810138213552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1337924 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.29 2.27 2.24 3/183 29225 /proc/meminfo: memFree=27508180/32872528 swapFree=1191052/1305516 [pid=29058] ppid=29055 vsize=1337924 CPUtime=1800.08 cores=0,2,4,6 /proc/29058/stat : 29058 (toysat) R 29055 29058 26736 0 -1 4202496 276047 0 0 0 179965 43 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 140735507093696 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29058/statm: 334481 275989 918 2943 0 331375 0 [pid=29058/tid=29059] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29059/stat : 29059 (toysat) S 29055 29058 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810159176944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=29058/tid=29060] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29060/stat : 29060 (toysat) S 29055 29058 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810148687088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=29058/tid=29061] ppid=29055 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/29058/task/29061/stat : 29061 (toysat) S 29055 29058 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29576222 1370034176 275989 33554432000 4194304 16246674 140735507111776 139810138213552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1337924 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 29058 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.09 CPU user time (s): 1799.66 CPU system time (s): 0.436933 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (KiB): 1337924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.66 system time used= 0.436933 maximum resident set size= 1103956 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 276047 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= 382 involuntary context switches= 1836 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.954 second user time and 16.3015 second system time The end
Begin job on node127 at 2016-06-18 20:41:36 IDJOB=4106643 IDBENCH=48161 IDSOLVER=2542 FILE ID=node127/4106643-1466275296 RUNJOBID= node127-1466265123-26752 PBS_JOBID= 19918231 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_5.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106643-1466275296/watcher-4106643-1466275296 -o /tmp/evaluation-result-4106643-1466275296/solver-4106643-1466275296 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26752 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106643-1466275296.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2dd6cc5a7b1f8311eff7b566cf3505ea RANDOM SEED=1208556716 node127.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.769 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.53 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.769 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.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 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.56 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.769 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.769 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.769 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 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: 29385616 kB Buffers: 95976 kB Cached: 262100 kB SwapCached: 516 kB Active: 1175236 kB Inactive: 265284 kB Active(anon): 1082500 kB Inactive(anon): 2184 kB Active(file): 92736 kB Inactive(file): 263100 kB Unevictable: 1305516 kB Mlocked: 1191052 kB SwapTotal: 67108856 kB SwapFree: 67100260 kB Dirty: 16364 kB Writeback: 0 kB AnonPages: 2387088 kB Mapped: 10868 kB Shmem: 0 kB Slab: 604496 kB SReclaimable: 48640 kB SUnreclaim: 555856 kB KernelStack: 1496 kB PageTables: 8536 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2530632 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 677888 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= 71708 MiB End job on node127 at 2016-06-18 21:11:37