Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.O parallel | OPT | 65 | 4.588 | 0.624909 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t13-0.xml |
MD5SUM | 558323a2a8170e0d854a4dae083387a0 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 65 |
Best CPU time to get the best result obtained on this benchmark | 3.16953 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 968 |
Number of constraints | 100 |
Number of domains | 9 |
Minimum domain size | 2 |
Maximum domain size | 18 |
Distribution of domain sizes | [{"size":2,"count":176},{"size":6,"count":88},{"size":7,"count":88},{"size":8,"count":88},{"size":11,"count":88},{"size":13,"count":176},{"size":15,"count":88},{"size":17,"count":88},{"size":18,"count":88}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":968}] |
Minimum constraint arity | 11 |
Maximum constraint arity | 880 |
Distribution of constraint arities | [{"arity":11,"count":88},{"arity":88,"count":11},{"arity":880,"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":98}] |
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-4398615-1568608568.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.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.57/0.20 c enable optimization 0.57/0.20 c ========================================[ Problem Statistics ]=========================================== 0.57/0.20 c | 0.57/0.20 c | Parse time : 0.03 s 0.57/0.20 c | 0.57/0.20 c | Variables: 968 0.57/0.20 c | Domain Sizes: 2..18 0.57/0.20 c | 0.57/0.20 c | Constraints: 273 0.57/0.20 c | Arity: 2..88 -- Binary: 87 0.57/0.20 c | 0.57/0.20 c | Types: 0.57/0.20 c | (X -Y <= k): 87 0.57/0.20 c | Lex: 87 0.57/0.20 c | Sum: 99 0.57/0.20 c | 0.57/0.20 c | Objective: Minimize Sum 0.57/0.20 0.57/0.20 c ========================================================================================================= 0.57/0.20 c Parallel mode: Portfolio 0.57/0.20 c [pFactory][Group N°0] created (threads:8). 0.57/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.57/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.57/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.57/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.57/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.57/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.57/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.57/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.57/0.20 c [pFactory][Group N°0] concurrent mode: enabled. 0.57/0.20 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.57/0.20 c [pFactory][Group N°0] task 7 launched on thread 6. 0.57/0.20 c [pFactory][Group N°0] task 6 launched on thread 0. 0.57/0.20 c [pFactory][Group N°0] task 5 launched on thread 1. 0.57/0.20 c [pFactory][Group N°0] task 4 launched on thread 2. 0.57/0.20 c [pFactory][Group N°0] task 3 launched on thread 3. 0.57/0.20 c [pFactory][Group N°0] task 2 launched on thread 4. 0.57/0.20 c [pFactory][Group N°0] task 1 launched on thread 5. 0.57/0.20 c [pFactory][Group N°0] task 0 launched on thread 7. 0.57/0.20 o 79 1.41/0.27 o 78 1.41/0.27 o 76 1.41/0.28 o 71 2.20/0.32 o 67 2.20/0.36 o 66 2.20/0.41 o 65 4.51/0.62 c [pFactory][Group N°0] concurent mode: thread 2 has won with the task 4. 4.51/0.62 c [pFactory][Group N°0] Thread N°0 is joined. 4.51/0.62 c [pFactory][Group N°0] Thread N°1 is joined. 4.51/0.62 c [pFactory][Group N°0] Thread N°2 is joined. 4.51/0.62 c [pFactory][Group N°0] Thread N°3 is joined. 4.51/0.62 c [pFactory][Group N°0] Thread N°4 is joined. 4.51/0.62 c [pFactory][Group N°0] Thread N°5 is joined. 4.51/0.62 c [pFactory][Group N°0] Thread N°6 is joined. 4.51/0.62 c [pFactory][Group N°0] Thread N°7 is joined. 4.51/0.62 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°2) 4.51/0.62 s OPTIMUM FOUND 4.51/0.62 c call to solver : 3 4.51/0.62 c 4.51/0.62 c restarts : 106 4.51/0.62 c conflicts : 606 (133 /sec) 4.51/0.62 c decisions : 34259 (7531 /sec) 4.51/0.62 c propagations : 128932 (28343 /sec) 4.51/0.62 c root propagations : 7480 4.51/0.62 c filter calls : 186187 (40929 /sec) 4.51/0.62 c useless filter calls : 168866 (90 %) 4.51/0.62 c Memory used : 584.49 MB 4.51/0.62 c Best bound time (wc) : 0.407074 s 4.51/0.62 c CPU time : 4.54893 s 4.51/0.62 c real time : 0.615365 s 4.51/0.62 4.51/0.62 4.51/0.62 v <instantiation type='solution' cost='65'> 4.51/0.62 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[85] p[86] p[87] 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[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][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> 4.51/0.62 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 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 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 1 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 1 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 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 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 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 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 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 1 0 0 1 0 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 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 </values> 4.51/0.62 v </instantiation> 4.51/0.62
OK 65
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 (15384 MiB free) memory of node 1: 16384 MiB (13411 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398615-1568608568/watcher-4398615-1568608568 -o /tmp/evaluation-result-4398615-1568608568/solver-4398615-1568608568 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568597210-21314 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398615-1568608568.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 solver pid=23176, runsolver pid=23173 Current StackSize limit: 8192 KiB [startup+0.103294 s]* /proc/loadavg: 8.08 6.70 6.96 9/199 23185 /proc/meminfo: memFree=29451844/32770624 swapFree=66958316/67108860 [pid=23176] ppid=23173 vsize=635428 memory=41548 CPUtime=0.57 cores=0-7 /proc/23176/stat : 23176 (cosoco) S 23173 23176 21287 0 -1 1077944320 10005 0 0 0 55 2 0 0 20 0 9 0 436793265 650678272 10387 33554432000 4194304 6211092 140731862752576 140731862750832 140261489467127 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 /proc/23176/statm: 158857 10387 885 493 0 152162 0 [pid=23176/tid=23178] ppid=23173 vsize=635428 memory=1398722017469774279 CPUtime=0.06 cores=0-7 /proc/23176/task/23178/stat : 23178 (cosoco) R 23173 23176 21287 0 -1 4202560 775 0 0 0 6 0 0 0 20 0 9 0 436793269 650678272 10387 33554432000 4194304 6211092 140731862752576 140261466323560 5155804 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23179] ppid=23173 vsize=635428 memory=4872558142750483522 CPUtime=0.06 cores=0-7 /proc/23176/task/23179/stat : 23179 (cosoco) R 23173 23176 21287 0 -1 4202560 379 0 0 0 6 0 0 0 20 0 9 0 436793269 650678272 10387 33554432000 4194304 6211092 140731862752576 140261457930696 5155804 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23180] ppid=23173 vsize=635428 memory=140183515264640 CPUtime=0.06 cores=0-7 /proc/23176/task/23180/stat : 23180 (cosoco) R 23173 23176 21287 0 -1 4202560 571 0 0 0 6 0 0 0 20 0 9 0 436793269 650678272 10387 33554432000 4194304 6211092 140731862752576 140261449537976 5409457 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23181] ppid=23173 vsize=635428 memory=0 CPUtime=0.06 cores=0-7 /proc/23176/task/23181/stat : 23181 (cosoco) R 23173 23176 21287 0 -1 4202560 724 0 0 0 6 0 0 0 20 0 9 0 436793269 650678272 10387 33554432000 4194304 6211092 140731862752576 140261441145272 5186312 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23182] ppid=23173 vsize=635428 memory=0 CPUtime=0.06 cores=0-7 /proc/23176/task/23182/stat : 23182 (cosoco) R 23173 23176 21287 0 -1 4202560 773 0 0 0 6 0 0 0 20 0 9 0 436793269 650678272 10387 33554432000 4194304 6211092 140731862752576 140261432752552 5149192 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23183] ppid=23173 vsize=635428 memory=0 CPUtime=0.06 cores=0-7 /proc/23176/task/23183/stat : 23183 (cosoco) R 23173 23176 21287 0 -1 4202560 744 0 0 0 6 0 0 0 20 0 9 0 436793269 650678272 10387 33554432000 4194304 6211092 140731862752576 140261424360040 5155800 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23184] ppid=23173 vsize=635428 memory=-1 CPUtime=0.06 cores=0-7 /proc/23176/task/23184/stat : 23184 (cosoco) R 23173 23176 21287 0 -1 4202560 896 0 0 0 6 0 0 0 20 0 9 0 436793269 650678272 10387 33554432000 4194304 6211092 140731862752576 140261415967336 5172531 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23185] ppid=23173 vsize=635428 memory=0 CPUtime=0.05 cores=0-7 /proc/23176/task/23185/stat : 23185 (cosoco) R 23173 23176 21287 0 -1 4202560 427 0 0 0 5 0 0 0 20 0 9 0 436793269 650678272 10387 33554432000 4194304 6211092 140731862752576 140261407574472 5149974 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 Current children cumulated CPU time: 0.57 s Current children cumulated vsize: 635428 KiB Current children cumulated memory: 41548 KiB [startup+0.210294 s]* /proc/loadavg: 8.08 6.70 6.96 9/199 23185 /proc/meminfo: memFree=29446884/32770624 swapFree=66958316/67108860 [pid=23176] ppid=23173 vsize=634912 memory=45720 CPUtime=1.41 cores=0-7 /proc/23176/stat : 23176 (cosoco) S 23173 23176 21287 0 -1 1077944320 11062 0 0 0 139 2 0 0 20 0 9 0 436793265 650149888 11430 33554432000 4194304 6211092 140731862752576 140731862750832 140261489467127 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 /proc/23176/statm: 158728 11430 885 493 0 152033 0 [pid=23176/tid=23178] ppid=23173 vsize=634912 memory=8316850467074736180 CPUtime=0.17 cores=0-7 /proc/23176/task/23178/stat : 23178 (cosoco) R 23173 23176 21287 0 -1 4202560 775 0 0 0 17 0 0 0 20 0 9 0 436793269 650149888 11430 33554432000 4194304 6211092 140731862752576 140261466323560 5149648 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23179] ppid=23173 vsize=634912 memory=9230 CPUtime=0.17 cores=0-7 /proc/23176/task/23179/stat : 23179 (cosoco) R 23173 23176 21287 0 -1 4202560 540 0 0 0 17 0 0 0 20 0 9 0 436793269 650149888 11430 33554432000 4194304 6211092 140731862752576 140261457930696 5149120 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23180] ppid=23173 vsize=634912 memory=4051182139992274592 CPUtime=0.16 cores=0-7 /proc/23176/task/23180/stat : 23180 (cosoco) R 23173 23176 21287 0 -1 4202560 660 0 0 0 16 0 0 0 20 0 9 0 436793269 650149888 11430 33554432000 4194304 6211092 140731862752576 140261449538152 5156184 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23181] ppid=23173 vsize=634912 memory=-1 CPUtime=0.17 cores=0-7 /proc/23176/task/23181/stat : 23181 (cosoco) R 23173 23176 21287 0 -1 4202560 985 0 0 0 17 0 0 0 20 0 9 0 436793269 650149888 11430 33554432000 4194304 6211092 140731862752576 140261441145256 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23182] ppid=23173 vsize=634912 memory=0 CPUtime=0.17 cores=0-7 /proc/23176/task/23182/stat : 23182 (cosoco) R 23173 23176 21287 0 -1 4202560 773 0 0 0 17 0 0 0 20 0 9 0 436793269 650149888 11430 33554432000 4194304 6211092 140731862752576 140261432752552 5409444 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23183] ppid=23173 vsize=634912 memory=0 CPUtime=0.17 cores=0-7 /proc/23176/task/23183/stat : 23183 (cosoco) R 23173 23176 21287 0 -1 4202560 959 0 0 0 17 0 0 0 20 0 9 0 436793269 650149888 11430 33554432000 4194304 6211092 140731862752576 140261424360040 5409465 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23184] ppid=23173 vsize=634912 memory=-1 CPUtime=0.17 cores=0-7 /proc/23176/task/23184/stat : 23184 (cosoco) R 23173 23176 21287 0 -1 4202560 1169 0 0 0 17 0 0 0 20 0 9 0 436793269 650149888 11430 33554432000 4194304 6211092 140731862752576 140261415967416 5148684 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23185] ppid=23173 vsize=634912 memory=0 CPUtime=0.15 cores=0-7 /proc/23176/task/23185/stat : 23185 (cosoco) R 23173 23176 21287 0 -1 4202560 485 0 0 0 15 0 0 0 20 0 9 0 436793269 650149888 11430 33554432000 4194304 6211092 140731862752576 140261407574632 5092437 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 Current children cumulated CPU time: 1.41 s Current children cumulated vsize: 634912 KiB Current children cumulated memory: 45720 KiB [startup+0.310296 s]* /proc/loadavg: 8.08 6.70 6.96 9/199 23185 /proc/meminfo: memFree=29442172/32770624 swapFree=66958316/67108860 [pid=23176] ppid=23173 vsize=632848 memory=49704 CPUtime=2.2 cores=0-7 /proc/23176/stat : 23176 (cosoco) S 23173 23176 21287 0 -1 1077944320 12474 0 0 0 217 3 0 0 20 0 9 0 436793265 648036352 12426 33554432000 4194304 6211092 140731862752576 140731862750832 140261489467127 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 /proc/23176/statm: 158212 12426 885 493 0 151517 0 [pid=23176/tid=23178] ppid=23173 vsize=632848 memory=1398722017469774279 CPUtime=0.26 cores=0-7 /proc/23176/task/23178/stat : 23178 (cosoco) R 23173 23176 21287 0 -1 4202560 1085 0 0 0 26 0 0 0 20 0 9 0 436793269 648036352 12426 33554432000 4194304 6211092 140731862752576 140261466323560 5409461 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23179] ppid=23173 vsize=632848 memory=4872558044660077418 CPUtime=0.27 cores=0-7 /proc/23176/task/23179/stat : 23179 (cosoco) R 23173 23176 21287 0 -1 4202560 988 0 0 0 27 0 0 0 20 0 9 0 436793269 648036352 12426 33554432000 4194304 6211092 140731862752576 140261457930856 5409461 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23180] ppid=23173 vsize=632848 memory=0 CPUtime=0.26 cores=0-7 /proc/23176/task/23180/stat : 23180 (cosoco) R 23173 23176 21287 0 -1 4202560 987 0 0 0 26 0 0 0 20 0 9 0 436793269 648036352 12426 33554432000 4194304 6211092 140731862752576 140261449538232 5193696 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23181] ppid=23173 vsize=632848 memory=6944656592455097440 CPUtime=0.27 cores=0-7 /proc/23176/task/23181/stat : 23181 (cosoco) R 23173 23176 21287 0 -1 4202560 1114 0 0 0 27 0 0 0 20 0 9 0 436793269 648036352 12426 33554432000 4194304 6211092 140731862752576 140261441145448 5409461 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23182] ppid=23173 vsize=632848 memory=6656426216303648864 CPUtime=0.27 cores=0-7 /proc/23176/task/23182/stat : 23182 (cosoco) R 23173 23176 21287 0 -1 4202560 773 0 0 0 27 0 0 0 20 0 9 0 436793269 648036352 12426 33554432000 4194304 6211092 140731862752576 140261432752552 5148679 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23183] ppid=23173 vsize=632848 memory=0 CPUtime=0.27 cores=0-7 /proc/23176/task/23183/stat : 23183 (cosoco) R 23173 23176 21287 0 -1 4202560 962 0 0 0 27 0 0 0 20 0 9 0 436793269 648036352 12426 33554432000 4194304 6211092 140731862752576 140261424359864 5092460 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23184] ppid=23173 vsize=632848 memory=0 CPUtime=0.27 cores=0-7 /proc/23176/task/23184/stat : 23184 (cosoco) R 23173 23176 21287 0 -1 4202560 1224 0 0 0 27 0 0 0 20 0 9 0 436793269 648036352 12426 33554432000 4194304 6211092 140731862752576 140261415967336 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23185] ppid=23173 vsize=632848 memory=0 CPUtime=0.24 cores=0-7 /proc/23176/task/23185/stat : 23185 (cosoco) R 23173 23176 21287 0 -1 4202560 625 0 0 0 24 0 0 0 20 0 9 0 436793269 648036352 12426 33554432000 4194304 6211092 140731862752576 140261407575056 5409444 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 Current children cumulated CPU time: 2.2 s Current children cumulated vsize: 632848 KiB Current children cumulated memory: 49704 KiB [startup+0.624861 s] # the end of solver process 23176 was just reported to runsolver # cumulated CPU time of all completed processes: user=4.54898 s, system=0.039013 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.410295 s]* /proc/loadavg: 8.08 6.70 6.96 9/199 23185 /proc/meminfo: memFree=29439940/32770624 swapFree=66958316/67108860 [pid=23176] ppid=23173 vsize=631300 memory=51852 CPUtime=2.99 cores=0-7 /proc/23176/stat : 23176 (cosoco) S 23173 23176 21287 0 -1 1077944320 13250 0 0 0 296 3 0 0 20 0 9 0 436793265 646451200 12963 33554432000 4194304 6211092 140731862752576 140731862750832 140261489467127 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 /proc/23176/statm: 157825 12963 885 493 0 151130 0 [pid=23176/tid=23178] ppid=23173 vsize=631300 memory=4713130536490922634 CPUtime=0.36 cores=0-7 /proc/23176/task/23178/stat : 23178 (cosoco) R 23173 23176 21287 0 -1 4202560 1097 0 0 0 36 0 0 0 20 0 9 0 436793269 646451200 12963 33554432000 4194304 6211092 140731862752576 140261466323560 5409465 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23179] ppid=23173 vsize=631300 memory=4872558142750483522 CPUtime=0.37 cores=0-7 /proc/23176/task/23179/stat : 23179 (cosoco) R 23173 23176 21287 0 -1 4202560 1035 0 0 0 37 0 0 0 20 0 9 0 436793269 646451200 12963 33554432000 4194304 6211092 140731862752576 140261457930856 5148684 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23180] ppid=23173 vsize=631300 memory=140183515264640 CPUtime=0.36 cores=0-7 /proc/23176/task/23180/stat : 23180 (cosoco) R 23173 23176 21287 0 -1 4202560 1089 0 0 0 36 0 0 0 20 0 9 0 436793269 646451200 12963 33554432000 4194304 6211092 140731862752576 140261449538832 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23181] ppid=23173 vsize=631300 memory=0 CPUtime=0.37 cores=0-7 /proc/23176/task/23181/stat : 23181 (cosoco) R 23173 23176 21287 0 -1 4202560 1114 0 0 0 37 0 0 0 20 0 9 0 436793269 646451200 12963 33554432000 4194304 6211092 140731862752576 140261441145448 5149120 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23182] ppid=23173 vsize=631300 memory=0 CPUtime=0.37 cores=0-7 /proc/23176/task/23182/stat : 23182 (cosoco) R 23173 23176 21287 0 -1 4202560 1023 0 0 0 37 0 0 0 20 0 9 0 436793269 646451200 12963 33554432000 4194304 6211092 140731862752576 140261432752744 5148679 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23183] ppid=23173 vsize=631300 memory=0 CPUtime=0.37 cores=0-7 /proc/23176/task/23183/stat : 23183 (cosoco) R 23173 23176 21287 0 -1 4202560 1073 0 0 0 37 0 0 0 20 0 9 0 436793269 646451200 12963 33554432000 4194304 6211092 140731862752576 140261424360776 5409453 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23184] ppid=23173 vsize=631300 memory=-1 CPUtime=0.37 cores=0-7 /proc/23176/task/23184/stat : 23184 (cosoco) R 23173 23176 21287 0 -1 4202560 1226 0 0 0 37 0 0 0 20 0 9 0 436793269 646451200 12963 33554432000 4194304 6211092 140731862752576 140261415967336 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23185] ppid=23173 vsize=631300 memory=0 CPUtime=0.33 cores=0-7 /proc/23176/task/23185/stat : 23185 (cosoco) R 23173 23176 21287 0 -1 4202560 878 0 0 0 33 0 0 0 20 0 9 0 436793269 646451200 12963 33554432000 4194304 6211092 140731862752576 140261407575368 5409476 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 Current children cumulated CPU time: 2.99 s Current children cumulated vsize: 631300 KiB Current children cumulated memory: 51852 KiB [startup+0.610295 s] /proc/loadavg: 8.08 6.70 6.96 9/199 23185 /proc/meminfo: memFree=29439568/32770624 swapFree=66958316/67108860 [pid=23176] ppid=23173 vsize=631300 memory=52376 CPUtime=4.51 cores=0-7 /proc/23176/stat : 23176 (cosoco) S 23173 23176 21287 0 -1 1077944320 13380 0 0 0 448 3 0 0 20 0 9 0 436793265 646451200 13094 33554432000 4194304 6211092 140731862752576 140731862750832 140261489467127 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 /proc/23176/statm: 157825 13094 885 493 0 151130 0 [pid=23176/tid=23178] ppid=23173 vsize=631300 memory=288230617509003574 CPUtime=0.55 cores=0-7 /proc/23176/task/23178/stat : 23178 (cosoco) R 23173 23176 21287 0 -1 4202560 1136 0 0 0 55 0 0 0 20 0 9 0 436793269 646451200 13094 33554432000 4194304 6211092 140731862752576 140261466323560 5149221 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23179] ppid=23173 vsize=631300 memory=15821084104591915 CPUtime=0.56 cores=0-7 /proc/23176/task/23179/stat : 23179 (cosoco) R 23173 23176 21287 0 -1 4202560 1041 0 0 0 56 0 0 0 20 0 9 0 436793269 646451200 13094 33554432000 4194304 6211092 140731862752576 140261457930856 5148698 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23180] ppid=23173 vsize=631300 memory=1560 CPUtime=0.55 cores=0-7 /proc/23176/task/23180/stat : 23180 (cosoco) R 23173 23176 21287 0 -1 4202560 1111 0 0 0 55 0 0 0 20 0 9 0 436793269 646451200 13094 33554432000 4194304 6211092 140731862752576 140261449538832 5155944 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23181] ppid=23173 vsize=631300 memory=932 CPUtime=0.56 cores=0-7 /proc/23176/task/23181/stat : 23181 (cosoco) R 23173 23176 21287 0 -1 4202560 1114 0 0 0 56 0 0 0 20 0 9 0 436793269 646451200 13094 33554432000 4194304 6211092 140731862752576 140261441145448 5193710 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23182] ppid=23173 vsize=631300 memory=1568 CPUtime=0.56 cores=0-7 /proc/23176/task/23182/stat : 23182 (cosoco) R 23173 23176 21287 0 -1 4202560 1085 0 0 0 56 0 0 0 20 0 9 0 436793269 646451200 13094 33554432000 4194304 6211092 140731862752576 140261432752744 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23183] ppid=23173 vsize=631300 memory=1444 CPUtime=0.56 cores=0-7 /proc/23176/task/23183/stat : 23183 (cosoco) R 23173 23176 21287 0 -1 4202560 1073 0 0 0 56 0 0 0 20 0 9 0 436793269 646451200 13094 33554432000 4194304 6211092 140731862752576 140261424360576 5149120 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23184] ppid=23173 vsize=631300 memory=880 CPUtime=0.56 cores=0-7 /proc/23176/task/23184/stat : 23184 (cosoco) R 23173 23176 21287 0 -1 4202560 1226 0 0 0 56 0 0 0 20 0 9 0 436793269 646451200 13094 33554432000 4194304 6211092 140731862752576 140261415967336 5250450 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 [pid=23176/tid=23185] ppid=23173 vsize=631300 memory=1976 CPUtime=0.51 cores=0-7 /proc/23176/task/23185/stat : 23185 (cosoco) R 23173 23176 21287 0 -1 4202560 878 0 0 0 51 0 0 0 20 0 9 0 436793269 646451200 13094 33554432000 4194304 6211092 140731862752576 140261407575168 5409453 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16207872 140731862758422 140731862758514 140731862758514 140731862761422 0 Current children cumulated CPU time: 4.51 s Current children cumulated vsize: 631300 KiB Current children cumulated memory: 52376 KiB Child status: 0 Real time (s): 0.624909 CPU time (s): 4.588 CPU user time (s): 4.54898 CPU system time (s): 0.039013 CPU usage (%): 734.186 Max. virtual memory (cumulated for all children) (KiB): 635428 Max. memory (cumulated for all children) (KiB): 52376 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.54898 system time used= 0.039013 maximum resident set size= 52724 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13401 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= 1125 involuntary context switches= 52 # summary of solver processes directly reported to runsolver: # pid: 23176 # total CPU time (s): 4.588 # total CPU user time (s): 4.54898 # total CPU system time (s): 0.039013 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.025715 second user time and 0.047052 second system time The end
Begin job on node145 at 2019-09-16 06:35:26 IDJOB=4398615 IDBENCH=124190 IDSOLVER=2852 FILE ID=node145/4398615-1568608568 RUNJOBID= node145-1568597210-21314 PBS_JOBID= 21703405 Free space on /tmp= 59532 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t13-0.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398615-1568608568/watcher-4398615-1568608568 -o /tmp/evaluation-result-4398615-1568608568/solver-4398615-1568608568 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568597210-21314 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398615-1568608568.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 558323a2a8170e0d854a4dae083387a0 RANDOM SEED=936732950 node145.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.59 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.59 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.59 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.59 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: 29486416 kB MemAvailable: 31852656 kB Buffers: 164828 kB Cached: 2493072 kB SwapCached: 41076 kB Active: 1270432 kB Inactive: 1430480 kB Active(anon): 6776 kB Inactive(anon): 85464 kB Active(file): 1263656 kB Inactive(file): 1345016 kB Unevictable: 110680 kB Mlocked: 110680 kB SwapTotal: 67108860 kB SwapFree: 66958316 kB Dirty: 2820 kB Writeback: 0 kB AnonPages: 122640 kB Mapped: 46804 kB Shmem: 40612 kB Slab: 175184 kB SReclaimable: 146804 kB SUnreclaim: 28380 kB KernelStack: 3712 kB PageTables: 5228 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506108 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 59528 MiB End job on node145 at 2019-09-16 06:35:27