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.07 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_2.opb |
| MD5SUM | f7e9965e006e5669c3252afd9a68998d |
| 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 | 71 |
| Best CPU time to get the best result obtained on this benchmark | 1800.01 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 67 |
| 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) | 6328 |
| Sum of products size (including duplicates) | 12656 |
| Number of different products | 6328 |
| Sum of products size | 12656 |
0.00/0.00 c 2016-06-07T01:41:06+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-4080134-1465256466.opb"] 0.00/0.01 c use --random-gen="4077312912 4179102723 468335759 3498174497 242268760 1070740034 3324602641 26201799 3760271575 932717356 1072902081 3340918227 1775174562 3152101939 3941005802 553037693 2269291860 3470469555 2652273436 2900707367 1667999621 3145856643 3577975404 429316534 4153161348 1911921254 4049369060 1304233032 2923113768 4231984995 2136561786 1074795041 1733497407 44236615 523760932 1793876196 2639967781 1792571384 3979915290 1669097183 3597474686 3143793159 1557387383 1738259990 3360149037 3819510493 2324592565 3049383127 966557081 2527416884 1943479316 1937469157 260588878 3114947083 230275980 2289261099 3834030747 466141232 1368203468 1109840409 645715354 1051144672 3236412358 2578599169 546475720 804910776 3287167403 674071198 1717647473 1420206269 540260346 4066103235 2691386722 111709531 580413885 1294316718 1140410838 3017348151 1916779051 695833778 2689758256 265666735 1790328976 3022430417 2285718599 726347421 1644950042 2512414772 1355823904 391227097 3833289825 422152606 4277101354 3248894804 1913218351 2988080370 631681761 378386773 870779441 1345422752 133095757 3066128533 183740151 1108552669 360750962 3105112396 1301613678 2010197713 1758062823 2607011402 825589543 2419918761 950713001 2934735489 3511560241 3260135763 3754628363 3412879903 1669941653 2432166449 1282432576 2028132834 3563306989 3475762333 985437501 3874928836 2681161674 709345377 4203729004 2214201555 1390517711 648085994 3934556646 2696252562 1024470073 3608678633 2127830882 368010988 1915867324 1248513121 3369266817 2547176079 1499028319 2330844054 1499494720 4105299573 2127610885 940853873 2158562136 1682391631 1241947294 1051635219 1660288296 3999291994 1881336367 3716932613 1116757527 3753539984 1940170162 2076312883 4233986683 3163613294 3501894309 1103450409 3100798289 2004193119 211729742 2931361888 3642409534 3790195069 2936693857 231085479 1173316389 3788870507 3211514361 2889683132 1870736186 2826576589 560124184 1676884918 361169254 3492430884 984438918 371234866 4202727155 4242466321 421553744 3155868968 3456061728 3782647835 1361511213 3864797576 4078562202 95642103 3623135822 4097404217 993226099 490482196 4113803023 2543696 2120668601 1418474646 1709578034 3005865126 1051286031 2264199115 351678954 2692349766 372865970 2052915678 2066161203 2502297188 1218409938 1787301574 68490726 656652120 918226581 2756909155 3962906794 2602939083 3476215295 1067418219 2610603117 3552204667 541507417 1712380629 3654041008 2372882160 2538371821 3377125899 110518605 2832325544 798365883 4271485284 930538969 62665391 2404283206 3302443330 3294543375 1290958698 2461007325 2961123311 3850447435 2798925246 1350723429 672045335 1322906471 1507405187 3862746371 1597845607 1421807619 131567165 1673481869 781387247 2756531968 3827368972 255 362436" option to reproduce the execution 0.00/0.04 c #vars 500 0.00/0.04 c #constraints 500 0.08/0.15 c BCD2: Hardening is enabled. 0.08/0.15 c BCD2: BiasedSearch is enabled. 0.08/0.15 c Solving starts ... 0.08/0.15 c ============================[ Search Statistics ]============================ 0.08/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.15 c | | | | Limit GC | Var | Constra 0.08/0.15 c ============================================================================= 0.08/0.15 c 0.0s | 0 | 0 | 0 | 6661 0 | 0 | 0 0.08/0.17 c 0.0s | 0 | 1210 | 0 | 6661 0 | 0 | 0 0.08/0.17 c #cpu_time = 0.021s 0.08/0.17 c #wall_clock_time = 0.021s 0.08/0.17 c #decision = 1210 0.08/0.17 c #random_decision = 1 0.08/0.17 c #conflict = 0 0.08/0.17 c #restart = 0 0.08/0.17 o 389 0.08/0.17 c BCD2: updating upper bound: 500 -> 388 0.08/0.17 c BCD2: 0 <= obj <= 388 0.08/0.17 c BCD2: #cores=0, #unrelaxed=500, #relaxed=0, #hardened=0 0.08/0.17 c BCD2: #sat=1 #unsat=1 bias=1/2 0.08/0.17 c Solving starts ... 0.08/0.17 c ============================[ Search Statistics ]============================ 0.08/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.17 c | | | | Limit GC | Var | Constra 0.08/0.17 c ============================================================================= 0.08/0.17 c 0.0s | 0 | 0 | 0 | 6661 0 | 0 | 0 0.08/0.19 c 0.0s | 0 | 326 | 0 | 6661 0 | 0 | 0 0.08/0.19 c #cpu_time = 0.014s 0.08/0.19 c #wall_clock_time = 0.014s 0.08/0.19 c #decision = 326 0.08/0.19 c #random_decision = 0 0.08/0.19 c #conflict = 0 0.08/0.19 c #restart = 0 0.08/0.19 c BCD2: found a new core of size 12: cost of the new core is >=1 0.08/0.19 c lower bound updated to 1 0.08/0.19 c BCD2: 1 <= obj <= 388 0.08/0.19 c BCD2: #cores=1, #unrelaxed=488, #relaxed=12, #hardened=0 0.08/0.19 c BCD2: #sat=1 #unsat=2 bias=2/3 0.08/0.19 c Solving starts ... 0.08/0.19 c ============================[ Search Statistics ]============================ 0.08/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.19 c | | | | Limit GC | Var | Constra 0.08/0.19 c ============================================================================= 0.18/0.21 c 0.0s | 0 | 0 | 0 | 6661 0 | 0 | 0 0.18/0.23 c 0.0s | 0 | 363 | 0 | 6661 0 | 0 | 0 0.18/0.23 c #cpu_time = 0.013s 0.18/0.23 c #wall_clock_time = 0.013s 0.18/0.23 c #decision = 363 0.18/0.23 c #random_decision = 0 0.18/0.23 c #conflict = 0 0.18/0.23 c #restart = 0 0.18/0.23 c BCD2: found a new core of size 11: cost of the new core is >=1 0.18/0.23 c lower bound updated to 2 0.18/0.23 c BCD2: 2 <= obj <= 388 0.18/0.23 c BCD2: #cores=2, #unrelaxed=477, #relaxed=23, #hardened=0 0.18/0.23 c BCD2: #sat=1 #unsat=3 bias=3/4 0.18/0.23 c Solving starts ... 0.18/0.23 c ============================[ Search Statistics ]============================ 0.18/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.23 c | | | | Limit GC | Var | Constra 0.18/0.23 c ============================================================================= 0.18/0.23 c 0.0s | 0 | 0 | 0 | 6661 0 | 0 | 0 0.18/0.24 c 0.0s | 0 | 354 | 0 | 6661 0 | 0 | 0 0.18/0.24 c #cpu_time = 0.013s 0.18/0.24 c #wall_clock_time = 0.013s 0.18/0.24 c #decision = 354 0.18/0.24 c #random_decision = 0 0.18/0.24 c #conflict = 0 0.18/0.24 c #restart = 0 0.18/0.24 c BCD2: found a new core of size 13: cost of the new core is >=1 0.18/0.24 c lower bound updated to 3 0.18/0.24 c BCD2: 3 <= obj <= 388 0.18/0.24 c BCD2: #cores=3, #unrelaxed=464, #relaxed=36, #hardened=0 0.18/0.24 c BCD2: #sat=1 #unsat=4 bias=4/5 0.18/0.24 c Solving starts ... 0.18/0.24 c ============================[ Search Statistics ]============================ 0.18/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.24 c | | | | Limit GC | Var | Constra 0.18/0.24 c ============================================================================= 0.18/0.24 c 0.0s | 0 | 0 | 0 | 6661 0 | 0 | 0 0.18/0.26 c 0.0s | 0 | 353 | 0 | 6661 0 | 0 | 0 0.18/0.26 c #cpu_time = 0.013s 0.18/0.26 c #wall_clock_time = 0.013s 0.18/0.26 c #decision = 353 0.18/0.26 c #random_decision = 0 0.18/0.26 c #conflict = 0 0.18/0.26 c #restart = 0 0.18/0.26 c BCD2: found a new core of size 11: cost of the new core is >=1 0.18/0.26 c lower bound updated to 4 0.18/0.26 c BCD2: 4 <= obj <= 388 0.18/0.26 c BCD2: #cores=4, #unrelaxed=453, #relaxed=47, #hardened=0 0.18/0.26 c BCD2: #sat=1 #unsat=5 bias=5/6 0.18/0.26 c Solving starts ... 0.18/0.26 c ============================[ Search Statistics ]============================ 0.18/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.26 c | | | | Limit GC | Var | Constra 0.18/0.26 c ============================================================================= 0.18/0.26 c 0.0s | 0 | 0 | 0 | 6661 0 | 0 | 0 0.18/0.27 c 0.0s | 0 | 365 | 0 | 6661 0 | 0 | 0 0.18/0.27 c #cpu_time = 0.013s 0.18/0.27 c #wall_clock_time = 0.013s 0.18/0.27 c #decision = 365 0.18/0.27 c #random_decision = 0 0.18/0.27 c #conflict = 0 0.18/0.27 c #restart = 0 0.18/0.27 c BCD2: found a new core of size 11: cost of the new core is >=1 0.18/0.27 c lower bound updated to 5 0.18/0.27 c BCD2: 5 <= obj <= 388 0.18/0.27 c BCD2: #cores=5, #unrelaxed=442, #relaxed=58, #hardened=0 0.18/0.27 c BCD2: #sat=1 #unsat=6 bias=6/7 0.18/0.27 c Solving starts ... 0.18/0.27 c ============================[ Search Statistics ]============================ 0.18/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.27 c | | | | Limit GC | Var | Constra 0.18/0.27 c ============================================================================= 0.18/0.27 c 0.0s | 0 | 0 | 0 | 6661 0 | 0 | 0 0.18/0.29 c 0.0s | 0 | 373 | 0 | 6661 0 | 0 | 0 0.18/0.29 c #cpu_time = 0.013s 0.18/0.29 c #wall_clock_time = 0.013s 0.18/0.29 c #decision = 373 0.18/0.29 c #random_decision = 0 0.18/0.29 c #conflict = 0 0.18/0.29 c #restart = 0 0.18/0.29 c BCD2: found a new core of size 11: cost of the new core is >=1 0.18/0.29 c lower bound updated to 6 0.18/0.29 c BCD2: 6 <= obj <= 388 0.18/0.29 c BCD2: #cores=6, #unrelaxed=431, #relaxed=69, #hardened=0 0.18/0.29 c BCD2: #sat=1 #unsat=7 bias=7/8 0.18/0.29 c Solving starts ... 0.18/0.29 c ============================[ Search Statistics ]============================ 0.18/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.29 c | | | | Limit GC | Var | Constra 0.18/0.29 c ============================================================================= 0.18/0.29 c 0.0s | 0 | 0 | 0 | 6661 0 | 0 | 0 0.29/0.30 c 0.0s | 0 | 367 | 0 | 6661 0 | 0 | 0 0.29/0.30 c #cpu_time = 0.013s 0.29/0.30 c #wall_clock_time = 0.013s 0.29/0.30 c #decision = 367 0.29/0.30 c #random_decision = 0 0.29/0.30 c #conflict = 0 0.29/0.30 c #restart = 0 0.29/0.30 c BCD2: found a new core of size 11: cost of the new core is >=1 0.29/0.30 c lower bound updated to 7 0.29/0.30 c BCD2: 7 <= obj <= 388 0.29/0.30 c BCD2: #cores=7, #unrelaxed=420, #relaxed=80, #hardened=0 0.29/0.30 c BCD2: #sat=1 #unsat=8 bias=8/9 0.29/0.30 c Solving starts ... 0.29/0.30 c ============================[ Search Statistics ]============================ 0.29/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.30 c | | | | Limit GC | Var | Constra 0.29/0.30 c ============================================================================= 0.29/0.30 c 0.0s | 0 | 0 | 0 | 6661 0 | 0 | 0 0.29/0.32 c 0.0s | 0 | 364 | 0 | 6661 0 | 0 | 0 0.29/0.32 c #cpu_time = 0.012s 0.29/0.32 c #wall_clock_time = 0.012s 0.29/0.32 c #decision = 364 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 12: cost of the new core is >=1 0.29/0.32 c lower bound updated to 8 0.29/0.32 c BCD2: 8 <= obj <= 388 0.29/0.32 c BCD2: #cores=8, #unrelaxed=408, #relaxed=92, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=9 bias=9/10 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.32 c 0.0s | 0 | 0 | 0 | 6661 0 | 0 | 0 0.29/0.33 c 0.0s | 0 | 355 | 0 | 6661 0 | 0 | 0 0.29/0.33 c #cpu_time = 0.010s 0.29/0.33 c #wall_clock_time = 0.010s 0.29/0.33 c #decision = 355 0.29/0.33 c #random_decision = 0 0.29/0.33 c #conflict = 0 0.29/0.33 c #restart = 0 0.29/0.33 c BCD2: found a new core of size 12: cost of the new core is >=1 0.29/0.33 c lower bound updated to 9 0.29/0.33 c BCD2: 9 <= obj <= 388 0.29/0.33 c BCD2: #cores=9, #unrelaxed=396, #relaxed=104, #hardened=0 0.29/0.33 c BCD2: #sat=1 #unsat=10 bias=10/11 0.29/0.33 c Solving starts ... 0.29/0.33 c ============================[ Search Statistics ]============================ 0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.33 c | | | | Limit GC | Var | Constra 0.29/0.33 c ============================================================================= 0.29/0.35 c 0.0s | 0 | 0 | 0 | 6661 0 | 0 | 0 0.29/0.36 c 0.0s | 0 | 351 | 0 | 6661 0 | 0 | 0 0.29/0.36 c #cpu_time = 0.010s 0.29/0.36 c #wall_clock_time = 0.010s 0.29/0.36 c #decision = 351 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 11: cost of the new core is >=1 0.29/0.36 c lower bound updated to 10 0.29/0.36 c BCD2: 10 <= obj <= 388 0.29/0.36 c BCD2: #cores=10, #unrelaxed=385, #relaxed=115, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=11 bias=11/12 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 | 6661 0 | 0 | 0 0.29/0.37 c 0.0s | 0 | 346 | 0 | 6661 0 | 0 | 0 0.29/0.37 c #cpu_time = 0.009s 0.29/0.37 c #wall_clock_time = 0.009s 0.29/0.37 c #decision = 346 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 15: cost of the new core is >=1 0.29/0.37 c lower bound updated to 11 0.29/0.37 c BCD2: 11 <= obj <= 388 0.29/0.37 c BCD2: #cores=11, #unrelaxed=370, #relaxed=130, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=12 bias=12/13 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 | 6661 0 | 0 | 0 0.29/0.38 c 0.0s | 0 | 341 | 0 | 6661 0 | 0 | 0 0.29/0.38 c #cpu_time = 0.010s 0.29/0.38 c #wall_clock_time = 0.010s 0.29/0.38 c #decision = 341 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 16: cost of the new core is >=1 0.29/0.38 c lower bound updated to 12 0.29/0.38 c BCD2: 12 <= obj <= 388 0.29/0.38 c BCD2: #cores=12, #unrelaxed=354, #relaxed=146, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=13 bias=13/14 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 | 6661 0 | 0 | 0 0.29/0.39 c 0.0s | 0 | 327 | 0 | 6661 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 = 327 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 13 0.29/0.39 c BCD2: 13 <= obj <= 388 0.29/0.39 c BCD2: #cores=13, #unrelaxed=343, #relaxed=157, #hardened=0 0.29/0.39 c BCD2: #sat=1 #unsat=14 bias=14/15 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 | 6661 0 | 0 | 0 0.38/0.40 c 0.0s | 0 | 318 | 0 | 6661 0 | 0 | 0 0.38/0.40 c #cpu_time = 0.009s 0.38/0.40 c #wall_clock_time = 0.009s 0.38/0.40 c #decision = 318 0.38/0.40 c #random_decision = 0 0.38/0.40 c #conflict = 0 0.38/0.40 c #restart = 0 0.38/0.40 c BCD2: found a new core of size 12: cost of the new core is >=1 0.38/0.40 c lower bound updated to 14 0.38/0.40 c BCD2: 14 <= obj <= 388 0.38/0.40 c BCD2: #cores=14, #unrelaxed=331, #relaxed=169, #hardened=0 0.38/0.40 c BCD2: #sat=1 #unsat=15 bias=15/16 0.38/0.40 c Solving starts ... 0.38/0.40 c ============================[ Search Statistics ]============================ 0.38/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.40 c | | | | Limit GC | Var | Constra 0.38/0.40 c ============================================================================= 0.38/0.40 c 0.0s | 0 | 0 | 0 | 6661 0 | 0 | 0 0.38/0.41 c 0.0s | 0 | 309 | 0 | 6661 0 | 0 | 0 0.38/0.41 c #cpu_time = 0.009s 0.38/0.41 c #wall_clock_time = 0.009s 0.38/0.41 c #decision = 309 0.38/0.41 c #random_decision = 0 0.38/0.41 c #conflict = 0 0.38/0.41 c #restart = 0 0.38/0.41 c BCD2: found a new core of size 14: cost of the new core is >=1 0.38/0.41 c lower bound updated to 15 0.38/0.41 c BCD2: 15 <= obj <= 388 0.38/0.41 c BCD2: #cores=15, #unrelaxed=317, #relaxed=183, #hardened=0 0.38/0.41 c BCD2: #sat=1 #unsat=16 bias=16/17 0.38/0.41 c Solving starts ... 0.38/0.41 c ============================[ Search Statistics ]============================ 0.38/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.41 c | | | | Limit GC | Var | Constra 0.38/0.41 c ============================================================================= 0.38/0.41 c 0.0s | 0 | 0 | 0 | 6661 0 | 0 | 0 0.38/0.42 c 0.0s | 0 | 302 | 0 | 6661 0 | 0 | 0 0.38/0.42 c #cpu_time = 0.009s 0.38/0.42 c #wall_clock_time = 0.009s 0.38/0.42 c #decision = 302 0.38/0.42 c #random_decision = 0 0.38/0.42 c #conflict = 0 0.38/0.42 c #restart = 0 0.38/0.42 c BCD2: found a new core of size 11: cost of the new core is >=1 0.38/0.42 c lower bound updated to 16 0.38/0.42 c BCD2: 16 <= obj <= 388 0.38/0.42 c BCD2: #cores=16, #unrelaxed=306, #relaxed=194, #hardened=0 0.38/0.42 c BCD2: #sat=1 #unsat=17 bias=17/18 0.38/0.42 c Solving starts ... 0.38/0.42 c ============================[ Search Statistics ]============================ 0.38/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.42 c | | | | Limit GC | Var | Constra 0.38/0.42 c ============================================================================= 0.38/0.42 c 0.0s | 0 | 0 | 0 | 6661 0 | 0 | 0 0.38/0.43 c 0.0s | 0 | 309 | 0 | 6661 0 | 0 | 0 0.38/0.43 c #cpu_time = 0.009s 0.38/0.43 c #wall_clock_time = 0.009s 0.38/0.43 c #decision = 309 0.38/0.43 c #random_decision = 0 0.38/0.43 c #conflict = 0 0.38/0.43 c #restart = 0 0.38/0.43 c BCD2: found a new core of size 11: cost of the new core is >=1 0.38/0.43 c lower bound updated to 17 0.38/0.43 c BCD2: 17 <= obj <= 388 0.38/0.43 c BCD2: #cores=17, #unrelaxed=295, #relaxed=205, #hardened=0 0.38/0.43 c BCD2: #sat=1 #unsat=18 bias=18/19 0.38/0.43 c Solving starts ... 0.38/0.43 c ============================[ Search Statistics ]============================ 0.38/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.43 c | | | | Limit GC | Var | Constra 0.38/0.43 c ============================================================================= 0.38/0.44 c 0.0s | 0 | 0 | 0 | 6661 0 | 0 | 0 0.38/0.46 c 0.0s | 0 | 1521 | 1 | 6661 0 | 0 | 0 0.38/0.46 c #cpu_time = 0.015s 0.38/0.46 c #wall_clock_time = 0.015s 0.38/0.46 c #decision = 1521 0.38/0.46 c #random_decision = 4 0.38/0.46 c #conflict = 1 0.38/0.46 c #restart = 0 0.38/0.46 o 108 0.38/0.46 c BCD2: updating upper bound: 388 -> 107 0.38/0.46 c BCD2: 17 <= obj <= 107 0.38/0.46 c BCD2: #cores=17, #unrelaxed=295, #relaxed=205, #hardened=0 0.38/0.46 c BCD2: #sat=2 #unsat=18 bias=18/20 0.38/0.46 c Solving starts ... 0.38/0.46 c ============================[ Search Statistics ]============================ 0.38/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.46 c | | | | Limit GC | Var | Constra 0.38/0.46 c ============================================================================= 0.38/0.46 c 0.0s | 0 | 0 | 0 | 6661 0 | 0 | 1 0.48/0.51 c 0.0s | 0 | 1276 | 65 | 6661 0 | 0 | 1 0.48/0.51 c #cpu_time = 0.042s 0.48/0.51 c #wall_clock_time = 0.042s 0.48/0.51 c #decision = 1276 0.48/0.51 c #random_decision = 1 0.48/0.51 c #conflict = 65 0.48/0.51 c #restart = 0 0.48/0.51 o 91 0.48/0.51 c BCD2: updating upper bound: 107 -> 90 0.48/0.51 c BCD2: 17 <= obj <= 90 0.48/0.51 c BCD2: #cores=17, #unrelaxed=295, #relaxed=205, #hardened=0 0.48/0.51 c BCD2: #sat=3 #unsat=18 bias=18/21 0.48/0.51 c Solving starts ... 0.48/0.51 c ============================[ Search Statistics ]============================ 0.48/0.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.51 c | | | | Limit GC | Var | Constra 0.48/0.51 c ============================================================================= 0.48/0.51 c 0.0s | 0 | 0 | 0 | 6661 0 | 0 | 2 0.48/0.52 c 0.0s | 0 | 311 | 0 | 6661 0 | 0 | 2 0.48/0.52 c #cpu_time = 0.010s 0.48/0.52 c #wall_clock_time = 0.010s 0.48/0.52 c #decision = 311 0.48/0.52 c #random_decision = 0 0.48/0.52 c #conflict = 0 0.48/0.52 c #restart = 0 0.48/0.52 c BCD2: relaxing 30 and merging with 2 cores into a new core of size 52: cost of the new core is >=3 0.48/0.52 c lower bound updated to 18 0.48/0.52 c BCD2: 18 <= obj <= 90 0.48/0.52 c BCD2: #cores=16, #unrelaxed=265, #relaxed=235, #hardened=0 0.48/0.52 c BCD2: #sat=3 #unsat=19 bias=19/22 0.48/0.52 c Solving starts ... 0.48/0.52 c ============================[ Search Statistics ]============================ 0.48/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.52 c | | | | Limit GC | Var | Constra 0.48/0.52 c ============================================================================= 0.48/0.52 c 0.0s | 0 | 0 | 0 | 6661 0 | 6 | 2 0.48/0.59 c 0.1s | 1 | 830 | 100 | 7328 0 | 6 | 12 0.68/0.73 c 0.2s | 2 | 1484 | 250 | 8061 0 | 6 | 12 0.88/0.93 c 0.4s | 3 | 2441 | 475 | 8868 0 | 6 | 12 1.09/1.12 c 0.6s | 4 | 3692 | 813 | 9755 0 | 6 | 12 1.39/1.40 c 0.9s | 5 | 5605 | 1320 | 10731 0 | 6 | 12 1.39/1.48 c 0.9s | 5 | 6518 | 1362 | 10731 0 | 6 | 12 1.39/1.48 c #cpu_time = 0.935s 1.39/1.48 c #wall_clock_time = 0.935s 1.39/1.48 c #decision = 6518 1.39/1.48 c #random_decision = 10 1.39/1.48 c #conflict = 1362 1.39/1.48 c #restart = 5 1.39/1.48 o 76 1.39/1.48 c BCD2: updating upper bound: 90 -> 75 1.39/1.48 c BCD2: 18 <= obj <= 75 1.39/1.48 c BCD2: #cores=16, #unrelaxed=265, #relaxed=235, #hardened=0 1.39/1.48 c BCD2: #sat=4 #unsat=19 bias=19/23 1.39/1.48 c Solving starts ... 1.39/1.48 c ============================[ Search Statistics ]============================ 1.39/1.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.48 c | | | | Limit GC | Var | Constra 1.39/1.48 c ============================================================================= 1.39/1.48 c 0.0s | 0 | 0 | 0 | 10731 0 | 6 | 13 1.48/1.59 c 0.1s | 1 | 481 | 100 | 10731 0 | 6 | 13 1.59/1.69 c 0.2s | 2 | 1273 | 250 | 10731 0 | 6 | 13 1.88/1.90 c 0.4s | 3 | 2030 | 475 | 10731 0 | 6 | 13 2.08/2.13 c 0.7s | 4 | 3425 | 813 | 11805 0 | 6 | 13 2.48/2.55 c 1.1s | 5 | 5034 | 1320 | 11805 0 | 6 | 13 3.19/3.28 c 1.8s | 6 | 6869 | 2081 | 12986 0 | 6 | 13 5.29/5.33 c 3.9s | 7 | 8821 | 3223 | 12986 0 | 6 | 13 6.69/6.76 c 5.3s | 8 | 13815 | 4936 | 14285 0 | 6 | 13 8.79/8.88 c 7.4s | 8 | 16101 | 6036 | 14285 0 | 6 | 13 11.18/11.22 c 9.8s | 8 | 17404 | 6836 | 15714 0 | 6 | 13 13.19/13.25 c 11.8s | 9 | 18252 | 7506 | 15714 0 | 6 | 13 15.39/15.42 c 13.9s | 9 | 20520 | 8506 | 15714 0 | 6 | 13 17.59/17.61 c 16.1s | 9 | 22370 | 9506 | 15714 0 | 6 | 13 19.68/19.74 c 18.3s | 9 | 25796 | 11106 | 17286 0 | 6 | 13 20.28/20.37 c 18.9s | 10 | 26285 | 11361 | 17286 0 | 6 | 13 22.38/22.45 c 21.0s | 10 | 27487 | 11961 | 17286 0 | 6 | 13 24.48/24.59 c 23.1s | 10 | 28236 | 12561 | 17286 0 | 6 | 13 26.68/26.73 c 25.3s | 10 | 29114 | 13161 | 17286 0 | 6 | 13 26.78/26.86 c 25.4s | 10 | 29317 | 13215 | 17286 0 | 6 | 13 26.78/26.86 c #cpu_time = 25.390s 26.78/26.86 c #wall_clock_time = 25.389s 26.78/26.86 c #decision = 29317 26.78/26.86 c #random_decision = 57 26.78/26.86 c #conflict = 13215 26.78/26.86 c #restart = 10 26.78/26.86 c BCD2: relaxing 265 and merging with 16 cores into a new core of size 500: cost of the new core is >=19 26.78/26.86 c lower bound updated to 19 26.78/26.86 c BCD2: 19 <= obj <= 75 26.78/26.86 c BCD2: #cores=1, #unrelaxed=0, #relaxed=500, #hardened=0 26.78/26.86 c BCD2: #sat=4 #unsat=20 bias=20/24 26.78/26.86 c Solving starts ... 26.78/26.86 c ============================[ Search Statistics ]============================ 26.78/26.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 26.78/26.86 c | | | | Limit GC | Var | Constra 26.78/26.86 c ============================================================================= 26.78/26.86 c 0.0s | 0 | 0 | 0 | 17286 0 | 73 | 13 27.58/27.66 c 0.8s | 1 | 1607 | 100 | 17286 0 | 73 | 131 28.28/28.36 c 1.5s | 2 | 3203 | 250 | 17286 0 | 73 | 131 29.38/29.45 c 2.6s | 3 | 4451 | 475 | 17286 0 | 73 | 131 30.98/31.03 c 4.2s | 4 | 6237 | 813 | 17286 0 | 73 | 131 33.28/33.33 c 6.5s | 4 | 9156 | 1313 | 17286 0 | 73 | 131 33.28/33.35 c 6.5s | 5 | 9175 | 1320 | 17286 0 | 73 | 131 35.68/35.72 c 8.9s | 5 | 11177 | 1820 | 17286 0 | 73 | 131 36.88/36.99 c 10.1s | 6 | 12282 | 2081 | 17286 0 | 73 | 131 39.38/39.44 c 12.6s | 6 | 14744 | 2581 | 19015 0 | 73 | 131 41.79/41.83 c 15.0s | 6 | 17081 | 3081 | 19015 0 | 73 | 131 42.38/42.47 c 15.6s | 7 | 17527 | 3223 | 19015 0 | 73 | 131 44.78/44.84 c 18.0s | 7 | 19500 | 3723 | 19015 0 | 73 | 131 46.78/46.89 c 20.0s | 7 | 21525 | 4123 | 19015 0 | 73 | 131 49.08/49.14 c 22.3s | 7 | 23385 | 4623 | 19015 0 | 73 | 131 50.28/50.34 c 23.5s | 8 | 24467 | 4936 | 19015 0 | 73 | 131 52.68/52.73 c 25.9s | 8 | 26445 | 5436 | 19015 0 | 73 | 131 55.18/55.26 c 28.4s | 8 | 28696 | 5936 | 19015 0 | 73 | 131 57.29/57.37 c 30.5s | 8 | 30544 | 6336 | 19015 0 | 73 | 131 59.39/59.43 c 32.6s | 8 | 31959 | 6736 | 19015 0 | 73 | 131 61.48/61.55 c 34.7s | 8 | 33569 | 7136 | 19015 0 | 73 | 131 63.48/63.50 c 36.6s | 9 | 35188 | 7506 | 19015 0 | 73 | 131 65.48/65.56 c 38.7s | 9 | 36692 | 7906 | 19015 0 | 73 | 131 67.58/67.66 c 40.8s | 9 | 38632 | 8306 | 19015 0 | 73 | 131 69.58/69.68 c 42.8s | 9 | 39962 | 8706 | 19015 0 | 73 | 131 71.68/71.70 c 44.8s | 9 | 41088 | 9106 | 19015 0 | 73 | 131 73.68/73.71 c 46.9s | 9 | 42276 | 9506 | 19015 0 | 73 | 131 76.07/76.15 c 49.3s | 9 | 44144 | 10006 | 19015 0 | 73 | 131 78.18/78.24 c 51.4s | 9 | 46000 | 10406 | 19015 0 | 73 | 131 80.38/80.42 c 53.6s | 9 | 48193 | 10806 | 19015 0 | 73 | 131 82.37/82.50 c 55.6s | 9 | 49994 | 11206 | 20917 0 | 73 | 131 83.17/83.28 c 56.4s | 10 | 50589 | 11361 | 20917 0 | 73 | 131 85.27/85.39 c 58.5s | 10 | 52276 | 11761 | 20917 0 | 73 | 131 87.47/87.53 c 60.7s | 10 | 53752 | 12161 | 20917 0 | 73 | 131 89.57/89.61 c 62.7s | 10 | 55753 | 12561 | 20917 0 | 73 | 131 91.77/91.88 c 65.0s | 10 | 57453 | 12961 | 20917 0 | 73 | 131 93.87/93.90 c 67.0s | 10 | 58980 | 13361 | 20917 0 | 73 | 131 95.97/96.01 c 69.1s | 10 | 60758 | 13761 | 20917 0 | 73 | 131 98.07/98.12 c 71.3s | 10 | 62467 | 14161 | 20917 0 | 73 | 131 100.08/100.16 c 73.3s | 10 | 64181 | 14561 | 20917 0 | 73 | 131 102.07/102.17 c 75.3s | 10 | 65505 | 14961 | 20917 0 | 73 | 131 104.27/104.32 c 77.5s | 10 | 67343 | 15361 | 20917 0 | 73 | 131 106.47/106.57 c 79.7s | 10 | 69093 | 15761 | 20917 0 | 73 | 131 108.77/108.83 c 82.0s | 10 | 70666 | 16161 | 20917 0 | 73 | 131 111.07/111.10 c 84.2s | 10 | 72665 | 16561 | 20917 0 | 73 | 131 113.27/113.37 c 86.5s | 10 | 74745 | 16961 | 20917 0 | 73 | 131 114.37/114.46 c 87.6s | 11 | 75529 | 17144 | 20917 0 | 73 | 131 116.67/116.72 c 89.9s | 11 | 76768 | 17544 | 20917 0 | 73 | 131 118.97/119.02 c 92.2s | 11 | 78538 | 17944 | 20917 0 | 73 | 131 121.16/121.23 c 94.4s | 11 | 80328 | 18344 | 20917 0 | 73 | 131 123.46/123.58 c 96.7s | 11 | 81625 | 18744 | 20917 0 | 73 | 131 125.76/125.86 c 99.0s | 11 | 83285 | 19144 | 20917 0 | 73 | 131 127.96/128.01 c 101s | 11 | 84886 | 19544 | 20917 0 | 73 | 131 130.26/130.30 c 103s | 11 | 86261 | 19944 | 20917 0 | 73 | 131 132.46/132.55 c 105s | 11 | 87631 | 20344 | 20917 0 | 73 | 131 134.76/134.85 c 107s | 11 | 88891 | 20744 | 20917 0 | 73 | 131 137.16/137.24 c 110s | 11 | 90498 | 21144 | 20917 0 | 73 | 131 139.67/139.76 c 112s | 11 | 92323 | 21544 | 20917 0 | 73 | 131 142.16/142.25 c 115s | 11 | 93771 | 21944 | 20917 0 | 73 | 131 144.56/144.65 c 117s | 11 | 96172 | 22344 | 20917 1 | 73 | 131 146.86/146.90 c 120s | 11 | 97900 | 22744 | 20917 1 | 73 | 131 149.06/149.13 c 122s | 11 | 99406 | 23144 | 20917 1 | 73 | 131 151.26/151.36 c 124s | 11 | 101181 | 23544 | 20917 1 | 73 | 131 153.36/153.40 c 126s | 11 | 102539 | 23944 | 23009 1 | 73 | 131 155.56/155.69 c 128s | 11 | 103819 | 24344 | 23009 1 | 73 | 131 157.96/158.04 c 131s | 11 | 105793 | 24744 | 23009 1 | 73 | 131 160.26/160.32 c 133s | 11 | 107802 | 25144 | 23009 1 | 73 | 131 162.46/162.58 c 135s | 11 | 109476 | 25544 | 23009 1 | 73 | 131 164.16/164.24 c 137s | 12 | 110801 | 25819 | 23009 1 | 73 | 131 166.46/166.57 c 139s | 12 | 112204 | 26219 | 23009 1 | 73 | 131 168.76/168.84 c 141s | 12 | 113946 | 26619 | 23009 1 | 73 | 131 170.86/170.96 c 144s | 12 | 115559 | 27019 | 23009 1 | 73 | 131 173.06/173.10 c 146s | 12 | 117321 | 27419 | 23009 1 | 73 | 131 175.16/175.28 c 148s | 12 | 118662 | 27819 | 23009 1 | 73 | 131 177.56/177.64 c 150s | 12 | 120567 | 28219 | 23009 1 | 73 | 131 179.96/180.05 c 153s | 12 | 122317 | 28619 | 23009 1 | 73 | 131 182.26/182.31 c 155s | 12 | 123730 | 29019 | 23009 1 | 73 | 131 184.36/184.40 c 157s | 12 | 125062 | 29419 | 23009 1 | 73 | 131 186.46/186.51 c 159s | 12 | 126564 | 29819 | 23009 1 | 73 | 131 188.46/188.57 c 161s | 12 | 127917 | 30219 | 23009 1 | 73 | 131 190.66/190.74 c 163s | 12 | 130417 | 30619 | 23009 1 | 73 | 131 192.65/192.78 c 165s | 12 | 132106 | 31019 | 23009 1 | 73 | 131 195.25/195.36 c 168s | 12 | 134252 | 31419 | 23009 1 | 73 | 131 197.35/197.46 c 170s | 12 | 136093 | 31819 | 23009 1 | 73 | 131 199.55/199.65 c 172s | 12 | 137771 | 32219 | 23009 1 | 73 | 131 201.95/202.03 c 175s | 12 | 139619 | 32619 | 23009 1 | 73 | 131 204.15/204.20 c 177s | 12 | 141610 | 33019 | 23009 1 | 73 | 131 206.45/206.51 c 179s | 12 | 143023 | 33419 | 23009 1 | 73 | 131 208.65/208.76 c 181s | 12 | 144732 | 33819 | 23009 1 | 73 | 131 210.95/211.07 c 184s | 12 | 146421 | 34219 | 23009 1 | 73 | 131 213.36/213.43 c 186s | 12 | 148699 | 34619 | 23009 1 | 73 | 131 215.75/215.86 c 189s | 12 | 150423 | 35019 | 23009 1 | 73 | 131 218.15/218.29 c 191s | 12 | 152283 | 35419 | 23009 2 | 73 | 131 220.65/220.77 c 193s | 12 | 154385 | 35919 | 23009 2 | 73 | 131 223.26/223.34 c 196s | 12 | 156488 | 36419 | 23009 2 | 73 | 131 225.46/225.54 c 198s | 12 | 158504 | 36819 | 23009 2 | 73 | 131 227.45/227.55 c 200s | 12 | 160030 | 37219 | 23009 2 | 73 | 131 229.45/229.58 c 202s | 12 | 161811 | 37619 | 23009 2 | 73 | 131 231.55/231.68 c 204s | 12 | 163517 | 38019 | 23009 2 | 73 | 131 233.65/233.73 c 206s | 12 | 165140 | 38419 | 23009 2 | 73 | 131 235.65/235.75 c 208s | 12 | 167023 | 38819 | 23009 2 | 73 | 131 235.75/235.82 c 208s | 13 | 167102 | 38832 | 23009 2 | 73 | 131 237.85/237.92 c 211s | 13 | 169129 | 39232 | 23009 2 | 73 | 131 240.15/240.26 c 213s | 13 | 170796 | 39632 | 23009 2 | 73 | 131 242.35/242.49 c 215s | 13 | 172318 | 40032 | 23009 2 | 73 | 131 244.44/244.59 c 217s | 13 | 174014 | 40432 | 23009 2 | 73 | 131 246.95/247.02 c 220s | 13 | 175732 | 40832 | 23009 2 | 73 | 131 249.25/249.31 c 222s | 13 | 177767 | 41232 | 23009 2 | 73 | 131 251.35/251.43 c 224s | 13 | 179718 | 41632 | 23009 2 | 73 | 131 253.65/253.72 c 226s | 13 | 181341 | 42032 | 23009 2 | 73 | 131 255.85/255.92 c 229s | 13 | 182829 | 42432 | 23009 2 | 73 | 131 258.15/258.20 c 231s | 13 | 184273 | 42832 | 23009 2 | 73 | 131 260.55/260.69 c 233s | 13 | 186917 | 43232 | 23009 2 | 73 | 131 262.75/262.84 c 235s | 13 | 188665 | 43632 | 25310 2 | 73 | 131 264.95/265.01 c 238s | 13 | 190330 | 44032 | 25310 2 | 73 | 131 267.25/267.36 c 240s | 13 | 191868 | 44432 | 25310 2 | 73 | 131 269.75/269.84 c 242s | 13 | 193791 | 44832 | 25310 2 | 73 | 131 272.14/272.29 c 245s | 13 | 195103 | 45232 | 25310 2 | 73 | 131 274.54/274.69 c 247s | 13 | 196530 | 45632 | 25310 2 | 73 | 131 277.04/277.19 c 250s | 13 | 198179 | 46032 | 25310 2 | 73 | 131 279.45/279.57 c 252s | 13 | 199909 | 46432 | 25310 2 | 73 | 131 281.84/281.94 c 255s | 13 | 201852 | 46832 | 25310 2 | 73 | 131 284.24/284.33 c 257s | 13 | 203900 | 47232 | 25310 2 | 73 | 131 286.54/286.65 c 259s | 13 | 205825 | 47632 | 25310 2 | 73 | 131 289.04/289.11 c 262s | 13 | 207774 | 48032 | 25310 2 | 73 | 131 291.34/291.42 c 264s | 13 | 209488 | 48432 | 25310 2 | 73 | 131 293.65/293.74 c 266s | 13 | 211248 | 48832 | 25310 2 | 73 | 131 296.04/296.16 c 269s | 13 | 212894 | 49232 | 25310 2 | 73 | 131 298.54/298.68 c 271s | 13 | 214407 | 49632 | 25310 3 | 73 | 131 300.74/300.80 c 273s | 13 | 215793 | 50032 | 25310 3 | 73 | 131 302.84/302.91 c 276s | 13 | 217317 | 50432 | 25310 3 | 73 | 131 304.94/305.08 c 278s | 13 | 219209 | 50832 | 25310 3 | 73 | 131 307.04/307.17 c 280s | 13 | 220831 | 51232 | 25310 3 | 73 | 131 309.15/309.24 c 282s | 13 | 222309 | 51632 | 25310 3 | 73 | 131 311.34/311.46 c 284s | 13 | 223889 | 52032 | 25310 3 | 73 | 131 313.44/313.57 c 286s | 13 | 225358 | 52432 | 25310 3 | 73 | 131 315.44/315.58 c 288s | 13 | 226777 | 52832 | 25310 3 | 73 | 131 317.74/317.85 c 290s | 13 | 228174 | 53232 | 25310 3 | 73 | 131 319.74/319.87 c 293s | 13 | 229819 | 53632 | 25310 3 | 73 | 131 322.24/322.31 c 295s | 13 | 232153 | 54132 | 25310 3 | 73 | 131 324.24/324.39 c 297s | 13 | 234116 | 54532 | 25310 3 | 73 | 131 326.84/326.92 c 300s | 13 | 236323 | 55032 | 25310 3 | 73 | 131 329.24/329.38 c 302s | 13 | 238097 | 55532 | 25310 3 | 73 | 131 331.33/331.44 c 304s | 13 | 239814 | 55932 | 25310 3 | 73 | 131 333.43/333.54 c 306s | 13 | 241473 | 56332 | 25310 3 | 73 | 131 335.54/335.61 c 308s | 13 | 243176 | 56732 | 25310 3 | 73 | 131 337.64/337.74 c 310s | 13 | 244643 | 57132 | 25310 3 | 73 | 131 339.84/339.99 c 313s | 13 | 246039 | 57532 | 25310 3 | 73 | 131 342.33/342.49 c 315s | 13 | 247380 | 57932 | 25310 3 | 73 | 131 344.73/344.89 c 318s | 13 | 249128 | 58332 | 25310 3 | 73 | 131 344.93/345.00 c 318s | 14 | 249186 | 58352 | 25310 3 | 73 | 131 347.43/347.55 c 320s | 14 | 251328 | 58752 | 25310 3 | 73 | 131 349.74/349.89 c 323s | 14 | 252802 | 59152 | 25310 3 | 73 | 131 352.04/352.14 c 325s | 14 | 254966 | 59552 | 25310 3 | 73 | 131 354.33/354.42 c 327s | 14 | 256343 | 59952 | 25310 3 | 73 | 131 356.53/356.65 c 329s | 14 | 257478 | 60352 | 25310 3 | 73 | 131 358.64/358.75 c 331s | 14 | 258856 | 60652 | 25310 3 | 73 | 131 360.93/361.06 c 334s | 14 | 259971 | 60952 | 25310 3 | 73 | 131 362.94/363.06 c 336s | 14 | 261255 | 61252 | 25310 3 | 73 | 131 365.63/365.73 c 338s | 14 | 262965 | 61652 | 25310 3 | 73 | 131 368.33/368.41 c 341s | 14 | 264240 | 62052 | 25310 3 | 73 | 131 370.83/370.96 c 344s | 14 | 266444 | 62452 | 25310 3 | 73 | 131 373.43/373.52 c 346s | 14 | 267789 | 62852 | 25310 3 | 73 | 131 375.93/376.03 c 349s | 14 | 269499 | 63252 | 25310 4 | 73 | 131 378.23/378.37 c 351s | 14 | 271173 | 63652 | 25310 4 | 73 | 131 380.73/380.84 c 353s | 14 | 272661 | 64052 | 25310 4 | 73 | 131 382.83/382.92 c 356s | 14 | 274190 | 64352 | 25310 4 | 73 | 131 385.03/385.16 c 358s | 14 | 275948 | 64752 | 25310 4 | 73 | 131 387.43/387.59 c 360s | 14 | 277863 | 65152 | 25310 4 | 73 | 131 389.92/390.04 c 363s | 14 | 279582 | 65552 | 25310 4 | 73 | 131 392.32/392.41 c 365s | 14 | 281167 | 65952 | 25310 4 | 73 | 131 394.62/394.74 c 367s | 14 | 282837 | 66352 | 25310 4 | 73 | 131 397.03/397.11 c 370s | 14 | 284260 | 66752 | 25310 4 | 73 | 131 399.12/399.29 c 372s | 14 | 285652 | 67152 | 25310 4 | 73 | 131 401.43/401.58 c 374s | 14 | 287159 | 67552 | 25310 4 | 73 | 131 403.82/403.98 c 377s | 14 | 288993 | 67952 | 25310 4 | 73 | 131 406.02/406.18 c 379s | 14 | 290389 | 68352 | 25310 4 | 73 | 131 408.32/408.48 c 381s | 14 | 291921 | 68752 | 25310 4 | 73 | 131 410.62/410.79 c 383s | 14 | 293350 | 69152 | 25310 4 | 73 | 131 413.22/413.33 c 386s | 14 | 295513 | 69552 | 25310 4 | 73 | 131 415.32/415.41 c 388s | 14 | 296646 | 69852 | 25310 4 | 73 | 131 417.82/417.97 c 391s | 14 | 298465 | 70252 | 25310 4 | 73 | 131 420.42/420.57 c 393s | 14 | 300777 | 70652 | 25310 4 | 73 | 131 422.72/422.81 c 395s | 14 | 302372 | 71052 | 25310 4 | 73 | 131 425.12/425.24 c 398s | 14 | 303787 | 71452 | 25310 4 | 73 | 131 427.52/427.69 c 400s | 14 | 305538 | 71852 | 25310 4 | 73 | 131 430.13/430.28 c 403s | 14 | 307798 | 72252 | 25310 4 | 73 | 131 432.72/432.80 c 405s | 14 | 309631 | 72652 | 27842 4 | 73 | 131 435.12/435.23 c 408s | 14 | 311225 | 73052 | 27842 4 | 73 | 131 437.52/437.67 c 410s | 14 | 313131 | 73452 | 27842 4 | 73 | 131 439.92/440.06 c 413s | 14 | 314790 | 73852 | 27842 4 | 73 | 131 442.22/442.38 c 415s | 14 | 315948 | 74252 | 27842 4 | 73 | 131 444.72/444.80 c 417s | 14 | 317154 | 74652 | 27842 4 | 73 | 131 447.12/447.23 c 420s | 14 | 318936 | 75052 | 27842 4 | 73 | 131 449.61/449.75 c 422s | 14 | 320414 | 75452 | 27842 4 | 73 | 131 451.61/451.77 c 424s | 14 | 321530 | 75752 | 27842 4 | 73 | 131 454.22/454.39 c 427s | 14 | 322918 | 76152 | 27842 4 | 73 | 131 456.21/456.40 c 429s | 14 | 324571 | 76452 | 27842 4 | 73 | 131 458.81/458.94 c 432s | 14 | 325941 | 76852 | 27842 4 | 73 | 131 461.41/461.58 c 434s | 14 | 327996 | 77252 | 27842 4 | 73 | 131 463.51/463.63 c 436s | 14 | 329352 | 77552 | 27842 4 | 73 | 131 465.51/465.68 c 438s | 14 | 330825 | 77852 | 27842 4 | 73 | 131 468.01/468.17 c 441s | 14 | 332457 | 78252 | 27842 4 | 73 | 131 470.61/470.74 c 443s | 14 | 334260 | 78652 | 27842 4 | 73 | 131 473.02/473.14 c 446s | 14 | 335833 | 79052 | 27842 5 | 73 | 131 475.31/475.42 c 448s | 14 | 337525 | 79452 | 27842 5 | 73 | 131 477.51/477.61 c 450s | 14 | 339096 | 79852 | 27842 5 | 73 | 131 479.91/480.09 c 453s | 14 | 340954 | 80252 | 27842 5 | 73 | 131 482.31/482.41 c 455s | 14 | 342878 | 80652 | 27842 5 | 73 | 131 484.41/484.59 c 457s | 14 | 344246 | 81052 | 27842 5 | 73 | 131 486.61/486.71 c 459s | 14 | 346026 | 81452 | 27842 5 | 73 | 131 488.81/488.94 c 462s | 14 | 348018 | 81852 | 27842 5 | 73 | 131 490.91/491.05 c 464s | 14 | 350027 | 82252 | 27842 5 | 73 | 131 493.01/493.18 c 466s | 14 | 351828 | 82652 | 27842 5 | 73 | 131 495.21/495.33 c 468s | 14 | 353558 | 83052 | 27842 5 | 73 | 131 497.41/497.52 c 470s | 14 | 354916 | 83452 | 27842 5 | 73 | 131 499.61/499.70 c 472s | 14 | 356728 | 83852 | 27842 5 | 73 | 131 501.81/501.94 c 475s | 14 | 358367 | 84252 | 27842 5 | 73 | 131 504.01/504.17 c 477s | 14 | 360016 | 84652 | 27842 5 | 73 | 131 506.41/506.54 c 479s | 14 | 361811 | 85052 | 27842 5 | 73 | 131 508.70/508.86 c 482s | 14 | 363832 | 85452 | 27842 5 | 73 | 131 511.10/511.21 c 484s | 14 | 365490 | 85852 | 27842 5 | 73 | 131 513.50/513.61 c 486s | 14 | 367398 | 86252 | 27842 5 | 73 | 131 515.81/515.92 c 489s | 14 | 369451 | 86652 | 27842 5 | 73 | 131 518.11/518.28 c 491s | 14 | 371223 | 87052 | 27842 5 | 73 | 131 520.40/520.51 c 493s | 14 | 372782 | 87452 | 27842 5 | 73 | 131 521.50/521.61 c 494s | 15 | 373576 | 87632 | 27842 5 | 73 | 131 523.90/524.05 c 497s | 15 | 375148 | 88032 | 27842 5 | 73 | 131 527.00/527.13 c 500s | 15 | 377206 | 88432 | 27842 5 | 73 | 131 529.50/529.66 c 502s | 15 | 379502 | 88832 | 27842 5 | 73 | 131 532.00/532.15 c 505s | 15 | 381198 | 89232 | 27842 5 | 73 | 131 534.10/534.20 c 507s | 15 | 382669 | 89532 | 27842 5 | 73 | 131 536.60/536.75 c 509s | 15 | 384912 | 89932 | 27842 5 | 73 | 131 539.30/539.44 c 512s | 15 | 386638 | 90332 | 27842 5 | 73 | 131 541.40/541.56 c 514s | 15 | 387902 | 90632 | 27842 5 | 73 | 131 543.50/543.68 c 516s | 15 | 389232 | 90932 | 27842 5 | 73 | 131 545.70/545.84 c 518s | 15 | 390825 | 91232 | 27842 5 | 73 | 131 548.30/548.46 c 521s | 15 | 392169 | 91632 | 27842 5 | 73 | 131 550.90/551.01 c 524s | 15 | 394366 | 92032 | 27842 5 | 73 | 131 553.30/553.49 c 526s | 15 | 396125 | 92432 | 27842 5 | 73 | 131 555.70/555.88 c 529s | 15 | 397759 | 92832 | 27842 5 | 73 | 131 558.10/558.28 c 531s | 15 | 398893 | 93132 | 27842 6 | 73 | 131 560.50/560.65 c 533s | 15 | 400674 | 93532 | 27842 6 | 73 | 131 562.90/563.06 c 536s | 15 | 402817 | 93932 | 27842 6 | 73 | 131 565.30/565.41 c 538s | 15 | 404329 | 94332 | 27842 6 | 73 | 131 567.69/567.82 c 540s | 15 | 406533 | 94732 | 27842 6 | 73 | 131 570.09/570.21 c 543s | 15 | 408661 | 95132 | 27842 6 | 73 | 131 572.39/572.58 c 545s | 15 | 410416 | 95532 | 27842 6 | 73 | 131 574.69/574.85 c 547s | 15 | 411962 | 95932 | 27842 6 | 73 | 131 576.99/577.14 c 550s | 15 | 413066 | 96332 | 27842 6 | 73 | 131 579.39/579.58 c 552s | 15 | 415306 | 96732 | 27842 6 | 73 | 131 581.90/582.02 c 555s | 15 | 416900 | 97132 | 27842 6 | 73 | 131 584.49/584.62 c 557s | 15 | 418462 | 97532 | 27842 6 | 73 | 131 586.89/587.08 c 560s | 15 | 420141 | 97932 | 27842 6 | 73 | 131 589.39/589.50 c 562s | 15 | 422146 | 98332 | 27842 6 | 73 | 131 591.80/591.91 c 565s | 15 | 424126 | 98732 | 27842 6 | 73 | 131 594.00/594.14 c 567s | 15 | 426084 | 99132 | 27842 6 | 73 | 131 596.39/596.55 c 569s | 15 | 427599 | 99532 | 27842 6 | 73 | 131 598.79/598.95 c 572s | 15 | 429608 | 99932 | 27842 6 | 73 | 131 601.09/601.24 c 574s | 15 | 431391 | 100332 | 27842 6 | 73 | 131 603.49/603.62 c 576s | 15 | 433037 | 100732 | 27842 6 | 73 | 131 605.79/605.99 c 579s | 15 | 435180 | 101132 | 27842 6 | 73 | 131 608.19/608.39 c 581s | 15 | 436949 | 101532 | 27842 6 | 73 | 131 610.89/611.07 c 584s | 15 | 438671 | 101932 | 27842 6 | 73 | 131 612.99/613.14 c 586s | 15 | 440251 | 102232 | 27842 6 | 73 | 131 615.49/615.67 c 588s | 15 | 441651 | 102632 | 27842 6 | 73 | 131 617.99/618.18 c 591s | 15 | 443574 | 103032 | 27842 6 | 73 | 131 620.59/620.77 c 593s | 15 | 444948 | 103432 | 27842 6 | 73 | 131 623.19/623.36 c 596s | 15 | 446420 | 103832 | 27842 6 | 73 | 131 625.19/625.37 c 598s | 15 | 447772 | 104132 | 27842 6 | 73 | 131 627.78/627.96 c 601s | 15 | 449726 | 104532 | 27842 6 | 73 | 131 629.98/630.16 c 603s | 15 | 450824 | 104832 | 27842 6 | 73 | 131 632.58/632.73 c 605s | 15 | 452431 | 105232 | 27842 6 | 73 | 131 635.18/635.33 c 608s | 15 | 454005 | 105632 | 27842 6 | 73 | 131 637.68/637.88 c 611s | 15 | 456328 | 106032 | 27842 6 | 73 | 131 639.98/640.16 c 613s | 15 | 458037 | 106432 | 27842 6 | 73 | 131 642.39/642.57 c 615s | 15 | 459777 | 106832 | 27842 6 | 73 | 131 644.78/644.91 c 618s | 15 | 461356 | 107232 | 27842 6 | 73 | 131 647.38/647.56 c 620s | 15 | 462803 | 107632 | 27842 7 | 73 | 131 649.68/649.80 c 622s | 15 | 464636 | 108032 | 27842 7 | 73 | 131 651.98/652.14 c 625s | 15 | 466086 | 108432 | 27842 7 | 73 | 131 654.28/654.46 c 627s | 15 | 467694 | 108832 | 27842 7 | 73 | 131 656.59/656.71 c 629s | 15 | 469274 | 109232 | 27842 7 | 73 | 131 658.89/659.07 c 632s | 15 | 470956 | 109632 | 27842 7 | 73 | 131 661.28/661.42 c 634s | 15 | 472432 | 110032 | 27842 7 | 73 | 131 663.48/663.69 c 636s | 15 | 474319 | 110432 | 27842 7 | 73 | 131 665.88/666.01 c 639s | 15 | 476001 | 110832 | 27842 7 | 73 | 131 668.08/668.24 c 641s | 15 | 477675 | 111232 | 27842 7 | 73 | 131 670.38/670.53 c 643s | 15 | 479007 | 111632 | 27842 7 | 73 | 131 672.58/672.70 c 645s | 15 | 480629 | 112032 | 27842 7 | 73 | 131 674.88/675.05 c 648s | 15 | 481904 | 112432 | 27842 7 | 73 | 131 677.18/677.39 c 650s | 15 | 483892 | 112832 | 27842 7 | 73 | 131 679.48/679.63 c 652s | 15 | 486007 | 113232 | 27842 7 | 73 | 131 681.68/681.83 c 654s | 15 | 487955 | 113632 | 27842 7 | 73 | 131 683.88/684.04 c 657s | 15 | 489319 | 114032 | 27842 7 | 73 | 131 686.18/686.32 c 659s | 15 | 491098 | 114432 | 27842 7 | 73 | 131 688.48/688.65 c 661s | 15 | 492572 | 114832 | 27842 7 | 73 | 131 690.78/690.94 c 664s | 15 | 493836 | 115232 | 27842 7 | 73 | 131 692.98/693.14 c 666s | 15 | 495576 | 115632 | 27842 7 | 73 | 131 695.18/695.35 c 668s | 15 | 496796 | 116032 | 30627 7 | 73 | 131 697.47/697.64 c 670s | 15 | 498145 | 116432 | 30627 7 | 73 | 131 699.67/699.89 c 673s | 15 | 499873 | 116832 | 30627 7 | 73 | 131 702.17/702.32 c 675s | 15 | 501517 | 117232 | 30627 7 | 73 | 131 704.47/704.66 c 677s | 15 | 503239 | 117632 | 30627 7 | 73 | 131 706.77/706.98 c 680s | 15 | 504827 | 118032 | 30627 7 | 73 | 131 709.07/709.28 c 682s | 15 | 506428 | 118432 | 30627 7 | 73 | 131 711.37/711.51 c 684s | 15 | 507845 | 118832 | 30627 7 | 73 | 131 713.56/713.72 c 686s | 15 | 509144 | 119232 | 30627 7 | 73 | 131 715.76/715.97 c 689s | 15 | 510883 | 119632 | 30627 7 | 73 | 131 718.06/718.27 c 691s | 15 | 512712 | 120032 | 30627 7 | 73 | 131 720.47/720.61 c 693s | 15 | 514816 | 120432 | 30627 7 | 73 | 131 722.56/722.79 c 695s | 15 | 516133 | 120832 | 30627 7 | 73 | 131 724.86/725.06 c 698s | 15 | 517670 | 121232 | 30627 7 | 73 | 131 727.25/727.45 c 700s | 15 | 519377 | 121632 | 30627 7 | 73 | 131 729.75/729.95 c 703s | 15 | 521117 | 122032 | 30627 7 | 73 | 131 732.15/732.39 c 705s | 15 | 522794 | 122432 | 30627 7 | 73 | 131 734.55/734.71 c 707s | 15 | 524213 | 122832 | 30627 7 | 73 | 131 736.75/737.00 c 710s | 15 | 526240 | 123232 | 30627 7 | 73 | 131 739.25/739.44 c 712s | 15 | 527989 | 123632 | 30627 7 | 73 | 131 741.75/741.94 c 715s | 15 | 529599 | 124032 | 30627 7 | 73 | 131 744.14/744.37 c 717s | 15 | 531520 | 124432 | 30627 7 | 73 | 131 746.44/746.67 c 719s | 15 | 532989 | 124832 | 30627 7 | 73 | 131 749.04/749.26 c 722s | 15 | 534993 | 125232 | 30627 8 | 73 | 131 751.24/751.47 c 724s | 15 | 536266 | 125632 | 30627 8 | 73 | 131 753.53/753.75 c 726s | 15 | 537664 | 126032 | 30627 8 | 73 | 131 755.73/755.96 c 729s | 15 | 539020 | 126432 | 30627 8 | 73 | 131 758.03/758.26 c 731s | 15 | 540217 | 126832 | 30627 8 | 73 | 131 760.34/760.55 c 733s | 15 | 541856 | 127232 | 30627 8 | 73 | 131 762.83/763.08 c 736s | 15 | 543634 | 127632 | 30627 8 | 73 | 131 765.33/765.55 c 738s | 15 | 545428 | 128032 | 30627 8 | 73 | 131 767.83/768.02 c 741s | 15 | 546877 | 128432 | 30627 8 | 73 | 131 770.23/770.41 c 743s | 15 | 548744 | 128832 | 30627 8 | 73 | 131 772.52/772.71 c 745s | 15 | 550125 | 129232 | 30627 8 | 73 | 131 774.82/775.06 c 748s | 15 | 551925 | 129632 | 30627 8 | 73 | 131 777.12/777.34 c 750s | 15 | 553893 | 130032 | 30627 8 | 73 | 131 779.42/779.61 c 752s | 15 | 555455 | 130432 | 30627 8 | 73 | 131 781.62/781.85 c 754s | 15 | 556991 | 130832 | 30627 8 | 73 | 131 783.82/784.09 c 757s | 15 | 559060 | 131232 | 30627 8 | 73 | 131 785.62/785.81 c 758s | 16 | 560096 | 131552 | 30627 8 | 73 | 131 787.82/788.10 c 761s | 16 | 561235 | 131852 | 30627 8 | 73 | 131 789.92/790.11 c 763s | 16 | 562600 | 132152 | 30627 8 | 73 | 131 792.02/792.27 c 765s | 16 | 564095 | 132452 | 30627 8 | 73 | 131 794.61/794.87 c 768s | 16 | 565717 | 132852 | 30627 8 | 73 | 131 796.91/797.13 c 770s | 16 | 567115 | 133152 | 30627 8 | 73 | 131 799.21/799.49 c 772s | 16 | 569427 | 133552 | 30627 8 | 73 | 131 801.61/801.83 c 774s | 16 | 571397 | 133952 | 30627 8 | 73 | 131 803.80/804.09 c 777s | 16 | 573314 | 134352 | 30627 8 | 73 | 131 806.21/806.41 c 779s | 16 | 575125 | 134752 | 30627 8 | 73 | 131 808.50/808.79 c 781s | 16 | 576891 | 135152 | 30627 8 | 73 | 131 810.90/811.10 c 784s | 16 | 578458 | 135552 | 30627 8 | 73 | 131 813.19/813.49 c 786s | 16 | 580219 | 135952 | 30627 8 | 73 | 131 815.49/815.73 c 788s | 16 | 581480 | 136352 | 30627 8 | 73 | 131 817.69/817.99 c 791s | 16 | 583292 | 136752 | 30627 8 | 73 | 131 820.19/820.43 c 793s | 16 | 585418 | 137152 | 30627 8 | 73 | 131 822.69/822.94 c 796s | 16 | 587254 | 137552 | 30627 8 | 73 | 131 825.18/825.45 c 798s | 16 | 588856 | 137952 | 30627 8 | 73 | 131 827.78/828.02 c 801s | 16 | 590513 | 138352 | 30627 8 | 73 | 131 830.08/830.35 c 803s | 16 | 592287 | 138752 | 30627 8 | 73 | 131 832.58/832.84 c 805s | 16 | 593869 | 139152 | 30627 8 | 73 | 131 835.18/835.44 c 808s | 16 | 595837 | 139552 | 30627 8 | 73 | 131 837.78/838.02 c 811s | 16 | 597822 | 139952 | 30627 8 | 73 | 131 840.18/840.47 c 813s | 16 | 599488 | 140352 | 30627 8 | 73 | 131 842.67/842.94 c 816s | 16 | 601839 | 140752 | 30627 8 | 73 | 131 845.27/845.50 c 818s | 16 | 603177 | 141152 | 30627 9 | 73 | 131 847.37/847.69 c 820s | 16 | 604483 | 141552 | 30627 9 | 73 | 131 849.67/849.91 c 823s | 16 | 605790 | 141952 | 30627 9 | 73 | 131 851.97/852.20 c 825s | 16 | 607944 | 142352 | 30627 9 | 73 | 131 854.36/854.61 c 827s | 16 | 609889 | 142752 | 30627 9 | 73 | 131 856.46/856.74 c 829s | 16 | 611399 | 143152 | 30627 9 | 73 | 131 859.16/859.43 c 832s | 16 | 613239 | 143552 | 30627 9 | 73 | 131 861.56/861.85 c 834s | 16 | 615094 | 143952 | 30627 9 | 73 | 131 864.05/864.33 c 837s | 16 | 617052 | 144352 | 30627 9 | 73 | 131 866.66/866.94 c 840s | 16 | 618582 | 144752 | 30627 9 | 73 | 131 869.05/869.35 c 842s | 16 | 620568 | 145152 | 30627 9 | 73 | 131 871.35/871.60 c 844s | 16 | 622271 | 145552 | 30627 9 | 73 | 131 873.65/873.97 c 847s | 16 | 624269 | 145952 | 30627 9 | 73 | 131 876.14/876.43 c 849s | 16 | 626466 | 146352 | 30627 9 | 73 | 131 878.44/878.75 c 851s | 16 | 627857 | 146752 | 30627 9 | 73 | 131 880.85/881.20 c 854s | 16 | 629122 | 147152 | 30627 9 | 73 | 131 882.94/883.24 c 856s | 16 | 630792 | 147452 | 30627 9 | 73 | 131 884.94/885.30 c 858s | 16 | 632036 | 147752 | 30627 9 | 73 | 131 887.64/887.96 c 861s | 16 | 633944 | 148152 | 30627 9 | 73 | 131 890.24/890.57 c 863s | 16 | 635692 | 148552 | 30627 9 | 73 | 131 892.33/892.65 c 865s | 16 | 637135 | 148852 | 30627 9 | 73 | 131 894.93/895.20 c 868s | 16 | 638493 | 149252 | 30627 9 | 73 | 131 897.44/897.74 c 870s | 16 | 639920 | 149652 | 30627 9 | 73 | 131 900.03/900.30 c 873s | 16 | 641510 | 150052 | 30627 9 | 73 | 131 902.42/902.77 c 875s | 16 | 643121 | 150452 | 30627 9 | 73 | 131 904.82/905.16 c 878s | 16 | 644956 | 150852 | 30627 9 | 73 | 131 907.24/907.59 c 880s | 16 | 646797 | 151252 | 30627 9 | 73 | 131 909.63/909.99 c 883s | 16 | 648341 | 151652 | 30627 9 | 73 | 131 912.03/912.34 c 885s | 16 | 649792 | 152052 | 30627 9 | 73 | 131 914.62/914.90 c 888s | 16 | 651608 | 152452 | 30627 9 | 73 | 131 916.72/917.01 c 890s | 16 | 652734 | 152752 | 30627 9 | 73 | 131 919.33/919.64 c 892s | 16 | 654538 | 153152 | 30627 9 | 73 | 131 921.42/921.71 c 894s | 16 | 655935 | 153452 | 30627 9 | 73 | 131 923.52/923.80 c 896s | 16 | 656935 | 153752 | 30627 9 | 73 | 131 925.52/925.84 c 898s | 16 | 658583 | 154052 | 30627 9 | 73 | 131 928.22/928.53 c 901s | 16 | 660377 | 154452 | 30627 9 | 73 | 131 930.81/931.14 c 904s | 16 | 661777 | 154852 | 30627 9 | 73 | 131 932.81/933.17 c 906s | 16 | 662671 | 155152 | 30627 9 | 73 | 131 934.91/935.20 c 908s | 16 | 663710 | 155452 | 30627 9 | 73 | 131 936.91/937.29 c 910s | 16 | 665408 | 155752 | 30627 9 | 73 | 131 939.01/939.30 c 912s | 16 | 667062 | 156052 | 30627 9 | 73 | 131 941.51/941.83 c 914s | 16 | 668860 | 156452 | 30627 9 | 73 | 131 943.61/943.91 c 917s | 16 | 670025 | 156752 | 30627 9 | 73 | 131 945.60/946.00 c 919s | 16 | 671287 | 157052 | 30627 10 | 73 | 131 948.10/948.40 c 921s | 16 | 673251 | 157452 | 30627 10 | 73 | 131 950.30/950.67 c 923s | 16 | 674875 | 157852 | 30627 10 | 73 | 131 952.59/952.95 c 926s | 16 | 676420 | 158252 | 30627 10 | 73 | 131 954.79/955.14 c 928s | 16 | 677486 | 158652 | 30627 10 | 73 | 131 957.09/957.40 c 930s | 16 | 678889 | 159052 | 30627 10 | 73 | 131 959.49/959.89 c 933s | 16 | 680935 | 159452 | 30627 10 | 73 | 131 961.99/962.36 c 935s | 16 | 682874 | 159852 | 30627 10 | 73 | 131 964.39/964.76 c 937s | 16 | 685040 | 160252 | 30627 10 | 73 | 131 966.69/967.08 c 940s | 16 | 686534 | 160652 | 30627 10 | 73 | 131 968.98/969.36 c 942s | 16 | 688387 | 161052 | 30627 10 | 73 | 131 971.38/971.70 c 944s | 16 | 689808 | 161452 | 30627 10 | 73 | 131 973.68/974.08 c 947s | 16 | 691522 | 161852 | 30627 10 | 73 | 131 975.98/976.33 c 949s | 16 | 693058 | 162252 | 30627 10 | 73 | 131 978.18/978.58 c 951s | 16 | 694379 | 162652 | 30627 10 | 73 | 131 980.67/981.08 c 954s | 16 | 695932 | 163052 | 30627 10 | 73 | 131 983.18/983.51 c 956s | 16 | 697910 | 163452 | 30627 10 | 73 | 131 985.57/985.95 c 959s | 16 | 699806 | 163852 | 30627 10 | 73 | 131 987.97/988.32 c 961s | 16 | 701499 | 164252 | 30627 10 | 73 | 131 990.57/990.92 c 964s | 16 | 703379 | 164652 | 30627 10 | 73 | 131 993.07/993.46 c 966s | 16 | 705033 | 165052 | 30627 10 | 73 | 131 995.46/995.89 c 969s | 16 | 707000 | 165452 | 30627 10 | 73 | 131 998.06/998.45 c 971s | 16 | 708844 | 165852 | 30627 10 | 73 | 131 1000.46/1000.84 c 973s | 16 | 710173 | 166252 | 30627 10 | 73 | 131 1002.96/1003.31 c 976s | 16 | 711989 | 166652 | 30627 10 | 73 | 131 1005.56/1005.97 c 979s | 16 | 713550 | 167052 | 30627 10 | 73 | 131 1008.15/1008.56 c 981s | 16 | 715311 | 167452 | 30627 10 | 73 | 131 1010.25/1010.61 c 983s | 16 | 716950 | 167752 | 30627 10 | 73 | 131 1012.75/1013.11 c 986s | 16 | 718818 | 168152 | 30627 10 | 73 | 131 1014.95/1015.37 c 988s | 16 | 720232 | 168552 | 30627 10 | 73 | 131 1017.35/1017.70 c 990s | 16 | 722101 | 168952 | 30627 10 | 73 | 131 1019.85/1020.21 c 993s | 16 | 724003 | 169352 | 30627 10 | 73 | 131 1022.34/1022.74 c 995s | 16 | 725455 | 169752 | 30627 10 | 73 | 131 1024.85/1025.20 c 998s | 16 | 727287 | 170152 | 30627 10 | 73 | 131 1027.44/1027.86 c 1000s | 16 | 729192 | 170552 | 30627 10 | 73 | 131 1029.44/1029.87 c 1003s | 16 | 730885 | 170852 | 30627 10 | 73 | 131 1031.45/1031.88 c 1005s | 16 | 732006 | 171152 | 30627 10 | 73 | 131 1034.03/1034.45 c 1007s | 16 | 733313 | 171552 | 30627 10 | 73 | 131 1036.73/1037.16 c 1010s | 16 | 734871 | 171952 | 30627 10 | 73 | 131 1039.14/1039.59 c 1012s | 16 | 736511 | 172352 | 30627 10 | 73 | 131 1041.73/1042.16 c 1015s | 16 | 737861 | 172752 | 30627 10 | 73 | 131 1043.83/1044.29 c 1017s | 16 | 738937 | 173052 | 30627 11 | 73 | 131 1046.33/1046.77 c 1019s | 16 | 740813 | 173452 | 30627 11 | 73 | 131 1048.93/1049.36 c 1022s | 16 | 742776 | 173852 | 30627 11 | 73 | 131 1051.33/1051.78 c 1024s | 16 | 744830 | 174252 | 30627 11 | 73 | 131 1053.53/1053.91 c 1027s | 16 | 746920 | 174652 | 30627 11 | 73 | 131 1055.73/1056.15 c 1029s | 16 | 748491 | 175052 | 30627 11 | 73 | 131 1057.83/1058.28 c 1031s | 16 | 750286 | 175452 | 30627 11 | 73 | 131 1060.03/1060.44 c 1033s | 16 | 751699 | 175852 | 30627 11 | 73 | 131 1062.12/1062.52 c 1035s | 16 | 753481 | 176252 | 30627 11 | 73 | 131 1064.12/1064.57 c 1037s | 16 | 755075 | 176652 | 30627 11 | 73 | 131 1066.22/1066.61 c 1039s | 16 | 756507 | 177052 | 30627 11 | 73 | 131 1068.32/1068.75 c 1041s | 16 | 758227 | 177452 | 30627 11 | 73 | 131 1070.32/1070.79 c 1043s | 16 | 760219 | 177852 | 30627 11 | 73 | 131 1072.52/1072.98 c 1046s | 16 | 762071 | 178252 | 30627 11 | 73 | 131 1074.72/1075.12 c 1048s | 16 | 763384 | 178652 | 30627 11 | 73 | 131 1076.92/1077.35 c 1050s | 16 | 764934 | 179052 | 30627 11 | 73 | 131 1079.12/1079.52 c 1052s | 16 | 766713 | 179452 | 30627 11 | 73 | 131 1081.32/1081.78 c 1054s | 16 | 768404 | 179852 | 30627 11 | 73 | 131 1083.42/1083.85 c 1056s | 16 | 769740 | 180252 | 30627 11 | 73 | 131 1085.52/1085.98 c 1059s | 16 | 771309 | 180652 | 30627 11 | 73 | 131 1087.72/1088.13 c 1061s | 16 | 773184 | 181052 | 30627 11 | 73 | 131 1089.92/1090.35 c 1063s | 16 | 774582 | 181452 | 33690 11 | 73 | 131 1092.12/1092.56 c 1065s | 16 | 776596 | 181852 | 33690 11 | 73 | 131 1094.31/1094.74 c 1067s | 16 | 778249 | 182252 | 33690 11 | 73 | 131 1096.42/1096.86 c 1070s | 16 | 779561 | 182652 | 33690 11 | 73 | 131 1098.52/1098.92 c 1072s | 16 | 780701 | 183052 | 33690 11 | 73 | 131 1100.61/1101.09 c 1074s | 16 | 782162 | 183452 | 33690 11 | 73 | 131 1102.91/1103.35 c 1076s | 16 | 784111 | 183852 | 33690 11 | 73 | 131 1105.11/1105.51 c 1078s | 16 | 785746 | 184252 | 33690 11 | 73 | 131 1107.21/1107.64 c 1080s | 16 | 787634 | 184652 | 33690 11 | 73 | 131 1109.41/1109.89 c 1083s | 16 | 789823 | 185052 | 33690 11 | 73 | 131 1111.61/1112.03 c 1085s | 16 | 791320 | 185452 | 33690 11 | 73 | 131 1113.70/1114.19 c 1087s | 16 | 792616 | 185852 | 33690 11 | 73 | 131 1115.90/1116.32 c 1089s | 16 | 793705 | 186252 | 33690 11 | 73 | 131 1118.00/1118.47 c 1091s | 16 | 795460 | 186652 | 33690 11 | 73 | 131 1120.30/1120.77 c 1093s | 16 | 796895 | 187052 | 33690 11 | 73 | 131 1122.71/1123.11 c 1096s | 16 | 798070 | 187452 | 33690 11 | 73 | 131 1125.01/1125.48 c 1098s | 16 | 799142 | 187852 | 33690 11 | 73 | 131 1127.21/1127.63 c 1100s | 16 | 800140 | 188252 | 33690 11 | 73 | 131 1129.50/1129.93 c 1103s | 16 | 801794 | 188652 | 33690 11 | 73 | 131 1131.90/1132.30 c 1105s | 16 | 803421 | 189052 | 33690 11 | 73 | 131 1134.20/1134.65 c 1107s | 16 | 805443 | 189452 | 33690 11 | 73 | 131 1136.60/1137.03 c 1110s | 16 | 807443 | 189852 | 33690 11 | 73 | 131 1139.00/1139.41 c 1112s | 16 | 809398 | 190252 | 33690 11 | 73 | 131 1141.10/1141.55 c 1114s | 16 | 811375 | 190652 | 33690 11 | 73 | 131 1143.19/1143.62 c 1116s | 16 | 812928 | 191052 | 33690 11 | 73 | 131 1145.29/1145.77 c 1118s | 16 | 814671 | 191452 | 33690 11 | 73 | 131 1147.79/1148.28 c 1121s | 16 | 816361 | 191852 | 33690 11 | 73 | 131 1150.30/1150.78 c 1123s | 16 | 817613 | 192252 | 33690 12 | 73 | 131 1152.50/1152.93 c 1126s | 16 | 819250 | 192652 | 33690 12 | 73 | 131 1154.70/1155.11 c 1128s | 16 | 821134 | 193052 | 33690 12 | 73 | 131 1156.90/1157.33 c 1130s | 16 | 822802 | 193452 | 33690 12 | 73 | 131 1159.00/1159.43 c 1132s | 16 | 824702 | 193852 | 33690 12 | 73 | 131 1161.09/1161.55 c 1134s | 16 | 826453 | 194252 | 33690 12 | 73 | 131 1163.28/1163.75 c 1136s | 16 | 827927 | 194652 | 33690 12 | 73 | 131 1165.59/1166.03 c 1139s | 16 | 829476 | 195052 | 33690 12 | 73 | 131 1167.79/1168.22 c 1141s | 16 | 831071 | 195452 | 33690 12 | 73 | 131 1170.18/1170.67 c 1143s | 16 | 832833 | 195852 | 33690 12 | 73 | 131 1172.67/1173.16 c 1146s | 16 | 834538 | 196252 | 33690 12 | 73 | 131 1175.17/1175.62 c 1148s | 16 | 836531 | 196652 | 33690 12 | 73 | 131 1177.78/1178.24 c 1151s | 16 | 838430 | 197052 | 33690 12 | 73 | 131 1180.17/1180.60 c 1153s | 17 | 840470 | 197432 | 33690 12 | 73 | 131 1182.67/1183.14 c 1156s | 17 | 842631 | 197832 | 33690 12 | 73 | 131 1184.97/1185.42 c 1158s | 17 | 843951 | 198232 | 33690 12 | 73 | 131 1187.37/1187.86 c 1160s | 17 | 845766 | 198632 | 33690 12 | 73 | 131 1189.78/1190.21 c 1163s | 17 | 847440 | 199032 | 33690 12 | 73 | 131 1191.98/1192.45 c 1165s | 17 | 849311 | 199432 | 33690 12 | 73 | 131 1194.18/1194.70 c 1167s | 17 | 851304 | 199832 | 33690 12 | 73 | 131 1196.67/1197.13 c 1170s | 17 | 852669 | 200232 | 33690 12 | 73 | 131 1199.07/1199.50 c 1172s | 17 | 854168 | 200632 | 33690 12 | 73 | 131 1201.47/1201.96 c 1175s | 17 | 856402 | 201032 | 33690 12 | 73 | 131 1203.97/1204.46 c 1177s | 17 | 858479 | 201432 | 33690 12 | 73 | 131 1206.37/1206.82 c 1179s | 17 | 860148 | 201832 | 33690 12 | 73 | 131 1208.57/1209.00 c 1182s | 17 | 861896 | 202232 | 33690 12 | 73 | 131 1210.87/1211.33 c 1184s | 17 | 863577 | 202632 | 33690 12 | 73 | 131 1213.27/1213.72 c 1186s | 17 | 865492 | 203032 | 33690 12 | 73 | 131 1215.77/1216.29 c 1189s | 17 | 867414 | 203432 | 33690 12 | 73 | 131 1218.27/1218.75 c 1191s | 17 | 869061 | 203832 | 33690 12 | 73 | 131 1220.67/1221.18 c 1194s | 17 | 871032 | 204232 | 33690 12 | 73 | 131 1222.96/1223.43 c 1196s | 17 | 873328 | 204632 | 33690 12 | 73 | 131 1224.97/1225.46 c 1198s | 17 | 874622 | 204932 | 33690 12 | 73 | 131 1227.36/1227.82 c 1200s | 17 | 875874 | 205332 | 33690 12 | 73 | 131 1229.66/1230.18 c 1203s | 17 | 877308 | 205732 | 33690 12 | 73 | 131 1232.06/1232.57 c 1205s | 17 | 878840 | 206132 | 33690 12 | 73 | 131 1234.56/1235.01 c 1208s | 17 | 880306 | 206532 | 33690 12 | 73 | 131 1237.06/1237.57 c 1210s | 17 | 882177 | 206932 | 33690 12 | 73 | 131 1239.76/1240.21 c 1213s | 17 | 883904 | 207332 | 33690 12 | 73 | 131 1242.36/1242.86 c 1215s | 17 | 885320 | 207632 | 33690 12 | 73 | 131 1245.37/1245.84 c 1218s | 17 | 887071 | 207932 | 33690 12 | 73 | 131 1248.17/1248.69 c 1221s | 17 | 888100 | 208232 | 33690 12 | 73 | 131 1250.76/1251.25 c 1224s | 17 | 889483 | 208532 | 33690 12 | 73 | 131 1253.16/1253.64 c 1226s | 17 | 890844 | 208832 | 33690 12 | 73 | 131 1255.66/1256.16 c 1229s | 17 | 892133 | 209132 | 33690 12 | 73 | 131 1258.07/1258.58 c 1231s | 17 | 893389 | 209432 | 33690 13 | 73 | 131 1260.17/1260.67 c 1233s | 17 | 894522 | 209732 | 33690 13 | 73 | 131 1262.37/1262.83 c 1235s | 17 | 895709 | 210032 | 33690 13 | 73 | 131 1264.46/1264.91 c 1238s | 17 | 897207 | 210332 | 33690 13 | 73 | 131 1266.96/1267.45 c 1240s | 17 | 898587 | 210732 | 33690 13 | 73 | 131 1269.56/1270.05 c 1243s | 17 | 900090 | 211132 | 33690 13 | 73 | 131 1272.16/1272.64 c 1245s | 17 | 901863 | 211532 | 33690 13 | 73 | 131 1274.16/1274.69 c 1247s | 17 | 902968 | 211732 | 33690 13 | 73 | 131 1276.36/1276.82 c 1249s | 17 | 904263 | 212032 | 33690 13 | 73 | 131 1278.46/1278.94 c 1252s | 17 | 905949 | 212332 | 33690 13 | 73 | 131 1280.46/1280.98 c 1254s | 17 | 907274 | 212632 | 33690 13 | 73 | 131 1282.75/1283.24 c 1256s | 17 | 908283 | 212932 | 33690 13 | 73 | 131 1284.95/1285.49 c 1258s | 17 | 909846 | 213232 | 33690 13 | 73 | 131 1287.25/1287.72 c 1260s | 17 | 911283 | 213532 | 33690 13 | 73 | 131 1289.25/1289.77 c 1262s | 17 | 912400 | 213832 | 33690 13 | 73 | 131 1291.45/1291.91 c 1265s | 17 | 913596 | 214132 | 33690 13 | 73 | 131 1293.45/1293.96 c 1267s | 17 | 914941 | 214432 | 33690 13 | 73 | 131 1295.65/1296.12 c 1269s | 17 | 915864 | 214732 | 33690 13 | 73 | 131 1297.85/1298.30 c 1271s | 17 | 917419 | 215032 | 33690 13 | 73 | 131 1300.05/1300.50 c 1273s | 17 | 918922 | 215332 | 33690 13 | 73 | 131 1302.05/1302.56 c 1275s | 17 | 920626 | 215632 | 33690 13 | 73 | 131 1304.15/1304.65 c 1277s | 17 | 922078 | 215932 | 33690 13 | 73 | 131 1306.35/1306.85 c 1279s | 17 | 923197 | 216232 | 33690 13 | 73 | 131 1308.44/1308.93 c 1282s | 17 | 924681 | 216532 | 33690 13 | 73 | 131 1310.44/1310.93 c 1284s | 17 | 926100 | 216832 | 33690 13 | 73 | 131 1313.04/1313.54 c 1286s | 17 | 927781 | 217232 | 33690 13 | 73 | 131 1315.54/1316.04 c 1289s | 17 | 929402 | 217632 | 33690 13 | 73 | 131 1317.94/1318.48 c 1291s | 17 | 931340 | 218032 | 33690 13 | 73 | 131 1320.64/1321.19 c 1294s | 17 | 933066 | 218432 | 33690 13 | 73 | 131 1322.73/1323.20 c 1296s | 17 | 934065 | 218732 | 33690 13 | 73 | 131 1324.73/1325.22 c 1298s | 17 | 935200 | 219032 | 33690 13 | 73 | 131 1327.34/1327.86 c 1301s | 17 | 936996 | 219432 | 33690 13 | 73 | 131 1329.33/1329.88 c 1303s | 17 | 938204 | 219732 | 33690 13 | 73 | 131 1331.43/1331.93 c 1305s | 17 | 939366 | 220032 | 33690 13 | 73 | 131 1334.03/1334.50 c 1307s | 17 | 940773 | 220432 | 33690 13 | 73 | 131 1336.14/1336.65 c 1309s | 17 | 941783 | 220732 | 33690 13 | 73 | 131 1338.43/1338.97 c 1312s | 17 | 942734 | 221032 | 33690 13 | 73 | 131 1340.63/1341.13 c 1314s | 17 | 944229 | 221332 | 33690 13 | 73 | 131 1342.73/1343.25 c 1316s | 17 | 945642 | 221632 | 33690 13 | 73 | 131 1344.83/1345.38 c 1318s | 17 | 946599 | 221932 | 33690 13 | 73 | 131 1347.03/1347.60 c 1320s | 17 | 948147 | 222232 | 33690 13 | 73 | 131 1349.33/1349.88 c 1323s | 17 | 949123 | 222532 | 33690 13 | 73 | 131 1351.43/1351.95 c 1325s | 17 | 950159 | 222832 | 33690 13 | 73 | 131 1353.52/1354.06 c 1327s | 17 | 951156 | 223132 | 33690 13 | 73 | 131 1355.72/1356.22 c 1329s | 17 | 952163 | 223432 | 33690 13 | 73 | 131 1358.13/1358.61 c 1331s | 17 | 953165 | 223732 | 33690 13 | 73 | 131 1360.33/1360.81 c 1333s | 17 | 954451 | 224032 | 33690 13 | 73 | 131 1362.52/1363.01 c 1336s | 17 | 955712 | 224332 | 33690 13 | 73 | 131 1364.72/1365.24 c 1338s | 17 | 957310 | 224632 | 33690 13 | 73 | 131 1366.72/1367.27 c 1340s | 17 | 958600 | 224932 | 33690 13 | 73 | 131 1368.91/1369.41 c 1342s | 17 | 959905 | 225232 | 33690 13 | 73 | 131 1370.91/1371.46 c 1344s | 17 | 960843 | 225532 | 33690 13 | 73 | 131 1373.01/1373.57 c 1346s | 17 | 961746 | 225832 | 33690 13 | 73 | 131 1375.11/1375.65 c 1348s | 17 | 962875 | 226132 | 33690 13 | 73 | 131 1377.21/1377.75 c 1350s | 17 | 963985 | 226432 | 33690 13 | 73 | 131 1379.71/1380.24 c 1353s | 17 | 965104 | 226732 | 33690 14 | 73 | 131 1381.71/1382.28 c 1355s | 17 | 966380 | 227032 | 33690 14 | 73 | 131 1383.91/1384.43 c 1357s | 17 | 967678 | 227332 | 33690 14 | 73 | 131 1386.01/1386.52 c 1359s | 17 | 968728 | 227632 | 33690 14 | 73 | 131 1388.61/1389.17 c 1362s | 17 | 970142 | 228032 | 33690 14 | 73 | 131 1391.31/1391.80 c 1364s | 17 | 971435 | 228432 | 33690 14 | 73 | 131 1393.32/1393.84 c 1366s | 17 | 972358 | 228732 | 33690 14 | 73 | 131 1395.42/1395.95 c 1369s | 17 | 973398 | 229032 | 33690 14 | 73 | 131 1397.62/1398.12 c 1371s | 17 | 974387 | 229332 | 33690 14 | 73 | 131 1399.61/1400.15 c 1373s | 17 | 975689 | 229632 | 33690 14 | 73 | 131 1401.71/1402.23 c 1375s | 17 | 976736 | 229932 | 33690 14 | 73 | 131 1403.81/1404.38 c 1377s | 17 | 977986 | 230232 | 33690 14 | 73 | 131 1406.52/1407.05 c 1380s | 17 | 979863 | 230632 | 33690 14 | 73 | 131 1408.51/1409.09 c 1382s | 17 | 980895 | 230932 | 33690 14 | 73 | 131 1411.31/1411.82 c 1384s | 17 | 982725 | 231332 | 33690 14 | 73 | 131 1413.91/1414.40 c 1387s | 17 | 984293 | 231732 | 33690 14 | 73 | 131 1416.31/1416.88 c 1390s | 17 | 985553 | 232132 | 33690 14 | 73 | 131 1418.91/1419.47 c 1392s | 17 | 987361 | 232532 | 33690 14 | 73 | 131 1421.61/1422.12 c 1395s | 17 | 989363 | 232932 | 33690 14 | 73 | 131 1424.11/1424.66 c 1397s | 17 | 990751 | 233332 | 33690 14 | 73 | 131 1426.71/1427.26 c 1400s | 17 | 992261 | 233732 | 33690 14 | 73 | 131 1429.31/1429.81 c 1402s | 17 | 993717 | 234132 | 33690 14 | 73 | 131 1431.81/1432.33 c 1405s | 17 | 994998 | 234532 | 33690 14 | 73 | 131 1433.81/1434.35 c 1407s | 17 | 996062 | 234832 | 33690 14 | 73 | 131 1436.40/1436.91 c 1410s | 17 | 997745 | 235232 | 33690 14 | 73 | 131 1438.41/1438.93 c 1412s | 17 | 999193 | 235532 | 33690 14 | 73 | 131 1441.00/1441.58 c 1414s | 17 | 1000702 | 235932 | 33690 14 | 73 | 131 1443.00/1443.58 c 1416s | 17 | 1001886 | 236232 | 33690 14 | 73 | 131 1445.20/1445.76 c 1418s | 17 | 1002965 | 236532 | 33690 14 | 73 | 131 1447.40/1447.98 c 1421s | 17 | 1004114 | 236832 | 33690 14 | 73 | 131 1450.00/1450.57 c 1423s | 17 | 1005722 | 237232 | 33690 14 | 73 | 131 1452.10/1452.63 c 1425s | 17 | 1007389 | 237532 | 33690 14 | 73 | 131 1454.20/1454.71 c 1427s | 17 | 1008741 | 237832 | 33690 14 | 73 | 131 1456.80/1457.38 c 1430s | 17 | 1010359 | 238232 | 33690 14 | 73 | 131 1459.50/1460.02 c 1433s | 17 | 1011695 | 238632 | 33690 14 | 73 | 131 1462.10/1462.68 c 1435s | 17 | 1013734 | 239032 | 33690 14 | 73 | 131 1464.20/1464.76 c 1437s | 17 | 1014709 | 239332 | 33690 14 | 73 | 131 1466.50/1467.00 c 1440s | 17 | 1016439 | 239632 | 33690 14 | 73 | 131 1468.60/1469.12 c 1442s | 17 | 1017915 | 239932 | 33690 14 | 73 | 131 1470.70/1471.26 c 1444s | 17 | 1019089 | 240232 | 33690 14 | 73 | 131 1472.70/1473.26 c 1446s | 17 | 1020331 | 240532 | 33690 14 | 73 | 131 1474.80/1475.32 c 1448s | 17 | 1021456 | 240832 | 33690 14 | 73 | 131 1477.20/1477.77 c 1450s | 17 | 1022587 | 241132 | 33690 14 | 73 | 131 1479.80/1480.34 c 1453s | 17 | 1024220 | 241532 | 33690 14 | 73 | 131 1481.90/1482.40 c 1455s | 17 | 1025427 | 241832 | 33690 14 | 73 | 131 1484.00/1484.53 c 1457s | 17 | 1026633 | 242132 | 33690 14 | 73 | 131 1486.30/1486.89 c 1460s | 17 | 1027990 | 242432 | 33690 14 | 73 | 131 1488.50/1489.07 c 1462s | 17 | 1029247 | 242732 | 33690 14 | 73 | 131 1490.60/1491.19 c 1464s | 17 | 1030511 | 243032 | 33690 14 | 73 | 131 1493.30/1493.86 c 1466s | 17 | 1032141 | 243432 | 33690 14 | 73 | 131 1495.50/1496.05 c 1469s | 17 | 1033674 | 243732 | 33690 14 | 73 | 131 1497.60/1498.17 c 1471s | 17 | 1034731 | 244032 | 33690 14 | 73 | 131 1499.80/1500.40 c 1473s | 17 | 1035930 | 244332 | 33690 15 | 73 | 131 1502.59/1503.11 c 1476s | 17 | 1037496 | 244732 | 33690 15 | 73 | 131 1504.69/1505.24 c 1478s | 17 | 1038846 | 245032 | 33690 15 | 73 | 131 1506.69/1507.29 c 1480s | 17 | 1040240 | 245332 | 33690 15 | 73 | 131 1508.80/1509.33 c 1482s | 17 | 1041899 | 245632 | 33690 15 | 73 | 131 1511.19/1511.79 c 1484s | 17 | 1043389 | 246032 | 33690 15 | 73 | 131 1513.79/1514.35 c 1487s | 17 | 1045300 | 246432 | 33690 15 | 73 | 131 1516.29/1516.86 c 1490s | 17 | 1046833 | 246832 | 33690 15 | 73 | 131 1518.79/1519.32 c 1492s | 17 | 1048375 | 247232 | 33690 15 | 73 | 131 1521.29/1521.80 c 1494s | 17 | 1049978 | 247632 | 33690 15 | 73 | 131 1523.99/1524.52 c 1497s | 17 | 1051776 | 248032 | 33690 15 | 73 | 131 1526.49/1527.05 c 1500s | 17 | 1053716 | 248432 | 33690 15 | 73 | 131 1528.99/1529.59 c 1502s | 17 | 1055433 | 248832 | 33690 15 | 73 | 131 1531.69/1532.20 c 1505s | 17 | 1057118 | 249232 | 33690 15 | 73 | 131 1534.19/1534.70 c 1507s | 17 | 1058807 | 249632 | 33690 15 | 73 | 131 1536.69/1537.28 c 1510s | 17 | 1060376 | 250032 | 33690 15 | 73 | 131 1539.19/1539.79 c 1512s | 17 | 1061753 | 250432 | 33690 15 | 73 | 131 1541.39/1541.91 c 1515s | 17 | 1063016 | 250732 | 33690 15 | 73 | 131 1543.39/1543.99 c 1517s | 17 | 1064627 | 251032 | 33690 15 | 73 | 131 1545.49/1546.06 c 1519s | 17 | 1066051 | 251332 | 33690 15 | 73 | 131 1547.49/1548.08 c 1521s | 17 | 1067540 | 251632 | 33690 15 | 73 | 131 1550.09/1550.67 c 1523s | 17 | 1069349 | 252032 | 33690 15 | 73 | 131 1552.69/1553.28 c 1526s | 17 | 1071164 | 252432 | 33690 15 | 73 | 131 1555.19/1555.71 c 1528s | 17 | 1073024 | 252832 | 33690 15 | 73 | 131 1557.69/1558.27 c 1531s | 17 | 1074290 | 253232 | 33690 15 | 73 | 131 1559.78/1560.34 c 1533s | 17 | 1075415 | 253532 | 33690 15 | 73 | 131 1561.88/1562.42 c 1535s | 17 | 1076791 | 253832 | 33690 15 | 73 | 131 1563.98/1564.50 c 1537s | 17 | 1078049 | 254132 | 33690 15 | 73 | 131 1566.58/1567.17 c 1540s | 17 | 1079856 | 254532 | 33690 15 | 73 | 131 1568.78/1569.34 c 1542s | 17 | 1081314 | 254832 | 33690 15 | 73 | 131 1570.78/1571.36 c 1544s | 17 | 1082423 | 255132 | 33690 15 | 73 | 131 1572.98/1573.50 c 1546s | 17 | 1084126 | 255432 | 33690 15 | 73 | 131 1574.98/1575.55 c 1548s | 17 | 1085090 | 255732 | 33690 15 | 73 | 131 1577.08/1577.63 c 1550s | 17 | 1086603 | 256032 | 33690 15 | 73 | 131 1579.58/1580.19 c 1553s | 17 | 1088244 | 256432 | 33690 15 | 73 | 131 1582.18/1582.78 c 1555s | 17 | 1089974 | 256832 | 33690 15 | 73 | 131 1584.18/1584.79 c 1557s | 17 | 1091227 | 257132 | 33690 15 | 73 | 131 1586.28/1586.87 c 1560s | 17 | 1092975 | 257432 | 33690 15 | 73 | 131 1588.38/1588.93 c 1562s | 17 | 1094406 | 257732 | 33690 15 | 73 | 131 1590.58/1591.11 c 1564s | 17 | 1095551 | 258032 | 33690 15 | 73 | 131 1592.68/1593.27 c 1566s | 17 | 1096686 | 258332 | 33690 15 | 73 | 131 1595.38/1595.92 c 1569s | 17 | 1098658 | 258732 | 33690 15 | 73 | 131 1598.08/1598.61 c 1571s | 17 | 1100594 | 259132 | 33690 15 | 73 | 131 1600.18/1600.75 c 1573s | 17 | 1102112 | 259432 | 33690 15 | 73 | 131 1602.18/1602.75 c 1575s | 17 | 1103275 | 259732 | 33690 15 | 73 | 131 1604.28/1604.83 c 1577s | 17 | 1104638 | 260032 | 33690 15 | 73 | 131 1606.28/1606.83 c 1579s | 17 | 1106014 | 260332 | 33690 15 | 73 | 131 1608.88/1609.46 c 1582s | 17 | 1107717 | 260732 | 33690 15 | 73 | 131 1611.08/1611.62 c 1584s | 17 | 1108964 | 261032 | 33690 15 | 73 | 131 1613.28/1613.85 c 1586s | 17 | 1110435 | 261332 | 33690 15 | 73 | 131 1615.38/1615.99 c 1589s | 17 | 1111750 | 261632 | 33690 15 | 73 | 131 1617.78/1618.35 c 1591s | 17 | 1113048 | 261932 | 33690 16 | 73 | 131 1619.97/1620.56 c 1593s | 17 | 1114674 | 262232 | 33690 16 | 73 | 131 1622.17/1622.73 c 1595s | 17 | 1115679 | 262532 | 33690 16 | 73 | 131 1624.77/1625.33 c 1598s | 17 | 1117113 | 262932 | 33690 16 | 73 | 131 1626.87/1627.41 c 1600s | 17 | 1118535 | 263232 | 33690 16 | 73 | 131 1629.47/1630.00 c 1603s | 17 | 1120004 | 263632 | 33690 16 | 73 | 131 1631.88/1632.48 c 1605s | 17 | 1121340 | 264032 | 33690 16 | 73 | 131 1634.37/1634.92 c 1608s | 17 | 1123041 | 264432 | 33690 16 | 73 | 131 1636.87/1637.41 c 1610s | 17 | 1125067 | 264832 | 33690 16 | 73 | 131 1639.27/1639.81 c 1612s | 17 | 1126675 | 265232 | 33690 16 | 73 | 131 1641.78/1642.36 c 1615s | 17 | 1128631 | 265632 | 33690 16 | 73 | 131 1644.27/1644.80 c 1617s | 17 | 1130079 | 266032 | 33690 16 | 73 | 131 1646.77/1647.34 c 1620s | 17 | 1131604 | 266432 | 33690 16 | 73 | 131 1649.17/1649.78 c 1622s | 17 | 1133219 | 266832 | 33690 16 | 73 | 131 1651.68/1652.30 c 1625s | 17 | 1134835 | 267232 | 33690 16 | 73 | 131 1654.17/1654.79 c 1627s | 17 | 1136282 | 267632 | 33690 16 | 73 | 131 1656.87/1657.44 c 1630s | 17 | 1137679 | 268032 | 33690 16 | 73 | 131 1658.87/1659.46 c 1632s | 17 | 1138758 | 268332 | 33690 16 | 73 | 131 1660.97/1661.53 c 1634s | 17 | 1140137 | 268632 | 33690 16 | 73 | 131 1663.57/1664.17 c 1637s | 17 | 1142115 | 269032 | 33690 16 | 73 | 131 1665.77/1666.34 c 1639s | 17 | 1142942 | 269332 | 33690 16 | 73 | 131 1668.27/1668.86 c 1641s | 17 | 1144697 | 269732 | 33690 16 | 73 | 131 1670.87/1671.41 c 1644s | 17 | 1145865 | 270132 | 33690 16 | 73 | 131 1673.47/1674.01 c 1647s | 17 | 1147471 | 270532 | 33690 16 | 73 | 131 1678.18/1678.76 c 1651s | 17 | 1148927 | 270832 | 33690 16 | 73 | 131 1680.57/1681.19 c 1654s | 17 | 1150609 | 271132 | 33690 16 | 73 | 131 1682.77/1683.39 c 1656s | 17 | 1151559 | 271332 | 33690 16 | 73 | 131 1685.27/1685.85 c 1658s | 17 | 1153004 | 271632 | 33690 16 | 73 | 131 1687.37/1687.98 c 1661s | 17 | 1154508 | 271932 | 33690 16 | 73 | 131 1689.67/1690.22 c 1663s | 17 | 1155887 | 272232 | 33690 16 | 73 | 131 1691.97/1692.51 c 1665s | 17 | 1157144 | 272532 | 33690 16 | 73 | 131 1694.07/1694.65 c 1667s | 17 | 1158802 | 272832 | 33690 16 | 73 | 131 1696.17/1696.76 c 1669s | 17 | 1159708 | 273132 | 33690 16 | 73 | 131 1698.37/1698.90 c 1672s | 17 | 1161302 | 273432 | 33690 16 | 73 | 131 1700.47/1701.07 c 1674s | 17 | 1162586 | 273732 | 33690 16 | 73 | 131 1702.67/1703.24 c 1676s | 17 | 1163816 | 274032 | 33690 16 | 73 | 131 1704.86/1705.43 c 1678s | 17 | 1165155 | 274332 | 33690 16 | 73 | 131 1707.06/1707.64 c 1680s | 17 | 1166404 | 274632 | 33690 16 | 73 | 131 1709.26/1709.85 c 1682s | 17 | 1167539 | 274932 | 33690 16 | 73 | 131 1712.66/1713.24 c 1686s | 17 | 1168710 | 275232 | 33690 16 | 73 | 131 1715.16/1715.73 c 1688s | 17 | 1169762 | 275532 | 33690 16 | 73 | 131 1717.56/1718.11 c 1691s | 17 | 1170876 | 275832 | 33690 16 | 73 | 131 1720.06/1720.62 c 1693s | 17 | 1172259 | 276132 | 33690 16 | 73 | 131 1722.36/1722.97 c 1696s | 17 | 1173207 | 276432 | 33690 16 | 73 | 131 1725.47/1726.01 c 1699s | 17 | 1174601 | 276632 | 33690 16 | 73 | 131 1727.76/1728.31 c 1701s | 17 | 1176288 | 276932 | 33690 16 | 73 | 131 1729.96/1730.52 c 1703s | 17 | 1177328 | 277232 | 33690 16 | 73 | 131 1732.26/1732.84 c 1705s | 17 | 1178544 | 277532 | 33690 16 | 73 | 131 1734.46/1735.04 c 1708s | 17 | 1179714 | 277832 | 33690 16 | 73 | 131 1736.66/1737.23 c 1710s | 17 | 1180615 | 278132 | 33690 16 | 73 | 131 1738.86/1739.44 c 1712s | 17 | 1181454 | 278432 | 33690 16 | 73 | 131 1741.06/1741.61 c 1714s | 17 | 1182215 | 278732 | 33690 16 | 73 | 131 1743.26/1743.82 c 1716s | 17 | 1183328 | 279032 | 33690 16 | 73 | 131 1745.66/1746.23 c 1719s | 17 | 1184652 | 279332 | 33690 17 | 73 | 131 1747.96/1748.51 c 1721s | 17 | 1185569 | 279632 | 37059 17 | 73 | 131 1750.26/1750.85 c 1723s | 17 | 1187029 | 279932 | 37059 17 | 73 | 131 1752.66/1753.29 c 1726s | 17 | 1188206 | 280132 | 37059 17 | 73 | 131 1754.96/1755.59 c 1728s | 17 | 1189398 | 280432 | 37059 17 | 73 | 131 1757.65/1758.27 c 1731s | 17 | 1191147 | 280832 | 37059 17 | 73 | 131 1759.75/1760.36 c 1733s | 17 | 1192275 | 281132 | 37059 17 | 73 | 131 1762.35/1762.92 c 1736s | 17 | 1193832 | 281532 | 37059 17 | 73 | 131 1764.35/1764.99 c 1738s | 17 | 1194976 | 281832 | 37059 17 | 73 | 131 1766.45/1767.08 c 1740s | 17 | 1196048 | 282132 | 37059 17 | 73 | 131 1768.65/1769.21 c 1742s | 17 | 1197448 | 282432 | 37059 17 | 73 | 131 1770.75/1771.35 c 1744s | 17 | 1198485 | 282732 | 37059 17 | 73 | 131 1772.85/1773.45 c 1746s | 17 | 1199169 | 283032 | 37059 17 | 73 | 131 1774.86/1775.47 c 1748s | 17 | 1200487 | 283332 | 37059 17 | 73 | 131 1776.95/1777.57 c 1750s | 17 | 1201682 | 283632 | 37059 17 | 73 | 131 1779.26/1779.81 c 1752s | 17 | 1203046 | 283932 | 37059 17 | 73 | 131 1781.46/1782.02 c 1755s | 17 | 1204557 | 284232 | 37059 17 | 73 | 131 1783.45/1784.05 c 1757s | 17 | 1205735 | 284532 | 37059 17 | 73 | 131 1785.45/1786.08 c 1759s | 17 | 1206902 | 284732 | 37059 17 | 73 | 131 1787.65/1788.28 c 1761s | 17 | 1208210 | 285032 | 37059 17 | 73 | 131 1790.15/1790.75 c 1763s | 17 | 1210426 | 285432 | 37059 17 | 73 | 131 1792.65/1793.26 c 1766s | 17 | 1212244 | 285832 | 37059 17 | 73 | 131 1795.15/1795.71 c 1768s | 17 | 1213733 | 286232 | 37059 17 | 73 | 131 1797.55/1798.10 c 1771s | 17 | 1215647 | 286632 | 37059 17 | 73 | 131 1799.75/1800.30 c 1773s | 17 | 1216689 | 287032 | 37059 17 | 73 | 131
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-4080134-1465256466/watcher-4080134-1465256466 -o /tmp/evaluation-result-4080134-1465256466/solver-4080134-1465256466 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5800 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080134-1465256466.opb pid=6739 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.25 2.17 2.17 4/179 6742 /proc/meminfo: memFree=29477032/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=241084 CPUtime=0 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 747 0 0 0 0 0 0 0 20 0 4 0 107579767 246870016 1108 33554432000 4194304 16246674 140736812968080 140736812967504 13694413 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 60271 1113 426 2943 0 57165 0 [pid=6742/tid=6743] ppid=6739 vsize=241084 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 246870016 1138 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=241084 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 246870016 1144 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=241084 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107579767 246870016 1154 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.10018 s] /proc/loadavg: 2.25 2.17 2.17 4/179 6742 /proc/meminfo: memFree=29477032/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=1223236 CPUtime=0.08 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 23384 0 0 0 5 3 0 0 20 0 4 0 107579767 1252593664 23692 33554432000 4194304 16246674 140736812968080 140736812967392 6727251 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 305809 23692 835 2943 0 302703 0 [pid=6742/tid=6743] ppid=6739 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 1252593664 23692 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 1252593664 23692 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1252593664 23692 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1223236 [startup+0.200525 s] /proc/loadavg: 2.25 2.17 2.17 4/179 6742 /proc/meminfo: memFree=29477032/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=1223236 CPUtime=0.18 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 34424 0 0 0 13 5 0 0 20 0 4 0 107579767 1252593664 34732 33554432000 4194304 16246674 140736812968080 140736812967392 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 305809 34732 895 2943 0 302703 0 [pid=6742/tid=6743] ppid=6739 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 1252593664 34732 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 1252593664 34732 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1252593664 34732 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1223236 [startup+0.300523 s] /proc/loadavg: 2.25 2.17 2.17 4/179 6742 /proc/meminfo: memFree=29477032/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=1296964 CPUtime=0.29 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 49930 0 0 0 21 8 0 0 20 0 4 0 107579767 1328091136 50238 33554432000 4194304 16246674 140736812968080 140736812967392 5828874 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 324241 50247 895 2943 0 321135 0 [pid=6742/tid=6743] ppid=6739 vsize=1296964 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 1328091136 50252 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=1296964 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 1328091136 50257 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=1296964 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1328091136 50263 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1296964 [startup+0.700475 s] /proc/loadavg: 2.25 2.17 2.17 4/179 6742 /proc/meminfo: memFree=29477032/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=1306180 CPUtime=0.68 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 66685 0 0 0 59 9 0 0 20 0 4 0 107579767 1337528320 66994 33554432000 4194304 16246674 140736812968080 140736812967392 12874965 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 326545 67007 911 2943 0 323439 0 [pid=6742/tid=6743] ppid=6739 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 1337528320 67011 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 1337528320 67014 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1337528320 67021 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1306180 [startup+1.50045 s] /proc/loadavg: 2.25 2.17 2.17 4/183 6746 /proc/meminfo: memFree=29064032/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=1308228 CPUtime=1.48 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 148493 0 0 0 128 20 0 0 20 0 4 0 107579767 1339625472 148802 33554432000 4194304 16246674 140736812968080 140736812949952 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 327057 148806 913 2943 0 323951 0 [pid=6742/tid=6743] ppid=6739 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 1339625472 148809 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 1339625472 148813 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1339625472 148816 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1308228 [startup+3.10046 s] /proc/loadavg: 2.25 2.17 2.17 4/183 6746 /proc/meminfo: memFree=28404228/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=1308228 CPUtime=3.09 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 268015 0 0 0 273 36 0 0 20 0 4 0 107579767 1339625472 268323 33554432000 4194304 16246674 140736812968080 140736812949952 6026662 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 327057 268323 913 2943 0 323951 0 [pid=6742/tid=6743] ppid=6739 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 1339625472 268323 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 1339625472 268323 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1339625472 268323 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1308228 [startup+6.30048 s] /proc/loadavg: 2.23 2.17 2.17 4/183 6746 /proc/meminfo: memFree=28403556/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=1308228 CPUtime=6.29 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 268254 0 0 0 593 36 0 0 20 0 4 0 107579767 1339625472 268562 33554432000 4194304 16246674 140736812968080 140736812949952 13820864 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 327057 268562 915 2943 0 323951 0 [pid=6742/tid=6743] ppid=6739 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 1339625472 268562 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 1339625472 268562 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1339625472 268562 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7005 s] /proc/loadavg: 2.21 2.16 2.17 4/183 6746 /proc/meminfo: memFree=28403704/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=1308228 CPUtime=12.68 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 268254 0 0 0 1232 36 0 0 20 0 4 0 107579767 1339625472 268562 33554432000 4194304 16246674 140736812968080 140736812949952 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 327057 268562 915 2943 0 323951 0 [pid=6742/tid=6743] ppid=6739 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 1339625472 268562 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 1339625472 268562 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1339625472 268562 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.16 2.16 2.16 3/183 6746 /proc/meminfo: memFree=28403900/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=1308228 CPUtime=25.48 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 268255 0 0 0 2512 36 0 0 20 0 4 0 107579767 1339625472 268563 33554432000 4194304 16246674 140736812968080 140736812949952 5717462 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 327057 268563 916 2943 0 323951 0 [pid=6742/tid=6743] ppid=6739 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 1339625472 268563 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 1339625472 268563 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1339625472 268563 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.17 2.16 2.16 3/183 6746 /proc/meminfo: memFree=28398944/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=1313348 CPUtime=51.08 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 269466 0 0 0 5071 37 0 0 20 0 4 0 107579767 1344868352 269774 33554432000 4194304 16246674 140736812968080 140736812949952 5674563 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 328337 269774 917 2943 0 325231 0 [pid=6742/tid=6743] ppid=6739 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 1344868352 269774 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 1344868352 269774 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1344868352 269774 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1313348 [startup+102.3 s] /proc/loadavg: 2.07 2.13 2.15 3/183 6747 /proc/meminfo: memFree=28398704/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=1313348 CPUtime=102.28 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 269466 0 0 0 10191 37 0 0 20 0 4 0 107579767 1344868352 269774 33554432000 4194304 16246674 140736812968080 140736812949952 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 328337 269774 917 2943 0 325231 0 [pid=6742/tid=6743] ppid=6739 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 1344868352 269774 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 1344868352 269774 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1344868352 269774 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1313348 ################ # More data... # ################ /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1362694144 274206 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1330756 [startup+1302.3 s] /proc/loadavg: 2.24 2.12 2.10 3/184 6849 /proc/meminfo: memFree=27477680/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=1330756 CPUtime=1301.85 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 274221 0 0 0 130143 42 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140736812949952 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 332689 274454 919 2943 0 329583 0 [pid=6742/tid=6743] ppid=6739 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1330756 [startup+1362.3 s] /proc/loadavg: 2.14 2.11 2.09 3/184 6850 /proc/meminfo: memFree=27397996/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=1330756 CPUtime=1361.82 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 274252 0 0 0 136140 42 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140736812949952 13809250 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 332689 274454 919 2943 0 329583 0 [pid=6742/tid=6743] ppid=6739 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 1330756 [startup+1422.3 s] /proc/loadavg: 2.14 2.12 2.09 3/184 6851 /proc/meminfo: memFree=27280904/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=1330756 CPUtime=1421.81 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 274255 0 0 0 142139 42 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140736812949952 13906985 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 332689 274454 919 2943 0 329583 0 [pid=6742/tid=6743] ppid=6739 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1330756 [startup+1482.3 s] /proc/loadavg: 2.05 2.09 2.08 4/184 6853 /proc/meminfo: memFree=27280692/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=1330756 CPUtime=1481.8 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 274255 0 0 0 148138 42 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140736812949952 5673612 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 332689 274454 919 2943 0 329583 0 [pid=6742/tid=6743] ppid=6739 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1330756 [startup+1542.31 s] /proc/loadavg: 2.05 2.09 2.08 3/184 6854 /proc/meminfo: memFree=27280480/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=1330756 CPUtime=1541.8 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 274255 0 0 0 154138 42 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140736812949952 5672056 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 332689 274454 919 2943 0 329583 0 [pid=6742/tid=6743] ppid=6739 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1330756 [startup+1602.3 s] /proc/loadavg: 2.08 2.08 2.08 3/184 6855 /proc/meminfo: memFree=27280516/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=1330756 CPUtime=1601.78 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 274255 0 0 0 160136 42 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140736812949952 5829752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 332689 274454 919 2943 0 329583 0 [pid=6742/tid=6743] ppid=6739 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1362694144 274454 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1330756 [startup+1662.3 s] /proc/loadavg: 2.10 2.08 2.08 3/184 6856 /proc/meminfo: memFree=27278560/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=1332804 CPUtime=1661.77 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 274767 0 0 0 166135 42 0 0 20 0 4 0 107579767 1364791296 274966 33554432000 4194304 16246674 140736812968080 140736812949952 5677716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 333201 274966 919 2943 0 330095 0 [pid=6742/tid=6743] ppid=6739 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 1364791296 274966 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 1364791296 274966 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1364791296 274966 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1332804 [startup+1722.3 s] /proc/loadavg: 2.14 2.10 2.09 3/184 6857 /proc/meminfo: memFree=27278108/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=1332804 CPUtime=1721.76 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 274767 0 0 0 172133 43 0 0 20 0 4 0 107579767 1364791296 274966 33554432000 4194304 16246674 140736812968080 140736812949952 13820881 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 333201 274966 919 2943 0 330095 0 [pid=6742/tid=6743] ppid=6739 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 1364791296 274966 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 1364791296 274966 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1364791296 274966 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1332804 [startup+1782.3 s] /proc/loadavg: 2.23 2.12 2.10 4/185 6862 /proc/meminfo: memFree=27277812/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=1332804 CPUtime=1781.75 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 274767 0 0 0 178132 43 0 0 20 0 4 0 107579767 1364791296 274966 33554432000 4194304 16246674 140736812968080 140736812949952 5828829 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 333201 274966 919 2943 0 330095 0 [pid=6742/tid=6743] ppid=6739 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 1364791296 274966 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 1364791296 274966 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1364791296 274966 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1332804 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.17 2.11 2.09 4/184 6862 /proc/meminfo: memFree=27278036/32872528 swapFree=16252/1391864 [pid=6742] ppid=6739 vsize=1332804 CPUtime=1800.05 cores=1,3,5,7 /proc/6742/stat : 6742 (toysat) R 6739 6742 5783 0 -1 4202496 274767 0 0 0 179962 43 0 0 20 0 4 0 107579767 1364791296 274966 33554432000 4194304 16246674 140736812968080 140736812949952 5672056 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6742/statm: 333201 274966 919 2943 0 330095 0 [pid=6742/tid=6743] ppid=6739 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6743/stat : 6743 (toysat) S 6739 6742 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107579767 1364791296 274966 33554432000 4194304 16246674 140736812968080 140230026833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6742/tid=6744] ppid=6739 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6744/stat : 6744 (toysat) S 6739 6742 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107579767 1364791296 274966 33554432000 4194304 16246674 140736812968080 140229943995632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6742/tid=6745] ppid=6739 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/6742/task/6745/stat : 6745 (toysat) S 6739 6742 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107579767 1364791296 274966 33554432000 4194304 16246674 140736812968080 140229933522096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1332804 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 6742 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.07 CPU user time (s): 1799.63 CPU system time (s): 0.437933 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 1332804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.63 system time used= 0.437933 maximum resident set size= 1099864 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274767 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= 381 involuntary context switches= 1974 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.7431 second user time and 7.29389 second system time The end
Begin job on node119 at 2016-06-07 01:41:06 IDJOB=4080134 IDBENCH=48131 IDSOLVER=2542 FILE ID=node119/4080134-1465256466 RUNJOBID= node119-1465252213-5800 PBS_JOBID= 19843259 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_2.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080134-1465256466/watcher-4080134-1465256466 -o /tmp/evaluation-result-4080134-1465256466/solver-4080134-1465256466 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5800 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080134-1465256466.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f7e9965e006e5669c3252afd9a68998d RANDOM SEED=726557251 node119.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.410 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 : 5332.82 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.410 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.410 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.410 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.410 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.410 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.410 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.410 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: 29477568 kB Buffers: 53332 kB Cached: 151472 kB SwapCached: 856 kB Active: 1205928 kB Inactive: 93744 kB Active(anon): 1095852 kB Inactive(anon): 1640 kB Active(file): 110076 kB Inactive(file): 92104 kB Unevictable: 1391864 kB Mlocked: 16252 kB SwapTotal: 67108856 kB SwapFree: 67100136 kB Dirty: 16328 kB Writeback: 0 kB AnonPages: 2586464 kB Mapped: 10444 kB Shmem: 0 kB Slab: 568496 kB SReclaimable: 12748 kB SUnreclaim: 555748 kB KernelStack: 1520 kB PageTables: 8552 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2630288 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2566144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node119 at 2016-06-07 02:11:07