Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 parallel | OPT | 60 | 4.27464 | 0.586695 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t13-8.xml |
| MD5SUM | 60e0241f2eabd20d57de8d64a330066c |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 60 |
| Best CPU time to get the best result obtained on this benchmark | 1.14307 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 935 |
| Number of constraints | 97 |
| Number of domains | 8 |
| Minimum domain size | 2 |
| Maximum domain size | 25 |
| Distribution of domain sizes | [{"size":2,"count":255},{"size":4,"count":85},{"size":7,"count":85},{"size":8,"count":85},{"size":10,"count":170},{"size":18,"count":85},{"size":24,"count":85},{"size":25,"count":85}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":935}] |
| Minimum constraint arity | 11 |
| Maximum constraint arity | 850 |
| Distribution of constraint arities | [{"arity":11,"count":85},{"arity":85,"count":11},{"arity":850,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":95}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.02 c 0.00/0.02 c This is cosoco 2.00 -- 0.00/0.02 c 0.00/0.02 c command line: cosoco -model -nbcores=8 HOME/instance-4409801-1569828738.xml 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.00/0.02 0 0.52/0.20 c enable optimization 0.52/0.20 c ========================================[ Problem Statistics ]=========================================== 0.52/0.20 c | 0.52/0.20 c | Parse time : 0.03 s 0.52/0.20 c | 0.52/0.20 c | Variables: 935 0.52/0.20 c | Domain Sizes: 2..25 0.52/0.20 c | 0.52/0.20 c | Constraints: 264 0.52/0.20 c | Arity: 2..85 -- Binary: 84 0.52/0.20 c | 0.52/0.20 c | Types: 0.52/0.20 c | (X -Y <= k): 84 0.52/0.20 c | Lex: 84 0.52/0.20 c | Sum: 96 0.52/0.20 c | 0.52/0.20 c | Objective: Minimize Sum 0.52/0.20 0.52/0.20 c ========================================================================================================= 0.52/0.20 c Parallel mode: Portfolio 0.52/0.20 c [pFactory][Group N°0] created (threads:8). 0.52/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.52/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.52/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.52/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.52/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.52/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.52/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.52/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.52/0.20 c [pFactory][Group N°0] concurrent mode: enabled. 0.52/0.20 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.52/0.20 c [pFactory][Group N°0] task 7 launched on thread 0. 0.52/0.20 c [pFactory][Group N°0] task 6 launched on thread 2. 0.52/0.20 c [pFactory][Group N°0] task 5 launched on thread 1. 0.52/0.20 c [pFactory][Group N°0] task 4 launched on thread 6. 0.52/0.20 c [pFactory][Group N°0] task 3 launched on thread 7. 0.52/0.20 c [pFactory][Group N°0] task 2 launched on thread 3. 0.52/0.20 c [pFactory][Group N°0] task 1 launched on thread 5. 0.52/0.20 c [pFactory][Group N°0] task 0 launched on thread 4. 0.52/0.20 o 85 1.38/0.25 o 84 1.38/0.28 o 83 2.17/0.32 o 82 2.17/0.34 o 77 2.17/0.38 o 60 3.74/0.58 c [pFactory][Group N°0] concurent mode: thread 1 has won with the task 5. 3.74/0.58 c [pFactory][Group N°0] Thread N°0 is joined. 3.74/0.58 c [pFactory][Group N°0] Thread N°1 is joined. 3.74/0.58 c [pFactory][Group N°0] Thread N°2 is joined. 3.74/0.58 c [pFactory][Group N°0] Thread N°3 is joined. 3.74/0.58 c [pFactory][Group N°0] Thread N°4 is joined. 3.74/0.58 c [pFactory][Group N°0] Thread N°5 is joined. 3.74/0.58 c [pFactory][Group N°0] Thread N°6 is joined. 3.74/0.58 c [pFactory][Group N°0] Thread N°7 is joined. 3.74/0.58 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°1) 3.74/0.58 s OPTIMUM FOUND 3.74/0.58 c call to solver : 3 3.74/0.58 c 3.74/0.58 c restarts : 111 3.74/0.58 c conflicts : 648 (153 /sec) 3.74/0.58 c decisions : 28071 (6639 /sec) 3.74/0.58 c propagations : 148375 (35089 /sec) 3.74/0.58 c root propagations : 7140 3.74/0.58 c filter calls : 193972 (45873 /sec) 3.74/0.58 c useless filter calls : 169899 (87 %) 3.74/0.58 c Memory used : 583.85 MB 3.74/0.58 c Best bound time (wc) : 0.373681 s 3.74/0.58 c CPU time : 4.22841 s 3.74/0.58 c real time : 0.577461 s 3.74/0.58 3.74/0.58 3.74/0.58 v <instantiation type='solution' cost='60'> 3.74/0.58 v <list>p[0] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[1] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[2] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[3] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[6] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[7] p[80] p[81] p[82] p[83] p[84] p[8] p[9] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] </list> 3.74/0.58 v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 </values> 3.74/0.58 v </instantiation> 3.74/0.58
OK 60
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 (14125 MiB free)
memory of node 1: 16384 MiB (15580 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409801-1569828738/watcher-4409801-1569828738 -o /tmp/evaluation-result-4409801-1569828738/solver-4409801-1569828738 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569813805-31802 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409801-1569828738.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=951, runsolver pid=947
[startup+0.101016 s]*
/proc/loadavg: 1.10 4.05 6.49 9/200 960
/proc/meminfo: memFree=30392924/32770624 swapFree=66986684/67108860
[pid=951] ppid=947 vsize=634768 memory=33292 CPUtime=0.52 cores=0-7
/proc/951/stat : 951 (cosoco) S 947 951 31775 0 -1 1077944320 8910 0 0 0 50 2 0 0 20 0 9 0 559130171 650002432 8323 33554432000 4194304 6211132 140727755211504 140727755209760 139655597158135 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
/proc/951/statm: 158692 8323 890 493 0 151997 0
[pid=951/tid=953] ppid=947 vsize=634768 memory=-8471657372129805245 CPUtime=0.06 cores=0-7
/proc/951/task/953/stat : 953 (cosoco) R 947 951 31775 0 -1 4202560 769 0 0 0 6 0 0 0 20 0 9 0 559130174 650002432 8389 33554432000 4194304 6211132 140727755211504 139655574014664 5250330 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=954] ppid=947 vsize=634768 memory=4342489072520795241 CPUtime=0.06 cores=0-7
/proc/951/task/954/stat : 954 (cosoco) R 947 951 31775 0 -1 4202560 615 0 0 0 6 0 0 0 20 0 9 0 559130174 650002432 8389 33554432000 4194304 6211132 140727755211504 139655565621704 5148716 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=955] ppid=947 vsize=634768 memory=140138766337664 CPUtime=0.05 cores=0-7
/proc/951/task/955/stat : 955 (cosoco) R 947 951 31775 0 -1 4202560 565 0 0 0 5 0 0 0 20 0 9 0 559130174 650002432 8389 33554432000 4194304 6211132 140727755211504 139655557229000 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=956] ppid=947 vsize=634768 memory=0 CPUtime=0.06 cores=0-7
/proc/951/task/956/stat : 956 (cosoco) R 947 951 31775 0 -1 4202560 478 0 0 0 6 0 0 0 20 0 9 0 559130174 650002432 8389 33554432000 4194304 6211132 140727755211504 139655548836456 5409485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=957] ppid=947 vsize=634768 memory=0 CPUtime=0.06 cores=0-7
/proc/951/task/957/stat : 957 (cosoco) R 947 951 31775 0 -1 4202560 410 0 0 0 6 0 0 0 20 0 9 0 559130174 650002432 8389 33554432000 4194304 6211132 140727755211504 139655540443576 5148672 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=958] ppid=947 vsize=634768 memory=0 CPUtime=0.06 cores=0-7
/proc/951/task/958/stat : 958 (cosoco) R 947 951 31775 0 -1 4202560 539 0 0 0 6 0 0 0 20 0 9 0 559130174 650002432 8389 33554432000 4194304 6211132 140727755211504 139655532050872 5157579 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=959] ppid=947 vsize=634768 memory=-1 CPUtime=0.05 cores=0-7
/proc/951/task/959/stat : 959 (cosoco) R 947 951 31775 0 -1 4202560 541 0 0 0 5 0 0 0 20 0 9 0 559130174 650002432 8389 33554432000 4194304 6211132 140727755211504 139655523658184 5149493 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=960] ppid=947 vsize=634768 memory=0 CPUtime=0.06 cores=0-7
/proc/951/task/960/stat : 960 (cosoco) R 947 951 31775 0 -1 4202560 484 0 0 0 6 0 0 0 20 0 9 0 559130174 650002432 8389 33554432000 4194304 6211132 140727755211504 139655515265464 139655581113150 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 634768 KiB
Current children cumulated memory: 33292 KiB
[startup+0.211017 s]*
/proc/loadavg: 1.10 4.05 6.49 9/200 960
/proc/meminfo: memFree=30386228/32770624 swapFree=66986684/67108860
[pid=951] ppid=947 vsize=634252 memory=38264 CPUtime=1.38 cores=0-7
/proc/951/stat : 951 (cosoco) S 947 951 31775 0 -1 1077944320 10366 0 0 0 136 2 0 0 20 0 9 0 559130171 649474048 9566 33554432000 4194304 6211132 140727755211504 140727755209760 139655597158135 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
/proc/951/statm: 158563 9566 890 493 0 151868 0
[pid=951/tid=953] ppid=947 vsize=634252 memory=8316850467074736180 CPUtime=0.17 cores=0-7
/proc/951/task/953/stat : 953 (cosoco) R 947 951 31775 0 -1 4202560 769 0 0 0 17 0 0 0 20 0 9 0 559130174 649474048 9566 33554432000 4194304 6211132 140727755211504 139655574014664 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=954] ppid=947 vsize=634252 memory=1898493 CPUtime=0.17 cores=0-7
/proc/951/task/954/stat : 954 (cosoco) R 947 951 31775 0 -1 4202560 727 0 0 0 17 0 0 0 20 0 9 0 559130174 649474048 9566 33554432000 4194304 6211132 140727755211504 139655565621688 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=955] ppid=947 vsize=634252 memory=288370514918049408 CPUtime=0.16 cores=0-7
/proc/951/task/955/stat : 955 (cosoco) R 947 951 31775 0 -1 4202560 946 0 0 0 16 0 0 0 20 0 9 0 559130174 649474048 9566 33554432000 4194304 6211132 140727755211504 139655557229896 5148711 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=956] ppid=947 vsize=634252 memory=-1 CPUtime=0.17 cores=0-7
/proc/951/task/956/stat : 956 (cosoco) R 947 951 31775 0 -1 4202560 796 0 0 0 17 0 0 0 20 0 9 0 559130174 649474048 9566 33554432000 4194304 6211132 140727755211504 139655548836296 5409497 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=957] ppid=947 vsize=634252 memory=0 CPUtime=0.17 cores=0-7
/proc/951/task/957/stat : 957 (cosoco) R 947 951 31775 0 -1 4202560 699 0 0 0 17 0 0 0 20 0 9 0 559130174 649474048 9566 33554432000 4194304 6211132 140727755211504 139655540443752 139655581113150 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=958] ppid=947 vsize=634252 memory=0 CPUtime=0.17 cores=0-7
/proc/951/task/958/stat : 958 (cosoco) R 947 951 31775 0 -1 4202560 622 0 0 0 17 0 0 0 20 0 9 0 559130174 649474048 9566 33554432000 4194304 6211132 140727755211504 139655532050872 5409476 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=959] ppid=947 vsize=634252 memory=-1 CPUtime=0.15 cores=0-7
/proc/951/task/959/stat : 959 (cosoco) R 947 951 31775 0 -1 4202560 613 0 0 0 15 0 0 0 20 0 9 0 559130174 649474048 9566 33554432000 4194304 6211132 140727755211504 139655523658152 5409476 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=960] ppid=947 vsize=634252 memory=0 CPUtime=0.17 cores=0-7
/proc/951/task/960/stat : 960 (cosoco) R 947 951 31775 0 -1 4202560 639 0 0 0 17 0 0 0 20 0 9 0 559130174 649474048 9566 33554432000 4194304 6211132 140727755211504 139655515265944 5009214 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 634252 KiB
Current children cumulated memory: 38264 KiB
[startup+0.310017 s]*
/proc/loadavg: 1.10 4.05 6.49 9/200 960
/proc/meminfo: memFree=30382880/32770624 swapFree=66986684/67108860
[pid=951] ppid=947 vsize=633220 memory=41204 CPUtime=2.17 cores=0-7
/proc/951/stat : 951 (cosoco) S 947 951 31775 0 -1 1077944320 11297 0 0 0 214 3 0 0 20 0 9 0 559130171 648417280 10301 33554432000 4194304 6211132 140727755211504 140727755209760 139655597158135 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
/proc/951/statm: 158305 10301 890 493 0 151610 0
[pid=951/tid=953] ppid=947 vsize=633220 memory=8317482817917895235 CPUtime=0.27 cores=0-7
/proc/951/task/953/stat : 953 (cosoco) R 947 951 31775 0 -1 4202560 1049 0 0 0 27 0 0 0 20 0 9 0 559130174 648417280 10301 33554432000 4194304 6211132 140727755211504 139655574014376 5409493 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=954] ppid=947 vsize=633220 memory=4126316290023845779 CPUtime=0.27 cores=0-7
/proc/951/task/954/stat : 954 (cosoco) R 947 951 31775 0 -1 4202560 783 0 0 0 27 0 0 0 20 0 9 0 559130174 648417280 10301 33554432000 4194304 6211132 140727755211504 139655565621864 5149152 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=955] ppid=947 vsize=633220 memory=0 CPUtime=0.26 cores=0-7
/proc/951/task/955/stat : 955 (cosoco) R 947 951 31775 0 -1 4202560 976 0 0 0 26 0 0 0 20 0 9 0 559130174 648417280 10301 33554432000 4194304 6211132 140727755211504 139655557229840 139655581555837 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=956] ppid=947 vsize=633220 memory=6944656592455097440 CPUtime=0.27 cores=0-7
/proc/951/task/956/stat : 956 (cosoco) R 947 951 31775 0 -1 4202560 859 0 0 0 27 0 0 0 20 0 9 0 559130174 648417280 10301 33554432000 4194304 6211132 140727755211504 139655548836456 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=957] ppid=947 vsize=633220 memory=6656426216303648864 CPUtime=0.27 cores=0-7
/proc/951/task/957/stat : 957 (cosoco) R 947 951 31775 0 -1 4202560 701 0 0 0 27 0 0 0 20 0 9 0 559130174 648417280 10301 33554432000 4194304 6211132 140727755211504 139655540443752 5250330 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=958] ppid=947 vsize=633220 memory=0 CPUtime=0.27 cores=0-7
/proc/951/task/958/stat : 958 (cosoco) R 947 951 31775 0 -1 4202560 916 0 0 0 27 0 0 0 20 0 9 0 559130174 648417280 10301 33554432000 4194304 6211132 140727755211504 139655532051048 5409476 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=959] ppid=947 vsize=633220 memory=0 CPUtime=0.24 cores=0-7
/proc/951/task/959/stat : 959 (cosoco) R 947 951 31775 0 -1 4202560 626 0 0 0 24 0 0 0 20 0 9 0 559130174 648417280 10301 33554432000 4194304 6211132 140727755211504 139655523658152 5148711 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=960] ppid=947 vsize=633220 memory=0 CPUtime=0.27 cores=0-7
/proc/951/task/960/stat : 960 (cosoco) R 947 951 31775 0 -1 4202560 835 0 0 0 27 0 0 0 20 0 9 0 559130174 648417280 10301 33554432000 4194304 6211132 140727755211504 139655515265944 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
Current children cumulated CPU time: 2.17 s
Current children cumulated vsize: 633220 KiB
Current children cumulated memory: 41204 KiB
[startup+0.586646 s]
# the end of solver process 951 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.22865 s, system=0.045996 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410016 s]*
/proc/loadavg: 1.10 4.05 6.49 9/200 960
/proc/meminfo: memFree=30380276/32770624 swapFree=66986684/67108860
[pid=951] ppid=947 vsize=631672 memory=43124 CPUtime=2.96 cores=0-7
/proc/951/stat : 951 (cosoco) S 947 951 31775 0 -1 1077944320 12054 0 0 0 293 3 0 0 20 0 9 0 559130171 646832128 10781 33554432000 4194304 6211132 140727755211504 140727755209760 139655597158135 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
/proc/951/statm: 157918 10781 890 493 0 151223 0
[pid=951/tid=953] ppid=947 vsize=631672 memory=8316850467074736180 CPUtime=0.37 cores=0-7
/proc/951/task/953/stat : 953 (cosoco) R 947 951 31775 0 -1 4202560 1066 0 0 0 37 0 0 0 20 0 9 0 559130174 646832128 10781 33554432000 4194304 6211132 140727755211504 139655574014376 139655581113150 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=954] ppid=947 vsize=631672 memory=1898493 CPUtime=0.36 cores=0-7
/proc/951/task/954/stat : 954 (cosoco) R 947 951 31775 0 -1 4202560 1038 0 0 0 36 0 0 0 20 0 9 0 559130174 646832128 10781 33554432000 4194304 6211132 140727755211504 139655565622544 5409485 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=955] ppid=947 vsize=631672 memory=288370514918049408 CPUtime=0.37 cores=0-7
/proc/951/task/955/stat : 955 (cosoco) R 947 951 31775 0 -1 4202560 978 0 0 0 36 1 0 0 20 0 9 0 559130174 646832128 10781 33554432000 4194304 6211132 140727755211504 139655557229240 5391431 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=956] ppid=947 vsize=631672 memory=-1 CPUtime=0.37 cores=0-7
/proc/951/task/956/stat : 956 (cosoco) R 947 951 31775 0 -1 4202560 862 0 0 0 37 0 0 0 20 0 9 0 559130174 646832128 10781 33554432000 4194304 6211132 140727755211504 139655548836456 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=957] ppid=947 vsize=631672 memory=0 CPUtime=0.37 cores=0-7
/proc/951/task/957/stat : 957 (cosoco) R 947 951 31775 0 -1 4202560 918 0 0 0 37 0 0 0 20 0 9 0 559130174 646832128 10781 33554432000 4194304 6211132 140727755211504 139655540443576 5149152 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=958] ppid=947 vsize=631672 memory=0 CPUtime=0.37 cores=0-7
/proc/951/task/958/stat : 958 (cosoco) R 947 951 31775 0 -1 4202560 916 0 0 0 37 0 0 0 20 0 9 0 559130174 646832128 10781 33554432000 4194304 6211132 140727755211504 139655532051048 5148716 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=959] ppid=947 vsize=631672 memory=-1 CPUtime=0.33 cores=0-7
/proc/951/task/959/stat : 959 (cosoco) R 947 951 31775 0 -1 4202560 889 0 0 0 33 0 0 0 20 0 9 0 559130174 646832128 10781 33554432000 4194304 6211132 140727755211504 139655523658424 5091367 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=960] ppid=947 vsize=631672 memory=0 CPUtime=0.37 cores=0-7
/proc/951/task/960/stat : 960 (cosoco) R 947 951 31775 0 -1 4202560 835 0 0 0 37 0 0 0 20 0 9 0 559130174 646832128 10781 33554432000 4194304 6211132 140727755211504 139655515265944 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 631672 KiB
Current children cumulated memory: 43124 KiB
[startup+0.510017 s]*
/proc/loadavg: 1.10 4.05 6.49 9/200 960
/proc/meminfo: memFree=30378788/32770624 swapFree=66986684/67108860
[pid=951] ppid=947 vsize=630640 memory=44288 CPUtime=3.74 cores=0-7
/proc/951/stat : 951 (cosoco) S 947 951 31775 0 -1 1077944320 12463 0 0 0 371 3 0 0 20 0 9 0 559130171 645775360 11072 33554432000 4194304 6211132 140727755211504 140727755209760 139655597158135 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
/proc/951/statm: 157660 11072 890 493 0 150965 0
[pid=951/tid=953] ppid=947 vsize=630640 memory=8317482817917895235 CPUtime=0.47 cores=0-7
/proc/951/task/953/stat : 953 (cosoco) R 947 951 31775 0 -1 4202560 1081 0 0 0 47 0 0 0 20 0 9 0 559130174 645775360 11072 33554432000 4194304 6211132 140727755211504 139655574014376 5409485 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=954] ppid=947 vsize=630640 memory=4126316290023845779 CPUtime=0.46 cores=0-7
/proc/951/task/954/stat : 954 (cosoco) R 947 951 31775 0 -1 4202560 1069 0 0 0 46 0 0 0 20 0 9 0 559130174 645775360 11072 33554432000 4194304 6211132 140727755211504 139655565621864 5149152 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=955] ppid=947 vsize=630640 memory=924 CPUtime=0.46 cores=0-7
/proc/951/task/955/stat : 955 (cosoco) R 947 951 31775 0 -1 4202560 978 0 0 0 45 1 0 0 20 0 9 0 559130174 645775360 11072 33554432000 4194304 6211132 140727755211504 139655557229240 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=956] ppid=947 vsize=630640 memory=1760 CPUtime=0.47 cores=0-7
/proc/951/task/956/stat : 956 (cosoco) R 947 951 31775 0 -1 4202560 1038 0 0 0 47 0 0 0 20 0 9 0 559130174 645775360 11072 33554432000 4194304 6211132 140727755211504 139655548836456 5149669 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=957] ppid=947 vsize=630640 memory=1440 CPUtime=0.47 cores=0-7
/proc/951/task/957/stat : 957 (cosoco) R 947 951 31775 0 -1 4202560 918 0 0 0 47 0 0 0 20 0 9 0 559130174 645775360 11072 33554432000 4194304 6211132 140727755211504 139655540443576 5008918 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=958] ppid=947 vsize=630640 memory=912 CPUtime=0.47 cores=0-7
/proc/951/task/958/stat : 958 (cosoco) R 947 951 31775 0 -1 4202560 923 0 0 0 47 0 0 0 20 0 9 0 559130174 645775360 11072 33554432000 4194304 6211132 140727755211504 139655532051048 5151098 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=959] ppid=947 vsize=630640 memory=0 CPUtime=0.42 cores=0-7
/proc/951/task/959/stat : 959 (cosoco) R 947 951 31775 0 -1 4202560 973 0 0 0 42 0 0 0 20 0 9 0 559130174 645775360 11072 33554432000 4194304 6211132 140727755211504 139655523658344 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
[pid=951/tid=960] ppid=947 vsize=630640 memory=0 CPUtime=0.47 cores=0-7
/proc/951/task/960/stat : 960 (cosoco) R 947 951 31775 0 -1 4202560 934 0 0 0 47 0 0 0 20 0 9 0 559130174 645775360 11072 33554432000 4194304 6211132 140727755211504 139655515265944 139655581113150 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15163392 140727755215894 140727755215986 140727755215986 140727755218894 0
Current children cumulated CPU time: 3.74 s
Current children cumulated vsize: 630640 KiB
Current children cumulated memory: 44288 KiB
Child status: 0
Real time (s): 0.586695
CPU time (s): 4.27464
CPU user time (s): 4.22865
CPU system time (s): 0.045996
CPU usage (%): 728.597
Max. virtual memory (cumulated for all children) (KiB): 634768
Max. memory (cumulated for all children) (KiB): 44288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.22865
system time used= 0.045996
maximum resident set size= 46020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12689
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= 1017
involuntary context switches= 48
# summary of solver processes directly reported to runsolver:
# pid: 951
# total CPU time (s): 4.27464
# total CPU user time (s): 4.22865
# total CPU system time (s): 0.045996
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.021827 second user time and 0.05093 second system time
The end
Begin job on node104 at 2019-09-30 08:21:52 IDJOB=4409801 IDBENCH=124138 IDSOLVER=2878 FILE ID=node104/4409801-1569828738 RUNJOBID= node104-1569813805-31802 PBS_JOBID= 21705922 Free space on /tmp= 61468 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t13-8.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409801-1569828738/watcher-4409801-1569828738 -o /tmp/evaluation-result-4409801-1569828738/solver-4409801-1569828738 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569813805-31802 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409801-1569828738.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 60e0241f2eabd20d57de8d64a330066c RANDOM SEED=1308369304 node104.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 : 5334.09 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 : 5334.09 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 : 5334.09 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 : 5334.09 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: 30418320 kB MemAvailable: 31827204 kB Buffers: 211484 kB Cached: 1516552 kB SwapCached: 22760 kB Active: 310048 kB Inactive: 1447032 kB Active(anon): 20056 kB Inactive(anon): 91236 kB Active(file): 289992 kB Inactive(file): 1355796 kB Unevictable: 109656 kB Mlocked: 109656 kB SwapTotal: 67108860 kB SwapFree: 66986684 kB Dirty: 986832 kB Writeback: 79756 kB AnonPages: 122624 kB Mapped: 26944 kB Shmem: 73632 kB Slab: 187216 kB SReclaimable: 157860 kB SUnreclaim: 29356 kB KernelStack: 3584 kB PageTables: 4948 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 533336 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61468 MiB End job on node104 at 2019-09-30 08:21:53