Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.O parallel | OPT | 2 | 252.057 | 31.5836 |
Name | BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c1w4m.xml |
MD5SUM | 9af4c2349f4dbdb842cc927ab12812f8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 6.10184 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 130 |
Number of constraints | 89 |
Number of domains | 2 |
Minimum domain size | 35 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":35,"count":129},{"size":44,"count":1}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":4,"count":86},{"degree":5,"count":43}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 129 |
Distribution of constraint arities | [{"arity":3,"count":86},{"arity":44,"count":1},{"arity":129,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":43},{"type":"lex","count":1},{"type":"sum","count":43},{"type":"count","count":1},{"type":"cardinality","count":1}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.01 c 0.00/0.01 c This is cosoco 2.00 -- 0.00/0.01 c 0.00/0.01 c command line: cosoco -model -nbcores=8 HOME/instance-4398743-1568609840.xml 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 129 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 129 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 129 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 129 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 129 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 129 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 129 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 129 Exactly/AtMost.. constraint 0.00/0.01 c 114.82/14.47 c enable optimization 114.82/14.47 c ========================================[ Problem Statistics ]=========================================== 114.82/14.47 c | 114.82/14.47 c | Parse time : 0.01 s 114.82/14.47 c | 114.82/14.47 c | Variables: 130 114.82/14.47 c | Domain Sizes: 35..44 114.82/14.47 c | 114.82/14.47 c | Constraints: 208 114.82/14.47 c | Arity: 1..129 -- Unary: 1 -- Binary: 86 -- Ternary: 43 114.82/14.47 c | 114.82/14.47 c | Types: 114.82/14.47 c | (X -Y <= k): 86 114.82/14.47 c | Exactly K: 35 114.82/14.47 c | Exactly K variable: 1 114.82/14.47 c | Intension: 1 114.82/14.47 c | Lex: 42 114.82/14.47 c | Sum: 43 114.82/14.47 c | 114.82/14.47 c | Objective: Maximize Intension 114.82/14.47 114.82/14.47 c ========================================================================================================= 114.82/14.47 c Parallel mode: Portfolio 114.82/14.47 c [pFactory][Group N°0] created (threads:8). 114.82/14.47 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 114.82/14.47 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 114.82/14.47 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 114.82/14.47 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 114.82/14.47 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 114.82/14.47 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 114.82/14.47 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 114.82/14.47 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 114.82/14.47 c [pFactory][Group N°0] concurrent mode: enabled. 114.82/14.47 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 114.82/14.47 c [pFactory][Group N°0] task 7 launched on thread 7. 114.82/14.47 c [pFactory][Group N°0] task 6 launched on thread 0. 114.82/14.47 c [pFactory][Group N°0] task 5 launched on thread 3. 114.82/14.47 c [pFactory][Group N°0] task 4 launched on thread 1. 114.82/14.47 c [pFactory][Group N°0] task 3 launched on thread 2. 114.82/14.47 c [pFactory][Group N°0] task 2 launched on thread 4. 114.82/14.47 c [pFactory][Group N°0] task 1 launched on thread 5. 114.82/14.47 c [pFactory][Group N°0] task 0 launched on thread 6. 114.82/14.47 o 0 229.04/28.74 o 1 231.50/29.10 o 2 251.41/31.58 c [pFactory][Group N°0] concurent mode: thread 3 has won with the task 5. 251.41/31.58 c [pFactory][Group N°0] Thread N°0 is joined. 251.41/31.58 c [pFactory][Group N°0] Thread N°1 is joined. 251.41/31.58 c [pFactory][Group N°0] Thread N°2 is joined. 251.41/31.58 c [pFactory][Group N°0] Thread N°3 is joined. 251.41/31.58 c [pFactory][Group N°0] Thread N°4 is joined. 251.41/31.58 c [pFactory][Group N°0] Thread N°5 is joined. 251.41/31.58 c [pFactory][Group N°0] Thread N°6 is joined. 251.41/31.58 c [pFactory][Group N°0] Thread N°7 is joined. 251.41/31.58 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°3) 251.41/31.58 s OPTIMUM FOUND 251.41/31.58 c call to solver : 3 251.41/31.58 c 251.41/31.58 c restarts : 1556 251.41/31.58 c conflicts : 8693 (34 /sec) 251.41/31.58 c decisions : 114576 (455 /sec) 251.41/31.58 c propagations : 1240838 (4923 /sec) 251.41/31.58 c root propagations : 821021 251.41/31.58 c filter calls : 8503522 (33740 /sec) 251.41/31.58 c useless filter calls : 8319122 (97 %) 251.41/31.58 c Memory used : 575.88 MB 251.41/31.58 c Best bound time (wc) : 29.0954 s 251.41/31.58 c CPU time : 252.033 s 251.41/31.58 c real time : 31.5757 s 251.41/31.58 251.41/31.58 251.41/31.58 v <instantiation type='solution' cost='2'> 251.41/31.58 v <list>b[0][0] b[0][1] b[0][2] b[10][0] b[10][1] b[10][2] b[11][0] b[11][1] b[11][2] b[12][0] b[12][1] b[12][2] b[13][0] b[13][1] b[13][2] b[14][0] b[14][1] b[14][2] b[15][0] b[15][1] b[15][2] b[16][0] b[16][1] b[16][2] b[17][0] b[17][1] b[17][2] b[18][0] b[18][1] b[18][2] b[19][0] b[19][1] b[19][2] b[1][0] b[1][1] b[1][2] b[20][0] b[20][1] b[20][2] b[21][0] b[21][1] b[21][2] b[22][0] b[22][1] b[22][2] b[23][0] b[23][1] b[23][2] b[24][0] b[24][1] b[24][2] b[25][0] b[25][1] b[25][2] b[26][0] b[26][1] b[26][2] b[27][0] b[27][1] b[27][2] b[28][0] b[28][1] b[28][2] b[29][0] b[29][1] b[29][2] b[2][0] b[2][1] b[2][2] b[30][0] b[30][1] b[30][2] b[31][0] b[31][1] b[31][2] b[32][0] b[32][1] b[32][2] b[33][0] b[33][1] b[33][2] b[34][0] b[34][1] b[34][2] b[35][0] b[35][1] b[35][2] b[36][0] b[36][1] b[36][2] b[37][0] b[37][1] b[37][2] b[38][0] b[38][1] b[38][2] b[39][0] b[39][1] b[39][2] b[3][0] b[3][1] b[3][2] b[40][0] b[40][1] b[40][2] b[41][0] b[41][1] b[41][2] b[42][0] b[42][1] b[42][2] b[4][0] b[4][1] b[4][2] b[5][0] b[5][1] b[5][2] b[6][0] b[6][1] b[6][2] b[7][0] b[7][1] b[7][2] b[8][0] b[8][1] b[8][2] b[9][0] b[9][1] b[9][2] x </list> 251.41/31.58 v <values>100 0 0 87 0 0 80 0 0 79 0 0 77 0 0 75 0 0 74 0 0 73 0 0 71 0 0 71 0 0 71 0 0 99 0 0 69 31 0 66 34 0 64 33 0 64 0 0 64 0 0 63 0 0 63 0 0 63 0 0 62 0 0 60 0 0 99 0 0 60 0 0 59 0 0 59 0 0 59 0 0 55 45 0 55 42 0 55 42 0 53 46 0 51 48 0 49 46 0 94 0 0 49 0 0 0 0 0 0 0 0 93 0 0 92 0 0 91 0 0 89 0 0 88 0 0 88 0 0 2 </values> 251.41/31.58 v </instantiation> 251.41/31.58
OK 2
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 (14881 MiB free) memory of node 1: 16384 MiB (15505 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398743-1568609840/watcher-4398743-1568609840 -o /tmp/evaluation-result-4398743-1568609840/solver-4398743-1568609840 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568597898-3256 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398743-1568609840.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=4806, runsolver pid=4803 [startup+0.100301 s]* /proc/loadavg: 4.80 8.01 8.67 9/199 4815 /proc/meminfo: memFree=31110380/32770624 swapFree=67004300/67108860 [pid=4806] ppid=4803 vsize=622476 memory=9288 CPUtime=0.69 cores=0-7 /proc/4806/stat : 4806 (cosoco) S 4803 4806 3228 0 -1 1077944320 2639 0 0 0 69 0 0 0 20 0 9 0 437145555 637415424 2322 33554432000 4194304 6211092 140732626172640 140732626170896 140171573096183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 /proc/4806/statm: 155619 2322 869 493 0 148924 0 [pid=4806/tid=4808] ppid=4803 vsize=622476 memory=576460756329955530 CPUtime=0.08 cores=0-7 /proc/4806/task/4808/stat : 4808 (cosoco) R 4803 4806 3228 0 -1 4202560 13 0 0 0 8 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171549953040 5250272 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4809] ppid=4803 vsize=622476 memory=0 CPUtime=0.07 cores=0-7 /proc/4806/task/4809/stat : 4809 (cosoco) R 4803 4806 3228 0 -1 4202560 3 0 0 0 7 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171541560336 5250289 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4810] ppid=4803 vsize=622476 memory=140337705196009 CPUtime=0.08 cores=0-7 /proc/4806/task/4810/stat : 4810 (cosoco) R 4803 4806 3228 0 -1 4202560 11 0 0 0 8 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171533168224 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4811] ppid=4803 vsize=622476 memory=0 CPUtime=0.08 cores=0-7 /proc/4806/task/4811/stat : 4811 (cosoco) R 4803 4806 3228 0 -1 4202560 3 0 0 0 8 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171524774648 5136320 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4812] ppid=4803 vsize=622476 memory=0 CPUtime=0.08 cores=0-7 /proc/4806/task/4812/stat : 4812 (cosoco) R 4803 4806 3228 0 -1 4202560 21 0 0 0 8 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171516382816 5250289 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4813] ppid=4803 vsize=622476 memory=0 CPUtime=0.08 cores=0-7 /proc/4806/task/4813/stat : 4813 (cosoco) R 4803 4806 3228 0 -1 4202560 20 0 0 0 8 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171507990112 5250289 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4814] ppid=4803 vsize=622476 memory=-1 CPUtime=0.08 cores=0-7 /proc/4806/task/4814/stat : 4814 (cosoco) R 4803 4806 3228 0 -1 4202560 16 0 0 0 8 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171499597408 5250224 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4815] ppid=4803 vsize=622476 memory=0 CPUtime=0.08 cores=0-7 /proc/4806/task/4815/stat : 4815 (cosoco) R 4803 4806 3228 0 -1 4202560 18 0 0 0 8 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140732626170792 5250287 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 622476 KiB Current children cumulated memory: 9288 KiB [startup+0.210301 s]* /proc/loadavg: 4.80 8.01 8.67 9/199 4815 /proc/meminfo: memFree=31111140/32770624 swapFree=67004300/67108860 [pid=4806] ppid=4803 vsize=622476 memory=9288 CPUtime=1.56 cores=0-7 /proc/4806/stat : 4806 (cosoco) S 4803 4806 3228 0 -1 1077944320 2706 0 0 0 156 0 0 0 20 0 9 0 437145555 637415424 2322 33554432000 4194304 6211092 140732626172640 140732626170896 140171573096183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 /proc/4806/statm: 155619 2322 869 493 0 148924 0 [pid=4806/tid=4808] ppid=4803 vsize=622476 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/4806/task/4808/stat : 4808 (cosoco) R 4803 4806 3228 0 -1 4202560 13 0 0 0 19 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171549953040 5250289 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4809] ppid=4803 vsize=622476 memory=14965 CPUtime=0.17 cores=0-7 /proc/4806/task/4809/stat : 4809 (cosoco) R 4803 4806 3228 0 -1 4202560 29 0 0 0 17 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171541560336 5136583 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4810] ppid=4803 vsize=622476 memory=140337705196099 CPUtime=0.19 cores=0-7 /proc/4806/task/4810/stat : 4810 (cosoco) R 4803 4806 3228 0 -1 4202560 11 0 0 0 19 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171533167632 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4811] ppid=4803 vsize=622476 memory=-1 CPUtime=0.19 cores=0-7 /proc/4806/task/4811/stat : 4811 (cosoco) R 4803 4806 3228 0 -1 4202560 29 0 0 0 19 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171524774648 5250289 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4812] ppid=4803 vsize=622476 memory=0 CPUtime=0.19 cores=0-7 /proc/4806/task/4812/stat : 4812 (cosoco) R 4803 4806 3228 0 -1 4202560 27 0 0 0 19 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171516381944 5250289 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4813] ppid=4803 vsize=622476 memory=0 CPUtime=0.19 cores=0-7 /proc/4806/task/4813/stat : 4813 (cosoco) R 4803 4806 3228 0 -1 4202560 24 0 0 0 19 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171507989240 5250289 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4814] ppid=4803 vsize=622476 memory=-1 CPUtime=0.19 cores=0-7 /proc/4806/task/4814/stat : 4814 (cosoco) R 4803 4806 3228 0 -1 4202560 21 0 0 0 19 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171499596816 5250241 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4815] ppid=4803 vsize=622476 memory=0 CPUtime=0.19 cores=0-7 /proc/4806/task/4815/stat : 4815 (cosoco) R 4803 4806 3228 0 -1 4202560 18 0 0 0 19 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171491204112 5250289 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 Current children cumulated CPU time: 1.56 s Current children cumulated vsize: 622476 KiB Current children cumulated memory: 9288 KiB [startup+0.3103 s]* /proc/loadavg: 4.80 8.01 8.67 9/199 4815 /proc/meminfo: memFree=31111140/32770624 swapFree=67004300/67108860 [pid=4806] ppid=4803 vsize=622476 memory=9288 CPUtime=2.35 cores=0-7 /proc/4806/stat : 4806 (cosoco) S 4803 4806 3228 0 -1 1077944320 2747 0 0 0 235 0 0 0 20 0 9 0 437145555 637415424 2322 33554432000 4194304 6211092 140732626172640 140732626170896 140171573096183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 /proc/4806/statm: 155619 2322 869 493 0 148924 0 [pid=4806/tid=4808] ppid=4803 vsize=622476 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/4806/task/4808/stat : 4808 (cosoco) R 4803 4806 3228 0 -1 4202560 17 0 0 0 29 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171549953040 5250272 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4809] ppid=4803 vsize=622476 memory=0 CPUtime=0.26 cores=0-7 /proc/4806/task/4809/stat : 4809 (cosoco) R 4803 4806 3228 0 -1 4202560 35 0 0 0 26 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171541559784 5250241 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4810] ppid=4803 vsize=622476 memory=0 CPUtime=0.29 cores=0-7 /proc/4806/task/4810/stat : 4810 (cosoco) R 4803 4806 3228 0 -1 4202560 22 0 0 0 29 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171533167632 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4811] ppid=4803 vsize=622476 memory=6944656592455097440 CPUtime=0.29 cores=0-7 /proc/4806/task/4811/stat : 4811 (cosoco) R 4803 4806 3228 0 -1 4202560 34 0 0 0 29 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171524774376 5250461 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4812] ppid=4803 vsize=622476 memory=0 CPUtime=0.29 cores=0-7 /proc/4806/task/4812/stat : 4812 (cosoco) R 4803 4806 3228 0 -1 4202560 34 0 0 0 29 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171516381944 5250289 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4813] ppid=4803 vsize=622476 memory=0 CPUtime=0.29 cores=0-7 /proc/4806/task/4813/stat : 4813 (cosoco) R 4803 4806 3228 0 -1 4202560 28 0 0 0 29 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171507989240 5250272 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4814] ppid=4803 vsize=622476 memory=0 CPUtime=0.29 cores=0-7 /proc/4806/task/4814/stat : 4814 (cosoco) R 4803 4806 3228 0 -1 4202560 22 0 0 0 29 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171499596816 5250272 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4815] ppid=4803 vsize=622476 memory=0 CPUtime=0.29 cores=0-7 /proc/4806/task/4815/stat : 4815 (cosoco) R 4803 4806 3228 0 -1 4202560 21 0 0 0 29 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171491204112 5250289 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 Current children cumulated CPU time: 2.35 s Current children cumulated vsize: 622476 KiB Current children cumulated memory: 9288 KiB [startup+0.7013 s] /proc/loadavg: 4.80 8.01 8.67 9/199 4815 /proc/meminfo: memFree=31111140/32770624 swapFree=67004300/67108860 [pid=4806] ppid=4803 vsize=622476 memory=9288 CPUtime=5.39 cores=0-7 /proc/4806/stat : 4806 (cosoco) S 4803 4806 3228 0 -1 1077944320 2790 0 0 0 539 0 0 0 20 0 9 0 437145555 637415424 2322 33554432000 4194304 6211092 140732626172640 140732626170896 140171573096183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 /proc/4806/statm: 155619 2322 869 493 0 148924 0 [pid=4806/tid=4808] ppid=4803 vsize=622476 memory=14012 CPUtime=0.67 cores=0-7 /proc/4806/task/4808/stat : 4808 (cosoco) R 4803 4806 3228 0 -1 4202560 17 0 0 0 67 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171549953040 5136311 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4809] ppid=4803 vsize=622476 memory=22372 CPUtime=0.63 cores=0-7 /proc/4806/task/4809/stat : 4809 (cosoco) R 4803 4806 3228 0 -1 4202560 41 0 0 0 63 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171541559864 5390449 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4810] ppid=4803 vsize=622476 memory=14068 CPUtime=0.67 cores=0-7 /proc/4806/task/4810/stat : 4810 (cosoco) R 4803 4806 3228 0 -1 4202560 33 0 0 0 67 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171533167632 5136292 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4811] ppid=4803 vsize=622476 memory=2120 CPUtime=0.67 cores=0-7 /proc/4806/task/4811/stat : 4811 (cosoco) R 4803 4806 3228 0 -1 4202560 41 0 0 0 67 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171524774456 5250467 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4812] ppid=4803 vsize=622476 memory=504 CPUtime=0.67 cores=0-7 /proc/4806/task/4812/stat : 4812 (cosoco) R 4803 4806 3228 0 -1 4202560 36 0 0 0 67 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171516381880 5250287 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4813] ppid=4803 vsize=622476 memory=1560 CPUtime=0.67 cores=0-7 /proc/4806/task/4813/stat : 4813 (cosoco) R 4803 4806 3228 0 -1 4202560 39 0 0 0 67 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171507989048 5250272 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4814] ppid=4803 vsize=622476 memory=924 CPUtime=0.67 cores=0-7 /proc/4806/task/4814/stat : 4814 (cosoco) R 4803 4806 3228 0 -1 4202560 27 0 0 0 67 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171499596816 5250279 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4815] ppid=4803 vsize=622476 memory=1692 CPUtime=0.67 cores=0-7 /proc/4806/task/4815/stat : 4815 (cosoco) R 4803 4806 3228 0 -1 4202560 22 0 0 0 67 0 0 0 20 0 9 0 437145557 637415424 2322 33554432000 4194304 6211092 140732626172640 140171491204112 5250251 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 Current children cumulated CPU time: 5.39 s Current children cumulated vsize: 622476 KiB Current children cumulated memory: 9288 KiB [startup+1.5013 s] /proc/loadavg: 4.80 8.01 8.67 9/199 4815 /proc/meminfo: memFree=31111140/32770624 swapFree=67004300/67108860 [pid=4806] ppid=4803 vsize=622476 memory=10692 CPUtime=11.78 cores=0-7 /proc/4806/stat : 4806 (cosoco) S 4803 4806 3228 0 -1 1077944320 4651 0 0 0 1177 1 0 0 20 0 9 0 437145555 637415424 2673 33554432000 4194304 6211092 140732626172640 140732626170896 140171573096183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 /proc/4806/statm: 155619 2673 878 493 0 148924 0 [pid=4806/tid=4808] ppid=4803 vsize=622476 memory=0 CPUtime=1.47 cores=0-7 /proc/4806/task/4808/stat : 4808 (cosoco) R 4803 4806 3228 0 -1 4202560 183 0 0 0 147 0 0 0 20 0 9 0 437145557 637415424 2673 33554432000 4194304 6211092 140732626172640 140171549952536 5136279 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4809] ppid=4803 vsize=622476 memory=0 CPUtime=1.42 cores=0-7 /proc/4806/task/4809/stat : 4809 (cosoco) R 4803 4806 3228 0 -1 4202560 393 0 0 0 142 0 0 0 20 0 9 0 437145557 637415424 2673 33554432000 4194304 6211092 140732626172640 140171541559992 5250272 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4810] ppid=4803 vsize=622476 memory=0 CPUtime=1.47 cores=0-7 /proc/4806/task/4810/stat : 4810 (cosoco) R 4803 4806 3228 0 -1 4202560 195 0 0 0 147 0 0 0 20 0 9 0 437145557 637415424 2673 33554432000 4194304 6211092 140732626172640 140171533167632 5397454 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4811] ppid=4803 vsize=622476 memory=8243114992657236051 CPUtime=1.47 cores=0-7 /proc/4806/task/4811/stat : 4811 (cosoco) R 4803 4806 3228 0 -1 4202560 292 0 0 0 147 0 0 0 20 0 9 0 437145557 637415424 2673 33554432000 4194304 6211092 140732626172640 140171524774680 5250284 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4812] ppid=4803 vsize=622476 memory=288293285427151711 CPUtime=1.47 cores=0-7 /proc/4806/task/4812/stat : 4812 (cosoco) R 4803 4806 3228 0 -1 4202560 202 0 0 0 147 0 0 0 20 0 9 0 437145557 637415424 2673 33554432000 4194304 6211092 140732626172640 140171516381880 5136279 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4813] ppid=4803 vsize=622476 memory=0 CPUtime=1.47 cores=0-7 /proc/4806/task/4813/stat : 4813 (cosoco) R 4803 4806 3228 0 -1 4202560 250 0 0 0 147 0 0 0 20 0 9 0 437145557 637415424 2673 33554432000 4194304 6211092 140732626172640 140171507989048 5250272 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4814] ppid=4803 vsize=622476 memory=1052 CPUtime=1.47 cores=0-7 /proc/4806/task/4814/stat : 4814 (cosoco) R 4803 4806 3228 0 -1 4202560 341 0 0 0 147 0 0 0 20 0 9 0 437145557 637415424 2673 33554432000 4194304 6211092 140732626172640 140171499596472 5250289 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4815] ppid=4803 vsize=622476 memory=81 CPUtime=1.47 cores=0-7 /proc/4806/task/4815/stat : 4815 (cosoco) R 4803 4806 3228 0 -1 4202560 261 0 0 0 147 0 0 0 20 0 9 0 437145557 637415424 2673 33554432000 4194304 6211092 140732626172640 140171491203496 5136256 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 Current children cumulated CPU time: 11.78 s Current children cumulated vsize: 622476 KiB Current children cumulated memory: 10692 KiB [startup+3.1093 s] /proc/loadavg: 4.80 8.01 8.67 9/199 4815 /proc/meminfo: memFree=31109912/32770624 swapFree=67004300/67108860 [pid=4806] ppid=4803 vsize=622476 memory=11080 CPUtime=24.63 cores=0-7 /proc/4806/stat : 4806 (cosoco) S 4803 4806 3228 0 -1 1077944320 6370 0 0 0 2462 1 0 0 20 0 9 0 437145555 637415424 2770 33554432000 4194304 6211092 140732626172640 140732626170896 140171573096183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 /proc/4806/statm: 155619 2770 878 493 0 148924 0 [pid=4806/tid=4808] ppid=4803 vsize=622476 memory=10708 CPUtime=3.08 cores=0-7 /proc/4806/task/4808/stat : 4808 (cosoco) R 4803 4806 3228 0 -1 4202560 387 0 0 0 308 0 0 0 20 0 9 0 437145557 637415424 2770 33554432000 4194304 6211092 140732626172640 140171549952568 5250272 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4809] ppid=4803 vsize=622476 memory=10708 CPUtime=3 cores=0-7 /proc/4806/task/4809/stat : 4809 (cosoco) R 4803 4806 3228 0 -1 4202560 589 0 0 0 300 0 0 0 20 0 9 0 437145557 637415424 2770 33554432000 4194304 6211092 140732626172640 140171541560184 5250272 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4810] ppid=4803 vsize=622476 memory=22636 CPUtime=3.08 cores=0-7 /proc/4806/task/4810/stat : 4810 (cosoco) R 4803 4806 3228 0 -1 4202560 344 0 0 0 308 0 0 0 20 0 9 0 437145557 637415424 2770 33554432000 4194304 6211092 140732626172640 140171533167632 5250289 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4811] ppid=4803 vsize=622476 memory=10708 CPUtime=3.08 cores=0-7 /proc/4806/task/4811/stat : 4811 (cosoco) R 4803 4806 3228 0 -1 4202560 516 0 0 0 308 0 0 0 20 0 9 0 437145557 637415424 2770 33554432000 4194304 6211092 140732626172640 140171524774376 5136256 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4812] ppid=4803 vsize=622476 memory=0 CPUtime=3.08 cores=0-7 /proc/4806/task/4812/stat : 4812 (cosoco) R 4803 4806 3228 0 -1 4202560 441 0 0 0 308 0 0 0 20 0 9 0 437145557 637415424 2770 33554432000 4194304 6211092 140732626172640 140171516381608 5250272 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4813] ppid=4803 vsize=622476 memory=3545656534513113440 CPUtime=3.08 cores=0-7 /proc/4806/task/4813/stat : 4813 (cosoco) R 4803 4806 3228 0 -1 4202560 508 0 0 0 308 0 0 0 20 0 9 0 437145557 637415424 2770 33554432000 4194304 6211092 140732626172640 140171507988968 5250289 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4814] ppid=4803 vsize=622476 memory=3545656534513113472 CPUtime=3.08 cores=0-7 /proc/4806/task/4814/stat : 4814 (cosoco) R 4803 4806 3228 0 -1 4202560 602 0 0 0 308 0 0 0 20 0 9 0 437145557 637415424 2770 33554432000 4194304 6211092 140732626172640 140171499596392 5250284 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4815] ppid=4803 vsize=622476 memory=9288 CPUtime=3.08 cores=0-7 /proc/4806/task/4815/stat : 4815 (cosoco) R 4803 4806 3228 0 -1 4202560 449 0 0 0 308 0 0 0 20 0 9 0 437145557 637415424 2770 33554432000 4194304 6211092 140732626172640 140171491203496 5250272 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 Current children cumulated CPU time: 24.63 s Current children cumulated vsize: 622476 KiB Current children cumulated memory: 11080 KiB [startup+6.3013 s] /proc/loadavg: 4.98 8.00 8.66 9/199 4815 /proc/meminfo: memFree=31109756/32770624 swapFree=67004300/67108860 [pid=4806] ppid=4803 vsize=622476 memory=11196 CPUtime=50.12 cores=0-7 /proc/4806/stat : 4806 (cosoco) S 4803 4806 3228 0 -1 1077944320 8366 0 0 0 5011 1 0 0 20 0 9 0 437145555 637415424 2799 33554432000 4194304 6211092 140732626172640 140732626170896 140171573096183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 /proc/4806/statm: 155619 2799 878 493 0 148924 0 [pid=4806/tid=4808] ppid=4803 vsize=622476 memory=164 CPUtime=6.27 cores=0-7 /proc/4806/task/4808/stat : 4808 (cosoco) R 4803 4806 3228 0 -1 4202560 603 0 0 0 627 0 0 0 20 0 9 0 437145557 637415424 2799 33554432000 4194304 6211092 140732626172640 140171549952888 5136256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4809] ppid=4803 vsize=622476 memory=4137280412607091059 CPUtime=6.15 cores=0-7 /proc/4806/task/4809/stat : 4809 (cosoco) R 4803 4806 3228 0 -1 4202560 892 0 0 0 615 0 0 0 20 0 9 0 437145557 637415424 2799 33554432000 4194304 6211092 140732626172640 140171541559784 5250287 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4810] ppid=4803 vsize=622476 memory=11196 CPUtime=6.27 cores=0-7 /proc/4806/task/4810/stat : 4810 (cosoco) R 4803 4806 3228 0 -1 4202560 589 0 0 0 627 0 0 0 20 0 9 0 437145557 637415424 2799 33554432000 4194304 6211092 140732626172640 140171533167384 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4811] ppid=4803 vsize=622476 memory=10708 CPUtime=6.27 cores=0-7 /proc/4806/task/4811/stat : 4811 (cosoco) R 4803 4806 3228 0 -1 4202560 830 0 0 0 627 0 0 0 20 0 9 0 437145557 637415424 2799 33554432000 4194304 6211092 140732626172640 140171524774376 5250289 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 ################ # More data... # ################ Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+25.6013 s] /proc/loadavg: 5.84 8.00 8.64 10/199 4817 /proc/meminfo: memFree=31108380/32770624 swapFree=67004300/67108860 [pid=4806] ppid=4803 vsize=622476 memory=11324 CPUtime=204.28 cores=0-7 /proc/4806/stat : 4806 (cosoco) S 4803 4806 3228 0 -1 1077944320 15687 0 0 0 20426 2 0 0 20 0 9 0 437145555 637415424 2831 33554432000 4194304 6211092 140732626172640 140732626170896 140171573096183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 /proc/4806/statm: 155619 2831 878 493 0 148924 0 [pid=4806/tid=4808] ppid=4803 vsize=622476 memory=160962489361813 CPUtime=25.57 cores=0-7 /proc/4806/task/4808/stat : 4808 (cosoco) R 4803 4806 3228 0 -1 4202560 1398 0 0 0 2557 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171549952888 5136287 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4809] ppid=4803 vsize=622476 memory=11324 CPUtime=25.21 cores=0-7 /proc/4806/task/4809/stat : 4809 (cosoco) R 4803 4806 3228 0 -1 4202560 1786 0 0 0 2521 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171541560448 5250289 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4810] ppid=4803 vsize=622476 memory=11324 CPUtime=25.57 cores=0-7 /proc/4806/task/4810/stat : 4810 (cosoco) R 4803 4806 3228 0 -1 4202560 1505 0 0 0 2557 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171533167208 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4811] ppid=4803 vsize=622476 memory=0 CPUtime=25.56 cores=0-7 /proc/4806/task/4811/stat : 4811 (cosoco) R 4803 4806 3228 0 -1 4202560 1830 0 0 0 2556 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171524775184 5409866 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4812] ppid=4803 vsize=622476 memory=9051283677730746851 CPUtime=25.57 cores=0-7 /proc/4806/task/4812/stat : 4812 (cosoco) R 4803 4806 3228 0 -1 4202560 1558 0 0 0 2557 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171516382224 5250272 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4813] ppid=4803 vsize=622476 memory=-7035114785800479027 CPUtime=25.57 cores=0-7 /proc/4806/task/4813/stat : 4813 (cosoco) R 4803 4806 3228 0 -1 4202560 1639 0 0 0 2557 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171507989368 5009267 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4814] ppid=4803 vsize=622476 memory=1720 CPUtime=25.57 cores=0-7 /proc/4806/task/4814/stat : 4814 (cosoco) R 4803 4806 3228 0 -1 4202560 1761 0 0 0 2557 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171499596264 5250289 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4815] ppid=4803 vsize=622476 memory=1096 CPUtime=25.58 cores=0-7 /proc/4806/task/4815/stat : 4815 (cosoco) R 4803 4806 3228 0 -1 4202560 1676 0 0 0 2558 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171491203864 5250289 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 Current children cumulated CPU time: 204.28 s Current children cumulated vsize: 622476 KiB Current children cumulated memory: 11324 KiB [startup+28.8013 s] /proc/loadavg: 5.84 8.00 8.64 9/199 4817 /proc/meminfo: memFree=31109196/32770624 swapFree=67004300/67108860 [pid=4806] ppid=4803 vsize=622476 memory=11324 CPUtime=229.84 cores=0-7 /proc/4806/stat : 4806 (cosoco) S 4803 4806 3228 0 -1 1077944320 15705 0 0 0 22982 2 0 0 20 0 9 0 437145555 637415424 2831 33554432000 4194304 6211092 140732626172640 140732626170896 140171573096183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 /proc/4806/statm: 155619 2831 878 493 0 148924 0 [pid=4806/tid=4808] ppid=4803 vsize=622476 memory=45660 CPUtime=28.77 cores=0-7 /proc/4806/task/4808/stat : 4808 (cosoco) R 4803 4806 3228 0 -1 4202560 1407 0 0 0 2877 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171549953296 5136256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4809] ppid=4803 vsize=622476 memory=11324 CPUtime=28.38 cores=0-7 /proc/4806/task/4809/stat : 4809 (cosoco) R 4803 4806 3228 0 -1 4202560 1788 0 0 0 2838 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171541560448 5250453 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4810] ppid=4803 vsize=622476 memory=3611949784676775168 CPUtime=28.77 cores=0-7 /proc/4806/task/4810/stat : 4810 (cosoco) R 4803 4806 3228 0 -1 4202560 1508 0 0 0 2877 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171533167208 5250224 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4811] ppid=4803 vsize=622476 memory=280675173625728 CPUtime=28.76 cores=0-7 /proc/4806/task/4811/stat : 4811 (cosoco) R 4803 4806 3228 0 -1 4202560 1832 0 0 0 2876 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171524775184 5136283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4812] ppid=4803 vsize=622476 memory=-7035114785800479027 CPUtime=28.77 cores=0-7 /proc/4806/task/4812/stat : 4812 (cosoco) R 4803 4806 3228 0 -1 4202560 1558 0 0 0 2877 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171516382224 5250450 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4813] ppid=4803 vsize=622476 memory=5571041044932350033 CPUtime=28.77 cores=0-7 /proc/4806/task/4813/stat : 4813 (cosoco) R 4803 4806 3228 0 -1 4202560 1640 0 0 0 2877 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171507989368 5250293 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4814] ppid=4803 vsize=622476 memory=5571041044932415569 CPUtime=28.77 cores=0-7 /proc/4806/task/4814/stat : 4814 (cosoco) R 4803 4806 3228 0 -1 4202560 1761 0 0 0 2877 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171499596264 5250289 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4815] ppid=4803 vsize=622476 memory=-7035114785800479027 CPUtime=28.78 cores=0-7 /proc/4806/task/4815/stat : 4815 (cosoco) R 4803 4806 3228 0 -1 4202560 1677 0 0 0 2878 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171491203864 5136287 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 Current children cumulated CPU time: 229.84 s Current children cumulated vsize: 622476 KiB Current children cumulated memory: 11324 KiB [startup+30.4013 s] /proc/loadavg: 6.01 8.00 8.64 9/199 4817 /proc/meminfo: memFree=31109452/32770624 swapFree=67004300/67108860 [pid=4806] ppid=4803 vsize=622476 memory=11324 CPUtime=242.62 cores=0-7 /proc/4806/stat : 4806 (cosoco) S 4803 4806 3228 0 -1 1077944320 17522 0 0 0 24260 2 0 0 20 0 9 0 437145555 637415424 2831 33554432000 4194304 6211092 140732626172640 140732626170896 140171573096183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 /proc/4806/statm: 155619 2831 878 493 0 148924 0 [pid=4806/tid=4808] ppid=4803 vsize=622476 memory=-7035114785800479027 CPUtime=30.37 cores=0-7 /proc/4806/task/4808/stat : 4808 (cosoco) R 4803 4806 3228 0 -1 4202560 1619 0 0 0 3037 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171549953296 5136256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4809] ppid=4803 vsize=622476 memory=11324 CPUtime=29.96 cores=0-7 /proc/4806/task/4809/stat : 4809 (cosoco) R 4803 4806 3228 0 -1 4202560 2007 0 0 0 2996 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171541560448 5250293 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4810] ppid=4803 vsize=622476 memory=984 CPUtime=30.37 cores=0-7 /proc/4806/task/4810/stat : 4810 (cosoco) R 4803 4806 3228 0 -1 4202560 1693 0 0 0 3037 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171533167208 5136256 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4811] ppid=4803 vsize=622476 memory=1940 CPUtime=30.36 cores=0-7 /proc/4806/task/4811/stat : 4811 (cosoco) R 4803 4806 3228 0 -1 4202560 2055 0 0 0 3036 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171524775184 5250289 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4812] ppid=4803 vsize=622476 memory=1416 CPUtime=30.37 cores=0-7 /proc/4806/task/4812/stat : 4812 (cosoco) R 4803 4806 3228 0 -1 4202560 1804 0 0 0 3037 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171516382224 5136583 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4813] ppid=4803 vsize=622476 memory=164 CPUtime=30.37 cores=0-7 /proc/4806/task/4813/stat : 4813 (cosoco) R 4803 4806 3228 0 -1 4202560 1857 0 0 0 3037 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171507989776 5250287 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4814] ppid=4803 vsize=622476 memory=7883952831918269781 CPUtime=30.37 cores=0-7 /proc/4806/task/4814/stat : 4814 (cosoco) R 4803 4806 3228 0 -1 4202560 2049 0 0 0 3037 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171499596264 5250289 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4815] ppid=4803 vsize=622476 memory=7597685182856913236 CPUtime=30.38 cores=0-7 /proc/4806/task/4815/stat : 4815 (cosoco) R 4803 4806 3228 0 -1 4202560 1904 0 0 0 3038 0 0 0 20 0 9 0 437145557 637415424 2831 33554432000 4194304 6211092 140732626172640 140171491203864 5250289 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 Current children cumulated CPU time: 242.62 s Current children cumulated vsize: 622476 KiB Current children cumulated memory: 11324 KiB [startup+31.2013 s] /proc/loadavg: 6.01 8.00 8.64 9/199 4817 /proc/meminfo: memFree=31109452/32770624 swapFree=67004300/67108860 [pid=4806] ppid=4803 vsize=622476 memory=11340 CPUtime=249.01 cores=0-7 /proc/4806/stat : 4806 (cosoco) S 4803 4806 3228 0 -1 1077944320 17564 0 0 0 24899 2 0 0 20 0 9 0 437145555 637415424 2835 33554432000 4194304 6211092 140732626172640 140732626170896 140171573096183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 /proc/4806/statm: 155619 2835 878 493 0 148924 0 [pid=4806/tid=4808] ppid=4803 vsize=622476 memory=11340 CPUtime=31.17 cores=0-7 /proc/4806/task/4808/stat : 4808 (cosoco) R 4803 4806 3228 0 -1 4202560 1619 0 0 0 3117 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171549953296 5250289 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4809] ppid=4803 vsize=622476 memory=1940 CPUtime=30.74 cores=0-7 /proc/4806/task/4809/stat : 4809 (cosoco) R 4803 4806 3228 0 -1 4202560 2014 0 0 0 3074 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171541560448 5136306 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4810] ppid=4803 vsize=622476 memory=-7035114785800479027 CPUtime=31.17 cores=0-7 /proc/4806/task/4810/stat : 4810 (cosoco) R 4803 4806 3228 0 -1 4202560 1719 0 0 0 3117 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171533167288 5250293 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4811] ppid=4803 vsize=622476 memory=2536 CPUtime=31.16 cores=0-7 /proc/4806/task/4811/stat : 4811 (cosoco) R 4803 4806 3228 0 -1 4202560 2056 0 0 0 3116 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171524775184 5250293 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4812] ppid=4803 vsize=622476 memory=11324 CPUtime=31.17 cores=0-7 /proc/4806/task/4812/stat : 4812 (cosoco) R 4803 4806 3228 0 -1 4202560 1805 0 0 0 3117 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171516382224 5250272 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4813] ppid=4803 vsize=622476 memory=1764 CPUtime=31.17 cores=0-7 /proc/4806/task/4813/stat : 4813 (cosoco) R 4803 4806 3228 0 -1 4202560 1857 0 0 0 3117 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171507989776 5250272 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4814] ppid=4803 vsize=622476 memory=776 CPUtime=31.17 cores=0-7 /proc/4806/task/4814/stat : 4814 (cosoco) R 4803 4806 3228 0 -1 4202560 2050 0 0 0 3117 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171499596264 5250279 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4815] ppid=4803 vsize=622476 memory=-7035114785800479027 CPUtime=31.18 cores=0-7 /proc/4806/task/4815/stat : 4815 (cosoco) R 4803 4806 3228 0 -1 4202560 1910 0 0 0 3118 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171491203864 5250293 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 Current children cumulated CPU time: 249.01 s Current children cumulated vsize: 622476 KiB Current children cumulated memory: 11340 KiB [startup+31.4013 s] /proc/loadavg: 6.01 8.00 8.64 9/199 4817 /proc/meminfo: memFree=31109452/32770624 swapFree=67004300/67108860 [pid=4806] ppid=4803 vsize=622476 memory=11340 CPUtime=250.61 cores=0-7 /proc/4806/stat : 4806 (cosoco) S 4803 4806 3228 0 -1 1077944320 17564 0 0 0 25059 2 0 0 20 0 9 0 437145555 637415424 2835 33554432000 4194304 6211092 140732626172640 140732626170896 140171573096183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 /proc/4806/statm: 155619 2835 878 493 0 148924 0 [pid=4806/tid=4808] ppid=4803 vsize=622476 memory=1160 CPUtime=31.37 cores=0-7 /proc/4806/task/4808/stat : 4808 (cosoco) R 4803 4806 3228 0 -1 4202560 1619 0 0 0 3137 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171549953296 5250279 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4809] ppid=4803 vsize=622476 memory=1720 CPUtime=30.94 cores=0-7 /proc/4806/task/4809/stat : 4809 (cosoco) R 4803 4806 3228 0 -1 4202560 2014 0 0 0 3094 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171541560448 5250289 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4810] ppid=4803 vsize=622476 memory=1096 CPUtime=31.37 cores=0-7 /proc/4806/task/4810/stat : 4810 (cosoco) R 4803 4806 3228 0 -1 4202560 1719 0 0 0 3137 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171533167288 5250224 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4811] ppid=4803 vsize=622476 memory=5984 CPUtime=31.36 cores=0-7 /proc/4806/task/4811/stat : 4811 (cosoco) R 4803 4806 3228 0 -1 4202560 2056 0 0 0 3136 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171524775184 5250279 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4812] ppid=4803 vsize=622476 memory=7548 CPUtime=31.37 cores=0-7 /proc/4806/task/4812/stat : 4812 (cosoco) R 4803 4806 3228 0 -1 4202560 1805 0 0 0 3137 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171516382224 5250272 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4813] ppid=4803 vsize=622476 memory=4004 CPUtime=31.37 cores=0-7 /proc/4806/task/4813/stat : 4813 (cosoco) R 4803 4806 3228 0 -1 4202560 1857 0 0 0 3137 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171507989776 5138562 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4814] ppid=4803 vsize=622476 memory=2832 CPUtime=31.37 cores=0-7 /proc/4806/task/4814/stat : 4814 (cosoco) R 4803 4806 3228 0 -1 4202560 2050 0 0 0 3137 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171499596264 5396765 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4815] ppid=4803 vsize=622476 memory=776 CPUtime=31.38 cores=0-7 /proc/4806/task/4815/stat : 4815 (cosoco) R 4803 4806 3228 0 -1 4202560 1910 0 0 0 3138 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171491203864 5250289 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 Current children cumulated CPU time: 250.61 s Current children cumulated vsize: 622476 KiB Current children cumulated memory: 11340 KiB [startup+31.5013 s] /proc/loadavg: 6.01 8.00 8.64 9/199 4817 /proc/meminfo: memFree=31109452/32770624 swapFree=67004300/67108860 [pid=4806] ppid=4803 vsize=622476 memory=11340 CPUtime=251.41 cores=0-7 /proc/4806/stat : 4806 (cosoco) S 4803 4806 3228 0 -1 1077944320 17577 0 0 0 25139 2 0 0 20 0 9 0 437145555 637415424 2835 33554432000 4194304 6211092 140732626172640 140732626170896 140171573096183 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 /proc/4806/statm: 155619 2835 878 493 0 148924 0 [pid=4806/tid=4808] ppid=4803 vsize=622476 memory=11324 CPUtime=31.47 cores=0-7 /proc/4806/task/4808/stat : 4808 (cosoco) R 4803 4806 3228 0 -1 4202560 1628 0 0 0 3147 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171549953296 5250272 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4809] ppid=4803 vsize=622476 memory=11340 CPUtime=31.04 cores=0-7 /proc/4806/task/4809/stat : 4809 (cosoco) R 4803 4806 3228 0 -1 4202560 2014 0 0 0 3104 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171541560448 5250272 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4810] ppid=4803 vsize=622476 memory=11324 CPUtime=31.47 cores=0-7 /proc/4806/task/4810/stat : 4810 (cosoco) R 4803 4806 3228 0 -1 4202560 1719 0 0 0 3147 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171533167288 5250272 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4811] ppid=4803 vsize=622476 memory=11324 CPUtime=31.46 cores=0-7 /proc/4806/task/4811/stat : 4811 (cosoco) R 4803 4806 3228 0 -1 4202560 2056 0 0 0 3146 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171524775184 5250272 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4812] ppid=4803 vsize=622476 memory=11324 CPUtime=31.47 cores=0-7 /proc/4806/task/4812/stat : 4812 (cosoco) R 4803 4806 3228 0 -1 4202560 1808 0 0 0 3147 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171516382224 5136256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4813] ppid=4803 vsize=622476 memory=4639059877604708710 CPUtime=31.47 cores=0-7 /proc/4806/task/4813/stat : 4813 (cosoco) R 4803 4806 3228 0 -1 4202560 1858 0 0 0 3147 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171507989776 5136306 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4814] ppid=4803 vsize=622476 memory=7233736994252652628 CPUtime=31.47 cores=0-7 /proc/4806/task/4814/stat : 4814 (cosoco) R 4803 4806 3228 0 -1 4202560 2050 0 0 0 3147 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171499596264 5250234 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 [pid=4806/tid=4815] ppid=4803 vsize=622476 memory=3588 CPUtime=31.48 cores=0-7 /proc/4806/task/4815/stat : 4815 (cosoco) R 4803 4806 3228 0 -1 4202560 1910 0 0 0 3148 0 0 0 20 0 9 0 437145557 637415424 2835 33554432000 4194304 6211092 140732626172640 140171491203864 5250272 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17244160 140732626179094 140732626179186 140732626179186 140732626182094 0 Current children cumulated CPU time: 251.41 s Current children cumulated vsize: 622476 KiB Current children cumulated memory: 11340 KiB Child status: 0 Real time (s): 31.5836 CPU time (s): 252.057 CPU user time (s): 252.034 CPU system time (s): 0.022991 CPU usage (%): 798.063 Max. virtual memory (cumulated for all children) (KiB): 622476 Max. memory (cumulated for all children) (KiB): 11340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 252.034 system time used= 0.022991 maximum resident set size= 11612 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17626 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= 47 involuntary context switches= 2152 # summary of solver processes directly reported to runsolver: # pid: 4806 # total CPU time (s): 252.057 # total CPU user time (s): 252.034 # total CPU system time (s): 0.022991 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.166367 second user time and 0.275146 second system time The end
Begin job on node148 at 2019-09-16 06:56:43 IDJOB=4398743 IDBENCH=136203 IDSOLVER=2852 FILE ID=node148/4398743-1568609840 RUNJOBID= node148-1568597898-3256 PBS_JOBID= 21703413 Free space on /tmp= 61308 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj1/BinPacking-sum-n1c1w4m.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398743-1568609840/watcher-4398743-1568609840 -o /tmp/evaluation-result-4398743-1568609840/solver-4398743-1568609840 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568597898-3256 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398743-1568609840.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9af4c2349f4dbdb842cc927ab12812f8 RANDOM SEED=127561716 node148.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.13 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.13 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.13 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.13 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: 31116824 kB MemAvailable: 31901020 kB Buffers: 133368 kB Cached: 953136 kB SwapCached: 3744 kB Active: 418332 kB Inactive: 675492 kB Active(anon): 4232 kB Inactive(anon): 51612 kB Active(file): 414100 kB Inactive(file): 623880 kB Unevictable: 109236 kB Mlocked: 109236 kB SwapTotal: 67108860 kB SwapFree: 67004300 kB Dirty: 2716 kB Writeback: 124 kB AnonPages: 114224 kB Mapped: 46936 kB Shmem: 40612 kB Slab: 153528 kB SReclaimable: 124104 kB SUnreclaim: 29424 kB KernelStack: 3376 kB PageTables: 5220 kB NFS_Unstable: 220 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505676 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: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61308 MiB End job on node148 at 2019-09-16 06:57:15