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.06 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir06_area_delay.opb |
| MD5SUM | 21fb64899a6dc4867ccfcbb30d44d536 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 15 |
| Best CPU time to get the best result obtained on this benchmark | 0.080987 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 15 |
| Optimality of the best value was proved | YES |
| Number of variables | 5537 |
| Total number of constraints | 15855 |
| Number of constraints which are clauses | 15855 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 2646 |
| 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 | 2646 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2646 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-07T00:09:30+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-4079792-1465250970.opb"] 0.00/0.01 c use --random-gen="1612927868 4138415182 450104111 2542335444 3322328588 235944789 24899840 456218282 3525995169 3113064159 2584679695 4080999950 3820997201 279782829 3852673190 3900589942 1507572270 140755822 4050708420 1504373067 1878282616 236307545 345570009 1789003434 572071912 145388930 989252261 1301298635 1854919217 1538737268 3100140052 2116048739 358743260 2868462400 3476184524 2720438458 1107458555 3576110526 2528079471 325240415 1518277745 764463726 4019797209 2079902222 917422952 1879621321 563631846 2982595818 658124800 3076225714 888729686 3667150342 3898844961 2056508546 3275674834 3911407125 2377976210 1721399475 164060630 1137733987 3656111148 503484740 4179843802 2518078819 206071603 3886538943 3085604237 3668491595 2404881934 4071762596 3709012251 2609705817 3586410235 3334546324 23667035 2896619687 1053163441 1604816207 3984967597 812391741 936257871 3966170220 2379357779 384578747 2158307597 2924686815 326046548 4151856789 1414446106 3021218384 162466030 1298302344 1053554928 2281126561 1977141047 606973088 1294717652 1235260507 1349115766 4194532773 1904605848 2997348774 3454695060 1789542635 2805428593 3419312067 2363305953 3640255165 3248589100 3226728335 2009947474 3799868075 4088942508 760312079 1985660440 2955696654 479085333 1632526467 1345084538 856182680 2422712358 3205504935 4276647980 3339272226 4271339720 398471053 747240224 3128205991 112186953 468332769 2042788729 559472420 2206294762 3824552053 1365933234 1983791343 1754629249 1214448246 752929490 831390594 2131081692 3957699618 1090887577 3926336962 1766079716 1604228517 3377113603 2800728628 3462348286 1430787635 3202677248 5671935 4140614667 3875400262 3726019907 883564792 4270127754 2426353327 1424581985 1279785064 2898059687 143306085 1597140948 357844840 1636745184 1247643508 341142923 2275725651 3315013050 4224035937 2200142896 544538025 4047890047 3809528134 3741577382 1807628298 3346309423 3637524140 69318063 1285071456 1352666147 349712837 4139319259 3561308421 4287325840 331769097 2350901775 3389015367 328460318 2020610129 851062860 1343587534 3142294021 1746537991 2484312389 2380194785 583729721 1270483288 455161986 3034687994 2133512980 2680747457 2520679219 32042224 4191395369 1331699823 3604971446 2697041529 2581055578 1263323154 1892494375 2911408347 1256425245 2574591193 4111221972 346785580 339981902 659236288 1061128080 884746126 314831029 2388729989 1095318097 3368826905 1391319704 1398951954 1051841923 2217025847 756053804 2636389222 3310619872 4018493313 95984981 3840482728 4102134203 398611817 3160281865 1686740650 380344183 2605923075 1731136745 2678381621 3002121337 1030314053 3206571761 3815404161 1785096685 2721374157 3395273352 3045051805 3778729109 2802898711 3868343413 2721198018 3101646357 3934111940 255 362436" option to reproduce the execution 0.08/0.13 c #vars 5537 0.08/0.13 c #constraints 15855 0.29/0.31 c BCD2: Hardening is enabled. 0.29/0.31 c BCD2: BiasedSearch is enabled. 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 | 6810 0 | 512 | 0 0.29/0.34 c 0.0s | 0 | 2450 | 0 | 6810 0 | 512 | 907 0.29/0.34 c #cpu_time = 0.028s 0.29/0.34 c #wall_clock_time = 0.028s 0.29/0.34 c #decision = 2450 0.29/0.34 c #random_decision = 11 0.29/0.34 c #conflict = 0 0.29/0.34 c #restart = 0 0.29/0.34 o 2344 0.29/0.37 c BCD2: updating upper bound: 2646 -> 2343 0.29/0.38 c BCD2: 0 <= obj <= 2343 0.29/0.38 c BCD2: #cores=0, #unrelaxed=2646, #relaxed=0, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=1 bias=1/2 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 | 6810 0 | 512 | 907 0.39/0.40 c 0.0s | 0 | 946 | 0 | 6810 0 | 512 | 907 0.39/0.40 c #cpu_time = 0.008s 0.39/0.40 c #wall_clock_time = 0.008s 0.39/0.40 c #decision = 946 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 35: cost of the new core is >=1 0.39/0.40 c lower bound updated to 1 0.39/0.40 c BCD2: 1 <= obj <= 2343 0.39/0.40 c BCD2: #cores=1, #unrelaxed=2611, #relaxed=35, #hardened=0 0.39/0.40 c BCD2: #sat=1 #unsat=2 bias=2/3 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 | 6810 0 | 512 | 907 0.39/0.41 c 0.0s | 0 | 1754 | 0 | 6810 0 | 512 | 907 0.39/0.41 c #cpu_time = 0.010s 0.39/0.41 c #wall_clock_time = 0.010s 0.39/0.41 c #decision = 1754 0.39/0.41 c #random_decision = 0 0.39/0.41 c #conflict = 0 0.39/0.41 c #restart = 0 0.39/0.41 c BCD2: found a new core of size 25: cost of the new core is >=1 0.39/0.41 c lower bound updated to 2 0.39/0.43 c BCD2: 2 <= obj <= 2343 0.39/0.43 c BCD2: #cores=2, #unrelaxed=2586, #relaxed=60, #hardened=0 0.39/0.43 c BCD2: #sat=1 #unsat=3 bias=3/4 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 | 6810 0 | 512 | 907 0.39/0.44 c 0.0s | 0 | 1853 | 0 | 6810 0 | 512 | 907 0.39/0.44 c #cpu_time = 0.009s 0.39/0.44 c #wall_clock_time = 0.009s 0.39/0.44 c #decision = 1853 0.39/0.44 c #random_decision = 0 0.39/0.44 c #conflict = 0 0.39/0.44 c #restart = 0 0.39/0.44 c BCD2: found a new core of size 35: cost of the new core is >=1 0.39/0.44 c lower bound updated to 3 0.39/0.44 c BCD2: 3 <= obj <= 2343 0.39/0.44 c BCD2: #cores=3, #unrelaxed=2551, #relaxed=95, #hardened=0 0.39/0.44 c BCD2: #sat=1 #unsat=4 bias=4/5 0.39/0.44 c Solving starts ... 0.39/0.44 c ============================[ Search Statistics ]============================ 0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.44 c | | | | Limit GC | Var | Constra 0.39/0.44 c ============================================================================= 0.39/0.44 c 0.0s | 0 | 0 | 0 | 6810 0 | 512 | 907 0.39/0.45 c 0.0s | 0 | 1883 | 0 | 6810 0 | 512 | 907 0.39/0.45 c #cpu_time = 0.010s 0.39/0.45 c #wall_clock_time = 0.010s 0.39/0.45 c #decision = 1883 0.39/0.45 c #random_decision = 0 0.39/0.45 c #conflict = 0 0.39/0.45 c #restart = 0 0.39/0.45 c BCD2: found a new core of size 35: cost of the new core is >=1 0.39/0.45 c lower bound updated to 4 0.39/0.46 c BCD2: 4 <= obj <= 2343 0.39/0.46 c BCD2: #cores=4, #unrelaxed=2516, #relaxed=130, #hardened=0 0.39/0.46 c BCD2: #sat=1 #unsat=5 bias=5/6 0.39/0.46 c Solving starts ... 0.39/0.46 c ============================[ Search Statistics ]============================ 0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.46 c | | | | Limit GC | Var | Constra 0.39/0.46 c ============================================================================= 0.39/0.46 c 0.0s | 0 | 0 | 0 | 6810 0 | 512 | 907 0.39/0.47 c 0.0s | 0 | 1910 | 0 | 6810 0 | 512 | 907 0.39/0.47 c #cpu_time = 0.010s 0.39/0.47 c #wall_clock_time = 0.010s 0.39/0.47 c #decision = 1910 0.39/0.47 c #random_decision = 0 0.39/0.47 c #conflict = 0 0.39/0.47 c #restart = 0 0.39/0.47 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.47 c lower bound updated to 5 0.39/0.47 c BCD2: 5 <= obj <= 2343 0.39/0.47 c BCD2: #cores=5, #unrelaxed=2515, #relaxed=131, #hardened=0 0.39/0.47 c BCD2: #sat=1 #unsat=6 bias=6/7 0.39/0.47 c Solving starts ... 0.39/0.47 c ============================[ Search Statistics ]============================ 0.39/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.47 c | | | | Limit GC | Var | Constra 0.39/0.47 c ============================================================================= 0.39/0.47 c 0.0s | 0 | 0 | 0 | 6810 0 | 512 | 907 0.39/0.48 c 0.0s | 0 | 1926 | 1 | 6810 0 | 512 | 907 0.39/0.48 c #cpu_time = 0.010s 0.39/0.48 c #wall_clock_time = 0.010s 0.39/0.48 c #decision = 1926 0.39/0.48 c #random_decision = 0 0.39/0.48 c #conflict = 1 0.39/0.48 c #restart = 0 0.39/0.48 c BCD2: found a new core of size 43: cost of the new core is >=1 0.39/0.48 c lower bound updated to 6 0.39/0.48 c BCD2: 6 <= obj <= 2343 0.39/0.48 c BCD2: #cores=6, #unrelaxed=2472, #relaxed=174, #hardened=0 0.39/0.48 c BCD2: #sat=1 #unsat=7 bias=7/8 0.39/0.48 c Solving starts ... 0.39/0.48 c ============================[ Search Statistics ]============================ 0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.48 c | | | | Limit GC | Var | Constra 0.39/0.48 c ============================================================================= 0.39/0.48 c 0.0s | 0 | 0 | 0 | 6810 0 | 512 | 907 0.39/0.49 c 0.0s | 0 | 1897 | 0 | 6810 0 | 512 | 907 0.39/0.49 c #cpu_time = 0.010s 0.39/0.49 c #wall_clock_time = 0.010s 0.39/0.49 c #decision = 1897 0.39/0.49 c #random_decision = 0 0.39/0.49 c #conflict = 0 0.39/0.49 c #restart = 0 0.39/0.49 c BCD2: found a new core of size 7: cost of the new core is >=1 0.39/0.49 c lower bound updated to 7 0.39/0.49 c BCD2: 7 <= obj <= 2343 0.39/0.49 c BCD2: #cores=7, #unrelaxed=2465, #relaxed=181, #hardened=0 0.39/0.49 c BCD2: #sat=1 #unsat=8 bias=8/9 0.39/0.49 c Solving starts ... 0.39/0.49 c ============================[ Search Statistics ]============================ 0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.49 c | | | | Limit GC | Var | Constra 0.39/0.49 c ============================================================================= 0.39/0.49 c 0.0s | 0 | 0 | 0 | 6810 0 | 512 | 907 0.49/0.51 c 0.0s | 0 | 2046 | 0 | 6810 0 | 512 | 907 0.49/0.51 c #cpu_time = 0.011s 0.49/0.51 c #wall_clock_time = 0.011s 0.49/0.51 c #decision = 2046 0.49/0.51 c #random_decision = 0 0.49/0.51 c #conflict = 0 0.49/0.51 c #restart = 0 0.49/0.51 c BCD2: found a new core of size 9: cost of the new core is >=1 0.49/0.51 c lower bound updated to 8 0.49/0.51 c BCD2: 8 <= obj <= 2343 0.49/0.51 c BCD2: #cores=8, #unrelaxed=2456, #relaxed=190, #hardened=0 0.49/0.51 c BCD2: #sat=1 #unsat=9 bias=9/10 0.49/0.51 c Solving starts ... 0.49/0.51 c ============================[ Search Statistics ]============================ 0.49/0.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.51 c | | | | Limit GC | Var | Constra 0.49/0.51 c ============================================================================= 0.49/0.51 c 0.0s | 0 | 0 | 0 | 6810 0 | 512 | 907 0.49/0.52 c 0.0s | 0 | 2060 | 0 | 6810 0 | 512 | 907 0.49/0.52 c #cpu_time = 0.010s 0.49/0.52 c #wall_clock_time = 0.010s 0.49/0.52 c #decision = 2060 0.49/0.52 c #random_decision = 0 0.49/0.52 c #conflict = 0 0.49/0.52 c #restart = 0 0.49/0.52 c BCD2: found a new core of size 21: cost of the new core is >=1 0.49/0.52 c lower bound updated to 9 0.49/0.52 c BCD2: 9 <= obj <= 2343 0.49/0.52 c BCD2: #cores=9, #unrelaxed=2435, #relaxed=211, #hardened=0 0.49/0.52 c BCD2: #sat=1 #unsat=10 bias=10/11 0.49/0.52 c Solving starts ... 0.49/0.52 c ============================[ Search Statistics ]============================ 0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.52 c | | | | Limit GC | Var | Constra 0.49/0.52 c ============================================================================= 0.49/0.52 c 0.0s | 0 | 0 | 0 | 6810 0 | 512 | 907 0.49/0.53 c 0.0s | 0 | 2089 | 0 | 6810 0 | 512 | 907 0.49/0.53 c #cpu_time = 0.011s 0.49/0.53 c #wall_clock_time = 0.011s 0.49/0.53 c #decision = 2089 0.49/0.53 c #random_decision = 0 0.49/0.53 c #conflict = 0 0.49/0.53 c #restart = 0 0.49/0.53 c BCD2: found a new core of size 15: cost of the new core is >=1 0.49/0.53 c lower bound updated to 10 0.49/0.54 c BCD2: 10 <= obj <= 2343 0.49/0.54 c BCD2: #cores=10, #unrelaxed=2420, #relaxed=226, #hardened=0 0.49/0.54 c BCD2: #sat=1 #unsat=11 bias=11/12 0.49/0.54 c Solving starts ... 0.49/0.54 c ============================[ Search Statistics ]============================ 0.49/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.54 c | | | | Limit GC | Var | Constra 0.49/0.54 c ============================================================================= 0.49/0.54 c 0.0s | 0 | 0 | 0 | 6810 0 | 512 | 907 0.49/0.55 c 0.0s | 0 | 2101 | 0 | 6810 0 | 512 | 907 0.49/0.55 c #cpu_time = 0.010s 0.49/0.55 c #wall_clock_time = 0.010s 0.49/0.55 c #decision = 2101 0.49/0.55 c #random_decision = 0 0.49/0.55 c #conflict = 0 0.49/0.55 c #restart = 0 0.49/0.55 c BCD2: found a new core of size 25: cost of the new core is >=1 0.49/0.55 c lower bound updated to 11 0.49/0.55 c BCD2: 11 <= obj <= 2343 0.49/0.55 c BCD2: #cores=11, #unrelaxed=2395, #relaxed=251, #hardened=0 0.49/0.55 c BCD2: #sat=1 #unsat=12 bias=12/13 0.49/0.55 c Solving starts ... 0.49/0.55 c ============================[ Search Statistics ]============================ 0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.55 c | | | | Limit GC | Var | Constra 0.49/0.55 c ============================================================================= 0.49/0.55 c 0.0s | 0 | 0 | 0 | 6810 0 | 512 | 907 0.49/0.56 c 0.0s | 0 | 2151 | 0 | 6810 0 | 512 | 907 0.49/0.56 c #cpu_time = 0.010s 0.49/0.56 c #wall_clock_time = 0.010s 0.49/0.56 c #decision = 2151 0.49/0.56 c #random_decision = 0 0.49/0.56 c #conflict = 0 0.49/0.56 c #restart = 0 0.49/0.56 c BCD2: found a new core of size 47: cost of the new core is >=1 0.49/0.56 c lower bound updated to 12 0.49/0.56 c BCD2: 12 <= obj <= 2343 0.49/0.56 c BCD2: #cores=12, #unrelaxed=2348, #relaxed=298, #hardened=0 0.49/0.56 c BCD2: #sat=1 #unsat=13 bias=13/14 0.49/0.56 c Solving starts ... 0.49/0.56 c ============================[ Search Statistics ]============================ 0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.56 c | | | | Limit GC | Var | Constra 0.49/0.56 c ============================================================================= 0.49/0.56 c 0.0s | 0 | 0 | 0 | 6810 0 | 512 | 907 0.49/0.58 c 0.0s | 0 | 2299 | 0 | 6810 0 | 512 | 907 0.49/0.58 c #cpu_time = 0.014s 0.49/0.58 c #wall_clock_time = 0.014s 0.49/0.58 c #decision = 2299 0.49/0.58 c #random_decision = 0 0.49/0.58 c #conflict = 0 0.49/0.58 c #restart = 0 0.49/0.58 o 41 0.49/0.58 c BCD2: updating upper bound: 2343 -> 40 0.49/0.59 c BCD2: 12 <= obj <= 40 0.49/0.59 c BCD2: #cores=12, #unrelaxed=2348, #relaxed=298, #hardened=0 0.49/0.59 c BCD2: #sat=2 #unsat=13 bias=13/15 0.49/0.59 c Solving starts ... 0.49/0.59 c ============================[ Search Statistics ]============================ 0.49/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.59 c | | | | Limit GC | Var | Constra 0.49/0.59 c ============================================================================= 0.49/0.59 c 0.0s | 0 | 0 | 0 | 6810 0 | 512 | 908 0.59/0.61 c 0.0s | 0 | 2258 | 8 | 6810 0 | 512 | 908 0.59/0.61 c #cpu_time = 0.014s 0.59/0.61 c #wall_clock_time = 0.014s 0.59/0.61 c #decision = 2258 0.59/0.61 c #random_decision = 1 0.59/0.61 c #conflict = 8 0.59/0.61 c #restart = 0 0.59/0.61 o 33 0.59/0.61 c BCD2: updating upper bound: 40 -> 32 0.59/0.62 c BCD2: 12 <= obj <= 32 0.59/0.62 c BCD2: #cores=12, #unrelaxed=2348, #relaxed=298, #hardened=0 0.59/0.62 c BCD2: #sat=3 #unsat=13 bias=13/16 0.59/0.62 c Solving starts ... 0.59/0.62 c ============================[ Search Statistics ]============================ 0.59/0.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.62 c | | | | Limit GC | Var | Constra 0.59/0.62 c ============================================================================= 0.59/0.62 c 0.0s | 0 | 0 | 0 | 6810 0 | 512 | 909 0.59/0.64 c 0.0s | 0 | 2198 | 2 | 6810 0 | 512 | 909 0.59/0.64 c #cpu_time = 0.014s 0.59/0.64 c #wall_clock_time = 0.014s 0.59/0.64 c #decision = 2198 0.59/0.64 c #random_decision = 0 0.59/0.64 c #conflict = 2 0.59/0.64 c #restart = 0 0.59/0.64 o 26 0.59/0.64 c BCD2: updating upper bound: 32 -> 25 0.59/0.65 c BCD2: 12 <= obj <= 25 0.59/0.65 c BCD2: #cores=12, #unrelaxed=2348, #relaxed=298, #hardened=0 0.59/0.65 c BCD2: #sat=4 #unsat=13 bias=13/17 0.59/0.65 c Solving starts ... 0.59/0.65 c ============================[ Search Statistics ]============================ 0.59/0.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.65 c | | | | Limit GC | Var | Constra 0.59/0.65 c ============================================================================= 0.59/0.65 c 0.0s | 0 | 0 | 0 | 6810 0 | 512 | 910 0.59/0.67 c 0.0s | 0 | 2217 | 1 | 6810 0 | 512 | 910 0.59/0.67 c #cpu_time = 0.014s 0.59/0.67 c #wall_clock_time = 0.014s 0.59/0.67 c #decision = 2217 0.59/0.67 c #random_decision = 0 0.59/0.67 c #conflict = 1 0.59/0.67 c #restart = 0 0.59/0.67 o 21 0.59/0.67 c BCD2: updating upper bound: 25 -> 20 0.59/0.68 c BCD2: 12 <= obj <= 20 0.59/0.68 c BCD2: #cores=12, #unrelaxed=2348, #relaxed=298, #hardened=0 0.59/0.68 c BCD2: #sat=5 #unsat=13 bias=13/18 0.59/0.68 c Solving starts ... 0.59/0.68 c ============================[ Search Statistics ]============================ 0.59/0.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.68 c | | | | Limit GC | Var | Constra 0.59/0.68 c ============================================================================= 0.59/0.68 c 0.0s | 0 | 0 | 0 | 6810 0 | 512 | 911 0.69/0.72 c 0.0s | 1 | 3310 | 100 | 7492 0 | 512 | 911 0.69/0.76 c 0.1s | 1 | 6222 | 185 | 7492 0 | 512 | 911 0.69/0.76 c #cpu_time = 0.086s 0.69/0.76 c #wall_clock_time = 0.086s 0.69/0.76 c #decision = 6222 0.69/0.76 c #random_decision = 0 0.69/0.76 c #conflict = 185 0.69/0.76 c #restart = 1 0.69/0.76 c BCD2: relaxing 62 and merging with 5 cores into a new core of size 189: cost of the new core is >=6 0.69/0.76 c lower bound updated to 13 0.69/0.77 c BCD2: 13 <= obj <= 20 0.69/0.77 c BCD2: #cores=8, #unrelaxed=2286, #relaxed=360, #hardened=0 0.69/0.77 c BCD2: #sat=5 #unsat=14 bias=14/19 0.69/0.77 c Solving starts ... 0.69/0.77 c ============================[ Search Statistics ]============================ 0.69/0.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.77 c | | | | Limit GC | Var | Constra 0.69/0.77 c ============================================================================= 0.69/0.77 c 0.0s | 0 | 0 | 0 | 7492 0 | 534 | 911 0.79/0.81 c 0.0s | 1 | 2524 | 100 | 8242 0 | 534 | 950 0.79/0.87 c 0.1s | 2 | 5322 | 250 | 8242 0 | 534 | 950 0.89/0.97 c 0.2s | 3 | 8441 | 475 | 9067 0 | 534 | 950 0.99/1.10 c 0.3s | 4 | 11753 | 813 | 9974 0 | 534 | 950 1.19/1.28 c 0.5s | 5 | 16078 | 1320 | 10972 0 | 534 | 950 1.49/1.61 c 0.8s | 6 | 21144 | 2081 | 12070 0 | 534 | 950 2.09/2.19 c 1.4s | 7 | 28094 | 3223 | 13278 0 | 534 | 950 2.98/3.09 c 2.3s | 8 | 41723 | 4936 | 14606 0 | 534 | 950 4.18/4.28 c 3.5s | 9 | 61548 | 7506 | 16067 0 | 534 | 950 6.28/6.31 c 5.5s | 9 | 88859 | 11206 | 17674 0 | 534 | 950 6.38/6.40 c 5.6s | 10 | 90036 | 11361 | 17674 0 | 534 | 950 8.38/8.46 c 7.7s | 10 | 115365 | 14461 | 17674 0 | 534 | 950 10.48/10.53 c 9.8s | 10 | 131718 | 16861 | 19442 0 | 534 | 950 10.68/10.75 c 10.0s | 11 | 133558 | 17144 | 19442 0 | 534 | 950 12.68/12.79 c 12.0s | 11 | 150245 | 19844 | 19442 0 | 534 | 950 14.78/14.86 c 14.1s | 11 | 168123 | 22344 | 19442 0 | 534 | 950 16.88/16.92 c 16.2s | 11 | 184167 | 25044 | 19442 1 | 534 | 950 17.28/17.36 c 16.6s | 12 | 189717 | 25819 | 21387 1 | 534 | 950 19.28/19.36 c 18.6s | 12 | 207791 | 28619 | 21387 1 | 534 | 950 21.28/21.37 c 20.6s | 12 | 227163 | 31119 | 21387 1 | 534 | 950 23.39/23.44 c 22.7s | 12 | 246459 | 33319 | 21387 1 | 534 | 950 25.49/25.53 c 24.8s | 12 | 259596 | 34819 | 21387 1 | 534 | 950 27.59/27.63 c 26.9s | 12 | 280152 | 36919 | 21387 1 | 534 | 950 29.49/29.58 c 28.8s | 13 | 296464 | 38832 | 23526 2 | 534 | 950 31.58/31.66 c 30.9s | 13 | 321510 | 41332 | 23526 2 | 534 | 950 33.68/33.71 c 32.9s | 13 | 337838 | 44032 | 23526 2 | 534 | 950 35.68/35.73 c 35.0s | 13 | 359289 | 46632 | 23526 2 | 534 | 950 37.68/37.74 c 37.0s | 13 | 378888 | 49232 | 23526 2 | 534 | 950 39.69/39.79 c 39.0s | 13 | 397405 | 51932 | 23526 2 | 534 | 950 41.78/41.82 c 41.1s | 13 | 414806 | 54532 | 23526 3 | 534 | 950 43.78/43.86 c 43.1s | 13 | 442250 | 57832 | 25879 3 | 534 | 950 44.19/44.22 c 43.4s | 14 | 447090 | 58352 | 25879 3 | 534 | 950 46.18/46.28 c 45.5s | 14 | 463213 | 60752 | 25879 3 | 534 | 950 48.28/48.32 c 47.6s | 14 | 481311 | 63352 | 25879 3 | 534 | 950 50.28/50.40 c 49.6s | 14 | 498349 | 65952 | 25879 3 | 534 | 950 52.38/52.46 c 51.7s | 14 | 510743 | 68052 | 25879 3 | 534 | 950 54.58/54.66 c 53.9s | 14 | 522086 | 70152 | 25879 4 | 534 | 950 56.58/56.68 c 55.9s | 14 | 539111 | 72752 | 25879 4 | 534 | 950 58.68/58.72 c 58.0s | 14 | 553533 | 75452 | 25879 4 | 534 | 950 60.68/60.76 c 60.0s | 14 | 567815 | 77652 | 25879 4 | 534 | 950 62.79/62.82 c 62.0s | 14 | 585115 | 79852 | 25879 4 | 534 | 950 64.78/64.89 c 64.1s | 14 | 602716 | 82252 | 25879 4 | 534 | 950 66.88/66.97 c 66.2s | 14 | 619380 | 84452 | 25879 4 | 534 | 950 68.98/69.04 c 68.3s | 14 | 634546 | 87052 | 28467 5 | 534 | 950 69.38/69.44 c 68.7s | 15 | 637937 | 87632 | 28467 5 | 534 | 950 71.48/71.50 c 70.7s | 15 | 657895 | 90532 | 28467 5 | 534 | 950 73.48/73.54 c 72.8s | 15 | 673911 | 93832 | 28467 5 | 534 | 950 77.27/77.37 c 76.6s | 15 | 677283 | 94432 | 28467 5 | 534 | 950 79.28/79.39 c 78.6s | 15 | 688266 | 96932 | 28467 5 | 534 | 950 81.37/81.46 c 80.7s | 15 | 698643 | 99432 | 28467 5 | 534 | 950 83.37/83.48 c 82.7s | 15 | 706750 | 101532 | 28467 5 | 534 | 950 85.37/85.49 c 84.7s | 15 | 714184 | 103232 | 28467 5 | 534 | 950 87.47/87.55 c 86.8s | 15 | 723147 | 105332 | 28467 6 | 534 | 950 89.97/90.06 c 89.3s | 15 | 724032 | 105532 | 28467 6 | 534 | 950 92.17/92.24 c 91.5s | 15 | 735265 | 107532 | 28467 6 | 534 | 950 94.27/94.31 c 93.5s | 15 | 750942 | 110032 | 28467 6 | 534 | 950 96.27/96.37 c 95.6s | 15 | 767352 | 112532 | 28467 6 | 534 | 950 98.38/98.40 c 97.6s | 15 | 784555 | 114832 | 28467 6 | 534 | 950 100.38/100.46 c 99.7s | 15 | 805177 | 117132 | 28467 6 | 534 | 950 102.48/102.51 c 101s | 15 | 818033 | 119232 | 28467 6 | 534 | 950 104.48/104.58 c 103s | 15 | 833170 | 121232 | 28467 7 | 534 | 950 106.57/106.63 c 105s | 15 | 845659 | 124832 | 28467 7 | 534 | 950 108.67/108.71 c 107s | 15 | 857393 | 128032 | 28467 7 | 534 | 950 110.67/110.74 c 109s | 15 | 869794 | 130532 | 31314 7 | 534 | 950 111.57/111.65 c 110s | 16 | 873690 | 131552 | 31314 7 | 534 | 950 113.57/113.66 c 112s | 16 | 885832 | 133852 | 31314 7 | 534 | 950 115.68/115.74 c 114s | 16 | 896953 | 136652 | 31314 7 | 534 | 950 117.67/117.76 c 116s | 16 | 906100 | 138852 | 31314 7 | 534 | 950 119.77/119.81 c 119s | 16 | 916108 | 140252 | 31314 8 | 534 | 950 123.37/123.43 c 122s | 16 | 921366 | 140952 | 31314 8 | 534 | 950 125.37/125.48 c 124s | 16 | 937806 | 143052 | 31314 8 | 534 | 950 128.66/128.78 c 128s | 16 | 952359 | 144852 | 31314 8 | 534 | 950 130.76/130.82 c 130s | 16 | 967444 | 146652 | 31314 8 | 534 | 950 132.76/132.84 c 132s | 16 | 985118 | 148852 | 31314 8 | 534 | 950 134.76/134.88 c 134s | 16 | 1001553 | 151052 | 31314 8 | 534 | 950 136.86/136.94 c 136s | 16 | 1019658 | 153052 | 31314 8 | 534 | 950 138.96/139.00 c 138s | 16 | 1034745 | 154952 | 31314 8 | 534 | 950 140.97/141.04 c 140s | 16 | 1049915 | 156552 | 31314 8 | 534 | 950 142.96/143.06 c 142s | 16 | 1065216 | 158452 | 31314 9 | 534 | 950 144.96/145.08 c 144s | 16 | 1083419 | 160952 | 31314 9 | 534 | 950 147.06/147.10 c 146s | 16 | 1105923 | 164352 | 31314 9 | 534 | 950 149.06/149.16 c 148s | 16 | 1124094 | 167352 | 31314 9 | 534 | 950 151.06/151.18 c 150s | 16 | 1140372 | 169652 | 31314 9 | 534 | 950 153.16/153.23 c 152s | 16 | 1156493 | 171952 | 31314 9 | 534 | 950 155.27/155.30 c 154s | 16 | 1172325 | 174652 | 31314 9 | 534 | 950 157.26/157.36 c 156s | 16 | 1187467 | 177052 | 31314 10 | 534 | 950 159.36/159.41 c 158s | 16 | 1207330 | 179952 | 31314 10 | 534 | 950 161.36/161.45 c 160s | 16 | 1231861 | 182952 | 31314 10 | 534 | 950 163.46/163.51 c 162s | 16 | 1248091 | 185752 | 31314 10 | 534 | 950 165.46/165.57 c 164s | 16 | 1265718 | 188552 | 31314 10 | 534 | 950 167.56/167.60 c 166s | 16 | 1286206 | 191452 | 31314 10 | 534 | 950 169.56/169.60 c 168s | 16 | 1303753 | 193752 | 31314 10 | 534 | 950 171.56/171.62 c 170s | 16 | 1321743 | 196152 | 34446 11 | 534 | 950 172.46/172.55 c 171s | 17 | 1332055 | 197432 | 34446 11 | 534 | 950 174.46/174.58 c 173s | 17 | 1352892 | 200332 | 34446 11 | 534 | 950 176.56/176.61 c 175s | 17 | 1374763 | 203232 | 34446 11 | 534 | 950 178.55/178.65 c 177s | 17 | 1380633 | 203832 | 34446 11 | 534 | 950 180.56/180.68 c 179s | 17 | 1395069 | 205432 | 34446 11 | 534 | 950 182.66/182.76 c 181s | 17 | 1412494 | 207432 | 34446 11 | 534 | 950 184.75/184.83 c 184s | 17 | 1430652 | 209532 | 34446 11 | 534 | 950 186.75/186.83 c 186s | 17 | 1448406 | 211532 | 34446 11 | 534 | 950 188.75/188.86 c 188s | 17 | 1470891 | 213732 | 34446 11 | 534 | 950 190.85/191.00 c 190s | 17 | 1484026 | 215232 | 34446 12 | 534 | 950 194.26/194.32 c 193s | 17 | 1494064 | 216232 | 34446 12 | 534 | 950 200.15/200.20 c 199s | 17 | 1494618 | 216332 | 34446 12 | 534 | 950 202.15/202.26 c 201s | 17 | 1511118 | 218932 | 34446 12 | 534 | 950 204.15/204.28 c 203s | 17 | 1530710 | 221232 | 34446 12 | 534 | 950 206.25/206.32 c 205s | 17 | 1548146 | 223532 | 34446 12 | 534 | 950 208.25/208.32 c 207s | 17 | 1567035 | 225832 | 34446 12 | 534 | 950 210.26/210.34 c 209s | 17 | 1583176 | 228232 | 34446 12 | 534 | 950 212.36/212.41 c 211s | 17 | 1597979 | 230732 | 34446 12 | 534 | 950 214.35/214.47 c 213s | 17 | 1614626 | 233132 | 34446 12 | 534 | 950 216.35/216.49 c 215s | 17 | 1630618 | 235832 | 34446 13 | 534 | 950 218.45/218.55 c 217s | 17 | 1646191 | 238832 | 34446 13 | 534 | 950 220.66/220.70 c 219s | 17 | 1659455 | 241432 | 34446 13 | 534 | 950 222.66/222.79 c 222s | 17 | 1672176 | 243432 | 34446 13 | 534 | 950 224.76/224.84 c 224s | 17 | 1688928 | 245332 | 34446 13 | 534 | 950 226.86/226.93 c 226s | 17 | 1703998 | 247432 | 34446 13 | 534 | 950 228.86/228.96 c 228s | 17 | 1719255 | 249432 | 34446 13 | 534 | 950 230.95/231.03 c 230s | 17 | 1731464 | 251732 | 34446 13 | 534 | 950 232.95/233.05 c 232s | 17 | 1743074 | 253632 | 34446 13 | 534 | 950 235.05/235.12 c 234s | 17 | 1758532 | 255232 | 34446 14 | 534 | 950 237.05/237.16 c 236s | 17 | 1774990 | 257632 | 34446 14 | 534 | 950 239.15/239.21 c 238s | 17 | 1796042 | 260132 | 34446 14 | 534 | 950 241.15/241.25 c 240s | 17 | 1816805 | 262632 | 34446 14 | 534 | 950 243.16/243.29 c 242s | 17 | 1840555 | 265132 | 34446 14 | 534 | 950 245.25/245.39 c 244s | 17 | 1853555 | 266932 | 34446 14 | 534 | 950 247.25/247.39 c 246s | 17 | 1867343 | 268532 | 34446 14 | 534 | 950 249.35/249.44 c 248s | 17 | 1882869 | 270432 | 34446 14 | 534 | 950 251.35/251.45 c 250s | 17 | 1897739 | 272232 | 34446 14 | 534 | 950 253.55/253.66 c 252s | 17 | 1912396 | 274032 | 34446 15 | 534 | 950 255.65/255.74 c 254s | 17 | 1929597 | 276232 | 34446 15 | 534 | 950 257.75/257.81 c 257s | 17 | 1943896 | 278332 | 34446 15 | 534 | 950 259.75/259.83 c 259s | 17 | 1959188 | 280632 | 34446 15 | 534 | 950 261.75/261.83 c 261s | 17 | 1976417 | 283032 | 34446 15 | 534 | 950 263.75/263.87 c 263s | 17 | 1993055 | 285532 | 34446 15 | 534 | 950 265.85/265.90 c 265s | 17 | 2006176 | 288032 | 34446 15 | 534 | 950 267.85/267.97 c 267s | 17 | 2020197 | 290432 | 34446 15 | 534 | 950 269.95/270.05 c 269s | 17 | 2031635 | 292832 | 34446 15 | 534 | 950 272.04/272.12 c 271s | 17 | 2044083 | 295532 | 37891 16 | 534 | 950 272.54/272.66 c 271s | 18 | 2047374 | 296252 | 37891 16 | 534 | 950 280.24/280.31 c 279s | 18 | 2060034 | 298152 | 37891 16 | 534 | 950 285.14/285.29 c 284s | 18 | 2061040 | 298252 | 37891 16 | 534 | 950 287.34/287.40 c 286s | 18 | 2074936 | 300152 | 37891 16 | 534 | 950 289.35/289.47 c 288s | 18 | 2089908 | 302352 | 37891 16 | 534 | 950 291.44/291.59 c 290s | 18 | 2106284 | 304352 | 37891 16 | 534 | 950 293.54/293.68 c 292s | 18 | 2120572 | 306152 | 37891 16 | 534 | 950 295.64/295.71 c 294s | 18 | 2136633 | 307852 | 37891 16 | 534 | 950 297.64/297.75 c 296s | 18 | 2149534 | 309852 | 37891 16 | 534 | 950 299.74/299.84 c 299s | 18 | 2162590 | 311852 | 37891 16 | 534 | 950 301.74/301.86 c 301s | 18 | 2174825 | 313752 | 37891 16 | 534 | 950 303.75/303.88 c 303s | 18 | 2187521 | 315852 | 37891 16 | 534 | 950 305.74/305.89 c 305s | 18 | 2202073 | 318152 | 37891 17 | 534 | 950 307.84/307.94 c 307s | 18 | 2216301 | 320852 | 37891 17 | 534 | 950 309.14/309.23 c 308s | 18 | 2217132 | 321011 | 37891 17 | 534 | 950 309.14/309.23 c #cpu_time = 307.653s 309.14/309.23 c #wall_clock_time = 308.459s 309.14/309.23 c #decision = 2217132 309.14/309.23 c #random_decision = 1606 309.14/309.23 c #conflict = 321011 309.14/309.23 c #restart = 18 309.14/309.23 o 18 309.14/309.23 c BCD2: updating upper bound: 20 -> 17 309.14/309.29 c BCD2: 13 <= obj <= 17 309.14/309.29 c BCD2: #cores=8, #unrelaxed=2286, #relaxed=360, #hardened=0 309.14/309.29 c BCD2: #sat=6 #unsat=14 bias=14/20 309.14/309.29 c Solving starts ... 309.14/309.29 c ============================[ Search Statistics ]============================ 309.14/309.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 309.14/309.29 c | | | | Limit GC | Var | Constra 309.14/309.29 c ============================================================================= 309.14/309.29 c 0.0s | 0 | 0 | 0 | 37891 0 | 534 | 951 309.34/309.44 c 0.2s | 1 | 2518 | 100 | 37891 0 | 534 | 951 309.54/309.64 c 0.3s | 2 | 5200 | 250 | 37891 0 | 534 | 951 309.74/309.89 c 0.6s | 3 | 8225 | 475 | 37891 0 | 534 | 951 310.14/310.27 c 1.0s | 4 | 11741 | 813 | 37891 0 | 534 | 951 310.54/310.65 c 1.4s | 5 | 16199 | 1320 | 37891 0 | 534 | 951 311.14/311.22 c 1.9s | 6 | 21564 | 2081 | 37891 0 | 534 | 951 312.04/312.14 c 2.9s | 7 | 29297 | 3223 | 37891 0 | 534 | 951 313.64/313.71 c 4.4s | 8 | 40989 | 4936 | 37891 0 | 534 | 951 320.74/320.82 c 11.5s | 8 | 44609 | 5336 | 37891 0 | 534 | 951 322.74/322.82 c 13.5s | 8 | 56341 | 7036 | 37891 0 | 534 | 951 323.04/323.15 c 13.9s | 9 | 59735 | 7506 | 37891 0 | 534 | 951 325.04/325.15 c 15.9s | 9 | 74012 | 9406 | 37891 0 | 534 | 951 326.74/326.82 c 17.5s | 10 | 86293 | 11361 | 37891 0 | 534 | 951 328.74/328.87 c 19.6s | 10 | 102830 | 13761 | 37891 0 | 534 | 951 330.83/330.93 c 21.6s | 10 | 114976 | 15961 | 37891 0 | 534 | 951 332.13/332.25 c 23.0s | 11 | 121943 | 17144 | 37891 0 | 534 | 951 334.23/334.33 c 25.0s | 11 | 133133 | 18844 | 37891 1 | 534 | 951 336.43/336.59 c 27.3s | 11 | 147209 | 21544 | 37891 1 | 534 | 951 338.53/338.69 c 29.4s | 11 | 155002 | 23144 | 37891 1 | 534 | 951 340.63/340.77 c 31.5s | 11 | 164108 | 25044 | 37891 1 | 534 | 951 341.33/341.47 c 32.2s | 12 | 168296 | 25819 | 37891 1 | 534 | 951 343.43/343.53 c 34.2s | 12 | 182904 | 28319 | 37891 1 | 534 | 951 345.44/345.57 c 36.3s | 12 | 195912 | 30619 | 37891 1 | 534 | 951 347.53/347.67 c 38.4s | 12 | 207660 | 33119 | 37891 1 | 534 | 951 349.53/349.68 c 40.4s | 12 | 218822 | 35119 | 37891 1 | 534 | 951 351.63/351.73 c 42.4s | 12 | 232556 | 37619 | 37891 1 | 534 | 951 352.83/352.94 c 43.6s | 13 | 239097 | 38832 | 37891 2 | 534 | 951 354.93/355.00 c 45.7s | 13 | 253337 | 41032 | 37891 2 | 534 | 951 356.93/357.03 c 47.7s | 13 | 263840 | 43032 | 37891 2 | 534 | 951 358.93/359.06 c 49.8s | 13 | 272612 | 44832 | 37891 2 | 534 | 951 361.13/361.21 c 51.9s | 13 | 280627 | 46632 | 37891 2 | 534 | 951 363.22/363.34 c 54.0s | 13 | 287829 | 48032 | 37891 2 | 534 | 951 365.23/365.34 c 56.1s | 13 | 294383 | 49232 | 37891 2 | 534 | 951 367.32/367.44 c 58.2s | 13 | 305241 | 50932 | 37891 2 | 534 | 951 369.42/369.56 c 60.3s | 13 | 316236 | 52532 | 37891 2 | 534 | 951 371.52/371.69 c 62.4s | 13 | 323960 | 53932 | 37891 2 | 534 | 951 373.62/373.70 c 64.4s | 13 | 331823 | 55432 | 37891 2 | 534 | 951 378.32/378.44 c 69.1s | 13 | 335153 | 56032 | 37891 2 | 534 | 951 380.42/380.57 c 71.3s | 13 | 342550 | 57532 | 37891 2 | 534 | 951 381.42/381.55 c 72.3s | 14 | 346862 | 58352 | 37891 2 | 534 | 951 386.02/386.18 c 76.9s | 14 | 349325 | 58452 | 37891 3 | 534 | 951 388.02/388.19 c 78.9s | 14 | 362133 | 60452 | 37891 3 | 534 | 951 390.11/390.22 c 80.9s | 14 | 372743 | 62452 | 37891 3 | 534 | 951 392.11/392.25 c 83.0s | 14 | 383623 | 64452 | 37891 3 | 534 | 951 394.11/394.29 c 85.0s | 14 | 396596 | 66452 | 37891 3 | 534 | 951 396.21/396.33 c 87.0s | 14 | 409708 | 68352 | 37891 3 | 534 | 951 398.22/398.34 c 89.0s | 14 | 421711 | 70152 | 37891 3 | 534 | 951 400.31/400.44 c 91.1s | 14 | 435256 | 72052 | 37891 3 | 534 | 951 402.40/402.50 c 93.2s | 14 | 446947 | 73552 | 37891 3 | 534 | 951 404.50/404.62 c 95.3s | 14 | 460559 | 75352 | 37891 3 | 534 | 951 406.50/406.68 c 97.4s | 14 | 470212 | 76952 | 37891 3 | 534 | 951 408.60/408.73 c 99.4s | 14 | 480572 | 78552 | 37891 3 | 534 | 951 410.60/410.79 c 101s | 14 | 490349 | 80152 | 37891 3 | 534 | 951 412.70/412.84 c 103s | 14 | 499942 | 81552 | 37891 4 | 534 | 951 414.70/414.88 c 105s | 14 | 514133 | 84152 | 37891 4 | 534 | 951 416.80/416.91 c 107s | 14 | 528311 | 87052 | 37891 4 | 534 | 951 417.20/417.37 c 108s | 15 | 531312 | 87632 | 37891 4 | 534 | 951 419.60/419.78 c 110s | 15 | 544311 | 89832 | 37891 4 | 534 | 951 421.90/422.04 c 112s | 15 | 557554 | 91932 | 37891 4 | 534 | 951 424.00/424.12 c 114s | 15 | 571904 | 94432 | 37891 4 | 534 | 951 426.00/426.16 c 116s | 15 | 588384 | 96932 | 37891 4 | 534 | 951 428.00/428.17 c 118s | 15 | 599033 | 98732 | 37891 4 | 534 | 951 430.10/430.29 c 120s | 15 | 613929 | 101132 | 37891 4 | 534 | 951 433.19/433.37 c 124s | 15 | 620935 | 102332 | 37891 5 | 534 | 951 435.29/435.45 c 126s | 15 | 636147 | 105432 | 37891 5 | 534 | 951 437.29/437.46 c 128s | 15 | 649937 | 108232 | 37891 5 | 534 | 951 439.39/439.50 c 130s | 15 | 662662 | 110632 | 37891 5 | 534 | 951 441.38/441.53 c 132s | 15 | 672431 | 112632 | 37891 5 | 534 | 951 444.19/444.39 c 135s | 15 | 678012 | 113732 | 37891 5 | 534 | 951 446.19/446.39 c 137s | 15 | 688891 | 115732 | 37891 5 | 534 | 951 448.29/448.40 c 139s | 15 | 698151 | 117732 | 37891 5 | 534 | 951 450.38/450.51 c 141s | 15 | 704092 | 118832 | 37891 5 | 534 | 951 452.48/452.61 c 143s | 15 | 708000 | 119832 | 37891 5 | 534 | 951 454.58/454.71 c 145s | 15 | 720974 | 121732 | 41681 5 | 534 | 951 456.59/456.75 c 147s | 15 | 728516 | 123532 | 41681 5 | 534 | 951 458.78/458.92 c 149s | 15 | 736915 | 125332 | 41681 5 | 534 | 951 460.78/460.97 c 151s | 15 | 746125 | 126932 | 41681 5 | 534 | 951 462.78/463.00 c 153s | 15 | 757352 | 129132 | 41681 6 | 534 | 951 464.58/464.74 c 155s | 16 | 769333 | 131552 | 41681 6 | 534 | 951 466.58/466.75 c 157s | 16 | 777959 | 133352 | 41681 6 | 534 | 951 468.68/468.83 c 159s | 16 | 785417 | 135652 | 41681 6 | 534 | 951 473.17/473.39 c 164s | 16 | 792112 | 137452 | 41681 6 | 534 | 951 475.27/475.43 c 166s | 16 | 798285 | 138452 | 41681 6 | 534 | 951 477.27/477.46 c 168s | 16 | 809201 | 139952 | 41681 6 | 534 | 951 479.27/479.49 c 170s | 16 | 816869 | 141452 | 41681 6 | 534 | 951 481.37/481.58 c 172s | 16 | 824736 | 142752 | 41681 6 | 534 | 951 483.47/483.60 c 174s | 16 | 831349 | 144452 | 41681 6 | 534 | 951 485.47/485.61 c 176s | 16 | 842042 | 146252 | 41681 6 | 534 | 951 487.47/487.66 c 178s | 16 | 851279 | 147752 | 41681 6 | 534 | 951 489.58/489.71 c 180s | 16 | 854811 | 148552 | 41681 6 | 534 | 951 491.77/491.98 c 182s | 16 | 863792 | 150352 | 41681 7 | 534 | 951 493.87/494.10 c 184s | 16 | 872317 | 152252 | 41681 7 | 534 | 951 495.97/496.11 c 186s | 16 | 882120 | 154452 | 41681 7 | 534 | 951 497.97/498.16 c 188s | 16 | 895401 | 156652 | 41681 7 | 534 | 951 500.07/500.21 c 190s | 16 | 905233 | 158652 | 41681 7 | 534 | 951 502.06/502.27 c 192s | 16 | 913831 | 160152 | 41681 7 | 534 | 951 504.16/504.32 c 195s | 16 | 923833 | 161852 | 41681 7 | 534 | 951 506.16/506.37 c 197s | 16 | 933853 | 163852 | 41681 7 | 534 | 951 508.27/508.42 c 199s | 16 | 940939 | 165552 | 41681 7 | 534 | 951 510.26/510.47 c 201s | 16 | 951643 | 167252 | 41681 7 | 534 | 951 512.36/512.52 c 203s | 16 | 962070 | 169052 | 41681 7 | 534 | 951 514.46/514.63 c 205s | 16 | 972642 | 170852 | 41681 7 | 534 | 951 516.56/516.74 c 207s | 16 | 983973 | 172652 | 41681 7 | 534 | 951 518.66/518.81 c 209s | 16 | 994226 | 174652 | 41681 8 | 534 | 951 520.66/520.86 c 211s | 16 | 1007252 | 177252 | 41681 8 | 534 | 951 522.76/522.91 c 213s | 16 | 1018235 | 179252 | 41681 8 | 534 | 951 524.77/524.93 c 215s | 16 | 1032158 | 181252 | 41681 8 | 534 | 951 526.76/526.99 c 217s | 16 | 1044361 | 183752 | 41681 8 | 534 | 951 528.86/529.04 c 219s | 16 | 1061791 | 186452 | 41681 8 | 534 | 951 530.86/531.09 c 221s | 16 | 1072824 | 188752 | 41681 8 | 534 | 951 532.96/533.12 c 223s | 16 | 1085802 | 190952 | 41681 8 | 534 | 951 535.06/535.20 c 225s | 16 | 1095701 | 192952 | 41681 8 | 534 | 951 537.16/537.31 c 228s | 16 | 1104803 | 194552 | 41681 8 | 534 | 951 539.16/539.32 c 230s | 16 | 1112298 | 195952 | 41681 8 | 534 | 951 541.05/541.25 c 231s | 17 | 1120528 | 197432 | 41681 9 | 534 | 951 543.15/543.31 c 234s | 17 | 1132493 | 199532 | 41681 9 | 534 | 951 545.15/545.34 c 236s | 17 | 1145304 | 201932 | 41681 9 | 534 | 951 555.65/555.86 c 246s | 17 | 1148196 | 202532 | 41681 9 | 534 | 951 557.65/557.90 c 248s | 17 | 1160824 | 204532 | 41681 9 | 534 | 951 559.75/559.92 c 250s | 17 | 1165559 | 205332 | 41681 9 | 534 | 951 562.65/562.83 c 253s | 17 | 1172310 | 206232 | 41681 9 | 534 | 951 564.65/564.86 c 255s | 17 | 1184657 | 208232 | 41681 9 | 534 | 951 566.75/566.91 c 257s | 17 | 1194727 | 209932 | 41681 9 | 534 | 951 568.76/568.93 c 259s | 17 | 1205181 | 211732 | 41681 9 | 534 | 951 570.75/571.00 c 261s | 17 | 1216679 | 213932 | 41681 9 | 534 | 951 572.85/573.02 c 263s | 17 | 1231738 | 216532 | 41681 9 | 534 | 951 574.85/575.05 c 265s | 17 | 1245300 | 218932 | 41681 9 | 534 | 951 576.85/577.08 c 267s | 17 | 1258928 | 220932 | 41681 10 | 534 | 951 580.24/580.44 c 271s | 17 | 1265331 | 221832 | 41681 10 | 534 | 951 582.24/582.48 c 273s | 17 | 1279183 | 224032 | 41681 10 | 534 | 951 584.34/584.50 c 275s | 17 | 1292026 | 226332 | 41681 10 | 534 | 951 586.35/586.54 c 277s | 17 | 1304400 | 228732 | 41681 10 | 534 | 951 588.34/588.60 c 279s | 17 | 1315990 | 231032 | 41681 10 | 534 | 951 590.44/590.65 c 281s | 17 | 1326988 | 233232 | 41681 10 | 534 | 951 592.44/592.69 c 283s | 17 | 1338327 | 235232 | 41681 10 | 534 | 951 594.54/594.73 c 285s | 17 | 1350580 | 237132 | 41681 10 | 534 | 951 596.54/596.73 c 287s | 17 | 1363422 | 239132 | 41681 10 | 534 | 951 598.54/598.77 c 289s | 17 | 1376178 | 241032 | 41681 10 | 534 | 951 600.54/600.79 c 291s | 17 | 1386912 | 242832 | 41681 10 | 534 | 951 602.63/602.86 c 293s | 17 | 1400562 | 245032 | 41681 11 | 534 | 951 604.63/604.86 c 295s | 17 | 1413140 | 247132 | 41681 11 | 534 | 951 606.73/606.93 c 297s | 17 | 1428997 | 249632 | 41681 11 | 534 | 951 608.73/608.99 c 299s | 17 | 1440240 | 251932 | 41681 11 | 534 | 951 610.83/611.06 c 301s | 17 | 1451618 | 254032 | 41681 11 | 534 | 951 612.93/613.14 c 303s | 17 | 1465335 | 256132 | 41681 11 | 534 | 951 615.43/615.68 c 306s | 17 | 1469485 | 256832 | 41681 11 | 534 | 951 617.53/617.78 c 308s | 17 | 1483134 | 259032 | 41681 11 | 534 | 951 619.63/619.82 c 310s | 17 | 1494837 | 260832 | 41681 11 | 534 | 951 621.63/621.86 c 312s | 17 | 1506341 | 262632 | 41681 11 | 534 | 951 623.73/623.93 c 314s | 17 | 1519441 | 264232 | 41681 11 | 534 | 951 626.52/626.73 c 317s | 17 | 1523775 | 264732 | 41681 11 | 534 | 951 628.62/628.82 c 319s | 17 | 1535315 | 266532 | 41681 12 | 534 | 951 630.82/631.08 c 321s | 17 | 1537959 | 266932 | 41681 12 | 534 | 951 633.72/633.93 c 324s | 17 | 1550737 | 269132 | 41681 12 | 534 | 951 635.83/636.01 c 326s | 17 | 1564983 | 271332 | 41681 12 | 534 | 951 638.03/638.24 c 328s | 17 | 1578694 | 273432 | 41681 12 | 534 | 951 640.13/640.30 c 331s | 17 | 1593731 | 275732 | 41681 12 | 534 | 951 642.12/642.31 c 333s | 17 | 1609079 | 278032 | 41681 12 | 534 | 951 644.22/644.40 c 335s | 17 | 1622301 | 280232 | 41681 12 | 534 | 951 646.22/646.46 c 337s | 17 | 1636233 | 282432 | 41681 12 | 534 | 951 648.32/648.57 c 339s | 17 | 1651211 | 284532 | 41681 12 | 534 | 951 650.31/650.59 c 341s | 17 | 1662420 | 286432 | 41681 12 | 534 | 951 652.41/652.60 c 343s | 17 | 1674459 | 288432 | 41681 12 | 534 | 951 654.52/654.71 c 345s | 17 | 1687617 | 290532 | 41681 13 | 534 | 951 656.51/656.77 c 347s | 17 | 1701013 | 292832 | 41681 13 | 534 | 951 658.61/658.85 c 349s | 17 | 1705221 | 293532 | 41681 13 | 534 | 951 660.71/660.94 c 351s | 17 | 1722793 | 296232 | 41681 13 | 534 | 951 660.71/660.95 c 351s | 18 | 1722852 | 296252 | 41681 13 | 534 | 951 662.71/662.97 c 353s | 18 | 1736787 | 298252 | 41681 13 | 534 | 951 664.81/665.02 c 355s | 18 | 1750650 | 300352 | 41681 13 | 534 | 951 666.81/667.07 c 357s | 18 | 1766334 | 302652 | 41681 13 | 534 | 951 668.82/669.08 c 359s | 18 | 1784218 | 305352 | 41681 13 | 534 | 951 670.91/671.15 c 361s | 18 | 1799791 | 307752 | 41681 13 | 534 | 951 672.90/673.15 c 363s | 18 | 1812391 | 309952 | 41681 13 | 534 | 951 674.90/675.17 c 365s | 18 | 1823988 | 312352 | 41681 13 | 534 | 951 677.00/677.23 c 367s | 18 | 1836476 | 314052 | 41681 14 | 534 | 951 680.30/680.52 c 371s | 18 | 1849330 | 316152 | 41681 14 | 534 | 951 682.30/682.59 c 373s | 18 | 1859432 | 317852 | 41681 14 | 534 | 951 684.40/684.65 c 375s | 18 | 1868642 | 319352 | 41681 14 | 534 | 951 686.42/686.69 c 377s | 18 | 1877558 | 320852 | 41681 14 | 534 | 951 688.52/688.73 c 379s | 18 | 1887503 | 322452 | 41681 14 | 534 | 951 690.50/690.74 c 381s | 18 | 1898125 | 324052 | 41681 14 | 534 | 951 692.50/692.75 c 383s | 18 | 1908683 | 325752 | 41681 14 | 534 | 951 694.50/694.79 c 385s | 18 | 1921718 | 327652 | 41681 14 | 534 | 951 696.60/696.84 c 387s | 18 | 1930894 | 329452 | 41681 14 | 534 | 951 698.60/698.88 c 389s | 18 | 1944106 | 331552 | 41681 14 | 534 | 951 700.70/700.93 c 391s | 18 | 1955448 | 333652 | 41681 14 | 534 | 951 702.70/702.94 c 393s | 18 | 1966799 | 335652 | 41681 14 | 534 | 951 704.69/704.99 c 395s | 18 | 1977934 | 337452 | 41681 15 | 534 | 951 706.79/707.05 c 397s | 18 | 1987623 | 339352 | 41681 15 | 534 | 951 708.89/709.15 c 399s | 18 | 2001168 | 341252 | 45850 15 | 534 | 951 710.99/711.25 c 401s | 18 | 2013038 | 343252 | 45850 15 | 534 | 951 713.09/713.38 c 404s | 18 | 2026060 | 345452 | 45850 15 | 534 | 951 715.19/715.40 c 406s | 18 | 2039260 | 347652 | 45850 15 | 534 | 951 717.20/717.42 c 408s | 18 | 2053941 | 349852 | 45850 15 | 534 | 951 719.18/719.47 c 410s | 18 | 2066917 | 352152 | 45850 15 | 534 | 951 721.28/721.52 c 412s | 18 | 2080142 | 354452 | 45850 15 | 534 | 951 723.38/723.60 c 414s | 18 | 2096015 | 356752 | 45850 15 | 534 | 951 725.38/725.64 c 416s | 18 | 2106304 | 358752 | 45850 15 | 534 | 951 727.48/727.78 c 418s | 18 | 2115683 | 360452 | 45850 15 | 534 | 951 729.58/729.86 c 420s | 18 | 2125925 | 362252 | 45850 15 | 534 | 951 731.68/731.91 c 422s | 18 | 2133572 | 363752 | 45850 16 | 534 | 951 733.69/733.96 c 424s | 18 | 2147584 | 365852 | 45850 16 | 534 | 951 735.79/736.01 c 426s | 18 | 2159765 | 368452 | 45850 16 | 534 | 951 737.78/738.09 c 428s | 18 | 2172407 | 370752 | 45850 16 | 534 | 951 739.88/740.15 c 430s | 18 | 2184271 | 372752 | 45850 16 | 534 | 951 741.87/742.18 c 432s | 18 | 2197137 | 374752 | 45850 16 | 534 | 951 743.97/744.29 c 434s | 18 | 2208167 | 376452 | 45850 16 | 534 | 951 746.07/746.31 c 437s | 18 | 2214725 | 377752 | 45850 16 | 534 | 951 748.07/748.37 c 439s | 18 | 2229378 | 379952 | 45850 16 | 534 | 951 750.08/750.38 c 441s | 18 | 2239474 | 381652 | 45850 16 | 534 | 951 752.07/752.38 c 443s | 18 | 2248272 | 383352 | 45850 16 | 534 | 951 754.17/754.45 c 445s | 18 | 2257512 | 385152 | 45850 16 | 534 | 951 756.27/756.53 c 447s | 18 | 2270174 | 387352 | 45850 16 | 534 | 951 758.77/759.02 c 449s | 18 | 2273761 | 387952 | 45850 16 | 534 | 951 760.77/761.04 c 451s | 18 | 2281522 | 388852 | 45850 16 | 534 | 951 766.26/766.52 c 457s | 18 | 2288775 | 389952 | 45850 17 | 534 | 951 771.56/771.87 c 462s | 18 | 2289270 | 390052 | 45850 17 | 534 | 951 773.66/773.90 c 464s | 18 | 2299728 | 391652 | 45850 17 | 534 | 951 775.66/775.93 c 466s | 18 | 2317570 | 394152 | 45850 17 | 534 | 951 781.46/781.72 c 472s | 18 | 2323063 | 394852 | 45850 17 | 534 | 951 783.56/783.80 c 474s | 18 | 2334822 | 396552 | 45850 17 | 534 | 951 785.56/785.86 c 476s | 18 | 2347601 | 398452 | 45850 17 | 534 | 951 787.66/787.92 c 478s | 18 | 2357795 | 400152 | 45850 17 | 534 | 951 789.77/790.01 c 480s | 18 | 2370244 | 402152 | 45850 17 | 534 | 951 791.76/792.03 c 482s | 18 | 2383738 | 404252 | 45850 17 | 534 | 951 793.76/794.06 c 484s | 18 | 2394008 | 406152 | 45850 17 | 534 | 951 795.76/796.08 c 486s | 18 | 2410167 | 408552 | 45850 17 | 534 | 951 797.76/798.08 c 488s | 18 | 2426060 | 411052 | 45850 17 | 534 | 951 799.86/800.11 c 490s | 18 | 2440113 | 413252 | 45850 17 | 534 | 951 801.86/802.19 c 492s | 18 | 2452319 | 415152 | 45850 18 | 534 | 951 803.96/804.25 c 494s | 18 | 2471476 | 417952 | 45850 18 | 534 | 951 805.95/806.28 c 496s | 18 | 2480799 | 419552 | 45850 18 | 534 | 951 808.05/808.35 c 499s | 18 | 2491685 | 421652 | 45850 18 | 534 | 951 810.15/810.40 c 501s | 18 | 2505477 | 423852 | 45850 18 | 534 | 951 812.15/812.45 c 503s | 18 | 2517036 | 425852 | 45850 18 | 534 | 951 814.15/814.49 c 505s | 18 | 2535194 | 428352 | 45850 18 | 534 | 951 816.25/816.50 c 507s | 18 | 2549858 | 430652 | 45850 18 | 534 | 951 818.25/818.51 c 509s | 18 | 2564969 | 432752 | 45850 18 | 534 | 951 820.24/820.53 c 511s | 18 | 2578619 | 434752 | 45850 18 | 534 | 951 822.24/822.55 c 513s | 18 | 2589401 | 436452 | 45850 18 | 534 | 951 824.34/824.63 c 515s | 18 | 2599391 | 438152 | 45850 18 | 534 | 951 826.44/826.72 c 517s | 18 | 2607464 | 439852 | 45850 19 | 534 | 951 828.44/828.78 c 519s | 18 | 2623058 | 442152 | 45850 19 | 534 | 951 830.24/830.59 c 521s | 19 | 2640000 | 444482 | 45850 19 | 534 | 951 832.34/832.61 c 523s | 19 | 2653996 | 446582 | 45850 19 | 534 | 951 834.34/834.68 c 525s | 19 | 2665721 | 448882 | 45850 19 | 534 | 951 836.44/836.70 c 527s | 19 | 2681075 | 451382 | 45850 19 | 534 | 951 838.44/838.77 c 529s | 19 | 2694852 | 453682 | 45850 19 | 534 | 951 840.54/840.88 c 531s | 19 | 2699105 | 454582 | 45850 19 | 534 | 951 842.64/842.92 c 533s | 19 | 2703726 | 455782 | 45850 19 | 534 | 951 845.33/845.67 c 536s | 19 | 2706935 | 456682 | 45850 19 | 534 | 951 848.63/848.95 c 539s | 19 | 2708481 | 457082 | 45850 19 | 534 | 951 850.84/851.17 c 541s | 19 | 2709931 | 457682 | 45850 19 | 534 | 951 852.94/853.26 c 543s | 19 | 2714822 | 458582 | 45850 19 | 534 | 951 855.04/855.37 c 546s | 19 | 2720221 | 459482 | 45850 19 | 534 | 951 857.24/857.54 c 548s | 19 | 2726555 | 460482 | 45850 19 | 534 | 951 859.24/859.54 c 550s | 19 | 2732814 | 461582 | 45850 19 | 534 | 951 861.43/861.71 c 552s | 19 | 2744763 | 463482 | 45850 19 | 534 | 951 863.44/863.78 c 554s | 19 | 2751083 | 464782 | 45850 19 | 534 | 951 865.53/865.90 c 556s | 19 | 2758106 | 466182 | 45850 20 | 534 | 951 867.63/867.98 c 558s | 19 | 2769723 | 468182 | 45850 20 | 534 | 951 869.63/869.99 c 560s | 19 | 2782368 | 470482 | 45850 20 | 534 | 951 871.73/872.04 c 562s | 19 | 2796713 | 472782 | 45850 20 | 534 | 951 873.73/874.05 c 564s | 19 | 2812263 | 475382 | 45850 20 | 534 | 951 875.82/876.10 c 566s | 19 | 2826895 | 477782 | 45850 20 | 534 | 951 877.82/878.12 c 568s | 19 | 2838531 | 479982 | 45850 20 | 534 | 951 879.83/880.18 c 570s | 19 | 2844784 | 481182 | 45850 20 | 534 | 951 883.52/883.87 c 574s | 19 | 2845182 | 481282 | 45850 20 | 534 | 951 885.73/886.02 c 576s | 19 | 2850522 | 482182 | 45850 20 | 534 | 951 887.73/888.07 c 578s | 19 | 2856034 | 483282 | 45850 20 | 534 | 951 889.83/890.14 c 580s | 19 | 2866541 | 484982 | 45850 20 | 534 | 951 891.82/892.17 c 582s | 19 | 2878459 | 486682 | 45850 20 | 534 | 951 893.92/894.27 c 584s | 19 | 2887720 | 488282 | 45850 20 | 534 | 951 896.02/896.35 c 587s | 19 | 2899385 | 490182 | 45850 20 | 534 | 951 898.02/898.38 c 589s | 19 | 2908896 | 491982 | 45850 21 | 534 | 951 900.02/900.39 c 591s | 19 | 2922071 | 494182 | 45850 21 | 534 | 951 902.12/902.40 c 593s | 19 | 2936975 | 496782 | 45850 21 | 534 | 951 904.12/904.41 c 595s | 19 | 2952338 | 499282 | 45850 21 | 534 | 951 906.12/906.48 c 597s | 19 | 2965108 | 501282 | 45850 21 | 534 | 951 908.31/908.63 c 599s | 19 | 2976129 | 503182 | 45850 21 | 534 | 951 910.41/910.71 c 601s | 19 | 2987887 | 505182 | 45850 21 | 534 | 951 912.51/912.81 c 603s | 19 | 2999460 | 506982 | 45850 21 | 534 | 951 914.51/914.82 c 605s | 19 | 3009208 | 508682 | 45850 21 | 534 | 951 916.51/916.87 c 607s | 19 | 3018258 | 510082 | 45850 21 | 534 | 951 918.61/918.94 c 609s | 19 | 3029076 | 511682 | 45850 21 | 534 | 951 920.71/921.00 c 611s | 19 | 3040082 | 513382 | 45850 21 | 534 | 951 922.71/923.09 c 613s | 19 | 3048831 | 515282 | 45850 21 | 534 | 951 924.80/925.10 c 615s | 19 | 3060015 | 517182 | 45850 22 | 534 | 951 926.80/927.14 c 617s | 19 | 3073234 | 519482 | 45850 22 | 534 | 951 931.00/931.35 c 622s | 19 | 3079358 | 520682 | 45850 22 | 534 | 951 933.00/933.37 c 624s | 19 | 3091930 | 522782 | 45850 22 | 534 | 951 935.10/935.41 c 626s | 19 | 3104744 | 524982 | 45850 22 | 534 | 951 937.11/937.42 c 628s | 19 | 3116261 | 526982 | 45850 22 | 534 | 951 939.10/939.48 c 630s | 19 | 3127362 | 529082 | 45850 22 | 534 | 951 941.19/941.57 c 632s | 19 | 3138751 | 531082 | 45850 22 | 534 | 951 943.29/943.61 c 634s | 19 | 3149225 | 533082 | 45850 22 | 534 | 951 945.39/945.70 c 636s | 19 | 3158512 | 534782 | 45850 22 | 534 | 951 947.49/947.82 c 638s | 19 | 3166777 | 536282 | 45850 22 | 534 | 951 949.49/949.88 c 640s | 19 | 3174125 | 537682 | 45850 22 | 534 | 951 951.59/951.96 c 642s | 19 | 3184357 | 539382 | 45850 22 | 534 | 951 953.69/954.06 c 644s | 19 | 3192902 | 540882 | 45850 22 | 534 | 951 955.80/956.12 c 646s | 19 | 3200614 | 542282 | 45850 23 | 534 | 951 957.79/958.15 c 648s | 19 | 3214322 | 544282 | 45850 23 | 534 | 951 959.79/960.17 c 650s | 19 | 3226629 | 546382 | 45850 23 | 534 | 951 961.88/962.24 c 652s | 19 | 3238269 | 548482 | 45850 23 | 534 | 951 963.98/964.32 c 655s | 19 | 3247075 | 550282 | 45850 23 | 534 | 951 965.99/966.38 c 657s | 19 | 3257089 | 552282 | 45850 23 | 534 | 951 967.99/968.38 c 659s | 19 | 3268213 | 553982 | 45850 23 | 534 | 951 970.10/970.44 c 661s | 19 | 3275752 | 555382 | 45850 23 | 534 | 951 972.20/972.56 c 663s | 19 | 3286683 | 557182 | 45850 23 | 534 | 951 974.29/974.62 c 665s | 19 | 3297663 | 558882 | 45850 23 | 534 | 951 976.29/976.68 c 667s | 19 | 3308088 | 560782 | 45850 23 | 534 | 951 978.39/978.79 c 669s | 19 | 3316653 | 562482 | 45850 23 | 534 | 951 980.59/980.93 c 671s | 19 | 3325517 | 564082 | 45850 23 | 534 | 951 982.58/982.99 c 673s | 19 | 3333512 | 565482 | 45850 23 | 534 | 951 984.68/985.05 c 675s | 19 | 3338346 | 566582 | 45850 24 | 534 | 951 986.78/987.12 c 677s | 19 | 3346785 | 568482 | 45850 24 | 534 | 951 988.79/989.12 c 679s | 19 | 3358290 | 570582 | 45850 24 | 534 | 951 990.78/991.12 c 681s | 19 | 3369711 | 572482 | 45850 24 | 534 | 951 992.78/993.17 c 683s | 19 | 3379870 | 574582 | 45850 24 | 534 | 951 994.88/995.20 c 685s | 19 | 3389240 | 576482 | 45850 24 | 534 | 951 997.68/998.07 c 688s | 19 | 3392601 | 577182 | 45850 24 | 534 | 951 1005.88/1006.28 c 696s | 19 | 3396540 | 577882 | 45850 24 | 534 | 951 1007.97/1008.33 c 699s | 19 | 3401897 | 579082 | 45850 24 | 534 | 951 1018.07/1018.44 c 709s | 19 | 3409743 | 580282 | 45850 24 | 534 | 951 1020.17/1020.50 c 711s | 19 | 3420376 | 582282 | 45850 24 | 534 | 951 1022.17/1022.53 c 713s | 19 | 3430969 | 584182 | 45850 24 | 534 | 951 1024.27/1024.61 c 715s | 19 | 3441820 | 585982 | 45850 24 | 534 | 951 1026.27/1026.69 c 717s | 19 | 3452456 | 587882 | 45850 24 | 534 | 951 1028.38/1028.77 c 719s | 19 | 3462052 | 589882 | 45850 24 | 534 | 951 1030.57/1030.93 c 721s | 19 | 3470703 | 591582 | 45850 24 | 534 | 951 1032.67/1033.06 c 723s | 19 | 3476125 | 592382 | 45850 25 | 534 | 951 1037.77/1038.17 c 728s | 19 | 3480742 | 593482 | 45850 25 | 534 | 951 1042.47/1042.86 c 733s | 19 | 3481218 | 593582 | 45850 25 | 534 | 951 1044.57/1044.93 c 735s | 19 | 3494999 | 595682 | 45850 25 | 534 | 951 1046.67/1047.02 c 737s | 19 | 3510728 | 597982 | 45850 25 | 534 | 951 1048.67/1049.08 c 739s | 19 | 3525785 | 600182 | 45850 25 | 534 | 951 1050.67/1051.09 c 741s | 19 | 3537500 | 601882 | 45850 25 | 534 | 951 1052.77/1053.14 c 743s | 19 | 3552110 | 604182 | 45850 25 | 534 | 951 1054.77/1055.16 c 745s | 19 | 3563759 | 606282 | 45850 25 | 534 | 951 1056.87/1057.25 c 747s | 19 | 3578956 | 608282 | 45850 25 | 534 | 951 1058.97/1059.34 c 750s | 19 | 3592493 | 610482 | 45850 25 | 534 | 951 1060.97/1061.36 c 752s | 19 | 3605158 | 612482 | 45850 25 | 534 | 951 1062.97/1063.38 c 754s | 19 | 3618612 | 614582 | 45850 25 | 534 | 951 1065.17/1065.51 c 756s | 19 | 3628649 | 616682 | 45850 25 | 534 | 951 1067.17/1067.59 c 758s | 19 | 3639710 | 618482 | 45850 26 | 534 | 951 1069.27/1069.60 c 760s | 19 | 3654263 | 620982 | 45850 26 | 534 | 951 1071.27/1071.65 c 762s | 19 | 3663656 | 622682 | 45850 26 | 534 | 951 1073.37/1073.71 c 764s | 19 | 3674134 | 624682 | 45850 26 | 534 | 951 1075.36/1075.71 c 766s | 19 | 3685612 | 626582 | 45850 26 | 534 | 951 1077.36/1077.76 c 768s | 19 | 3695807 | 628382 | 45850 26 | 534 | 951 1079.36/1079.77 c 770s | 19 | 3708956 | 630582 | 45850 26 | 534 | 951 1081.36/1081.78 c 772s | 19 | 3719357 | 632582 | 45850 26 | 534 | 951 1083.37/1083.80 c 774s | 19 | 3726314 | 633882 | 45850 26 | 534 | 951 1085.47/1085.83 c 776s | 19 | 3734608 | 635682 | 45850 26 | 534 | 951 1087.46/1087.88 c 778s | 19 | 3743987 | 637382 | 45850 26 | 534 | 951 1089.56/1089.97 c 780s | 19 | 3752394 | 639082 | 45850 26 | 534 | 951 1091.66/1092.02 c 782s | 19 | 3760651 | 640482 | 45850 26 | 534 | 951 1093.76/1094.10 c 784s | 19 | 3769018 | 641982 | 45850 26 | 534 | 951 1095.76/1096.19 c 786s | 19 | 3776207 | 643382 | 45850 27 | 534 | 951 1097.86/1098.20 c 788s | 19 | 3785977 | 645082 | 45850 27 | 534 | 951 1099.96/1100.32 c 791s | 19 | 3797808 | 646982 | 45850 27 | 534 | 951 1102.06/1102.42 c 793s | 19 | 3809895 | 649182 | 45850 27 | 534 | 951 1104.06/1104.48 c 795s | 19 | 3822365 | 651082 | 45850 27 | 534 | 951 1106.15/1106.56 c 797s | 19 | 3834990 | 653082 | 45850 27 | 534 | 951 1108.15/1108.56 c 799s | 19 | 3846934 | 655182 | 45850 27 | 534 | 951 1110.25/1110.64 c 801s | 19 | 3858873 | 657182 | 45850 27 | 534 | 951 1112.25/1112.65 c 803s | 19 | 3870083 | 658782 | 45850 27 | 534 | 951 1114.25/1114.67 c 805s | 19 | 3879120 | 660482 | 45850 27 | 534 | 951 1116.45/1116.80 c 807s | 19 | 3888957 | 661882 | 45850 27 | 534 | 951 1118.46/1118.82 c 809s | 19 | 3897986 | 663482 | 45850 27 | 534 | 951 1120.45/1120.89 c 811s | 19 | 3907610 | 665082 | 45850 27 | 534 | 951 1122.55/1122.92 c 813s | 19 | 3916395 | 666582 | 45850 27 | 534 | 951 1122.86/1123.24 c 813s | 20 | 3917875 | 666827 | 45850 27 | 534 | 951 1132.45/1132.87 c 823s | 20 | 3921036 | 667027 | 45850 28 | 534 | 951 1141.35/1141.79 c 832s | 20 | 3921566 | 667127 | 45850 28 | 534 | 951 1143.45/1143.86 c 834s | 20 | 3931104 | 668827 | 45850 28 | 534 | 951 1151.05/1151.46 c 842s | 20 | 3932536 | 669027 | 45850 28 | 534 | 951 1161.05/1161.46 c 852s | 20 | 3939188 | 669827 | 45850 28 | 534 | 951 1163.05/1163.49 c 854s | 20 | 3953669 | 672027 | 50436 28 | 534 | 951 1165.15/1165.57 c 856s | 20 | 3967172 | 674527 | 50436 28 | 534 | 951 1167.25/1167.68 c 858s | 20 | 3978382 | 676427 | 50436 28 | 534 | 951 1169.25/1169.69 c 860s | 20 | 3992230 | 678127 | 50436 28 | 534 | 951 1171.36/1171.74 c 862s | 20 | 4005132 | 680027 | 50436 28 | 534 | 951 1173.35/1173.74 c 864s | 20 | 4014924 | 682027 | 50436 28 | 534 | 951 1175.45/1175.87 c 866s | 20 | 4023745 | 684027 | 50436 28 | 534 | 951 1177.55/1177.95 c 868s | 20 | 4031231 | 685927 | 50436 28 | 534 | 951 1179.55/1179.96 c 870s | 20 | 4038416 | 688027 | 50436 28 | 534 | 951 1181.55/1181.98 c 872s | 20 | 4044102 | 689627 | 50436 28 | 534 | 951 1183.65/1184.07 c 874s | 20 | 4050635 | 691227 | 50436 28 | 534 | 951 1185.75/1186.18 c 876s | 20 | 4058443 | 692627 | 50436 28 | 534 | 951 1187.85/1188.22 c 878s | 20 | 4064667 | 693927 | 50436 28 | 534 | 951 1189.85/1190.27 c 880s | 20 | 4069718 | 695227 | 50436 28 | 534 | 951 1191.94/1192.30 c 883s | 20 | 4075621 | 696227 | 50436 28 | 534 | 951 1193.94/1194.37 c 885s | 20 | 4080844 | 697227 | 50436 29 | 534 | 951 1196.04/1196.46 c 887s | 20 | 4087848 | 698527 | 50436 29 | 534 | 951 1198.14/1198.51 c 889s | 20 | 4101251 | 700327 | 50436 29 | 534 | 951 1198.85/1199.28 c 889s | 20 | 4105651 | 701082 | 50436 29 | 534 | 951 1198.85/1199.28 c #cpu_time = 887.483s 1198.85/1199.28 c #wall_clock_time = 889.984s 1198.85/1199.28 c #decision = 4105651 1198.85/1199.28 c #random_decision = 2995 1198.85/1199.28 c #conflict = 701082 1198.85/1199.28 c #restart = 20 1198.85/1199.28 o 16 1198.85/1199.28 c BCD2: updating upper bound: 17 -> 15 1198.94/1199.32 c BCD2: 13 <= obj <= 15 1198.94/1199.32 c BCD2: #cores=8, #unrelaxed=2286, #relaxed=360, #hardened=0 1198.94/1199.32 c BCD2: #sat=7 #unsat=14 bias=14/21 1198.94/1199.32 c Solving starts ... 1198.94/1199.32 c ============================[ Search Statistics ]============================ 1198.94/1199.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1198.94/1199.32 c | | | | Limit GC | Var | Constra 1198.94/1199.32 c ============================================================================= 1198.94/1199.32 c 0.0s | 0 | 0 | 0 | 50436 0 | 534 | 952 1199.14/1199.53 c 0.2s | 1 | 3206 | 100 | 50436 0 | 534 | 952 1199.44/1199.82 c 0.5s | 2 | 7216 | 250 | 50436 0 | 534 | 952 1199.85/1200.24 c 0.9s | 3 | 10352 | 475 | 50436 0 | 534 | 952 1200.34/1200.75 c 1.4s | 4 | 15856 | 813 | 50436 0 | 534 | 952 1200.95/1201.38 c 2.1s | 5 | 20935 | 1320 | 50436 0 | 534 | 952 1202.44/1202.88 c 3.6s | 6 | 26996 | 2081 | 50436 0 | 534 | 952 1203.84/1204.23 c 4.9s | 7 | 37858 | 3223 | 50436 0 | 534 | 952 1205.84/1206.25 c 6.9s | 7 | 51408 | 4923 | 50436 0 | 534 | 952 1205.84/1206.26 c 6.9s | 8 | 51422 | 4936 | 50436 0 | 534 | 952 1207.94/1208.32 c 9.0s | 8 | 67440 | 6636 | 50436 0 | 534 | 952 1208.94/1209.35 c 10.0s | 9 | 73998 | 7506 | 50436 0 | 534 | 952 1211.04/1211.40 c 12.1s | 9 | 86082 | 9106 | 50436 0 | 534 | 952 1213.05/1213.42 c 14.1s | 9 | 97089 | 10806 | 50436 0 | 534 | 952 1213.94/1214.33 c 15.0s | 10 | 100264 | 11361 | 50436 0 | 534 | 952 1215.94/1216.36 c 17.0s | 10 | 108969 | 12461 | 50436 0 | 534 | 952 1218.14/1218.50 c 19.2s | 10 | 116959 | 13861 | 50436 0 | 534 | 952 1220.14/1220.56 c 21.2s | 10 | 126781 | 15361 | 50436 0 | 534 | 952 1222.24/1222.63 c 23.3s | 10 | 137026 | 16961 | 50436 0 | 534 | 952 1222.44/1222.85 c 23.5s | 11 | 138255 | 17144 | 50436 0 | 534 | 952 1227.53/1227.98 c 28.7s | 11 | 142749 | 17644 | 50436 0 | 534 | 952 1229.64/1230.05 c 30.7s | 11 | 152406 | 18844 | 50436 0 | 534 | 952 1232.44/1232.81 c 33.5s | 11 | 161071 | 20144 | 50436 0 | 534 | 952 1234.44/1234.82 c 35.5s | 11 | 174138 | 21944 | 50436 0 | 534 | 952 1236.64/1237.03 c 37.7s | 11 | 184277 | 23744 | 50436 1 | 534 | 952 1238.64/1239.08 c 39.8s | 11 | 194384 | 25344 | 50436 1 | 534 | 952 1239.84/1240.26 c 40.9s | 12 | 199458 | 25819 | 50436 1 | 534 | 952 1242.14/1242.54 c 43.2s | 12 | 214008 | 27719 | 50436 1 | 534 | 952 1244.24/1244.60 c 45.3s | 12 | 231100 | 30219 | 50436 1 | 534 | 952 1246.24/1246.61 c 47.3s | 12 | 247191 | 32619 | 50436 1 | 534 | 952 1248.24/1248.64 c 49.3s | 12 | 262064 | 34719 | 50436 1 | 534 | 952 1250.34/1250.76 c 51.4s | 12 | 273134 | 36219 | 50436 1 | 534 | 952 1253.74/1254.16 c 54.8s | 12 | 278809 | 37119 | 50436 1 | 534 | 952 1255.73/1256.19 c 56.9s | 12 | 285538 | 38419 | 50436 1 | 534 | 952 1256.53/1256.91 c 57.6s | 13 | 288035 | 38832 | 50436 1 | 534 | 952 1258.73/1259.10 c 59.8s | 13 | 296279 | 40032 | 50436 1 | 534 | 952 1260.83/1261.21 c 61.9s | 13 | 302443 | 41132 | 50436 1 | 534 | 952 1262.93/1263.36 c 64.0s | 13 | 309011 | 42132 | 50436 1 | 534 | 952 1264.93/1265.39 c 66.1s | 13 | 314819 | 43132 | 50436 1 | 534 | 952 1267.13/1267.51 c 68.2s | 13 | 320385 | 44032 | 50436 1 | 534 | 952 1269.24/1269.68 c 70.4s | 13 | 326260 | 45032 | 50436 1 | 534 | 952 1271.53/1271.90 c 72.6s | 13 | 333589 | 46032 | 50436 1 | 534 | 952 1273.64/1274.05 c 74.7s | 13 | 338175 | 46832 | 50436 1 | 534 | 952 1275.93/1276.31 c 77.0s | 13 | 343125 | 47732 | 50436 1 | 534 | 952 1278.03/1278.49 c 79.2s | 13 | 349071 | 48632 | 50436 1 | 534 | 952 1280.13/1280.56 c 81.2s | 13 | 354921 | 49532 | 50436 1 | 534 | 952 1282.23/1282.66 c 83.3s | 13 | 358969 | 50432 | 50436 1 | 534 | 952 1284.33/1284.73 c 85.4s | 13 | 363546 | 51332 | 50436 1 | 534 | 952 1286.63/1287.02 c 87.7s | 13 | 369859 | 52732 | 50436 2 | 534 | 952 1288.63/1289.06 c 89.7s | 13 | 386327 | 54632 | 50436 2 | 534 | 952 1290.72/1291.13 c 91.8s | 13 | 401380 | 56432 | 50436 2 | 534 | 952 1292.82/1293.24 c 93.9s | 13 | 418111 | 58332 | 50436 2 | 534 | 952 1292.82/1293.26 c 93.9s | 14 | 418650 | 58352 | 50436 2 | 534 | 952 1294.92/1295.37 c 96.1s | 14 | 436556 | 60252 | 50436 2 | 534 | 952 1297.02/1297.48 c 98.2s | 14 | 454319 | 62352 | 50436 2 | 534 | 952 1299.12/1299.53 c 100s | 14 | 468421 | 64352 | 50436 2 | 534 | 952 1301.13/1301.59 c 102s | 14 | 488723 | 66552 | 50436 2 | 534 | 952 1309.53/1309.90 c 110s | 14 | 503917 | 68352 | 50436 2 | 534 | 952 1311.53/1311.95 c 112s | 14 | 513982 | 70352 | 50436 2 | 534 | 952 1313.52/1313.96 c 114s | 14 | 524308 | 71752 | 50436 2 | 534 | 952 1315.62/1316.05 c 116s | 14 | 535022 | 73252 | 50436 2 | 534 | 952 1317.63/1318.07 c 118s | 14 | 545354 | 74952 | 50436 2 | 534 | 952 1319.62/1320.10 c 120s | 14 | 556944 | 76452 | 50436 2 | 534 | 952 1321.82/1322.26 c 122s | 14 | 568420 | 78152 | 50436 2 | 534 | 952 1323.92/1324.33 c 125s | 14 | 579747 | 79852 | 50436 3 | 534 | 952 1325.92/1326.33 c 127s | 14 | 596633 | 82152 | 50436 3 | 534 | 952 1328.02/1328.40 c 129s | 14 | 616725 | 85052 | 50436 3 | 534 | 952 1329.82/1330.22 c 130s | 15 | 631606 | 87632 | 50436 3 | 534 | 952 1331.83/1332.23 c 132s | 15 | 645054 | 89432 | 50436 3 | 534 | 952 1334.92/1335.33 c 136s | 15 | 649674 | 90132 | 50436 3 | 534 | 952 1336.92/1337.38 c 138s | 15 | 658629 | 91932 | 50436 3 | 534 | 952 1338.92/1339.39 c 140s | 15 | 670917 | 93532 | 50436 3 | 534 | 952 1341.02/1341.41 c 142s | 15 | 683208 | 95432 | 50436 3 | 534 | 952 1343.02/1343.47 c 144s | 15 | 692664 | 97132 | 50436 3 | 534 | 952 1345.12/1345.58 c 146s | 15 | 704284 | 98832 | 50436 3 | 534 | 952 1347.22/1347.65 c 148s | 15 | 717289 | 100532 | 50436 3 | 534 | 952 1349.32/1349.70 c 150s | 15 | 729763 | 102232 | 50436 3 | 534 | 952 1351.32/1351.78 c 152s | 15 | 746631 | 104332 | 50436 3 | 534 | 952 1353.42/1353.82 c 154s | 15 | 760025 | 106332 | 50436 3 | 534 | 952 1355.42/1355.83 c 156s | 15 | 776145 | 108432 | 50436 4 | 534 | 952 1357.42/1357.84 c 158s | 15 | 790578 | 111132 | 50436 4 | 534 | 952 1359.52/1359.93 c 160s | 15 | 806787 | 113332 | 50436 4 | 534 | 952 1364.42/1364.88 c 165s | 15 | 808858 | 113532 | 50436 4 | 534 | 952 1366.42/1366.88 c 167s | 15 | 818163 | 114832 | 50436 4 | 534 | 952 1368.52/1368.95 c 169s | 15 | 825297 | 116132 | 50436 4 | 534 | 952 1370.72/1371.10 c 171s | 15 | 833308 | 117532 | 50436 4 | 534 | 952 1372.72/1373.16 c 173s | 15 | 842947 | 118832 | 50436 4 | 534 | 952 1374.83/1375.23 c 175s | 15 | 855418 | 120632 | 50436 4 | 534 | 952 1376.82/1377.30 c 177s | 15 | 867022 | 122632 | 50436 4 | 534 | 952 1378.92/1379.38 c 180s | 15 | 879271 | 124832 | 50436 4 | 534 | 952 1381.12/1381.51 c 182s | 15 | 889198 | 126632 | 50436 4 | 534 | 952 1383.11/1383.53 c 184s | 15 | 898708 | 128232 | 50436 4 | 534 | 952 1385.21/1385.65 c 186s | 15 | 912408 | 130132 | 50436 4 | 534 | 952 1387.01/1387.41 c 188s | 16 | 921858 | 131552 | 50436 4 | 534 | 952 1389.02/1389.41 c 190s | 16 | 924413 | 131652 | 50436 5 | 534 | 952 1401.01/1401.47 c 202s | 16 | 924720 | 131752 | 50436 5 | 534 | 952 1403.01/1403.48 c 204s | 16 | 934181 | 133452 | 50436 5 | 534 | 952 1405.11/1405.51 c 206s | 16 | 946470 | 135952 | 50436 5 | 534 | 952 1407.11/1407.57 c 208s | 16 | 959886 | 138152 | 50436 5 | 534 | 952 1409.21/1409.62 c 210s | 16 | 974718 | 140552 | 50436 5 | 534 | 952 1411.21/1411.66 c 212s | 16 | 988242 | 142652 | 50436 5 | 534 | 952 1413.21/1413.66 c 214s | 16 | 996334 | 144352 | 50436 5 | 534 | 952 1415.21/1415.68 c 216s | 16 | 1005296 | 145852 | 50436 5 | 534 | 952 1417.72/1418.17 c 218s | 16 | 1006188 | 145952 | 50436 5 | 534 | 952 1419.92/1420.33 c 221s | 16 | 1012010 | 147052 | 50436 5 | 534 | 952 1421.91/1422.36 c 223s | 16 | 1022279 | 148252 | 50436 5 | 534 | 952 1424.11/1424.57 c 225s | 16 | 1028407 | 149252 | 50436 5 | 534 | 952 1426.31/1426.75 c 227s | 16 | 1035310 | 150352 | 50436 5 | 534 | 952 1428.31/1428.78 c 229s | 16 | 1041197 | 151352 | 50436 5 | 534 | 952 1430.51/1430.92 c 231s | 16 | 1054031 | 153052 | 50436 5 | 534 | 952 1432.61/1433.03 c 233s | 16 | 1060633 | 154152 | 50436 5 | 534 | 952 1434.81/1435.23 c 235s | 16 | 1068668 | 155152 | 50436 5 | 534 | 952 1436.81/1437.24 c 237s | 16 | 1077475 | 156552 | 50436 5 | 534 | 952 1438.91/1439.31 c 239s | 16 | 1088759 | 158252 | 50436 5 | 534 | 952 1441.01/1441.40 c 242s | 16 | 1099203 | 159852 | 50436 5 | 534 | 952 1443.60/1444.04 c 244s | 16 | 1107261 | 161052 | 50436 6 | 534 | 952 1445.90/1446.30 c 246s | 16 | 1120204 | 162752 | 50436 6 | 534 | 952 1447.90/1448.37 c 249s | 16 | 1139413 | 165452 | 50436 6 | 534 | 952 1450.00/1450.41 c 251s | 16 | 1157048 | 167852 | 50436 6 | 534 | 952 1452.00/1452.42 c 253s | 16 | 1174999 | 170452 | 50436 6 | 534 | 952 1454.10/1454.57 c 255s | 16 | 1187128 | 172652 | 50436 6 | 534 | 952 1459.40/1459.84 c 260s | 16 | 1190269 | 173552 | 50436 6 | 534 | 952 1461.51/1461.92 c 262s | 16 | 1199589 | 175052 | 50436 6 | 534 | 952 1463.61/1464.04 c 264s | 16 | 1209898 | 176352 | 50436 6 | 534 | 952 1465.71/1466.15 c 266s | 16 | 1217936 | 177752 | 50436 6 | 534 | 952 1467.90/1468.35 c 269s | 16 | 1227632 | 179152 | 50436 6 | 534 | 952 1470.00/1470.43 c 271s | 16 | 1237336 | 180452 | 50436 6 | 534 | 952 1472.10/1472.53 c 273s | 16 | 1247538 | 181652 | 50436 6 | 534 | 952 1474.10/1474.53 c 275s | 16 | 1254986 | 182752 | 50436 6 | 534 | 952 1476.20/1476.60 c 277s | 16 | 1265806 | 184452 | 50436 6 | 534 | 952 1478.30/1478.71 c 279s | 16 | 1276832 | 186452 | 50436 6 | 534 | 952 1480.41/1480.87 c 281s | 16 | 1286255 | 188052 | 50436 7 | 534 | 952 1482.40/1482.89 c 283s | 16 | 1293765 | 189252 | 50436 7 | 534 | 952 1486.91/1487.35 c 288s | 16 | 1302266 | 191052 | 50436 7 | 534 | 952 1489.00/1489.41 c 290s | 16 | 1316975 | 193552 | 50436 7 | 534 | 952 1491.00/1491.48 c 292s | 16 | 1332764 | 196352 | 50436 7 | 534 | 952 1491.90/1492.37 c 293s | 17 | 1337707 | 197432 | 50436 7 | 534 | 952 1494.00/1494.42 c 295s | 17 | 1353796 | 199732 | 50436 7 | 534 | 952 1496.00/1496.45 c 297s | 17 | 1364014 | 201532 | 50436 7 | 534 | 952 1498.20/1498.61 c 299s | 17 | 1367591 | 202132 | 50436 7 | 534 | 952 1500.20/1500.69 c 301s | 17 | 1377253 | 204032 | 50436 7 | 534 | 952 1502.20/1502.70 c 303s | 17 | 1389009 | 206132 | 50436 7 | 534 | 952 1504.30/1504.77 c 305s | 17 | 1401913 | 208332 | 50436 7 | 534 | 952 1506.40/1506.82 c 307s | 17 | 1410280 | 209532 | 50436 7 | 534 | 952 1508.39/1508.86 c 309s | 17 | 1417704 | 210832 | 50436 7 | 534 | 952 1510.49/1510.98 c 311s | 17 | 1427955 | 212532 | 50436 7 | 534 | 952 1512.59/1513.00 c 313s | 17 | 1436773 | 213932 | 50436 7 | 534 | 952 1514.59/1515.03 c 315s | 17 | 1446015 | 215432 | 50436 7 | 534 | 952 1516.60/1517.06 c 317s | 17 | 1455084 | 217032 | 50436 8 | 534 | 952 1518.69/1519.10 c 319s | 17 | 1470733 | 219632 | 50436 8 | 534 | 952 1520.89/1521.38 c 322s | 17 | 1482897 | 221932 | 50436 8 | 534 | 952 1523.40/1523.80 c 324s | 17 | 1488294 | 222732 | 50436 8 | 534 | 952 1525.40/1525.88 c 326s | 17 | 1503182 | 225132 | 50436 8 | 534 | 952 1527.70/1528.12 c 328s | 17 | 1509808 | 226332 | 50436 8 | 534 | 952 1529.69/1530.15 c 330s | 17 | 1520763 | 228232 | 50436 8 | 534 | 952 1531.69/1532.17 c 332s | 17 | 1533407 | 230432 | 50436 8 | 534 | 952 1533.79/1534.22 c 334s | 17 | 1543804 | 232332 | 50436 8 | 534 | 952 1535.79/1536.23 c 336s | 17 | 1556305 | 234232 | 50436 8 | 534 | 952 1537.79/1538.25 c 338s | 17 | 1566581 | 235832 | 50436 8 | 534 | 952 1539.89/1540.35 c 341s | 17 | 1578952 | 237732 | 50436 8 | 534 | 952 1541.90/1542.36 c 343s | 17 | 1590455 | 239632 | 50436 8 | 534 | 952 1543.99/1544.41 c 345s | 17 | 1602391 | 241232 | 50436 8 | 534 | 952 1545.99/1546.41 c 347s | 17 | 1611189 | 242732 | 50436 8 | 534 | 952 1547.99/1548.49 c 349s | 17 | 1620537 | 244432 | 50436 9 | 534 | 952 1550.09/1550.54 c 351s | 17 | 1634409 | 246732 | 50436 9 | 534 | 952 1552.19/1552.62 c 353s | 17 | 1648092 | 248932 | 50436 9 | 534 | 952 1554.29/1554.70 c 355s | 17 | 1660783 | 251232 | 50436 9 | 534 | 952 1557.09/1557.52 c 358s | 17 | 1669826 | 253232 | 50436 9 | 534 | 952 1559.19/1559.60 c 360s | 17 | 1681654 | 255132 | 50436 9 | 534 | 952 1561.19/1561.65 c 362s | 17 | 1691909 | 256732 | 50436 9 | 534 | 952 1563.19/1563.67 c 364s | 17 | 1701926 | 258332 | 50436 9 | 534 | 952 1565.28/1565.75 c 366s | 17 | 1710915 | 259632 | 50436 9 | 534 | 952 1567.38/1567.86 c 368s | 17 | 1720250 | 261332 | 50436 9 | 534 | 952 1569.49/1569.93 c 370s | 17 | 1733500 | 263332 | 50436 9 | 534 | 952 1571.59/1572.03 c 372s | 17 | 1745639 | 265232 | 50436 9 | 534 | 952 1573.68/1574.16 c 374s | 17 | 1754527 | 266932 | 50436 9 | 534 | 952 1575.78/1576.27 c 376s | 17 | 1764019 | 268532 | 50436 9 | 534 | 952 1577.88/1578.32 c 378s | 17 | 1773764 | 269932 | 50436 9 | 534 | 952 1579.88/1580.39 c 381s | 17 | 1780573 | 271332 | 50436 10 | 534 | 952 1581.98/1582.44 c 383s | 17 | 1791219 | 273232 | 50436 10 | 534 | 952 1584.08/1584.52 c 385s | 17 | 1803896 | 275432 | 50436 10 | 534 | 952 1586.18/1586.64 c 387s | 17 | 1820400 | 277832 | 50436 10 | 534 | 952 1588.18/1588.67 c 389s | 17 | 1836083 | 280332 | 50436 10 | 534 | 952 1590.18/1590.70 c 391s | 17 | 1846800 | 282432 | 50436 10 | 534 | 952 1592.39/1592.82 c 393s | 17 | 1856800 | 284032 | 50436 10 | 534 | 952 1594.48/1594.94 c 395s | 17 | 1866636 | 285832 | 50436 10 | 534 | 952 1596.48/1596.99 c 397s | 17 | 1875996 | 287332 | 50436 10 | 534 | 952 1598.58/1599.01 c 399s | 17 | 1887301 | 289232 | 50436 10 | 534 | 952 1600.58/1601.07 c 401s | 17 | 1899276 | 291032 | 50436 10 | 534 | 952 1602.68/1603.12 c 403s | 17 | 1909077 | 292932 | 50436 10 | 534 | 952 1604.78/1605.20 c 405s | 17 | 1918852 | 294932 | 50436 10 | 534 | 952 1606.28/1606.70 c 407s | 18 | 1926112 | 296252 | 50436 10 | 534 | 952 1618.28/1618.75 c 419s | 18 | 1928539 | 296352 | 50436 11 | 534 | 952 1623.97/1624.41 c 425s | 18 | 1928904 | 296452 | 50436 11 | 534 | 952 1625.97/1626.48 c 427s | 18 | 1935674 | 298052 | 50436 11 | 534 | 952 1627.98/1628.49 c 429s | 18 | 1946462 | 299852 | 50436 11 | 534 | 952 1632.98/1633.47 c 434s | 18 | 1950141 | 300552 | 50436 11 | 534 | 952 1635.08/1635.56 c 436s | 18 | 1960591 | 302252 | 50436 11 | 534 | 952 1637.18/1637.65 c 438s | 18 | 1970773 | 303952 | 50436 11 | 534 | 952 1639.17/1639.67 c 440s | 18 | 1981467 | 305752 | 50436 11 | 534 | 952 1641.27/1641.73 c 442s | 18 | 1991784 | 307552 | 50436 11 | 534 | 952 1643.27/1643.79 c 444s | 18 | 2001105 | 309152 | 50436 11 | 534 | 952 1645.38/1645.84 c 446s | 18 | 2010964 | 310952 | 50436 11 | 534 | 952 1647.48/1647.96 c 448s | 18 | 2021245 | 312852 | 50436 11 | 534 | 952 1649.57/1650.07 c 450s | 18 | 2031926 | 314052 | 50436 11 | 534 | 952 1651.67/1652.19 c 452s | 18 | 2040194 | 315252 | 50436 11 | 534 | 952 1653.77/1654.26 c 454s | 18 | 2048385 | 316252 | 50436 11 | 534 | 952 1655.87/1656.30 c 456s | 18 | 2054802 | 317352 | 50436 11 | 534 | 952 1657.97/1658.48 c 459s | 18 | 2063770 | 318452 | 50436 11 | 534 | 952 1660.17/1660.64 c 461s | 18 | 2072924 | 319752 | 50436 11 | 534 | 952 1662.27/1662.73 c 463s | 18 | 2082867 | 321052 | 50436 11 | 534 | 952 1664.27/1664.78 c 465s | 18 | 2094187 | 322452 | 50436 11 | 534 | 952 1666.47/1666.90 c 467s | 18 | 2103601 | 323652 | 50436 11 | 534 | 952 1668.57/1669.04 c 469s | 18 | 2111154 | 324652 | 50436 11 | 534 | 952 1670.57/1671.09 c 471s | 18 | 2117084 | 325752 | 50436 12 | 534 | 952 1675.37/1675.80 c 476s | 18 | 2123671 | 326552 | 50436 12 | 534 | 952 1679.07/1679.57 c 480s | 18 | 2124393 | 326652 | 50436 12 | 534 | 952 1681.17/1681.62 c 482s | 18 | 2137059 | 328552 | 50436 12 | 534 | 952 1683.17/1683.69 c 484s | 18 | 2149370 | 330552 | 50436 12 | 534 | 952 1685.27/1685.73 c 486s | 18 | 2161351 | 332452 | 50436 12 | 534 | 952 1687.27/1687.75 c 488s | 18 | 2172323 | 334452 | 50436 12 | 534 | 952 1689.47/1689.93 c 490s | 18 | 2176910 | 335352 | 50436 12 | 534 | 952 1691.57/1692.00 c 492s | 18 | 2187462 | 337052 | 50436 12 | 534 | 952 1693.56/1694.07 c 494s | 18 | 2198634 | 338952 | 50436 12 | 534 | 952 1695.56/1696.08 c 496s | 18 | 2211699 | 340852 | 50436 12 | 534 | 952 1697.66/1698.16 c 498s | 18 | 2222977 | 342952 | 50436 12 | 534 | 952 1699.76/1700.25 c 500s | 18 | 2233120 | 344852 | 50436 12 | 534 | 952 1701.76/1702.28 c 502s | 18 | 2244115 | 346752 | 50436 12 | 534 | 952 1703.86/1704.34 c 505s | 18 | 2255492 | 348552 | 50436 12 | 534 | 952 1705.87/1706.39 c 507s | 18 | 2264447 | 349952 | 50436 12 | 534 | 952 1707.97/1708.47 c 509s | 18 | 2272973 | 351252 | 50436 12 | 534 | 952 1710.27/1710.74 c 511s | 18 | 2283315 | 352852 | 50436 13 | 534 | 952 1712.26/1712.78 c 513s | 18 | 2297116 | 354752 | 50436 13 | 534 | 952 1714.36/1714.88 c 515s | 18 | 2308140 | 357052 | 50436 13 | 534 | 952 1716.46/1716.91 c 517s | 18 | 2313557 | 357952 | 50436 13 | 534 | 952 1718.46/1718.97 c 519s | 18 | 2321903 | 359652 | 50436 13 | 534 | 952 1720.46/1720.97 c 521s | 18 | 2331263 | 361552 | 50436 13 | 534 | 952 1722.46/1722.97 c 523s | 18 | 2343583 | 363452 | 50436 13 | 534 | 952 1724.56/1725.07 c 525s | 18 | 2354713 | 365352 | 50436 13 | 534 | 952 1726.66/1727.19 c 527s | 18 | 2366662 | 367052 | 50436 13 | 534 | 952 1728.76/1729.27 c 529s | 18 | 2375955 | 368752 | 50436 13 | 534 | 952 1730.86/1731.34 c 532s | 18 | 2388610 | 370852 | 50436 13 | 534 | 952 1732.96/1733.46 c 534s | 18 | 2397272 | 372352 | 50436 13 | 534 | 952 1735.06/1735.58 c 536s | 18 | 2404684 | 373652 | 50436 13 | 534 | 952 1737.16/1737.69 c 538s | 18 | 2412006 | 375052 | 50436 13 | 534 | 952 1739.26/1739.77 c 540s | 18 | 2420970 | 376552 | 50436 13 | 534 | 952 1741.36/1741.86 c 542s | 18 | 2431497 | 378152 | 50436 13 | 534 | 952 1743.46/1743.90 c 544s | 18 | 2441875 | 379852 | 50436 13 | 534 | 952 1745.47/1745.96 c 546s | 18 | 2452042 | 381652 | 50436 14 | 534 | 952 1747.57/1748.04 c 548s | 18 | 2465940 | 384352 | 50436 14 | 534 | 952 1749.56/1750.05 c 550s | 18 | 2478583 | 386552 | 50436 14 | 534 | 952 1751.56/1752.09 c 552s | 18 | 2489934 | 388252 | 50436 14 | 534 | 952 1753.66/1754.13 c 554s | 18 | 2504572 | 390252 | 50436 14 | 534 | 952 1755.66/1756.15 c 556s | 18 | 2516033 | 392352 | 50436 14 | 534 | 952 1757.65/1758.16 c 558s | 18 | 2529061 | 394352 | 50436 14 | 534 | 952 1759.66/1760.16 c 560s | 18 | 2545732 | 396452 | 50436 14 | 534 | 952 1761.65/1762.18 c 562s | 18 | 2558200 | 398452 | 50436 14 | 534 | 952 1763.65/1764.19 c 564s | 18 | 2570701 | 400352 | 50436 14 | 534 | 952 1765.75/1766.24 c 566s | 18 | 2583220 | 402252 | 50436 14 | 534 | 952 1767.75/1768.24 c 568s | 18 | 2593120 | 404152 | 50436 14 | 534 | 952 1769.85/1770.32 c 571s | 18 | 2605858 | 406252 | 50436 14 | 534 | 952 1771.95/1772.45 c 573s | 18 | 2618424 | 408252 | 50436 15 | 534 | 952 1773.96/1774.47 c 575s | 18 | 2633406 | 410552 | 50436 15 | 534 | 952 1775.95/1776.49 c 577s | 18 | 2644286 | 412452 | 50436 15 | 534 | 952 1778.05/1778.57 c 579s | 18 | 2658704 | 414752 | 50436 15 | 534 | 952 1780.15/1780.66 c 581s | 18 | 2672838 | 417052 | 50436 15 | 534 | 952 1782.15/1782.69 c 583s | 18 | 2685566 | 419352 | 50436 15 | 534 | 952 1784.25/1784.78 c 585s | 18 | 2700961 | 421652 | 50436 15 | 534 | 952 1786.25/1786.79 c 587s | 18 | 2713354 | 423652 | 50436 15 | 534 | 952 1788.36/1788.86 c 589s | 18 | 2723657 | 425552 | 50436 15 | 534 | 952 1790.35/1790.87 c 591s | 18 | 2733977 | 427352 | 50436 15 | 534 | 952 1792.45/1792.96 c 593s | 18 | 2747290 | 429452 | 50436 15 | 534 | 952 1794.55/1795.06 c 595s | 18 | 2759173 | 431552 | 50436 15 | 534 | 952 1796.55/1797.06 c 597s | 18 | 2770941 | 433352 | 50436 15 | 534 | 952 1798.55/1799.08 c 599s | 18 | 2783278 | 435252 | 50436 15 | 534 | 952
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-4079792-1465250970/watcher-4079792-1465250970 -o /tmp/evaluation-result-4079792-1465250970/solver-4079792-1465250970 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1859 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079792-1465250970.opb pid=6582 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.07 2.08 3/179 6585 /proc/meminfo: memFree=30254420/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=434620 CPUtime=0 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 1569 0 0 0 0 0 0 0 20 0 4 0 107031962 445050880 1929 33554432000 4194304 16246674 140735888876096 140735888875520 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 109167 1940 441 2943 0 106061 0 [pid=6585/tid=6586] ppid=6582 vsize=451004 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 461828096 1994 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=456124 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 467070976 2012 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=460220 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107031962 471265280 2028 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100177 s] /proc/loadavg: 2.04 2.07 2.08 3/179 6585 /proc/meminfo: memFree=30254420/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=1221188 CPUtime=0.08 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 25916 0 0 0 5 3 0 0 20 0 4 0 107031962 1250496512 26214 33554432000 4194304 16246674 140735888876096 140735888875408 4221138 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 305297 26214 800 2943 0 302191 0 [pid=6585/tid=6586] ppid=6582 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 1250496512 26214 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 1250496512 26214 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1250496512 26214 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1221188 [startup+0.200546 s] /proc/loadavg: 2.04 2.07 2.08 3/179 6585 /proc/meminfo: memFree=30254420/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=1301060 CPUtime=0.18 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 45890 0 0 0 12 6 0 0 20 0 4 0 107031962 1332285440 46188 33554432000 4194304 16246674 140735888876096 140735888875408 5523608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 325265 46188 836 2943 0 322159 0 [pid=6585/tid=6586] ppid=6582 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 1332285440 46188 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 1332285440 46188 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1332285440 46188 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1301060 [startup+0.300484 s] /proc/loadavg: 2.04 2.07 2.08 3/179 6585 /proc/meminfo: memFree=30254420/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=1301060 CPUtime=0.29 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 56143 0 0 0 20 9 0 0 20 0 4 0 107031962 1332285440 56442 33554432000 4194304 16246674 140735888876096 140735888875408 12874965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 325265 56449 836 2943 0 322159 0 [pid=6585/tid=6586] ppid=6582 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 1332285440 56454 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 1332285440 56459 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1332285440 56464 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1301060 [startup+0.700416 s] /proc/loadavg: 2.04 2.07 2.08 3/179 6585 /proc/meminfo: memFree=30254420/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=1311300 CPUtime=0.69 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 65901 0 0 0 59 10 0 0 20 0 4 0 107031962 1342771200 66199 33554432000 4194304 16246674 140735888876096 140735888875408 5808833 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 327825 66199 905 2943 0 324719 0 [pid=6585/tid=6586] ppid=6582 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 1342771200 66199 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 1342771200 66199 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1342771200 66199 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1311300 [startup+1.50044 s] /proc/loadavg: 2.04 2.07 2.08 3/183 6589 /proc/meminfo: memFree=29966752/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=1311300 CPUtime=1.49 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 98600 0 0 0 134 15 0 0 20 0 4 0 107031962 1342771200 98899 33554432000 4194304 16246674 140735888876096 140735888857984 5662075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 327825 98903 907 2943 0 324719 0 [pid=6585/tid=6586] ppid=6582 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 1342771200 98905 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 1342771200 98908 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1342771200 98917 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1311300 [startup+3.10036 s] /proc/loadavg: 2.04 2.07 2.08 4/183 6589 /proc/meminfo: memFree=29396972/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=1311300 CPUtime=3.08 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 269029 0 0 0 270 38 0 0 20 0 4 0 107031962 1342771200 269327 33554432000 4194304 16246674 140735888876096 140735888857984 5532301 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 327825 269327 907 2943 0 324719 0 [pid=6585/tid=6586] ppid=6582 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 1342771200 269327 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 1342771200 269327 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1342771200 269327 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1311300 [startup+6.30041 s] /proc/loadavg: 2.04 2.07 2.08 3/183 6589 /proc/meminfo: memFree=29177860/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=1311300 CPUtime=6.28 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 269029 0 0 0 590 38 0 0 20 0 4 0 107031962 1342771200 269327 33554432000 4194304 16246674 140735888876096 140735888857984 13820935 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 327825 269327 907 2943 0 324719 0 [pid=6585/tid=6586] ppid=6582 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 1342771200 269327 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 1342771200 269327 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1342771200 269327 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1311300 [startup+12.7004 s] /proc/loadavg: 2.04 2.07 2.08 3/182 6589 /proc/meminfo: memFree=29178004/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=1311300 CPUtime=12.68 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 269029 0 0 0 1230 38 0 0 20 0 4 0 107031962 1342771200 269327 33554432000 4194304 16246674 140735888876096 140735888859096 6026674 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 327825 269327 907 2943 0 324719 0 [pid=6585/tid=6586] ppid=6582 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 1342771200 269327 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 1342771200 269327 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1342771200 269327 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1311300 [startup+25.5074 s] /proc/loadavg: 2.03 2.07 2.08 3/183 6590 /proc/meminfo: memFree=29169928/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=1319492 CPUtime=25.49 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 271083 0 0 0 2510 39 0 0 20 0 4 0 107031962 1351159808 271381 33554432000 4194304 16246674 140735888876096 140735888857984 5600444 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 329873 271381 913 2943 0 326767 0 [pid=6585/tid=6586] ppid=6582 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 1351159808 271381 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 1351159808 271381 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1351159808 271381 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1319492 [startup+51.1004 s] /proc/loadavg: 2.02 2.06 2.08 3/184 6593 /proc/meminfo: memFree=29161124/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=1328708 CPUtime=51.08 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 273166 0 0 0 5069 39 0 0 20 0 4 0 107031962 1360596992 273464 33554432000 4194304 16246674 140735888876096 140735888857984 5677537 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 332177 273464 914 2943 0 329071 0 [pid=6585/tid=6586] ppid=6582 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 1360596992 273464 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 1360596992 273464 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1360596992 273464 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1328708 [startup+102.3 s] /proc/loadavg: 2.05 2.06 2.08 3/183 6594 /proc/meminfo: memFree=29143792/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=1345092 CPUtime=102.28 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 277484 0 0 0 10187 41 0 0 20 0 4 0 107031962 1377374208 277782 33554432000 4194304 16246674 140735888876096 140735888857984 5673540 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 336273 277782 914 2943 0 333167 0 [pid=6585/tid=6586] ppid=6582 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 1377374208 277782 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 1377374208 277782 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1377374208 277782 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1345092 ################ # More data... # ################ /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 1424964 [startup+1302.3 s] /proc/loadavg: 2.01 2.02 2.01 4/183 6672 /proc/meminfo: memFree=29073020/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=1424964 CPUtime=1301.92 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 297722 0 0 0 130122 70 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140735888857984 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 356241 297756 914 2943 0 353135 0 [pid=6585/tid=6586] ppid=6582 vsize=1424964 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=1424964 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=1424964 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1424964 [startup+1362.3 s] /proc/loadavg: 2.05 2.03 2.00 3/183 6673 /proc/meminfo: memFree=29073268/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=1424964 CPUtime=1361.92 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 297722 0 0 0 136120 72 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140735888875192 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 356241 297756 914 2943 0 353135 0 [pid=6585/tid=6586] ppid=6582 vsize=1424964 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=1424964 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=1424964 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1424964 [startup+1422.3 s] /proc/loadavg: 2.02 2.02 2.00 3/183 6674 /proc/meminfo: memFree=29072892/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=1424964 CPUtime=1421.91 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 297722 0 0 0 142117 74 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140735888857984 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 356241 297756 914 2943 0 353135 0 [pid=6585/tid=6586] ppid=6582 vsize=1424964 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=1424964 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=1424964 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1424964 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 6675 /proc/meminfo: memFree=29072556/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=1424964 CPUtime=1481.9 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 297722 0 0 0 148115 75 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140735888873984 4220482 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 356241 297756 914 2943 0 353135 0 [pid=6585/tid=6586] ppid=6582 vsize=1424964 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=1424964 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=1424964 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1424964 [startup+1542.3 s] /proc/loadavg: 2.06 2.03 2.00 3/183 6677 /proc/meminfo: memFree=29072792/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=1424964 CPUtime=1541.9 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 297722 0 0 0 154114 76 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140735888857984 5721269 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 356241 297756 914 2943 0 353135 0 [pid=6585/tid=6586] ppid=6582 vsize=1424964 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=1424964 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=1424964 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1424964 [startup+1602.3 s] /proc/loadavg: 2.02 2.02 2.00 3/183 6678 /proc/meminfo: memFree=29072668/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=1424964 CPUtime=1601.88 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 297722 0 0 0 160111 77 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140735888857984 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 356241 297756 914 2943 0 353135 0 [pid=6585/tid=6586] ppid=6582 vsize=1424964 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=1424964 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=1424964 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1459163136 297756 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1424964 [startup+1662.31 s] /proc/loadavg: 2.04 2.03 2.00 3/183 6679 /proc/meminfo: memFree=29063556/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=1434180 CPUtime=1661.88 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 300026 0 0 0 166108 80 0 0 20 0 4 0 107031962 1468600320 300060 33554432000 4194304 16246674 140735888876096 140735888857984 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 358545 300060 914 2943 0 355439 0 [pid=6585/tid=6586] ppid=6582 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 1468600320 300060 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 1468600320 300060 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1468600320 300060 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1434180 [startup+1722.3 s] /proc/loadavg: 2.09 2.04 2.01 3/183 6680 /proc/meminfo: memFree=29063240/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=1434180 CPUtime=1721.86 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 300026 0 0 0 172105 81 0 0 20 0 4 0 107031962 1468600320 300060 33554432000 4194304 16246674 140735888876096 140735888857984 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 358545 300060 914 2943 0 355439 0 [pid=6585/tid=6586] ppid=6582 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 1468600320 300060 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 1468600320 300060 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1468600320 300060 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1434180 [startup+1782.3 s] /proc/loadavg: 2.03 2.03 2.00 3/183 6681 /proc/meminfo: memFree=29062804/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=1434180 CPUtime=1781.85 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 300026 0 0 0 178103 82 0 0 20 0 4 0 107031962 1468600320 300060 33554432000 4194304 16246674 140735888876096 140735888857984 5712067 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 358545 300060 914 2943 0 355439 0 [pid=6585/tid=6586] ppid=6582 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 1468600320 300060 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 1468600320 300060 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1468600320 300060 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1434180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.02 2.03 2.00 3/183 6681 /proc/meminfo: memFree=29062680/32872528 swapFree=13600/559348 [pid=6585] ppid=6582 vsize=1434180 CPUtime=1800.05 cores=1,3,5,7 /proc/6585/stat : 6585 (toysat) R 6582 6585 1842 0 -1 4202496 300026 0 0 0 179923 82 0 0 20 0 4 0 107031962 1468600320 300060 33554432000 4194304 16246674 140735888876096 140735888875272 13966160 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/6585/statm: 358545 300060 914 2943 0 355439 0 [pid=6585/tid=6586] ppid=6582 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6586/stat : 6586 (toysat) S 6582 6585 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107031962 1468600320 300060 33554432000 4194304 16246674 140735888876096 140337324469488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=6585/tid=6587] ppid=6582 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6587/stat : 6587 (toysat) S 6582 6585 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107031962 1468600320 300060 33554432000 4194304 16246674 140735888876096 140337313979632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=6585/tid=6588] ppid=6582 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/6585/task/6588/stat : 6588 (toysat) S 6582 6585 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107031962 1468600320 300060 33554432000 4194304 16246674 140735888876096 140337303506096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1434180 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 6585 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1799.24 CPU system time (s): 0.828873 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 1434180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.24 system time used= 0.828873 maximum resident set size= 1200240 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 300026 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= 289 involuntary context switches= 2046 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.56031 second user time and 6.99594 second system time The end
Begin job on node106 at 2016-06-07 00:09:30 IDJOB=4079792 IDBENCH=25010 IDSOLVER=2542 FILE ID=node106/4079792-1465250970 RUNJOBID= node106-1465219870-1859 PBS_JOBID= 19843217 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir06_area_delay.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079792-1465250970/watcher-4079792-1465250970 -o /tmp/evaluation-result-4079792-1465250970/solver-4079792-1465250970 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1859 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079792-1465250970.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 21fb64899a6dc4867ccfcbb30d44d536 RANDOM SEED=983002159 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 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.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 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 : 2666.775 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: 30254684 kB Buffers: 56924 kB Cached: 150760 kB SwapCached: 1844 kB Active: 1229068 kB Inactive: 124392 kB Active(anon): 1146784 kB Inactive(anon): 1280 kB Active(file): 82284 kB Inactive(file): 123112 kB Unevictable: 559348 kB Mlocked: 13600 kB SwapTotal: 67108856 kB SwapFree: 67098536 kB Dirty: 16728 kB Writeback: 0 kB AnonPages: 1808800 kB Mapped: 10916 kB Shmem: 0 kB Slab: 568876 kB SReclaimable: 13300 kB SUnreclaim: 555576 kB KernelStack: 1520 kB PageTables: 7144 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1850324 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1300480 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= 71700 MiB End job on node106 at 2016-06-07 00:39:31