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.01 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_3.opb |
| MD5SUM | 737bdf32fd69c002d569e68c523af4bf |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -26 |
| Best CPU time to get the best result obtained on this benchmark | 140.018 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -26 |
| Optimality of the best value was proved | YES |
| Number of variables | 100 |
| Total number of constraints | 100 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 100 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 100 |
| 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 | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 1244 |
| Sum of products size (including duplicates) | 2488 |
| Number of different products | 622 |
| Sum of products size | 1244 |
0.00/0.00 c 2016-06-07T02:45:27+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-4080152-1465260327.opb"] 0.00/0.01 c use --random-gen="1887430796 2032900577 2470616765 1369145045 3699907048 2107804495 1098105515 201139439 2564743269 1533884185 2802756291 156868292 179768474 53006322 3491192964 798998503 313635434 2733087699 831346592 1165851428 4200371202 4290815722 51312047 792560223 3243768565 3899791508 4284012943 317178300 1501342451 2054262255 2955625119 3336379250 269860539 2689573923 1184614971 1806916323 2882828090 3843558521 840604640 868330935 2296376942 413583833 2351245170 3958832673 234264938 660238681 3654583136 1820637523 821218425 122869904 4012524074 4162904146 2387832416 1599490801 3306668292 1335856829 1099728010 2910638173 2733286403 216807048 4125375447 3552925049 954062546 2849508192 1930401272 140259808 3313926995 1431688949 4288209214 3013630691 207176216 1448347214 3490347685 757596586 3379157771 2982827363 956534422 2770250260 3141523074 2110218792 3600769603 3691394461 3824077959 4027359137 149912338 2600054998 3691313986 1353693650 3764231941 4104392283 2652732546 3079173593 3020952532 61571872 2901648944 1140721925 2734518494 1240162821 1256176381 512844167 4232282931 1075516707 2288680650 4090439895 3327537352 1145586830 1714180407 4141808188 1228608652 1508310709 3545928463 885661030 3201440553 546251150 3738754012 2970801674 2047325811 1085360175 386009548 4004796835 908179628 2825767390 3618258415 3330561723 3250829916 2119537006 604821049 1287364072 699996595 2130517607 211859498 3611920398 847946310 944925182 2785990653 356490031 495518485 2871659437 4091150783 3259418083 2174419472 488288833 491383299 947697342 170873992 2957011433 976991306 2633351076 2090128538 2355387945 1590820246 2406488898 2784046763 1661497347 1982867104 494319814 46594971 1697259254 1692762054 39658334 1638506183 2565040247 2829154817 3118663697 4057823355 2916930401 1925350536 3377030797 2841986563 736599958 3096252332 2172371372 1191908064 489543288 2167362415 3769577915 208285059 4137664795 1832451373 3380229057 1446320281 2483170068 3397704366 3441151727 603835393 3269926053 1614128530 2055961467 70264469 1626960542 1503273912 2043482884 327642528 3664450402 3632632002 3218887942 2588561663 102845029 2217590357 4257483627 484521572 3791820045 3044691352 3698902697 643026907 2387480510 127845779 1504727582 1206090006 2152886559 1184689277 3943993911 3089759324 3306186375 674184804 3182267888 107638919 71306829 4188765867 4100702896 1462233343 3342445058 2404470344 196226656 331110535 4070960912 1305494661 3827476308 140419927 2318989212 3974115944 510907576 1582923479 1800487649 2703516772 3889003764 814001747 3203256295 1711135686 1405338577 3865355862 1729440741 3093702766 567647728 1382562046 1191129655 4272466546 1495180285 2794586871 3785961240 4095172907 3357747575 3792551290 1507894346 318785847 2726407747 255 362436" option to reproduce the execution 0.00/0.01 c #vars 100 0.00/0.01 c #constraints 100 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 862 0 | 622 | 0 0.00/0.03 c 0.0s | 0 | 21 | 0 | 862 0 | 622 | 1244 0.00/0.03 c #cpu_time = 0.003s 0.00/0.03 c #wall_clock_time = 0.003s 0.00/0.03 c #decision = 21 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 o -21 0.00/0.03 c BCD2: updating upper bound: 100 -> 78 0.00/0.03 c BCD2: 0 <= obj <= 78 0.00/0.03 c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 862 0 | 622 | 1244 0.00/0.04 c 0.0s | 0 | 1 | 0 | 862 0 | 622 | 1244 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 1 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -99 0.00/0.04 c BCD2: 1 <= obj <= 78 0.00/0.04 c BCD2: #cores=1, #unrelaxed=98, #relaxed=2, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 862 0 | 622 | 1245 0.00/0.04 c 0.0s | 0 | 4 | 0 | 862 0 | 622 | 1245 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 4 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -98 0.00/0.04 c BCD2: 2 <= obj <= 78 0.00/0.04 c BCD2: #cores=2, #unrelaxed=96, #relaxed=4, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 862 0 | 622 | 1246 0.00/0.04 c 0.0s | 0 | 4 | 0 | 862 0 | 622 | 1246 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 4 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -97 0.00/0.04 c BCD2: 3 <= obj <= 78 0.00/0.04 c BCD2: #cores=3, #unrelaxed=94, #relaxed=6, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 862 0 | 622 | 1247 0.00/0.04 c 0.0s | 0 | 4 | 0 | 862 0 | 622 | 1247 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 4 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -96 0.00/0.04 c BCD2: 4 <= obj <= 78 0.00/0.04 c BCD2: #cores=4, #unrelaxed=92, #relaxed=8, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 862 0 | 622 | 1248 0.00/0.04 c 0.0s | 0 | 5 | 0 | 862 0 | 622 | 1248 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 5 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2 0.00/0.04 c lower bound updated to -95 0.00/0.04 c BCD2: 5 <= obj <= 78 0.00/0.04 c BCD2: #cores=4, #unrelaxed=90, #relaxed=10, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=6 bias=6/7 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 862 0 | 623 | 1248 0.00/0.04 c 0.0s | 0 | 8 | 0 | 862 0 | 623 | 1249 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 8 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -94 0.00/0.04 c BCD2: 6 <= obj <= 78 0.00/0.04 c BCD2: #cores=5, #unrelaxed=88, #relaxed=12, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=7 bias=7/8 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 862 0 | 623 | 1250 0.00/0.04 c 0.0s | 0 | 12 | 1 | 862 0 | 623 | 1250 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 12 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 1 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.04 c lower bound updated to -93 0.00/0.04 c BCD2: 7 <= obj <= 78 0.00/0.04 c BCD2: #cores=5, #unrelaxed=87, #relaxed=13, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=8 bias=8/9 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 862 0 | 624 | 1250 0.00/0.04 c 0.0s | 0 | 8 | 0 | 862 0 | 624 | 1251 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 8 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -92 0.00/0.04 c BCD2: 8 <= obj <= 78 0.00/0.04 c BCD2: #cores=6, #unrelaxed=85, #relaxed=15, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=9 bias=9/10 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 862 0 | 624 | 1252 0.00/0.04 c 0.0s | 0 | 10 | 0 | 862 0 | 624 | 1252 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 10 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2 0.00/0.04 c lower bound updated to -91 0.00/0.04 c BCD2: 9 <= obj <= 78 0.00/0.04 c BCD2: #cores=6, #unrelaxed=83, #relaxed=17, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=10 bias=10/11 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 862 0 | 625 | 1252 0.00/0.04 c 0.0s | 0 | 11 | 0 | 862 0 | 625 | 1253 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 11 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2 0.00/0.04 c lower bound updated to -90 0.00/0.04 c BCD2: 10 <= obj <= 78 0.00/0.04 c BCD2: #cores=6, #unrelaxed=81, #relaxed=19, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=11 bias=11/12 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 862 0 | 626 | 1253 0.00/0.05 c 0.0s | 0 | 10 | 0 | 862 0 | 626 | 1254 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 10 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to -89 0.00/0.05 c BCD2: 11 <= obj <= 78 0.00/0.05 c BCD2: #cores=7, #unrelaxed=79, #relaxed=21, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=12 bias=12/13 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 862 0 | 626 | 1255 0.00/0.05 c 0.0s | 0 | 11 | 0 | 862 0 | 626 | 1255 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 11 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to -88 0.00/0.05 c BCD2: 12 <= obj <= 78 0.00/0.05 c BCD2: #cores=8, #unrelaxed=77, #relaxed=23, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=13 bias=13/14 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 862 0 | 626 | 1256 0.00/0.05 c 0.0s | 0 | 11 | 0 | 862 0 | 626 | 1256 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 11 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to -87 0.00/0.05 c BCD2: 13 <= obj <= 78 0.00/0.05 c BCD2: #cores=9, #unrelaxed=75, #relaxed=25, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=14 bias=14/15 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 862 0 | 626 | 1257 0.00/0.05 c 0.0s | 0 | 11 | 0 | 862 0 | 626 | 1257 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 11 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: relaxing 2 and merging with 3 cores into a new core of size 10: cost of the new core is >=5 0.00/0.05 c lower bound updated to -86 0.00/0.05 c BCD2: 14 <= obj <= 78 0.00/0.05 c BCD2: #cores=7, #unrelaxed=73, #relaxed=27, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=15 bias=15/16 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 862 0 | 629 | 1257 0.00/0.05 c 0.0s | 0 | 12 | 1 | 862 0 | 629 | 1260 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 12 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 1 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: relaxing 3 and merging with 2 cores into a new core of size 9: cost of the new core is >=4 0.00/0.05 c lower bound updated to -85 0.00/0.05 c BCD2: 15 <= obj <= 78 0.00/0.05 c BCD2: #cores=6, #unrelaxed=70, #relaxed=30, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=16 bias=16/17 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 862 0 | 631 | 1260 0.00/0.05 c 0.0s | 0 | 7 | 0 | 862 0 | 631 | 1262 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 7 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to -84 0.00/0.05 c BCD2: 16 <= obj <= 78 0.00/0.05 c BCD2: #cores=7, #unrelaxed=68, #relaxed=32, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=17 bias=17/18 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 862 0 | 631 | 1263 0.00/0.05 c 0.0s | 0 | 9 | 0 | 862 0 | 631 | 1263 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 9 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to -83 0.00/0.05 c BCD2: 17 <= obj <= 78 0.00/0.05 c BCD2: #cores=8, #unrelaxed=66, #relaxed=34, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=18 bias=18/19 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 862 0 | 631 | 1264 0.00/0.05 c 0.0s | 0 | 9 | 0 | 862 0 | 631 | 1264 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 9 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 6: cost of the new core is >=3 0.00/0.05 c lower bound updated to -82 0.00/0.05 c BCD2: 18 <= obj <= 78 0.00/0.05 c BCD2: #cores=7, #unrelaxed=64, #relaxed=36, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=19 bias=19/20 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 862 0 | 633 | 1264 0.00/0.05 c 0.0s | 0 | 9 | 0 | 862 0 | 633 | 1266 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 9 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to -81 0.00/0.05 c BCD2: 19 <= obj <= 78 0.00/0.05 c BCD2: #cores=8, #unrelaxed=62, #relaxed=38, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=20 bias=20/21 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 862 0 | 633 | 1267 0.00/0.06 c 0.0s | 0 | 10 | 1 | 862 0 | 633 | 1267 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 10 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 2 and merging with 5 cores into a new core of size 23: cost of the new core is >=12 0.00/0.06 c lower bound updated to -80 0.00/0.06 c BCD2: 20 <= obj <= 78 0.00/0.06 c BCD2: #cores=4, #unrelaxed=60, #relaxed=40, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=21 bias=21/22 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 862 0 | 638 | 1267 0.00/0.06 c 0.0s | 0 | 6 | 1 | 862 0 | 638 | 1272 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 6 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 10: cost of the new core is >=5 0.00/0.06 c lower bound updated to -79 0.00/0.06 c BCD2: 21 <= obj <= 78 0.00/0.06 c BCD2: #cores=3, #unrelaxed=58, #relaxed=42, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=22 bias=22/23 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 862 0 | 640 | 1272 0.00/0.06 c 0.0s | 0 | 7 | 0 | 862 0 | 640 | 1274 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 7 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.06 c lower bound updated to -78 0.00/0.06 c BCD2: 22 <= obj <= 78 0.00/0.06 c BCD2: #cores=4, #unrelaxed=56, #relaxed=44, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=23 bias=23/24 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 862 0 | 640 | 1275 0.00/0.06 c 0.0s | 0 | 11 | 1 | 862 0 | 640 | 1275 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 11 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 7 and merging with 3 cores into a new core of size 41: cost of the new core is >=18 0.00/0.06 c lower bound updated to -77 0.00/0.06 c BCD2: 23 <= obj <= 78 0.00/0.06 c BCD2: #cores=2, #unrelaxed=49, #relaxed=51, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=24 bias=24/25 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 862 0 | 643 | 1275 0.00/0.06 c 0.0s | 0 | 3 | 0 | 862 0 | 643 | 1278 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 3 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.06 c lower bound updated to -76 0.00/0.06 c BCD2: 24 <= obj <= 78 0.00/0.06 c BCD2: #cores=3, #unrelaxed=47, #relaxed=53, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=25 bias=25/26 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 862 0 | 643 | 1279 0.00/0.06 c 0.0s | 0 | 6 | 0 | 862 0 | 643 | 1279 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 6 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.06 c lower bound updated to -75 0.00/0.06 c BCD2: 25 <= obj <= 78 0.00/0.06 c BCD2: #cores=4, #unrelaxed=45, #relaxed=55, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=26 bias=26/27 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 862 0 | 643 | 1280 0.00/0.06 c 0.0s | 0 | 7 | 0 | 862 0 | 643 | 1280 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 7 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.06 c lower bound updated to -74 0.00/0.06 c BCD2: 26 <= obj <= 78 0.00/0.06 c BCD2: #cores=5, #unrelaxed=43, #relaxed=57, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=27 bias=27/28 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 862 0 | 643 | 1281 0.00/0.06 c 0.0s | 0 | 9 | 0 | 862 0 | 643 | 1281 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 9 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2 0.00/0.06 c lower bound updated to -73 0.00/0.06 c BCD2: 27 <= obj <= 78 0.00/0.06 c BCD2: #cores=5, #unrelaxed=41, #relaxed=59, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=28 bias=28/29 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 862 0 | 644 | 1281 0.00/0.06 c 0.0s | 0 | 8 | 0 | 862 0 | 644 | 1282 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 8 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.06 c lower bound updated to -72 0.00/0.06 c BCD2: 28 <= obj <= 78 0.00/0.06 c BCD2: #cores=6, #unrelaxed=39, #relaxed=61, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=29 bias=29/30 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 862 0 | 644 | 1283 0.00/0.06 c 0.0s | 0 | 8 | 0 | 862 0 | 644 | 1283 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 8 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 3 and merging with 2 cores into a new core of size 9: cost of the new core is >=4 0.00/0.07 c lower bound updated to -71 0.00/0.07 c BCD2: 29 <= obj <= 78 0.00/0.07 c BCD2: #cores=5, #unrelaxed=36, #relaxed=64, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=30 bias=30/31 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 862 0 | 646 | 1283 0.00/0.07 c 0.0s | 0 | 8 | 0 | 862 0 | 646 | 1285 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 8 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.07 c lower bound updated to -70 0.00/0.07 c BCD2: 30 <= obj <= 78 0.00/0.07 c BCD2: #cores=6, #unrelaxed=34, #relaxed=66, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=31 bias=31/32 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 862 0 | 646 | 1286 0.00/0.07 c 0.0s | 0 | 9 | 0 | 862 0 | 646 | 1286 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 9 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.07 c lower bound updated to -69 0.00/0.07 c BCD2: 31 <= obj <= 78 0.00/0.07 c BCD2: #cores=7, #unrelaxed=32, #relaxed=68, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=32 bias=32/33 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 862 0 | 646 | 1287 0.00/0.07 c 0.0s | 0 | 10 | 0 | 862 0 | 646 | 1287 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 10 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2 0.00/0.07 c lower bound updated to -68 0.00/0.07 c BCD2: 32 <= obj <= 78 0.00/0.07 c BCD2: #cores=7, #unrelaxed=30, #relaxed=70, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=33 bias=33/34 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 862 0 | 647 | 1287 0.00/0.07 c 0.0s | 0 | 16 | 1 | 862 0 | 647 | 1288 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 16 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 1 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.07 c lower bound updated to -67 0.00/0.07 c BCD2: 33 <= obj <= 78 0.00/0.07 c BCD2: #cores=7, #unrelaxed=29, #relaxed=71, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=34 bias=34/35 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 862 0 | 648 | 1288 0.00/0.07 c 0.0s | 0 | 9 | 0 | 862 0 | 648 | 1289 0.00/0.07 c #cpu_time = 0.000s 0.00/0.07 c #wall_clock_time = 0.000s 0.00/0.07 c #decision = 9 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.07 c lower bound updated to -66 0.00/0.07 c BCD2: 34 <= obj <= 78 0.00/0.07 c BCD2: #cores=8, #unrelaxed=27, #relaxed=73, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=35 bias=35/36 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 862 0 | 648 | 1290 0.00/0.07 c 0.0s | 0 | 11 | 0 | 862 0 | 648 | 1290 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 11 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.07 c lower bound updated to -65 0.00/0.07 c BCD2: 35 <= obj <= 78 0.00/0.07 c BCD2: #cores=9, #unrelaxed=25, #relaxed=75, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=36 bias=36/37 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 862 0 | 648 | 1291 0.00/0.07 c 0.0s | 0 | 11 | 0 | 862 0 | 648 | 1291 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 11 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.07 c lower bound updated to -64 0.00/0.07 c BCD2: 36 <= obj <= 78 0.00/0.07 c BCD2: #cores=10, #unrelaxed=23, #relaxed=77, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=37 bias=37/38 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 862 0 | 648 | 1292 0.00/0.07 c 0.0s | 0 | 11 | 0 | 862 0 | 648 | 1292 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 11 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 8: cost of the new core is >=4 0.00/0.07 c lower bound updated to -63 0.00/0.07 c BCD2: 37 <= obj <= 78 0.00/0.07 c BCD2: #cores=9, #unrelaxed=21, #relaxed=79, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=38 bias=38/39 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 862 0 | 650 | 1292 0.00/0.07 c 0.0s | 0 | 12 | 1 | 862 0 | 650 | 1294 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 12 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 1 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.07 c lower bound updated to -62 0.00/0.07 c BCD2: 38 <= obj <= 78 0.00/0.07 c BCD2: #cores=9, #unrelaxed=20, #relaxed=80, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=39 bias=39/40 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 862 0 | 651 | 1294 0.00/0.08 c 0.0s | 0 | 10 | 0 | 862 0 | 651 | 1295 0.00/0.08 c #cpu_time = 0.001s 0.00/0.08 c #wall_clock_time = 0.001s 0.00/0.08 c #decision = 10 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.08 c lower bound updated to -61 0.00/0.08 c BCD2: 39 <= obj <= 78 0.00/0.08 c BCD2: #cores=10, #unrelaxed=18, #relaxed=82, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=40 bias=40/41 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 862 0 | 651 | 1296 0.00/0.08 c 0.0s | 0 | 12 | 0 | 862 0 | 651 | 1296 0.00/0.08 c #cpu_time = 0.001s 0.00/0.08 c #wall_clock_time = 0.001s 0.00/0.08 c #decision = 12 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 6: cost of the new core is >=3 0.00/0.08 c lower bound updated to -60 0.00/0.08 c BCD2: 40 <= obj <= 78 0.00/0.08 c BCD2: #cores=9, #unrelaxed=16, #relaxed=84, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=41 bias=41/42 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 862 0 | 653 | 1296 0.00/0.08 c 0.0s | 0 | 10 | 0 | 862 0 | 653 | 1298 0.00/0.08 c #cpu_time = 0.001s 0.00/0.08 c #wall_clock_time = 0.001s 0.00/0.08 c #decision = 10 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.08 c lower bound updated to -59 0.00/0.08 c BCD2: 41 <= obj <= 78 0.00/0.08 c BCD2: #cores=10, #unrelaxed=14, #relaxed=86, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=42 bias=42/43 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 862 0 | 653 | 1299 0.00/0.08 c 0.0s | 0 | 12 | 1 | 862 0 | 653 | 1299 0.00/0.08 c #cpu_time = 0.001s 0.00/0.08 c #wall_clock_time = 0.001s 0.00/0.08 c #decision = 12 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 1 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: relaxing 2 and merging with 5 cores into a new core of size 17: cost of the new core is >=9 0.00/0.08 c lower bound updated to -58 0.00/0.08 c BCD2: 42 <= obj <= 78 0.00/0.08 c BCD2: #cores=6, #unrelaxed=12, #relaxed=88, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=43 bias=43/44 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 862 0 | 658 | 1299 0.00/0.08 c 0.0s | 0 | 7 | 0 | 862 0 | 658 | 1304 0.00/0.08 c #cpu_time = 0.001s 0.00/0.08 c #wall_clock_time = 0.001s 0.00/0.08 c #decision = 7 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.08 c lower bound updated to -57 0.00/0.08 c BCD2: 43 <= obj <= 78 0.00/0.08 c BCD2: #cores=7, #unrelaxed=10, #relaxed=90, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=44 bias=44/45 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 862 0 | 658 | 1305 0.00/0.08 c 0.0s | 0 | 11 | 1 | 862 0 | 658 | 1305 0.00/0.08 c #cpu_time = 0.001s 0.00/0.08 c #wall_clock_time = 0.001s 0.00/0.08 c #decision = 11 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 1 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: relaxing 3 and merging with 3 cores into a new core of size 16: cost of the new core is >=8 0.00/0.08 c lower bound updated to -56 0.00/0.08 c BCD2: 44 <= obj <= 78 0.00/0.08 c BCD2: #cores=5, #unrelaxed=7, #relaxed=93, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=45 bias=45/46 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 862 0 | 661 | 1305 0.00/0.08 c 0.0s | 0 | 27 | 7 | 862 0 | 661 | 1308 0.00/0.08 c #cpu_time = 0.001s 0.00/0.08 c #wall_clock_time = 0.001s 0.00/0.08 c #decision = 27 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 7 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 20: cost of the new core is >=9 0.00/0.08 c lower bound updated to -55 0.00/0.08 c BCD2: 45 <= obj <= 78 0.00/0.08 c BCD2: #cores=5, #unrelaxed=3, #relaxed=97, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=46 bias=46/47 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 862 0 | 662 | 1308 0.00/0.09 c 0.0s | 0 | 65 | 44 | 862 0 | 663 | 1310 0.00/0.09 c #cpu_time = 0.004s 0.00/0.09 c #wall_clock_time = 0.004s 0.00/0.09 c #decision = 65 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 44 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: updating lower bound of a core 0.00/0.09 c lower bound updated to -54 0.00/0.09 c BCD2: 46 <= obj <= 78 0.00/0.09 c BCD2: #cores=5, #unrelaxed=3, #relaxed=97, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=47 bias=47/48 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 862 0 | 663 | 1311 0.00/0.09 c 0.0s | 0 | 101 | 83 | 949 0 | 663 | 1311 0.00/0.09 c #cpu_time = 0.007s 0.00/0.09 c #wall_clock_time = 0.007s 0.00/0.09 c #decision = 101 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 83 0.00/0.10 c #restart = 0 0.00/0.10 c BCD2: relaxing 3 and merging with 4 cores into a new core of size 83: cost of the new core is >=38 0.00/0.10 c lower bound updated to -53 0.00/0.10 c BCD2: 47 <= obj <= 78 0.00/0.10 c BCD2: #cores=2, #unrelaxed=0, #relaxed=100, #hardened=0 0.00/0.10 c BCD2: #sat=1 #unsat=48 bias=48/49 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 949 0 | 667 | 1311 0.09/0.10 c 0.0s | 0 | 32 | 5 | 949 0 | 667 | 1315 0.09/0.10 c #cpu_time = 0.002s 0.09/0.10 c #wall_clock_time = 0.002s 0.09/0.10 c #decision = 32 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 5 0.09/0.10 c #restart = 0 0.09/0.10 o -23 0.09/0.10 c BCD2: updating upper bound: 78 -> 76 0.09/0.10 c BCD2: 47 <= obj <= 76 0.09/0.10 c BCD2: #cores=2, #unrelaxed=0, #relaxed=100, #hardened=0 0.09/0.10 c BCD2: #sat=2 #unsat=48 bias=48/50 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 949 0 | 667 | 1316 0.09/0.12 c 0.0s | 1 | 141 | 100 | 949 0 | 667 | 1316 0.09/0.15 c 0.0s | 2 | 363 | 250 | 1044 0 | 667 | 1316 0.19/0.20 c 0.1s | 3 | 646 | 475 | 1149 0 | 667 | 1316 0.19/0.29 c 0.2s | 4 | 1060 | 813 | 1264 0 | 667 | 1316 0.39/0.44 c 0.3s | 5 | 1672 | 1320 | 1391 0 | 667 | 1316 0.59/0.68 c 0.6s | 6 | 2520 | 2081 | 1531 0 | 667 | 1316 0.89/0.97 c 0.9s | 7 | 3747 | 3223 | 1685 1 | 667 | 1316 1.39/1.48 c 1.4s | 8 | 5603 | 4936 | 1854 2 | 667 | 1316 1.99/2.09 c 2.0s | 9 | 8314 | 7506 | 2040 4 | 667 | 1316 2.99/3.05 c 2.9s | 10 | 12347 | 11361 | 2244 7 | 667 | 1316 4.49/4.57 c 4.5s | 11 | 18438 | 17144 | 2469 11 | 667 | 1316 6.49/6.59 c 6.5s | 11 | 26351 | 24644 | 2469 15 | 667 | 1316 6.89/6.93 c 6.8s | 12 | 27564 | 25819 | 2716 16 | 667 | 1316 8.89/8.95 c 8.9s | 12 | 35438 | 33319 | 2716 20 | 667 | 1316 10.58/10.60 c 10.5s | 13 | 41213 | 38832 | 2988 23 | 667 | 1316 12.58/12.60 c 12.5s | 13 | 48344 | 45632 | 2988 27 | 667 | 1316 14.58/14.63 c 14.5s | 13 | 55805 | 52632 | 2988 31 | 667 | 1316 16.28/16.34 c 16.2s | 14 | 61679 | 58352 | 3287 34 | 667 | 1316 18.28/18.37 c 18.3s | 14 | 68616 | 65052 | 3287 37 | 667 | 1316 20.28/20.38 c 20.3s | 14 | 75210 | 71452 | 3287 40 | 667 | 1316 22.39/22.41 c 22.3s | 14 | 82425 | 78352 | 3287 44 | 667 | 1316 24.39/24.43 c 24.3s | 14 | 89178 | 84852 | 3287 47 | 667 | 1316 25.19/25.27 c 25.2s | 15 | 92073 | 87632 | 3616 48 | 667 | 1316 27.19/27.29 c 27.2s | 15 | 98603 | 93932 | 3616 51 | 667 | 1316 29.29/29.31 c 29.2s | 15 | 105226 | 100232 | 3616 54 | 667 | 1316 31.29/31.32 c 31.2s | 15 | 111955 | 106832 | 3616 57 | 667 | 1316 33.29/33.33 c 33.2s | 15 | 118395 | 113032 | 3616 60 | 667 | 1316 35.29/35.35 c 35.3s | 15 | 124846 | 119232 | 3616 63 | 667 | 1316 37.29/37.38 c 37.3s | 15 | 131350 | 125532 | 3616 66 | 667 | 1316 39.19/39.26 c 39.2s | 16 | 137489 | 131552 | 3978 68 | 667 | 1316 41.18/41.27 c 41.2s | 16 | 143243 | 137052 | 3978 71 | 667 | 1316 43.18/43.28 c 43.2s | 16 | 149378 | 142952 | 3978 73 | 667 | 1316 45.19/45.29 c 45.2s | 16 | 154999 | 148452 | 3978 75 | 667 | 1316 47.29/47.32 c 47.2s | 16 | 161323 | 154652 | 3978 78 | 667 | 1316 49.28/49.33 c 49.2s | 16 | 167303 | 160452 | 3978 81 | 667 | 1316 51.28/51.33 c 51.2s | 16 | 173633 | 166652 | 3978 83 | 667 | 1316 53.28/53.38 c 53.3s | 16 | 179437 | 172252 | 3978 86 | 667 | 1316 55.38/55.40 c 55.3s | 16 | 185879 | 178552 | 3978 88 | 667 | 1316 57.38/57.42 c 57.3s | 16 | 191927 | 184452 | 3978 91 | 667 | 1316 59.39/59.44 c 59.3s | 16 | 198077 | 190452 | 3978 93 | 667 | 1316 61.38/61.46 c 61.4s | 16 | 204069 | 196252 | 4376 96 | 667 | 1316 61.78/61.83 c 61.7s | 17 | 205289 | 197432 | 4376 96 | 667 | 1316 63.79/63.84 c 63.7s | 17 | 210955 | 202932 | 4376 98 | 667 | 1316 65.78/65.86 c 65.8s | 17 | 216936 | 208732 | 4376 100 | 667 | 1316 67.78/67.88 c 67.8s | 17 | 222500 | 214132 | 4376 103 | 667 | 1316 69.88/69.90 c 69.8s | 17 | 228475 | 219832 | 4376 105 | 667 | 1316 71.88/71.92 c 71.8s | 17 | 234240 | 225432 | 4376 107 | 667 | 1316 73.88/73.93 c 73.8s | 17 | 239904 | 230832 | 4376 109 | 667 | 1316 75.88/75.93 c 75.8s | 17 | 245136 | 235932 | 4376 111 | 667 | 1316 77.88/77.97 c 77.9s | 17 | 250976 | 241632 | 4376 113 | 667 | 1316 79.98/80.02 c 79.9s | 17 | 256423 | 246932 | 4376 115 | 667 | 1316 81.98/82.03 c 81.9s | 17 | 261996 | 252232 | 4376 118 | 667 | 1316 83.97/84.04 c 83.9s | 17 | 267558 | 257532 | 4376 120 | 667 | 1316 85.97/86.05 c 86.0s | 17 | 272954 | 262732 | 4376 122 | 667 | 1316 87.98/88.06 c 88.0s | 17 | 278593 | 268232 | 4376 124 | 667 | 1316 89.97/90.08 c 90.0s | 17 | 284359 | 273832 | 4376 126 | 667 | 1316 91.97/92.08 c 92.0s | 17 | 290134 | 279432 | 4376 128 | 667 | 1316 94.07/94.10 c 94.0s | 17 | 295588 | 284732 | 4376 130 | 667 | 1316 96.07/96.11 c 96.0s | 17 | 300956 | 290032 | 4376 132 | 667 | 1316 98.07/98.14 c 98.0s | 17 | 306661 | 295532 | 4814 134 | 667 | 1316 98.37/98.49 c 98.4s | 18 | 307393 | 296252 | 4814 135 | 667 | 1316 100.47/100.52 c 100s | 18 | 312640 | 301352 | 4814 136 | 667 | 1316 102.47/102.55 c 102s | 18 | 318034 | 306652 | 4814 138 | 667 | 1316 104.47/104.56 c 104s | 18 | 323657 | 312152 | 4814 140 | 667 | 1316 106.47/106.59 c 106s | 18 | 329000 | 317352 | 4814 142 | 667 | 1316 108.57/108.63 c 108s | 18 | 334981 | 323152 | 4814 144 | 667 | 1316 110.57/110.66 c 110s | 18 | 340738 | 328752 | 4814 146 | 667 | 1316 112.58/112.67 c 112s | 18 | 346927 | 334652 | 4814 148 | 667 | 1316 114.68/114.70 c 114s | 18 | 352077 | 339552 | 4814 150 | 667 | 1316 116.68/116.73 c 116s | 18 | 357714 | 344952 | 4814 152 | 667 | 1316 118.68/118.73 c 118s | 18 | 363209 | 350252 | 4814 154 | 667 | 1316 120.67/120.75 c 120s | 18 | 368131 | 355052 | 4814 156 | 667 | 1316 122.67/122.76 c 122s | 18 | 373357 | 360152 | 4814 158 | 667 | 1316 124.67/124.77 c 124s | 18 | 378802 | 365452 | 4814 159 | 667 | 1316 126.67/126.79 c 126s | 18 | 384279 | 370752 | 4814 161 | 667 | 1316 128.68/128.79 c 128s | 18 | 389426 | 375752 | 4814 163 | 667 | 1316 130.77/130.82 c 130s | 18 | 394976 | 381052 | 4814 165 | 667 | 1316 132.77/132.84 c 132s | 18 | 400408 | 386252 | 4814 167 | 667 | 1316 134.77/134.85 c 134s | 18 | 405736 | 391352 | 4814 169 | 667 | 1316 136.77/136.87 c 136s | 18 | 411341 | 396752 | 4814 171 | 667 | 1316 138.77/138.89 c 138s | 18 | 416811 | 402052 | 4814 173 | 667 | 1316 140.87/140.94 c 140s | 18 | 422446 | 407452 | 4814 175 | 667 | 1316 142.87/142.96 c 142s | 18 | 428131 | 412952 | 4814 177 | 667 | 1316 144.87/144.96 c 144s | 18 | 433450 | 418152 | 4814 178 | 667 | 1316 146.86/146.97 c 146s | 18 | 439142 | 423652 | 4814 180 | 667 | 1316 148.86/148.97 c 148s | 18 | 444616 | 428852 | 4814 182 | 667 | 1316 150.86/150.97 c 150s | 18 | 450457 | 434452 | 4814 184 | 667 | 1316 152.87/153.00 c 152s | 18 | 455631 | 439452 | 4814 186 | 667 | 1316 154.96/155.02 c 154s | 18 | 460764 | 444352 | 5296 188 | 667 | 1316 154.96/155.07 c 154s | 19 | 460891 | 444482 | 5296 188 | 667 | 1316 156.96/157.08 c 156s | 19 | 466223 | 449482 | 5296 189 | 667 | 1316 158.96/159.09 c 158s | 19 | 471444 | 454582 | 5296 191 | 667 | 1316 161.06/161.10 c 160s | 19 | 475936 | 458982 | 5296 193 | 667 | 1316 163.06/163.12 c 163s | 19 | 481258 | 464182 | 5296 194 | 667 | 1316 165.07/165.13 c 165s | 19 | 486161 | 468982 | 5296 196 | 667 | 1316 167.07/167.15 c 167s | 19 | 492025 | 474582 | 5296 198 | 667 | 1316 169.16/169.22 c 169s | 19 | 497717 | 479982 | 5296 200 | 667 | 1316 171.16/171.24 c 171s | 19 | 503393 | 485282 | 5296 201 | 667 | 1316 173.16/173.25 c 173s | 19 | 508890 | 490482 | 5296 203 | 667 | 1316 175.16/175.27 c 175s | 19 | 514269 | 495582 | 5296 205 | 667 | 1316 177.17/177.29 c 177s | 19 | 520111 | 501082 | 5296 207 | 667 | 1316 179.16/179.30 c 179s | 19 | 525253 | 505982 | 5296 208 | 667 | 1316 181.26/181.30 c 181s | 19 | 530040 | 510582 | 5296 210 | 667 | 1316 183.26/183.34 c 183s | 19 | 535314 | 515582 | 5296 211 | 667 | 1316 185.26/185.37 c 185s | 19 | 540489 | 520582 | 5296 213 | 667 | 1316 187.36/187.40 c 187s | 19 | 546021 | 525882 | 5296 215 | 667 | 1316 189.36/189.42 c 189s | 19 | 550920 | 530582 | 5296 216 | 667 | 1316 191.36/191.43 c 191s | 19 | 555893 | 535382 | 5296 218 | 667 | 1316 193.36/193.46 c 193s | 19 | 560783 | 540182 | 5296 219 | 667 | 1316 195.36/195.49 c 195s | 19 | 565536 | 544882 | 5296 221 | 667 | 1316 197.46/197.55 c 197s | 19 | 570137 | 549382 | 5296 223 | 667 | 1316 199.46/199.56 c 199s | 19 | 575313 | 554382 | 5296 224 | 667 | 1316 201.46/201.58 c 201s | 19 | 580443 | 559282 | 5296 226 | 667 | 1316 203.46/203.59 c 203s | 19 | 585675 | 564282 | 5296 227 | 667 | 1316 205.56/205.61 c 205s | 19 | 590750 | 569082 | 5296 229 | 667 | 1316 207.56/207.62 c 207s | 19 | 596049 | 574182 | 5296 231 | 667 | 1316 209.56/209.63 c 209s | 19 | 601127 | 579082 | 5296 232 | 667 | 1316 211.55/211.64 c 211s | 19 | 606233 | 583982 | 5296 234 | 667 | 1316 213.55/213.65 c 213s | 19 | 610892 | 588482 | 5296 235 | 667 | 1316 215.56/215.66 c 215s | 19 | 616035 | 593382 | 5296 237 | 667 | 1316 217.55/217.66 c 217s | 19 | 620868 | 598082 | 5296 239 | 667 | 1316 219.55/219.69 c 219s | 19 | 626127 | 603182 | 5296 240 | 667 | 1316 221.65/221.74 c 221s | 19 | 631586 | 608482 | 5296 242 | 667 | 1316 223.65/223.77 c 223s | 19 | 636671 | 613382 | 5296 244 | 667 | 1316 225.65/225.77 c 225s | 19 | 641840 | 618282 | 5296 245 | 667 | 1316 227.66/227.78 c 227s | 19 | 647085 | 623382 | 5296 247 | 667 | 1316 229.75/229.80 c 229s | 19 | 652310 | 628382 | 5296 249 | 667 | 1316 231.75/231.83 c 231s | 19 | 657273 | 633182 | 5296 250 | 667 | 1316 233.75/233.85 c 233s | 19 | 663035 | 638782 | 5296 252 | 667 | 1316 235.76/235.89 c 235s | 19 | 667984 | 643582 | 5296 254 | 667 | 1316 237.76/237.89 c 237s | 19 | 673307 | 648782 | 5296 255 | 667 | 1316 239.76/239.90 c 239s | 19 | 678400 | 653682 | 5296 257 | 667 | 1316 241.86/241.90 c 241s | 19 | 683422 | 658582 | 5296 259 | 667 | 1316 243.85/243.92 c 243s | 19 | 688421 | 663482 | 5826 260 | 667 | 1316 245.15/245.26 c 245s | 20 | 691882 | 666827 | 5826 261 | 667 | 1316 247.15/247.27 c 247s | 20 | 697171 | 671927 | 5826 263 | 667 | 1316 249.15/249.27 c 249s | 20 | 702580 | 677127 | 5826 264 | 667 | 1316 251.25/251.31 c 251s | 20 | 707963 | 682327 | 5826 266 | 667 | 1316 253.25/253.31 c 253s | 20 | 713357 | 687527 | 5826 268 | 667 | 1316 255.26/255.33 c 255s | 20 | 718377 | 692327 | 5826 269 | 667 | 1316 257.25/257.37 c 257s | 20 | 723496 | 697227 | 5826 270 | 667 | 1316 259.35/259.40 c 259s | 20 | 729097 | 702527 | 5826 272 | 667 | 1316 261.34/261.40 c 261s | 20 | 734312 | 707427 | 5826 274 | 667 | 1316 263.35/263.44 c 263s | 20 | 739847 | 712627 | 5826 275 | 667 | 1316 265.35/265.46 c 265s | 20 | 744546 | 717127 | 5826 277 | 667 | 1316 267.45/267.51 c 267s | 20 | 750061 | 722427 | 5826 278 | 667 | 1316 269.46/269.51 c 269s | 20 | 754996 | 727127 | 5826 280 | 667 | 1316 271.45/271.55 c 271s | 20 | 759964 | 731927 | 5826 281 | 667 | 1316 273.45/273.55 c 273s | 20 | 764617 | 736427 | 5826 282 | 667 | 1316 275.45/275.57 c 275s | 20 | 769711 | 741427 | 5826 284 | 667 | 1316 277.45/277.57 c 277s | 20 | 774295 | 745927 | 5826 285 | 667 | 1316 279.46/279.59 c 279s | 20 | 779390 | 750827 | 5826 287 | 667 | 1316 281.56/281.64 c 281s | 20 | 784301 | 755627 | 5826 288 | 667 | 1316 283.55/283.64 c 283s | 20 | 788720 | 759927 | 5826 290 | 667 | 1316 285.55/285.68 c 285s | 20 | 793972 | 765027 | 5826 291 | 667 | 1316 287.65/287.78 c 287s | 20 | 798634 | 769427 | 5826 292 | 667 | 1316 289.75/289.81 c 289s | 20 | 803481 | 774127 | 5826 294 | 667 | 1316 291.75/291.82 c 291s | 20 | 808029 | 778527 | 5826 295 | 667 | 1316 293.75/293.83 c 293s | 20 | 812716 | 783127 | 5826 297 | 667 | 1316 295.75/295.88 c 295s | 20 | 817936 | 788227 | 5826 298 | 667 | 1316 297.84/297.91 c 297s | 20 | 822641 | 792827 | 5826 300 | 667 | 1316 299.84/299.93 c 299s | 20 | 827816 | 797827 | 5826 301 | 667 | 1316 301.84/301.96 c 301s | 20 | 832631 | 802427 | 5826 303 | 667 | 1316 303.84/303.97 c 303s | 20 | 837787 | 807427 | 5826 304 | 667 | 1316 305.85/305.98 c 305s | 20 | 842945 | 812427 | 5826 306 | 667 | 1316 307.84/307.98 c 307s | 20 | 848488 | 817727 | 5826 307 | 667 | 1316 309.94/310.01 c 309s | 20 | 853565 | 822627 | 5826 309 | 667 | 1316 311.94/312.04 c 311s | 20 | 858863 | 827727 | 5826 310 | 667 | 1316 313.94/314.06 c 313s | 20 | 863928 | 832627 | 5826 312 | 667 | 1316 315.94/316.08 c 315s | 20 | 869141 | 837627 | 5826 313 | 667 | 1316 317.94/318.09 c 317s | 20 | 874567 | 842827 | 5826 315 | 667 | 1316 320.04/320.11 c 320s | 20 | 879690 | 847727 | 5826 316 | 667 | 1316 322.04/322.12 c 322s | 20 | 883722 | 851627 | 5826 318 | 667 | 1316 324.04/324.13 c 324s | 20 | 888789 | 856527 | 5826 319 | 667 | 1316 326.04/326.17 c 326s | 20 | 893774 | 861327 | 5826 320 | 667 | 1316 328.04/328.18 c 328s | 20 | 898661 | 866027 | 5826 322 | 667 | 1316 330.13/330.20 c 330s | 20 | 903799 | 871027 | 5826 323 | 667 | 1316 332.14/332.27 c 332s | 20 | 908678 | 875727 | 5826 325 | 667 | 1316 334.23/334.30 c 334s | 20 | 913865 | 880727 | 5826 326 | 667 | 1316 336.23/336.31 c 336s | 20 | 918954 | 885527 | 5826 328 | 667 | 1316 338.23/338.33 c 338s | 20 | 923432 | 889827 | 5826 329 | 667 | 1316 340.24/340.34 c 340s | 20 | 928459 | 894627 | 5826 331 | 667 | 1316 342.24/342.34 c 342s | 20 | 932969 | 899027 | 5826 332 | 667 | 1316 344.25/344.37 c 344s | 20 | 937364 | 903327 | 5826 333 | 667 | 1316 346.24/346.39 c 346s | 20 | 942039 | 907927 | 5826 335 | 667 | 1316 348.34/348.40 c 348s | 20 | 946708 | 912427 | 5826 336 | 667 | 1316 350.34/350.42 c 350s | 20 | 951327 | 916927 | 5826 337 | 667 | 1316 352.34/352.45 c 352s | 20 | 956110 | 921427 | 5826 339 | 667 | 1316 354.34/354.48 c 354s | 20 | 961244 | 926327 | 5826 340 | 667 | 1316 356.44/356.51 c 356s | 20 | 965985 | 930927 | 5826 342 | 667 | 1316 358.43/358.53 c 358s | 20 | 970625 | 935427 | 5826 343 | 667 | 1316 360.43/360.58 c 360s | 20 | 975247 | 939927 | 5826 344 | 667 | 1316 362.43/362.59 c 362s | 20 | 980088 | 944627 | 5826 346 | 667 | 1316 364.53/364.61 c 364s | 20 | 984791 | 949227 | 5826 347 | 667 | 1316 366.53/366.64 c 366s | 20 | 990062 | 954327 | 5826 349 | 667 | 1316 368.54/368.66 c 368s | 20 | 994782 | 958927 | 5826 350 | 667 | 1316 370.53/370.67 c 370s | 20 | 999664 | 963627 | 5826 352 | 667 | 1316 372.63/372.71 c 372s | 20 | 1004451 | 968327 | 5826 353 | 667 | 1316 374.63/374.73 c 374s | 20 | 1009105 | 972827 | 5826 354 | 667 | 1316 376.63/376.76 c 376s | 20 | 1013872 | 977427 | 5826 356 | 667 | 1316 378.63/378.79 c 378s | 20 | 1018915 | 982227 | 5826 357 | 667 | 1316 380.73/380.81 c 380s | 20 | 1024254 | 987327 | 5826 359 | 667 | 1316 382.73/382.85 c 382s | 20 | 1029293 | 992227 | 5826 360 | 667 | 1316 384.72/384.87 c 384s | 20 | 1033930 | 996727 | 6409 362 | 667 | 1316 386.22/386.39 c 386s | 21 | 1037619 | 1000345 | 6409 363 | 667 | 1316 388.33/388.40 c 388s | 21 | 1042069 | 1004645 | 6409 364 | 667 | 1316 390.33/390.42 c 390s | 21 | 1046399 | 1008845 | 6409 365 | 667 | 1316 392.33/392.42 c 392s | 21 | 1050777 | 1013045 | 6409 366 | 667 | 1316 394.33/394.44 c 394s | 21 | 1055119 | 1017245 | 6409 367 | 667 | 1316 396.43/396.52 c 396s | 21 | 1059589 | 1021545 | 6409 369 | 667 | 1316 398.43/398.55 c 398s | 21 | 1064747 | 1026445 | 6409 370 | 667 | 1316 400.44/400.56 c 400s | 21 | 1068892 | 1030445 | 6409 371 | 667 | 1316 402.43/402.58 c 402s | 21 | 1073533 | 1034945 | 6409 372 | 667 | 1316 404.53/404.61 c 404s | 21 | 1078080 | 1039345 | 6409 373 | 667 | 1316 406.53/406.62 c 406s | 21 | 1082729 | 1043745 | 6409 375 | 667 | 1316 408.52/408.62 c 408s | 21 | 1087588 | 1048445 | 6409 376 | 667 | 1316 410.52/410.64 c 410s | 21 | 1092724 | 1053345 | 6409 377 | 667 | 1316 412.53/412.66 c 412s | 21 | 1097471 | 1057945 | 6409 379 | 667 | 1316 414.52/414.67 c 414s | 21 | 1101843 | 1062145 | 6409 380 | 667 | 1316 416.52/416.68 c 416s | 21 | 1106530 | 1066645 | 6409 381 | 667 | 1316 418.62/418.71 c 418s | 21 | 1110988 | 1070945 | 6409 382 | 667 | 1316 420.63/420.74 c 420s | 21 | 1115303 | 1075145 | 6409 384 | 667 | 1316 422.63/422.77 c 422s | 21 | 1119834 | 1079545 | 6409 385 | 667 | 1316 424.63/424.77 c 424s | 21 | 1124803 | 1084345 | 6409 386 | 667 | 1316 426.73/426.81 c 426s | 21 | 1129448 | 1088845 | 6409 387 | 667 | 1316 428.73/428.83 c 428s | 21 | 1133991 | 1093245 | 6409 389 | 667 | 1316 430.72/430.84 c 430s | 21 | 1138665 | 1097745 | 6409 390 | 667 | 1316 432.72/432.86 c 432s | 21 | 1143344 | 1102245 | 6409 391 | 667 | 1316 434.72/434.86 c 434s | 21 | 1148488 | 1107045 | 6409 392 | 667 | 1316 436.82/436.92 c 436s | 21 | 1153651 | 1111945 | 6409 394 | 667 | 1316 438.83/438.93 c 438s | 21 | 1157811 | 1115945 | 6409 395 | 667 | 1316 440.82/440.95 c 440s | 21 | 1162229 | 1120245 | 6409 396 | 667 | 1316 442.82/442.99 c 442s | 21 | 1166616 | 1124545 | 6409 397 | 667 | 1316 444.92/445.05 c 444s | 21 | 1170929 | 1128745 | 6409 399 | 667 | 1316 446.92/447.06 c 446s | 21 | 1175675 | 1133345 | 6409 400 | 667 | 1316 448.92/449.08 c 448s | 21 | 1180813 | 1138245 | 6409 401 | 667 | 1316 451.02/451.12 c 451s | 21 | 1185289 | 1142545 | 6409 402 | 667 | 1316 453.02/453.12 c 453s | 21 | 1189565 | 1146645 | 6409 404 | 667 | 1316 455.01/455.15 c 455s | 21 | 1194178 | 1151045 | 6409 405 | 667 | 1316 457.01/457.16 c 457s | 21 | 1198557 | 1155245 | 6409 406 | 667 | 1316 459.11/459.21 c 459s | 21 | 1202814 | 1159245 | 6409 407 | 667 | 1316 461.11/461.26 c 461s | 21 | 1207540 | 1163645 | 6409 408 | 667 | 1316 463.22/463.30 c 463s | 21 | 1211905 | 1167845 | 6409 409 | 667 | 1316 465.23/465.32 c 465s | 21 | 1216548 | 1172345 | 6409 411 | 667 | 1316 467.22/467.34 c 467s | 21 | 1221130 | 1176745 | 6409 412 | 667 | 1316 469.22/469.37 c 469s | 21 | 1225789 | 1181145 | 6409 413 | 667 | 1316 471.22/471.37 c 471s | 21 | 1230444 | 1185545 | 6409 414 | 667 | 1316 473.32/473.41 c 473s | 21 | 1235064 | 1189945 | 6409 416 | 667 | 1316 475.31/475.44 c 475s | 21 | 1240097 | 1194745 | 6409 417 | 667 | 1316 477.32/477.46 c 477s | 21 | 1244694 | 1199145 | 6409 418 | 667 | 1316 479.31/479.49 c 479s | 21 | 1249352 | 1203545 | 6409 419 | 667 | 1316 481.41/481.52 c 481s | 21 | 1254030 | 1208045 | 6409 421 | 667 | 1316 483.41/483.53 c 483s | 21 | 1258380 | 1212245 | 6409 422 | 667 | 1316 485.41/485.56 c 485s | 21 | 1262890 | 1216645 | 6409 423 | 667 | 1316 487.41/487.57 c 487s | 21 | 1267183 | 1220845 | 6409 424 | 667 | 1316 489.52/489.66 c 489s | 21 | 1271596 | 1225145 | 6409 426 | 667 | 1316 491.51/491.67 c 491s | 21 | 1276147 | 1229545 | 6409 427 | 667 | 1316 493.61/493.71 c 493s | 21 | 1280954 | 1234245 | 6409 428 | 667 | 1316 495.61/495.75 c 495s | 21 | 1285469 | 1238645 | 6409 429 | 667 | 1316 497.61/497.75 c 497s | 21 | 1289863 | 1242845 | 6409 430 | 667 | 1316 499.61/499.78 c 499s | 21 | 1294492 | 1247345 | 6409 432 | 667 | 1316 501.71/501.81 c 501s | 21 | 1299029 | 1251645 | 6409 433 | 667 | 1316 503.71/503.81 c 503s | 21 | 1303967 | 1256445 | 6409 434 | 667 | 1316 505.72/505.83 c 505s | 21 | 1308235 | 1260645 | 6409 435 | 667 | 1316 507.71/507.85 c 507s | 21 | 1312700 | 1264945 | 6409 437 | 667 | 1316 509.71/509.86 c 509s | 21 | 1316594 | 1268545 | 6409 438 | 667 | 1316 511.71/511.89 c 511s | 21 | 1321092 | 1272845 | 6409 439 | 667 | 1316 513.81/513.90 c 513s | 21 | 1325511 | 1277045 | 6409 440 | 667 | 1316 515.82/515.93 c 515s | 21 | 1330407 | 1281745 | 6409 441 | 667 | 1316 517.81/517.99 c 517s | 21 | 1334731 | 1285945 | 6409 443 | 667 | 1316 519.91/520.02 c 519s | 21 | 1339270 | 1290345 | 6409 444 | 667 | 1316 521.91/522.05 c 521s | 21 | 1343923 | 1294845 | 6409 445 | 667 | 1316 523.91/524.05 c 523s | 21 | 1348359 | 1299145 | 6409 446 | 667 | 1316 526.01/526.14 c 526s | 21 | 1353067 | 1303745 | 6409 448 | 667 | 1316 528.01/528.15 c 528s | 21 | 1357205 | 1307745 | 6409 449 | 667 | 1316 530.00/530.16 c 530s | 21 | 1362731 | 1313045 | 6409 450 | 667 | 1316 532.01/532.18 c 532s | 21 | 1366524 | 1316745 | 6409 451 | 667 | 1316 534.11/534.23 c 534s | 21 | 1371176 | 1321245 | 6409 452 | 667 | 1316 536.11/536.24 c 536s | 21 | 1376175 | 1326045 | 6409 454 | 667 | 1316 538.11/538.26 c 538s | 21 | 1380905 | 1330645 | 6409 455 | 667 | 1316 540.12/540.28 c 540s | 21 | 1385310 | 1334845 | 6409 456 | 667 | 1316 542.22/542.32 c 542s | 21 | 1389759 | 1339145 | 6409 457 | 667 | 1316 544.21/544.35 c 544s | 21 | 1394301 | 1343545 | 6409 459 | 667 | 1316 546.21/546.39 c 546s | 21 | 1399015 | 1348145 | 6409 460 | 667 | 1316 548.31/548.41 c 548s | 21 | 1403983 | 1352945 | 6409 461 | 667 | 1316 550.31/550.42 c 550s | 21 | 1408330 | 1357145 | 6409 462 | 667 | 1316 552.31/552.45 c 552s | 21 | 1412321 | 1361045 | 6409 464 | 667 | 1316 554.31/554.45 c 554s | 21 | 1417306 | 1365845 | 6409 465 | 667 | 1316 556.30/556.47 c 556s | 21 | 1421464 | 1369845 | 6409 466 | 667 | 1316 558.40/558.53 c 558s | 21 | 1426452 | 1374645 | 6409 467 | 667 | 1316 560.40/560.56 c 560s | 21 | 1431690 | 1379745 | 6409 469 | 667 | 1316 562.40/562.57 c 562s | 21 | 1436331 | 1384245 | 6409 470 | 667 | 1316 564.40/564.59 c 564s | 21 | 1440508 | 1388245 | 6409 471 | 667 | 1316 566.51/566.63 c 566s | 21 | 1445359 | 1392945 | 6409 472 | 667 | 1316 568.50/568.65 c 568s | 21 | 1449786 | 1397245 | 6409 474 | 667 | 1316 570.50/570.65 c 570s | 21 | 1454652 | 1401945 | 6409 475 | 667 | 1316 572.50/572.68 c 572s | 21 | 1460003 | 1407145 | 6409 476 | 667 | 1316 574.50/574.69 c 574s | 21 | 1465148 | 1412145 | 6409 478 | 667 | 1316 576.60/576.71 c 576s | 21 | 1470911 | 1417645 | 6409 479 | 667 | 1316 578.60/578.73 c 578s | 21 | 1475530 | 1422145 | 6409 481 | 667 | 1316 580.60/580.74 c 580s | 21 | 1481001 | 1427445 | 6409 482 | 667 | 1316 582.60/582.77 c 582s | 21 | 1485484 | 1431845 | 6409 483 | 667 | 1316 584.60/584.79 c 584s | 21 | 1489792 | 1436045 | 6409 485 | 667 | 1316 586.70/586.81 c 586s | 21 | 1494510 | 1440645 | 6409 486 | 667 | 1316 588.70/588.85 c 588s | 21 | 1499383 | 1445345 | 6409 487 | 667 | 1316 590.71/590.87 c 590s | 21 | 1503918 | 1449745 | 6409 488 | 667 | 1316 592.70/592.87 c 592s | 21 | 1508150 | 1453845 | 6409 490 | 667 | 1316 594.70/594.87 c 594s | 21 | 1512970 | 1458545 | 6409 491 | 667 | 1316 596.80/596.91 c 596s | 21 | 1517158 | 1462645 | 6409 492 | 667 | 1316 598.80/598.91 c 598s | 21 | 1521776 | 1467145 | 6409 493 | 667 | 1316 600.80/600.96 c 600s | 21 | 1526392 | 1471645 | 6409 495 | 667 | 1316 602.90/603.04 c 602s | 21 | 1531213 | 1476345 | 6409 496 | 667 | 1316 604.90/605.04 c 604s | 21 | 1535917 | 1480945 | 6409 497 | 667 | 1316 606.89/607.09 c 606s | 21 | 1540427 | 1485345 | 6409 498 | 667 | 1316 608.99/609.10 c 609s | 21 | 1544927 | 1489745 | 6409 500 | 667 | 1316 610.99/611.13 c 611s | 21 | 1549446 | 1494145 | 7050 501 | 667 | 1316 612.99/613.17 c 613s | 21 | 1554262 | 1498745 | 7050 502 | 667 | 1316 613.89/614.04 c 613s | 22 | 1556214 | 1500622 | 7050 502 | 667 | 1316 615.90/616.07 c 615s | 22 | 1560438 | 1504722 | 7050 503 | 667 | 1316 617.89/618.09 c 617s | 22 | 1565074 | 1509222 | 7050 504 | 667 | 1316 619.99/620.19 c 620s | 22 | 1569235 | 1513222 | 7050 506 | 667 | 1316 622.09/622.23 c 622s | 22 | 1574330 | 1518122 | 7050 507 | 667 | 1316 624.09/624.26 c 624s | 22 | 1579010 | 1522622 | 7050 508 | 667 | 1316 626.09/626.27 c 626s | 22 | 1582292 | 1525822 | 7050 509 | 667 | 1316 628.19/628.30 c 628s | 22 | 1586270 | 1529722 | 7050 510 | 667 | 1316 630.19/630.31 c 630s | 22 | 1590169 | 1533522 | 7050 511 | 667 | 1316 632.19/632.35 c 632s | 22 | 1594444 | 1537722 | 7050 512 | 667 | 1316 634.19/634.38 c 634s | 22 | 1598829 | 1542022 | 7050 513 | 667 | 1316 636.19/636.39 c 636s | 22 | 1603207 | 1546322 | 7050 514 | 667 | 1316 638.29/638.41 c 638s | 22 | 1607516 | 1550522 | 7050 515 | 667 | 1316 640.29/640.42 c 640s | 22 | 1611578 | 1554522 | 7050 516 | 667 | 1316 642.30/642.45 c 642s | 22 | 1616517 | 1559322 | 7050 517 | 667 | 1316 644.29/644.46 c 644s | 22 | 1620385 | 1563122 | 7050 518 | 667 | 1316 646.29/646.47 c 646s | 22 | 1624786 | 1567422 | 7050 519 | 667 | 1316 648.29/648.47 c 648s | 22 | 1628905 | 1571422 | 7050 520 | 667 | 1316 650.39/650.51 c 650s | 22 | 1633025 | 1575422 | 7050 521 | 667 | 1316 652.49/652.60 c 652s | 22 | 1637148 | 1579422 | 7050 523 | 667 | 1316 654.39/654.60 c 654s | 22 | 1641255 | 1583422 | 7050 524 | 667 | 1316 656.49/656.61 c 656s | 22 | 1645520 | 1587522 | 7050 525 | 667 | 1316 658.49/658.63 c 658s | 22 | 1650379 | 1592222 | 7050 526 | 667 | 1316 660.49/660.67 c 660s | 22 | 1654558 | 1596222 | 7050 527 | 667 | 1316 662.49/662.69 c 662s | 22 | 1658635 | 1600122 | 7050 528 | 667 | 1316 664.58/664.70 c 664s | 22 | 1662543 | 1603922 | 7050 529 | 667 | 1316 666.59/666.72 c 666s | 22 | 1667403 | 1608522 | 7050 530 | 667 | 1316 668.58/668.76 c 668s | 22 | 1671657 | 1612722 | 7050 531 | 667 | 1316 670.68/670.80 c 670s | 22 | 1675882 | 1616822 | 7050 532 | 667 | 1316 672.68/672.84 c 672s | 22 | 1679674 | 1620522 | 7050 533 | 667 | 1316 674.69/674.87 c 674s | 22 | 1683930 | 1624522 | 7050 534 | 667 | 1316 676.69/676.88 c 676s | 22 | 1688112 | 1628522 | 7050 535 | 667 | 1316 678.79/678.93 c 678s | 22 | 1692342 | 1632522 | 7050 536 | 667 | 1316 680.79/680.94 c 680s | 22 | 1696824 | 1636822 | 7050 537 | 667 | 1316 682.78/682.98 c 682s | 22 | 1701270 | 1641122 | 7050 538 | 667 | 1316 684.88/685.06 c 684s | 22 | 1705812 | 1645522 | 7050 540 | 667 | 1316 686.88/687.07 c 686s | 22 | 1710254 | 1649822 | 7050 541 | 667 | 1316 688.88/689.07 c 688s | 22 | 1714053 | 1653522 | 7050 542 | 667 | 1316 690.88/691.08 c 690s | 22 | 1718224 | 1657622 | 7050 543 | 667 | 1316 692.89/693.09 c 692s | 22 | 1722971 | 1662222 | 7050 544 | 667 | 1316 694.98/695.12 c 695s | 22 | 1727304 | 1666422 | 7050 545 | 667 | 1316 696.98/697.12 c 697s | 22 | 1731884 | 1670822 | 7050 546 | 667 | 1316 698.98/699.14 c 699s | 22 | 1736630 | 1675422 | 7050 547 | 667 | 1316 700.98/701.17 c 701s | 22 | 1741071 | 1679722 | 7050 548 | 667 | 1316 703.08/703.22 c 703s | 22 | 1745847 | 1684322 | 7050 549 | 667 | 1316 705.08/705.24 c 705s | 22 | 1749256 | 1687622 | 7050 550 | 667 | 1316 707.08/707.27 c 707s | 22 | 1753144 | 1691422 | 7050 551 | 667 | 1316 709.08/709.29 c 709s | 22 | 1757359 | 1695522 | 7050 552 | 667 | 1316 711.18/711.32 c 711s | 22 | 1761569 | 1699622 | 7050 553 | 667 | 1316 713.18/713.33 c 713s | 22 | 1765867 | 1703822 | 7050 554 | 667 | 1316 715.18/715.36 c 715s | 22 | 1770255 | 1708122 | 7050 556 | 667 | 1316 717.19/717.36 c 717s | 22 | 1774686 | 1712422 | 7050 557 | 667 | 1316 719.18/719.39 c 719s | 22 | 1778870 | 1716522 | 7050 558 | 667 | 1316 721.28/721.42 c 721s | 22 | 1782942 | 1720522 | 7050 559 | 667 | 1316 723.28/723.45 c 723s | 22 | 1787226 | 1724722 | 7050 560 | 667 | 1316 725.28/725.49 c 725s | 22 | 1791640 | 1729022 | 7050 561 | 667 | 1316 727.38/727.51 c 727s | 22 | 1795771 | 1733022 | 7050 562 | 667 | 1316 729.38/729.56 c 729s | 22 | 1800055 | 1737222 | 7050 563 | 667 | 1316 731.38/731.59 c 731s | 22 | 1804035 | 1741122 | 7050 564 | 667 | 1316 733.47/733.62 c 733s | 22 | 1807892 | 1744922 | 7050 565 | 667 | 1316 735.47/735.63 c 735s | 22 | 1812794 | 1749622 | 7050 566 | 667 | 1316 737.47/737.65 c 737s | 22 | 1816888 | 1753622 | 7050 567 | 667 | 1316 739.47/739.65 c 739s | 22 | 1821122 | 1757722 | 7050 568 | 667 | 1316 741.47/741.67 c 741s | 22 | 1825528 | 1762022 | 7050 569 | 667 | 1316 743.58/743.76 c 743s | 22 | 1829833 | 1766222 | 7050 571 | 667 | 1316 745.57/745.76 c 745s | 22 | 1834348 | 1770622 | 7050 572 | 667 | 1316 747.57/747.77 c 747s | 22 | 1839022 | 1775122 | 7050 573 | 667 | 1316 749.57/749.79 c 749s | 22 | 1843812 | 1779822 | 7050 574 | 667 | 1316 751.67/751.83 c 751s | 22 | 1847793 | 1783722 | 7050 575 | 667 | 1316 753.67/753.86 c 753s | 22 | 1851737 | 1787622 | 7050 576 | 667 | 1316 755.67/755.88 c 755s | 22 | 1855920 | 1791722 | 7050 577 | 667 | 1316 757.78/757.91 c 757s | 22 | 1860096 | 1795822 | 7050 578 | 667 | 1316 759.77/759.94 c 759s | 22 | 1864254 | 1799922 | 7050 579 | 667 | 1316 761.77/761.97 c 761s | 22 | 1868105 | 1803722 | 7050 580 | 667 | 1316 763.87/764.01 c 763s | 22 | 1872366 | 1807922 | 7050 581 | 667 | 1316 765.87/766.02 c 765s | 22 | 1876375 | 1811822 | 7050 582 | 667 | 1316 767.87/768.04 c 767s | 22 | 1880449 | 1815722 | 7050 583 | 667 | 1316 769.88/770.08 c 769s | 22 | 1884254 | 1819422 | 7050 584 | 667 | 1316 771.87/772.08 c 771s | 22 | 1888231 | 1823322 | 7050 585 | 667 | 1316 773.97/774.11 c 774s | 22 | 1892228 | 1827222 | 7050 586 | 667 | 1316 775.97/776.12 c 776s | 22 | 1896317 | 1831222 | 7050 587 | 667 | 1316 777.97/778.17 c 778s | 22 | 1900388 | 1835222 | 7050 588 | 667 | 1316 780.07/780.20 c 780s | 22 | 1904137 | 1838922 | 7050 589 | 667 | 1316 782.08/782.25 c 782s | 22 | 1908136 | 1842822 | 7050 590 | 667 | 1316 784.07/784.28 c 784s | 22 | 1912308 | 1846922 | 7050 591 | 667 | 1316 786.17/786.33 c 786s | 22 | 1916811 | 1851222 | 7050 592 | 667 | 1316 788.27/788.43 c 788s | 22 | 1920730 | 1855022 | 7050 593 | 667 | 1316 790.27/790.44 c 790s | 22 | 1924831 | 1858822 | 7050 594 | 667 | 1316 792.27/792.49 c 792s | 22 | 1928644 | 1862522 | 7050 595 | 667 | 1316 794.27/794.49 c 794s | 22 | 1932670 | 1866422 | 7050 596 | 667 | 1316 796.27/796.49 c 796s | 22 | 1936747 | 1870322 | 7050 597 | 667 | 1316 798.36/798.50 c 798s | 22 | 1941467 | 1874922 | 7050 598 | 667 | 1316 800.36/800.55 c 800s | 22 | 1945569 | 1878922 | 7050 599 | 667 | 1316 802.36/802.59 c 802s | 22 | 1949711 | 1882922 | 7050 600 | 667 | 1316 804.36/804.59 c 804s | 22 | 1954022 | 1887122 | 7050 602 | 667 | 1316 806.46/806.61 c 806s | 22 | 1958358 | 1891322 | 7050 603 | 667 | 1316 808.48/808.63 c 808s | 22 | 1962752 | 1895622 | 7050 604 | 667 | 1316 810.47/810.66 c 810s | 22 | 1967185 | 1899922 | 7050 605 | 667 | 1316 812.47/812.69 c 812s | 22 | 1971597 | 1904222 | 7050 606 | 667 | 1316 814.57/814.74 c 814s | 22 | 1976007 | 1908522 | 7050 607 | 667 | 1316 816.56/816.74 c 816s | 22 | 1980268 | 1912622 | 7050 608 | 667 | 1316 818.56/818.74 c 818s | 22 | 1984617 | 1916822 | 7050 609 | 667 | 1316 820.57/820.77 c 820s | 22 | 1988754 | 1920822 | 7050 610 | 667 | 1316 822.56/822.78 c 822s | 22 | 1992833 | 1924822 | 7050 611 | 667 | 1316 824.66/824.80 c 824s | 22 | 1996704 | 1928622 | 7050 612 | 667 | 1316 826.66/826.82 c 826s | 22 | 2000925 | 1932722 | 7050 613 | 667 | 1316 828.66/828.84 c 828s | 22 | 2005160 | 1936822 | 7050 614 | 667 | 1316 830.66/830.84 c 830s | 22 | 2009575 | 1941122 | 7050 615 | 667 | 1316 832.66/832.88 c 832s | 22 | 2013884 | 1945322 | 7050 617 | 667 | 1316 834.76/834.92 c 834s | 22 | 2018441 | 1949722 | 7050 618 | 667 | 1316 836.75/836.95 c 836s | 22 | 2023148 | 1954222 | 7050 619 | 667 | 1316 838.75/838.98 c 838s | 22 | 2027818 | 1958722 | 7050 620 | 667 | 1316 840.85/841.02 c 840s | 22 | 2032376 | 1963122 | 7050 621 | 667 | 1316 842.85/843.03 c 842s | 22 | 2036613 | 1967222 | 7050 622 | 667 | 1316 844.85/845.06 c 844s | 22 | 2040881 | 1971322 | 7050 623 | 667 | 1316 846.96/847.10 c 847s | 22 | 2045246 | 1975522 | 7050 624 | 667 | 1316 848.95/849.15 c 849s | 22 | 2049359 | 1979522 | 7050 625 | 667 | 1316 850.96/851.17 c 851s | 22 | 2053794 | 1983822 | 7050 626 | 667 | 1316 853.06/853.22 c 853s | 22 | 2058379 | 1988222 | 7050 628 | 667 | 1316 855.06/855.25 c 855s | 22 | 2062941 | 1992622 | 7050 629 | 667 | 1316 857.06/857.26 c 857s | 22 | 2067153 | 1996722 | 7050 630 | 667 | 1316 859.16/859.30 c 859s | 22 | 2071538 | 2001022 | 7050 631 | 667 | 1316 861.16/861.31 c 861s | 22 | 2075613 | 2005022 | 7050 632 | 667 | 1316 863.16/863.33 c 863s | 22 | 2080065 | 2009322 | 7050 633 | 667 | 1316 865.16/865.35 c 865s | 22 | 2084399 | 2013522 | 7050 634 | 667 | 1316 867.16/867.38 c 867s | 22 | 2088411 | 2017422 | 7050 635 | 667 | 1316 869.25/869.41 c 869s | 22 | 2092337 | 2021222 | 7050 636 | 667 | 1316 871.25/871.43 c 871s | 22 | 2096335 | 2025122 | 7050 637 | 667 | 1316 873.26/873.45 c 873s | 22 | 2100322 | 2029022 | 7050 638 | 667 | 1316 875.25/875.49 c 875s | 22 | 2104339 | 2032922 | 7050 639 | 667 | 1316 877.34/877.50 c 877s | 22 | 2108642 | 2037122 | 7050 640 | 667 | 1316 879.35/879.50 c 879s | 22 | 2112731 | 2041122 | 7050 641 | 667 | 1316 881.35/881.51 c 881s | 22 | 2117159 | 2045422 | 7050 642 | 667 | 1316 883.35/883.52 c 883s | 22 | 2121358 | 2049522 | 7050 643 | 667 | 1316 885.36/885.54 c 885s | 22 | 2125827 | 2053822 | 7050 644 | 667 | 1316 887.35/887.56 c 887s | 22 | 2130240 | 2058122 | 7050 645 | 667 | 1316 889.34/889.57 c 889s | 22 | 2134227 | 2061922 | 7050 646 | 667 | 1316 891.34/891.59 c 891s | 22 | 2138107 | 2065722 | 7050 647 | 667 | 1316 893.44/893.62 c 893s | 22 | 2142216 | 2069722 | 7050 648 | 667 | 1316 895.54/895.72 c 895s | 22 | 2146431 | 2073822 | 7050 650 | 667 | 1316 897.64/897.84 c 897s | 22 | 2150617 | 2077722 | 7050 651 | 667 | 1316 899.65/899.88 c 899s | 22 | 2154771 | 2081722 | 7050 652 | 667 | 1316 901.74/901.91 c 901s | 22 | 2158748 | 2085622 | 7050 653 | 667 | 1316 903.74/903.96 c 903s | 22 | 2162713 | 2089522 | 7050 654 | 667 | 1316 905.74/905.97 c 905s | 22 | 2166909 | 2093622 | 7050 655 | 667 | 1316 907.74/907.98 c 907s | 22 | 2170885 | 2097422 | 7050 656 | 667 | 1316 909.73/909.99 c 909s | 22 | 2175158 | 2101522 | 7050 657 | 667 | 1316 911.84/912.00 c 911s | 22 | 2178969 | 2105222 | 7050 658 | 667 | 1316 913.83/914.00 c 913s | 22 | 2183339 | 2109522 | 7050 659 | 667 | 1316 915.83/916.04 c 915s | 22 | 2187608 | 2113722 | 7050 660 | 667 | 1316 917.83/918.07 c 917s | 22 | 2191742 | 2117722 | 7050 661 | 667 | 1316 919.83/920.09 c 919s | 22 | 2195725 | 2121622 | 7050 662 | 667 | 1316 921.92/922.12 c 922s | 22 | 2199960 | 2125622 | 7050 663 | 667 | 1316 923.93/924.15 c 924s | 22 | 2203860 | 2129322 | 7050 664 | 667 | 1316 925.92/926.19 c 926s | 22 | 2207913 | 2133222 | 7050 665 | 667 | 1316 928.02/928.21 c 928s | 22 | 2212239 | 2137422 | 7050 666 | 667 | 1316 930.02/930.25 c 930s | 22 | 2216818 | 2141822 | 7050 667 | 667 | 1316 932.02/932.26 c 932s | 22 | 2220732 | 2145622 | 7050 668 | 667 | 1316 934.12/934.31 c 934s | 22 | 2225048 | 2149722 | 7050 669 | 667 | 1316 936.12/936.35 c 936s | 22 | 2229029 | 2153622 | 7050 670 | 667 | 1316 938.13/938.37 c 938s | 22 | 2233192 | 2157622 | 7050 671 | 667 | 1316 940.12/940.39 c 940s | 22 | 2237184 | 2161522 | 7050 672 | 667 | 1316 942.12/942.35 c 942s | 22 | 2241390 | 2165501 | 7050 673 | 667 | 1316 942.12/942.35 c #cpu_time = 942.253s 942.12/942.35 c #wall_clock_time = 942.249s 942.12/942.35 c #decision = 2241390 942.12/942.35 c #random_decision = 7498 942.12/942.35 c #conflict = 2165501 942.12/942.35 c #restart = 22 942.12/942.35 o -25 942.12/942.35 c BCD2: updating upper bound: 76 -> 74 942.12/942.35 c BCD2: 47 <= obj <= 74 942.12/942.35 c BCD2: #cores=2, #unrelaxed=0, #relaxed=100, #hardened=0 942.12/942.35 c BCD2: #sat=3 #unsat=48 bias=48/51 942.12/942.35 c Solving starts ... 942.12/942.35 c ============================[ Search Statistics ]============================ 942.12/942.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 942.12/942.35 c | | | | Limit GC | Var | Constra 942.12/942.35 c ============================================================================= 942.12/942.35 c 0.0s | 0 | 0 | 0 | 7050 0 | 667 | 1317 942.22/942.42 c 0.1s | 1 | 136 | 100 | 7050 0 | 667 | 1317 942.32/942.52 c 0.2s | 2 | 323 | 250 | 7050 0 | 667 | 1317 942.42/942.66 c 0.3s | 3 | 590 | 475 | 7050 0 | 667 | 1317 942.63/942.86 c 0.5s | 4 | 972 | 813 | 7050 0 | 667 | 1317 942.92/943.15 c 0.8s | 5 | 1517 | 1320 | 7050 0 | 667 | 1317 943.42/943.67 c 1.3s | 6 | 2357 | 2081 | 7050 1 | 667 | 1317 943.92/944.18 c 1.8s | 7 | 3566 | 3223 | 7050 1 | 667 | 1317 944.92/945.13 c 2.8s | 8 | 5352 | 4936 | 7050 1 | 667 | 1317 946.12/946.32 c 4.0s | 9 | 8005 | 7506 | 7050 2 | 667 | 1317 948.12/948.34 c 6.0s | 9 | 11919 | 11306 | 7050 3 | 667 | 1317 948.12/948.37 c 6.0s | 10 | 11981 | 11361 | 7050 3 | 667 | 1317 950.11/950.37 c 8.0s | 10 | 16101 | 15361 | 7050 4 | 667 | 1317 951.11/951.36 c 9.0s | 11 | 17964 | 17144 | 7050 4 | 667 | 1317 953.11/953.38 c 11.0s | 11 | 21832 | 20844 | 7050 5 | 667 | 1317 955.21/955.42 c 13.1s | 11 | 25864 | 24744 | 7050 6 | 667 | 1317 955.82/956.03 c 13.7s | 12 | 26979 | 25819 | 7050 7 | 667 | 1317 957.81/958.03 c 15.7s | 12 | 30913 | 29619 | 7050 8 | 667 | 1317 959.81/960.06 c 17.7s | 12 | 35120 | 33719 | 7050 9 | 667 | 1317 961.80/962.07 c 19.7s | 12 | 38914 | 37419 | 7050 10 | 667 | 1317 962.60/962.82 c 20.5s | 13 | 40344 | 38832 | 7050 10 | 667 | 1317 964.61/964.84 c 22.5s | 13 | 44810 | 43132 | 7050 11 | 667 | 1317 966.60/966.88 c 24.5s | 13 | 49097 | 47332 | 7050 12 | 667 | 1317 968.70/968.91 c 26.6s | 13 | 53532 | 51632 | 7050 13 | 667 | 1317 970.70/970.92 c 28.6s | 13 | 57492 | 55532 | 7050 14 | 667 | 1317 971.90/972.13 c 29.8s | 14 | 60353 | 58352 | 7050 15 | 667 | 1317 973.90/974.17 c 31.8s | 14 | 64556 | 62452 | 7050 16 | 667 | 1317 976.00/976.22 c 33.9s | 14 | 68953 | 66752 | 7050 17 | 667 | 1317 977.99/978.25 c 35.9s | 14 | 72821 | 70552 | 7756 18 | 667 | 1317 980.00/980.26 c 37.9s | 14 | 76632 | 74252 | 7756 19 | 667 | 1317 981.99/982.30 c 40.0s | 14 | 80613 | 78152 | 7756 20 | 667 | 1317 984.09/984.35 c 42.0s | 14 | 85109 | 82552 | 7756 21 | 667 | 1317 986.09/986.36 c 44.0s | 14 | 89182 | 86552 | 7756 22 | 667 | 1317 986.60/986.84 c 44.5s | 15 | 90268 | 87632 | 7756 22 | 667 | 1317 988.60/988.85 c 46.5s | 15 | 94386 | 91632 | 7756 23 | 667 | 1317 990.60/990.88 c 48.5s | 15 | 98174 | 95332 | 7756 24 | 667 | 1317 992.70/992.90 c 50.6s | 15 | 102411 | 99432 | 7756 25 | 667 | 1317 994.70/994.93 c 52.6s | 15 | 106703 | 103632 | 7756 26 | 667 | 1317 996.69/996.97 c 54.6s | 15 | 110783 | 107632 | 7756 27 | 667 | 1317 998.79/999.01 c 56.7s | 15 | 114391 | 111032 | 7756 28 | 667 | 1317 1000.80/1001.05 c 58.7s | 15 | 118452 | 114932 | 7756 28 | 667 | 1317 1002.79/1003.06 c 60.7s | 15 | 122833 | 119132 | 7756 29 | 667 | 1317 1004.89/1005.12 c 62.8s | 15 | 127253 | 123332 | 7756 30 | 667 | 1317 1006.89/1007.18 c 64.8s | 15 | 131292 | 127232 | 7756 31 | 667 | 1317 1008.99/1009.25 c 66.9s | 15 | 135481 | 131332 | 7756 32 | 667 | 1317 1009.19/1009.41 c 67.1s | 16 | 135702 | 131552 | 7756 32 | 667 | 1317 1011.19/1011.44 c 69.1s | 16 | 140129 | 135852 | 7756 33 | 667 | 1317 1013.19/1013.50 c 71.1s | 16 | 144203 | 139852 | 7756 34 | 667 | 1317 1015.28/1015.51 c 73.2s | 16 | 148499 | 144052 | 7756 35 | 667 | 1317 1017.29/1017.56 c 75.2s | 16 | 152559 | 148052 | 7756 36 | 667 | 1317 1019.28/1019.57 c 77.2s | 16 | 156788 | 152152 | 7756 37 | 667 | 1317 1021.28/1021.58 c 79.2s | 16 | 160747 | 156052 | 7756 38 | 667 | 1317 1023.28/1023.58 c 81.2s | 16 | 164587 | 159852 | 7756 39 | 667 | 1317 1025.28/1025.58 c 83.2s | 16 | 168959 | 164152 | 7756 40 | 667 | 1317 1027.28/1027.59 c 85.2s | 16 | 173097 | 168152 | 7756 41 | 667 | 1317 1029.38/1029.62 c 87.3s | 16 | 177437 | 172352 | 7756 42 | 667 | 1317 1031.38/1031.64 c 89.3s | 16 | 181394 | 176252 | 7756 43 | 667 | 1317 1033.38/1033.68 c 91.3s | 16 | 185448 | 180252 | 7756 44 | 667 | 1317 1035.38/1035.69 c 93.3s | 16 | 189136 | 183852 | 7756 45 | 667 | 1317 1037.48/1037.72 c 95.4s | 16 | 193042 | 187652 | 7756 46 | 667 | 1317 1039.48/1039.79 c 97.4s | 16 | 196961 | 191452 | 7756 47 | 667 | 1317 1041.58/1041.84 c 99.5s | 16 | 201287 | 195652 | 7756 47 | 667 | 1317 1042.37/1042.68 c 100s | 17 | 203199 | 197432 | 7756 48 | 667 | 1317 1044.47/1044.70 c 102s | 17 | 207203 | 201332 | 7756 49 | 667 | 1317 1046.47/1046.73 c 104s | 17 | 211508 | 205532 | 7756 50 | 667 | 1317 1048.47/1048.75 c 106s | 17 | 215704 | 209632 | 7756 51 | 667 | 1317 1050.47/1050.79 c 108s | 17 | 219880 | 213732 | 7756 52 | 667 | 1317 1052.58/1052.82 c 110s | 17 | 223541 | 217332 | 7756 53 | 667 | 1317 1054.57/1054.85 c 112s | 17 | 227388 | 221132 | 7756 53 | 667 | 1317 1056.66/1056.90 c 114s | 17 | 231550 | 225232 | 7756 54 | 667 | 1317 1058.66/1058.92 c 116s | 17 | 235312 | 228932 | 7756 55 | 667 | 1317 1060.66/1060.93 c 118s | 17 | 239522 | 233032 | 7756 56 | 667 | 1317 1062.66/1062.96 c 120s | 17 | 243645 | 237032 | 7756 57 | 667 | 1317 1064.67/1064.99 c 122s | 17 | 247391 | 240632 | 7756 58 | 667 | 1317 1066.76/1067.04 c 124s | 17 | 251247 | 244332 | 7756 59 | 667 | 1317 1068.86/1069.11 c 126s | 17 | 255109 | 248032 | 7756 60 | 667 | 1317 1070.86/1071.15 c 128s | 17 | 259251 | 252032 | 7756 61 | 667 | 1317 1072.85/1073.16 c 130s | 17 | 263029 | 255732 | 7756 62 | 667 | 1317 1074.95/1075.23 c 132s | 17 | 266804 | 259432 | 7756 63 | 667 | 1317 1076.95/1077.24 c 134s | 17 | 270794 | 263332 | 7756 63 | 667 | 1317 1078.96/1079.24 c 136s | 17 | 274896 | 267332 | 7756 64 | 667 | 1317 1080.95/1081.27 c 138s | 17 | 279171 | 271432 | 7756 65 | 667 | 1317 1083.06/1083.30 c 140s | 17 | 283151 | 275332 | 7756 66 | 667 | 1317 1085.06/1085.34 c 142s | 17 | 287137 | 279232 | 7756 67 | 667 | 1317 1087.05/1087.39 c 145s | 17 | 291030 | 283032 | 7756 68 | 667 | 1317 1089.15/1089.40 c 147s | 17 | 294928 | 286832 | 7756 69 | 667 | 1317 1091.15/1091.44 c 149s | 17 | 299351 | 291132 | 7756 70 | 667 | 1317 1093.16/1093.48 c 151s | 17 | 303412 | 295132 | 7756 71 | 667 | 1317 1093.75/1094.06 c 151s | 18 | 304565 | 296252 | 7756 71 | 667 | 1317 1095.75/1096.06 c 153s | 18 | 308459 | 300052 | 7756 72 | 667 | 1317 1097.74/1098.08 c 155s | 18 | 312376 | 303852 | 7756 73 | 667 | 1317 1099.75/1100.08 c 157s | 18 | 316137 | 307552 | 7756 74 | 667 | 1317 1101.74/1102.09 c 159s | 18 | 319989 | 311352 | 7756 75 | 667 | 1317 1103.84/1104.11 c 161s | 18 | 324063 | 315252 | 7756 76 | 667 | 1317 1105.84/1106.11 c 163s | 18 | 328341 | 319352 | 7756 77 | 667 | 1317 1107.84/1108.12 c 165s | 18 | 332335 | 323252 | 7756 78 | 667 | 1317 1109.84/1110.18 c 167s | 18 | 336474 | 327252 | 7756 78 | 667 | 1317 1111.84/1112.18 c 169s | 18 | 340445 | 331152 | 7756 79 | 667 | 1317 1113.94/1114.20 c 171s | 18 | 344627 | 335252 | 7756 80 | 667 | 1317 1115.94/1116.22 c 173s | 18 | 348607 | 339152 | 7756 81 | 667 | 1317 1117.94/1118.22 c 175s | 18 | 352799 | 343252 | 7756 82 | 667 | 1317 1119.93/1120.25 c 177s | 18 | 356965 | 347352 | 7756 83 | 667 | 1317 1121.93/1122.28 c 179s | 18 | 361166 | 351452 | 7756 84 | 667 | 1317 1123.94/1124.29 c 181s | 18 | 365542 | 355752 | 7756 85 | 667 | 1317 1126.03/1126.32 c 183s | 18 | 369829 | 359952 | 7756 86 | 667 | 1317 1128.03/1128.36 c 186s | 18 | 373948 | 363952 | 7756 87 | 667 | 1317 1130.03/1130.38 c 188s | 18 | 378157 | 367952 | 7756 88 | 667 | 1317 1132.14/1132.42 c 190s | 18 | 382168 | 371852 | 7756 89 | 667 | 1317 1134.14/1134.42 c 192s | 18 | 385983 | 375552 | 7756 90 | 667 | 1317 1136.14/1136.42 c 194s | 18 | 389952 | 379452 | 7756 91 | 667 | 1317 1138.13/1138.45 c 196s | 18 | 393718 | 383152 | 7756 92 | 667 | 1317 1140.13/1140.45 c 198s | 18 | 397810 | 387152 | 7756 93 | 667 | 1317 1142.13/1142.46 c 200s | 18 | 401917 | 391152 | 7756 94 | 667 | 1317 1144.23/1144.50 c 202s | 18 | 406510 | 395652 | 7756 95 | 667 | 1317 1146.23/1146.54 c 204s | 18 | 410605 | 399652 | 7756 96 | 667 | 1317 1148.33/1148.66 c 206s | 18 | 415004 | 403852 | 7756 97 | 667 | 1317 1150.33/1150.67 c 208s | 18 | 419433 | 408152 | 7756 98 | 667 | 1317 1152.43/1152.75 c 210s | 18 | 423756 | 412352 | 7756 99 | 667 | 1317 1154.43/1154.77 c 212s | 18 | 427873 | 416352 | 7756 99 | 667 | 1317 1156.52/1156.81 c 214s | 18 | 431847 | 420252 | 7756 100 | 667 | 1317 1158.52/1158.84 c 216s | 18 | 435807 | 424152 | 7756 101 | 667 | 1317 1160.52/1160.90 c 218s | 18 | 439904 | 428152 | 7756 102 | 667 | 1317 1162.62/1162.91 c 220s | 18 | 443912 | 432052 | 7756 103 | 667 | 1317 1164.63/1164.97 c 222s | 18 | 448075 | 436152 | 7756 104 | 667 | 1317 1166.72/1167.03 c 224s | 18 | 452386 | 440352 | 7756 105 | 667 | 1317 1168.72/1169.07 c 226s | 18 | 456439 | 444252 | 7756 106 | 667 | 1317 1168.92/1169.21 c 226s | 19 | 456700 | 444482 | 7756 106 | 667 | 1317 1170.91/1171.25 c 228s | 19 | 460833 | 448482 | 7756 107 | 667 | 1317 1172.91/1173.26 c 230s | 19 | 464819 | 452382 | 7756 108 | 667 | 1317 1174.91/1175.29 c 232s | 19 | 468722 | 456182 | 7756 109 | 667 | 1317 1177.01/1177.31 c 234s | 19 | 473007 | 460282 | 7756 110 | 667 | 1317 1179.01/1179.35 c 237s | 19 | 477117 | 464282 | 7756 111 | 667 | 1317 1181.01/1181.37 c 239s | 19 | 481117 | 468182 | 7756 112 | 667 | 1317 1183.01/1183.38 c 241s | 19 | 485080 | 472082 | 7756 113 | 667 | 1317 1185.01/1185.39 c 243s | 19 | 488942 | 475882 | 7756 113 | 667 | 1317 1187.10/1187.44 c 245s | 19 | 492920 | 479782 | 7756 114 | 667 | 1317 1189.10/1189.47 c 247s | 19 | 496776 | 483582 | 7756 115 | 667 | 1317 1191.20/1191.52 c 249s | 19 | 500895 | 487582 | 7756 116 | 667 | 1317 1193.21/1193.53 c 251s | 19 | 504804 | 491382 | 7756 117 | 667 | 1317 1195.20/1195.59 c 253s | 19 | 509311 | 495782 | 7756 118 | 667 | 1317 1197.30/1197.63 c 255s | 19 | 513276 | 499682 | 7756 119 | 667 | 1317 1199.30/1199.66 c 257s | 19 | 517540 | 503882 | 7756 120 | 667 | 1317 1201.40/1201.70 c 259s | 19 | 521731 | 507982 | 7756 121 | 667 | 1317 1203.41/1203.73 c 261s | 19 | 525742 | 511882 | 7756 122 | 667 | 1317 1205.41/1205.74 c 263s | 19 | 530030 | 516082 | 7756 123 | 667 | 1317 1207.40/1207.76 c 265s | 19 | 534012 | 519982 | 7756 124 | 667 | 1317 1209.50/1209.80 c 267s | 19 | 537885 | 523782 | 7756 125 | 667 | 1317 1211.50/1211.83 c 269s | 19 | 541889 | 527682 | 7756 126 | 667 | 1317 1213.60/1213.93 c 271s | 19 | 546732 | 532282 | 7756 127 | 667 | 1317 1215.60/1215.93 c 273s | 19 | 550958 | 536282 | 7756 128 | 667 | 1317 1217.69/1218.01 c 275s | 19 | 554518 | 539682 | 7756 129 | 667 | 1317 1219.70/1220.02 c 277s | 19 | 558393 | 543482 | 7756 129 | 667 | 1317 1221.69/1222.04 c 279s | 19 | 562552 | 547482 | 7756 130 | 667 | 1317 1223.69/1224.08 c 281s | 19 | 566746 | 551582 | 7756 131 | 667 | 1317 1225.69/1226.08 c 283s | 19 | 570701 | 555482 | 7756 132 | 667 | 1317 1227.79/1228.14 c 285s | 19 | 574566 | 559282 | 7756 133 | 667 | 1317 1229.79/1230.16 c 287s | 19 | 578526 | 563182 | 7756 134 | 667 | 1317 1231.79/1232.16 c 289s | 19 | 582591 | 567182 | 7756 135 | 667 | 1317 1233.78/1234.19 c 291s | 19 | 586998 | 571482 | 7756 136 | 667 | 1317 1235.88/1236.23 c 293s | 19 | 591202 | 575582 | 7756 137 | 667 | 1317 1237.88/1238.26 c 295s | 19 | 595529 | 579682 | 7756 138 | 667 | 1317 1239.88/1240.26 c 297s | 19 | 599492 | 583482 | 7756 139 | 667 | 1317 1241.88/1242.29 c 299s | 19 | 603221 | 586982 | 7756 140 | 667 | 1317 1243.98/1244.33 c 301s | 19 | 607534 | 591182 | 7756 141 | 667 | 1317 1245.98/1246.35 c 304s | 19 | 611522 | 595082 | 7756 142 | 667 | 1317 1247.97/1248.36 c 306s | 19 | 615970 | 599382 | 7756 143 | 667 | 1317 1249.97/1250.36 c 308s | 19 | 620158 | 603482 | 7756 144 | 667 | 1317 1252.08/1252.40 c 310s | 19 | 624344 | 607582 | 7756 144 | 667 | 1317 1254.08/1254.44 c 312s | 19 | 628347 | 611482 | 7756 145 | 667 | 1317 1256.08/1256.44 c 314s | 19 | 633478 | 616382 | 7756 147 | 667 | 1317 1258.08/1258.48 c 316s | 19 | 637565 | 620382 | 7756 148 | 667 | 1317 1260.17/1260.51 c 318s | 19 | 642380 | 625082 | 7756 149 | 667 | 1317 1262.17/1262.54 c 320s | 19 | 646480 | 629082 | 7756 150 | 667 | 1317 1264.17/1264.56 c 322s | 19 | 650748 | 633282 | 7756 151 | 667 | 1317 1266.17/1266.57 c 324s | 19 | 655445 | 637782 | 7756 152 | 667 | 1317 1268.17/1268.58 c 326s | 19 | 659525 | 641682 | 7756 153 | 667 | 1317 1270.17/1270.60 c 328s | 19 | 663714 | 645682 | 7756 153 | 667 | 1317 1272.26/1272.64 c 330s | 19 | 667764 | 649582 | 7756 154 | 667 | 1317 1274.26/1274.68 c 332s | 19 | 671866 | 653482 | 7756 155 | 667 | 1317 1276.26/1276.69 c 334s | 19 | 676052 | 657482 | 7756 156 | 667 | 1317 1278.36/1278.74 c 336s | 19 | 680415 | 661582 | 7756 157 | 667 | 1317 1280.36/1280.77 c 338s | 19 | 685135 | 665882 | 7756 158 | 667 | 1317 1280.86/1281.26 c 338s | 20 | 686111 | 666827 | 7756 158 | 667 | 1317 1282.87/1283.28 c 340s | 20 | 690555 | 671127 | 7756 159 | 667 | 1317 1284.96/1285.31 c 342s | 20 | 694738 | 675227 | 7756 160 | 667 | 1317 1286.96/1287.32 c 344s | 20 | 698972 | 679327 | 7756 161 | 667 | 1317 1288.96/1289.33 c 346s | 20 | 703218 | 683527 | 7756 162 | 667 | 1317 1290.96/1291.35 c 349s | 20 | 707773 | 687927 | 7756 163 | 667 | 1317 1292.95/1293.36 c 351s | 20 | 711948 | 691927 | 7756 164 | 667 | 1317 1295.05/1295.41 c 353s | 20 | 716098 | 695927 | 7756 165 | 667 | 1317 1297.05/1297.45 c 355s | 20 | 720091 | 699627 | 7756 166 | 667 | 1317 1299.05/1299.48 c 357s | 20 | 724866 | 704027 | 7756 167 | 667 | 1317 1301.15/1301.53 c 359s | 20 | 729296 | 708327 | 7756 168 | 667 | 1317 1303.16/1303.53 c 361s | 20 | 733925 | 712827 | 7756 169 | 667 | 1317 1305.15/1305.56 c 363s | 20 | 738341 | 717127 | 7756 170 | 667 | 1317 1307.24/1307.62 c 365s | 20 | 742493 | 721127 | 7756 171 | 667 | 1317 1309.24/1309.62 c 367s | 20 | 746862 | 725427 | 7756 172 | 667 | 1317 1311.24/1311.67 c 369s | 20 | 751305 | 729627 | 7756 173 | 667 | 1317 1313.34/1313.72 c 371s | 20 | 755698 | 733827 | 7756 174 | 667 | 1317 1315.35/1315.74 c 373s | 20 | 760279 | 738227 | 7756 175 | 667 | 1317 1317.34/1317.79 c 375s | 20 | 765021 | 742727 | 7756 176 | 667 | 1317 1319.44/1319.83 c 377s | 20 | 769163 | 746827 | 7756 177 | 667 | 1317 1321.45/1321.85 c 379s | 20 | 773461 | 751027 | 7756 178 | 667 | 1317 1323.44/1323.89 c 381s | 20 | 777740 | 755227 | 7756 179 | 667 | 1317 1325.54/1325.93 c 383s | 20 | 781898 | 759327 | 7756 180 | 667 | 1317 1327.54/1327.97 c 385s | 20 | 786269 | 763427 | 7756 181 | 667 | 1317 1329.55/1330.00 c 387s | 20 | 790704 | 767727 | 7756 182 | 667 | 1317 1331.64/1332.02 c 389s | 20 | 794713 | 771527 | 7756 183 | 667 | 1317 1333.64/1334.05 c 391s | 20 | 799503 | 776227 | 7756 184 | 667 | 1317 1335.64/1336.06 c 393s | 20 | 803803 | 780427 | 7756 185 | 667 | 1317 1337.63/1338.09 c 395s | 20 | 807995 | 784427 | 7756 186 | 667 | 1317 1339.73/1340.10 c 397s | 20 | 811718 | 788027 | 7756 187 | 667 | 1317 1341.64/1342.10 c 399s | 20 | 815839 | 792027 | 7756 188 | 667 | 1317 1343.73/1344.13 c 401s | 20 | 819758 | 795827 | 7756 189 | 667 | 1317 1345.73/1346.14 c 403s | 20 | 824155 | 800127 | 7756 190 | 667 | 1317 1347.73/1348.15 c 405s | 20 | 828543 | 804427 | 7756 191 | 667 | 1317 1349.73/1350.18 c 407s | 20 | 832778 | 808527 | 7756 192 | 667 | 1317 1351.73/1352.19 c 409s | 20 | 837058 | 812727 | 7756 193 | 667 | 1317 1353.73/1354.19 c 411s | 20 | 841650 | 817227 | 7756 194 | 667 | 1317 1355.83/1356.20 c 413s | 20 | 845413 | 820927 | 7756 195 | 667 | 1317 1357.82/1358.22 c 415s | 20 | 849388 | 824827 | 7756 196 | 667 | 1317 1359.82/1360.28 c 417s | 20 | 853071 | 828427 | 7756 197 | 667 | 1317 1361.82/1362.29 c 419s | 20 | 857085 | 832327 | 7756 197 | 667 | 1317 1363.82/1364.29 c 421s | 20 | 861139 | 836327 | 7756 198 | 667 | 1317 1365.93/1366.34 c 423s | 20 | 865058 | 840127 | 7756 199 | 667 | 1317 1367.91/1368.36 c 426s | 20 | 868757 | 843727 | 7756 200 | 667 | 1317 1369.91/1370.37 c 428s | 20 | 873096 | 847927 | 7756 201 | 667 | 1317 1371.91/1372.39 c 430s | 20 | 877119 | 851827 | 7756 202 | 667 | 1317 1374.01/1374.41 c 432s | 20 | 881018 | 855627 | 7756 203 | 667 | 1317 1376.01/1376.43 c 434s | 20 | 884811 | 859327 | 7756 204 | 667 | 1317 1378.02/1378.44 c 436s | 20 | 888807 | 863227 | 7756 205 | 667 | 1317 1380.01/1380.47 c 438s | 20 | 892709 | 866927 | 7756 206 | 667 | 1317 1382.11/1382.52 c 440s | 20 | 896844 | 870927 | 7756 207 | 667 | 1317 1384.11/1384.55 c 442s | 20 | 900853 | 874827 | 7756 207 | 667 | 1317 1386.11/1386.56 c 444s | 20 | 904980 | 878827 | 7756 208 | 667 | 1317 1388.10/1388.57 c 446s | 20 | 909751 | 883427 | 7756 209 | 667 | 1317 1390.11/1390.59 c 448s | 20 | 914062 | 887527 | 7756 210 | 667 | 1317 1392.21/1392.62 c 450s | 20 | 918355 | 891727 | 7756 211 | 667 | 1317 1394.20/1394.63 c 452s | 20 | 922404 | 895727 | 7756 212 | 667 | 1317 1396.20/1396.65 c 454s | 20 | 926598 | 899827 | 7756 213 | 667 | 1317 1398.20/1398.69 c 456s | 20 | 930979 | 904127 | 7756 214 | 667 | 1317 1400.20/1400.69 c 458s | 20 | 934925 | 907827 | 7756 215 | 667 | 1317 1402.30/1402.73 c 460s | 20 | 939577 | 912327 | 7756 216 | 667 | 1317 1404.30/1404.77 c 462s | 20 | 943768 | 916427 | 7756 217 | 667 | 1317 1406.30/1406.79 c 464s | 20 | 948590 | 921127 | 7756 218 | 667 | 1317 1408.39/1408.80 c 466s | 20 | 953112 | 925527 | 7756 219 | 667 | 1317 1410.39/1410.80 c 468s | 20 | 957577 | 929827 | 7756 220 | 667 | 1317 1412.39/1412.83 c 470s | 20 | 962234 | 934327 | 7756 221 | 667 | 1317 1414.39/1414.85 c 472s | 20 | 966483 | 938427 | 7756 222 | 667 | 1317 1416.39/1416.86 c 474s | 20 | 971189 | 943027 | 7756 223 | 667 | 1317 1418.49/1418.91 c 476s | 20 | 975483 | 947227 | 7756 224 | 667 | 1317 1420.49/1420.96 c 478s | 20 | 979886 | 951527 | 7756 225 | 667 | 1317 1422.59/1423.05 c 480s | 20 | 984318 | 955827 | 7756 227 | 667 | 1317 1424.59/1425.06 c 482s | 20 | 988841 | 960227 | 7756 228 | 667 | 1317 1426.59/1427.07 c 484s | 20 | 993803 | 965027 | 7756 229 | 667 | 1317 1428.69/1429.10 c 486s | 20 | 998524 | 969627 | 7756 230 | 667 | 1317 1430.70/1431.14 c 488s | 20 | 1003204 | 974127 | 7756 231 | 667 | 1317 1432.69/1433.15 c 490s | 20 | 1007421 | 978127 | 7756 232 | 667 | 1317 1434.69/1435.18 c 492s | 20 | 1012754 | 983127 | 7756 233 | 667 | 1317 1436.78/1437.25 c 494s | 20 | 1017435 | 987627 | 7756 234 | 667 | 1317 1438.78/1439.27 c 496s | 20 | 1021406 | 991527 | 7756 235 | 667 | 1317 1440.88/1441.30 c 498s | 20 | 1025683 | 995727 | 7756 236 | 667 | 1317 1442.79/1443.30 c 500s | 20 | 1029967 | 999927 | 7756 237 | 667 | 1317 1442.98/1443.48 c 501s | 21 | 1030392 | 1000345 | 7756 237 | 667 | 1317 1445.09/1445.54 c 503s | 21 | 1034562 | 1004345 | 7756 238 | 667 | 1317 1447.08/1447.58 c 505s | 21 | 1038895 | 1008545 | 7756 239 | 667 | 1317 1449.18/1449.62 c 507s | 21 | 1042841 | 1012445 | 7756 240 | 667 | 1317 1451.18/1451.62 c 509s | 21 | 1047254 | 1016745 | 7756 241 | 667 | 1317 1453.18/1453.62 c 511s | 21 | 1051480 | 1020945 | 7756 242 | 667 | 1317 1455.18/1455.64 c 513s | 21 | 1056040 | 1025445 | 7756 243 | 667 | 1317 1457.18/1457.67 c 515s | 21 | 1060098 | 1029445 | 7756 244 | 667 | 1317 1459.17/1459.68 c 517s | 21 | 1064094 | 1033345 | 7756 245 | 667 | 1317 1461.27/1461.71 c 519s | 21 | 1068130 | 1037345 | 7756 246 | 667 | 1317 1463.27/1463.73 c 521s | 21 | 1071947 | 1041045 | 7756 247 | 667 | 1317 1465.37/1465.84 c 523s | 21 | 1076037 | 1045045 | 7756 248 | 667 | 1317 1467.37/1467.86 c 525s | 21 | 1080736 | 1049645 | 7756 249 | 667 | 1317 1469.47/1469.96 c 527s | 21 | 1084786 | 1053545 | 7756 250 | 667 | 1317 1471.47/1471.97 c 529s | 21 | 1089256 | 1057945 | 7756 251 | 667 | 1317 1473.47/1474.00 c 531s | 21 | 1093539 | 1062145 | 7756 252 | 667 | 1317 1475.56/1476.01 c 533s | 21 | 1097732 | 1066245 | 7756 253 | 667 | 1317 1477.56/1478.01 c 535s | 21 | 1102111 | 1070545 | 7756 254 | 667 | 1317 1479.56/1480.03 c 537s | 21 | 1106624 | 1074945 | 7756 255 | 667 | 1317 1481.56/1482.06 c 539s | 21 | 1110690 | 1078945 | 7756 256 | 667 | 1317 1483.57/1484.09 c 541s | 21 | 1115002 | 1083145 | 7756 256 | 667 | 1317 1485.66/1486.12 c 543s | 21 | 1119092 | 1087145 | 7756 257 | 667 | 1317 1487.65/1488.13 c 545s | 21 | 1122942 | 1090945 | 7756 258 | 667 | 1317 1489.65/1490.18 c 547s | 21 | 1127080 | 1095045 | 7756 259 | 667 | 1317 1491.76/1492.21 c 549s | 21 | 1131447 | 1099345 | 7756 260 | 667 | 1317 1493.76/1494.26 c 551s | 21 | 1135430 | 1103245 | 7756 261 | 667 | 1317 1495.76/1496.27 c 553s | 21 | 1139585 | 1107345 | 7756 262 | 667 | 1317 1497.95/1498.42 c 556s | 21 | 1143720 | 1111345 | 7756 263 | 667 | 1317 1499.96/1500.44 c 558s | 21 | 1148941 | 1116245 | 7756 264 | 667 | 1317 1501.95/1502.45 c 560s | 21 | 1153603 | 1120545 | 7756 265 | 667 | 1317 1503.95/1504.49 c 562s | 21 | 1157705 | 1124545 | 7756 266 | 667 | 1317 1506.05/1506.52 c 564s | 21 | 1161821 | 1128545 | 7756 267 | 667 | 1317 1508.05/1508.56 c 566s | 21 | 1166016 | 1132545 | 7756 268 | 667 | 1317 1510.15/1510.62 c 568s | 21 | 1170521 | 1136745 | 7756 269 | 667 | 1317 1512.16/1512.65 c 570s | 21 | 1175073 | 1140845 | 7756 270 | 667 | 1317 1514.15/1514.70 c 572s | 21 | 1179403 | 1145045 | 7756 271 | 667 | 1317 1516.25/1516.73 c 574s | 21 | 1183882 | 1149445 | 7756 272 | 667 | 1317 1518.24/1518.75 c 576s | 21 | 1187951 | 1153445 | 7756 273 | 667 | 1317 1520.34/1520.81 c 578s | 21 | 1191994 | 1157445 | 7756 274 | 667 | 1317 1522.34/1522.85 c 580s | 21 | 1195902 | 1161245 | 7756 275 | 667 | 1317 1524.34/1524.87 c 582s | 21 | 1200076 | 1165345 | 7756 276 | 667 | 1317 1526.45/1526.91 c 584s | 21 | 1203841 | 1169045 | 7756 277 | 667 | 1317 1528.44/1528.94 c 586s | 21 | 1207691 | 1172845 | 7756 278 | 667 | 1317 1530.44/1530.98 c 588s | 21 | 1211944 | 1177045 | 7756 279 | 667 | 1317 1532.54/1533.01 c 590s | 21 | 1215941 | 1180945 | 7756 280 | 667 | 1317 1534.54/1535.09 c 592s | 21 | 1220297 | 1185145 | 7756 281 | 667 | 1317 1536.64/1537.10 c 594s | 21 | 1224603 | 1189345 | 8532 281 | 667 | 1317 1538.64/1539.12 c 596s | 21 | 1228755 | 1193345 | 8532 282 | 667 | 1317 1540.64/1541.12 c 598s | 21 | 1232527 | 1197045 | 8532 283 | 667 | 1317 1542.63/1543.13 c 600s | 21 | 1236297 | 1200745 | 8532 284 | 667 | 1317 1544.63/1545.15 c 602s | 21 | 1239880 | 1204245 | 8532 285 | 667 | 1317 1546.63/1547.15 c 604s | 21 | 1244081 | 1208345 | 8532 285 | 667 | 1317 1548.63/1549.16 c 606s | 21 | 1247736 | 1211945 | 8532 286 | 667 | 1317 1550.64/1551.16 c 608s | 21 | 1251819 | 1215945 | 8532 287 | 667 | 1317 1552.75/1553.25 c 610s | 21 | 1255689 | 1219745 | 8532 288 | 667 | 1317 1554.74/1555.27 c 612s | 21 | 1259448 | 1223345 | 8532 289 | 667 | 1317 1556.74/1557.28 c 614s | 21 | 1263481 | 1227245 | 8532 290 | 667 | 1317 1558.84/1559.30 c 616s | 21 | 1267538 | 1231145 | 8532 290 | 667 | 1317 1560.84/1561.34 c 618s | 21 | 1271468 | 1234845 | 8532 291 | 667 | 1317 1562.84/1563.37 c 621s | 21 | 1275031 | 1238345 | 8532 292 | 667 | 1317 1564.84/1565.39 c 623s | 21 | 1278911 | 1242045 | 8532 293 | 667 | 1317 1566.93/1567.42 c 625s | 21 | 1283338 | 1246345 | 8532 294 | 667 | 1317 1568.93/1569.46 c 627s | 21 | 1287096 | 1249945 | 8532 294 | 667 | 1317 1570.93/1571.46 c 629s | 21 | 1291066 | 1253745 | 8532 295 | 667 | 1317 1573.03/1573.50 c 631s | 21 | 1295120 | 1257445 | 8532 296 | 667 | 1317 1575.03/1575.52 c 633s | 21 | 1299899 | 1262045 | 8532 297 | 667 | 1317 1577.04/1577.53 c 635s | 21 | 1303905 | 1265745 | 8532 298 | 667 | 1317 1579.03/1579.58 c 637s | 21 | 1307244 | 1268945 | 8532 299 | 667 | 1317 1581.13/1581.63 c 639s | 21 | 1311562 | 1272845 | 8532 299 | 667 | 1317 1583.13/1583.67 c 641s | 21 | 1315454 | 1276445 | 8532 300 | 667 | 1317 1585.13/1585.69 c 643s | 21 | 1319524 | 1280145 | 8532 301 | 667 | 1317 1587.23/1587.71 c 645s | 21 | 1324062 | 1284445 | 8532 302 | 667 | 1317 1589.23/1589.72 c 647s | 21 | 1328057 | 1288245 | 8532 303 | 667 | 1317 1591.24/1591.74 c 649s | 21 | 1332139 | 1292045 | 8532 303 | 667 | 1317 1593.23/1593.75 c 651s | 21 | 1336717 | 1296445 | 8532 304 | 667 | 1317 1595.23/1595.75 c 653s | 21 | 1341279 | 1300845 | 8532 305 | 667 | 1317 1597.23/1597.78 c 655s | 21 | 1345184 | 1304645 | 8532 306 | 667 | 1317 1599.33/1599.82 c 657s | 21 | 1349222 | 1308545 | 8532 307 | 667 | 1317 1601.33/1601.87 c 659s | 21 | 1353367 | 1312545 | 8532 308 | 667 | 1317 1603.33/1603.88 c 661s | 21 | 1357220 | 1316245 | 8532 309 | 667 | 1317 1605.33/1605.89 c 663s | 21 | 1361004 | 1319945 | 8532 310 | 667 | 1317 1607.43/1607.94 c 665s | 21 | 1365476 | 1324245 | 8532 310 | 667 | 1317 1609.43/1609.99 c 667s | 21 | 1369668 | 1328345 | 8532 311 | 667 | 1317 1611.53/1612.04 c 669s | 21 | 1373895 | 1332445 | 8532 312 | 667 | 1317 1613.52/1614.05 c 671s | 21 | 1377961 | 1336445 | 8532 313 | 667 | 1317 1615.53/1616.09 c 673s | 21 | 1382021 | 1340445 | 8532 314 | 667 | 1317 1617.52/1618.10 c 675s | 21 | 1385497 | 1343845 | 8532 315 | 667 | 1317 1619.72/1620.26 c 677s | 21 | 1389366 | 1347645 | 8532 316 | 667 | 1317 1621.82/1622.32 c 679s | 21 | 1393448 | 1351645 | 8532 316 | 667 | 1317 1623.82/1624.37 c 682s | 21 | 1397398 | 1355545 | 8532 317 | 667 | 1317 1625.82/1626.38 c 684s | 21 | 1401673 | 1359745 | 8532 318 | 667 | 1317 1627.93/1628.42 c 686s | 21 | 1406183 | 1364145 | 8532 319 | 667 | 1317 1629.93/1630.46 c 688s | 21 | 1410410 | 1368245 | 8532 320 | 667 | 1317 1631.93/1632.46 c 690s | 21 | 1414408 | 1372145 | 8532 321 | 667 | 1317 1633.93/1634.49 c 692s | 21 | 1417871 | 1375545 | 8532 322 | 667 | 1317 1636.03/1636.53 c 694s | 21 | 1422077 | 1379645 | 8532 322 | 667 | 1317 1638.03/1638.55 c 696s | 21 | 1426344 | 1383745 | 8532 323 | 667 | 1317 1640.02/1640.56 c 698s | 21 | 1430483 | 1387745 | 8532 324 | 667 | 1317 1642.02/1642.58 c 700s | 21 | 1434499 | 1391645 | 8532 325 | 667 | 1317 1644.03/1644.60 c 702s | 21 | 1438518 | 1395545 | 8532 326 | 667 | 1317 1646.12/1646.62 c 704s | 21 | 1442882 | 1399845 | 8532 327 | 667 | 1317 1648.12/1648.63 c 706s | 21 | 1446761 | 1403545 | 8532 328 | 667 | 1317 1650.12/1650.68 c 708s | 21 | 1450782 | 1407445 | 8532 328 | 667 | 1317 1652.12/1652.69 c 710s | 21 | 1455037 | 1411545 | 8532 329 | 667 | 1317 1654.22/1654.70 c 712s | 21 | 1458938 | 1415145 | 8532 330 | 667 | 1317 1656.23/1656.73 c 714s | 21 | 1462616 | 1418645 | 8532 331 | 667 | 1317 1658.22/1658.73 c 716s | 21 | 1467102 | 1422945 | 8532 332 | 667 | 1317 1660.22/1660.74 c 718s | 21 | 1471106 | 1426745 | 8532 333 | 667 | 1317 1662.22/1662.74 c 720s | 21 | 1475234 | 1430745 | 8532 333 | 667 | 1317 1664.22/1664.77 c 722s | 21 | 1479555 | 1434945 | 8532 334 | 667 | 1317 1666.32/1666.80 c 724s | 21 | 1483977 | 1439245 | 8532 335 | 667 | 1317 1668.32/1668.80 c 726s | 21 | 1487748 | 1442845 | 8532 336 | 667 | 1317 1670.31/1670.84 c 728s | 21 | 1491768 | 1446645 | 8532 337 | 667 | 1317 1672.31/1672.87 c 730s | 21 | 1495917 | 1450645 | 8532 338 | 667 | 1317 1674.41/1674.90 c 732s | 21 | 1500088 | 1454745 | 8532 339 | 667 | 1317 1676.42/1676.93 c 734s | 21 | 1504515 | 1459045 | 8532 340 | 667 | 1317 1678.42/1678.93 c 736s | 21 | 1508791 | 1463245 | 8532 340 | 667 | 1317 1680.43/1680.99 c 738s | 21 | 1513088 | 1467445 | 8532 341 | 667 | 1317 1682.42/1683.00 c 740s | 21 | 1517181 | 1471445 | 8532 342 | 667 | 1317 1684.52/1685.04 c 742s | 21 | 1521258 | 1475345 | 8532 343 | 667 | 1317 1686.52/1687.07 c 744s | 21 | 1525556 | 1479545 | 8532 344 | 667 | 1317 1688.62/1689.15 c 746s | 21 | 1529469 | 1483245 | 8532 345 | 667 | 1317 1690.62/1691.15 c 748s | 21 | 1533213 | 1486845 | 8532 346 | 667 | 1317 1692.62/1693.16 c 750s | 21 | 1537397 | 1490945 | 8532 346 | 667 | 1317 1694.63/1695.18 c 752s | 21 | 1541375 | 1494845 | 8532 347 | 667 | 1317 1696.72/1697.20 c 754s | 21 | 1545734 | 1499045 | 8532 348 | 667 | 1317 1697.62/1698.14 c 755s | 22 | 1547369 | 1500622 | 8532 349 | 667 | 1317 1699.62/1700.17 c 757s | 22 | 1552016 | 1505122 | 8532 349 | 667 | 1317 1701.72/1702.22 c 759s | 22 | 1556109 | 1509122 | 8532 350 | 667 | 1317 1703.71/1704.22 c 761s | 22 | 1560298 | 1513222 | 8532 351 | 667 | 1317 1705.72/1706.22 c 763s | 22 | 1564567 | 1517422 | 8532 352 | 667 | 1317 1707.71/1708.23 c 765s | 22 | 1568340 | 1521122 | 8532 353 | 667 | 1317 1709.71/1710.23 c 767s | 22 | 1572302 | 1525022 | 8532 354 | 667 | 1317 1711.81/1712.30 c 769s | 22 | 1575748 | 1528422 | 8532 355 | 667 | 1317 1713.81/1714.35 c 772s | 22 | 1579929 | 1532522 | 8532 355 | 667 | 1317 1715.81/1716.37 c 774s | 22 | 1584089 | 1536622 | 8532 356 | 667 | 1317 1717.81/1718.40 c 776s | 22 | 1588265 | 1540722 | 8532 357 | 667 | 1317 1719.91/1720.43 c 778s | 22 | 1592455 | 1544822 | 8532 358 | 667 | 1317 1721.91/1722.43 c 780s | 22 | 1596151 | 1548422 | 8532 359 | 667 | 1317 1723.91/1724.44 c 782s | 22 | 1599711 | 1551922 | 8532 360 | 667 | 1317 1725.91/1726.49 c 784s | 22 | 1603657 | 1555822 | 8532 360 | 667 | 1317 1728.01/1728.50 c 786s | 22 | 1607562 | 1559622 | 8532 361 | 667 | 1317 1730.01/1730.54 c 788s | 22 | 1611858 | 1563822 | 8532 362 | 667 | 1317 1732.02/1732.56 c 790s | 22 | 1615749 | 1567622 | 8532 363 | 667 | 1317 1734.11/1734.60 c 792s | 22 | 1619619 | 1571422 | 8532 364 | 667 | 1317 1736.11/1736.61 c 794s | 22 | 1623786 | 1575522 | 8532 365 | 667 | 1317 1738.11/1738.67 c 796s | 22 | 1627741 | 1579422 | 8532 366 | 667 | 1317 1740.11/1740.69 c 798s | 22 | 1632004 | 1583622 | 8532 366 | 667 | 1317 1742.21/1742.70 c 800s | 22 | 1635645 | 1587222 | 8532 367 | 667 | 1317 1744.22/1744.75 c 802s | 22 | 1639425 | 1590922 | 8532 368 | 667 | 1317 1746.21/1746.79 c 804s | 22 | 1643312 | 1594722 | 8532 369 | 667 | 1317 1748.31/1748.81 c 806s | 22 | 1647141 | 1598422 | 8532 370 | 667 | 1317 1750.31/1750.82 c 808s | 22 | 1651050 | 1602222 | 8532 370 | 667 | 1317 1752.31/1752.84 c 810s | 22 | 1655281 | 1606322 | 8532 371 | 667 | 1317 1754.31/1754.85 c 812s | 22 | 1659172 | 1610122 | 8532 372 | 667 | 1317 1756.32/1756.89 c 814s | 22 | 1663124 | 1614022 | 8532 373 | 667 | 1317 1758.31/1758.90 c 816s | 22 | 1666991 | 1617822 | 8532 374 | 667 | 1317 1760.41/1760.93 c 818s | 22 | 1670819 | 1621422 | 8532 375 | 667 | 1317 1762.41/1762.98 c 820s | 22 | 1674891 | 1625322 | 8532 375 | 667 | 1317 1764.40/1764.99 c 822s | 22 | 1678971 | 1629322 | 8532 376 | 667 | 1317 1766.50/1767.02 c 824s | 22 | 1683175 | 1633422 | 8532 377 | 667 | 1317 1768.50/1769.04 c 826s | 22 | 1687374 | 1637422 | 8532 378 | 667 | 1317 1770.51/1771.07 c 828s | 22 | 1691405 | 1641322 | 8532 379 | 667 | 1317 1772.50/1773.09 c 830s | 22 | 1695288 | 1645122 | 8532 380 | 667 | 1317 1774.60/1775.16 c 832s | 22 | 1698996 | 1648722 | 8532 380 | 667 | 1317 1776.70/1777.20 c 834s | 22 | 1703070 | 1652722 | 8532 381 | 667 | 1317 1778.70/1779.25 c 836s | 22 | 1707035 | 1656622 | 8532 382 | 667 | 1317 1780.70/1781.27 c 838s | 22 | 1710779 | 1660322 | 8532 383 | 667 | 1317 1782.80/1783.32 c 840s | 22 | 1714638 | 1664122 | 8532 384 | 667 | 1317 1784.81/1785.37 c 843s | 22 | 1718118 | 1667522 | 8532 385 | 667 | 1317 1786.90/1787.40 c 845s | 22 | 1722174 | 1671522 | 8532 385 | 667 | 1317 1788.90/1789.43 c 847s | 22 | 1726237 | 1675522 | 8532 386 | 667 | 1317 1790.90/1791.44 c 849s | 22 | 1730443 | 1679622 | 8532 387 | 667 | 1317 1792.90/1793.48 c 851s | 22 | 1734403 | 1683522 | 8532 388 | 667 | 1317 1795.00/1795.50 c 853s | 22 | 1738086 | 1687122 | 8532 389 | 667 | 1317 1797.01/1797.52 c 855s | 22 | 1741631 | 1690622 | 8532 390 | 667 | 1317 1799.00/1799.54 c 857s | 22 | 1745818 | 1694722 | 8532 390 | 667 | 1317
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-4080152-1465260327/watcher-4080152-1465260327 -o /tmp/evaluation-result-4080152-1465260327/solver-4080152-1465260327 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4332 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080152-1465260327.opb pid=4765 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.41 2.31 2.22 4/179 4768 /proc/meminfo: memFree=29116912/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=695740 CPUtime=0 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 2590 0 0 0 0 0 0 0 20 0 4 0 107966251 712437760 2950 33554432000 4194304 16246674 140733845053232 140733845052656 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 174447 2956 441 2943 0 171341 0 [pid=4768/tid=4769] ppid=4765 vsize=714172 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 731312128 3019 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=718268 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 735506432 3037 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=722364 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107966251 739700736 3054 33554432000 4194304 16246674 140733845053232 140196473457840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.10017 s] /proc/loadavg: 2.41 2.31 2.22 4/179 4768 /proc/meminfo: memFree=29116912/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 22965 0 0 0 6 3 0 0 20 0 4 0 107966251 1247350784 23311 33554432000 4194304 16246674 140733845053232 140733845036224 14073233 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 304529 23319 792 2943 0 301423 0 [pid=4768/tid=4769] ppid=4765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 1247350784 23337 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 1247350784 23345 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107966251 1247350784 23353 33554432000 4194304 16246674 140733845053232 140196473457840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.2005 s] /proc/loadavg: 2.41 2.31 2.22 4/179 4768 /proc/meminfo: memFree=29116912/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 47931 0 0 0 12 7 0 0 20 0 4 0 107966251 1247350784 48278 33554432000 4194304 16246674 140733845053232 140733845036232 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 304529 48294 792 2943 0 301423 0 [pid=4768/tid=4769] ppid=4765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 1247350784 48305 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 1247350784 48313 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107966251 1247350784 48316 33554432000 4194304 16246674 140733845053232 140196473457840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300488 s] /proc/loadavg: 2.41 2.31 2.22 4/179 4768 /proc/meminfo: memFree=29116912/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 73440 0 0 0 19 10 0 0 20 0 4 0 107966251 1247350784 73786 33554432000 4194304 16246674 140733845053232 140733845036232 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 304529 73793 792 2943 0 301423 0 [pid=4768/tid=4769] ppid=4765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 1247350784 73803 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 1247350784 73813 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107966251 1247350784 73820 33554432000 4194304 16246674 140733845053232 140196473457840 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) 1218116 [startup+0.70042 s] /proc/loadavg: 2.41 2.31 2.22 4/179 4768 /proc/meminfo: memFree=29116912/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 173622 0 0 0 46 23 0 0 20 0 4 0 107966251 1247350784 173969 33554432000 4194304 16246674 140733845053232 140733845036232 5530837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 304529 173986 792 2943 0 301423 0 [pid=4768/tid=4769] ppid=4765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 1247350784 173996 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 1247350784 174006 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107966251 1247350784 174016 33554432000 4194304 16246674 140733845053232 140196473457840 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) 1218116 [startup+1.50042 s] /proc/loadavg: 2.41 2.31 2.22 4/183 4772 /proc/meminfo: memFree=28351472/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=1222212 CPUtime=1.49 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 245599 0 0 0 116 33 0 0 20 0 4 0 107966251 1251545088 245924 33554432000 4194304 16246674 140733845053232 140733845035136 5589077 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 305553 245943 851 2943 0 302447 0 [pid=4768/tid=4769] ppid=4765 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 1251545088 245954 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 1251545088 245965 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107966251 1251545088 245975 33554432000 4194304 16246674 140733845053232 140196473457840 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) 1222212 [startup+3.10042 s] /proc/loadavg: 2.41 2.31 2.22 4/183 4772 /proc/meminfo: memFree=28049780/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=1310276 CPUtime=3.09 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 268534 0 0 0 273 36 0 0 20 0 4 0 107966251 1341722624 268859 33554432000 4194304 16246674 140733845053232 140733845036232 12483276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 327569 268859 851 2943 0 324463 0 [pid=4768/tid=4769] ppid=4765 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 1341722624 268859 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 1341722624 268859 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107966251 1341722624 268859 33554432000 4194304 16246674 140733845053232 140196473457840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1310276 [startup+6.30041 s] /proc/loadavg: 2.37 2.30 2.21 3/183 4772 /proc/meminfo: memFree=28041348/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=1310276 CPUtime=6.29 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 268663 0 0 0 592 37 0 0 20 0 4 0 107966251 1341722624 268988 33554432000 4194304 16246674 140733845053232 140733845035136 6013188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 327569 268988 851 2943 0 324463 0 [pid=4768/tid=4769] ppid=4765 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 1341722624 268988 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 1341722624 268988 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107966251 1341722624 268988 33554432000 4194304 16246674 140733845053232 140196473457840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1310276 [startup+12.7004 s] /proc/loadavg: 2.34 2.30 2.21 3/183 4772 /proc/meminfo: memFree=28038304/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=1313348 CPUtime=12.68 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 269433 0 0 0 1231 37 0 0 20 0 4 0 107966251 1344868352 269758 33554432000 4194304 16246674 140733845053232 140733845036232 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 328337 269758 853 2943 0 325231 0 [pid=4768/tid=4769] ppid=4765 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 1344868352 269758 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 1344868352 269758 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107966251 1344868352 269758 33554432000 4194304 16246674 140733845053232 140196473457840 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) 1313348 [startup+25.5004 s] /proc/loadavg: 2.34 2.30 2.21 3/183 4772 /proc/meminfo: memFree=28038576/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=1313348 CPUtime=25.49 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 269433 0 0 0 2511 38 0 0 20 0 4 0 107966251 1344868352 269758 33554432000 4194304 16246674 140733845053232 140733845035136 13927509 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 328337 269758 853 2943 0 325231 0 [pid=4768/tid=4769] ppid=4765 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 1344868352 269758 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 1344868352 269758 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107966251 1344868352 269758 33554432000 4194304 16246674 140733845053232 140196473457840 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) 1313348 [startup+51.1005 s] /proc/loadavg: 2.22 2.27 2.21 3/183 4773 /proc/meminfo: memFree=28038404/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=1314372 CPUtime=51.08 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 269565 0 0 0 5070 38 0 0 20 0 4 0 107966251 1345916928 269890 33554432000 4194304 16246674 140733845053232 140733845036232 5677712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 328593 269890 854 2943 0 325487 0 [pid=4768/tid=4769] ppid=4765 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 1345916928 269890 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 1345916928 269890 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107966251 1345916928 269890 33554432000 4194304 16246674 140733845053232 140196473457840 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) 1314372 [startup+102.3 s] /proc/loadavg: 2.20 2.26 2.20 3/183 4823 /proc/meminfo: memFree=28113468/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=1320516 CPUtime=102.27 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 271226 0 0 0 10188 39 0 0 20 0 4 0 107966251 1352208384 271551 33554432000 4194304 16246674 140733845053232 140733845035136 12474899 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 330129 271551 854 2943 0 327023 0 [pid=4768/tid=4769] ppid=4765 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 1352208384 271551 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 1352208384 271551 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107966251 1352208384 271551 33554432000 4194304 16246674 140733845053232 140196473457840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1320516 ################ # More data... # ################ /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276676 33554432000 4194304 16246674 140733845053232 140196473457840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1340996 [startup+1362.3 s] /proc/loadavg: 2.17 2.19 2.18 3/184 4878 /proc/meminfo: memFree=28072632/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=1340996 CPUtime=1361.92 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 276671 0 0 0 136126 66 0 0 20 0 4 0 107966251 1373179904 276676 33554432000 4194304 16246674 140733845053232 140733845035136 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 335249 276676 856 2943 0 332143 0 [pid=4768/tid=4769] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276676 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276676 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276676 33554432000 4194304 16246674 140733845053232 140196473457840 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) 1340996 [startup+1422.3 s] /proc/loadavg: 2.18 2.19 2.18 3/184 4879 /proc/meminfo: memFree=28072164/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=1340996 CPUtime=1421.9 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 276710 0 0 0 142123 67 0 0 20 0 4 0 107966251 1373179904 276676 33554432000 4194304 16246674 140733845053232 140733845035136 5822432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 335249 276676 856 2943 0 332143 0 [pid=4768/tid=4769] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276676 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276676 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276676 33554432000 4194304 16246674 140733845053232 140196473457840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1340996 [startup+1482.3 s] /proc/loadavg: 2.17 2.18 2.18 3/185 4883 /proc/meminfo: memFree=28071388/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=1340996 CPUtime=1481.86 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 276746 0 0 0 148119 67 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140733845035136 5546200 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 335249 276677 856 2943 0 332143 0 [pid=4768/tid=4769] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196473457840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1340996 [startup+1542.31 s] /proc/loadavg: 2.11 2.16 2.17 3/184 4884 /proc/meminfo: memFree=28071604/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=1340996 CPUtime=1541.84 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 276777 0 0 0 154116 68 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140733845035136 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 335249 276677 856 2943 0 332143 0 [pid=4768/tid=4769] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196473457840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1340996 [startup+1602.3 s] /proc/loadavg: 2.30 2.20 2.19 4/184 4886 /proc/meminfo: memFree=28069632/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=1340996 CPUtime=1601.83 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 276777 0 0 0 160114 69 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140733845035136 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 335249 276677 856 2943 0 332143 0 [pid=4768/tid=4769] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196473457840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1340996 [startup+1662.3 s] /proc/loadavg: 2.45 2.26 2.20 3/184 4887 /proc/meminfo: memFree=28069912/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=1340996 CPUtime=1661.82 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 276777 0 0 0 166112 70 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140733845035136 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 335249 276677 856 2943 0 332143 0 [pid=4768/tid=4769] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196473457840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1340996 [startup+1722.3 s] /proc/loadavg: 2.30 2.25 2.20 3/184 4888 /proc/meminfo: memFree=28069996/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=1340996 CPUtime=1721.81 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 276777 0 0 0 172110 71 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140733845036232 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 335249 276677 856 2943 0 332143 0 [pid=4768/tid=4769] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196473457840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1340996 [startup+1782.3 s] /proc/loadavg: 2.23 2.23 2.19 3/184 4889 /proc/meminfo: memFree=28069904/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=1340996 CPUtime=1781.8 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 276777 0 0 0 178108 72 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140733845035136 13950232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 335249 276677 856 2943 0 332143 0 [pid=4768/tid=4769] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196473457840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1340996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.16 2.22 2.19 3/184 4889 /proc/meminfo: memFree=28070044/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=1340996 CPUtime=1800 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 276777 0 0 0 179928 72 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140733845035136 13950218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 335249 276677 856 2943 0 332143 0 [pid=4768/tid=4769] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196473457840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1340996 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 4768 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.16 2.22 2.19 3/184 4889 /proc/meminfo: memFree=28070044/32872528 swapFree=15644/1722384 [pid=4768] ppid=4765 vsize=1340996 CPUtime=1800 cores=1,3,5,7 /proc/4768/stat : 4768 (toysat) R 4765 4768 4315 0 -1 4202496 276777 0 0 0 179928 72 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140733845035136 13950218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/4768/statm: 335249 276677 856 2943 0 332143 0 [pid=4768/tid=4769] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4769/stat : 4769 (toysat) S 4765 4768 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196494421232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=4768/tid=4770] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4770/stat : 4770 (toysat) S 4765 4768 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196483931376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4768/tid=4771] ppid=4765 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/4768/task/4771/stat : 4771 (toysat) S 4765 4768 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107966251 1373179904 276677 33554432000 4194304 16246674 140733845053232 140196473457840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1340996 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.01 CPU user time (s): 1799.29 CPU system time (s): 0.726889 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 1340996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.29 system time used= 0.726889 maximum resident set size= 1106708 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 276777 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= 446 involuntary context switches= 2599 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.26835 second user time and 7.59584 second system time The end
Begin job on node120 at 2016-06-07 02:45:27 IDJOB=4080152 IDBENCH=48223 IDSOLVER=2542 FILE ID=node120/4080152-1465260327 RUNJOBID= node120-1465256721-4332 PBS_JOBID= 19843284 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_3.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080152-1465260327/watcher-4080152-1465260327 -o /tmp/evaluation-result-4080152-1465260327/solver-4080152-1465260327 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4332 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080152-1465260327.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 737bdf32fd69c002d569e68c523af4bf RANDOM SEED=1513294265 node120.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.425 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.85 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.425 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.425 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 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.425 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.425 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.425 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: 29117276 kB Buffers: 38400 kB Cached: 115408 kB SwapCached: 1468 kB Active: 1257848 kB Inactive: 53620 kB Active(anon): 1156584 kB Inactive(anon): 3204 kB Active(file): 101264 kB Inactive(file): 50416 kB Unevictable: 1722384 kB Mlocked: 15644 kB SwapTotal: 67108856 kB SwapFree: 67099628 kB Dirty: 16336 kB Writeback: 0 kB AnonPages: 2817116 kB Mapped: 12008 kB Shmem: 0 kB Slab: 585352 kB SReclaimable: 29416 kB SUnreclaim: 555936 kB KernelStack: 1520 kB PageTables: 9420 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3023340 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2799616 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node120 at 2016-06-07 03:15:27