Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 parallel | SAT | 5.12912 | 0.743171 |
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-4409259-1569819146.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.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 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 1. 0.10/0.11 c [pFactory][Group N°0] task 6 launched on thread 0. 0.10/0.11 c [pFactory][Group N°0] task 5 launched on thread 6. 0.10/0.11 c [pFactory][Group N°0] task 4 launched on thread 4. 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 2. 0.10/0.11 c [pFactory][Group N°0] task 1 launched on thread 5. 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 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 remove useless variable ce[1][2][0] 0.10/0.11 c remove useless variable ce[1][2][1] 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[1][2][2] 0.10/0.11 c remove useless variable ce[0][0][0] 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 remove useless variable ce[0][1][0] 0.10/0.11 c remove useless variable ce[0][1][1] 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][2][0] 0.10/0.11 c remove useless variable ce[0][0][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[2][1][1] 0.10/0.11 c remove useless variable ce[2][2][0] 0.10/0.11 c remove useless variable ce[0][2][1] 0.10/0.11 c remove useless variable ce[0][1][0] 0.10/0.11 c remove useless variable ce[0][2][2] 0.10/0.11 c remove useless variable ce[2][2][1] 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 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][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[2][2][2] 0.10/0.11 c remove useless variable ce[3][0][0] 0.10/0.11 c remove useless variable ce[1][1][1] 0.10/0.11 c remove useless variable ce[3][1][0] 0.10/0.11 c remove useless variable ce[1][2][0] 0.10/0.11 c remove useless variable ce[0][1][1] 0.10/0.11 c remove useless variable ce[3][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[3][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[3][2][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][1][1] 0.10/0.11 c root propagations : 0 0.10/0.11 c remove useless variable ce[3][2][2] 0.10/0.11 c remove useless variable ce[1][2][0] 0.10/0.11 c remove useless variable ce[4][0][0] 0.10/0.11 c remove useless variable ce[1][2][2] 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[1][0][0] 0.10/0.11 c restarts enabled, print stats at every restarts 0.10/0.11 c remove useless variable ce[2][1][0] 0.10/0.11 c remove useless variable ce[1][1][0] 0.10/0.11 c remove useless variable ce[1][2][2] 0.10/0.11 c remove useless variable ce[1][1][1] 0.10/0.11 c remove useless variable ce[2][0][0] 0.10/0.11 c 0.10/0.11 c 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][0] 0.10/0.11 c remove useless variable ce[2][1][1] 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[1][2][1] 0.10/0.11 c remove useless variable ce[2][2][0] 0.10/0.11 c remove useless variable ce[4][1][0] 0.10/0.11 c remove useless variable ce[2][2][1] 0.10/0.11 c remove useless variable ce[2][2][0] 0.10/0.11 c remove useless variable ce[4][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][2] 0.10/0.11 c remove useless variable ce[3][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[0][1][0] 0.10/0.11 c remove useless variable ce[4][2][0] 0.10/0.11 c remove useless variable ce[0][1][1] 0.10/0.11 c remove useless variable ce[4][2][1] 0.10/0.11 c remove useless variable ce[1][2][2] 0.10/0.11 c remove useless variable ce[3][1][0] 0.10/0.11 c remove useless variable ce[0][2][0] 0.10/0.11 c remove useless variable ce[3][2][0] 0.10/0.11 c remove useless variable ce[3][1][1] 0.10/0.11 c remove useless variable ce[0][2][1] 0.10/0.11 c remove useless variable ce[2][0][0] 0.10/0.11 c remove useless variable ce[4][2][2] 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[5][0][0] 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[0][2][2] 0.10/0.11 c remove useless variable ce[4][0][0] 0.10/0.11 c remove useless variable ce[3][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[5][1][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[5][1][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[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][0][0] 0.10/0.11 c remove useless variable ce[1][0][0] 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[4][1][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[4][2][1] 0.10/0.11 c remove useless variable ce[4][2][2] 0.10/0.11 c remove useless variable ce[1][1][0] 0.10/0.11 c remove useless variable ce[3][2][0] 0.10/0.11 c remove useless variable ce[4][1][1] 0.10/0.11 c remove useless variable ce[1][1][1] 0.10/0.11 c remove useless variable ce[3][2][1] 0.10/0.11 c remove useless variable ce[6][2][0] 0.10/0.11 c remove useless variable ce[5][0][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[5][1][0] 0.10/0.11 c remove useless variable ce[5][1][1] 0.10/0.11 c remove useless variable ce[1][2][0] 0.10/0.11 c remove useless variable ce[4][2][0] 0.10/0.11 c remove useless variable ce[1][2][1] 0.10/0.11 c remove useless variable ce[5][2][0] 0.10/0.11 c remove useless variable ce[4][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[3][2][2] 0.10/0.11 c remove useless variable ce[5][2][1] 0.10/0.11 c remove useless variable ce[4][0][0] 0.10/0.11 c remove useless variable ce[2][1][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][2] 0.10/0.11 c remove useless variable ce[5][2][2] 0.10/0.11 c remove useless variable ce[2][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][0][0] 0.10/0.11 c remove useless variable ce[5][1][0] 0.10/0.11 c remove useless variable ce[6][0][0] 0.10/0.11 c remove useless variable ce[2][2][0] 0.10/0.11 c remove useless variable ce[5][2][2] 0.10/0.11 c remove useless variable ce[5][1][1] 0.10/0.11 c remove useless variable ce[6][0][0] 0.10/0.11 c remove useless variable ce[2][2][1] 0.10/0.11 c remove useless variable ce[6][1][0] 0.10/0.11 c remove useless variable ce[5][2][0] 0.10/0.11 c remove useless variable ce[6][1][1] 0.10/0.11 c remove useless variable ce[5][2][1] 0.10/0.11 c remove useless variable ce[2][2][2] 0.10/0.11 c remove useless variable ce[5][2][2] 0.10/0.11 c remove useless variable ce[6][2][0] 0.10/0.11 c remove useless variable ce[6][1][0] 0.10/0.11 c remove useless variable ce[6][0][0] 0.10/0.11 c remove useless variable ce[6][2][1] 0.10/0.11 c remove useless variable ce[6][1][1] 0.10/0.11 c remove useless variable ce[6][2][2] 0.10/0.11 c remove useless variable ce[6][2][0] 0.10/0.11 c remove useless variable ce[3][0][0] 0.10/0.11 c remove useless variable ce[6][1][0] 0.10/0.11 c remove useless variable ce[3][1][0] 0.10/0.11 c remove useless variable ce[6][2][1] 0.10/0.11 c remove useless variable ce[3][1][1] 0.10/0.11 c remove useless variable ce[6][2][2] 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[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[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][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.12 c root propagations : 0 0.10/0.12 c restarts enabled, print stats at every restarts 0.10/0.12 c 0.10/0.12 c 0.10/0.12 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.12 c remove useless variable ce[0][0][0] 0.10/0.12 c remove useless variable ce[0][1][0] 0.10/0.12 c remove useless variable ce[0][1][1] 0.10/0.12 c remove useless variable ce[0][2][0] 0.10/0.12 c remove useless variable ce[0][2][1] 0.10/0.12 c remove useless variable ce[0][2][2] 0.10/0.12 c remove useless variable ce[1][0][0] 0.10/0.12 c remove useless variable ce[1][1][0] 0.10/0.12 c remove useless variable ce[1][1][1] 0.10/0.12 c remove useless variable ce[1][2][0] 0.10/0.12 c remove useless variable ce[1][2][1] 0.10/0.12 c remove useless variable ce[1][2][2] 0.10/0.12 c remove useless variable ce[2][0][0] 0.10/0.12 c remove useless variable ce[2][1][0] 0.10/0.12 c remove useless variable ce[2][1][1] 0.10/0.12 c remove useless variable ce[2][2][0] 0.10/0.12 c remove useless variable ce[2][2][1] 0.10/0.12 c remove useless variable ce[2][2][2] 0.10/0.12 c remove useless variable ce[3][0][0] 0.10/0.12 c remove useless variable ce[3][1][0] 0.10/0.12 c remove useless variable ce[3][1][1] 0.10/0.12 c remove useless variable ce[3][2][0] 0.10/0.12 c remove useless variable ce[3][2][1] 0.10/0.12 c remove useless variable ce[3][2][2] 0.10/0.12 c remove useless variable ce[4][0][0] 0.10/0.12 c remove useless variable ce[4][1][0] 0.10/0.12 c remove useless variable ce[4][1][1] 0.10/0.12 c remove useless variable ce[4][2][0] 0.10/0.12 c remove useless variable ce[4][2][1] 0.10/0.12 c remove useless variable ce[4][2][2] 0.10/0.12 c remove useless variable ce[5][0][0] 0.10/0.12 c remove useless variable ce[5][1][0] 0.10/0.12 c remove useless variable ce[5][1][1] 0.10/0.12 c remove useless variable ce[5][2][0] 0.10/0.12 c remove useless variable ce[5][2][1] 0.10/0.12 c remove useless variable ce[5][2][2] 0.10/0.12 c remove useless variable ce[6][0][0] 0.10/0.12 c remove useless variable ce[6][1][0] 0.10/0.12 c remove useless variable ce[6][1][1] 0.10/0.12 c remove useless variable ce[6][2][0] 0.10/0.12 c remove useless variable ce[6][2][1] 0.10/0.12 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 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 32 97 1613 4393 0 0 5 53 46 0.10/0.13 c 33 63 1803 4770 0 0 9 9 4 0.10/0.13 c 33 62 1546 5005 0 0 7 7 3 0.10/0.13 c 33 107 1853 5069 0 0 9 9 4 0.10/0.13 c 33 106 1853 5068 0 0 9 9 4 0.10/0.13 c 101 131 3139 9894 0 0 20 22 20 0.10/0.13 c 101 124 2494 15545 0 0 20 23 21 0.10/0.13 c 211 296 3458 17569 0 0 4 30 7 0.10/0.13 c 211 334 3575 16644 0 0 3 44 36 0.10/0.13 c 64 96 2506 11830 0 0 4 4 3 0.10/0.13 c 64 204 3244 9337 0 0 5 47 38 0.10/0.13 c 64 160 3330 10710 0 0 11 48 33 0.10/0.13 c 64 203 3248 9336 0 0 5 47 38 0.10/0.14 c 65 104 2775 12524 0 0 8 8 4 0.10/0.14 c 65 166 3575 11229 0 0 6 6 3 0.10/0.14 c 65 209 3496 9850 0 0 5 5 2 0.10/0.14 c 65 208 3500 9849 0 0 5 5 2 0.10/0.14 c 66 113 3032 13179 0 0 9 9 4 0.10/0.14 c 66 214 3740 10364 0 0 5 5 2 0.10/0.14 c 66 213 3744 10363 0 0 5 5 2 0.10/0.14 c 332 476 5231 27581 0 0 5 44 35 0.10/0.14 c 211 370 5876 27619 0 0 22 49 39 0.10/0.14 c 66 188 4004 12313 0 0 22 22 11 0.10/0.14 c 211 428 8130 26673 0 0 7 43 32 0.10/0.15 c 67 219 3996 10847 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 218 4000 10846 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.17 c 128 278 5762 22637 0 0 7 19 13 0.10/0.17 c 332 639 11743 41871 0 0 26 37 30 0.10/0.17 c 332 631 10219 47686 0 0 31 48 39 0.10/0.17 c 129 295 6118 23483 0 0 17 17 8 0.10/0.17 c 465 714 9814 41804 0 0 3 25 18 0.10/0.17 c 129 284 5939 21725 0 0 21 21 10 0.10/0.17 c 130 309 6419 24277 0 0 14 14 7 0.10/0.17 c 128 432 7169 24052 0 0 5 38 29 0.10/0.17 c 128 429 7168 23989 0 0 5 37 29 0.10/0.18 c 465 776 10796 42423 0 0 2 45 31 0.10/0.18 c 131 326 6730 25117 0 0 17 17 8 0.10/0.18 c 129 435 7371 24400 0 0 3 3 1 0.10/0.18 c 129 432 7347 24363 0 0 3 3 1 0.10/0.18 c 130 306 6798 22732 0 0 22 22 11 0.10/0.18 c 132 340 7030 25911 0 0 14 14 7 0.10/0.18 c 465 817 15666 56860 0 0 21 24 22 0.10/0.18 c 130 437 7555 24813 0 0 5 5 2 0.10/0.18 c 130 440 7635 24925 0 0 5 5 2 0.10/0.18 c 465 921 13702 59192 0 0 30 56 44 0.10/0.18 c 133 357 7345 26751 0 0 17 17 8 0.10/0.18 c 131 445 7850 25418 0 0 5 5 2 0.10/0.18 c 611 965 12743 56889 0 0 23 46 35 0.10/0.18 c 131 442 7819 25303 0 0 5 5 2 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 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 611 979 12878 55903 0 0 13 46 38 0.10/0.19 c 133 455 8338 26443 0 0 5 5 2 0.10/0.19 c 135 388 7961 28385 0 0 17 17 8 0.10/0.19 c 133 452 8309 26293 0 0 5 5 2 0.10/0.19 c 134 460 8600 26968 0 0 5 5 2 0.10/0.19 c 134 457 8534 26793 0 0 5 5 2 0.10/0.20 c 132 352 8547 24749 0 0 23 23 11 0.10/0.20 c 611 1104 19839 76634 0 0 6 44 30 0.10/0.20 c 135 465 8826 27468 0 0 5 5 2 0.10/0.20 c 135 462 8799 27283 0 0 5 5 2 0.10/0.20 c 771 1213 16382 69424 0 0 10 43 22 0.10/0.20 c 256 650 11187 42719 0 0 14 53 36 0.10/0.21 c 133 388 9293 26396 0 0 36 36 18 0.97/0.22 c 257 674 11573 43775 0 0 24 24 12 0.97/0.22 c 258 680 11638 44001 0 0 6 6 3 0.97/0.22 c 259 683 11678 44131 0 0 3 3 1 0.97/0.22 c 771 1384 23291 92253 0 0 25 51 39 0.97/0.22 c 260 710 12076 45217 0 0 27 27 13 0.97/0.22 c 771 1243 16410 76630 0 0 16 35 27 0.97/0.22 c 134 411 10101 27323 0 0 23 23 11 0.97/0.22 c 256 683 11951 43698 0 0 5 44 30 0.97/0.22 c 261 734 12458 46273 0 0 24 24 12 0.97/0.23 c 262 740 12523 46499 0 0 6 6 3 0.97/0.23 c 263 743 12563 46629 0 0 3 3 1 0.97/0.23 c 135 431 10600 28418 0 0 20 20 10 0.97/0.23 c 257 713 12560 45161 0 0 30 30 15 0.97/0.23 c 611 1282 22213 96672 0 0 14 51 39 0.97/0.23 c 264 770 12961 47715 0 0 27 27 13 0.97/0.23 c 256 738 12452 40287 0 0 5 54 42 0.97/0.23 c 258 718 12785 45658 0 0 5 5 2 0.97/0.23 c 265 794 13346 48771 0 0 24 24 12 0.97/0.23 c 266 800 13411 48997 0 0 6 6 3 0.97/0.23 c 267 803 13451 49127 0 0 3 3 1 0.97/0.23 c 259 723 13019 46162 0 0 5 5 2 0.97/0.23 c 256 569 12852 39882 0 0 14 14 13 0.97/0.23 c 257 758 12946 41360 0 0 20 20 10 0.97/0.24 c 260 728 13224 46650 0 0 5 5 2 0.97/0.24 c 947 1517 20808 88402 0 0 7 40 30 0.97/0.24 c 947 1519 20120 93272 0 0 8 40 33 0.97/0.25 c 268 830 13851 50213 0 0 27 27 13 0.97/0.25 c 257 575 13062 40368 0 0 6 6 3 0.97/0.25 c 261 733 13458 47154 0 0 5 5 2 0.97/0.25 c 258 782 13434 42476 0 0 24 24 12 0.97/0.25 c 269 854 14234 51269 0 0 24 24 12 0.97/0.25 c 270 860 14299 51495 0 0 6 6 3 0.97/0.25 c 262 738 13664 47642 0 0 5 5 2 0.97/0.25 c 271 863 14339 51625 0 0 3 3 1 0.97/0.25 c 259 787 13623 42949 0 0 5 5 2 0.97/0.25 c 263 743 13882 48131 0 0 5 5 2 0.97/0.25 c 258 613 13874 42066 0 0 38 38 19 0.97/0.25 c 947 1614 29198 126310 0 0 7 30 18 0.97/0.25 c 260 805 14046 43937 0 0 18 18 9 0.97/0.25 c 264 748 14087 48619 0 0 5 5 2 0.97/0.25 c 771 1613 27323 120227 0 0 14 44 33 0.97/0.25 c 259 625 14267 42666 0 0 12 12 6 0.97/0.25 c 265 753 14304 49108 0 0 5 5 2 0.97/0.25 c 261 822 14430 44787 0 0 17 17 8 0.97/0.26 c 266 758 14509 49596 0 0 5 5 2 0.97/0.26 c 260 637 14636 43571 0 0 12 12 6 0.97/0.26 c 262 825 14608 45114 0 0 3 3 1 0.97/0.27 c 267 763 14724 50085 0 0 5 5 2 0.97/0.27 c 263 830 14852 45589 0 0 5 5 2 0.97/0.27 c 261 645 14954 44327 0 0 8 8 4 0.97/0.27 c 1140 1807 24423 109302 0 0 7 41 32 0.97/0.27 c 268 768 14929 50573 0 0 5 5 2 0.97/0.27 c 264 835 15075 46086 0 0 5 5 2 0.97/0.27 c 262 649 15146 44841 0 0 4 4 2 0.97/0.27 c 269 773 15146 51062 0 0 5 5 2 0.97/0.27 c 263 656 15315 45344 0 0 7 7 3 0.97/0.27 c 270 778 15351 51550 0 0 5 5 2 0.97/0.27 c 265 853 15500 47074 0 0 18 18 9 0.97/0.27 c 264 660 15510 45857 0 0 4 4 2 0.97/0.27 c 512 1310 21091 80876 0 0 27 49 37 0.97/0.28 c 271 783 15566 52039 0 0 5 5 2 0.97/0.28 c 265 667 15681 46351 0 0 7 7 3 0.97/0.28 c 266 870 15880 47924 0 0 17 17 8 0.97/0.28 c 513 1337 21540 82100 0 0 27 27 13 0.97/0.28 c 947 1952 32069 141382 0 0 13 50 43 0.97/0.28 c 267 873 16056 48251 0 0 3 3 1 0.97/0.28 c 514 1346 21750 82690 0 0 9 9 4 0.97/0.28 c 266 703 16404 48017 0 0 36 36 18 0.97/0.28 c 268 878 16299 48726 0 0 5 5 2 0.97/0.28 c 1140 1958 36739 160787 0 0 16 34 25 0.97/0.28 c 515 1363 22049 83504 0 0 17 17 8 0.97/0.28 c 1140 1802 27198 131510 0 0 13 27 22 0.97/0.29 c 269 883 16507 49213 0 0 5 5 2 0.97/0.29 c 267 713 16723 48577 0 0 10 10 5 0.97/0.29 c 516 1388 22414 84609 0 0 25 25 12 0.97/0.29 c 517 1409 22683 85456 0 0 21 21 10 0.97/0.29 c 270 901 16930 50201 0 0 18 18 9 0.97/0.29 c 268 725 17094 49482 0 0 12 12 6 0.97/0.29 c 518 1421 22845 86175 0 0 12 12 6 0.97/0.31 c 271 918 17311 51051 0 0 17 17 8 0.97/0.31 c 269 733 17414 50238 0 0 8 8 4 0.97/0.31 c 519 1435 23102 86882 0 0 14 14 7 0.97/0.31 c 1352 2197 29853 134324 0 0 8 36 20 0.97/0.31 c 270 737 17610 50752 0 0 4 4 2 0.97/0.31 c 520 1458 23442 87872 0 0 23 23 11 0.97/0.31 c 271 744 17779 51255 0 0 7 7 3 0.97/0.31 c 521 1470 23601 88591 0 0 12 12 6 0.97/0.31 c 522 1481 23770 89107 0 0 11 11 5 0.97/0.31 c 1140 2364 38697 164215 0 0 28 47 39 0.97/0.31 c 523 1504 24110 90097 0 0 23 23 11 1.76/0.32 c 524 1516 24270 90816 0 0 12 12 6 1.76/0.32 c 512 1257 22335 77878 0 0 5 54 45 1.76/0.32 c 1352 2337 42941 188679 0 0 12 48 26 1.76/0.32 c 1352 2174 31823 154188 0 0 4 49 35 1.76/0.32 c 525 1527 24440 91332 0 0 11 11 5 1.76/0.32 c 513 1260 22523 78253 0 0 3 3 1 1.76/0.32 c 526 1550 24778 92322 0 0 23 23 11 1.76/0.32 c 514 1269 22788 78970 0 0 9 9 4 1.76/0.32 c 527 1562 24939 93041 0 0 12 12 6 1.76/0.32 c 1585 2522 33639 153430 0 0 13 42 36 1.76/0.32 c 528 1573 25107 93557 0 0 11 11 5 1.76/0.32 c 515 1283 23125 79826 0 0 14 14 7 1.76/0.33 c 529 1596 25445 94547 0 0 23 23 11 1.76/0.33 c 516 1288 23381 80351 0 0 5 5 2 1.76/0.33 c 530 1608 25606 95266 0 0 12 12 6 1.76/0.33 c 517 1297 23643 81068 0 0 9 9 4 1.76/0.33 c 531 1619 25775 95782 0 0 11 11 5 1.76/0.34 c 532 1642 26113 96772 0 0 23 23 11 1.76/0.34 c 518 1311 23979 81924 0 0 14 14 7 1.76/0.34 c 1585 2531 35966 174450 0 0 9 52 41 1.76/0.34 c 533 1654 26273 97491 0 0 12 12 6 1.76/0.34 c 1841 2816 37282 173884 0 0 6 22 15 1.76/0.34 c 519 1316 24235 82449 0 0 5 5 2 1.76/0.34 c 534 1665 26443 98007 0 0 11 11 5 1.76/0.34 c 512 1219 25472 84496 0 0 4 50 34 1.76/0.34 c 520 1325 24496 83166 0 0 9 9 4 1.76/0.34 c 535 1688 26783 98997 0 0 23 23 11 1.76/0.35 c 1585 2761 48576 209836 0 0 4 51 36 1.76/0.35 c 513 1224 25664 84797 0 0 5 5 2 1.76/0.35 c 536 1700 26944 99716 0 0 12 12 6 1.76/0.35 c 514 1231 25873 85300 0 0 7 7 3 1.76/0.35 c 521 1346 24976 84286 0 0 21 21 10 1.76/0.35 c 537 1718 27236 100565 0 0 18 18 9 1.76/0.35 c 515 1236 26036 85638 0 0 5 5 2 1.76/0.35 c 522 1357 25265 84982 0 0 11 11 5 1.76/0.35 c 538 1738 27529 101438 0 0 20 20 10 1.76/0.37 c 516 1243 26285 86159 0 0 7 7 3 1.76/0.37 c 523 1365 25478 85558 0 0 8 8 4 1.76/0.37 c 1841 2899 40242 195522 0 0 13 52 34 1.76/0.37 c 539 1760 27868 102369 0 0 22 22 11 1.76/0.37 c 517 1248 26448 86412 0 0 5 5 2 1.76/0.37 c 540 1770 28052 102903 0 0 10 10 5 1.76/0.37 c 524 1373 25698 86197 0 0 8 8 4 1.76/0.37 c 512 1475 27975 89913 0 0 3 41 28 1.76/0.37 c 518 1255 26657 86915 0 0 7 7 3 1.76/0.37 c 2122 3211 41588 201686 0 0 9 42 35 1.76/0.37 c 541 1789 28307 103589 0 0 19 19 9 1.76/0.37 c 525 1381 25910 86773 0 0 8 8 4 1.76/0.37 c 513 1478 28157 90280 0 0 3 3 1 1.76/0.38 c 519 1260 26820 87253 0 0 5 5 2 1.76/0.38 c 526 1389 26129 87440 0 0 8 8 4 1.76/0.38 c 542 1811 28631 104580 0 0 22 22 11 1.76/0.38 c 514 1483 28402 90751 0 0 5 5 2 1.76/0.38 c 520 1267 27069 87774 0 0 7 7 3 1.76/0.38 c 527 1397 26341 88016 0 0 8 8 4 1.76/0.38 c 543 1832 28936 105517 0 0 21 21 10 1.76/0.38 c 515 1488 28607 91227 0 0 5 5 2 1.76/0.38 c 521 1272 27232 88027 0 0 5 5 2 1.76/0.38 c 528 1405 26562 88683 0 0 8 8 4 1.76/0.38 c 516 1493 28852 91698 0 0 5 5 2 1.76/0.39 c 522 1279 27440 88530 0 0 7 7 3 1.76/0.39 c 1352 2919 51105 221055 0 0 9 46 33 1.76/0.39 c 529 1413 26774 89259 0 0 8 8 4 1.76/0.39 c 517 1498 29057 92174 0 0 5 5 2 1.76/0.39 c 523 1284 27603 88868 0 0 5 5 2 1.76/0.39 c 1841 3227 56610 249609 0 0 22 40 31 1.76/0.39 c 530 1421 26996 89898 0 0 8 8 4 1.76/0.39 c 518 1503 29303 92645 0 0 5 5 2 1.76/0.39 c 524 1291 27853 89389 0 0 7 7 3 1.76/0.39 c 531 1429 27208 90474 0 0 8 8 4 1.76/0.39 c 519 1508 29508 93121 0 0 5 5 2 1.76/0.39 c 525 1296 28016 89642 0 0 5 5 2 1.76/0.39 c 2122 3339 46389 228278 0 0 11 45 38 1.76/0.39 c 532 1437 27430 91113 0 0 8 8 4 1.76/0.39 c 2431 3545 45986 240641 0 0 5 17 11 1.76/0.40 c 526 1303 28225 90145 0 0 7 7 3 1.76/0.40 c 520 1513 29753 93592 0 0 5 5 2 1.76/0.40 c 533 1445 27642 91689 0 0 8 8 4 1.76/0.40 c 527 1308 28388 90483 0 0 5 5 2 1.76/0.40 c 521 1518 29958 94068 0 0 5 5 2 1.76/0.40 c 534 1453 27864 92328 0 0 8 8 4 1.76/0.40 c 1585 3274 54978 236138 0 0 14 39 31 1.76/0.40 c 528 1315 28638 91004 0 0 7 7 3 1.76/0.40 c 522 1523 30203 94539 0 0 5 5 2 1.76/0.40 c 535 1461 28076 92904 0 0 8 8 4 1.76/0.41 c 529 1319 28764 91220 0 0 4 4 2 1.76/0.41 c 523 1528 30408 95015 0 0 5 5 2 1.76/0.41 c 536 1469 28299 93543 0 0 8 8 4 1.76/0.41 c 530 1326 28973 91723 0 0 7 7 3 1.76/0.41 c 524 1533 30655 95487 0 0 5 5 2 1.76/0.41 c 537 1477 28511 94119 0 0 8 8 4 1.76/0.41 c 531 1330 29099 92025 0 0 4 4 2 1.76/0.41 c 538 1485 28732 94758 0 0 8 8 4 2.54/0.42 c 532 1337 29349 92546 0 0 7 7 3 2.54/0.42 c 533 1341 29475 92762 0 0 4 4 2 2.54/0.42 c 539 1493 28945 95334 0 0 8 8 4 2.54/0.42 c 534 1348 29684 93265 0 0 7 7 3 2.54/0.42 c 540 1501 29165 95973 0 0 8 8 4 2.54/0.42 c 2770 4007 51542 273599 0 0 12 45 32 2.54/0.42 c 525 1538 30859 95963 0 0 5 5 2 2.54/0.42 c 535 1352 29810 93567 0 0 4 4 2 2.54/0.42 c 541 1509 29377 96549 0 0 8 8 4 2.54/0.42 c 2431 3772 51301 259616 0 0 15 48 39 2.54/0.43 c 526 1543 31106 96435 0 0 5 5 2 2.54/0.43 c 536 1359 30060 94088 0 0 7 7 3 2.54/0.43 c 542 1517 29597 97188 0 0 8 8 4 2.54/0.43 c 537 1363 30186 94304 0 0 4 4 2 2.54/0.43 c 527 1548 31315 96917 0 0 5 5 2 2.54/0.43 c 543 1525 29811 97764 0 0 8 8 4 2.54/0.43 c 538 1370 30395 94807 0 0 7 7 3 2.54/0.43 c 528 1553 31559 97388 0 0 5 5 2 2.54/0.43 c 539 1374 30521 95109 0 0 4 4 2 2.54/0.43 c 1024 2719 40760 170151 0 0 16 46 35 2.54/0.43 c 1025 2726 40811 170371 0 0 7 7 3 2.54/0.44 c 529 1558 31768 97870 0 0 5 5 2 2.54/0.44 c 540 1381 30770 95630 0 0 7 7 3 2.54/0.44 c 1026 2747 41130 171228 0 0 21 21 10 2.54/0.44 c 541 1385 30896 95846 0 0 4 4 2 2.54/0.44 c 530 1568 32215 98744 0 0 10 10 5 2.54/0.44 c 542 1392 31105 96349 0 0 7 7 3 2.54/0.44 c 1027 2776 41515 172336 0 0 29 29 14 2.54/0.44 c 531 1573 32438 99202 0 0 5 5 2 2.54/0.44 c 543 1396 31231 96651 0 0 4 4 2 2.54/0.44 c 3142 4459 56442 293117 0 0 5 26 21 2.54/0.45 c 1028 2791 41756 172960 0 0 15 15 7 2.54/0.45 c 532 1583 32888 100041 0 0 10 10 5 2.54/0.45 c 1029 2820 42145 174068 0 0 29 29 14 2.54/0.45 c 533 1588 33099 100490 0 0 5 5 2 2.54/0.45 c 1030 2835 42386 174692 0 0 15 15 7 2.54/0.46 c 1031 2864 42775 175800 0 0 29 29 14 2.54/0.46 c 1841 3814 65900 291239 0 0 25 45 36 2.54/0.46 c 534 1598 33546 101364 0 0 10 10 5 2.54/0.46 c 1032 2879 43016 176424 0 0 15 15 7 2.54/0.46 c 535 1603 33765 101818 0 0 5 5 2 2.54/0.47 c 1033 2908 43405 177532 0 0 29 29 14 2.54/0.47 c 2770 4361 61749 302075 0 0 9 52 38 2.54/0.47 c 536 1613 34214 102692 0 0 10 10 5 2.54/0.47 c 1034 2923 43646 178156 0 0 15 15 7 2.54/0.47 c 1024 2392 40263 144440 0 0 43 56 48 2.54/0.47 c 537 1618 34401 103164 0 0 5 5 2 2.54/0.47 c 1035 2952 44035 179264 0 0 29 29 14 2.54/0.47 c 1025 2395 40455 144748 0 0 3 3 1 2.54/0.49 c 1036 2967 44276 179888 0 0 15 15 7 2.54/0.49 c 538 1628 34842 104003 0 0 10 10 5 2.54/0.49 c 1026 2400 40668 145242 0 0 5 5 2 2.54/0.49 c 539 1633 35054 104452 0 0 5 5 2 2.54/0.49 c 1027 2405 40867 145723 0 0 5 5 2 2.54/0.49 c 1037 2996 44665 180996 0 0 29 29 14 2.54/0.49 c 3551 5018 63231 331375 0 0 25 45 35 2.54/0.49 c 1038 3011 44906 181620 0 0 15 15 7 2.54/0.49 c 1028 2410 41098 146230 0 0 5 5 2 2.54/0.49 c 540 1643 35500 105326 0 0 10 10 5 2.54/0.49 c 1029 2415 41277 146697 0 0 5 5 2 2.54/0.50 c 1039 3040 45295 182728 0 0 29 29 14 2.54/0.50 c 541 1648 35716 105780 0 0 5 5 2 2.54/0.50 c 2122 4394 73579 320549 0 0 26 53 41 2.54/0.50 c 1030 2420 41489 147189 0 0 5 5 2 2.54/0.50 c 1040 3055 45536 183352 0 0 15 15 7 2.54/0.50 c 1031 2425 41707 147643 0 0 5 5 2 2.54/0.50 c 542 1658 36165 106654 0 0 10 10 5 2.54/0.51 c 1041 3084 45925 184460 0 0 29 29 14 2.54/0.51 c 1032 2430 41939 148150 0 0 5 5 2 2.54/0.51 c 543 1663 36352 107124 0 0 5 5 2 2.54/0.51 c 1042 3099 46166 185084 0 0 15 15 7 2.54/0.51 c 3142 4970 68826 333920 0 0 10 52 40 2.54/0.51 c 1033 2435 42118 148617 0 0 5 5 2 2.54/0.51 c 1034 2440 42331 149109 0 0 5 5 2 2.54/0.51 c 1043 3128 46555 186192 0 0 29 29 14 2.54/0.51 c 1035 2445 42549 149563 0 0 5 5 2 2.54/0.51 c 1024 2264 45739 154345 0 0 6 47 32 2.54/0.51 c 1044 3143 46796 186816 0 0 15 15 7 3.34/0.52 c 1036 2450 42780 150070 0 0 5 5 2 3.34/0.52 c 1025 2272 46036 154805 0 0 8 8 4 3.34/0.52 c 1045 3172 47185 187924 0 0 29 29 14 3.34/0.52 c 1037 2455 43000 150524 0 0 5 5 2 3.34/0.52 c 1046 3187 47426 188548 0 0 15 15 7 3.34/0.52 c 1026 2281 46333 155274 0 0 9 9 4 3.34/0.52 c 1038 2460 43231 151031 0 0 5 5 2 3.34/0.52 c 4000 5646 71784 375793 0 0 12 43 34 3.34/0.52 c 1047 3216 47815 189656 0 0 29 29 14 3.34/0.52 c 1027 2289 46593 155708 0 0 8 8 4 3.34/0.53 c 1039 2465 43449 151485 0 0 5 5 2 3.34/0.53 c 1048 3231 48056 190280 0 0 15 15 7 3.34/0.53 c 1028 2298 46888 156177 0 0 9 9 4 3.34/0.53 c 1040 2470 43680 151992 0 0 5 5 2 3.34/0.53 c 2431 4965 80837 349784 0 0 27 55 40 3.34/0.53 c 1049 3260 48445 191388 0 0 29 29 14 3.34/0.53 c 1029 2306 47147 156611 0 0 8 8 4 3.34/0.53 c 3551 5557 74732 362750 0 0 16 55 44 3.34/0.54 c 1041 2475 43900 152446 0 0 5 5 2 3.34/0.54 c 1050 3275 48686 192012 0 0 15 15 7 3.34/0.54 c 1042 2480 44131 152953 0 0 5 5 2 3.34/0.54 c 1030 2315 47442 157080 0 0 9 9 4 3.34/0.54 c 1051 3304 49075 193120 0 0 29 29 14 3.34/0.54 c 1043 2485 44349 153407 0 0 5 5 2 3.34/0.54 c 1031 2323 47700 157514 0 0 8 8 4 3.34/0.54 c 1052 3319 49316 193744 0 0 15 15 7 3.34/0.55 c 1044 2490 44580 153914 0 0 5 5 2 3.34/0.55 c 1032 2332 47995 157983 0 0 9 9 4 3.34/0.55 c 1053 3348 49705 194852 0 0 29 29 14 3.34/0.55 c 1045 2495 44800 154368 0 0 5 5 2 3.34/0.55 c 2122 3824 74275 310788 0 0 12 15 13 3.34/0.55 c 1033 2340 48254 158417 0 0 8 8 4 3.34/0.55 c 1054 3363 49946 195476 0 0 15 15 7 3.34/0.55 c 1046 2500 45031 154875 0 0 5 5 2 3.34/0.55 c 4493 6219 79741 400819 0 0 7 16 11 3.34/0.55 c 1034 2349 48548 158886 0 0 9 9 4 3.34/0.56 c 1047 2505 45249 155329 0 0 5 5 2 3.34/0.56 c 1055 3392 50335 196584 0 0 29 29 14 3.34/0.56 c 1024 2621 49354 148562 0 0 5 53 45 3.34/0.56 c 1035 2357 48807 159320 0 0 8 8 4 3.34/0.56 c 1056 3407 50576 197208 0 0 15 15 7 3.34/0.56 c 1048 2510 45480 155836 0 0 5 5 2 3.34/0.56 c 1025 2626 49601 149071 0 0 5 5 2 3.34/0.56 c 1036 2366 49099 159789 0 0 9 9 4 3.34/0.56 c 1049 2515 45700 156290 0 0 5 5 2 3.34/0.56 c 1026 2631 49846 149540 0 0 5 5 2 3.34/0.56 c 1057 3436 50965 198316 0 0 29 29 14 3.34/0.58 c 1050 2520 45931 156797 0 0 5 5 2 3.34/0.58 c 1058 3451 51206 198940 0 0 15 15 7 3.34/0.58 c 1037 2374 49357 160223 0 0 8 8 4 3.34/0.58 c 1027 2636 50093 150049 0 0 5 5 2 3.34/0.58 c 1051 2525 46149 157251 0 0 5 5 2 3.34/0.58 c 1028 2641 50306 150500 0 0 5 5 2 3.34/0.58 c 1038 2383 49650 160692 0 0 9 9 4 3.34/0.58 c 1059 3480 51595 200048 0 0 29 29 14 3.34/0.58 c 2431 4192 81461 342837 0 0 22 24 23 3.34/0.58 c 1052 2530 46380 157758 0 0 5 5 2 3.34/0.58 c 1029 2646 50556 150971 0 0 5 5 2 3.34/0.58 c 1060 3495 51836 200672 0 0 15 15 7 3.34/0.58 c 4000 6306 84899 408643 0 0 20 50 38 3.34/0.58 c 1039 2391 49908 161126 0 0 8 8 4 3.34/0.59 c 1053 2535 46600 158212 0 0 5 5 2 3.34/0.59 c 1030 2651 50794 151475 0 0 5 5 2 3.34/0.59 c 1061 3524 52225 201780 0 0 29 29 14 3.34/0.59 c 1040 2400 50200 161595 0 0 9 9 4 3.34/0.59 c 1054 2540 46831 158719 0 0 5 5 2 3.34/0.59 c 1031 2656 51041 151946 0 0 5 5 2 3.34/0.59 c 1062 3539 52466 202404 0 0 15 15 7 3.34/0.59 c 1041 2408 50453 162018 0 0 8 8 4 3.34/0.59 c 1055 2545 47049 159173 0 0 5 5 2 3.34/0.59 c 1032 2661 51278 152450 0 0 5 5 2 3.34/0.59 c 1063 3568 52855 203512 0 0 29 29 14 3.34/0.59 c 1042 2417 50744 162420 0 0 9 9 4 3.34/0.60 c 1056 2550 47280 159680 0 0 5 5 2 3.34/0.60 c 1033 2666 51520 152918 0 0 5 5 2 3.34/0.60 c 1064 3583 53096 204136 0 0 15 15 7 3.34/0.60 c 1057 2555 47500 160134 0 0 5 5 2 3.34/0.60 c 1034 2671 51734 153369 0 0 5 5 2 3.34/0.60 c 1043 2427 51092 163075 0 0 10 10 5 3.34/0.60 c 1065 3612 53485 205244 0 0 29 29 14 3.34/0.60 c 1058 2560 47731 160641 0 0 5 5 2 3.34/0.60 c 1035 2676 51993 153845 0 0 5 5 2 3.34/0.60 c 1044 2436 51393 163566 0 0 9 9 4 3.34/0.60 c 5035 6913 88022 447319 0 0 19 44 38 3.34/0.60 c 1066 3627 53726 205868 0 0 15 15 7 4.06/0.61 c 1059 2565 47949 161095 0 0 5 5 2 4.06/0.61 c 1036 2681 52231 154349 0 0 5 5 2 4.06/0.61 c 1045 2445 51685 163968 0 0 9 9 4 4.06/0.61 c 1067 3656 54115 206976 0 0 29 29 14 4.06/0.61 c 1060 2570 48180 161602 0 0 5 5 2 4.06/0.61 c 1037 2686 52479 154821 0 0 5 5 2 4.06/0.61 c 2770 5609 93962 415062 0 0 23 53 34 4.06/0.61 c 1068 3671 54356 207600 0 0 15 15 7 4.06/0.61 c 1046 2455 52029 164621 0 0 10 10 5 4.06/0.61 c 1061 2575 48400 162056 0 0 5 5 2 4.06/0.62 c 1038 2691 52718 155325 0 0 5 5 2 4.06/0.62 c 1069 3700 54745 208708 0 0 29 29 14 4.06/0.62 c 1062 2580 48631 162563 0 0 5 5 2 4.06/0.62 c 1039 2696 52968 155797 0 0 5 5 2 4.06/0.62 c 1047 2475 52631 165795 0 0 20 20 10 4.06/0.62 c 2770 4751 89863 376885 0 0 3 52 26 4.06/0.62 c 1070 3715 54986 209332 0 0 15 15 7 4.06/0.62 c 1063 2585 48849 163017 0 0 5 5 2 4.06/0.63 c 1040 2701 53182 156248 0 0 5 5 2 4.06/0.63 c 1048 2482 52874 166118 0 0 7 7 3 4.06/0.63 c 1064 2590 49083 163527 0 0 5 5 2 4.06/0.63 c 1071 3744 55375 210440 0 0 29 29 14 4.06/0.63 c 1041 2706 53437 156721 0 0 5 5 2 4.06/0.63 c 1049 2491 53167 166520 0 0 9 9 4 4.06/0.63 c 1065 2595 49303 163981 0 0 5 5 2 4.06/0.63 c 1072 3759 55616 211064 0 0 15 15 7 4.06/0.63 c 1042 2711 53677 157225 0 0 5 5 2 4.06/0.63 c 1066 2600 49537 164491 0 0 5 5 2 4.06/0.63 c 1050 2501 53517 167173 0 0 10 10 5 4.06/0.63 c 1073 3788 56005 212172 0 0 29 29 14 4.06/0.63 c 1043 2716 53929 157698 0 0 5 5 2 4.06/0.63 c 1067 2605 49734 164967 0 0 5 5 2 4.06/0.64 c 1074 3803 56246 212796 0 0 15 15 7 4.06/0.64 c 1044 2721 54169 158202 0 0 5 5 2 4.06/0.64 c 1068 2610 49947 165459 0 0 5 5 2 4.06/0.64 c 1051 2521 54130 168643 0 0 20 20 10 4.06/0.64 c 1075 3832 56635 213904 0 0 29 29 14 4.06/0.64 c 1045 2726 54414 158671 0 0 5 5 2 4.06/0.64 c 4493 7135 96165 459412 0 0 9 42 29 4.06/0.64 c 1069 2615 50147 165937 0 0 5 5 2 4.06/0.64 c 1076 3847 56876 214528 0 0 15 15 7 4.06/0.64 c 1052 2534 54530 169638 0 0 13 13 6 4.06/0.64 c 1046 2731 54628 159122 0 0 5 5 2 4.06/0.64 c 1070 2620 50361 166429 0 0 5 5 2 4.06/0.64 c 1071 2625 50561 166907 0 0 5 5 2 4.06/0.64 c 1047 2736 54885 159597 0 0 5 5 2 4.06/0.64 c 1053 2542 54825 170048 0 0 8 8 4 4.06/0.64 c 1077 3876 57265 215636 0 0 29 29 14 4.06/0.65 c 5631 7796 100814 498545 0 0 12 46 36 4.06/0.66 c 1072 2630 50774 167399 0 0 5 5 2 4.06/0.66 c 1078 3891 57506 216260 0 0 15 15 7 4.06/0.66 c 1048 2741 55123 160101 0 0 5 5 2 4.06/0.66 c 1054 2551 55116 170450 0 0 9 9 4 4.06/0.66 c 3142 6276 103364 466268 0 0 12 43 33 4.06/0.66 c 1073 2635 50974 167877 0 0 5 5 2 4.06/0.66 c 1049 2746 55368 160571 0 0 5 5 2 4.06/0.66 c 1079 3920 57895 217368 0 0 29 29 14 4.06/0.66 c 1074 2640 51187 168369 0 0 5 5 2 4.06/0.66 c 1055 2561 55463 171103 0 0 10 10 5 4.06/0.66 c 1050 2751 55605 161075 0 0 5 5 2 4.06/0.66 c 1080 3935 58136 217992 0 0 15 15 7 4.06/0.66 c 1075 2645 51387 168847 0 0 5 5 2 4.06/0.66 c 1051 2756 55854 161548 0 0 5 5 2 4.06/0.66 c 1056 2581 56076 172573 0 0 20 20 10 4.06/0.66 c 1076 2650 51600 169339 0 0 5 5 2 4.06/0.66 c 1081 3964 58525 219100 0 0 29 29 14 4.06/0.66 c 1052 2761 56068 161999 0 0 5 5 2 4.06/0.67 c 1077 2655 51800 169817 0 0 5 5 2 4.06/0.67 c 1082 3979 58766 219724 0 0 15 15 7 4.06/0.67 c 1057 2594 56475 173568 0 0 13 13 6 4.06/0.67 c 3142 5352 103402 445507 0 0 17 27 19 4.06/0.67 c 1053 2766 56319 162470 0 0 5 5 2 4.06/0.67 c 1078 2660 52013 170309 0 0 5 5 2 4.06/0.67 c 1083 4008 59155 220832 0 0 29 29 14 4.06/0.67 c 1079 2665 52213 170787 0 0 5 5 2 4.06/0.67 c 1054 2771 56557 162974 0 0 5 5 2 4.06/0.67 c 1084 4023 59396 221456 0 0 15 15 7 4.06/0.67 c 1058 2613 57077 174686 0 0 19 19 9 4.06/0.68 c 1080 2670 52426 171279 0 0 5 5 2 4.06/0.68 c 1055 2776 56805 163445 0 0 5 5 2 4.06/0.68 c 1085 4052 59785 222564 0 0 29 29 14 4.06/0.68 c 1081 2675 52626 171757 0 0 5 5 2 4.06/0.68 c 1056 2781 57043 163949 0 0 5 5 2 4.06/0.68 c 1059 2633 57695 176156 0 0 20 20 10 4.06/0.68 c 1086 4067 60026 223188 0 0 15 15 7 4.06/0.68 c 1082 2680 52839 172249 0 0 5 5 2 4.06/0.68 c 1057 2786 57285 164417 0 0 5 5 2 4.06/0.69 c 1083 2685 53039 172727 0 0 5 5 2 4.06/0.69 c 1060 2646 58099 177151 0 0 13 13 6 4.06/0.69 c 1087 4096 60415 224296 0 0 29 29 14 4.06/0.69 c 1058 2791 57499 164868 0 0 5 5 2 4.06/0.69 c 5035 7867 103297 500287 0 0 7 53 26 4.06/0.69 c 1084 2690 53252 173219 0 0 5 5 2 4.06/0.69 c 1059 2796 57759 165344 0 0 5 5 2 4.06/0.69 c 1085 2695 53452 173697 0 0 5 5 2 4.06/0.69 c 1061 2665 58699 178269 0 0 19 19 9 4.06/0.70 c 1060 2801 57999 165848 0 0 5 5 2 4.06/0.70 c 1086 2700 53665 174189 0 0 5 5 2 4.06/0.70 c 1087 2705 53865 174667 0 0 5 5 2 4.06/0.70 c 1061 2806 58249 166320 0 0 5 5 2 4.06/0.70 c 1062 2685 59313 179739 0 0 20 20 10 4.81/0.71 c 1062 2811 58488 166824 0 0 5 5 2 4.81/0.71 c 1063 2698 59712 180734 0 0 13 13 6 4.81/0.71 c 1063 2816 58738 167296 0 0 5 5 2 4.81/0.71 c 6286 8686 111760 557477 0 0 7 48 36 4.81/0.71 c 1064 2821 58951 167747 0 0 5 5 2 4.81/0.71 c 3551 6170 112890 488721 0 0 13 23 17 4.81/0.71 c 3551 7100 116148 523882 0 0 20 49 34 4.81/0.71 c 1064 2717 60311 181852 0 0 19 19 9 4.81/0.72 c 1065 2826 59203 168220 0 0 5 5 2 4.81/0.72 c 1065 2737 60931 183322 0 0 20 20 10 4.81/0.72 c 1066 2831 59441 168724 0 0 5 5 2 4.81/0.72 c 1067 2836 59690 169197 0 0 5 5 2 4.81/0.72 c 1066 2750 61330 184317 0 0 13 13 6 4.81/0.73 c 1068 2841 59928 169701 0 0 5 5 2 4.81/0.73 c 1067 2769 61926 185435 0 0 19 19 9 4.81/0.73 c 1069 2846 60174 170170 0 0 5 5 2 4.81/0.73 c 4000 6648 117858 530054 0 0 7 13 11 4.81/0.73 c 1070 2851 60389 170621 0 0 5 5 2 4.81/0.74 c 1068 2789 62546 186905 0 0 20 20 10 4.81/0.74 c 1071 2856 60646 171096 0 0 5 5 2 4.81/0.74 c First solution is found 4.81/0.74 c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 6. 4.81/0.74 c [pFactory][Group N°0] Thread N°0 is joined. 4.81/0.74 c [pFactory][Group N°0] Thread N°1 is joined. 4.81/0.74 c [pFactory][Group N°0] Thread N°2 is joined. 4.81/0.74 c [pFactory][Group N°0] Thread N°3 is joined. 4.81/0.74 c [pFactory][Group N°0] Thread N°4 is joined. 4.81/0.74 c [pFactory][Group N°0] Thread N°5 is joined. 4.81/0.74 c [pFactory][Group N°0] Thread N°6 is joined. 4.81/0.74 c [pFactory][Group N°0] Thread N°7 is joined. 4.81/0.74 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°0) 4.81/0.74 s SATISFIABLE 4.81/0.74 c restarts : 126 4.81/0.74 c conflicts : 1199 (234 /sec) 4.81/0.74 c decisions : 2848 (556 /sec) 4.81/0.74 c propagations : 199206 (38899 /sec) 4.81/0.74 c root propagations : 0 4.81/0.74 c filter calls : 57611 (11250 /sec) 4.81/0.74 c useless filter calls : 30253 (52 %) 4.81/0.74 c Memory used : 577.18 MB 4.81/0.74 c CPU time : 5.12108 s 4.81/0.74 c real time : 0.738768 s 4.81/0.74 4.81/0.74 c solution 1 4.81/0.74 4.81/0.74 v <instantiation type='solution'> 4.81/0.74 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.81/0.74 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.81/0.74 v </instantiation> 4.81/0.74
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 (15398 MiB free) memory of node 1: 16384 MiB (15589 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409259-1569819146/watcher-4409259-1569819146 -o /tmp/evaluation-result-4409259-1569819146/solver-4409259-1569819146 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569816581-30898 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409259-1569819146.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=31265, runsolver pid=31262 [startup+0.100152 s]* /proc/loadavg: 8.18 8.34 7.92 2/193 31266 /proc/meminfo: memFree=31725644/32770624 swapFree=66937820/67108860 [pid=31265] ppid=31262 vsize=99520 memory=10460 CPUtime=0.1 cores=0-7 /proc/31265/stat : 31265 (cosoco) S 31262 31265 30871 0 -1 1077944320 3073 0 0 0 10 0 0 0 20 0 9 0 557852328 101908480 2615 33554432000 4194304 6211132 140724682072496 140724682070752 139986084101879 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 /proc/31265/statm: 24880 2615 838 493 0 18185 0 [pid=31265/tid=31267] ppid=31262 vsize=99520 memory=-7174084197712296389 CPUtime=0 cores=0-7 /proc/31265/task/31267/stat : 31267 (cosoco) R 31262 31265 30871 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 9 0 557852339 101908480 2615 33554432000 4194304 6211132 140724682072496 139986060959328 5039137 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31268] ppid=31262 vsize=99520 memory=732370262853270501 CPUtime=0 cores=0-7 /proc/31265/task/31268/stat : 31268 (cosoco) R 31262 31265 30871 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 9 0 557852339 101908480 2615 33554432000 4194304 6211132 140724682072496 139986052566624 5039022 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31269] ppid=31262 vsize=99520 memory=140124515817088 CPUtime=0 cores=0-7 /proc/31265/task/31269/stat : 31269 (cosoco) R 31262 31265 30871 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 9 0 557852339 101908480 2615 33554432000 4194304 6211132 140724682072496 139986044173920 5039178 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31270] ppid=31262 vsize=99520 memory=0 CPUtime=0 cores=0-7 /proc/31265/task/31270/stat : 31270 (cosoco) R 31262 31265 30871 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 9 0 557852339 101908480 2615 33554432000 4194304 6211132 140724682072496 139986035781216 139986084112085 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31271] ppid=31262 vsize=99520 memory=0 CPUtime=0 cores=0-7 /proc/31265/task/31271/stat : 31271 (cosoco) R 31262 31265 30871 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 9 0 557852339 101908480 2615 33554432000 4194304 6211132 140724682072496 139986027388512 5039061 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31272] ppid=31262 vsize=99520 memory=0 CPUtime=0 cores=0-7 /proc/31265/task/31272/stat : 31272 (cosoco) R 31262 31265 30871 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 9 0 557852339 101908480 2615 33554432000 4194304 6211132 140724682072496 139986018995808 139986084112085 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31273] ppid=31262 vsize=99520 memory=-1 CPUtime=0 cores=0-7 /proc/31265/task/31273/stat : 31273 (cosoco) R 31262 31265 30871 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 9 0 557852339 101908480 2615 33554432000 4194304 6211132 140724682072496 139986010603104 5039199 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31274] ppid=31262 vsize=99520 memory=0 CPUtime=0 cores=0-7 /proc/31265/task/31274/stat : 31274 (cosoco) R 31262 31265 30871 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 9 0 557852339 101908480 2615 33554432000 4194304 6211132 140724682072496 139986002210400 5039132 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 99520 KiB Current children cumulated memory: 10460 KiB [startup+0.209745 s]* /proc/loadavg: 8.18 8.34 7.92 10/201 31274 /proc/meminfo: memFree=31723520/32770624 swapFree=66937820/67108860 [pid=31265] ppid=31262 vsize=623808 memory=10460 CPUtime=0.97 cores=0-7 /proc/31265/stat : 31265 (cosoco) S 31262 31265 30871 0 -1 1077944320 3181 0 0 0 97 0 0 0 20 0 9 0 557852328 638779392 2615 33554432000 4194304 6211132 140724682072496 140724682070752 139986084101879 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 /proc/31265/statm: 155952 2615 838 493 0 149257 0 [pid=31265/tid=31267] ppid=31262 vsize=623808 memory=-3398145943129763647 CPUtime=0.1 cores=0-7 /proc/31265/task/31267/stat : 31267 (cosoco) R 31262 31265 30871 0 -1 4202560 15 0 0 0 10 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986060958816 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31268] ppid=31262 vsize=623808 memory=280248897591032 CPUtime=0.11 cores=0-7 /proc/31265/task/31268/stat : 31268 (cosoco) R 31262 31265 30871 0 -1 4202560 18 0 0 0 11 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986052566112 5038944 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31269] ppid=31262 vsize=623808 memory=140124515817088 CPUtime=0.1 cores=0-7 /proc/31265/task/31269/stat : 31269 (cosoco) R 31262 31265 30871 0 -1 4202560 14 0 0 0 10 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986044173408 139986068499581 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31270] ppid=31262 vsize=623808 memory=0 CPUtime=0.1 cores=0-7 /proc/31265/task/31270/stat : 31270 (cosoco) R 31262 31265 30871 0 -1 4202560 12 0 0 0 10 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986035780704 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31271] ppid=31262 vsize=623808 memory=0 CPUtime=0.1 cores=0-7 /proc/31265/task/31271/stat : 31271 (cosoco) R 31262 31265 30871 0 -1 4202560 16 0 0 0 10 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986027378040 5039125 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31272] ppid=31262 vsize=623808 memory=0 CPUtime=0.1 cores=0-7 /proc/31265/task/31272/stat : 31272 (cosoco) R 31262 31265 30871 0 -1 4202560 13 0 0 0 10 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986018995296 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31273] ppid=31262 vsize=623808 memory=-1 CPUtime=0.11 cores=0-7 /proc/31265/task/31273/stat : 31273 (cosoco) R 31262 31265 30871 0 -1 4202560 13 0 0 0 11 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986010602592 5082243 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31274] ppid=31262 vsize=623808 memory=0 CPUtime=0.11 cores=0-7 /proc/31265/task/31274/stat : 31274 (cosoco) R 31262 31265 30871 0 -1 4202560 12 0 0 0 11 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986002209888 5039026 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 Current children cumulated CPU time: 0.97 s Current children cumulated vsize: 623808 KiB Current children cumulated memory: 10460 KiB [startup+0.309797 s]* /proc/loadavg: 8.18 8.34 7.92 9/201 31274 /proc/meminfo: memFree=31723520/32770624 swapFree=66937820/67108860 [pid=31265] ppid=31262 vsize=623808 memory=10460 CPUtime=1.76 cores=0-7 /proc/31265/stat : 31265 (cosoco) S 31262 31265 30871 0 -1 1077944320 3184 0 0 0 176 0 0 0 20 0 9 0 557852328 638779392 2615 33554432000 4194304 6211132 140724682072496 140724682070752 139986084101879 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 /proc/31265/statm: 155952 2615 838 493 0 149257 0 [pid=31265/tid=31267] ppid=31262 vsize=623808 memory=-1807685287725067907 CPUtime=0.2 cores=0-7 /proc/31265/task/31267/stat : 31267 (cosoco) R 31262 31265 30871 0 -1 4202560 15 0 0 0 20 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986060958816 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31268] ppid=31262 vsize=623808 memory=3472468403563628208 CPUtime=0.21 cores=0-7 /proc/31265/task/31268/stat : 31268 (cosoco) R 31262 31265 30871 0 -1 4202560 19 0 0 0 21 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986052566112 5039536 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31269] ppid=31262 vsize=623808 memory=140124515817088 CPUtime=0.2 cores=0-7 /proc/31265/task/31269/stat : 31269 (cosoco) R 31262 31265 30871 0 -1 4202560 15 0 0 0 20 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986044173408 5039029 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31270] ppid=31262 vsize=623808 memory=0 CPUtime=0.2 cores=0-7 /proc/31265/task/31270/stat : 31270 (cosoco) R 31262 31265 30871 0 -1 4202560 13 0 0 0 20 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986035780704 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31271] ppid=31262 vsize=623808 memory=0 CPUtime=0.2 cores=0-7 /proc/31265/task/31271/stat : 31271 (cosoco) R 31262 31265 30871 0 -1 4202560 16 0 0 0 20 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986027388000 5039022 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31272] ppid=31262 vsize=623808 memory=0 CPUtime=0.19 cores=0-7 /proc/31265/task/31272/stat : 31272 (cosoco) R 31262 31265 30871 0 -1 4202560 13 0 0 0 19 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986018995296 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31273] ppid=31262 vsize=623808 memory=0 CPUtime=0.21 cores=0-7 /proc/31265/task/31273/stat : 31273 (cosoco) R 31262 31265 30871 0 -1 4202560 13 0 0 0 21 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986010602568 5039007 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31274] ppid=31262 vsize=623808 memory=0 CPUtime=0.21 cores=0-7 /proc/31265/task/31274/stat : 31274 (cosoco) R 31262 31265 30871 0 -1 4202560 12 0 0 0 21 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986002209888 5039026 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 Current children cumulated CPU time: 1.76 s Current children cumulated vsize: 623808 KiB Current children cumulated memory: 10460 KiB [startup+0.703769 s] /proc/loadavg: 8.18 8.34 7.92 10/201 31274 /proc/meminfo: memFree=31725232/32770624 swapFree=66937820/67108860 [pid=31265] ppid=31262 vsize=623808 memory=10460 CPUtime=4.81 cores=0-7 /proc/31265/stat : 31265 (cosoco) S 31262 31265 30871 0 -1 1077944320 3185 0 0 0 481 0 0 0 20 0 9 0 557852328 638779392 2615 33554432000 4194304 6211132 140724682072496 140724682070752 139986084101879 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 /proc/31265/statm: 155952 2615 838 493 0 149257 0 [pid=31265/tid=31267] ppid=31262 vsize=623808 memory=140128810784383 CPUtime=0.59 cores=0-7 /proc/31265/task/31267/stat : 31267 (cosoco) R 31262 31265 30871 0 -1 4202560 16 0 0 0 59 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986060958816 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31268] ppid=31262 vsize=623808 memory=10384 CPUtime=0.59 cores=0-7 /proc/31265/task/31268/stat : 31268 (cosoco) R 31262 31265 30871 0 -1 4202560 19 0 0 0 59 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986052566112 5076405 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31269] ppid=31262 vsize=623808 memory=988 CPUtime=0.59 cores=0-7 /proc/31265/task/31269/stat : 31269 (cosoco) R 31262 31265 30871 0 -1 4202560 15 0 0 0 59 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986044173408 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31270] ppid=31262 vsize=623808 memory=0 CPUtime=0.59 cores=0-7 /proc/31265/task/31270/stat : 31270 (cosoco) R 31262 31265 30871 0 -1 4202560 13 0 0 0 59 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986035780704 5039029 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31271] ppid=31262 vsize=623808 memory=0 CPUtime=0.59 cores=0-7 /proc/31265/task/31271/stat : 31271 (cosoco) R 31262 31265 30871 0 -1 4202560 16 0 0 0 59 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986027388000 5037841 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31272] ppid=31262 vsize=623808 memory=0 CPUtime=0.55 cores=0-7 /proc/31265/task/31272/stat : 31272 (cosoco) R 31262 31265 30871 0 -1 4202560 13 0 0 0 55 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986018995296 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31273] ppid=31262 vsize=623808 memory=0 CPUtime=0.59 cores=0-7 /proc/31265/task/31273/stat : 31273 (cosoco) R 31262 31265 30871 0 -1 4202560 13 0 0 0 59 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986010602592 5074429 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31274] ppid=31262 vsize=623808 memory=780 CPUtime=0.59 cores=0-7 /proc/31265/task/31274/stat : 31274 (cosoco) R 31262 31265 30871 0 -1 4202560 12 0 0 0 59 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986002209888 5039121 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 Current children cumulated CPU time: 4.81 s Current children cumulated vsize: 623808 KiB Current children cumulated memory: 10460 KiB [startup+0.74314 s] # the end of solver process 31265 was just reported to runsolver # cumulated CPU time of all completed processes: user=5.12113 s, system=0.007992 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.703769 s] /proc/loadavg: 8.18 8.34 7.92 10/201 31274 /proc/meminfo: memFree=31725232/32770624 swapFree=66937820/67108860 [pid=31265] ppid=31262 vsize=623808 memory=10460 CPUtime=4.81 cores=0-7 /proc/31265/stat : 31265 (cosoco) S 31262 31265 30871 0 -1 1077944320 3185 0 0 0 481 0 0 0 20 0 9 0 557852328 638779392 2615 33554432000 4194304 6211132 140724682072496 140724682070752 139986084101879 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 /proc/31265/statm: 155952 2615 838 493 0 149257 0 [pid=31265/tid=31267] ppid=31262 vsize=623808 memory=140128810784383 CPUtime=0.59 cores=0-7 /proc/31265/task/31267/stat : 31267 (cosoco) R 31262 31265 30871 0 -1 4202560 16 0 0 0 59 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986060958816 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31268] ppid=31262 vsize=623808 memory=10384 CPUtime=0.59 cores=0-7 /proc/31265/task/31268/stat : 31268 (cosoco) R 31262 31265 30871 0 -1 4202560 19 0 0 0 59 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986052566112 5076405 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31269] ppid=31262 vsize=623808 memory=988 CPUtime=0.59 cores=0-7 /proc/31265/task/31269/stat : 31269 (cosoco) R 31262 31265 30871 0 -1 4202560 15 0 0 0 59 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986044173408 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31270] ppid=31262 vsize=623808 memory=0 CPUtime=0.59 cores=0-7 /proc/31265/task/31270/stat : 31270 (cosoco) R 31262 31265 30871 0 -1 4202560 13 0 0 0 59 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986035780704 5039029 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31271] ppid=31262 vsize=623808 memory=0 CPUtime=0.59 cores=0-7 /proc/31265/task/31271/stat : 31271 (cosoco) R 31262 31265 30871 0 -1 4202560 16 0 0 0 59 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986027388000 5037841 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31272] ppid=31262 vsize=623808 memory=0 CPUtime=0.55 cores=0-7 /proc/31265/task/31272/stat : 31272 (cosoco) R 31262 31265 30871 0 -1 4202560 13 0 0 0 55 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986018995296 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31273] ppid=31262 vsize=623808 memory=0 CPUtime=0.59 cores=0-7 /proc/31265/task/31273/stat : 31273 (cosoco) R 31262 31265 30871 0 -1 4202560 13 0 0 0 59 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986010602592 5074429 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 [pid=31265/tid=31274] ppid=31262 vsize=623808 memory=780 CPUtime=0.59 cores=0-7 /proc/31265/task/31274/stat : 31274 (cosoco) R 31262 31265 30871 0 -1 4202560 12 0 0 0 59 0 0 0 20 0 9 0 557852339 638779392 2615 33554432000 4194304 6211132 140724682072496 139986002209888 5039121 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21331968 140724682077201 140724682077293 140724682077293 140724682080206 0 Current children cumulated CPU time: 4.81 s Current children cumulated vsize: 623808 KiB Current children cumulated memory: 10460 KiB Child status: 0 Real time (s): 0.743171 CPU time (s): 5.12912 CPU user time (s): 5.12113 CPU system time (s): 0.007992 CPU usage (%): 690.167 Max. virtual memory (cumulated for all children) (KiB): 623808 Max. memory (cumulated for all children) (KiB): 10460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.12113 system time used= 0.007992 maximum resident set size= 11144 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3205 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= 154 involuntary context switches= 171 # summary of solver processes directly reported to runsolver: # pid: 31265 # total CPU time (s): 5.12912 # total CPU user time (s): 5.12113 # total CPU system time (s): 0.007992 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.029229 second user time and 0.045467 second system time The end
Begin job on node141 at 2019-09-30 06:51:43 IDJOB=4409259 IDBENCH=120691 IDSOLVER=2877 FILE ID=node141/4409259-1569819146 RUNJOBID= node141-1569816581-30898 PBS_JOBID= 21705908 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 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-4409259-1569819146/watcher-4409259-1569819146 -o /tmp/evaluation-result-4409259-1569819146/solver-4409259-1569819146 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569816581-30898 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409259-1569819146.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= da29a6dd83857351367aad9031227a75 RANDOM SEED=1219422037 node141.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 : 5332.93 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.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 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 : 5332.93 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.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 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 : 5332.93 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.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 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 : 5332.93 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31731332 kB MemAvailable: 31820628 kB Buffers: 90744 kB Cached: 342456 kB SwapCached: 62080 kB Active: 331516 kB Inactive: 170172 kB Active(anon): 4644 kB Inactive(anon): 141856 kB Active(file): 326872 kB Inactive(file): 28316 kB Unevictable: 107692 kB Mlocked: 107692 kB SwapTotal: 67108860 kB SwapFree: 66937820 kB Dirty: 2772 kB Writeback: 0 kB AnonPages: 112868 kB Mapped: 26756 kB Shmem: 69524 kB Slab: 128552 kB SReclaimable: 99888 kB SUnreclaim: 28664 kB KernelStack: 3456 kB PageTables: 6584 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 539032 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 62028 MiB End job on node141 at 2019-09-30 06:51:43