Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.O parallel | OPT | 60 | 3.61875 | 0.502046 |
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.13918 |
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-4398241-1568601520.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.56/0.19 c enable optimization 0.56/0.19 c ========================================[ Problem Statistics ]=========================================== 0.56/0.19 c | 0.56/0.19 c | Parse time : 0.03 s 0.56/0.19 c | 0.56/0.19 c | Variables: 935 0.56/0.19 c | Domain Sizes: 2..25 0.56/0.19 c | 0.56/0.19 c | Constraints: 264 0.56/0.19 c | Arity: 2..85 -- Binary: 84 0.56/0.19 c | 0.56/0.19 c | Types: 0.56/0.19 c | (X -Y <= k): 84 0.56/0.19 c | Lex: 84 0.56/0.19 c | Sum: 96 0.56/0.19 c | 0.56/0.19 c | Objective: Minimize Sum 0.56/0.19 0.56/0.19 c ========================================================================================================= 0.56/0.19 c Parallel mode: Portfolio 0.56/0.19 c [pFactory][Group N°0] created (threads:8). 0.56/0.19 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.56/0.19 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.56/0.19 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.56/0.19 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.56/0.19 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.56/0.19 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.56/0.19 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.56/0.19 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.56/0.19 c [pFactory][Group N°0] concurrent mode: enabled. 0.56/0.19 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.56/0.19 c [pFactory][Group N°0] task 7 launched on thread 5. 0.56/0.19 c [pFactory][Group N°0] task 6 launched on thread 0. 0.56/0.19 c [pFactory][Group N°0] task 5 launched on thread 3. 0.56/0.19 c [pFactory][Group N°0] task 4 launched on thread 4. 0.56/0.19 c [pFactory][Group N°0] task 3 launched on thread 1. 0.56/0.19 c [pFactory][Group N°0] task 2 launched on thread 2. 0.56/0.19 c [pFactory][Group N°0] task 1 launched on thread 7. 0.56/0.19 c [pFactory][Group N°0] task 0 launched on thread 6. 0.56/0.19 o 85 1.47/0.22 o 77 2.21/0.35 o 76 2.21/0.38 o 67 3.00/0.43 o 64 3.00/0.49 o 60 3.00/0.49 c [pFactory][Group N°0] concurent mode: thread 4 has won with the task 4. 3.00/0.49 c [pFactory][Group N°0] Thread N°0 is joined. 3.00/0.49 c [pFactory][Group N°0] Thread N°1 is joined. 3.00/0.49 c [pFactory][Group N°0] Thread N°2 is joined. 3.00/0.49 c [pFactory][Group N°0] Thread N°3 is joined. 3.00/0.49 c [pFactory][Group N°0] Thread N°4 is joined. 3.00/0.49 c [pFactory][Group N°0] Thread N°5 is joined. 3.00/0.49 c [pFactory][Group N°0] Thread N°6 is joined. 3.00/0.49 c [pFactory][Group N°0] Thread N°7 is joined. 3.00/0.49 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°4) 3.00/0.49 s OPTIMUM FOUND 3.00/0.49 c call to solver : 3 3.00/0.49 c 3.00/0.49 c restarts : 124 3.00/0.49 c conflicts : 617 (173 /sec) 3.00/0.49 c decisions : 24045 (6724 /sec) 3.00/0.49 c propagations : 127099 (35540 /sec) 3.00/0.49 c root propagations : 7140 3.00/0.49 c filter calls : 176959 (49482 /sec) 3.00/0.49 c useless filter calls : 158716 (89 %) 3.00/0.49 c Memory used : 583.85 MB 3.00/0.49 c Best bound time (wc) : 0.490174 s 3.00/0.49 c CPU time : 3.57612 s 3.00/0.49 c real time : 0.493913 s 3.00/0.49 3.00/0.49 3.00/0.49 v <instantiation type='solution' cost='60'> 3.00/0.49 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.00/0.49 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 1 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 0 1 0 0 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 0 1 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 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 1 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 1 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 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 </values> 3.00/0.49 v </instantiation> 3.00/0.49
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 (15476 MiB free) memory of node 1: 16384 MiB (15597 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398241-1568601520/watcher-4398241-1568601520 -o /tmp/evaluation-result-4398241-1568601520/solver-4398241-1568601520 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568595834-11491 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398241-1568601520.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 solver pid=12761, runsolver pid=12758 Current StackSize limit: 8192 KiB [startup+0.10062 s]* /proc/loadavg: 6.11 7.82 8.16 9/203 12770 /proc/meminfo: memFree=31793208/32770624 swapFree=66970396/67108860 [pid=12761] ppid=12758 vsize=634768 memory=33560 CPUtime=0.56 cores=0-7 /proc/12761/stat : 12761 (cosoco) S 12758 12761 11464 0 -1 1077944320 9030 0 0 0 54 2 0 0 20 0 9 0 436401574 650002432 8390 33554432000 4194304 6211092 140734196141792 140734196140048 139624719716087 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 /proc/12761/statm: 158692 8390 889 493 0 151997 0 [pid=12761/tid=12763] ppid=12758 vsize=634768 memory=-7318199385855259844 CPUtime=0.06 cores=0-7 /proc/12761/task/12763/stat : 12763 (cosoco) R 12758 12761 11464 0 -1 4202560 637 0 0 0 6 0 0 0 20 0 9 0 436401578 650002432 8390 33554432000 4194304 6211092 140734196141792 139624696572520 5148679 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12764] ppid=12758 vsize=634768 memory=732370359061855205 CPUtime=0.06 cores=0-7 /proc/12761/task/12764/stat : 12764 (cosoco) R 12758 12761 11464 0 -1 4202560 670 0 0 0 6 0 0 0 20 0 9 0 436401578 650002432 8390 33554432000 4194304 6211092 140734196141792 139624688179720 139624703671102 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12765] ppid=12758 vsize=634768 memory=140220724401792 CPUtime=0.06 cores=0-7 /proc/12761/task/12765/stat : 12765 (cosoco) R 12758 12761 11464 0 -1 4202560 413 0 0 0 6 0 0 0 20 0 9 0 436401578 650002432 8390 33554432000 4194304 6211092 140734196141792 139624679786920 5409461 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12766] ppid=12758 vsize=634768 memory=0 CPUtime=0.06 cores=0-7 /proc/12761/task/12766/stat : 12766 (cosoco) R 12758 12761 11464 0 -1 4202560 513 0 0 0 6 0 0 0 20 0 9 0 436401578 650002432 8390 33554432000 4194304 6211092 140734196141792 139624671394248 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12767] ppid=12758 vsize=634768 memory=0 CPUtime=0.06 cores=0-7 /proc/12761/task/12767/stat : 12767 (cosoco) R 12758 12761 11464 0 -1 4202560 543 0 0 0 6 0 0 0 20 0 9 0 436401578 650002432 8390 33554432000 4194304 6211092 140734196141792 139624663001544 5409465 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12768] ppid=12758 vsize=634768 memory=0 CPUtime=0.05 cores=0-7 /proc/12761/task/12768/stat : 12768 (cosoco) R 12758 12761 11464 0 -1 4202560 770 0 0 0 5 0 0 0 20 0 9 0 436401578 650002432 8390 33554432000 4194304 6211092 140734196141792 139624654608840 5148679 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12769] ppid=12758 vsize=634768 memory=-1 CPUtime=0.06 cores=0-7 /proc/12761/task/12769/stat : 12769 (cosoco) R 12758 12761 11464 0 -1 4202560 422 0 0 0 6 0 0 0 20 0 9 0 436401578 650002432 8390 33554432000 4194304 6211092 140734196141792 139624646216136 5380267 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12770] ppid=12758 vsize=634768 memory=0 CPUtime=0.06 cores=0-7 /proc/12761/task/12770/stat : 12770 (cosoco) R 12758 12761 11464 0 -1 4202560 539 0 0 0 6 0 0 0 20 0 9 0 436401578 650002432 8390 33554432000 4194304 6211092 140734196141792 139624637824016 5148679 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 Current children cumulated CPU time: 0.56 s Current children cumulated vsize: 634768 KiB Current children cumulated memory: 33560 KiB [startup+0.215787 s]* /proc/loadavg: 6.11 7.82 8.16 7/203 12770 /proc/meminfo: memFree=31787256/32770624 swapFree=66970396/67108860 [pid=12761] ppid=12758 vsize=633736 memory=39580 CPUtime=1.47 cores=0-7 /proc/12761/stat : 12761 (cosoco) S 12758 12761 11464 0 -1 1077944320 10677 0 0 0 144 3 0 0 20 0 9 0 436401574 648945664 9895 33554432000 4194304 6211092 140734196141792 140734196140048 139624719716087 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 /proc/12761/statm: 158434 9895 889 493 0 151739 0 [pid=12761/tid=12763] ppid=12758 vsize=633736 memory=-3398145943129763647 CPUtime=0.17 cores=0-7 /proc/12761/task/12763/stat : 12763 (cosoco) R 12758 12761 11464 0 -1 4202560 1028 0 0 0 17 0 0 0 20 0 9 0 436401578 648945664 9895 33554432000 4194304 6211092 140734196141792 139624696572520 5148693 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12764] ppid=12758 vsize=633736 memory=280441340286712 CPUtime=0.17 cores=0-7 /proc/12761/task/12764/stat : 12764 (cosoco) R 12758 12761 11464 0 -1 4202560 1046 0 0 0 17 0 0 0 20 0 9 0 436401578 648945664 9895 33554432000 4194304 6211092 140734196141792 139624688179816 139624703684511 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12765] ppid=12758 vsize=633736 memory=140220724401792 CPUtime=0.18 cores=0-7 /proc/12761/task/12765/stat : 12765 (cosoco) R 12758 12761 11464 0 -1 4202560 710 0 0 0 18 0 0 0 20 0 9 0 436401578 648945664 9895 33554432000 4194304 6211092 140734196141792 139624679787112 5193696 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12766] ppid=12758 vsize=633736 memory=0 CPUtime=0.17 cores=0-7 /proc/12761/task/12766/stat : 12766 (cosoco) R 12758 12761 11464 0 -1 4202560 671 0 0 0 17 0 0 0 20 0 9 0 436401578 648945664 9895 33554432000 4194304 6211092 140734196141792 139624671394408 5409431 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12767] ppid=12758 vsize=633736 memory=0 CPUtime=0.18 cores=0-7 /proc/12761/task/12767/stat : 12767 (cosoco) R 12758 12761 11464 0 -1 4202560 613 0 0 0 18 0 0 0 20 0 9 0 436401578 648945664 9895 33554432000 4194304 6211092 140734196141792 139624663001512 5091739 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12768] ppid=12758 vsize=633736 memory=0 CPUtime=0.16 cores=0-7 /proc/12761/task/12768/stat : 12768 (cosoco) R 12758 12761 11464 0 -1 4202560 878 0 0 0 16 0 0 0 20 0 9 0 436401578 648945664 9895 33554432000 4194304 6211092 140734196141792 139624654609000 139624704151127 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12769] ppid=12758 vsize=633736 memory=-1 CPUtime=0.17 cores=0-7 /proc/12761/task/12769/stat : 12769 (cosoco) R 12758 12761 11464 0 -1 4202560 576 0 0 0 17 0 0 0 20 0 9 0 436401578 648945664 9895 33554432000 4194304 6211092 140734196141792 139624646216120 5409444 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12770] ppid=12758 vsize=633736 memory=0 CPUtime=0.17 cores=0-7 /proc/12761/task/12770/stat : 12770 (cosoco) R 12758 12761 11464 0 -1 4202560 597 0 0 0 17 0 0 0 20 0 9 0 436401578 648945664 9895 33554432000 4194304 6211092 140734196141792 139624637823432 5149475 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 Current children cumulated CPU time: 1.47 s Current children cumulated vsize: 633736 KiB Current children cumulated memory: 39580 KiB [startup+0.310621 s]* /proc/loadavg: 6.11 7.82 8.16 9/203 12770 /proc/meminfo: memFree=31783536/32770624 swapFree=66970396/67108860 [pid=12761] ppid=12758 vsize=631672 memory=41212 CPUtime=2.21 cores=0-7 /proc/12761/stat : 12761 (cosoco) S 12758 12761 11464 0 -1 1077944320 11449 0 0 0 218 3 0 0 20 0 9 0 436401574 646832128 10303 33554432000 4194304 6211092 140734196141792 140734196140048 139624719716087 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 /proc/12761/statm: 157918 10303 889 493 0 151223 0 [pid=12761/tid=12763] ppid=12758 vsize=631672 memory=14964 CPUtime=0.27 cores=0-7 /proc/12761/task/12763/stat : 12763 (cosoco) R 12758 12761 11464 0 -1 4202560 1041 0 0 0 27 0 0 0 20 0 9 0 436401578 646832128 10303 33554432000 4194304 6211092 140734196141792 139624696572520 5409453 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12764] ppid=12758 vsize=631672 memory=7959527361172211593 CPUtime=0.26 cores=0-7 /proc/12761/task/12764/stat : 12764 (cosoco) R 12758 12761 11464 0 -1 4202560 1049 0 0 0 26 0 0 0 20 0 9 0 436401578 646832128 10303 33554432000 4194304 6211092 140734196141792 139624688179896 5193696 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12765] ppid=12758 vsize=631672 memory=140220724401792 CPUtime=0.27 cores=0-7 /proc/12761/task/12765/stat : 12765 (cosoco) R 12758 12761 11464 0 -1 4202560 712 0 0 0 27 0 0 0 20 0 9 0 436401578 646832128 10303 33554432000 4194304 6211092 140734196141792 139624679787112 5250284 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12766] ppid=12758 vsize=631672 memory=0 CPUtime=0.27 cores=0-7 /proc/12761/task/12766/stat : 12766 (cosoco) R 12758 12761 11464 0 -1 4202560 737 0 0 0 27 0 0 0 20 0 9 0 436401578 646832128 10303 33554432000 4194304 6211092 140734196141792 139624671394232 5150948 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12767] ppid=12758 vsize=631672 memory=0 CPUtime=0.27 cores=0-7 /proc/12761/task/12767/stat : 12767 (cosoco) R 12758 12761 11464 0 -1 4202560 719 0 0 0 27 0 0 0 20 0 9 0 436401578 646832128 10303 33554432000 4194304 6211092 140734196141792 139624663002440 5155807 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12768] ppid=12758 vsize=631672 memory=0 CPUtime=0.25 cores=0-7 /proc/12761/task/12768/stat : 12768 (cosoco) R 12758 12761 11464 0 -1 4202560 1041 0 0 0 25 0 0 0 20 0 9 0 436401578 646832128 10303 33554432000 4194304 6211092 140734196141792 139624654609000 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12769] ppid=12758 vsize=631672 memory=0 CPUtime=0.27 cores=0-7 /proc/12761/task/12769/stat : 12769 (cosoco) R 12758 12761 11464 0 -1 4202560 822 0 0 0 27 0 0 0 20 0 9 0 436401578 646832128 10303 33554432000 4194304 6211092 140734196141792 139624646216496 5250272 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12770] ppid=12758 vsize=631672 memory=0 CPUtime=0.27 cores=0-7 /proc/12761/task/12770/stat : 12770 (cosoco) R 12758 12761 11464 0 -1 4202560 770 0 0 0 27 0 0 0 20 0 9 0 436401578 646832128 10303 33554432000 4194304 6211092 140734196141792 139624637823400 5409465 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 Current children cumulated CPU time: 2.21 s Current children cumulated vsize: 631672 KiB Current children cumulated memory: 41212 KiB [startup+0.502011 s] # the end of solver process 12761 was just reported to runsolver # cumulated CPU time of all completed processes: user=3.57673 s, system=0.04202 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.410619 s]* /proc/loadavg: 6.11 7.82 8.16 9/203 12770 /proc/meminfo: memFree=31781676/32770624 swapFree=66970396/67108860 [pid=12761] ppid=12758 vsize=630640 memory=43012 CPUtime=3 cores=0-7 /proc/12761/stat : 12761 (cosoco) S 12758 12761 11464 0 -1 1077944320 12165 0 0 0 297 3 0 0 20 0 9 0 436401574 645775360 10753 33554432000 4194304 6211092 140734196141792 140734196140048 139624719716087 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 /proc/12761/statm: 157660 10753 889 493 0 150965 0 [pid=12761/tid=12763] ppid=12758 vsize=630640 memory=-3398145943129763647 CPUtime=0.37 cores=0-7 /proc/12761/task/12763/stat : 12763 (cosoco) R 12758 12761 11464 0 -1 4202560 1041 0 0 0 37 0 0 0 20 0 9 0 436401578 645775360 10753 33554432000 4194304 6211092 140734196141792 139624696572944 5193710 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12764] ppid=12758 vsize=630640 memory=280441340286712 CPUtime=0.35 cores=0-7 /proc/12761/task/12764/stat : 12764 (cosoco) R 12758 12761 11464 0 -1 4202560 1105 0 0 0 35 0 0 0 20 0 9 0 436401578 645775360 10753 33554432000 4194304 6211092 140734196141792 139624688179896 5091744 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12765] ppid=12758 vsize=630640 memory=140220724401792 CPUtime=0.37 cores=0-7 /proc/12761/task/12765/stat : 12765 (cosoco) R 12758 12761 11464 0 -1 4202560 930 0 0 0 37 0 0 0 20 0 9 0 436401578 645775360 10753 33554432000 4194304 6211092 140734196141792 139624679787112 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12766] ppid=12758 vsize=630640 memory=0 CPUtime=0.37 cores=0-7 /proc/12761/task/12766/stat : 12766 (cosoco) R 12758 12761 11464 0 -1 4202560 977 0 0 0 37 0 0 0 20 0 9 0 436401578 645775360 10753 33554432000 4194304 6211092 140734196141792 139624671394832 5093400 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12767] ppid=12758 vsize=630640 memory=0 CPUtime=0.37 cores=0-7 /proc/12761/task/12767/stat : 12767 (cosoco) R 12758 12761 11464 0 -1 4202560 736 0 0 0 37 0 0 0 20 0 9 0 436401578 645775360 10753 33554432000 4194304 6211092 140734196141792 139624663001784 5250241 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12768] ppid=12758 vsize=630640 memory=0 CPUtime=0.35 cores=0-7 /proc/12761/task/12768/stat : 12768 (cosoco) R 12758 12761 11464 0 -1 4202560 1074 0 0 0 35 0 0 0 20 0 9 0 436401578 645775360 10753 33554432000 4194304 6211092 140734196141792 139624654609536 5409444 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12769] ppid=12758 vsize=630640 memory=-1 CPUtime=0.37 cores=0-7 /proc/12761/task/12769/stat : 12769 (cosoco) R 12758 12761 11464 0 -1 4202560 825 0 0 0 37 0 0 0 20 0 9 0 436401578 645775360 10753 33554432000 4194304 6211092 140734196141792 139624646216376 5409457 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 [pid=12761/tid=12770] ppid=12758 vsize=630640 memory=0 CPUtime=0.37 cores=0-7 /proc/12761/task/12770/stat : 12770 (cosoco) R 12758 12761 11464 0 -1 4202560 919 0 0 0 37 0 0 0 20 0 9 0 436401578 645775360 10753 33554432000 4194304 6211092 140734196141792 139624637823592 5149418 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28880896 140734196147217 140734196147309 140734196147309 140734196150222 0 Current children cumulated CPU time: 3 s Current children cumulated vsize: 630640 KiB Current children cumulated memory: 43012 KiB Child status: 0 Real time (s): 0.502046 CPU time (s): 3.61875 CPU user time (s): 3.57673 CPU system time (s): 0.04202 CPU usage (%): 720.801 Max. virtual memory (cumulated for all children) (KiB): 634768 Max. memory (cumulated for all children) (KiB): 43012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.57673 system time used= 0.04202 maximum resident set size= 45300 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12508 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= 1253 involuntary context switches= 42 # summary of solver processes directly reported to runsolver: # pid: 12761 # total CPU time (s): 3.61875 # total CPU user time (s): 3.57673 # total CPU system time (s): 0.04202 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.018352 second user time and 0.045881 second system time The end
Begin job on node135 at 2019-09-16 04:38:00 IDJOB=4398241 IDBENCH=124138 IDSOLVER=2851 FILE ID=node135/4398241-1568601520 RUNJOBID= node135-1568595834-11491 PBS_JOBID= 21703393 Free space on /tmp= 61372 MiB SOLVER NAME= cosoco 2.O 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-4398241-1568601520/watcher-4398241-1568601520 -o /tmp/evaluation-result-4398241-1568601520/solver-4398241-1568601520 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568595834-11491 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398241-1568601520.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 60e0241f2eabd20d57de8d64a330066c RANDOM SEED=1595023304 node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 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 : 5333.76 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 : 5333.76 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 : 5333.76 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: 31821296 kB MemAvailable: 31863316 kB Buffers: 25892 kB Cached: 303692 kB SwapCached: 32744 kB Active: 169224 kB Inactive: 197448 kB Active(anon): 3772 kB Inactive(anon): 76500 kB Active(file): 165452 kB Inactive(file): 120948 kB Unevictable: 109492 kB Mlocked: 109492 kB SwapTotal: 67108860 kB SwapFree: 66970396 kB Dirty: 2860 kB Writeback: 4 kB AnonPages: 110368 kB Mapped: 41636 kB Shmem: 34452 kB Slab: 173564 kB SReclaimable: 142908 kB SUnreclaim: 30656 kB KernelStack: 3536 kB PageTables: 4880 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506032 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: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61368 MiB End job on node135 at 2019-09-16 04:38:01