Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.O parallel | SAT | 5.04114 | 0.734806 |
Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K03-P07.xml |
MD5SUM | da29a6dd83857351367aad9031227a75 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 5.04114 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 102 |
Number of constraints | 41 |
Number of domains | 2 |
Minimum domain size | 39 |
Maximum domain size | 40 |
Distribution of domain sizes | [{"size":39,"count":39},{"size":40,"count":21}] |
Minimum variable degree | 0 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":0,"count":42},{"degree":2,"count":39},{"degree":4,"count":6},{"degree":5,"count":15}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 39 |
Distribution of constraint arities | [{"arity":3,"count":39},{"arity":21,"count":1},{"arity":39,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 39 |
Distribution of constraint types | [{"type":"intension","count":39},{"type":"allDifferent","count":2}] |
Optimization problem | NO |
Type of objective |
0.00/0.04 c 0.00/0.04 c This is cosoco 2.00 -- 0.00/0.04 c 0.00/0.04 c command line: cosoco -model -nbcores=8 HOME/instance-4397999-1568598740.xml 0.00/0.04 c intension eq(dist(cn[0][0],cn[0][1]),ce[0][0][1]) -> extension (support ? 1) - 1560tuples 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension eq(dist(cn[0][0],cn[1][0]),cie[0][0]) -> extension (support ? 1) - 1560tuples 0.10/0.11 c root propagations : 0 0.10/0.11 c restarts enabled, print stats at every restarts 0.10/0.11 c 0.10/0.11 c 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c ========================================[ Problem Statistics ]=========================================== 0.10/0.11 c | 0.10/0.11 c | Parse time : 0.10 s 0.10/0.11 c | 0.10/0.11 c | Variables: 102 0.10/0.11 c | Domain Sizes: 39..40 0.10/0.11 c | 0.10/0.11 c | Constraints: 41 0.10/0.11 c | Arity: 3..39 -- Ternary: 39 0.10/0.11 c | 0.10/0.11 c | Types: 0.10/0.11 c | All Different: 2 0.10/0.11 c | Extension: 39 (nb tuples: 1560..1560) -- (shared: 296) 0.10/0.11 c | 0.10/0.11 c ========================================================================================================= 0.10/0.11 c Parallel mode: Portfolio 0.10/0.11 c [pFactory][Group N°0] created (threads:8). 0.10/0.11 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.10/0.11 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.10/0.11 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.10/0.11 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.10/0.11 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.10/0.11 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.10/0.11 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.10/0.11 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.10/0.11 c [pFactory][Group N°0] concurrent mode: enabled. 0.10/0.11 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.10/0.11 c [pFactory][Group N°0] task 7 launched on thread 0. 0.10/0.11 c [pFactory][Group N°0] task 6 launched on thread 6. 0.10/0.11 c [pFactory][Group N°0] task 5 launched on thread 2. 0.10/0.11 c [pFactory][Group N°0] task 4 launched on thread 1. 0.10/0.11 c [pFactory][Group N°0] task 3 launched on thread 7. 0.10/0.11 c [pFactory][Group N°0] task 2 launched on thread 4. 0.10/0.11 c [pFactory][Group N°0] task 1 launched on thread 5. 0.10/0.11 c [pFactory][Group N°0] task 0 launched on thread 3. 0.10/0.11 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.11 c remove useless variable ce[0][0][0] 0.10/0.11 c remove useless variable ce[0][1][0] 0.10/0.11 c remove useless variable ce[0][1][1] 0.10/0.11 c remove useless variable ce[0][2][0] 0.10/0.11 c remove useless variable ce[0][2][1] 0.10/0.11 c remove useless variable ce[0][2][2] 0.10/0.11 c remove useless variable ce[1][0][0] 0.10/0.11 c remove useless variable ce[1][1][0] 0.10/0.11 c remove useless variable ce[1][1][1] 0.10/0.11 c remove useless variable ce[1][2][0] 0.10/0.11 c remove useless variable ce[1][2][1] 0.10/0.11 c remove useless variable ce[1][2][2] 0.10/0.11 c remove useless variable ce[2][0][0] 0.10/0.11 c remove useless variable ce[2][1][0] 0.10/0.11 c remove useless variable ce[2][1][1] 0.10/0.11 c remove useless variable ce[2][2][0] 0.10/0.11 c remove useless variable ce[2][2][1] 0.10/0.11 c remove useless variable ce[2][2][2] 0.10/0.11 c remove useless variable ce[3][0][0] 0.10/0.11 c remove useless variable ce[3][1][0] 0.10/0.11 c remove useless variable ce[3][1][1] 0.10/0.11 c remove useless variable ce[3][2][0] 0.10/0.11 c remove useless variable ce[3][2][1] 0.10/0.11 c remove useless variable ce[3][2][2] 0.10/0.11 c remove useless variable ce[4][0][0] 0.10/0.11 c remove useless variable ce[4][1][0] 0.10/0.11 c remove useless variable ce[4][1][1] 0.10/0.11 c remove useless variable ce[4][2][0] 0.10/0.11 c remove useless variable ce[4][2][1] 0.10/0.11 c remove useless variable ce[4][2][2] 0.10/0.11 c remove useless variable ce[5][0][0] 0.10/0.11 c remove useless variable ce[5][1][0] 0.10/0.11 c remove useless variable ce[5][1][1] 0.10/0.11 c remove useless variable ce[5][2][0] 0.10/0.11 c remove useless variable ce[5][2][1] 0.10/0.11 c remove useless variable ce[5][2][2] 0.10/0.11 c remove useless variable ce[6][0][0] 0.10/0.11 c remove useless variable ce[6][1][0] 0.10/0.11 c remove useless variable ce[6][1][1] 0.10/0.11 c remove useless variable ce[6][2][0] 0.10/0.11 c remove useless variable ce[6][2][1] 0.10/0.11 c remove useless variable ce[6][2][2] 0.10/0.11 c root propagations : 0 0.10/0.11 c restarts enabled, print stats at every restarts 0.10/0.11 c 0.10/0.11 c 0.10/0.11 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.11 c remove useless variable ce[0][0][0] 0.10/0.11 c remove useless variable ce[0][1][0] 0.10/0.11 c remove useless variable ce[0][1][1] 0.10/0.11 c remove useless variable ce[0][2][0] 0.10/0.11 c remove useless variable ce[0][2][1] 0.10/0.11 c remove useless variable ce[0][2][2] 0.10/0.11 c remove useless variable ce[1][0][0] 0.10/0.11 c remove useless variable ce[1][1][0] 0.10/0.11 c remove useless variable ce[1][1][1] 0.10/0.11 c remove useless variable ce[1][2][0] 0.10/0.11 c remove useless variable ce[1][2][1] 0.10/0.11 c remove useless variable ce[1][2][2] 0.10/0.11 c remove useless variable ce[2][0][0] 0.10/0.11 c remove useless variable ce[2][1][0] 0.10/0.11 c remove useless variable ce[2][1][1] 0.10/0.11 c remove useless variable ce[2][2][0] 0.10/0.11 c remove useless variable ce[2][2][1] 0.10/0.11 c remove useless variable ce[2][2][2] 0.10/0.11 c remove useless variable ce[3][0][0] 0.10/0.11 c remove useless variable ce[3][1][0] 0.10/0.11 c remove useless variable ce[3][1][1] 0.10/0.11 c remove useless variable ce[3][2][0] 0.10/0.11 c remove useless variable ce[3][2][1] 0.10/0.11 c remove useless variable ce[3][2][2] 0.10/0.11 c remove useless variable ce[4][0][0] 0.10/0.11 c remove useless variable ce[4][1][0] 0.10/0.11 c remove useless variable ce[4][1][1] 0.10/0.11 c remove useless variable ce[4][2][0] 0.10/0.11 c remove useless variable ce[4][2][1] 0.10/0.11 c remove useless variable ce[4][2][2] 0.10/0.11 c remove useless variable ce[5][0][0] 0.10/0.11 c remove useless variable ce[5][1][0] 0.10/0.11 c remove useless variable ce[5][1][1] 0.10/0.11 c remove useless variable ce[5][2][0] 0.10/0.11 c remove useless variable ce[5][2][1] 0.10/0.11 c remove useless variable ce[5][2][2] 0.10/0.11 c remove useless variable ce[6][0][0] 0.10/0.11 c remove useless variable ce[6][1][0] 0.10/0.11 c remove useless variable ce[6][1][1] 0.10/0.11 c remove useless variable ce[6][2][0] 0.10/0.11 c remove useless variable ce[6][2][1] 0.10/0.11 c remove useless variable ce[6][2][2] 0.10/0.11 c root propagations : 0 0.10/0.11 c restarts enabled, print stats at every restarts 0.10/0.11 c 0.10/0.11 c 0.10/0.11 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.11 c remove useless variable ce[0][0][0] 0.10/0.11 c remove useless variable ce[0][1][0] 0.10/0.11 c remove useless variable ce[0][1][1] 0.10/0.11 c remove useless variable ce[0][2][0] 0.10/0.11 c remove useless variable ce[0][2][1] 0.10/0.11 c remove useless variable ce[0][2][2] 0.10/0.11 c remove useless variable ce[1][0][0] 0.10/0.11 c remove useless variable ce[1][1][0] 0.10/0.11 c remove useless variable ce[1][1][1] 0.10/0.11 c remove useless variable ce[1][2][0] 0.10/0.11 c remove useless variable ce[1][2][1] 0.10/0.11 c remove useless variable ce[1][2][2] 0.10/0.11 c remove useless variable ce[2][0][0] 0.10/0.11 c remove useless variable ce[2][1][0] 0.10/0.11 c remove useless variable ce[2][1][1] 0.10/0.11 c remove useless variable ce[2][2][0] 0.10/0.11 c remove useless variable ce[2][2][1] 0.10/0.11 c remove useless variable ce[2][2][2] 0.10/0.11 c remove useless variable ce[3][0][0] 0.10/0.11 c remove useless variable ce[3][1][0] 0.10/0.11 c remove useless variable ce[3][1][1] 0.10/0.11 c remove useless variable ce[3][2][0] 0.10/0.11 c remove useless variable ce[3][2][1] 0.10/0.11 c remove useless variable ce[3][2][2] 0.10/0.11 c remove useless variable ce[4][0][0] 0.10/0.11 c remove useless variable ce[4][1][0] 0.10/0.11 c remove useless variable ce[4][1][1] 0.10/0.11 c remove useless variable ce[4][2][0] 0.10/0.11 c remove useless variable ce[4][2][1] 0.10/0.11 c remove useless variable ce[4][2][2] 0.10/0.11 c remove useless variable ce[5][0][0] 0.10/0.11 c remove useless variable ce[5][1][0] 0.10/0.11 c remove useless variable ce[5][1][1] 0.10/0.11 c remove useless variable ce[5][2][0] 0.10/0.11 c remove useless variable ce[5][2][1] 0.10/0.11 c remove useless variable ce[5][2][2] 0.10/0.11 c remove useless variable ce[6][0][0] 0.10/0.11 c remove useless variable ce[6][1][0] 0.10/0.11 c remove useless variable ce[6][1][1] 0.10/0.11 c remove useless variable ce[6][2][0] 0.10/0.11 c remove useless variable ce[6][2][1] 0.10/0.11 c remove useless variable ce[6][2][2] 0.10/0.11 c root propagations : 0 0.10/0.11 c restarts enabled, print stats at every restarts 0.10/0.11 c 0.10/0.11 c 0.10/0.11 c root propagations : 0 0.10/0.11 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.11 c remove useless variable ce[0][0][0] 0.10/0.11 c restarts enabled, print stats at every restarts 0.10/0.11 c root propagations : 0 0.10/0.11 c 0.10/0.11 c 0.10/0.11 c remove useless variable ce[0][1][0] 0.10/0.11 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.11 c root propagations : 0 0.10/0.11 c restarts enabled, print stats at every restarts 0.10/0.11 c 0.10/0.11 c 0.10/0.11 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.11 c remove useless variable ce[0][0][0] 0.10/0.11 c remove useless variable ce[0][1][0] 0.10/0.11 c remove useless variable ce[0][1][1] 0.10/0.11 c remove useless variable ce[0][2][0] 0.10/0.11 c restarts enabled, print stats at every restarts 0.10/0.11 c remove useless variable ce[0][0][0] 0.10/0.11 c remove useless variable ce[0][1][1] 0.10/0.11 c remove useless variable ce[0][1][0] 0.10/0.11 c remove useless variable ce[0][1][1] 0.10/0.11 c remove useless variable ce[0][2][0] 0.10/0.11 c 0.10/0.11 c 0.10/0.11 c remove useless variable ce[0][2][1] 0.10/0.11 c remove useless variable ce[0][2][2] 0.10/0.11 c remove useless variable ce[1][0][0] 0.10/0.11 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.11 c remove useless variable ce[1][1][0] 0.10/0.11 c remove useless variable ce[0][2][1] 0.10/0.11 c remove useless variable ce[0][2][0] 0.10/0.11 c remove useless variable ce[0][2][1] 0.10/0.11 c remove useless variable ce[0][2][2] 0.10/0.11 c remove useless variable ce[1][1][1] 0.10/0.11 c remove useless variable ce[0][0][0] 0.10/0.11 c remove useless variable ce[0][1][0] 0.10/0.11 c remove useless variable ce[0][1][1] 0.10/0.11 c remove useless variable ce[0][2][0] 0.10/0.11 c remove useless variable ce[1][0][0] 0.10/0.11 c remove useless variable ce[1][1][0] 0.10/0.11 c remove useless variable ce[1][1][1] 0.10/0.11 c remove useless variable ce[1][2][0] 0.10/0.11 c remove useless variable ce[1][2][0] 0.10/0.11 c remove useless variable ce[0][2][2] 0.10/0.11 c remove useless variable ce[0][2][1] 0.10/0.11 c remove useless variable ce[1][0][0] 0.10/0.11 c remove useless variable ce[1][1][0] 0.10/0.11 c remove useless variable ce[1][1][1] 0.10/0.11 c remove useless variable ce[0][2][2] 0.10/0.11 c remove useless variable ce[1][2][1] 0.10/0.11 c remove useless variable ce[1][2][2] 0.10/0.11 c remove useless variable ce[1][2][0] 0.10/0.11 c remove useless variable ce[1][0][0] 0.10/0.11 c remove useless variable ce[1][2][1] 0.10/0.11 c remove useless variable ce[1][1][0] 0.10/0.11 c remove useless variable ce[1][1][1] 0.10/0.11 c remove useless variable ce[1][2][1] 0.10/0.11 c remove useless variable ce[2][0][0] 0.10/0.11 c remove useless variable ce[2][1][0] 0.10/0.11 c remove useless variable ce[2][1][1] 0.10/0.11 c remove useless variable ce[1][2][2] 0.10/0.11 c remove useless variable ce[1][2][0] 0.10/0.11 c remove useless variable ce[1][2][2] 0.10/0.11 c remove useless variable ce[2][0][0] 0.10/0.11 c remove useless variable ce[2][1][0] 0.10/0.11 c remove useless variable ce[2][0][0] 0.10/0.11 c remove useless variable ce[2][1][0] 0.10/0.11 c remove useless variable ce[1][2][1] 0.10/0.11 c remove useless variable ce[2][2][0] 0.10/0.11 c remove useless variable ce[2][2][1] 0.10/0.11 c remove useless variable ce[2][2][2] 0.10/0.11 c remove useless variable ce[3][0][0] 0.10/0.11 c remove useless variable ce[2][1][1] 0.10/0.11 c remove useless variable ce[2][2][0] 0.10/0.11 c remove useless variable ce[1][2][2] 0.10/0.11 c remove useless variable ce[2][0][0] 0.10/0.11 c remove useless variable ce[2][1][0] 0.10/0.11 c remove useless variable ce[3][1][0] 0.10/0.11 c remove useless variable ce[2][1][1] 0.10/0.11 c remove useless variable ce[2][2][0] 0.10/0.11 c remove useless variable ce[2][1][1] 0.10/0.11 c remove useless variable ce[2][2][1] 0.10/0.11 c remove useless variable ce[2][2][2] 0.10/0.11 c remove useless variable ce[2][2][1] 0.10/0.11 c remove useless variable ce[3][1][1] 0.10/0.11 c remove useless variable ce[2][2][0] 0.10/0.11 c remove useless variable ce[3][2][0] 0.10/0.11 c remove useless variable ce[2][2][2] 0.10/0.11 c remove useless variable ce[3][0][0] 0.10/0.11 c remove useless variable ce[3][1][0] 0.10/0.11 c remove useless variable ce[3][2][1] 0.10/0.11 c remove useless variable ce[3][2][2] 0.10/0.11 c remove useless variable ce[4][0][0] 0.10/0.11 c remove useless variable ce[3][0][0] 0.10/0.11 c remove useless variable ce[3][1][0] 0.10/0.11 c remove useless variable ce[3][1][1] 0.10/0.11 c remove useless variable ce[3][2][0] 0.10/0.11 c remove useless variable ce[3][2][1] 0.10/0.11 c remove useless variable ce[2][2][1] 0.10/0.11 c remove useless variable ce[3][2][2] 0.10/0.11 c remove useless variable ce[4][1][0] 0.10/0.11 c remove useless variable ce[3][1][1] 0.10/0.11 c remove useless variable ce[4][1][1] 0.10/0.11 c remove useless variable ce[3][2][0] 0.10/0.11 c remove useless variable ce[4][0][0] 0.10/0.11 c remove useless variable ce[4][1][0] 0.10/0.11 c remove useless variable ce[4][2][0] 0.10/0.11 c remove useless variable ce[4][2][1] 0.10/0.11 c remove useless variable ce[4][2][2] 0.10/0.11 c remove useless variable ce[3][2][1] 0.10/0.11 c remove useless variable ce[4][1][1] 0.10/0.11 c remove useless variable ce[2][2][2] 0.10/0.11 c remove useless variable ce[3][2][2] 0.10/0.11 c remove useless variable ce[5][0][0] 0.10/0.11 c remove useless variable ce[3][0][0] 0.10/0.11 c remove useless variable ce[5][1][0] 0.10/0.11 c remove useless variable ce[5][1][1] 0.10/0.11 c remove useless variable ce[3][1][0] 0.10/0.11 c remove useless variable ce[3][1][1] 0.10/0.11 c remove useless variable ce[3][2][0] 0.10/0.11 c remove useless variable ce[3][2][1] 0.10/0.11 c remove useless variable ce[4][0][0] 0.10/0.11 c remove useless variable ce[5][2][0] 0.10/0.11 c remove useless variable ce[4][1][0] 0.10/0.11 c remove useless variable ce[5][2][1] 0.10/0.11 c remove useless variable ce[4][1][1] 0.10/0.11 c remove useless variable ce[5][2][2] 0.10/0.11 c remove useless variable ce[4][2][0] 0.10/0.11 c remove useless variable ce[4][2][0] 0.10/0.11 c remove useless variable ce[4][2][1] 0.10/0.11 c remove useless variable ce[6][0][0] 0.10/0.11 c remove useless variable ce[3][2][2] 0.10/0.11 c remove useless variable ce[4][2][2] 0.10/0.11 c remove useless variable ce[4][0][0] 0.10/0.11 c remove useless variable ce[5][0][0] 0.10/0.11 c remove useless variable ce[6][1][0] 0.10/0.11 c remove useless variable ce[4][1][0] 0.10/0.11 c remove useless variable ce[6][1][1] 0.10/0.11 c remove useless variable ce[6][2][0] 0.10/0.11 c remove useless variable ce[4][2][1] 0.10/0.11 c remove useless variable ce[5][1][0] 0.10/0.11 c remove useless variable ce[4][2][2] 0.10/0.11 c remove useless variable ce[5][1][1] 0.10/0.11 c remove useless variable ce[4][1][1] 0.10/0.11 c remove useless variable ce[5][2][0] 0.10/0.11 c remove useless variable ce[6][2][1] 0.10/0.11 c remove useless variable ce[4][2][0] 0.10/0.11 c remove useless variable ce[5][0][0] 0.10/0.11 c remove useless variable ce[5][1][0] 0.10/0.11 c remove useless variable ce[5][1][1] 0.10/0.11 c remove useless variable ce[5][2][0] 0.10/0.11 c remove useless variable ce[5][2][1] 0.10/0.11 c remove useless variable ce[5][2][2] 0.10/0.11 c remove useless variable ce[5][2][1] 0.10/0.11 c remove useless variable ce[4][2][1] 0.10/0.11 c remove useless variable ce[4][2][2] 0.10/0.11 c remove useless variable ce[5][0][0] 0.10/0.11 c remove useless variable ce[5][1][0] 0.10/0.11 c remove useless variable ce[5][2][2] 0.10/0.11 c remove useless variable ce[6][0][0] 0.10/0.11 c remove useless variable ce[6][1][0] 0.10/0.11 c remove useless variable ce[6][1][1] 0.10/0.11 c remove useless variable ce[6][2][0] 0.10/0.11 c remove useless variable ce[6][2][1] 0.10/0.11 c remove useless variable ce[6][2][2] 0.10/0.11 c remove useless variable ce[6][0][0] 0.10/0.11 c remove useless variable ce[6][1][0] 0.10/0.11 c remove useless variable ce[6][1][1] 0.10/0.11 c remove useless variable ce[6][2][0] 0.10/0.11 c remove useless variable ce[6][2][1] 0.10/0.11 c remove useless variable ce[5][1][1] 0.10/0.11 c remove useless variable ce[6][2][2] 0.10/0.11 c remove useless variable ce[5][2][0] 0.10/0.11 c remove useless variable ce[5][2][1] 0.10/0.11 c remove useless variable ce[5][2][2] 0.10/0.11 c remove useless variable ce[6][0][0] 0.10/0.11 c remove useless variable ce[6][1][0] 0.10/0.11 c remove useless variable ce[6][2][2] 0.10/0.11 c remove useless variable ce[6][1][1] 0.10/0.11 c remove useless variable ce[6][2][0] 0.10/0.11 c remove useless variable ce[6][2][1] 0.10/0.11 c remove useless variable ce[6][2][2] 0.10/0.11 c root propagations : 0 0.10/0.11 c restarts enabled, print stats at every restarts 0.10/0.11 c 0.10/0.11 c 0.10/0.11 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.11 c remove useless variable ce[0][0][0] 0.10/0.11 c remove useless variable ce[0][1][0] 0.10/0.11 c remove useless variable ce[0][1][1] 0.10/0.11 c remove useless variable ce[0][2][0] 0.10/0.11 c remove useless variable ce[0][2][1] 0.10/0.11 c remove useless variable ce[0][2][2] 0.10/0.11 c remove useless variable ce[1][0][0] 0.10/0.11 c remove useless variable ce[1][1][0] 0.10/0.11 c remove useless variable ce[1][1][1] 0.10/0.11 c remove useless variable ce[1][2][0] 0.10/0.11 c remove useless variable ce[1][2][1] 0.10/0.11 c remove useless variable ce[1][2][2] 0.10/0.11 c remove useless variable ce[2][0][0] 0.10/0.11 c remove useless variable ce[2][1][0] 0.10/0.11 c remove useless variable ce[2][1][1] 0.10/0.11 c remove useless variable ce[2][2][0] 0.10/0.11 c remove useless variable ce[2][2][1] 0.10/0.11 c remove useless variable ce[2][2][2] 0.10/0.11 c remove useless variable ce[3][0][0] 0.10/0.11 c remove useless variable ce[3][1][0] 0.10/0.11 c remove useless variable ce[3][1][1] 0.10/0.11 c remove useless variable ce[3][2][0] 0.10/0.11 c remove useless variable ce[3][2][1] 0.10/0.11 c remove useless variable ce[3][2][2] 0.10/0.11 c remove useless variable ce[4][0][0] 0.10/0.11 c remove useless variable ce[4][1][0] 0.10/0.11 c remove useless variable ce[4][1][1] 0.10/0.11 c remove useless variable ce[4][2][0] 0.10/0.11 c remove useless variable ce[4][2][1] 0.10/0.11 c remove useless variable ce[4][2][2] 0.10/0.11 c remove useless variable ce[5][0][0] 0.10/0.11 c remove useless variable ce[5][1][0] 0.10/0.11 c remove useless variable ce[5][1][1] 0.10/0.11 c remove useless variable ce[5][2][0] 0.10/0.11 c remove useless variable ce[5][2][1] 0.10/0.11 c remove useless variable ce[5][2][2] 0.10/0.11 c remove useless variable ce[6][0][0] 0.10/0.11 c remove useless variable ce[6][1][0] 0.10/0.11 c remove useless variable ce[6][1][1] 0.10/0.11 c remove useless variable ce[6][2][0] 0.10/0.11 c remove useless variable ce[6][2][1] 0.10/0.11 c remove useless variable ce[6][2][2] 0.10/0.12 c 101 154 1359 7934 0 0 7 45 35 0.10/0.12 c 32 54 1526 4179 0 0 20 22 21 0.10/0.12 c 32 97 1613 4393 0 0 5 53 46 0.10/0.12 c 32 55 1342 4508 0 0 22 23 21 0.10/0.12 c 101 151 1873 9251 0 0 6 46 34 0.10/0.12 c 32 98 1613 4394 0 0 6 54 47 0.10/0.12 c 33 62 1546 5005 0 0 7 7 3 0.10/0.12 c 33 63 1803 4770 0 0 9 9 4 0.10/0.12 c 33 106 1853 5068 0 0 9 9 4 0.10/0.12 c c 101 131 3139 9894 101 0124 0 2494 15545 0 0 20 22 20 20 23 21 0.10/0.14 0.10/0.14 c 33 107 1853 5069 0 0 9 9 4 0.10/0.14 c 211 296 3458 17569 0 0 4 30 7 0.10/0.14 c 211 334 3575 16644 0 0 3 44 36 0.10/0.14 c 64 96 2506 11830 0 0 4 4 3 0.10/0.14 c 64 203 3248 9336 0 0 5 47 38 0.10/0.15 c 64 160 3330 10710 0 0 11 48 33 0.10/0.15 c 64 204 3244 9337 0 0 5 47 38 0.10/0.15 c 65 104 2775 12524 0 0 8 8 4 0.10/0.15 c 65 208 3500 9849 0 0 5 5 2 0.10/0.15 c 65 166 3575 11229 0 0 6 6 3 0.10/0.15 c 65 209 3496 9850 0 0 5 5 2 0.10/0.15 c 66 113 3032 13179 0 0 9 9 4 0.10/0.15 c 66 213 3744 10363 0 0 5 5 2 0.10/0.15 c 211 370 5876 27619 0 0 22 49 39 0.10/0.15 c 332 476 5231 27581 0 0 5 44 35 0.10/0.15 c 66 214 3740 10364 0 0 5 5 2 0.10/0.15 c 66 188 4004 12313 0 0 22 22 11 0.10/0.15 c 211 428 8130 26673 0 0 7 43 32 0.10/0.15 c 67 218 4000 10846 0 0 5 5 2 0.10/0.15 c 67 124 3412 14119 0 0 11 11 5 0.10/0.15 c 67 195 4236 12895 0 0 7 7 3 0.10/0.15 c 67 219 3996 10847 0 0 5 5 2 0.10/0.16 c 332 551 7873 30823 0 0 4 43 26 0.10/0.16 c 128 263 5275 20481 0 0 8 44 24 0.10/0.16 c 128 278 5762 22637 0 0 7 19 13 0.10/0.16 c 332 631 10219 47686 0 0 31 48 39 0.10/0.16 c 332 639 11743 41871 0 0 26 37 30 0.10/0.17 c 465 714 9814 41804 0 0 3 25 18 0.10/0.17 c 129 295 6118 23483 0 0 17 17 8 0.10/0.18 c 129 284 5939 21725 0 0 21 21 10 0.10/0.18 c 128 429 7168 23989 0 0 5 37 29 0.10/0.18 c 130 309 6419 24277 0 0 14 14 7 0.10/0.18 c 128 432 7169 24052 0 0 5 38 29 0.10/0.18 c 129 432 7347 24363 0 0 3 3 1 0.10/0.18 c 131 326 6730 25117 0 0 17 17 8 0.10/0.18 c 465 776 10796 42423 0 0 2 45 31 0.10/0.18 c 129 435 7371 24400 0 0 3 3 1 0.10/0.18 c 130 306 6798 22732 0 0 22 22 11 0.10/0.18 c 130 437 7555 24813 0 0 5 5 2 0.10/0.18 c 465 921 13702 59192 0 0 30 56 44 0.10/0.18 c 132 340 7030 25911 0 0 14 14 7 0.10/0.18 c c 465 130 81715666 440 56860 7635 0 0 249250 0 21 24 22 5 5 2 0.10/0.18 0.10/0.19 c 131 442 7819 25303 0 0 5 5 2 0.10/0.19 c 611 965 12743 56889 0 0 23 46 35 0.10/0.19 c 133 357 7345 26751 0 0 17 17 8 0.10/0.19 c 131 445 7850 25418 0 0 5 5 2 0.10/0.19 c 132 447 8044 25803 0 0 5 5 2 0.10/0.19 c 131 329 7634 23666 0 0 23 23 11 0.10/0.19 c 134 371 7647 27545 0 0 14 14 7 0.10/0.19 c 132 450 8112 25943 0 0 5 5 2 0.10/0.19 c 133 452 8309 26293 0 0 5 5 2 0.10/0.19 c 611 979 12878 55903 0 0 13 46 38 0.10/0.20 c 135 388 7961 28385 0 0 17 17 8 0.10/0.20 c 133 455 8338 26443 0 0 5 5 2 0.10/0.20 c 134 457 8534 26793 0 0 5 5 2 0.10/0.20 c 134 460 8600 26968 0 0 5 5 2 0.10/0.20 c 135 462 8799 27283 0 0 5 5 2 0.10/0.20 c 132 352 8547 24749 0 0 23 23 11 0.10/0.20 c 135 465 8826 27468 0 0 5 5 2 0.10/0.20 c 771 1213 16382 69424 0 0 10 43 22 0.10/0.20 c 611 1104 19839 76634 0 0 6 44 30 0.10/0.21 c 256 650 11187 42719 0 0 14 53 36 0.10/0.21 c 257 674 11573 43775 0 0 24 24 12 0.10/0.21 c 258 680 11638 44001 0 0 6 6 3 0.10/0.21 c 259 683 11678 44131 0 0 3 3 1 0.95/0.22 c 256 683 11951 43698 0 0 5 44 30 0.95/0.22 c 133 388 9293 26396 0 0 36 36 18 0.95/0.22 c 260 710 12076 45217 0 0 27 27 13 0.95/0.22 c 771 1384 23291 92253 0 0 25 51 39 0.95/0.22 c 771 1243 16410 76630 0 0 16 35 27 0.95/0.22 c 256 738 12452 40287 0 0 5 54 42 0.95/0.22 c 261 734 12458 46273 0 0 24 24 12 0.95/0.23 c 262 740 12523 46499 0 0 6 6 3 0.95/0.23 c 257 713 12560 45161 0 0 30 30 15 0.95/0.23 c 263 743 12563 46629 0 0 3 3 1 0.95/0.23 c 611 1282 22213 96672 0 0 14 51 39 0.95/0.23 c 257 758 12946 41360 0 0 20 20 10 0.95/0.23 c 258 718 12785 45658 0 0 5 5 2 0.95/0.23 c 134 411 10101 27323 0 0 23 23 11 0.95/0.23 c 264 770 12961 47715 0 0 27 27 13 0.95/0.23 c 259 723 13019 46162 0 0 5 5 2 0.95/0.23 c 258 782 13434 42476 0 0 24 24 12 0.95/0.23 c 265 794 13346 48771 0 0 24 24 12 0.95/0.23 c 260 728 13224 46650 0 0 5 5 2 0.95/0.23 c 266 800 13411 48997 0 0 6 6 3 0.95/0.23 c 267 803 13451 49127 0 0 3 3 1 0.95/0.24 c 135 431 10600 28418 0 0 20 20 10 0.95/0.24 c 259 787 13623 42949 0 0 5 5 2 0.95/0.24 c 947 1517 20808 88402 0 0 7 40 30 0.95/0.24 c 261 733 13458 47154 0 0 5 5 2 0.95/0.24 c 268 830 13851 50213 0 0 27 27 13 0.95/0.24 c 947 1519 20120 93272 0 0 8 40 33 0.95/0.24 c 260 805 14046 43937 0 0 18 18 9 0.95/0.24 c 262 738 13664 47642 0 0 5 5 2 0.95/0.24 c 269 854 14234 51269 0 0 24 24 12 0.95/0.25 c 263 743 13882 48131 0 0 5 5 2 0.95/0.25 c 270 860 14299 51495 0 0 6 6 3 0.95/0.25 c 271 863 14339 51625 0 0 3 3 1 0.95/0.25 c 261 822 14430 44787 0 0 17 17 8 0.95/0.25 c 256 569 12852 39882 0 0 14 14 13 0.95/0.26 c 264 748 14087 48619 0 0 5 5 2 0.95/0.26 c 262 825 14608 45114 0 0 3 3 1 0.95/0.26 c 257 575 13062 40368 0 0 6 6 3 0.95/0.26 c 771 1613 27323 120227 0 0 14 44 33 0.95/0.26 c 265 753 14304 49108 0 0 5 5 2 0.95/0.26 c 947 1614 29198 126310 0 0 7 30 18 0.95/0.26 c 263 830 14852 45589 0 0 5 5 2 0.95/0.26 c 266 758 14509 49596 0 0 5 5 2 0.95/0.26 c 264 835 15075 46086 0 0 5 5 2 0.95/0.27 c 267 763 14724 50085 0 0 5 5 2 0.95/0.27 c 258 613 13874 42066 0 0 38 38 19 0.95/0.27 c 268 768 14929 50573 0 0 5 5 2 0.95/0.27 c 265 853 15500 47074 0 0 18 18 9 0.95/0.27 c 1140 1807 24423 109302 0 0 7 41 32 0.95/0.27 c 269 773 15146 51062 0 0 5 5 2 0.95/0.27 c 259 625 14267 42666 0 0 12 12 6 0.95/0.27 c 266 870 15880 47924 0 0 17 17 8 0.95/0.27 c 270 778 15351 51550 0 0 5 5 2 0.95/0.27 c 260 637 14636 43571 0 0 12 12 6 0.95/0.27 c 267 873 16056 48251 0 0 3 3 1 0.95/0.27 c 271 783 15566 52039 0 0 5 5 2 0.95/0.28 c 268 878 16299 48726 0 0 5 5 2 0.95/0.28 c 261 645 14954 44327 0 0 8 8 4 0.95/0.28 c 512 1310 21091 80876 0 0 27 49 37 0.95/0.28 c 947 1952 32069 141382 0 0 13 50 43 0.95/0.28 c 269 883 16507 49213 0 0 5 5 2 0.95/0.28 c 262 649 15146 44841 0 0 4 4 2 0.95/0.28 c 513 1337 21540 82100 0 0 27 27 13 0.95/0.28 c 263 656 15315 45344 0 0 7 7 3 0.95/0.29 c 270 901 16930 50201 0 0 18 18 9 0.95/0.29 c 514 1346 21750 82690 0 0 9 9 4 0.95/0.29 c 264 660 15510 45857 0 0 4 4 2 0.95/0.29 c 265 667 15681 46351 0 0 7 7 3 0.95/0.29 c 515 1363 22049 83504 0 0 17 17 8 0.95/0.29 c 271 918 17311 51051 0 0 17 17 8 0.95/0.29 c 1140 1958 36739 160787 0 0 16 34 25 0.95/0.29 c 1140 1802 27198 131510 0 0 13 27 22 0.95/0.29 c 516 1388 22414 84609 0 0 25 25 12 0.95/0.30 c 517 1409 22683 85456 0 0 21 21 10 0.95/0.30 c 266 703 16404 48017 0 0 36 36 18 0.95/0.30 c 518 1421 22845 86175 0 0 12 12 6 0.95/0.30 c 267 713 16723 48577 0 0 10 10 5 0.95/0.30 c 1352 2197 29853 134324 0 0 8 36 20 0.95/0.30 c 519 1435 23102 86882 0 0 14 14 7 0.95/0.31 c 520 1458 23442 87872 0 0 23 23 11 0.95/0.31 c 268 725 17094 49482 0 0 12 12 6 0.95/0.31 c 1140 2364 38697 164215 0 0 28 47 39 0.95/0.31 c 521 1470 23601 88591 0 0 12 12 6 0.95/0.31 c 512 1257 22335 77878 0 0 5 54 45 0.95/0.31 c 522 1481 23770 89107 0 0 11 11 5 0.95/0.31 c 513 1260 22523 78253 0 0 3 3 1 1.74/0.32 c 523 1504 24110 90097 0 0 23 23 11 1.74/0.32 c 524 1516 24270 90816 0 0 12 12 6 1.74/0.32 c 514 1269 22788 78970 0 0 9 9 4 1.74/0.32 c 525 1527 24440 91332 0 0 11 11 5 1.74/0.32 c 269 733 17414 50238 0 0 8 8 4 1.74/0.32 c 1352 2337 42941 188679 0 0 12 48 26 1.74/0.32 c 1352 2174 31823 154188 0 0 4 49 35 1.74/0.32 c 515 1283 23125 79826 0 0 14 14 7 1.74/0.33 c 526 1550 24778 92322 0 0 23 23 11 1.74/0.33 c 270 737 17610 50752 0 0 4 4 2 1.74/0.33 c 1585 2522 33639 153430 0 0 13 42 36 1.74/0.33 c 527 1562 24939 93041 0 0 12 12 6 1.74/0.33 c 516 1288 23381 80351 0 0 5 5 2 1.74/0.33 c 271 744 17779 51255 0 0 7 7 3 1.74/0.33 c 528 1573 25107 93557 0 0 11 11 5 1.74/0.33 c 517 1297 23643 81068 0 0 9 9 4 1.74/0.33 c 529 1596 25445 94547 0 0 23 23 11 1.74/0.33 c 518 1311 23979 81924 0 0 14 14 7 1.74/0.33 c 530 1608 25606 95266 0 0 12 12 6 1.74/0.34 c 531 1619 25775 95782 0 0 11 11 5 1.74/0.34 c 519 1316 24235 82449 0 0 5 5 2 1.74/0.34 c 532 1642 26113 96772 0 0 23 23 11 1.74/0.34 c 1841 2816 37282 173884 0 0 6 22 15 1.74/0.34 c 520 1325 24496 83166 0 0 9 9 4 1.74/0.34 c 533 1654 26273 97491 0 0 12 12 6 1.74/0.34 c 1585 2531 35966 174450 0 0 9 52 41 1.74/0.34 c 512 1475 27975 89913 0 0 3 41 28 1.74/0.35 c 534 1665 26443 98007 0 0 11 11 5 1.74/0.35 c 513 1478 28157 90280 0 0 3 3 1 1.74/0.35 c 521 1346 24976 84286 0 0 21 21 10 1.74/0.35 c 535 1688 26783 98997 0 0 23 23 11 1.74/0.35 c 514 1483 28402 90751 0 0 5 5 2 1.74/0.35 c 522 1357 25265 84982 0 0 11 11 5 1.74/0.35 c 536 1700 26944 99716 0 0 12 12 6 1.74/0.35 c 1585 2761 48576 209836 0 0 4 51 36 1.74/0.35 c 515 1488 28607 91227 0 0 5 5 2 1.74/0.35 c 523 1365 25478 85558 0 0 8 8 4 1.74/0.36 c 537 1718 27236 100565 0 0 18 18 9 1.74/0.36 c 524 1373 25698 86197 0 0 8 8 4 1.74/0.36 c 516 1493 28852 91698 0 0 5 5 2 1.74/0.36 c 538 1738 27529 101438 0 0 20 20 10 1.74/0.36 c 525 c 1381 517 1498 25910 2905786773 92174 0 0 00 8 8 4 5 5 2 1.74/0.36 1.74/0.37 c 539 1760 27868 102369 0 0 22 22 11 1.74/0.37 c 526 1389 26129 87440 0 0 8 8 4 1.74/0.37 c 2122 3211 41588 201686 0 0 9 42 35 1.74/0.37 c 518 1503 29303 92645 0 0 5 5 2 1.74/0.37 c 540 1770 28052 102903 0 0 10 10 5 1.74/0.37 c 1841 2899 40242 195522 0 0 13 52 34 1.74/0.37 c 512 1219 25472 84496 0 0 4 50 34 1.74/0.37 c 527 1397 26341 88016 0 0 8 8 4 1.74/0.37 c 519 1508 29508 93121 0 0 5 5 2 1.74/0.37 c 541 1789 28307 103589 0 0 19 19 9 1.74/0.37 c 513 1224 25664 84797 0 0 5 5 2 1.74/0.37 c 528 1405 26562 88683 0 0 8 8 4 1.74/0.38 c 520 1513 29753 93592 0 0 5 5 2 1.74/0.38 c 542 1811 28631 104580 0 0 22 22 11 1.74/0.38 c 514 1231 25873 85300 0 0 7 7 3 1.74/0.38 c 529 1413 26774 89259 0 0 8 8 4 1.74/0.38 c 521 1518 29958 94068 0 0 5 5 2 1.74/0.38 c 1352 2919 51105 221055 0 0 9 46 33 1.74/0.38 c 515 1236 26036 85638 0 0 5 5 2 1.74/0.38 c 543 1832 28936 105517 0 0 21 21 10 1.74/0.38 c 530 1421 26996 89898 0 0 8 8 4 1.74/0.38 c 522 1523 30203 94539 0 0 5 5 2 1.74/0.38 c 516 1243 26285 86159 0 0 7 7 3 1.74/0.38 c 531 1429 27208 90474 0 0 8 8 4 1.74/0.39 c 523 1528 30408 95015 0 0 5 5 2 1.74/0.39 c 517 1248 26448 86412 0 0 5 5 2 1.74/0.39 c 532 1437 27430 91113 0 0 8 8 4 1.74/0.39 c 524 1533 30655 95487 0 0 5 5 2 1.74/0.39 c 518 1255 26657 86915 0 0 7 7 3 1.74/0.39 c 533 1445 27642 91689 0 0 8 8 4 1.74/0.39 c 1841 3227 56610 249609 0 0 22 40 31 1.74/0.39 c 2431 3545 45986 240641 0 0 5 17 11 1.74/0.39 c 525 1538 30859 95963 0 0 5 5 2 1.74/0.39 c 519 1260 26820 87253 0 0 5 5 2 1.74/0.39 c 534 1453 27864 92328 0 0 8 8 4 1.74/0.40 c 526 1543 31106 96435 0 0 5 5 2 1.74/0.40 c 520 1267 27069 87774 0 0 7 7 3 1.74/0.40 c 1585 3274 54978 236138 0 0 14 39 31 1.74/0.40 c 535 1461 28076 92904 0 0 8 8 4 1.74/0.40 c 2122 3339 46389 228278 0 0 11 45 38 1.74/0.40 c 521 1272 27232 88027 0 0 5 5 2 1.74/0.40 c 527 1548 31315 96917 0 0 5 5 2 1.74/0.40 c 536 1469 28299 93543 0 0 8 8 4 1.74/0.40 c 522 1279 27440 88530 0 0 7 7 3 1.74/0.40 c 528 1553 31559 97388 0 0 5 5 2 1.74/0.40 c 537 1477 28511 94119 0 0 8 8 4 1.74/0.40 c 523 1284 27603 88868 0 0 5 5 2 1.74/0.41 c 529 1558 31768 97870 0 0 5 5 2 1.74/0.41 c 538 1485 28732 94758 0 0 8 8 4 1.74/0.41 c 539 1493 28945 95334 0 0 8 8 4 1.74/0.41 c 530 1568 32215 98744 0 0 10 10 5 1.74/0.41 c 540 1501 29165 95973 0 0 8 8 4 1.74/0.41 c 531 1573 32438 99202 0 0 5 5 2 1.74/0.41 c 541 1509 29377 96549 0 0 8 8 4 2.53/0.42 c 2770 4007 51542 273599 0 0 12 45 32 2.53/0.42 c 524 1291 27853 89389 0 0 7 7 3 2.53/0.42 c 542 1517 29597 97188 0 0 8 8 4 2.53/0.42 c 525 1296 28016 89642 0 0 5 5 2 2.53/0.42 c 532 1583 32888 100041 0 0 10 10 5 2.53/0.42 c 543 1525 29811 97764 0 0 8 8 4 2.53/0.42 c 526 1303 28225 90145 0 0 7 7 3 2.53/0.42 c 533 1588 33099 100490 0 0 5 5 2 2.53/0.43 c 527 1308 28388 90483 0 0 5 5 2 2.53/0.43 c 2431 3772 51301 259616 0 0 15 48 39 2.53/0.43 c 534 1598 33546 101364 0 0 10 10 5 2.53/0.43 c 528 1315 28638 91004 0 0 7 7 3 2.53/0.44 c 529 1319 28764 91220 0 0 4 4 2 2.53/0.44 c 535 1603 33765 101818 0 0 5 5 2 2.53/0.44 c 1024 2719 40760 170151 0 0 16 46 35 2.53/0.44 c 1025 2726 40811 170371 0 0 7 7 3 2.53/0.44 c 530 1326 28973 91723 0 0 7 7 3 2.53/0.44 c 536 1613 34214 102692 0 0 10 10 5 2.53/0.44 c 531 1330 29099 92025 0 0 4 4 2 2.53/0.44 c 1026 2747 41130 171228 0 0 21 21 10 2.53/0.44 c 537 1618 34401 103164 0 0 5 5 2 2.53/0.45 c 532 1337 29349 92546 0 0 7 7 3 2.53/0.45 c 3142 4459 56442 293117 0 0 5 26 21 2.53/0.45 c 1027 2776 41515 172336 0 0 29 29 14 2.53/0.45 c 533 1341 29475 92762 0 0 4 4 2 2.53/0.45 c 538 1628 34842 104003 0 0 10 10 5 2.53/0.45 c 1028 2791 41756 172960 0 0 15 15 7 2.53/0.45 c 534 1348 29684 93265 0 0 7 7 3 2.53/0.45 c 539 1633 35054 104452 0 0 5 5 2 2.53/0.46 c 535 1352 29810 93567 0 0 4 4 2 2.53/0.46 c 1841 3814 65900 291239 0 0 25 45 36 2.53/0.46 c 1029 2820 42145 174068 0 0 29 29 14 2.53/0.46 c 536 1359 30060 94088 0 0 7 7 3 2.53/0.46 c 1030 2835 42386 174692 0 0 15 15 7 2.53/0.46 c 540 1643 35500 105326 0 0 10 10 5 2.53/0.46 c 537 1363 30186 94304 0 0 4 4 2 2.53/0.46 c 541 1648 35716 105780 0 0 5 5 2 2.53/0.46 c 538 1370 30395 94807 0 0 7 7 3 2.53/0.46 c 1031 2864 42775 175800 0 0 29 29 14 2.53/0.47 c 539 1374 30521 95109 0 0 4 4 2 2.53/0.47 c 1024 2392 40263 144440 0 0 43 56 48 2.53/0.47 c 1032 2879 43016 176424 0 0 15 15 7 2.53/0.47 c 542 1658 36165 106654 0 0 10 10 5 2.53/0.47 c 1025 2395 40455 144748 0 0 3 3 1 2.53/0.47 c 540 1381 30770 95630 0 0 7 7 3 2.53/0.47 c 1033 2908 43405 177532 0 0 29 29 14 2.53/0.47 c 543 1663 36352 107124 0 0 5 5 2 2.53/0.47 c 541 1385 30896 95846 0 0 4 4 2 2.53/0.47 c 1026 2400 40668 145242 0 0 5 5 2 2.53/0.47 c 1034 2923 43646 178156 0 0 15 15 7 2.53/0.48 c 542 1392 31105 96349 0 0 7 7 3 2.53/0.48 c 1027 2405 40867 145723 0 0 5 5 2 2.53/0.48 c 543 1396 31231 96651 0 0 4 4 2 2.53/0.48 c 2770 4361 61749 302075 0 0 9 52 38 2.53/0.48 c 1035 2952 44035 179264 0 0 29 29 14 2.53/0.48 c 1028 2410 41098 146230 0 0 5 5 2 2.53/0.48 c 1029 2415 41277 146697 0 0 5 5 2 2.53/0.48 c 3551 5018 63231 331375 0 0 25 45 35 2.53/0.48 c 1036 2967 44276 179888 0 0 15 15 7 2.53/0.48 c 1030 2420 41489 147189 0 0 5 5 2 2.53/0.49 c 2122 4394 73579 320549 0 0 26 53 41 2.53/0.49 c 1037 2996 44665 180996 0 0 29 29 14 2.53/0.50 c 1031 2425 41707 147643 0 0 5 5 2 2.53/0.50 c 1038 3011 44906 181620 0 0 15 15 7 2.53/0.50 c 1032 2430 41939 148150 0 0 5 5 2 2.53/0.50 c 1039 3040 45295 182728 0 0 29 29 14 2.53/0.50 c 1033 2435 42118 148617 0 0 5 5 2 2.53/0.50 c 1040 3055 45536 183352 0 0 15 15 7 2.53/0.50 c 1034 2440 42331 149109 0 0 5 5 2 2.53/0.51 c 1035 2445 42549 149563 0 0 5 5 2 2.53/0.51 c 1041 3084 45925 184460 0 0 29 29 14 2.53/0.51 c 1036 2450 42780 150070 0 0 5 5 2 2.53/0.51 c 1042 3099 46166 185084 0 0 15 15 7 3.31/0.52 c 1037 2455 43000 150524 0 0 5 5 2 3.31/0.52 c 1043 3128 46555 186192 0 0 29 29 14 3.31/0.52 c 3142 4970 68826 333920 0 0 10 52 40 3.31/0.52 c 1038 2460 43231 151031 0 0 5 5 2 3.31/0.52 c 1044 3143 46796 186816 0 0 15 15 7 3.31/0.52 c 1024 2621 49354 148562 0 0 5 53 45 3.31/0.52 c 1039 2465 43449 151485 0 0 5 5 2 3.31/0.52 c 1045 3172 47185 187924 0 0 29 29 14 3.31/0.52 c 1025 2626 49601 149071 0 0 5 5 2 3.31/0.53 c 1040 2470 43680 151992 0 0 5 5 2 3.31/0.53 c 4000 5646 71784 375793 0 0 12 43 34 3.31/0.53 c 1046 3187 47426 188548 0 0 15 15 7 3.31/0.53 c 1026 2631 49846 149540 0 0 5 5 2 3.31/0.53 c 2431 4965 80837 349784 0 0 27 55 40 3.31/0.53 c 1041 2475 43900 152446 0 0 5 5 2 3.31/0.53 c 1047 3216 47815 189656 0 0 29 29 14 3.31/0.53 c 1027 2636 50093 150049 0 0 5 5 2 3.31/0.53 c 1042 2480 44131 152953 0 0 5 5 2 3.31/0.53 c 1048 3231 48056 190280 0 0 15 15 7 3.31/0.53 c 1028 2641 50306 150500 0 0 5 5 2 3.31/0.54 c 1043 2485 44349 153407 0 0 5 5 2 3.31/0.54 c 1029 2646 50556 150971 0 0 5 5 2 3.31/0.54 c 1049 3260 48445 191388 0 0 29 29 14 3.31/0.54 c 1044 2490 44580 153914 0 0 5 5 2 3.31/0.54 c 1030 2651 50794 151475 0 0 5 5 2 3.31/0.54 c 1050 3275 48686 192012 0 0 15 15 7 3.31/0.54 c 1045 2495 44800 154368 0 0 5 5 2 3.31/0.54 c 1031 2656 51041 151946 0 0 5 5 2 3.31/0.54 c 3551 5557 74732 362750 0 0 16 55 44 3.31/0.54 c 1046 2500 45031 154875 0 0 5 5 2 3.31/0.54 c 1051 3304 49075 193120 0 0 29 29 14 3.31/0.55 c 1032 2661 51278 152450 0 0 5 5 2 3.31/0.55 c 1047 2505 45249 155329 0 0 5 5 2 3.31/0.55 c 1052 3319 49316 193744 0 0 15 15 7 3.31/0.55 c 1033 2666 51520 152918 0 0 5 5 2 3.31/0.55 c 1048 2510 45480 155836 0 0 5 5 2 3.31/0.55 c 4493 6219 79741 400819 0 0 7 16 11 3.31/0.55 c 1053 3348 49705 194852 0 0 29 29 14 3.31/0.55 c 1024 2264 45739 154345 0 0 6 47 32 3.31/0.55 c 1034 2671 51734 153369 0 0 5 5 2 3.31/0.55 c 1049 2515 45700 156290 0 0 5 5 2 3.31/0.55 c 1054 3363 49946 195476 0 0 15 15 7 3.31/0.56 c 1025 2272 46036 154805 0 0 8 8 4 3.31/0.56 c 1035 2676 51993 153845 0 0 5 5 2 3.31/0.56 c 1050 2520 45931 156797 0 0 5 5 2 3.31/0.57 c 1055 3392 50335 196584 0 0 29 29 14 3.31/0.57 c 2122 3824 74275 310788 0 0 12 15 13 3.31/0.57 c 1036 2681 52231 154349 0 0 5 5 2 3.31/0.57 c 1051 2525 46149 157251 0 0 5 5 2 3.31/0.57 c 1026 2281 46333 155274 0 0 9 9 4 3.31/0.57 c 1056 3407 50576 197208 0 0 15 15 7 3.31/0.57 c 1037 2686 52479 154821 0 0 5 5 2 3.31/0.57 c 1052 2530 46380 157758 0 0 5 5 2 3.31/0.57 c 1027 2289 46593 155708 0 0 8 8 4 3.31/0.58 c 1057 3436 50965 198316 0 0 29 29 14 3.31/0.58 c 1038 2691 52718 155325 0 0 5 5 2 3.31/0.58 c 1053 2535 46600 158212 0 0 5 5 2 3.31/0.58 c 1028 2298 46888 156177 0 0 9 9 4 3.31/0.58 c 1058 3451 51206 198940 0 0 15 15 7 3.31/0.58 c 1054 2540 46831 158719 0 0 5 5 2 3.31/0.58 c 1039 2696 52968 155797 0 0 5 5 2 3.31/0.58 c 1029 2306 47147 156611 0 0 8 8 4 3.31/0.58 c 1040 2701 53182 156248 0 0 5 5 2 3.31/0.58 c c 1055 2545 1059470493480 159173 51595 0 0 2000480 5 5 2 0 3.31/0.59 29 29 14 3.31/0.59 c 1030 2315 47442 157080 0 0 9 9 4 3.31/0.59 c 1060 3495 51836 200672 0 0 15 15 7 3.31/0.59 c 1041 2706 53437 156721 0 0 5 5 2 3.31/0.59 c 1056 2550 47280 159680 0 0 5 5 2 3.31/0.59 c 1031 2323 47700 157514 0 0 8 8 4 3.31/0.59 c 1057 2555 47500 160134 0 0 5 5 2 3.31/0.59 c 1042 2711 53677 157225 0 0 5 5 2 3.31/0.59 c 2431 4192 81461 342837 0 0 22 24 23 3.31/0.59 c 1061 3524 52225 201780 0 0 29 29 14 3.31/0.59 c 4000 6306 84899 408643 0 0 20 50 38 3.31/0.59 c 1058 2560 47731 160641 0 0 5 5 2 3.31/0.59 c 1043 2716 53929 157698 0 0 5 5 2 3.31/0.59 c 1062 3539 52466 202404 0 0 15 15 7 3.31/0.59 c 1032 2332 47995 157983 0 0 9 9 4 3.31/0.60 c 1059 2565 47949 161095 0 0 5 5 2 3.31/0.60 c 1044 2721 54169 158202 0 0 5 5 2 3.31/0.60 c 1033 2340 48254 158417 0 0 8 8 4 3.31/0.60 c 1063 3568 52855 203512 0 0 29 29 14 3.31/0.60 c 1060 2570 48180 161602 0 0 5 5 2 3.31/0.60 c 1045 2726 54414 158671 0 0 5 5 2 3.31/0.60 c 1064 3583 53096 204136 0 0 15 15 7 3.31/0.60 c 5035 6913 88022 447319 0 0 19 44 38 3.31/0.60 c 1034 2349 48548 158886 0 0 9 9 4 3.31/0.60 c 1061 2575 48400 162056 0 0 5 5 2 3.31/0.60 c 1046 2731 54628 159122 0 0 5 5 2 3.31/0.60 c 2770 5609 93962 415062 0 0 23 53 34 4.04/0.61 c 1065 3612 53485 205244 0 0 29 29 14 4.04/0.61 c 1035 2357 48807 159320 0 0 8 8 4 4.04/0.61 c 1062 2580 48631 162563 0 0 5 5 2 4.04/0.61 c 1047 2736 54885 159597 0 0 5 5 2 4.04/0.61 c 1066 3627 53726 205868 0 0 15 15 7 4.04/0.61 c 1036 2366 49099 159789 0 0 9 9 4 4.04/0.61 c 1063 2585 48849 163017 0 0 5 5 2 4.04/0.61 c 1048 2741 55123 160101 0 0 5 5 2 4.04/0.61 c 1067 3656 54115 206976 0 0 29 29 14 4.04/0.61 c 1064 2590 49083 163527 0 0 5 5 2 4.04/0.62 c 1037 2374 49357 160223 0 0 8 8 4 4.04/0.62 c 1049 2746 55368 160571 0 0 5 5 2 4.04/0.62 c 1068 3671 54356 207600 0 0 15 15 7 4.04/0.62 c 1065 2595 49303 163981 0 0 5 5 2 4.04/0.62 c 1050 2751 55605 161075 0 0 5 5 2 4.04/0.62 c 1038 2383 49650 160692 0 0 9 9 4 4.04/0.62 c 1069 3700 54745 208708 0 0 29 29 14 4.04/0.62 c 1066 2600 49537 164491 0 0 5 5 2 4.04/0.62 c 1051 2756 55854 161548 0 0 5 5 2 4.04/0.62 c 1039 2391 49908 161126 0 0 8 8 4 4.04/0.62 c 1067 2605 49734 164967 0 0 5 5 2 4.04/0.62 c 1070 3715 54986 209332 0 0 15 15 7 4.04/0.62 c 1052 2761 56068 161999 0 0 5 5 2 4.04/0.63 c 1040 2400 50200 161595 0 0 9 9 4 4.04/0.63 c 1068 2610 49947 165459 0 0 5 5 2 4.04/0.63 c 1053 2766 56319 162470 0 0 5 5 2 4.04/0.63 c 1071 3744 55375 210440 0 0 29 29 14 4.04/0.63 c 1069 2615 50147 165937 0 0 5 5 2 4.04/0.63 c 1041 2408 50453 162018 0 0 8 8 4 4.04/0.63 c 2770 4751 89863 376885 0 0 3 52 26 4.04/0.63 c 1072 3759 55616 211064 0 0 15 15 7 4.04/0.63 c 1054 2771 56557 162974 0 0 5 5 2 4.04/0.63 c 1070 2620 50361 166429 0 0 5 5 2 4.04/0.63 c 1042 2417 50744 162420 0 0 9 9 4 4.04/0.63 c 1055 2776 56805 163445 0 0 5 5 2 4.04/0.63 c 1071 2625 50561 166907 0 0 5 5 2 4.04/0.63 c 1073 3788 56005 212172 0 0 29 29 14 4.04/0.64 c 1056 2781 57043 163949 0 0 5 5 2 4.04/0.64 c 1072 2630 50774 167399 0 0 5 5 2 4.04/0.64 c 1074 3803 56246 212796 0 0 15 15 7 4.04/0.64 c 1043 2427 51092 163075 0 0 10 10 5 4.04/0.64 c 1073 2635 50974 167877 0 0 5 5 2 4.04/0.64 c 1057 2786 57285 164417 0 0 5 5 2 4.04/0.64 c 1075 3832 56635 213904 0 0 29 29 14 4.04/0.64 c 1044 2436 51393 163566 0 0 9 9 4 4.04/0.64 c 3142 6276 103364 466268 0 0 12 43 33 4.04/0.64 c 1074 2640 51187 168369 0 0 5 5 2 4.04/0.64 c 1058 2791 57499 164868 0 0 5 5 2 4.04/0.64 c 5631 7796 100814 498545 0 0 12 46 36 4.04/0.65 c 1076 3847 56876 214528 0 0 15 15 7 4.04/0.65 c 1045 2445 51685 163968 0 0 9 9 4 4.04/0.65 c 1075 2645 51387 168847 0 0 5 5 2 4.04/0.65 c 1059 2796 57759 165344 0 0 5 5 2 4.04/0.65 c 4493 7135 96165 459412 0 0 9 42 29 4.04/0.65 c 1077 3876 57265 215636 0 0 29 29 14 4.04/0.65 c 1076 2650 51600 169339 0 0 5 5 2 4.04/0.65 c 1046 2455 52029 164621 0 0 10 10 5 4.04/0.65 c 1060 2801 57999 165848 0 0 5 5 2 4.04/0.65 c 1077 2655 51800 169817 0 0 5 5 2 4.04/0.65 c 1078 3891 57506 216260 0 0 15 15 7 4.04/0.67 c 1061 2806 58249 166320 0 0 5 5 2 4.04/0.67 c 1078 2660 52013 170309 0 0 5 5 2 4.04/0.67 c 1079 3920 57895 217368 0 0 29 29 14 4.04/0.67 c 1047 2475 52631 165795 0 0 20 20 10 4.04/0.67 c 1062 2811 58488 166824 0 0 5 5 2 4.04/0.67 c 1079 2665 52213 170787 0 0 5 5 2 4.04/0.67 c 1080 3935 58136 217992 0 0 15 15 7 4.04/0.67 c 1048 2482 52874 166118 0 0 7 7 3 4.04/0.67 c 1080 2670 52426 171279 0 0 5 5 2 4.04/0.67 c 1063 2816 58738 167296 0 0 5 5 2 4.04/0.67 c 1081 2675 52626 171757 0 0 5 5 2 4.04/0.67 c 1081 3964 58525 219100 0 0 29 29 14 4.04/0.67 c 1064 2821 58951 167747 0 0 5 5 2 4.04/0.67 c 1049 2491 53167 166520 0 0 9 9 4 4.04/0.68 c 1082 2680 52839 172249 0 0 5 5 2 4.04/0.68 c 1082 3979 58766 219724 0 0 15 15 7 4.04/0.68 c 1065 2826 59203 168220 0 0 5 5 2 4.04/0.68 c 1050 2501 53517 167173 0 0 10 10 5 4.04/0.68 c 1083 2685 53039 172727 0 0 5 5 2 4.04/0.68 c 1083 4008 59155 220832 0 0 29 29 14 4.04/0.68 c 1066 2831 59441 168724 0 0 5 5 2 4.04/0.68 c 1084 2690 53252 173219 0 0 5 5 2 4.04/0.68 c 1084 4023 59396 221456 0 0 15 15 7 4.04/0.68 c 1067 2836 59690 169197 0 0 5 5 2 4.04/0.68 c 1051 2521 54130 168643 0 0 20 20 10 4.04/0.69 c 1085 2695 53452 173697 0 0 5 5 2 4.04/0.69 c 1068 2841 59928 169701 0 0 5 5 2 4.04/0.69 c 1085 4052 59785 222564 0 0 29 29 14 4.04/0.69 c 1086 2700 53665 174189 0 0 5 5 2 4.04/0.69 c 3142 5352 103402 445507 0 0 17 27 19 4.04/0.69 c 1052 2534 54530 169638 0 0 13 13 6 4.04/0.69 c 1087 2705 53865 174667 0 0 5 5 2 4.04/0.69 c 1086 4067 60026 223188 0 0 15 15 7 4.04/0.69 c 1069 2846 60174 170170 0 0 5 5 2 4.04/0.69 c 1053 2542 54825 170048 0 0 8 8 4 4.04/0.69 c 1070 2851 60389 170621 0 0 5 5 2 4.04/0.69 c 1087 4096 60415 224296 0 0 29 29 14 4.04/0.69 c 1054 2551 55116 170450 0 0 9 9 4 4.04/0.69 c 1071 2856 60646 171096 0 0 5 5 2 4.04/0.70 c 1072 2861 60884 171600 0 0 5 5 2 4.04/0.70 c 1055 2561 55463 171103 0 0 10 10 5 4.04/0.70 c 5035 7867 103297 500287 0 0 7 53 26 4.83/0.71 c 1073 2866 61131 172070 0 0 5 5 2 4.83/0.71 c 3551 7100 116148 523882 0 0 20 49 34 4.83/0.71 c 6286 8686 111760 557477 0 0 7 48 36 4.83/0.71 c 1074 2871 61369 172574 0 0 5 5 2 4.83/0.71 c 1056 2581 56076 172573 0 0 20 20 10 4.83/0.71 c 1075 2876 61618 173047 0 0 5 5 2 4.83/0.71 c 1057 2594 56475 173568 0 0 13 13 6 4.83/0.72 c 1076 2881 61832 173498 0 0 5 5 2 4.83/0.72 c 1077 2886 62085 173969 0 0 5 5 2 4.83/0.72 c 1058 2613 57077 174686 0 0 19 19 9 4.83/0.72 c 1078 2891 62325 174473 0 0 5 5 2 4.83/0.73 c 1079 2896 62575 174944 0 0 5 5 2 4.83/0.73 c 1059 2633 57695 176156 0 0 20 20 10 4.83/0.73 c 3551 6170 112890 488721 0 0 13 23 17 4.83/0.73 c 1080 2901 62813 175448 0 0 5 5 2 4.83/0.73 c First solution is found 4.83/0.73 c [pFactory][Group N°0] concurent mode: thread 6 has won with the task 6. 4.83/0.73 c [pFactory][Group N°0] Thread N°0 is joined. 4.83/0.73 c [pFactory][Group N°0] Thread N°1 is joined. 4.83/0.73 c [pFactory][Group N°0] Thread N°2 is joined. 4.83/0.73 c [pFactory][Group N°0] Thread N°3 is joined. 4.83/0.73 c [pFactory][Group N°0] Thread N°4 is joined. 4.83/0.73 c [pFactory][Group N°0] Thread N°5 is joined. 4.83/0.73 c [pFactory][Group N°0] Thread N°6 is joined. 4.83/0.73 c [pFactory][Group N°0] Thread N°7 is joined. 4.83/0.73 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°6) 4.83/0.73 s SATISFIABLE 4.83/0.73 c restarts : 126 4.83/0.73 c conflicts : 1214 (241 /sec) 4.83/0.73 c decisions : 2863 (569 /sec) 4.83/0.73 c propagations : 202720 (40285 /sec) 4.83/0.73 c root propagations : 0 4.83/0.73 c filter calls : 57985 (11523 /sec) 4.83/0.73 c useless filter calls : 30427 (52 %) 4.83/0.73 c Memory used : 577.18 MB 4.83/0.73 c CPU time : 5.0321 s 4.83/0.73 c real time : 0.730545 s 4.83/0.73 4.83/0.73 c solution 1 4.83/0.73 4.83/0.73 v <instantiation type='solution'> 4.83/0.73 v <list>cn[0][0] cn[0][1] cn[0][2] cn[1][0] cn[1][1] cn[1][2] cn[2][0] cn[2][1] cn[2][2] cn[3][0] cn[3][1] cn[3][2] cn[4][0] cn[4][1] cn[4][2] cn[5][0] cn[5][1] cn[5][2] cn[6][0] cn[6][1] cn[6][2] ce[0][0][0] ce[0][0][1] ce[0][0][2] ce[0][1][0] ce[0][1][1] ce[0][1][2] ce[0][2][0] ce[0][2][1] ce[0][2][2] ce[1][0][0] ce[1][0][1] ce[1][0][2] ce[1][1][0] ce[1][1][1] ce[1][1][2] ce[1][2][0] ce[1][2][1] ce[1][2][2] ce[2][0][0] ce[2][0][1] ce[2][0][2] ce[2][1][0] ce[2][1][1] ce[2][1][2] ce[2][2][0] ce[2][2][1] ce[2][2][2] ce[3][0][0] ce[3][0][1] ce[3][0][2] ce[3][1][0] ce[3][1][1] ce[3][1][2] ce[3][2][0] ce[3][2][1] ce[3][2][2] ce[4][0][0] ce[4][0][1] ce[4][0][2] ce[4][1][0] ce[4][1][1] ce[4][1][2] ce[4][2][0] ce[4][2][1] ce[4][2][2] ce[5][0][0] ce[5][0][1] ce[5][0][2] ce[5][1][0] ce[5][1][1] ce[5][1][2] ce[5][2][0] ce[5][2][1] ce[5][2][2] ce[6][0][0] ce[6][0][1] ce[6][0][2] ce[6][1][0] ce[6][1][1] ce[6][1][2] ce[6][2][0] ce[6][2][1] ce[6][2][2] cie[0][0] cie[0][1] cie[0][2] cie[1][0] cie[1][1] cie[1][2] cie[2][0] cie[2][1] cie[2][2] cie[3][0] cie[3][1] cie[3][2] cie[4][0] cie[4][1] cie[4][2] cie[5][0] cie[5][1] cie[5][2] </list> 4.83/0.73 v <values>9 33 28 35 3 12 4 38 16 25 5 19 0 18 17 39 29 2 1 37 30 * 24 19 * * 5 * * * * 32 23 * * 9 * * * * 34 12 * * 22 * * * * 20 6 * * 14 * * * * 18 17 * * 1 * * * * 10 37 * * 27 * * * * 36 29 * * 7 * * * 26 30 16 31 35 4 21 33 3 25 13 2 39 11 15 38 8 28 </values> 4.83/0.73 v </instantiation> 4.83/0.73
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL 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. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15440 MiB free) memory of node 1: 16384 MiB (15161 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397999-1568598740/watcher-4397999-1568598740 -o /tmp/evaluation-result-4397999-1568598740/solver-4397999-1568598740 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568596180-23901 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397999-1568598740.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=24302, runsolver pid=24299 [startup+0.100149 s]* /proc/loadavg: 7.64 8.18 7.84 2/192 24303 /proc/meminfo: memFree=31331388/32770624 swapFree=66986192/67108860 [pid=24302] ppid=24299 vsize=33284 memory=9664 CPUtime=0.1 cores=0-7 /proc/24302/stat : 24302 (cosoco) R 24299 24302 23874 0 -1 4202496 2815 0 0 0 10 0 0 0 20 0 1 0 436141761 34082816 2350 33554432000 4194304 6211092 140729507585296 140729507579592 140028336106302 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 /proc/24302/statm: 8321 2416 831 493 0 1626 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 33284 KiB Current children cumulated memory: 9664 KiB [startup+0.209794 s]* /proc/loadavg: 7.64 8.18 7.84 9/200 24311 /proc/meminfo: memFree=31329840/32770624 swapFree=66986192/67108860 [pid=24302] ppid=24299 vsize=623808 memory=10456 CPUtime=0.95 cores=0-7 /proc/24302/stat : 24302 (cosoco) S 24299 24302 23874 0 -1 1077944320 3181 0 0 0 95 0 0 0 20 0 9 0 436141761 638779392 2614 33554432000 4194304 6211092 140729507585296 140729507583552 140028352151287 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 /proc/24302/statm: 155952 2614 838 493 0 149257 0 [pid=24302/tid=24304] ppid=24299 vsize=623808 memory=8316850467074736180 CPUtime=0.1 cores=0-7 /proc/24302/task/24304/stat : 24304 (cosoco) R 24299 24302 23874 0 -1 4202560 19 0 0 0 10 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028329008504 5037783 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24305] ppid=24299 vsize=623808 memory=9314 CPUtime=0.1 cores=0-7 /proc/24302/task/24305/stat : 24305 (cosoco) R 24299 24302 23874 0 -1 4202560 12 0 0 0 10 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028320615520 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24306] ppid=24299 vsize=623808 memory=3617148292152637088 CPUtime=0.1 cores=0-7 /proc/24302/task/24306/stat : 24306 (cosoco) R 24299 24302 23874 0 -1 4202560 13 0 0 0 10 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028312222816 5082354 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24307] ppid=24299 vsize=623808 memory=-1 CPUtime=0.1 cores=0-7 /proc/24302/task/24307/stat : 24307 (cosoco) R 24299 24302 23874 0 -1 4202560 12 0 0 0 10 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028303830112 5396208 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24308] ppid=24299 vsize=623808 memory=0 CPUtime=0.1 cores=0-7 /proc/24302/task/24308/stat : 24308 (cosoco) R 24299 24302 23874 0 -1 4202560 14 0 0 0 10 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028295437408 5038982 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24309] ppid=24299 vsize=623808 memory=0 CPUtime=0.1 cores=0-7 /proc/24302/task/24309/stat : 24309 (cosoco) R 24299 24302 23874 0 -1 4202560 13 0 0 0 10 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028287044704 5082495 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24310] ppid=24299 vsize=623808 memory=-1 CPUtime=0.1 cores=0-7 /proc/24302/task/24310/stat : 24310 (cosoco) R 24299 24302 23874 0 -1 4202560 18 0 0 0 10 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028278652000 5039014 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24311] ppid=24299 vsize=623808 memory=0 CPUtime=0.09 cores=0-7 /proc/24302/task/24311/stat : 24311 (cosoco) R 24299 24302 23874 0 -1 4202560 12 0 0 0 9 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028270259296 5039536 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 Current children cumulated CPU time: 0.95 s Current children cumulated vsize: 623808 KiB Current children cumulated memory: 10456 KiB [startup+0.309792 s]* /proc/loadavg: 7.64 8.18 7.84 10/200 24311 /proc/meminfo: memFree=31329840/32770624 swapFree=66986192/67108860 [pid=24302] ppid=24299 vsize=623808 memory=10456 CPUtime=1.74 cores=0-7 /proc/24302/stat : 24302 (cosoco) S 24299 24302 23874 0 -1 1077944320 3184 0 0 0 174 0 0 0 20 0 9 0 436141761 638779392 2614 33554432000 4194304 6211092 140729507585296 140729507583552 140028352151287 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 /proc/24302/statm: 155952 2614 838 493 0 149257 0 [pid=24302/tid=24304] ppid=24299 vsize=623808 memory=1398722017469774279 CPUtime=0.2 cores=0-7 /proc/24302/task/24304/stat : 24304 (cosoco) R 24299 24302 23874 0 -1 4202560 20 0 0 0 20 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028329008504 5075231 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24305] ppid=24299 vsize=623808 memory=4872558044660077418 CPUtime=0.2 cores=0-7 /proc/24302/task/24305/stat : 24305 (cosoco) R 24299 24302 23874 0 -1 4202560 12 0 0 0 20 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028320615520 5039026 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24306] ppid=24299 vsize=623808 memory=0 CPUtime=0.2 cores=0-7 /proc/24302/task/24306/stat : 24306 (cosoco) R 24299 24302 23874 0 -1 4202560 13 0 0 0 20 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028312222816 5039210 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24307] ppid=24299 vsize=623808 memory=0 CPUtime=0.2 cores=0-7 /proc/24302/task/24307/stat : 24307 (cosoco) R 24299 24302 23874 0 -1 4202560 13 0 0 0 20 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028303830112 5078762 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24308] ppid=24299 vsize=623808 memory=0 CPUtime=0.2 cores=0-7 /proc/24302/task/24308/stat : 24308 (cosoco) R 24299 24302 23874 0 -1 4202560 15 0 0 0 20 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028295437408 5078884 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24309] ppid=24299 vsize=623808 memory=0 CPUtime=0.2 cores=0-7 /proc/24302/task/24309/stat : 24309 (cosoco) R 24299 24302 23874 0 -1 4202560 13 0 0 0 20 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028287044704 5039145 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24310] ppid=24299 vsize=623808 memory=0 CPUtime=0.2 cores=0-7 /proc/24302/task/24310/stat : 24310 (cosoco) R 24299 24302 23874 0 -1 4202560 18 0 0 0 20 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028278652000 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24311] ppid=24299 vsize=623808 memory=0 CPUtime=0.18 cores=0-7 /proc/24302/task/24311/stat : 24311 (cosoco) R 24299 24302 23874 0 -1 4202560 12 0 0 0 18 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028270259296 5081337 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 Current children cumulated CPU time: 1.74 s Current children cumulated vsize: 623808 KiB Current children cumulated memory: 10456 KiB [startup+0.708787 s] /proc/loadavg: 7.64 8.18 7.84 10/200 24311 /proc/meminfo: memFree=31329840/32770624 swapFree=66986192/67108860 [pid=24302] ppid=24299 vsize=623808 memory=10456 CPUtime=4.83 cores=0-7 /proc/24302/stat : 24302 (cosoco) S 24299 24302 23874 0 -1 1077944320 3185 0 0 0 483 0 0 0 20 0 9 0 436141761 638779392 2614 33554432000 4194304 6211092 140729507585296 140729507583552 140028352151287 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 /proc/24302/statm: 155952 2614 838 493 0 149257 0 [pid=24302/tid=24304] ppid=24299 vsize=623808 memory=5200 CPUtime=0.59 cores=0-7 /proc/24302/task/24304/stat : 24304 (cosoco) R 24299 24302 23874 0 -1 4202560 20 0 0 0 59 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028329008224 5407919 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24305] ppid=24299 vsize=623808 memory=772 CPUtime=0.59 cores=0-7 /proc/24302/task/24305/stat : 24305 (cosoco) R 24299 24302 23874 0 -1 4202560 12 0 0 0 59 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028320615520 5039137 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24306] ppid=24299 vsize=623808 memory=952 CPUtime=0.59 cores=0-7 /proc/24302/task/24306/stat : 24306 (cosoco) R 24299 24302 23874 0 -1 4202560 13 0 0 0 59 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028312222816 5039026 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24307] ppid=24299 vsize=623808 memory=14008 CPUtime=0.59 cores=0-7 /proc/24302/task/24307/stat : 24307 (cosoco) R 24299 24302 23874 0 -1 4202560 13 0 0 0 59 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028303830112 5037750 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24308] ppid=24299 vsize=623808 memory=19608 CPUtime=0.59 cores=0-7 /proc/24302/task/24308/stat : 24308 (cosoco) R 24299 24302 23874 0 -1 4202560 15 0 0 0 59 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028295437408 5035320 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24309] ppid=24299 vsize=623808 memory=0 CPUtime=0.59 cores=0-7 /proc/24302/task/24309/stat : 24309 (cosoco) R 24299 24302 23874 0 -1 4202560 13 0 0 0 59 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028287044704 140028336548989 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24310] ppid=24299 vsize=623808 memory=4872558044660077418 CPUtime=0.59 cores=0-7 /proc/24302/task/24310/stat : 24310 (cosoco) R 24299 24302 23874 0 -1 4202560 19 0 0 0 59 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028278652000 5039178 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24311] ppid=24299 vsize=623808 memory=0 CPUtime=0.55 cores=0-7 /proc/24302/task/24311/stat : 24311 (cosoco) R 24299 24302 23874 0 -1 4202560 12 0 0 0 55 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028270259296 5039178 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 Current children cumulated CPU time: 4.83 s Current children cumulated vsize: 623808 KiB Current children cumulated memory: 10456 KiB [startup+0.734754 s] # the end of solver process 24302 was just reported to runsolver # cumulated CPU time of all completed processes: user=5.03314 s, system=0.008005 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.708787 s] /proc/loadavg: 7.64 8.18 7.84 10/200 24311 /proc/meminfo: memFree=31329840/32770624 swapFree=66986192/67108860 [pid=24302] ppid=24299 vsize=623808 memory=10456 CPUtime=4.83 cores=0-7 /proc/24302/stat : 24302 (cosoco) S 24299 24302 23874 0 -1 1077944320 3185 0 0 0 483 0 0 0 20 0 9 0 436141761 638779392 2614 33554432000 4194304 6211092 140729507585296 140729507583552 140028352151287 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 /proc/24302/statm: 155952 2614 838 493 0 149257 0 [pid=24302/tid=24304] ppid=24299 vsize=623808 memory=5200 CPUtime=0.59 cores=0-7 /proc/24302/task/24304/stat : 24304 (cosoco) R 24299 24302 23874 0 -1 4202560 20 0 0 0 59 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028329008224 5407919 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24305] ppid=24299 vsize=623808 memory=772 CPUtime=0.59 cores=0-7 /proc/24302/task/24305/stat : 24305 (cosoco) R 24299 24302 23874 0 -1 4202560 12 0 0 0 59 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028320615520 5039137 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24306] ppid=24299 vsize=623808 memory=952 CPUtime=0.59 cores=0-7 /proc/24302/task/24306/stat : 24306 (cosoco) R 24299 24302 23874 0 -1 4202560 13 0 0 0 59 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028312222816 5039026 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24307] ppid=24299 vsize=623808 memory=14008 CPUtime=0.59 cores=0-7 /proc/24302/task/24307/stat : 24307 (cosoco) R 24299 24302 23874 0 -1 4202560 13 0 0 0 59 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028303830112 5037750 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24308] ppid=24299 vsize=623808 memory=19608 CPUtime=0.59 cores=0-7 /proc/24302/task/24308/stat : 24308 (cosoco) R 24299 24302 23874 0 -1 4202560 15 0 0 0 59 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028295437408 5035320 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24309] ppid=24299 vsize=623808 memory=0 CPUtime=0.59 cores=0-7 /proc/24302/task/24309/stat : 24309 (cosoco) R 24299 24302 23874 0 -1 4202560 13 0 0 0 59 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028287044704 140028336548989 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24310] ppid=24299 vsize=623808 memory=4872558044660077418 CPUtime=0.59 cores=0-7 /proc/24302/task/24310/stat : 24310 (cosoco) R 24299 24302 23874 0 -1 4202560 19 0 0 0 59 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028278652000 5039178 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 [pid=24302/tid=24311] ppid=24299 vsize=623808 memory=0 CPUtime=0.55 cores=0-7 /proc/24302/task/24311/stat : 24311 (cosoco) R 24299 24302 23874 0 -1 4202560 12 0 0 0 55 0 0 0 20 0 9 0 436141772 638779392 2614 33554432000 4194304 6211092 140729507585296 140028270259296 5039178 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 12918784 140729507587089 140729507587181 140729507587181 140729507590094 0 Current children cumulated CPU time: 4.83 s Current children cumulated vsize: 623808 KiB Current children cumulated memory: 10456 KiB Child status: 0 Real time (s): 0.734806 CPU time (s): 5.04114 CPU user time (s): 5.03314 CPU system time (s): 0.008005 CPU usage (%): 686.051 Max. virtual memory (cumulated for all children) (KiB): 623808 Max. memory (cumulated for all children) (KiB): 10456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.03314 system time used= 0.008005 maximum resident set size= 11140 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3203 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= 162 involuntary context switches= 144 # summary of solver processes directly reported to runsolver: # pid: 24302 # total CPU time (s): 5.04114 # total CPU user time (s): 5.03314 # total CPU system time (s): 0.008005 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.020943 second user time and 0.053098 second system time The end
Begin job on node126 at 2019-09-16 03:51:42 IDJOB=4397999 IDBENCH=120691 IDSOLVER=2851 FILE ID=node126/4397999-1568598740 RUNJOBID= node126-1568596180-23901 PBS_JOBID= 21703398 Free space on /tmp= 55708 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K03-P07.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397999-1568598740/watcher-4397999-1568598740 -o /tmp/evaluation-result-4397999-1568598740/solver-4397999-1568598740 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568596180-23901 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397999-1568598740.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= da29a6dd83857351367aad9031227a75 RANDOM SEED=483972998 node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31336688 kB MemAvailable: 31897660 kB Buffers: 23652 kB Cached: 804436 kB SwapCached: 3876 kB Active: 499196 kB Inactive: 336224 kB Active(anon): 22864 kB Inactive(anon): 15820 kB Active(file): 476332 kB Inactive(file): 320404 kB Unevictable: 108840 kB Mlocked: 108840 kB SwapTotal: 67108860 kB SwapFree: 66986192 kB Dirty: 2804 kB Writeback: 0 kB AnonPages: 141692 kB Mapped: 39660 kB Shmem: 22604 kB Slab: 189020 kB SReclaimable: 160144 kB SUnreclaim: 28876 kB KernelStack: 3824 kB PageTables: 5652 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505908 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 96256 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 55704 MiB End job on node126 at 2019-09-16 03:51:43