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.02 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_4.opb |
| MD5SUM | 7603a459a5769ea7e43f52c522eb87aa |
| 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.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 68 |
| 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) | 6326 |
| Sum of products size (including duplicates) | 12652 |
| Number of different products | 6326 |
| Sum of products size | 12652 |
0.00/0.00 c 2016-06-18T20:19:38+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-4106583-1466273978.opb"] 0.00/0.01 c use --random-gen="1938883468 3374350454 2053168862 2311060109 3733421501 2945344912 863443956 490651558 3217097482 1957980649 1639468035 187089306 2688023816 3801311576 2116022126 3048962374 1383109404 2561908752 1186827909 2008330051 86874866 2894879889 3043389430 2114953089 123579333 364635941 2652460695 1024211203 1507739660 2707303481 1978776787 2993576802 3383429226 1524129857 3947287069 4264415314 3018739894 1750803048 2373875644 1817788366 3860003041 460337550 3964132243 4130559563 357709904 1150927334 3343985570 1838330809 466412290 4022793775 562536640 77601556 34011005 3031222861 1831235630 4004208900 1197704571 343695378 2328344292 4186019883 2106695170 1120034103 1647248459 4173358232 3261005695 2189285279 3377257819 2841088254 1652520816 1394326483 3293832022 2811569350 154064463 3795938864 1276358426 1075155677 2950585488 1834288446 3608271959 3550325595 2154022512 3877845732 1074621172 1419536137 4278910141 1388391674 237781834 3513984031 2264850043 2488822021 3401262635 277447960 2629814352 234591890 406681867 643044279 762842722 694544409 1154840936 2198487797 567735826 486737246 2466002224 389015970 2900009420 4121651237 509762083 2159095064 4120801260 3923486154 1850126575 3865942871 886771437 3517159254 685191951 2870974513 2254870583 3711858266 3965741889 2083856251 652646400 901252445 2883429306 327036220 1284160394 2025475565 2133020039 1618202423 3658522129 2912065133 2978509198 1300148511 2225204557 2071109547 2829956619 1119367608 2983713045 3444831967 2199764507 1576919837 1785162005 2101349774 4190225750 4279744999 2839065026 824401734 522015784 3170294480 2603319845 817817141 3655825841 1755582592 1511437973 2830341388 208215080 1415874972 2216482128 1990209025 3462501115 2538549124 2893521302 2633831270 14860384 2628609332 3485224625 398111085 3915952427 4106575465 1492045107 3798253316 3544895804 4228281573 1322165241 2395361579 2388836137 4240685139 1231652760 39126586 963718866 4049774019 2282300748 2267243032 3320511213 1291030511 3105109978 1430840948 3615196882 3397476468 3310444367 3337447945 4268156644 3903519195 1054302318 3644513252 666187798 2567617400 3859424301 791961197 1815207915 1663574620 3073620327 1610375548 1732264844 3813235658 1091629115 4204149738 1830076680 3188314992 2712226762 3996026184 2693672686 3633563506 2849577683 1315287103 2704789839 2281832480 2068337509 497217289 104644073 4021557425 1301008076 2297525697 596900423 923040677 169150885 2001619094 3487978844 3412137441 3203019771 51589286 4242292183 3336898811 3798407336 3014891739 998245120 4093469755 497919663 3970266717 614331519 2371728986 1493667482 3334500079 2155727362 3127348594 2723077332 3998055962 359430178 3763019630 3346801352 3517207825 1069995317 849337833 2594013894 4108873982 3867811088 551771765 255 362436" option to reproduce the execution 0.00/0.03 c #vars 500 0.00/0.03 c #constraints 500 0.09/0.14 c BCD2: Hardening is enabled. 0.09/0.14 c BCD2: BiasedSearch is enabled. 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 6659 0 | 0 | 0 0.09/0.17 c 0.0s | 0 | 1108 | 0 | 6659 0 | 0 | 0 0.09/0.17 c #cpu_time = 0.020s 0.09/0.17 c #wall_clock_time = 0.020s 0.09/0.17 c #decision = 1108 0.09/0.17 c #random_decision = 1 0.09/0.17 c #conflict = 0 0.09/0.17 c #restart = 0 0.09/0.17 o 396 0.09/0.17 c BCD2: updating upper bound: 500 -> 395 0.09/0.17 c BCD2: 0 <= obj <= 395 0.09/0.17 c BCD2: #cores=0, #unrelaxed=500, #relaxed=0, #hardened=0 0.09/0.17 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 6659 0 | 0 | 0 0.09/0.18 c 0.0s | 0 | 309 | 0 | 6659 0 | 0 | 0 0.09/0.18 c #cpu_time = 0.014s 0.09/0.18 c #wall_clock_time = 0.014s 0.09/0.18 c #decision = 309 0.09/0.18 c #random_decision = 0 0.09/0.18 c #conflict = 0 0.09/0.18 c #restart = 0 0.09/0.18 c BCD2: found a new core of size 17: cost of the new core is >=1 0.09/0.18 c lower bound updated to 1 0.09/0.18 c BCD2: 1 <= obj <= 395 0.09/0.18 c BCD2: #cores=1, #unrelaxed=483, #relaxed=17, #hardened=0 0.09/0.18 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 6659 0 | 0 | 0 0.19/0.22 c 0.0s | 0 | 306 | 0 | 6659 0 | 0 | 0 0.19/0.22 c #cpu_time = 0.012s 0.19/0.22 c #wall_clock_time = 0.012s 0.19/0.22 c #decision = 306 0.19/0.22 c #random_decision = 0 0.19/0.22 c #conflict = 0 0.19/0.22 c #restart = 0 0.19/0.22 c BCD2: found a new core of size 12: cost of the new core is >=1 0.19/0.22 c lower bound updated to 2 0.19/0.22 c BCD2: 2 <= obj <= 395 0.19/0.22 c BCD2: #cores=2, #unrelaxed=471, #relaxed=29, #hardened=0 0.19/0.22 c BCD2: #sat=1 #unsat=3 bias=3/4 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 6659 0 | 0 | 0 0.19/0.23 c 0.0s | 0 | 330 | 0 | 6659 0 | 0 | 0 0.19/0.23 c #cpu_time = 0.012s 0.19/0.23 c #wall_clock_time = 0.013s 0.19/0.23 c #decision = 330 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 0 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: found a new core of size 11: cost of the new core is >=1 0.19/0.23 c lower bound updated to 3 0.19/0.23 c BCD2: 3 <= obj <= 395 0.19/0.23 c BCD2: #cores=3, #unrelaxed=460, #relaxed=40, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=4 bias=4/5 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 6659 0 | 0 | 0 0.19/0.25 c 0.0s | 0 | 340 | 0 | 6659 0 | 0 | 0 0.19/0.25 c #cpu_time = 0.013s 0.19/0.25 c #wall_clock_time = 0.013s 0.19/0.25 c #decision = 340 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 0 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: found a new core of size 11: cost of the new core is >=1 0.19/0.25 c lower bound updated to 4 0.19/0.25 c BCD2: 4 <= obj <= 395 0.19/0.25 c BCD2: #cores=4, #unrelaxed=449, #relaxed=51, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=5 bias=5/6 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 6659 0 | 0 | 0 0.19/0.26 c 0.0s | 0 | 350 | 0 | 6659 0 | 0 | 0 0.19/0.26 c #cpu_time = 0.013s 0.19/0.26 c #wall_clock_time = 0.013s 0.19/0.26 c #decision = 350 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 0 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: found a new core of size 11: cost of the new core is >=1 0.19/0.26 c lower bound updated to 5 0.19/0.26 c BCD2: 5 <= obj <= 395 0.19/0.26 c BCD2: #cores=5, #unrelaxed=438, #relaxed=62, #hardened=0 0.19/0.26 c BCD2: #sat=1 #unsat=6 bias=6/7 0.19/0.26 c Solving starts ... 0.19/0.26 c ============================[ Search Statistics ]============================ 0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.26 c | | | | Limit GC | Var | Constra 0.19/0.26 c ============================================================================= 0.19/0.26 c 0.0s | 0 | 0 | 0 | 6659 0 | 0 | 0 0.19/0.28 c 0.0s | 0 | 341 | 0 | 6659 0 | 0 | 0 0.19/0.28 c #cpu_time = 0.012s 0.19/0.28 c #wall_clock_time = 0.012s 0.19/0.28 c #decision = 341 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 0 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 11: cost of the new core is >=1 0.19/0.28 c lower bound updated to 6 0.19/0.28 c BCD2: 6 <= obj <= 395 0.19/0.28 c BCD2: #cores=6, #unrelaxed=427, #relaxed=73, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=7 bias=7/8 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 6659 0 | 0 | 0 0.19/0.29 c 0.0s | 0 | 336 | 0 | 6659 0 | 0 | 0 0.19/0.29 c #cpu_time = 0.013s 0.19/0.29 c #wall_clock_time = 0.013s 0.19/0.29 c #decision = 336 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 0 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 13: cost of the new core is >=1 0.19/0.29 c lower bound updated to 7 0.19/0.29 c BCD2: 7 <= obj <= 395 0.19/0.29 c BCD2: #cores=7, #unrelaxed=414, #relaxed=86, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=8 bias=8/9 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.19/0.29 c 0.0s | 0 | 0 | 0 | 6659 0 | 0 | 0 0.29/0.31 c 0.0s | 0 | 335 | 0 | 6659 0 | 0 | 0 0.29/0.31 c #cpu_time = 0.012s 0.29/0.31 c #wall_clock_time = 0.012s 0.29/0.31 c #decision = 335 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 0 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 11: cost of the new core is >=1 0.29/0.31 c lower bound updated to 8 0.29/0.31 c BCD2: 8 <= obj <= 395 0.29/0.31 c BCD2: #cores=8, #unrelaxed=403, #relaxed=97, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=9 bias=9/10 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 6659 0 | 0 | 0 0.29/0.32 c 0.0s | 0 | 333 | 0 | 6659 0 | 0 | 0 0.29/0.32 c #cpu_time = 0.010s 0.29/0.32 c #wall_clock_time = 0.010s 0.29/0.32 c #decision = 333 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 0 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: found a new core of size 11: cost of the new core is >=1 0.29/0.32 c lower bound updated to 9 0.29/0.32 c BCD2: 9 <= obj <= 395 0.29/0.32 c BCD2: #cores=9, #unrelaxed=392, #relaxed=108, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=10 bias=10/11 0.29/0.32 c Solving starts ... 0.29/0.32 c ============================[ Search Statistics ]============================ 0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.32 c | | | | Limit GC | Var | Constra 0.29/0.32 c ============================================================================= 0.29/0.34 c 0.0s | 0 | 0 | 0 | 6659 0 | 0 | 0 0.29/0.35 c 0.0s | 0 | 329 | 0 | 6659 0 | 0 | 0 0.29/0.35 c #cpu_time = 0.009s 0.29/0.35 c #wall_clock_time = 0.009s 0.29/0.35 c #decision = 329 0.29/0.35 c #random_decision = 0 0.29/0.35 c #conflict = 0 0.29/0.35 c #restart = 0 0.29/0.35 c BCD2: found a new core of size 15: cost of the new core is >=1 0.29/0.35 c lower bound updated to 10 0.29/0.35 c BCD2: 10 <= obj <= 395 0.29/0.35 c BCD2: #cores=10, #unrelaxed=377, #relaxed=123, #hardened=0 0.29/0.35 c BCD2: #sat=1 #unsat=11 bias=11/12 0.29/0.35 c Solving starts ... 0.29/0.35 c ============================[ Search Statistics ]============================ 0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.35 c | | | | Limit GC | Var | Constra 0.29/0.35 c ============================================================================= 0.29/0.35 c 0.0s | 0 | 0 | 0 | 6659 0 | 0 | 0 0.29/0.36 c 0.0s | 0 | 321 | 0 | 6659 0 | 0 | 0 0.29/0.36 c #cpu_time = 0.009s 0.29/0.36 c #wall_clock_time = 0.009s 0.29/0.36 c #decision = 321 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 11 0.29/0.36 c BCD2: 11 <= obj <= 395 0.29/0.36 c BCD2: #cores=11, #unrelaxed=366, #relaxed=134, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=12 bias=12/13 0.29/0.36 c Solving starts ... 0.29/0.36 c ============================[ Search Statistics ]============================ 0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.36 c | | | | Limit GC | Var | Constra 0.29/0.36 c ============================================================================= 0.29/0.36 c 0.0s | 0 | 0 | 0 | 6659 0 | 0 | 0 0.29/0.37 c 0.0s | 0 | 325 | 0 | 6659 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 = 325 0.29/0.37 c #random_decision = 0 0.29/0.37 c #conflict = 0 0.29/0.37 c #restart = 0 0.29/0.37 c BCD2: found a new core of size 11: cost of the new core is >=1 0.29/0.37 c lower bound updated to 12 0.29/0.37 c BCD2: 12 <= obj <= 395 0.29/0.37 c BCD2: #cores=12, #unrelaxed=355, #relaxed=145, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=13 bias=13/14 0.29/0.37 c Solving starts ... 0.29/0.37 c ============================[ Search Statistics ]============================ 0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.37 c | | | | Limit GC | Var | Constra 0.29/0.37 c ============================================================================= 0.29/0.37 c 0.0s | 0 | 0 | 0 | 6659 0 | 0 | 0 0.29/0.38 c 0.0s | 0 | 332 | 0 | 6659 0 | 0 | 0 0.29/0.38 c #cpu_time = 0.009s 0.29/0.38 c #wall_clock_time = 0.010s 0.29/0.38 c #decision = 332 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 12: cost of the new core is >=1 0.29/0.38 c lower bound updated to 13 0.29/0.38 c BCD2: 13 <= obj <= 395 0.29/0.38 c BCD2: #cores=13, #unrelaxed=343, #relaxed=157, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=14 bias=14/15 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 6659 0 | 0 | 0 0.29/0.39 c 0.0s | 0 | 343 | 0 | 6659 0 | 0 | 0 0.29/0.39 c #cpu_time = 0.010s 0.29/0.39 c #wall_clock_time = 0.010s 0.29/0.39 c #decision = 343 0.29/0.39 c #random_decision = 0 0.29/0.39 c #conflict = 0 0.29/0.39 c #restart = 0 0.29/0.39 c BCD2: found a new core of size 11: cost of the new core is >=1 0.29/0.39 c lower bound updated to 14 0.29/0.39 c BCD2: 14 <= obj <= 395 0.29/0.39 c BCD2: #cores=14, #unrelaxed=332, #relaxed=168, #hardened=0 0.29/0.39 c BCD2: #sat=1 #unsat=15 bias=15/16 0.29/0.39 c Solving starts ... 0.29/0.39 c ============================[ Search Statistics ]============================ 0.29/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.39 c | | | | Limit GC | Var | Constra 0.29/0.39 c ============================================================================= 0.29/0.39 c 0.0s | 0 | 0 | 0 | 6659 0 | 0 | 0 0.39/0.40 c 0.0s | 0 | 343 | 0 | 6659 0 | 0 | 0 0.39/0.40 c #cpu_time = 0.010s 0.39/0.40 c #wall_clock_time = 0.010s 0.39/0.40 c #decision = 343 0.39/0.40 c #random_decision = 0 0.39/0.40 c #conflict = 0 0.39/0.40 c #restart = 0 0.39/0.40 c BCD2: found a new core of size 14: cost of the new core is >=1 0.39/0.40 c lower bound updated to 15 0.39/0.40 c BCD2: 15 <= obj <= 395 0.39/0.40 c BCD2: #cores=15, #unrelaxed=318, #relaxed=182, #hardened=0 0.39/0.40 c BCD2: #sat=1 #unsat=16 bias=16/17 0.39/0.40 c Solving starts ... 0.39/0.40 c ============================[ Search Statistics ]============================ 0.39/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.40 c | | | | Limit GC | Var | Constra 0.39/0.40 c ============================================================================= 0.39/0.40 c 0.0s | 0 | 0 | 0 | 6659 0 | 0 | 0 0.39/0.42 c 0.0s | 0 | 1398 | 0 | 6659 0 | 0 | 0 0.39/0.42 c #cpu_time = 0.015s 0.39/0.42 c #wall_clock_time = 0.015s 0.39/0.42 c #decision = 1398 0.39/0.42 c #random_decision = 0 0.39/0.42 c #conflict = 0 0.39/0.42 c #restart = 0 0.39/0.42 o 106 0.39/0.42 c BCD2: updating upper bound: 395 -> 105 0.39/0.42 c BCD2: 15 <= obj <= 105 0.39/0.42 c BCD2: #cores=15, #unrelaxed=318, #relaxed=182, #hardened=0 0.39/0.42 c BCD2: #sat=2 #unsat=16 bias=16/18 0.39/0.43 c Solving starts ... 0.39/0.43 c ============================[ Search Statistics ]============================ 0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.43 c | | | | Limit GC | Var | Constra 0.39/0.43 c ============================================================================= 0.39/0.43 c 0.0s | 0 | 0 | 0 | 6659 0 | 0 | 1 0.39/0.44 c 0.0s | 0 | 1227 | 1 | 6659 0 | 0 | 1 0.39/0.44 c #cpu_time = 0.015s 0.39/0.44 c #wall_clock_time = 0.015s 0.39/0.44 c #decision = 1227 0.39/0.44 c #random_decision = 3 0.39/0.44 c #conflict = 1 0.39/0.44 c #restart = 0 0.39/0.44 o 91 0.39/0.44 c BCD2: updating upper bound: 105 -> 90 0.39/0.45 c BCD2: 15 <= obj <= 90 0.39/0.45 c BCD2: #cores=15, #unrelaxed=318, #relaxed=182, #hardened=0 0.39/0.45 c BCD2: #sat=3 #unsat=16 bias=16/19 0.39/0.45 c Solving starts ... 0.39/0.45 c ============================[ Search Statistics ]============================ 0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.45 c | | | | Limit GC | Var | Constra 0.39/0.45 c ============================================================================= 0.39/0.45 c 0.0s | 0 | 0 | 0 | 6659 0 | 0 | 2 0.49/0.52 c 0.1s | 1 | 564 | 100 | 7325 0 | 0 | 2 0.59/0.65 c 0.2s | 2 | 1188 | 250 | 7325 0 | 0 | 2 0.59/0.69 c 0.2s | 2 | 2064 | 251 | 8058 0 | 0 | 2 0.59/0.69 c #cpu_time = 0.230s 0.59/0.69 c #wall_clock_time = 0.231s 0.59/0.69 c #decision = 2064 0.59/0.69 c #random_decision = 7 0.59/0.69 c #conflict = 251 0.59/0.69 c #restart = 2 0.59/0.69 o 74 0.59/0.69 c BCD2: updating upper bound: 90 -> 73 0.59/0.69 c BCD2: 15 <= obj <= 73 0.59/0.69 c BCD2: #cores=15, #unrelaxed=318, #relaxed=182, #hardened=0 0.59/0.69 c BCD2: #sat=4 #unsat=16 bias=16/20 0.59/0.69 c Solving starts ... 0.59/0.69 c ============================[ Search Statistics ]============================ 0.59/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.69 c | | | | Limit GC | Var | Constra 0.59/0.69 c ============================================================================= 0.59/0.69 c 0.0s | 0 | 0 | 0 | 8058 0 | 0 | 3 0.68/0.79 c 0.1s | 1 | 580 | 100 | 8058 0 | 0 | 3 0.88/0.90 c 0.2s | 1 | 1019 | 182 | 8058 0 | 0 | 3 0.88/0.90 c #cpu_time = 0.209s 0.88/0.90 c #wall_clock_time = 0.210s 0.88/0.90 c #decision = 1019 0.88/0.90 c #random_decision = 2 0.88/0.90 c #conflict = 182 0.88/0.90 c #restart = 1 0.88/0.91 c BCD2: relaxing 303 and merging with 14 cores into a new core of size 474: cost of the new core is >=15 0.88/0.91 c lower bound updated to 16 0.88/0.91 c BCD2: 16 <= obj <= 73 0.88/0.91 c BCD2: #cores=2, #unrelaxed=15, #relaxed=485, #hardened=0 0.88/0.91 c BCD2: #sat=4 #unsat=17 bias=17/21 0.88/0.91 c Solving starts ... 0.88/0.91 c ============================[ Search Statistics ]============================ 0.88/0.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.88/0.91 c | | | | Limit GC | Var | Constra 0.88/0.91 c ============================================================================= 0.88/0.91 c 0.0s | 0 | 0 | 0 | 8058 0 | 65 | 3 0.98/1.10 c 0.2s | 1 | 1038 | 100 | 8864 0 | 65 | 119 1.38/1.47 c 0.6s | 2 | 1973 | 250 | 8864 0 | 65 | 119 2.30/2.31 c 1.4s | 3 | 2762 | 475 | 9751 0 | 65 | 119 3.40/3.47 c 2.6s | 4 | 4316 | 813 | 9751 0 | 65 | 119 4.99/5.07 c 4.2s | 5 | 6640 | 1320 | 10727 0 | 65 | 119 7.19/7.26 c 6.4s | 5 | 8708 | 2020 | 11800 0 | 65 | 119 7.39/7.45 c 6.5s | 6 | 9099 | 2081 | 11800 0 | 65 | 119 9.69/9.71 c 8.8s | 6 | 11941 | 2781 | 11800 0 | 65 | 119 11.59/11.60 c 10.7s | 7 | 14239 | 3223 | 12981 0 | 65 | 119 13.69/13.72 c 12.8s | 7 | 17387 | 3723 | 12981 0 | 65 | 119 15.69/15.75 c 14.8s | 7 | 20610 | 4223 | 12981 0 | 65 | 119 17.79/17.83 c 16.9s | 7 | 22907 | 4723 | 14280 0 | 65 | 119 18.69/18.78 c 17.9s | 8 | 23700 | 4936 | 14280 0 | 65 | 119 20.79/20.85 c 19.9s | 8 | 26020 | 5436 | 14280 0 | 65 | 119 22.99/23.02 c 22.1s | 8 | 28517 | 5936 | 14280 0 | 65 | 119 25.29/25.32 c 24.4s | 8 | 30436 | 6436 | 14280 0 | 65 | 119 27.68/27.75 c 26.8s | 8 | 32828 | 6936 | 14280 0 | 65 | 119 30.18/30.20 c 29.3s | 8 | 34695 | 7436 | 15709 0 | 65 | 119 30.48/30.53 c 29.6s | 9 | 35054 | 7506 | 15709 0 | 65 | 119 32.88/32.95 c 32.0s | 9 | 37016 | 8006 | 15709 0 | 65 | 119 35.38/35.40 c 34.5s | 9 | 39173 | 8506 | 15709 0 | 65 | 119 37.68/37.72 c 36.8s | 9 | 40690 | 9006 | 15709 0 | 65 | 119 40.08/40.11 c 39.2s | 9 | 42349 | 9506 | 15709 0 | 65 | 119 42.08/42.12 c 41.2s | 9 | 43966 | 9906 | 15709 0 | 65 | 119 44.28/44.37 c 43.5s | 9 | 45975 | 10406 | 15709 0 | 65 | 119 46.48/46.59 c 45.7s | 9 | 47754 | 10806 | 15709 0 | 65 | 119 49.08/49.17 c 48.3s | 9 | 50265 | 11306 | 17280 0 | 65 | 119 49.38/49.45 c 48.5s | 10 | 50606 | 11361 | 17280 0 | 65 | 119 51.48/51.50 c 50.6s | 10 | 52536 | 11761 | 17280 0 | 65 | 119 53.78/53.83 c 52.9s | 10 | 55578 | 12261 | 17280 0 | 65 | 119 55.88/55.92 c 55.0s | 10 | 57198 | 12661 | 17280 0 | 65 | 119 58.29/58.33 c 57.4s | 10 | 60284 | 13161 | 17280 0 | 65 | 119 60.38/60.40 c 59.5s | 10 | 62368 | 13561 | 17280 0 | 65 | 119 62.38/62.49 c 61.6s | 10 | 64459 | 13961 | 17280 0 | 65 | 119 64.58/64.61 c 63.7s | 10 | 66965 | 14361 | 17280 0 | 65 | 119 66.68/66.72 c 65.8s | 10 | 68481 | 14761 | 17280 0 | 65 | 119 68.78/68.87 c 68.0s | 10 | 71196 | 15161 | 17280 0 | 65 | 119 70.98/71.02 c 70.1s | 10 | 73341 | 15561 | 17280 0 | 65 | 119 73.28/73.33 c 72.4s | 10 | 75335 | 16061 | 17280 0 | 65 | 119 75.58/75.61 c 74.7s | 10 | 77333 | 16461 | 17280 0 | 65 | 119 77.58/77.65 c 76.7s | 10 | 79269 | 16861 | 19008 0 | 65 | 119 79.08/79.20 c 78.3s | 11 | 80658 | 17144 | 19008 0 | 65 | 119 81.28/81.32 c 80.4s | 11 | 82831 | 17544 | 19008 0 | 65 | 119 83.48/83.51 c 82.6s | 11 | 84846 | 17944 | 19008 0 | 65 | 119 85.68/85.72 c 84.8s | 11 | 86696 | 18344 | 19008 0 | 65 | 119 87.98/88.06 c 87.2s | 11 | 88480 | 18744 | 19008 0 | 65 | 119 90.47/90.54 c 89.6s | 11 | 90133 | 19144 | 19008 0 | 65 | 119 93.07/93.10 c 92.2s | 11 | 91664 | 19544 | 19008 0 | 65 | 119 95.37/95.40 c 94.5s | 11 | 92976 | 19944 | 19008 0 | 65 | 119 97.67/97.71 c 96.8s | 11 | 94092 | 20344 | 19008 1 | 65 | 119 99.67/99.78 c 98.9s | 11 | 95575 | 20744 | 19008 1 | 65 | 119 102.08/102.13 c 101s | 11 | 97389 | 21244 | 19008 1 | 65 | 119 104.38/104.42 c 103s | 11 | 98980 | 21744 | 19008 1 | 65 | 119 106.68/106.79 c 105s | 11 | 102143 | 22244 | 19008 1 | 65 | 119 109.08/109.13 c 108s | 11 | 103952 | 22744 | 19008 1 | 65 | 119 111.48/111.51 c 110s | 11 | 107083 | 23244 | 19008 1 | 65 | 119 113.78/113.80 c 112s | 11 | 109510 | 23744 | 19008 1 | 65 | 119 115.88/115.96 c 115s | 11 | 111578 | 24144 | 19008 1 | 65 | 119 118.18/118.23 c 117s | 11 | 113068 | 24544 | 19008 1 | 65 | 119 120.27/120.35 c 119s | 11 | 115348 | 24944 | 19008 1 | 65 | 119 122.47/122.56 c 121s | 11 | 118000 | 25344 | 20909 1 | 65 | 119 124.67/124.79 c 123s | 11 | 119672 | 25744 | 20909 1 | 65 | 119 125.17/125.25 c 124s | 12 | 119895 | 25819 | 20909 1 | 65 | 119 127.77/127.88 c 126s | 12 | 121605 | 26219 | 20909 1 | 65 | 119 130.37/130.43 c 129s | 12 | 123598 | 26619 | 20909 1 | 65 | 119 132.97/133.03 c 132s | 12 | 125542 | 27019 | 20909 1 | 65 | 119 135.47/135.52 c 134s | 12 | 128033 | 27419 | 20909 1 | 65 | 119 137.97/138.05 c 137s | 12 | 130161 | 27819 | 20909 1 | 65 | 119 139.97/140.07 c 139s | 12 | 131423 | 28119 | 20909 1 | 65 | 119 142.57/142.61 c 141s | 12 | 133309 | 28519 | 20909 1 | 65 | 119 144.97/145.04 c 144s | 12 | 135251 | 28919 | 20909 1 | 65 | 119 147.38/147.49 c 146s | 12 | 136512 | 29319 | 20909 1 | 65 | 119 149.87/149.93 c 149s | 12 | 137952 | 29719 | 20909 1 | 65 | 119 152.07/152.14 c 151s | 12 | 139304 | 30119 | 20909 1 | 65 | 119 154.37/154.43 c 153s | 12 | 140616 | 30519 | 20909 1 | 65 | 119 156.97/157.01 c 156s | 12 | 142803 | 30919 | 20909 1 | 65 | 119 159.37/159.44 c 158s | 12 | 144919 | 31319 | 20909 1 | 65 | 119 161.97/162.01 c 161s | 12 | 146913 | 31719 | 20909 1 | 65 | 119 164.37/164.44 c 163s | 12 | 148953 | 32119 | 20909 1 | 65 | 119 166.77/166.87 c 165s | 12 | 150559 | 32519 | 20909 2 | 65 | 119 169.27/169.31 c 168s | 12 | 152143 | 32919 | 20909 2 | 65 | 119 171.57/171.62 c 170s | 12 | 153849 | 33319 | 20909 2 | 65 | 119 173.87/173.92 c 173s | 12 | 155481 | 33719 | 20909 2 | 65 | 119 176.07/176.16 c 175s | 12 | 157376 | 34119 | 20909 2 | 65 | 119 178.36/178.49 c 177s | 12 | 158801 | 34519 | 20909 2 | 65 | 119 180.96/181.04 c 180s | 12 | 160635 | 34919 | 20909 2 | 65 | 119 183.16/183.28 c 182s | 12 | 162395 | 35319 | 20909 2 | 65 | 119 185.36/185.46 c 184s | 12 | 163735 | 35719 | 20909 2 | 65 | 119 187.56/187.64 c 186s | 12 | 164727 | 36119 | 20909 2 | 65 | 119 189.76/189.87 c 188s | 12 | 165941 | 36519 | 20909 2 | 65 | 119 191.96/192.07 c 191s | 12 | 167461 | 36919 | 20909 2 | 65 | 119 193.96/194.07 c 193s | 12 | 169127 | 37319 | 20909 2 | 65 | 119 196.06/196.18 c 195s | 12 | 170789 | 37719 | 20909 2 | 65 | 119 198.46/198.56 c 197s | 12 | 172419 | 38119 | 20909 2 | 65 | 119 200.76/200.86 c 199s | 12 | 174038 | 38519 | 23000 2 | 65 | 119 202.47/202.55 c 201s | 13 | 175408 | 38832 | 23000 2 | 65 | 119 204.96/205.09 c 204s | 13 | 177572 | 39332 | 23000 2 | 65 | 119 207.26/207.39 c 206s | 13 | 179399 | 39732 | 23000 2 | 65 | 119 209.56/209.65 c 208s | 13 | 180762 | 40132 | 23000 2 | 65 | 119 211.76/211.81 c 210s | 13 | 182528 | 40532 | 23000 2 | 65 | 119 214.05/214.11 c 213s | 13 | 184412 | 40932 | 23000 2 | 65 | 119 216.35/216.41 c 215s | 13 | 186266 | 41332 | 23000 2 | 65 | 119 218.65/218.74 c 217s | 13 | 188294 | 41732 | 23000 2 | 65 | 119 220.95/221.10 c 220s | 13 | 189825 | 42132 | 23000 2 | 65 | 119 223.26/223.39 c 222s | 13 | 191302 | 42532 | 23000 2 | 65 | 119 225.95/226.01 c 225s | 13 | 192814 | 42932 | 23000 2 | 65 | 119 228.35/228.49 c 227s | 13 | 194051 | 43332 | 23000 2 | 65 | 119 230.45/230.57 c 229s | 13 | 195527 | 43632 | 23000 2 | 65 | 119 233.05/233.10 c 232s | 13 | 197196 | 44032 | 23000 2 | 65 | 119 235.46/235.51 c 234s | 13 | 199782 | 44432 | 23000 2 | 65 | 119 237.56/237.63 c 236s | 13 | 201138 | 44732 | 23000 2 | 65 | 119 240.15/240.29 c 239s | 13 | 202989 | 45132 | 23000 2 | 65 | 119 242.15/242.30 c 241s | 13 | 204037 | 45432 | 23000 3 | 65 | 119 244.55/244.67 c 243s | 13 | 205906 | 45832 | 23000 3 | 65 | 119 246.85/246.92 c 246s | 13 | 207114 | 46232 | 23000 3 | 65 | 119 249.05/249.13 c 248s | 13 | 208596 | 46632 | 23000 3 | 65 | 119 251.15/251.29 c 250s | 13 | 210305 | 47032 | 23000 3 | 65 | 119 253.45/253.55 c 252s | 13 | 211974 | 47432 | 23000 3 | 65 | 119 255.65/255.72 c 254s | 13 | 214043 | 47832 | 23000 3 | 65 | 119 257.65/257.78 c 256s | 13 | 215891 | 48232 | 23000 3 | 65 | 119 259.85/259.98 c 259s | 13 | 217961 | 48632 | 23000 3 | 65 | 119 262.05/262.19 c 261s | 13 | 219700 | 49032 | 23000 3 | 65 | 119 264.24/264.37 c 263s | 13 | 221908 | 49432 | 23000 3 | 65 | 119 266.54/266.65 c 265s | 13 | 224796 | 49932 | 23000 3 | 65 | 119 268.94/269.07 c 268s | 13 | 226713 | 50332 | 23000 3 | 65 | 119 271.24/271.38 c 270s | 13 | 228706 | 50732 | 23000 3 | 65 | 119 273.64/273.72 c 272s | 13 | 230483 | 51132 | 23000 3 | 65 | 119 276.05/276.14 c 275s | 13 | 232254 | 51632 | 23000 3 | 65 | 119 278.14/278.20 c 277s | 13 | 233885 | 52032 | 23000 3 | 65 | 119 280.14/280.28 c 279s | 13 | 235498 | 52432 | 23000 3 | 65 | 119 282.44/282.58 c 281s | 13 | 236928 | 52832 | 23000 3 | 65 | 119 284.54/284.60 c 283s | 13 | 238472 | 53232 | 23000 3 | 65 | 119 286.74/286.87 c 285s | 13 | 241053 | 53732 | 23000 3 | 65 | 119 288.94/289.01 c 288s | 13 | 243496 | 54132 | 23000 3 | 65 | 119 291.34/291.43 c 290s | 13 | 245587 | 54632 | 23000 3 | 65 | 119 293.75/293.83 c 292s | 13 | 247941 | 55132 | 23000 3 | 65 | 119 296.14/296.24 c 295s | 13 | 250117 | 55632 | 23000 3 | 65 | 119 298.54/298.66 c 297s | 13 | 252768 | 56132 | 23000 3 | 65 | 119 300.74/300.88 c 299s | 13 | 253874 | 56532 | 23000 3 | 65 | 119 303.04/303.12 c 302s | 13 | 255745 | 56932 | 23000 3 | 65 | 119 305.14/305.29 c 304s | 13 | 257294 | 57332 | 23000 3 | 65 | 119 307.35/307.42 c 306s | 13 | 259013 | 57732 | 25301 4 | 65 | 119 309.65/309.77 c 308s | 13 | 261539 | 58232 | 25301 4 | 65 | 119 310.25/310.35 c 309s | 14 | 262409 | 58352 | 25301 4 | 65 | 119 312.45/312.58 c 311s | 14 | 264631 | 58852 | 25301 4 | 65 | 119 314.95/315.03 c 314s | 14 | 267168 | 59352 | 25301 4 | 65 | 119 317.05/317.13 c 316s | 14 | 268858 | 59752 | 25301 4 | 65 | 119 319.35/319.44 c 318s | 14 | 270656 | 60152 | 25301 4 | 65 | 119 321.55/321.64 c 320s | 14 | 271910 | 60552 | 25301 4 | 65 | 119 323.64/323.74 c 322s | 14 | 273436 | 60952 | 25301 4 | 65 | 119 325.94/326.03 c 325s | 14 | 274966 | 61352 | 25301 4 | 65 | 119 328.04/328.15 c 327s | 14 | 276160 | 61752 | 25301 4 | 65 | 119 330.34/330.42 c 329s | 14 | 277590 | 62152 | 25301 4 | 65 | 119 332.44/332.55 c 331s | 14 | 278869 | 62552 | 25301 4 | 65 | 119 334.84/334.99 c 334s | 14 | 280792 | 62952 | 25301 4 | 65 | 119 337.14/337.27 c 336s | 14 | 283016 | 63352 | 25301 4 | 65 | 119 339.34/339.42 c 338s | 14 | 284887 | 63752 | 25301 4 | 65 | 119 341.64/341.70 c 340s | 14 | 286622 | 64152 | 25301 4 | 65 | 119 343.84/343.93 c 343s | 14 | 288457 | 64552 | 25301 4 | 65 | 119 345.94/346.03 c 345s | 14 | 290038 | 64952 | 25301 4 | 65 | 119 348.14/348.20 c 347s | 14 | 291484 | 65352 | 25301 4 | 65 | 119 350.54/350.62 c 349s | 14 | 293175 | 65752 | 25301 4 | 65 | 119 352.84/352.95 c 352s | 14 | 294746 | 66152 | 25301 4 | 65 | 119 355.44/355.55 c 354s | 14 | 296770 | 66552 | 25301 4 | 65 | 119 357.45/357.59 c 356s | 14 | 298309 | 66852 | 25301 4 | 65 | 119 359.65/359.71 c 358s | 14 | 299964 | 67152 | 25301 4 | 65 | 119 362.14/362.25 c 361s | 14 | 301671 | 67552 | 25301 4 | 65 | 119 364.74/364.86 c 363s | 14 | 303867 | 67952 | 25301 4 | 65 | 119 367.34/367.49 c 366s | 14 | 305548 | 68352 | 25301 4 | 65 | 119 369.84/369.96 c 369s | 14 | 307605 | 68752 | 25301 4 | 65 | 119 372.24/372.34 c 371s | 14 | 309315 | 69152 | 25301 4 | 65 | 119 374.64/374.71 c 373s | 14 | 310922 | 69552 | 25301 4 | 65 | 119 377.04/377.10 c 376s | 14 | 313166 | 70052 | 25301 4 | 65 | 119 379.24/379.37 c 378s | 14 | 315133 | 70452 | 25301 4 | 65 | 119 381.34/381.48 c 380s | 14 | 317503 | 70852 | 25301 4 | 65 | 119 383.63/383.77 c 382s | 14 | 319206 | 71252 | 25301 4 | 65 | 119 385.83/385.97 c 385s | 14 | 320920 | 71652 | 25301 4 | 65 | 119 388.03/388.17 c 387s | 14 | 322871 | 72052 | 25301 5 | 65 | 119 390.54/390.64 c 389s | 14 | 324553 | 72452 | 25301 5 | 65 | 119 392.93/393.05 c 392s | 14 | 326353 | 72852 | 25301 5 | 65 | 119 395.33/395.46 c 394s | 14 | 327779 | 73252 | 25301 5 | 65 | 119 397.63/397.73 c 396s | 14 | 329721 | 73652 | 25301 5 | 65 | 119 400.03/400.12 c 399s | 14 | 331971 | 74052 | 25301 5 | 65 | 119 402.43/402.56 c 401s | 14 | 333414 | 74452 | 25301 5 | 65 | 119 405.03/405.15 c 404s | 14 | 335137 | 74852 | 25301 5 | 65 | 119 407.04/407.16 c 406s | 14 | 336260 | 75152 | 25301 5 | 65 | 119 409.53/409.68 c 408s | 14 | 338177 | 75552 | 25301 5 | 65 | 119 411.73/411.89 c 410s | 14 | 339533 | 75952 | 25301 5 | 65 | 119 413.83/413.92 c 413s | 14 | 341399 | 76352 | 25301 5 | 65 | 119 416.03/416.14 c 415s | 14 | 343439 | 76752 | 25301 5 | 65 | 119 418.63/418.73 c 417s | 14 | 345945 | 77252 | 25301 5 | 65 | 119 420.83/420.93 c 420s | 14 | 347973 | 77652 | 25301 5 | 65 | 119 422.93/423.09 c 422s | 14 | 349759 | 78052 | 25301 5 | 65 | 119 425.13/425.28 c 424s | 14 | 351597 | 78452 | 25301 5 | 65 | 119 427.43/427.54 c 426s | 14 | 353037 | 78852 | 25301 5 | 65 | 119 429.83/429.91 c 429s | 14 | 354576 | 79252 | 25301 5 | 65 | 119 432.23/432.33 c 431s | 14 | 356074 | 79652 | 25301 5 | 65 | 119 434.53/434.61 c 433s | 14 | 357558 | 80052 | 25301 5 | 65 | 119 436.83/436.94 c 436s | 14 | 359379 | 80452 | 25301 5 | 65 | 119 439.23/439.39 c 438s | 14 | 360841 | 80852 | 25301 5 | 65 | 119 441.52/441.66 c 440s | 14 | 362318 | 81252 | 25301 5 | 65 | 119 443.82/443.96 c 443s | 14 | 363662 | 81652 | 25301 5 | 65 | 119 446.12/446.26 c 445s | 14 | 365074 | 82052 | 25301 5 | 65 | 119 448.52/448.60 c 447s | 14 | 366693 | 82452 | 25301 5 | 65 | 119 450.82/450.97 c 450s | 14 | 367947 | 82852 | 25301 5 | 65 | 119 453.32/453.45 c 452s | 14 | 369305 | 83252 | 25301 5 | 65 | 119 455.62/455.73 c 454s | 14 | 370920 | 83652 | 25301 5 | 65 | 119 457.72/457.82 c 456s | 14 | 372190 | 84052 | 25301 5 | 65 | 119 459.92/460.08 c 459s | 14 | 373775 | 84452 | 25301 5 | 65 | 119 462.22/462.33 c 461s | 14 | 375308 | 84852 | 25301 5 | 65 | 119 464.42/464.56 c 463s | 14 | 377087 | 85252 | 25301 5 | 65 | 119 466.92/467.01 c 466s | 14 | 378679 | 85652 | 25301 6 | 65 | 119 469.22/469.38 c 468s | 14 | 380856 | 86052 | 25301 6 | 65 | 119 471.42/471.53 c 470s | 14 | 382881 | 86452 | 25301 6 | 65 | 119 473.62/473.71 c 472s | 14 | 384050 | 86852 | 27832 6 | 65 | 119 475.72/475.83 c 474s | 14 | 385954 | 87252 | 27832 6 | 65 | 119 477.72/477.83 c 476s | 15 | 387612 | 87632 | 27832 6 | 65 | 119 479.92/480.03 c 479s | 15 | 389332 | 88032 | 27832 6 | 65 | 119 482.12/482.20 c 481s | 15 | 390902 | 88432 | 27832 6 | 65 | 119 484.32/484.41 c 483s | 15 | 392459 | 88832 | 27832 6 | 65 | 119 486.42/486.58 c 485s | 15 | 394200 | 89232 | 27832 6 | 65 | 119 488.62/488.76 c 487s | 15 | 396033 | 89632 | 27832 6 | 65 | 119 490.82/490.91 c 490s | 15 | 397795 | 90032 | 27832 6 | 65 | 119 492.82/492.93 c 492s | 15 | 399337 | 90432 | 27832 6 | 65 | 119 495.02/495.12 c 494s | 15 | 400837 | 90832 | 27832 6 | 65 | 119 497.22/497.32 c 496s | 15 | 402219 | 91232 | 27832 6 | 65 | 119 499.42/499.58 c 498s | 15 | 403740 | 91632 | 27832 6 | 65 | 119 501.52/501.66 c 500s | 15 | 405245 | 92032 | 27832 6 | 65 | 119 503.72/503.86 c 502s | 15 | 406873 | 92432 | 27832 6 | 65 | 119 506.02/506.12 c 505s | 15 | 408865 | 92832 | 27832 6 | 65 | 119 508.12/508.29 c 507s | 15 | 410931 | 93232 | 27832 6 | 65 | 119 510.32/510.48 c 509s | 15 | 412633 | 93632 | 27832 6 | 65 | 119 512.41/512.59 c 511s | 15 | 415101 | 94032 | 27832 6 | 65 | 119 514.72/514.84 c 513s | 15 | 417376 | 94432 | 27832 6 | 65 | 119 516.92/517.10 c 516s | 15 | 419188 | 94832 | 27832 6 | 65 | 119 519.12/519.24 c 518s | 15 | 421609 | 95232 | 27832 6 | 65 | 119 521.42/521.55 c 520s | 15 | 423607 | 95632 | 27832 6 | 65 | 119 523.62/523.79 c 522s | 15 | 425655 | 96032 | 27832 6 | 65 | 119 525.91/526.03 c 525s | 15 | 427252 | 96432 | 27832 6 | 65 | 119 528.21/528.31 c 527s | 15 | 429026 | 96832 | 27832 6 | 65 | 119 530.61/530.74 c 529s | 15 | 430936 | 97232 | 27832 6 | 65 | 119 532.81/532.99 c 532s | 15 | 432968 | 97632 | 27832 6 | 65 | 119 535.11/535.22 c 534s | 15 | 435139 | 98032 | 27832 6 | 65 | 119 537.31/537.46 c 536s | 15 | 436930 | 98432 | 27832 6 | 65 | 119 539.81/539.92 c 539s | 15 | 439139 | 98832 | 27832 6 | 65 | 119 542.11/542.21 c 541s | 15 | 440778 | 99232 | 27832 6 | 65 | 119 544.21/544.38 c 543s | 15 | 442397 | 99632 | 27832 6 | 65 | 119 546.41/546.55 c 545s | 15 | 444266 | 100032 | 27832 6 | 65 | 119 548.71/548.85 c 547s | 15 | 445931 | 100432 | 27832 6 | 65 | 119 551.11/551.24 c 550s | 15 | 447349 | 100832 | 27832 6 | 65 | 119 553.11/553.25 c 552s | 15 | 448800 | 101132 | 27832 7 | 65 | 119 555.11/555.26 c 554s | 15 | 451585 | 101532 | 27832 7 | 65 | 119 557.21/557.30 c 556s | 15 | 453546 | 101932 | 27832 7 | 65 | 119 559.21/559.35 c 558s | 15 | 455009 | 102332 | 27832 7 | 65 | 119 561.20/561.37 c 560s | 15 | 457527 | 102632 | 27832 7 | 65 | 119 563.40/563.58 c 562s | 15 | 459952 | 103032 | 27832 7 | 65 | 119 565.60/565.75 c 564s | 15 | 461561 | 103432 | 27832 7 | 65 | 119 568.00/568.13 c 567s | 15 | 463474 | 103832 | 27832 7 | 65 | 119 570.20/570.38 c 569s | 15 | 464727 | 104232 | 27832 7 | 65 | 119 572.60/572.71 c 571s | 15 | 466392 | 104632 | 27832 7 | 65 | 119 574.90/575.02 c 574s | 15 | 467824 | 105032 | 27832 7 | 65 | 119 577.30/577.45 c 576s | 15 | 469345 | 105432 | 27832 7 | 65 | 119 579.71/579.84 c 578s | 15 | 470873 | 105832 | 27832 7 | 65 | 119 582.20/582.31 c 581s | 15 | 472216 | 106232 | 27832 7 | 65 | 119 584.40/584.55 c 583s | 15 | 473530 | 106632 | 27832 7 | 65 | 119 586.70/586.84 c 585s | 15 | 474885 | 107032 | 27832 7 | 65 | 119 588.80/588.94 c 588s | 15 | 476497 | 107432 | 27832 7 | 65 | 119 591.20/591.30 c 590s | 15 | 478186 | 107932 | 27832 7 | 65 | 119 593.30/593.48 c 592s | 15 | 479237 | 108332 | 27832 7 | 65 | 119 595.90/596.01 c 595s | 15 | 481576 | 108832 | 27832 7 | 65 | 119 598.00/598.14 c 597s | 15 | 483525 | 109232 | 27832 7 | 65 | 119 600.30/600.42 c 599s | 15 | 485616 | 109632 | 27832 7 | 65 | 119 602.40/602.56 c 601s | 15 | 487381 | 110032 | 27832 7 | 65 | 119 604.50/604.67 c 603s | 15 | 488952 | 110432 | 27832 7 | 65 | 119 606.49/606.68 c 605s | 15 | 490248 | 110832 | 27832 7 | 65 | 119 608.59/608.71 c 607s | 15 | 492351 | 111232 | 27832 7 | 65 | 119 610.89/611.07 c 610s | 15 | 494470 | 111632 | 27832 7 | 65 | 119 612.99/613.11 c 612s | 15 | 496357 | 112032 | 27832 7 | 65 | 119 615.09/615.25 c 614s | 15 | 498330 | 112432 | 27832 7 | 65 | 119 617.29/617.41 c 616s | 15 | 500805 | 112832 | 27832 7 | 65 | 119 619.39/619.58 c 618s | 15 | 502374 | 113232 | 27832 7 | 65 | 119 621.40/621.60 c 620s | 15 | 503607 | 113632 | 27832 7 | 65 | 119 623.99/624.11 c 623s | 15 | 505562 | 114032 | 27832 7 | 65 | 119 626.29/626.44 c 625s | 15 | 507723 | 114432 | 27832 7 | 65 | 119 628.59/628.77 c 627s | 15 | 510185 | 114832 | 27832 7 | 65 | 119 630.59/630.78 c 629s | 15 | 511340 | 115132 | 27832 7 | 65 | 119 633.09/633.27 c 632s | 15 | 512963 | 115532 | 27832 7 | 65 | 119 635.49/635.65 c 634s | 15 | 514363 | 115932 | 27832 8 | 65 | 119 637.69/637.82 c 636s | 15 | 516483 | 116332 | 27832 8 | 65 | 119 640.10/640.29 c 639s | 15 | 519596 | 116832 | 27832 8 | 65 | 119 642.59/642.78 c 641s | 15 | 522576 | 117332 | 27832 8 | 65 | 119 644.89/645.07 c 644s | 15 | 525231 | 117832 | 27832 8 | 65 | 119 647.19/647.30 c 646s | 15 | 527377 | 118232 | 27832 8 | 65 | 119 649.49/649.66 c 648s | 15 | 529087 | 118632 | 27832 8 | 65 | 119 651.69/651.84 c 650s | 15 | 531240 | 119032 | 27832 8 | 65 | 119 653.79/653.94 c 653s | 15 | 532606 | 119432 | 27832 8 | 65 | 119 655.99/656.17 c 655s | 15 | 534268 | 119832 | 27832 8 | 65 | 119 658.29/658.44 c 657s | 15 | 535612 | 120232 | 27832 8 | 65 | 119 660.39/660.59 c 659s | 15 | 537127 | 120632 | 27832 8 | 65 | 119 662.69/662.86 c 661s | 15 | 538801 | 121032 | 27832 8 | 65 | 119 664.69/664.87 c 663s | 15 | 540307 | 121432 | 27832 8 | 65 | 119 666.79/666.99 c 666s | 15 | 541966 | 121832 | 27832 8 | 65 | 119 668.99/669.14 c 668s | 15 | 543772 | 122232 | 27832 8 | 65 | 119 671.09/671.30 c 670s | 15 | 545720 | 122632 | 27832 8 | 65 | 119 673.28/673.42 c 672s | 15 | 547552 | 123032 | 27832 8 | 65 | 119 675.78/675.93 c 675s | 15 | 549563 | 123532 | 27832 8 | 65 | 119 677.88/678.05 c 677s | 15 | 551004 | 123932 | 27832 8 | 65 | 119 679.98/680.19 c 679s | 15 | 552498 | 124332 | 27832 8 | 65 | 119 682.38/682.50 c 681s | 15 | 554930 | 124832 | 27832 8 | 65 | 119 684.68/684.87 c 683s | 15 | 556999 | 125332 | 27832 8 | 65 | 119 687.08/687.28 c 686s | 15 | 558891 | 125832 | 27832 8 | 65 | 119 689.38/689.53 c 688s | 15 | 560397 | 126232 | 27832 8 | 65 | 119 691.58/691.75 c 690s | 15 | 562273 | 126632 | 27832 8 | 65 | 119 693.78/693.95 c 693s | 15 | 564501 | 127032 | 27832 8 | 65 | 119 696.19/696.30 c 695s | 15 | 567053 | 127432 | 27832 8 | 65 | 119 698.49/698.65 c 697s | 15 | 568480 | 127832 | 27832 8 | 65 | 119 700.69/700.84 c 699s | 15 | 570586 | 128232 | 27832 8 | 65 | 119 702.98/703.15 c 702s | 15 | 572270 | 128632 | 27832 8 | 65 | 119 705.28/705.47 c 704s | 15 | 573836 | 129032 | 27832 8 | 65 | 119 707.78/707.93 c 707s | 15 | 575394 | 129432 | 27832 8 | 65 | 119 710.28/710.43 c 709s | 15 | 576731 | 129832 | 27832 8 | 65 | 119 712.69/712.83 c 711s | 15 | 577966 | 130232 | 30616 8 | 65 | 119 714.99/715.18 c 714s | 15 | 579632 | 130632 | 30616 8 | 65 | 119 717.38/717.56 c 716s | 15 | 581808 | 131032 | 30616 8 | 65 | 119 719.98/720.11 c 719s | 15 | 583973 | 131432 | 30616 8 | 65 | 119 720.68/720.86 c 719s | 16 | 584680 | 131552 | 30616 8 | 65 | 119 723.08/723.27 c 722s | 16 | 586787 | 131952 | 30616 8 | 65 | 119 725.48/725.64 c 724s | 16 | 588003 | 132352 | 30616 8 | 65 | 119 728.28/728.46 c 727s | 16 | 589876 | 132752 | 30616 9 | 65 | 119 730.38/730.57 c 729s | 16 | 590957 | 133052 | 30616 9 | 65 | 119 732.48/732.66 c 731s | 16 | 592533 | 133452 | 30616 9 | 65 | 119 734.47/734.69 c 733s | 16 | 594065 | 133852 | 30616 9 | 65 | 119 737.07/737.20 c 736s | 16 | 596374 | 134352 | 30616 9 | 65 | 119 739.18/739.31 c 738s | 16 | 598136 | 134752 | 30616 9 | 65 | 119 741.17/741.39 c 740s | 16 | 600125 | 135152 | 30616 9 | 65 | 119 743.37/743.54 c 742s | 16 | 601311 | 135552 | 30616 9 | 65 | 119 745.78/745.97 c 745s | 16 | 603046 | 135952 | 30616 9 | 65 | 119 748.47/748.63 c 747s | 16 | 605038 | 136352 | 30616 9 | 65 | 119 750.47/750.65 c 749s | 16 | 606175 | 136652 | 30616 9 | 65 | 119 752.57/752.79 c 751s | 16 | 607494 | 136952 | 30616 9 | 65 | 119 754.67/754.80 c 753s | 16 | 608897 | 137252 | 30616 9 | 65 | 119 756.68/756.84 c 755s | 16 | 610368 | 137552 | 30616 9 | 65 | 119 758.67/758.85 c 757s | 16 | 611664 | 137852 | 30616 9 | 65 | 119 760.77/760.91 c 760s | 16 | 612789 | 138152 | 30616 9 | 65 | 119 762.77/763.00 c 762s | 16 | 613931 | 138452 | 30616 9 | 65 | 119 764.87/765.07 c 764s | 16 | 614732 | 138752 | 30616 9 | 65 | 119 766.97/767.19 c 766s | 16 | 615875 | 139052 | 30616 9 | 65 | 119 769.17/769.33 c 768s | 16 | 617078 | 139352 | 30616 9 | 65 | 119 771.38/771.51 c 770s | 16 | 618523 | 139652 | 30616 9 | 65 | 119 773.58/773.79 c 772s | 16 | 620116 | 140052 | 30616 9 | 65 | 119 775.88/776.02 c 775s | 16 | 622109 | 140452 | 30616 9 | 65 | 119 777.87/778.04 c 777s | 16 | 624067 | 140852 | 30616 9 | 65 | 119 780.27/780.46 c 779s | 16 | 626118 | 141252 | 30616 9 | 65 | 119 782.67/782.86 c 781s | 16 | 627887 | 141652 | 30616 9 | 65 | 119 785.17/785.31 c 784s | 16 | 630131 | 142052 | 30616 9 | 65 | 119 787.48/787.60 c 786s | 16 | 632095 | 142452 | 30616 9 | 65 | 119 789.78/789.96 c 789s | 16 | 634861 | 142852 | 30616 9 | 65 | 119 792.27/792.47 c 791s | 16 | 636572 | 143252 | 30616 9 | 65 | 119 794.77/794.94 c 794s | 16 | 637815 | 143652 | 30616 9 | 65 | 119 797.17/797.31 c 796s | 16 | 639137 | 144052 | 30616 9 | 65 | 119 799.77/799.93 c 799s | 16 | 640508 | 144452 | 30616 9 | 65 | 119 801.97/802.12 c 801s | 16 | 641640 | 144852 | 30616 9 | 65 | 119 804.27/804.48 c 803s | 16 | 642982 | 145252 | 30616 9 | 65 | 119 806.67/806.89 c 805s | 16 | 644503 | 145652 | 30616 9 | 65 | 119 809.37/809.53 c 808s | 16 | 646284 | 146052 | 30616 9 | 65 | 119 811.97/812.14 c 811s | 16 | 647694 | 146452 | 30616 9 | 65 | 119 814.37/814.54 c 813s | 16 | 650009 | 146852 | 30616 9 | 65 | 119 816.87/817.01 c 816s | 16 | 651881 | 147252 | 30616 9 | 65 | 119 819.17/819.37 c 818s | 16 | 653564 | 147652 | 30616 9 | 65 | 119 821.87/822.02 c 821s | 16 | 655596 | 148052 | 30616 9 | 65 | 119 823.87/824.05 c 823s | 16 | 656647 | 148352 | 30616 9 | 65 | 119 826.17/826.37 c 825s | 16 | 658088 | 148752 | 30616 10 | 65 | 119 828.37/828.51 c 827s | 16 | 659723 | 149152 | 30616 10 | 65 | 119 830.77/830.99 c 830s | 16 | 662947 | 149652 | 30616 10 | 65 | 119 832.97/833.18 c 832s | 16 | 665517 | 150052 | 30616 10 | 65 | 119 834.97/835.19 c 834s | 16 | 667265 | 150452 | 30616 10 | 65 | 119 837.07/837.21 c 836s | 16 | 669250 | 150852 | 30616 10 | 65 | 119 839.07/839.27 c 838s | 16 | 671927 | 151252 | 30616 10 | 65 | 119 841.27/841.40 c 840s | 16 | 674034 | 151652 | 30616 10 | 65 | 119 843.36/843.50 c 842s | 16 | 676313 | 152052 | 30616 10 | 65 | 119 845.36/845.57 c 844s | 16 | 677974 | 152452 | 30616 10 | 65 | 119 847.56/847.70 c 846s | 16 | 679392 | 152852 | 30616 10 | 65 | 119 850.06/850.21 c 849s | 16 | 681150 | 153252 | 30616 10 | 65 | 119 852.47/852.61 c 851s | 16 | 682565 | 153652 | 30616 10 | 65 | 119 854.76/854.96 c 854s | 16 | 684450 | 154052 | 30616 10 | 65 | 119 857.06/857.22 c 856s | 16 | 686197 | 154452 | 30616 10 | 65 | 119 859.46/859.62 c 858s | 16 | 687429 | 154852 | 30616 10 | 65 | 119 861.76/861.96 c 861s | 16 | 688952 | 155252 | 30616 10 | 65 | 119 863.96/864.16 c 863s | 16 | 690617 | 155652 | 30616 10 | 65 | 119 866.16/866.37 c 865s | 16 | 691892 | 156052 | 30616 10 | 65 | 119 868.26/868.46 c 867s | 16 | 693421 | 156452 | 30616 10 | 65 | 119 870.66/870.84 c 869s | 16 | 695053 | 156852 | 30616 10 | 65 | 119 872.86/873.05 c 872s | 16 | 696831 | 157252 | 30616 10 | 65 | 119 874.96/875.12 c 874s | 16 | 698263 | 157652 | 30616 10 | 65 | 119 877.06/877.21 c 876s | 16 | 700192 | 158052 | 30616 10 | 65 | 119 879.16/879.33 c 878s | 16 | 701674 | 158452 | 30616 10 | 65 | 119 881.26/881.44 c 880s | 16 | 703085 | 158852 | 30616 10 | 65 | 119 883.56/883.75 c 882s | 16 | 704437 | 159252 | 30616 10 | 65 | 119 885.96/886.12 c 885s | 16 | 706290 | 159652 | 30616 10 | 65 | 119 888.36/888.56 c 887s | 16 | 708148 | 160052 | 30616 10 | 65 | 119 890.66/890.87 c 889s | 16 | 709184 | 160452 | 30616 10 | 65 | 119 893.06/893.20 c 892s | 16 | 710971 | 160852 | 30616 10 | 65 | 119 895.46/895.66 c 894s | 16 | 712425 | 161252 | 30616 10 | 65 | 119 897.86/898.05 c 897s | 16 | 714295 | 161652 | 30616 10 | 65 | 119 900.35/900.57 c 899s | 16 | 715705 | 162052 | 30616 10 | 65 | 119 902.65/902.80 c 901s | 16 | 717073 | 162452 | 30616 10 | 65 | 119 904.85/905.03 c 904s | 16 | 719484 | 162852 | 30616 10 | 65 | 119 907.05/907.24 c 906s | 16 | 721022 | 163252 | 30616 10 | 65 | 119 909.15/909.39 c 908s | 16 | 723429 | 163652 | 30616 10 | 65 | 119 911.55/911.70 c 910s | 16 | 725826 | 164052 | 30616 10 | 65 | 119 913.85/914.02 c 913s | 16 | 727461 | 164452 | 30616 10 | 65 | 119 916.16/916.34 c 915s | 16 | 729883 | 164852 | 30616 11 | 65 | 119 918.55/918.79 c 917s | 16 | 731613 | 165352 | 30616 11 | 65 | 119 920.66/920.82 c 919s | 16 | 733299 | 165752 | 30616 11 | 65 | 119 922.95/923.10 c 922s | 16 | 735415 | 166152 | 30616 11 | 65 | 119 925.15/925.38 c 924s | 16 | 737253 | 166552 | 30616 11 | 65 | 119 927.35/927.55 c 926s | 16 | 739144 | 166952 | 30616 11 | 65 | 119 929.55/929.71 c 928s | 16 | 740446 | 167352 | 30616 11 | 65 | 119 931.56/931.80 c 930s | 16 | 742203 | 167752 | 30616 11 | 65 | 119 933.95/934.17 c 933s | 16 | 744494 | 168252 | 30616 11 | 65 | 119 936.35/936.53 c 935s | 16 | 746053 | 168752 | 30616 11 | 65 | 119 938.85/939.09 c 938s | 16 | 747619 | 169252 | 30616 11 | 65 | 119 941.05/941.27 c 940s | 16 | 749262 | 169652 | 30616 11 | 65 | 119 943.45/943.66 c 942s | 16 | 751090 | 170052 | 30616 11 | 65 | 119 945.75/945.95 c 945s | 16 | 753731 | 170452 | 30616 11 | 65 | 119 947.75/947.98 c 947s | 16 | 755788 | 170852 | 30616 11 | 65 | 119 949.85/950.01 c 949s | 16 | 757322 | 171252 | 30616 11 | 65 | 119 952.35/952.50 c 951s | 16 | 759548 | 171752 | 30616 11 | 65 | 119 954.75/954.94 c 954s | 16 | 761742 | 172252 | 30616 11 | 65 | 119 957.15/957.37 c 956s | 16 | 763673 | 172752 | 30616 11 | 65 | 119 959.25/959.48 c 958s | 16 | 765870 | 173152 | 30616 11 | 65 | 119 961.44/961.62 c 960s | 16 | 767366 | 173552 | 30616 11 | 65 | 119 963.45/963.66 c 962s | 16 | 768823 | 173952 | 30616 11 | 65 | 119 965.94/966.13 c 965s | 16 | 770579 | 174452 | 30616 11 | 65 | 119 968.04/968.21 c 967s | 16 | 772279 | 174852 | 30616 11 | 65 | 119 970.05/970.27 c 969s | 16 | 774151 | 175252 | 30616 11 | 65 | 119 972.25/972.45 c 971s | 16 | 775940 | 175652 | 30616 11 | 65 | 119 974.34/974.56 c 973s | 16 | 777896 | 176052 | 30616 11 | 65 | 119 976.54/976.74 c 975s | 16 | 780068 | 176452 | 30616 11 | 65 | 119 978.64/978.87 c 977s | 16 | 782229 | 176852 | 30616 11 | 65 | 119 980.84/981.01 c 980s | 16 | 784416 | 177252 | 30616 11 | 65 | 119 982.94/983.11 c 982s | 16 | 786118 | 177652 | 30616 11 | 65 | 119 985.14/985.38 c 984s | 16 | 788134 | 178052 | 30616 11 | 65 | 119 987.34/987.58 c 986s | 16 | 789977 | 178452 | 30616 11 | 65 | 119 989.54/989.73 c 988s | 16 | 791939 | 178852 | 30616 11 | 65 | 119 991.74/991.99 c 991s | 16 | 794992 | 179252 | 30616 11 | 65 | 119 994.04/994.25 c 993s | 16 | 797335 | 179652 | 30616 11 | 65 | 119 996.23/996.47 c 995s | 16 | 799244 | 180052 | 30616 11 | 65 | 119 998.43/998.68 c 997s | 16 | 801077 | 180452 | 30616 11 | 65 | 119 1000.84/1001.08 c 1000s | 16 | 803034 | 180852 | 30616 12 | 65 | 119 1002.83/1003.09 c 1002s | 16 | 803467 | 180952 | 30616 12 | 65 | 119 1005.34/1005.52 c 1004s | 16 | 805997 | 181352 | 30616 12 | 65 | 119 1007.63/1007.84 c 1006s | 16 | 807837 | 181752 | 30616 12 | 65 | 119 1009.64/1009.86 c 1008s | 16 | 809408 | 182152 | 30616 12 | 65 | 119 1011.84/1012.02 c 1011s | 16 | 811467 | 182552 | 30616 12 | 65 | 119 1013.83/1014.09 c 1013s | 16 | 812492 | 182952 | 30616 12 | 65 | 119 1015.93/1016.16 c 1015s | 16 | 814553 | 183352 | 30616 12 | 65 | 119 1018.03/1018.20 c 1017s | 16 | 816745 | 183752 | 30616 12 | 65 | 119 1020.03/1020.25 c 1019s | 16 | 817997 | 184152 | 30616 12 | 65 | 119 1022.13/1022.34 c 1021s | 16 | 821238 | 184552 | 30616 12 | 65 | 119 1024.13/1024.38 c 1023s | 16 | 823716 | 184952 | 30616 12 | 65 | 119 1026.33/1026.58 c 1025s | 16 | 826030 | 185352 | 30616 12 | 65 | 119 1028.53/1028.71 c 1027s | 16 | 827393 | 185752 | 30616 12 | 65 | 119 1030.93/1031.10 c 1030s | 16 | 829547 | 186152 | 30616 12 | 65 | 119 1033.42/1033.63 c 1032s | 16 | 831176 | 186552 | 30616 12 | 65 | 119 1035.72/1035.92 c 1035s | 16 | 833290 | 186952 | 30616 12 | 65 | 119 1037.92/1038.12 c 1037s | 16 | 834872 | 187352 | 30616 12 | 65 | 119 1039.92/1040.14 c 1039s | 16 | 837215 | 187752 | 30616 12 | 65 | 119 1042.22/1042.47 c 1041s | 16 | 839645 | 188252 | 30616 12 | 65 | 119 1044.52/1044.70 c 1043s | 16 | 841424 | 188752 | 30616 12 | 65 | 119 1046.52/1046.73 c 1045s | 16 | 842732 | 189152 | 30616 12 | 65 | 119 1048.92/1049.18 c 1048s | 16 | 845117 | 189652 | 30616 12 | 65 | 119 1051.32/1051.58 c 1050s | 16 | 847328 | 190152 | 30616 12 | 65 | 119 1053.82/1054.08 c 1053s | 16 | 850215 | 190652 | 30616 12 | 65 | 119 1056.12/1056.34 c 1055s | 16 | 852445 | 191152 | 30616 12 | 65 | 119 1058.52/1058.72 c 1057s | 16 | 854308 | 191652 | 30616 12 | 65 | 119 1060.62/1060.80 c 1059s | 16 | 855976 | 192052 | 30616 12 | 65 | 119 1062.92/1063.15 c 1062s | 16 | 858058 | 192452 | 30616 12 | 65 | 119 1065.31/1065.56 c 1064s | 16 | 859956 | 192852 | 30616 12 | 65 | 119 1067.71/1067.96 c 1067s | 16 | 861563 | 193252 | 30616 12 | 65 | 119 1070.22/1070.45 c 1069s | 16 | 862959 | 193652 | 30616 12 | 65 | 119 1072.71/1072.95 c 1072s | 16 | 864362 | 194052 | 30616 12 | 65 | 119 1075.31/1075.52 c 1074s | 16 | 865897 | 194452 | 30616 12 | 65 | 119 1077.82/1078.00 c 1077s | 16 | 867256 | 194852 | 30616 12 | 65 | 119 1079.81/1080.02 c 1079s | 16 | 868442 | 195152 | 30616 12 | 65 | 119 1082.41/1082.60 c 1081s | 16 | 870268 | 195552 | 30616 12 | 65 | 119 1084.61/1084.80 c 1083s | 16 | 871820 | 195952 | 33678 12 | 65 | 119 1086.91/1087.16 c 1086s | 16 | 874083 | 196352 | 33678 12 | 65 | 119 1089.31/1089.50 c 1088s | 16 | 876853 | 196752 | 33678 12 | 65 | 119 1091.71/1091.98 c 1091s | 16 | 879297 | 197252 | 33678 12 | 65 | 119 1092.71/1092.94 c 1092s | 17 | 880440 | 197432 | 33678 12 | 65 | 119 1094.81/1095.06 c 1094s | 17 | 882690 | 197832 | 33678 12 | 65 | 119 1096.91/1097.10 c 1096s | 17 | 884488 | 198232 | 33678 12 | 65 | 119 1098.91/1099.19 c 1098s | 17 | 886554 | 198632 | 33678 12 | 65 | 119 1101.11/1101.31 c 1100s | 17 | 888428 | 199032 | 33678 12 | 65 | 119 1103.31/1103.52 c 1102s | 17 | 889812 | 199432 | 33678 12 | 65 | 119 1105.70/1105.97 c 1105s | 17 | 892165 | 199832 | 33678 13 | 65 | 119 1107.90/1108.18 c 1107s | 17 | 893823 | 200232 | 33678 13 | 65 | 119 1110.20/1110.45 c 1109s | 17 | 895905 | 200632 | 33678 13 | 65 | 119 1112.71/1112.99 c 1112s | 17 | 897900 | 201032 | 33678 13 | 65 | 119 1115.01/1115.27 c 1114s | 17 | 900026 | 201432 | 33678 13 | 65 | 119 1117.11/1117.38 c 1116s | 17 | 902446 | 201832 | 33678 13 | 65 | 119 1119.31/1119.53 c 1118s | 17 | 904460 | 202232 | 33678 13 | 65 | 119 1121.41/1121.69 c 1120s | 17 | 906164 | 202632 | 33678 13 | 65 | 119 1123.61/1123.83 c 1122s | 17 | 907611 | 203032 | 33678 13 | 65 | 119 1125.70/1125.92 c 1125s | 17 | 909000 | 203432 | 33678 13 | 65 | 119 1127.90/1128.11 c 1127s | 17 | 910415 | 203832 | 33678 13 | 65 | 119 1130.20/1130.40 c 1129s | 17 | 911948 | 204232 | 33678 13 | 65 | 119 1132.30/1132.52 c 1131s | 17 | 913284 | 204632 | 33678 13 | 65 | 119 1134.60/1134.89 c 1133s | 17 | 915034 | 205032 | 33678 13 | 65 | 119 1136.90/1137.17 c 1136s | 17 | 916542 | 205432 | 33678 13 | 65 | 119 1139.20/1139.49 c 1138s | 17 | 918049 | 205832 | 33678 13 | 65 | 119 1141.30/1141.58 c 1140s | 17 | 919428 | 206232 | 33678 13 | 65 | 119 1143.40/1143.62 c 1142s | 17 | 921014 | 206632 | 33678 13 | 65 | 119 1145.69/1145.91 c 1144s | 17 | 922349 | 207032 | 33678 13 | 65 | 119 1147.69/1147.95 c 1147s | 17 | 923663 | 207432 | 33678 13 | 65 | 119 1150.09/1150.38 c 1149s | 17 | 925802 | 207832 | 33678 13 | 65 | 119 1152.29/1152.57 c 1151s | 17 | 927155 | 208132 | 33678 13 | 65 | 119 1154.68/1154.98 c 1154s | 17 | 928726 | 208532 | 33678 13 | 65 | 119 1157.38/1157.60 c 1156s | 17 | 930237 | 208932 | 33678 13 | 65 | 119 1159.38/1159.70 c 1158s | 17 | 931451 | 209232 | 33678 13 | 65 | 119 1161.49/1161.78 c 1160s | 17 | 932544 | 209532 | 33678 13 | 65 | 119 1164.08/1164.39 c 1163s | 17 | 934244 | 209932 | 33678 13 | 65 | 119 1166.68/1166.92 c 1166s | 17 | 935770 | 210332 | 33678 13 | 65 | 119 1169.19/1169.48 c 1168s | 17 | 937085 | 210732 | 33678 13 | 65 | 119 1171.78/1172.07 c 1171s | 17 | 939042 | 211132 | 33678 13 | 65 | 119 1174.08/1174.37 c 1173s | 17 | 940456 | 211532 | 33678 13 | 65 | 119 1176.27/1176.55 c 1175s | 17 | 941646 | 211932 | 33678 13 | 65 | 119 1178.37/1178.65 c 1177s | 17 | 942759 | 212332 | 33678 13 | 65 | 119 1180.47/1180.79 c 1179s | 17 | 943887 | 212732 | 33678 13 | 65 | 119 1182.97/1183.22 c 1182s | 17 | 945252 | 213132 | 33678 13 | 65 | 119 1185.46/1185.76 c 1184s | 17 | 946793 | 213532 | 33678 13 | 65 | 119 1187.77/1188.04 c 1187s | 17 | 948132 | 213932 | 33678 13 | 65 | 119 1190.16/1190.43 c 1189s | 17 | 949929 | 214332 | 33678 13 | 65 | 119 1192.46/1192.77 c 1191s | 17 | 951434 | 214732 | 33678 13 | 65 | 119 1194.76/1195.03 c 1194s | 17 | 952882 | 215132 | 33678 13 | 65 | 119 1197.16/1197.41 c 1196s | 17 | 954523 | 215532 | 33678 13 | 65 | 119 1199.46/1199.74 c 1198s | 17 | 956059 | 215932 | 33678 13 | 65 | 119 1201.96/1202.24 c 1201s | 17 | 957204 | 216332 | 33678 13 | 65 | 119 1204.06/1204.32 c 1203s | 17 | 958734 | 216632 | 33678 13 | 65 | 119 1206.36/1206.61 c 1205s | 17 | 960812 | 217032 | 33678 14 | 65 | 119 1208.56/1208.81 c 1207s | 17 | 962514 | 217432 | 33678 14 | 65 | 119 1210.66/1210.92 c 1210s | 17 | 964255 | 217832 | 33678 14 | 65 | 119 1212.76/1213.08 c 1212s | 17 | 965888 | 218232 | 33678 14 | 65 | 119 1215.26/1215.57 c 1214s | 17 | 967824 | 218732 | 33678 14 | 65 | 119 1217.76/1218.03 c 1217s | 17 | 969191 | 219232 | 33678 14 | 65 | 119 1220.06/1220.37 c 1219s | 17 | 970985 | 219732 | 33678 14 | 65 | 119 1222.46/1222.79 c 1221s | 17 | 972792 | 220232 | 33678 14 | 65 | 119 1224.55/1224.82 c 1223s | 17 | 974120 | 220632 | 33678 14 | 65 | 119 1226.55/1226.86 c 1225s | 17 | 975969 | 221032 | 33678 14 | 65 | 119 1229.15/1229.46 c 1228s | 17 | 978635 | 221532 | 33678 14 | 65 | 119 1231.25/1231.50 c 1230s | 17 | 980923 | 221932 | 33678 14 | 65 | 119 1233.75/1234.02 c 1233s | 17 | 983267 | 222432 | 33678 14 | 65 | 119 1236.04/1236.37 c 1235s | 17 | 985731 | 222832 | 33678 14 | 65 | 119 1238.24/1238.57 c 1237s | 17 | 988401 | 223232 | 33678 14 | 65 | 119 1240.55/1240.89 c 1239s | 17 | 990101 | 223632 | 33678 14 | 65 | 119 1242.94/1243.20 c 1242s | 17 | 992072 | 224032 | 33678 14 | 65 | 119 1245.24/1245.55 c 1244s | 17 | 993640 | 224432 | 33678 14 | 65 | 119 1247.64/1247.97 c 1247s | 17 | 995364 | 224832 | 33678 14 | 65 | 119 1250.14/1250.46 c 1249s | 17 | 997226 | 225232 | 33678 14 | 65 | 119 1252.53/1252.80 c 1251s | 17 | 998331 | 225632 | 33678 14 | 65 | 119 1254.63/1254.95 c 1254s | 17 | 999689 | 226032 | 33678 14 | 65 | 119 1256.83/1257.11 c 1256s | 17 | 1001098 | 226432 | 33678 14 | 65 | 119 1259.03/1259.38 c 1258s | 17 | 1002758 | 226832 | 33678 14 | 65 | 119 1261.23/1261.50 c 1260s | 17 | 1004519 | 227132 | 33678 14 | 65 | 119 1263.73/1264.01 c 1263s | 17 | 1006150 | 227532 | 33678 14 | 65 | 119 1266.12/1266.48 c 1265s | 17 | 1008274 | 227932 | 33678 14 | 65 | 119 1268.42/1268.75 c 1267s | 17 | 1010571 | 228332 | 33678 14 | 65 | 119 1270.52/1270.89 c 1269s | 17 | 1012660 | 228732 | 33678 14 | 65 | 119 1273.02/1273.39 c 1272s | 17 | 1015155 | 229132 | 33678 14 | 65 | 119 1275.42/1275.73 c 1274s | 17 | 1017021 | 229532 | 33678 14 | 65 | 119 1277.82/1278.18 c 1277s | 17 | 1018696 | 229932 | 33678 14 | 65 | 119 1280.12/1280.46 c 1279s | 17 | 1020116 | 230332 | 33678 14 | 65 | 119 1282.52/1282.81 c 1281s | 17 | 1021506 | 230732 | 33678 14 | 65 | 119 1284.92/1285.27 c 1284s | 17 | 1023477 | 231232 | 33678 14 | 65 | 119 1287.52/1287.82 c 1286s | 17 | 1025732 | 231732 | 33678 14 | 65 | 119 1289.72/1290.00 c 1289s | 17 | 1026881 | 232132 | 33678 14 | 65 | 119 1291.82/1292.15 c 1291s | 17 | 1028360 | 232532 | 33678 14 | 65 | 119 1294.31/1294.62 c 1293s | 17 | 1030116 | 233032 | 33678 14 | 65 | 119 1296.51/1296.86 c 1295s | 17 | 1031985 | 233432 | 33678 14 | 65 | 119 1298.51/1298.88 c 1297s | 17 | 1033353 | 233832 | 33678 14 | 65 | 119 1300.61/1300.99 c 1300s | 17 | 1034582 | 234232 | 33678 14 | 65 | 119 1302.81/1303.16 c 1302s | 17 | 1037084 | 234632 | 33678 15 | 65 | 119 1304.91/1305.21 c 1304s | 17 | 1038923 | 235032 | 33678 15 | 65 | 119 1307.01/1307.35 c 1306s | 17 | 1041225 | 235432 | 33678 15 | 65 | 119 1309.31/1309.64 c 1308s | 17 | 1042974 | 235832 | 33678 15 | 65 | 119 1311.51/1311.86 c 1310s | 17 | 1045481 | 236232 | 33678 15 | 65 | 119 1313.71/1314.07 c 1313s | 17 | 1047811 | 236632 | 33678 15 | 65 | 119 1316.10/1316.47 c 1315s | 17 | 1049639 | 237032 | 33678 15 | 65 | 119 1318.50/1318.86 c 1317s | 17 | 1051609 | 237432 | 33678 15 | 65 | 119 1320.70/1321.08 c 1320s | 17 | 1053826 | 237832 | 33678 15 | 65 | 119 1323.01/1323.36 c 1322s | 17 | 1054980 | 238232 | 33678 15 | 65 | 119 1325.40/1325.71 c 1324s | 17 | 1056603 | 238632 | 33678 15 | 65 | 119 1327.41/1327.72 c 1326s | 17 | 1058021 | 239032 | 33678 15 | 65 | 119 1329.70/1330.06 c 1329s | 17 | 1059403 | 239432 | 33678 15 | 65 | 119 1332.10/1332.43 c 1331s | 17 | 1061016 | 239832 | 33678 15 | 65 | 119 1334.39/1334.70 c 1333s | 17 | 1063374 | 240232 | 33678 15 | 65 | 119 1336.59/1336.92 c 1336s | 17 | 1065286 | 240632 | 33678 15 | 65 | 119 1338.69/1339.07 c 1338s | 17 | 1066455 | 240932 | 33678 15 | 65 | 119 1341.09/1341.40 c 1340s | 17 | 1067724 | 241232 | 33678 15 | 65 | 119 1343.29/1343.68 c 1342s | 17 | 1068756 | 241532 | 33678 15 | 65 | 119 1345.48/1345.81 c 1344s | 17 | 1070331 | 241832 | 33678 15 | 65 | 119 1347.68/1348.03 c 1347s | 17 | 1071737 | 242132 | 33678 15 | 65 | 119 1350.08/1350.46 c 1349s | 17 | 1072802 | 242432 | 33678 15 | 65 | 119 1352.38/1352.77 c 1351s | 17 | 1073888 | 242732 | 33678 15 | 65 | 119 1354.38/1354.79 c 1353s | 17 | 1075057 | 243032 | 33678 15 | 65 | 119 1356.68/1357.05 c 1356s | 17 | 1076686 | 243332 | 33678 15 | 65 | 119 1358.88/1359.25 c 1358s | 17 | 1078101 | 243632 | 33678 15 | 65 | 119 1360.98/1361.35 c 1360s | 17 | 1079260 | 243932 | 33678 15 | 65 | 119 1363.18/1363.50 c 1362s | 17 | 1080260 | 244232 | 33678 15 | 65 | 119 1365.27/1365.61 c 1364s | 17 | 1081229 | 244532 | 33678 15 | 65 | 119 1367.37/1367.75 c 1366s | 17 | 1082169 | 244832 | 33678 15 | 65 | 119 1369.67/1370.08 c 1369s | 17 | 1083492 | 245132 | 33678 15 | 65 | 119 1371.77/1372.13 c 1371s | 17 | 1084948 | 245432 | 33678 15 | 65 | 119 1374.17/1374.50 c 1373s | 17 | 1086605 | 245732 | 33678 15 | 65 | 119 1376.66/1377.00 c 1376s | 17 | 1088118 | 246032 | 33678 15 | 65 | 119 1378.86/1379.20 c 1378s | 17 | 1089330 | 246332 | 33678 15 | 65 | 119 1380.86/1381.21 c 1380s | 17 | 1090954 | 246632 | 33678 15 | 65 | 119 1383.26/1383.68 c 1382s | 17 | 1092395 | 247032 | 33678 15 | 65 | 119 1385.96/1386.33 c 1385s | 17 | 1094279 | 247432 | 33678 15 | 65 | 119 1388.56/1388.96 c 1388s | 17 | 1096318 | 247832 | 33678 15 | 65 | 119 1391.06/1391.49 c 1390s | 17 | 1098885 | 248232 | 33678 15 | 65 | 119 1393.76/1394.19 c 1393s | 17 | 1101063 | 248632 | 33678 15 | 65 | 119 1396.05/1396.46 c 1395s | 17 | 1102104 | 248932 | 33678 15 | 65 | 119 1398.15/1398.57 c 1397s | 17 | 1103767 | 249232 | 33678 15 | 65 | 119 1400.15/1400.59 c 1399s | 17 | 1104793 | 249532 | 33678 15 | 65 | 119 1402.45/1402.83 c 1401s | 17 | 1106026 | 249832 | 33678 15 | 65 | 119 1404.74/1405.16 c 1404s | 17 | 1107285 | 250132 | 33678 15 | 65 | 119 1407.04/1407.47 c 1406s | 17 | 1108601 | 250432 | 33678 15 | 65 | 119 1409.44/1409.82 c 1408s | 17 | 1109885 | 250732 | 33678 15 | 65 | 119 1411.84/1412.23 c 1411s | 17 | 1111034 | 251032 | 33678 15 | 65 | 119 1414.04/1414.43 c 1413s | 17 | 1112140 | 251332 | 33678 15 | 65 | 119 1416.44/1416.86 c 1415s | 17 | 1113496 | 251632 | 33678 15 | 65 | 119 1418.64/1419.09 c 1418s | 17 | 1115044 | 251932 | 33678 15 | 65 | 119 1420.74/1421.19 c 1420s | 17 | 1115912 | 252232 | 33678 16 | 65 | 119 1423.24/1423.63 c 1422s | 17 | 1117702 | 252632 | 33678 16 | 65 | 119 1425.83/1426.20 c 1425s | 17 | 1118817 | 253032 | 33678 16 | 65 | 119 1427.93/1428.31 c 1427s | 17 | 1120468 | 253432 | 33678 16 | 65 | 119 1429.93/1430.38 c 1429s | 17 | 1122411 | 253832 | 33678 16 | 65 | 119 1432.63/1433.07 c 1432s | 17 | 1124305 | 254232 | 33678 16 | 65 | 119 1434.92/1435.34 c 1434s | 17 | 1125654 | 254632 | 33678 16 | 65 | 119 1437.12/1437.50 c 1436s | 17 | 1126975 | 255032 | 33678 16 | 65 | 119 1439.53/1439.99 c 1439s | 17 | 1128799 | 255432 | 33678 16 | 65 | 119 1442.02/1442.43 c 1441s | 17 | 1130485 | 255832 | 33678 16 | 65 | 119 1444.03/1444.45 c 1443s | 17 | 1131719 | 256232 | 33678 16 | 65 | 119 1446.32/1446.71 c 1445s | 17 | 1133096 | 256632 | 33678 16 | 65 | 119 1448.81/1449.29 c 1448s | 17 | 1135008 | 257032 | 33678 16 | 65 | 119 1451.11/1451.56 c 1450s | 17 | 1136804 | 257432 | 33678 16 | 65 | 119 1453.61/1454.05 c 1453s | 17 | 1138384 | 257832 | 33678 16 | 65 | 119 1455.81/1456.25 c 1455s | 17 | 1139756 | 258232 | 33678 16 | 65 | 119 1458.21/1458.61 c 1457s | 17 | 1141172 | 258632 | 33678 16 | 65 | 119 1460.31/1460.73 c 1459s | 17 | 1141964 | 258932 | 33678 16 | 65 | 119 1462.51/1462.94 c 1462s | 17 | 1143172 | 259332 | 33678 16 | 65 | 119 1464.70/1465.16 c 1464s | 17 | 1144519 | 259732 | 33678 16 | 65 | 119 1467.01/1467.46 c 1466s | 17 | 1145780 | 260132 | 33678 16 | 65 | 119 1469.70/1470.13 c 1469s | 17 | 1147710 | 260532 | 33678 16 | 65 | 119 1472.30/1472.73 c 1471s | 17 | 1149482 | 260932 | 33678 16 | 65 | 119 1474.49/1474.98 c 1474s | 17 | 1151057 | 261332 | 33678 16 | 65 | 119 1477.00/1477.43 c 1476s | 17 | 1152698 | 261732 | 33678 16 | 65 | 119 1479.29/1479.72 c 1478s | 17 | 1154844 | 262132 | 33678 16 | 65 | 119 1481.59/1482.06 c 1481s | 17 | 1156467 | 262532 | 33678 16 | 65 | 119 1483.89/1484.33 c 1483s | 17 | 1158045 | 262932 | 33678 16 | 65 | 119 1485.89/1486.35 c 1485s | 17 | 1160107 | 263232 | 33678 16 | 65 | 119 1488.09/1488.53 c 1487s | 17 | 1161608 | 263532 | 33678 16 | 65 | 119 1490.29/1490.77 c 1489s | 17 | 1163525 | 263832 | 33678 16 | 65 | 119 1492.99/1493.42 c 1492s | 17 | 1165754 | 264232 | 33678 16 | 65 | 119 1495.59/1496.06 c 1495s | 17 | 1167205 | 264632 | 33678 16 | 65 | 119 1497.58/1498.08 c 1497s | 17 | 1168581 | 264932 | 33678 16 | 65 | 119 1499.68/1500.15 c 1499s | 17 | 1169983 | 265232 | 33678 16 | 65 | 119 1501.68/1502.17 c 1501s | 17 | 1170983 | 265532 | 33678 16 | 65 | 119 1504.27/1504.76 c 1503s | 17 | 1172472 | 265932 | 33678 16 | 65 | 119 1507.07/1507.50 c 1506s | 17 | 1174211 | 266332 | 33678 16 | 65 | 119 1509.17/1509.64 c 1508s | 17 | 1175523 | 266632 | 33678 16 | 65 | 119 1511.57/1512.01 c 1511s | 17 | 1176995 | 266932 | 33678 16 | 65 | 119 1513.57/1514.08 c 1513s | 17 | 1178447 | 267232 | 33678 16 | 65 | 119 1516.17/1516.66 c 1515s | 17 | 1180417 | 267632 | 33678 16 | 65 | 119 1518.37/1518.82 c 1517s | 17 | 1181787 | 267932 | 33678 16 | 65 | 119 1520.97/1521.43 c 1520s | 17 | 1183592 | 268332 | 33678 16 | 65 | 119 1523.07/1523.52 c 1522s | 17 | 1184599 | 268632 | 33678 16 | 65 | 119 1525.16/1525.61 c 1524s | 17 | 1185836 | 268932 | 33678 16 | 65 | 119 1527.16/1527.66 c 1526s | 17 | 1187297 | 269232 | 33678 16 | 65 | 119 1529.56/1530.05 c 1529s | 17 | 1188436 | 269532 | 33678 17 | 65 | 119 1531.87/1532.36 c 1531s | 17 | 1190003 | 269832 | 33678 17 | 65 | 119 1534.56/1535.05 c 1534s | 17 | 1191561 | 270232 | 33678 17 | 65 | 119 1536.66/1537.18 c 1536s | 17 | 1192919 | 270532 | 33678 17 | 65 | 119 1538.96/1539.50 c 1538s | 17 | 1194644 | 270932 | 33678 17 | 65 | 119 1541.26/1541.71 c 1540s | 17 | 1196450 | 271332 | 33678 17 | 65 | 119 1543.36/1543.86 c 1542s | 17 | 1197990 | 271732 | 33678 17 | 65 | 119 1545.46/1545.98 c 1545s | 17 | 1199683 | 272132 | 33678 17 | 65 | 119 1547.65/1548.11 c 1547s | 17 | 1201092 | 272532 | 33678 17 | 65 | 119 1549.75/1550.28 c 1549s | 17 | 1203086 | 272932 | 33678 17 | 65 | 119 1552.25/1552.75 c 1551s | 17 | 1204617 | 273432 | 33678 17 | 65 | 119 1554.35/1554.87 c 1553s | 17 | 1205950 | 273832 | 33678 17 | 65 | 119 1556.65/1557.10 c 1556s | 17 | 1207447 | 274232 | 33678 17 | 65 | 119 1558.65/1559.18 c 1558s | 17 | 1209143 | 274632 | 33678 17 | 65 | 119 1561.15/1561.61 c 1560s | 17 | 1211094 | 275132 | 33678 17 | 65 | 119 1563.25/1563.72 c 1562s | 17 | 1212839 | 275532 | 33678 17 | 65 | 119 1565.45/1565.93 c 1565s | 17 | 1214210 | 275932 | 33678 17 | 65 | 119 1567.54/1568.06 c 1567s | 17 | 1215894 | 276332 | 33678 17 | 65 | 119 1569.64/1570.11 c 1569s | 17 | 1217361 | 276732 | 33678 17 | 65 | 119 1571.64/1572.16 c 1571s | 17 | 1218827 | 277132 | 33678 17 | 65 | 119 1573.75/1574.27 c 1573s | 17 | 1220603 | 277532 | 33678 17 | 65 | 119 1576.34/1576.82 c 1575s | 17 | 1222839 | 278032 | 33678 17 | 65 | 119 1578.54/1579.07 c 1578s | 17 | 1224550 | 278432 | 33678 17 | 65 | 119 1580.74/1581.25 c 1580s | 17 | 1226803 | 278832 | 33678 17 | 65 | 119 1582.74/1583.25 c 1582s | 17 | 1229090 | 279232 | 33678 17 | 65 | 119 1584.74/1585.26 c 1584s | 17 | 1230768 | 279632 | 33678 17 | 65 | 119 1586.73/1587.27 c 1586s | 17 | 1232354 | 280032 | 33678 17 | 65 | 119 1588.73/1589.29 c 1588s | 17 | 1233505 | 280432 | 33678 17 | 65 | 119 1590.83/1591.33 c 1590s | 17 | 1235510 | 280832 | 33678 17 | 65 | 119 1592.84/1593.39 c 1592s | 17 | 1237933 | 281232 | 33678 17 | 65 | 119 1595.14/1595.66 c 1594s | 17 | 1240454 | 281632 | 33678 17 | 65 | 119 1597.74/1598.22 c 1597s | 17 | 1243245 | 282032 | 33678 17 | 65 | 119 1600.34/1600.80 c 1599s | 17 | 1245522 | 282432 | 33678 17 | 65 | 119 1602.84/1603.37 c 1602s | 17 | 1247362 | 282832 | 33678 17 | 65 | 119 1605.34/1605.80 c 1604s | 17 | 1249849 | 283232 | 33678 17 | 65 | 119 1607.94/1608.41 c 1607s | 17 | 1251905 | 283632 | 33678 17 | 65 | 119 1610.05/1610.57 c 1609s | 17 | 1253608 | 283932 | 33678 17 | 65 | 119 1612.04/1612.58 c 1611s | 17 | 1255256 | 284232 | 33678 17 | 65 | 119 1614.64/1615.13 c 1614s | 17 | 1256984 | 284632 | 33678 17 | 65 | 119 1617.24/1617.77 c 1616s | 17 | 1258517 | 285032 | 33678 17 | 65 | 119 1620.04/1620.52 c 1619s | 17 | 1260292 | 285432 | 33678 17 | 65 | 119 1622.14/1622.61 c 1621s | 17 | 1261364 | 285732 | 33678 17 | 65 | 119 1624.34/1624.83 c 1623s | 17 | 1262913 | 286032 | 33678 17 | 65 | 119 1626.84/1627.32 c 1626s | 17 | 1264494 | 286432 | 33678 17 | 65 | 119 1628.94/1629.42 c 1628s | 17 | 1265689 | 286732 | 33678 17 | 65 | 119 1631.14/1631.69 c 1630s | 17 | 1267248 | 287032 | 33678 18 | 65 | 119 1633.53/1634.03 c 1633s | 17 | 1268552 | 287432 | 33678 18 | 65 | 119 1635.73/1636.26 c 1635s | 17 | 1270063 | 287832 | 33678 18 | 65 | 119 1638.23/1638.75 c 1637s | 17 | 1271806 | 288232 | 33678 18 | 65 | 119 1640.63/1641.20 c 1640s | 17 | 1273444 | 288632 | 33678 18 | 65 | 119 1643.04/1643.52 c 1642s | 17 | 1275285 | 289032 | 33678 18 | 65 | 119 1645.24/1645.74 c 1644s | 17 | 1276825 | 289432 | 33678 18 | 65 | 119 1647.63/1648.14 c 1647s | 17 | 1278244 | 289832 | 33678 18 | 65 | 119 1649.93/1650.45 c 1649s | 17 | 1279729 | 290232 | 33678 18 | 65 | 119 1652.23/1652.71 c 1651s | 17 | 1280938 | 290632 | 33678 18 | 65 | 119 1654.73/1655.23 c 1654s | 17 | 1282549 | 291032 | 33678 18 | 65 | 119 1657.34/1657.83 c 1656s | 17 | 1283710 | 291432 | 33678 18 | 65 | 119 1659.93/1660.41 c 1659s | 17 | 1285274 | 291832 | 33678 18 | 65 | 119 1662.23/1662.74 c 1661s | 17 | 1287082 | 292232 | 33678 18 | 65 | 119 1664.63/1665.14 c 1664s | 17 | 1288306 | 292632 | 33678 18 | 65 | 119 1667.73/1668.20 c 1667s | 17 | 1289436 | 292932 | 33678 18 | 65 | 119 1670.13/1670.63 c 1669s | 17 | 1290801 | 293232 | 33678 18 | 65 | 119 1672.22/1672.73 c 1671s | 17 | 1292802 | 293532 | 33678 18 | 65 | 119 1674.32/1674.85 c 1673s | 17 | 1295130 | 293932 | 37046 18 | 65 | 119 1676.52/1677.02 c 1676s | 17 | 1296940 | 294332 | 37046 18 | 65 | 119 1678.72/1679.23 c 1678s | 17 | 1299463 | 294732 | 37046 18 | 65 | 119 1681.02/1681.59 c 1680s | 17 | 1301462 | 295132 | 37046 18 | 65 | 119 1683.52/1684.00 c 1683s | 17 | 1303785 | 295532 | 37046 18 | 65 | 119 1685.62/1686.19 c 1685s | 17 | 1305635 | 295932 | 37046 18 | 65 | 119 1687.52/1688.04 c 1687s | 18 | 1306779 | 296252 | 37046 18 | 65 | 119 1690.02/1690.56 c 1689s | 18 | 1308417 | 296652 | 37046 18 | 65 | 119 1692.43/1693.00 c 1692s | 18 | 1310561 | 297052 | 37046 18 | 65 | 119 1694.82/1695.34 c 1694s | 18 | 1311583 | 297452 | 37046 18 | 65 | 119 1696.83/1697.35 c 1696s | 18 | 1312538 | 297752 | 37046 18 | 65 | 119 1698.92/1699.50 c 1698s | 18 | 1313456 | 298052 | 37046 18 | 65 | 119 1701.42/1701.93 c 1701s | 18 | 1314922 | 298352 | 37046 18 | 65 | 119 1703.53/1704.01 c 1703s | 18 | 1317268 | 298652 | 37046 18 | 65 | 119 1705.52/1706.04 c 1705s | 18 | 1318537 | 298952 | 37046 18 | 65 | 119 1708.12/1708.69 c 1707s | 18 | 1320526 | 299352 | 37046 18 | 65 | 119 1710.82/1711.39 c 1710s | 18 | 1322431 | 299752 | 37046 18 | 65 | 119 1712.92/1713.41 c 1712s | 18 | 1323511 | 300052 | 37046 18 | 65 | 119 1715.52/1716.01 c 1715s | 18 | 1325094 | 300452 | 37046 18 | 65 | 119 1718.12/1718.68 c 1717s | 18 | 1326690 | 300852 | 37046 18 | 65 | 119 1720.22/1720.73 c 1719s | 18 | 1327911 | 301152 | 37046 18 | 65 | 119 1722.22/1722.74 c 1721s | 18 | 1328728 | 301452 | 37046 18 | 65 | 119 1724.22/1724.75 c 1723s | 18 | 1329524 | 301752 | 37046 18 | 65 | 119 1726.62/1727.11 c 1726s | 18 | 1331275 | 302152 | 37046 18 | 65 | 119 1729.12/1729.61 c 1728s | 18 | 1332715 | 302552 | 37046 18 | 65 | 119 1731.42/1731.96 c 1731s | 18 | 1334089 | 302952 | 37046 18 | 65 | 119 1733.62/1734.14 c 1733s | 18 | 1335264 | 303352 | 37046 18 | 65 | 119 1735.82/1736.38 c 1735s | 18 | 1336382 | 303752 | 37046 18 | 65 | 119 1738.21/1738.76 c 1737s | 18 | 1337804 | 304152 | 37046 18 | 65 | 119 1740.51/1741.08 c 1740s | 18 | 1338941 | 304552 | 37046 18 | 65 | 119 1743.02/1743.56 c 1742s | 18 | 1340726 | 304952 | 37046 18 | 65 | 119 1745.32/1745.81 c 1744s | 18 | 1342472 | 305252 | 37046 18 | 65 | 119 1747.81/1748.33 c 1747s | 18 | 1344298 | 305652 | 37046 18 | 65 | 119 1750.11/1750.66 c 1749s | 18 | 1345868 | 306052 | 37046 18 | 65 | 119 1752.21/1752.72 c 1751s | 18 | 1347164 | 306352 | 37046 18 | 65 | 119 1754.61/1755.17 c 1754s | 18 | 1348772 | 306752 | 37046 18 | 65 | 119 1756.71/1757.27 c 1756s | 18 | 1350515 | 307052 | 37046 18 | 65 | 119 1759.41/1759.97 c 1759s | 18 | 1352445 | 307452 | 37046 18 | 65 | 119 1761.61/1762.18 c 1761s | 18 | 1353862 | 307752 | 37046 19 | 65 | 119 1764.02/1764.54 c 1763s | 18 | 1355257 | 308152 | 37046 19 | 65 | 119 1766.51/1767.02 c 1766s | 18 | 1356805 | 308552 | 37046 19 | 65 | 119 1769.11/1769.63 c 1768s | 18 | 1358383 | 308952 | 37046 19 | 65 | 119 1771.21/1771.72 c 1770s | 18 | 1359679 | 309252 | 37046 19 | 65 | 119 1773.31/1773.83 c 1772s | 18 | 1360951 | 309552 | 37046 19 | 65 | 119 1775.91/1776.42 c 1775s | 18 | 1362423 | 309952 | 37046 19 | 65 | 119 1778.51/1779.07 c 1778s | 18 | 1364784 | 310352 | 37046 19 | 65 | 119 1780.61/1781.10 c 1780s | 18 | 1365997 | 310652 | 37046 19 | 65 | 119 1783.11/1783.64 c 1782s | 18 | 1368195 | 311052 | 37046 19 | 65 | 119 1785.61/1786.18 c 1785s | 18 | 1370927 | 311452 | 37046 19 | 65 | 119 1788.21/1788.78 c 1787s | 18 | 1372818 | 311852 | 37046 19 | 65 | 119 1790.71/1791.27 c 1790s | 18 | 1374491 | 312252 | 37046 19 | 65 | 119 1792.81/1793.30 c 1792s | 18 | 1375880 | 312552 | 37046 19 | 65 | 119 1795.11/1795.62 c 1794s | 18 | 1377560 | 312952 | 37046 19 | 65 | 119 1797.60/1798.17 c 1797s | 18 | 1380022 | 313352 | 37046 19 | 65 | 119
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-4106583-1466273978/watcher-4106583-1466273978 -o /tmp/evaluation-result-4106583-1466273978/solver-4106583-1466273978 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21405 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106583-1466273978.opb pid=22935 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.37 2.39 2.29 4/181 22938 /proc/meminfo: memFree=28924164/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=696900 CPUtime=0 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 2597 0 0 0 0 0 0 0 20 0 4 0 29443704 713625600 3468 33554432000 4194304 16246674 140735256211744 140735256211168 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 174993 3477 442 2943 0 171887 0 [pid=22938/tid=22939] ppid=22935 vsize=715332 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 732499968 3540 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=720452 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 737742848 3556 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=724548 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 741937152 3575 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100129 s] /proc/loadavg: 2.37 2.39 2.29 4/181 22938 /proc/meminfo: memFree=28924164/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=1223236 CPUtime=0.09 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 23392 0 0 0 6 3 0 0 20 0 4 0 29443704 1252593664 24210 33554432000 4194304 16246674 140735256211744 140735256211056 5876420 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 305809 24210 836 2943 0 302703 0 [pid=22938/tid=22939] ppid=22935 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 1252593664 24210 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 1252593664 24210 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1252593664 24210 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1223236 [startup+0.200473 s] /proc/loadavg: 2.37 2.39 2.29 4/181 22938 /proc/meminfo: memFree=28924164/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=1223236 CPUtime=0.19 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 34196 0 0 0 14 5 0 0 20 0 4 0 29443704 1252593664 35014 33554432000 4194304 16246674 140735256211744 140735256211056 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 305809 35014 895 2943 0 302703 0 [pid=22938/tid=22939] ppid=22935 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 1252593664 35014 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 1252593664 35014 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1252593664 35014 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1223236 [startup+0.300429 s] /proc/loadavg: 2.37 2.39 2.29 4/181 22938 /proc/meminfo: memFree=28924164/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=1296964 CPUtime=0.29 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 50889 0 0 0 22 7 0 0 20 0 4 0 29443704 1328091136 51707 33554432000 4194304 16246674 140735256211744 140735256211056 5532301 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 324241 51717 895 2943 0 321135 0 [pid=22938/tid=22939] ppid=22935 vsize=1296964 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 1328091136 51723 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=1296964 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 1328091136 51730 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=1296964 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1328091136 51736 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1296964 [startup+0.70034 s] /proc/loadavg: 2.37 2.39 2.29 4/181 22938 /proc/meminfo: memFree=28924164/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=1307204 CPUtime=0.68 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 65937 0 0 0 59 9 0 0 20 0 4 0 29443704 1338576896 66756 33554432000 4194304 16246674 140735256211744 140735256193664 5532218 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 326801 66765 910 2943 0 323695 0 [pid=22938/tid=22939] ppid=22935 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 1338576896 66771 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 1338576896 66778 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1338576896 66785 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1307204 [startup+1.50035 s] /proc/loadavg: 2.37 2.39 2.29 4/185 22942 /proc/meminfo: memFree=28511092/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=1307204 CPUtime=1.49 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 118743 0 0 0 132 17 0 0 20 0 4 0 29443704 1338576896 119561 33554432000 4194304 16246674 140735256211744 140735256193664 5662075 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 326801 119565 911 2943 0 323695 0 [pid=22938/tid=22939] ppid=22935 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 1338576896 119567 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 1338576896 119569 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1338576896 119571 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1307204 [startup+3.10036 s] /proc/loadavg: 2.42 2.40 2.30 4/185 22942 /proc/meminfo: memFree=28042620/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=1307204 CPUtime=3.09 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 267882 0 0 0 270 39 0 0 20 0 4 0 29443704 1338576896 268700 33554432000 4194304 16246674 140735256211744 140735256193664 12483632 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 326801 268700 913 2943 0 323695 0 [pid=22938/tid=22939] ppid=22935 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 1338576896 268700 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 1338576896 268700 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1338576896 268700 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.3004 s] /proc/loadavg: 2.42 2.40 2.30 3/185 22942 /proc/meminfo: memFree=27850160/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 267882 0 0 0 590 39 0 0 20 0 4 0 29443704 1338576896 268700 33554432000 4194304 16246674 140735256211744 140735256193664 5661363 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 326801 268700 913 2943 0 323695 0 [pid=22938/tid=22939] ppid=22935 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 1338576896 268700 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 1338576896 268700 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1338576896 268700 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.36 2.38 2.29 3/185 22942 /proc/meminfo: memFree=27850060/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=1307204 CPUtime=12.69 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 267882 0 0 0 1230 39 0 0 20 0 4 0 29443704 1338576896 268700 33554432000 4194304 16246674 140735256211744 140735256193664 6012004 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 326801 268700 913 2943 0 323695 0 [pid=22938/tid=22939] ppid=22935 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 1338576896 268700 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 1338576896 268700 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1338576896 268700 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.30 2.37 2.29 3/186 22945 /proc/meminfo: memFree=27850148/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=1307204 CPUtime=25.49 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 267882 0 0 0 2510 39 0 0 20 0 4 0 29443704 1338576896 268700 33554432000 4194304 16246674 140735256211744 140735256193664 5674844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 326801 268700 913 2943 0 323695 0 [pid=22938/tid=22939] ppid=22935 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 1338576896 268700 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 1338576896 268700 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1338576896 268700 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1307204 [startup+51.1005 s] /proc/loadavg: 2.33 2.37 2.29 3/186 22945 /proc/meminfo: memFree=27850128/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=1307204 CPUtime=51.08 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 267997 0 0 0 5069 39 0 0 20 0 4 0 29443704 1338576896 268815 33554432000 4194304 16246674 140735256211744 140735256193600 5673980 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 326801 268815 915 2943 0 323695 0 [pid=22938/tid=22939] ppid=22935 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 1338576896 268815 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 1338576896 268815 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1338576896 268815 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1307204 [startup+102.3 s] /proc/loadavg: 2.26 2.34 2.28 3/185 22946 /proc/meminfo: memFree=27840060/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=1317444 CPUtime=102.28 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 270439 0 0 0 10188 40 0 0 20 0 4 0 29443704 1349062656 271257 33554432000 4194304 16246674 140735256211744 140735256193664 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 329361 271257 917 2943 0 326255 0 [pid=22938/tid=22939] ppid=22935 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 1349062656 271257 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 1349062656 271257 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1349062656 271257 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1317444 ################ # More data... # ################ /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1356402688 273174 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 1324612 [startup+1362.3 s] /proc/loadavg: 2.32 2.28 2.27 3/185 23028 /proc/meminfo: memFree=27817492/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=1330756 CPUtime=1361.98 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 274051 0 0 0 136155 43 0 0 20 0 4 0 29443704 1362694144 274710 33554432000 4194304 16246674 140735256211744 140735256193664 5661432 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 332689 274710 919 2943 0 329583 0 [pid=22938/tid=22939] ppid=22935 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 1362694144 274710 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 1362694144 274710 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1362694144 274710 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 1330756 [startup+1422.3 s] /proc/loadavg: 2.21 2.26 2.26 4/185 23029 /proc/meminfo: memFree=27817460/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=1330756 CPUtime=1421.94 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 274095 0 0 0 142151 43 0 0 20 0 4 0 29443704 1362694144 274710 33554432000 4194304 16246674 140735256211744 140735256193664 5672056 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 332689 274710 919 2943 0 329583 0 [pid=22938/tid=22939] ppid=22935 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 1362694144 274710 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 1362694144 274710 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1362694144 274710 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1330756 [startup+1482.3 s] /proc/loadavg: 2.12 2.22 2.25 3/185 23030 /proc/meminfo: memFree=27817396/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=1330756 CPUtime=1481.89 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 274140 0 0 0 148146 43 0 0 20 0 4 0 29443704 1362694144 274710 33554432000 4194304 16246674 140735256211744 140735256193664 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 332689 274710 919 2943 0 329583 0 [pid=22938/tid=22939] ppid=22935 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 1362694144 274710 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 1362694144 274710 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1362694144 274710 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1330756 [startup+1542.31 s] /proc/loadavg: 2.30 2.25 2.26 4/185 23031 /proc/meminfo: memFree=27817448/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=1330756 CPUtime=1541.87 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 274175 0 0 0 154144 43 0 0 20 0 4 0 29443704 1362694144 274710 33554432000 4194304 16246674 140735256211744 140735256193664 5661607 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 332689 274710 919 2943 0 329583 0 [pid=22938/tid=22939] ppid=22935 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 1362694144 274710 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 1362694144 274710 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1362694144 274710 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1330756 [startup+1602.3 s] /proc/loadavg: 2.24 2.24 2.25 3/185 23032 /proc/meminfo: memFree=27817676/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=1330756 CPUtime=1601.84 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 274196 0 0 0 160140 44 0 0 20 0 4 0 29443704 1362694144 274710 33554432000 4194304 16246674 140735256211744 140735256193600 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 332689 274710 919 2943 0 329583 0 [pid=22938/tid=22939] ppid=22935 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 1362694144 274710 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 1362694144 274710 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1362694144 274710 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1330756 [startup+1662.3 s] /proc/loadavg: 2.13 2.21 2.24 3/185 23034 /proc/meminfo: memFree=27805060/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=1337924 CPUtime=1661.83 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 275992 0 0 0 166139 44 0 0 20 0 4 0 29443704 1370034176 276502 33554432000 4194304 16246674 140735256211744 140735256193664 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 334481 276502 919 2943 0 331375 0 [pid=22938/tid=22939] ppid=22935 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 1370034176 276502 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 1370034176 276502 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1370034176 276502 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1337924 [startup+1722.3 s] /proc/loadavg: 2.25 2.23 2.24 3/185 23035 /proc/meminfo: memFree=27803580/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=1337924 CPUtime=1721.82 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 275992 0 0 0 172138 44 0 0 20 0 4 0 29443704 1370034176 276502 33554432000 4194304 16246674 140735256211744 140735256193664 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 334481 276502 919 2943 0 331375 0 [pid=22938/tid=22939] ppid=22935 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 1370034176 276502 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 1370034176 276502 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1370034176 276502 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1337924 [startup+1782.3 s] /proc/loadavg: 2.15 2.20 2.23 3/185 23036 /proc/meminfo: memFree=27803308/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=1337924 CPUtime=1781.81 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 275992 0 0 0 178137 44 0 0 20 0 4 0 29443704 1370034176 276502 33554432000 4194304 16246674 140735256211744 140735256193664 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 334481 276502 919 2943 0 331375 0 [pid=22938/tid=22939] ppid=22935 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 1370034176 276502 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 1370034176 276502 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1370034176 276502 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1337924 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.17 2.20 2.23 4/185 23036 /proc/meminfo: memFree=27803524/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=1337924 CPUtime=1800 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 275992 0 0 0 179956 44 0 0 20 0 4 0 29443704 1370034176 276502 33554432000 4194304 16246674 140735256211744 140735256193600 5677716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 334481 276502 919 2943 0 331375 0 [pid=22938/tid=22939] ppid=22935 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 1370034176 276502 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 1370034176 276502 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1370034176 276502 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1337924 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 22938 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.17 2.20 2.23 4/185 23036 /proc/meminfo: memFree=27803524/32872528 swapFree=1505436/1685308 [pid=22938] ppid=22935 vsize=1337924 CPUtime=1800 cores=0,2,4,6 /proc/22938/stat : 22938 (toysat) R 22935 22938 21389 0 -1 4202496 275992 0 0 0 179956 44 0 0 20 0 4 0 29443704 1370034176 276502 33554432000 4194304 16246674 140735256211744 140735256193600 5677716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22938/statm: 334481 276502 919 2943 0 331375 0 [pid=22938/tid=22939] ppid=22935 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22939/stat : 22939 (toysat) S 22935 22938 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29443704 1370034176 276502 33554432000 4194304 16246674 140735256211744 140436698017008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=22938/tid=22940] ppid=22935 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22940/stat : 22940 (toysat) S 22935 22938 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29443704 1370034176 276502 33554432000 4194304 16246674 140735256211744 140436687527152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=22938/tid=22941] ppid=22935 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/22938/task/22941/stat : 22941 (toysat) S 22935 22938 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29443704 1370034176 276502 33554432000 4194304 16246674 140735256211744 140436572204208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1337924 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.57 CPU system time (s): 0.445932 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 1337924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.57 system time used= 0.445932 maximum resident set size= 1106008 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 275992 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= 326 involuntary context switches= 1840 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.78727 second user time and 6.71398 second system time The end
Begin job on node135 at 2016-06-18 20:19:38 IDJOB=4106583 IDBENCH=48118 IDSOLVER=2542 FILE ID=node135/4106583-1466273978 RUNJOBID= node135-1466266561-21405 PBS_JOBID= 19918237 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_4.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106583-1466273978/watcher-4106583-1466273978 -o /tmp/evaluation-result-4106583-1466273978/solver-4106583-1466273978 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21405 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106583-1466273978.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7603a459a5769ea7e43f52c522eb87aa RANDOM SEED=1360416283 node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 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 : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 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 : 2667.004 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 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 : 2667.004 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 : 2667.004 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 : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 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: 28924072 kB Buffers: 158152 kB Cached: 283088 kB SwapCached: 716 kB Active: 1219688 kB Inactive: 302104 kB Active(anon): 1081788 kB Inactive(anon): 1308 kB Active(file): 137900 kB Inactive(file): 300796 kB Unevictable: 1685308 kB Mlocked: 1505436 kB SwapTotal: 67108856 kB SwapFree: 67100444 kB Dirty: 16328 kB Writeback: 0 kB AnonPages: 2764988 kB Mapped: 10544 kB Shmem: 0 kB Slab: 605292 kB SReclaimable: 49168 kB SUnreclaim: 556124 kB KernelStack: 1464 kB PageTables: 9432 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2907992 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 1253376 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= 71672 MiB End job on node135 at 2016-06-18 20:49:38