| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsCon 2019-07-23 | ? (TO) | 2520.1 | 2508.42 |
| Name | Bibd/Bibd-sc-stab1/ Bibd-sc-25-05-01.xml |
| MD5SUM | 9fe6d89f0071d5e4c6195eb6e45e1a5a |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 21.1751 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 19500 |
| Number of constraints | 9356 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":9750}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 27 |
| Distribution of variable degrees | [{"degree":0,"count":9750},{"degree":2,"count":9000},{"degree":27,"count":750}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 750 |
| Distribution of constraint arities | [{"arity":3,"count":9000},{"arity":25,"count":30},{"arity":30,"count":325},{"arity":750,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 9000 |
| Distribution of constraint types | [{"type":"intension","count":9000},{"type":"lex","count":1},{"type":"sum","count":355}] |
| Optimization problem | NO |
| Type of objective |
2.89/2.11 2.89/2.11 AbsCon 2 2.89/2.13 5.09/2.90 Instance 5.09/2.90 name=instance-4390564-1568380608, framework=CSP 5.09/2.90 5.09/2.90 Loading variables... 5.81/3.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@386dd8dc 5.81/3.08 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24c4d5a0 5.81/3.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49ad5007 5.81/3.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ce9131 5.81/3.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@686e893f 5.81/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@373e3746 5.81/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660104b1 5.81/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25c31bf6 5.81/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63766cf1 5.81/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@319f5dae 5.81/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aa23fb2 5.81/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a85d1ed 5.81/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6569dc87 5.81/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645c8b67 5.81/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58da0c64 5.81/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@394f2947 5.81/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2149224a 5.81/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cecee50 5.81/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@185ae99f 5.81/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7089573d 5.81/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f25553 5.81/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5549debf 5.81/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52e521be 5.81/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c12642c 5.81/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73fb014d 5.81/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b1a6355 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6eb55b52 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@552b7864 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22d89713 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c2fa68b 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45dfc0b2 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ed16483 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b59f76a 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d6197ab 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6af00b0c 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1be6fce8 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d9691b1 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74731d73 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@871dc6d 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@492f9859 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2040dfe0 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c320f69 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b912177 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b88dfc0 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@561032bb 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2476a87 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160a69 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@208aa33f 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b17f22 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f678b4f 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1767881d 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@547bbecc 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c854be 6.12/3.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47118325 6.12/3.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e46f625 10.47/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@279d80a1 10.47/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26f040b4 10.47/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bc15355 10.47/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d955cb5 10.47/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e44048f 10.47/4.51 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@529a87e2 10.47/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16fe7133 10.47/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d451812 10.47/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37acdc1 10.47/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c7eaa67 10.47/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d8d865c 10.47/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@687d48d9 10.47/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33d78c38 10.47/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f21000c 10.47/4.52 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8932d8d 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c2c093 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ef5558 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42479d96 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@260d4848 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b12bc14 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@704cc4d7 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@224b88c9 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74980d1d 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d8164a5 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b5ce523 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b142af2 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f641b2e 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e0d65d0 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee1a4b2 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b432e67 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@423b7211 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d130ae 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3def1686 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@edef998 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54cacfc 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d59b719 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bdcbbcf 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bde9871 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4028356a 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6df5a8 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34ff1afa 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bfae29d 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3deb1e83 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253061a0 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4edf0097 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@255b9160 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@107398ed 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c7172f5 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31fe3db8 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27e87f1 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c15c8f8 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@227e6ec3 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d8cc321 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31d4a89a 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51cc2e0e 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b9ab1b2 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22c0ceed 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11ef2cb3 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46b4067b 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1151fcbb 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d166995 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@548427ea 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@388fd6e0 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72a1fc8f 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48a33cfa 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b0dd214 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a3dc87a 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4100f2c8 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d023413 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f47ec9b 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18708a38 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f5d137a 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34e4cc7 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b776492 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cf985dc 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3356ded6 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8acfb47 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55aaf214 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289d6124 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b66833 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21e68b7a 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60dcaef2 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dbfec89 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@159ed9e5 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47dd2136 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@363c6471 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f70f265 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@696113a9 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@157b0a40 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17135812 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5669a24e 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ab1476c 10.47/4.53 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3638d442 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b12aff2 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@558d270f 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50a3b9f0 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@723a0b12 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36d59a9f 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4533c66e 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2004b0e 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@274ef276 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6613e6b8 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60040458 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23e0ab6c 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f18d16b 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e180792 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69c2cec2 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@242f23d8 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d0b0462 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2698c2b6 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2754104 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3948a9de 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@259d4ce7 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ad87c04 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a63b354 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41da63f 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67da52dd 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@526ac2a 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@452a3619 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75215a2 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d92a296 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70811246 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17a60aa2 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47acf342 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b853223 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7afbbb44 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a1eb6d0 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ce9efbc 10.47/4.54 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f34672a 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d3dd99c 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@efe043a 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11957159 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14c317df 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51a3f51c 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27c1f86a 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30afa1f4 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30645809 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5649a714 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bd0bf4b 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b896b86 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c81de99 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64031998 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ce0da1f 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b7da1 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19d7c4a2 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dcec7e9 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@474c80e3 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72bc9577 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c34842c 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@241c7cb6 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41551fce 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5eab113b 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69467aaf 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f7c1682 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20643945 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@167207a 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17cfc23c 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16f311bf 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6acc2d6b 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36c69882 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60c423b2 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6abc506d 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78645cd 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@138837e 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b4e92c 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3380c544 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a5d65fa 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d3aaba2 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72e74147 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de26965 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22c7e889 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14cb03ea 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7041eb33 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@612c1be7 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@daaddb7 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aabe7c 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41a15faa 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56469fb0 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cec988b 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74c2fe61 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51e4b03 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a5b7e2b 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253b8754 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50695e1d 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f5f00c2 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@268dc5f 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3acd5899 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39a8aa46 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c201d02 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d514df2 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3190a0d6 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e0e366a 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44651e7c 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cd4db91 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c90cea0 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15405af5 10.47/4.55 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a219e47 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@327ad49e 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@411d5dcc 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55846f41 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5834cf99 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bd99dbc 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e8e3e0 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3406d739 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78781ced 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@458b16f4 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3455f332 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bc13e0c 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cb188dd 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d95c7d9 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b59ec76 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2216f316 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e5b4bce 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68d23695 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fc080fc 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@748728f9 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d7b2e0 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f83401a 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@314f36ed 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15c4777e 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@665435d5 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@231bde46 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6efd2f29 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@171fc606 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b1d0fe4 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66030844 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ebeb8f4 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21672248 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ccc261 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7de22094 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65748972 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b5f8a3 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3348763 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c482517 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c7796f9 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62575295 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b0e15d 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@134c6004 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@274c32ac 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26562f85 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45325b37 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55aa1d14 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fd300e4 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@113ea964 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26cb24e0 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cdfdc5b 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7463bc61 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f066071 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e39b6c8 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@654ade41 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45b25a58 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26dd10bd 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@760e9c21 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e8ce65a 10.47/4.57 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76a4edb1 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d1ba332 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6436750d 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2183a9e8 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@355c48d9 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74b69ba6 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f1eae77 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52b3d53a 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69afe351 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7788f2e3 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56761eb7 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a1eab43 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@220472fa 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dd67332 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22903620 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22861260 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@322dda48 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6175f29b 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@526d59d2 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7888633e 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fcc5372 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f38f389 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c17ca5e 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f7a96c 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e602e9c 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2692788d 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fcbf00b 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46751ee9 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@172d1d93 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a611e0 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7728cda0 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbf3cae 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72a4d8c2 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73347f8f 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66d52b1a 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@add3f9 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61981efd 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77ba0049 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bbd6779 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2438b2ee 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71e11c38 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29255f24 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@586dd8ef 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a90d996 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d989e8a 10.47/4.58 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea2e1e 10.82/4.62 10.82/4.62 10.82/4.62 Domains 10.82/4.62 nTypes=1, nValues=19500, sizes=[2#9750] 10.82/4.62 Variables 10.82/4.62 count=9750, degrees=[2#9000,28#4,29#102,30#644] 10.82/4.62 Constraints 10.82/4.62 count=9408, nSpecific=408, arities=[3#9000,25#30,30#325,50#29,60#24] 10.82/4.62 distribution=[CtrIntension#9000,LexicographicLe#53,SumSimpleEQ#355] 10.82/4.62 nIntStructures=(1,shared:8999), nCftStructures=(1,shared:8999,unbuilt:408) 10.82/4.62 wck=2.538, cpu=4.504, mem=236M348 12.62/5.12 Solver SolverBacktrack being built... 12.62/5.12 12.80/5.23 12.80/5.23 Solver 12.80/5.23 guaranteedGAC=true 12.80/5.23 wck=3.157, cpu=4.795, mem=418M79 12.80/5.26 12.80/5.26 Preprocessing 12.80/5.26 filters=0, ccks=8, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false 12.80/5.26 wck=0.026, cpu=4.825, mem=418M79 12.80/5.26 13.14/5.36 num=0, depth=43..99, filters=3170, revisions=(10494,useless=7449), ccks=13923, wck=0.12, mem=418M79 13.14/5.36 decisions=141, wrong=23, backtracks=15, failedAssignments=10, nogoods=3 13.14/5.36 13.46/5.43 num=1, depth=3..64, filters=14935, revisions=(38553,useless=24098), ccks=43960, wck=0.193, mem=418M79 13.46/5.43 decisions=297, wrong=85, backtracks=67, failedAssignments=21, nogoods=6 13.46/5.43 13.46/5.46 num=2, depth=0..48, filters=18175, revisions=(48813,useless=31286), ccks=54874, wck=0.22, mem=418M79 13.46/5.46 decisions=369, wrong=102, backtracks=79, failedAssignments=33, nogoods=9 13.46/5.46 13.71/5.50 num=3, depth=0..89, filters=24210, revisions=(69005,useless=45641), ccks=76068, wck=0.261, mem=418M79 13.71/5.50 decisions=495, wrong=129, backtracks=93, failedAssignments=46, nogoods=12 13.71/5.50 13.71/5.55 num=4, depth=1..117, filters=32684, revisions=(97306,useless=65642), ccks=101877, wck=0.316, mem=418M79 13.71/5.55 decisions=667, wrong=161, backtracks=120, failedAssignments=60, nogoods=18 13.71/5.55 13.84/5.61 num=5, depth=1..151, filters=40139, revisions=(122200,useless=83284), ccks=124342, wck=0.374, mem=418M79 13.84/5.61 decisions=856, wrong=188, backtracks=133, failedAssignments=76, nogoods=28 13.84/5.61 13.84/5.66 num=6, depth=1..112, filters=46352, revisions=(142311,useless=97358), ccks=141438, wck=0.42, mem=418M79 13.84/5.66 decisions=1024, wrong=225, backtracks=157, failedAssignments=93, nogoods=30 13.84/5.66 13.84/5.69 num=7, depth=1..94, filters=51734, revisions=(158121,useless=107948), ccks=157719, wck=0.458, mem=418M79 13.84/5.69 decisions=1185, wrong=270, backtracks=185, failedAssignments=112, nogoods=32 13.84/5.69 14.05/5.73 num=8, depth=1..81, filters=60550, revisions=(183861,useless=125220), ccks=181119, wck=0.497, mem=418M79 14.05/5.73 decisions=1333, wrong=320, backtracks=219, failedAssignments=133, nogoods=34 14.05/5.73 14.05/5.78 num=9, depth=1..78, filters=69282, revisions=(211734,useless=144639), ccks=208838, wck=0.545, mem=423M636 14.05/5.78 decisions=1523, wrong=382, backtracks=276, failedAssignments=156, nogoods=37 14.05/5.78 14.19/5.85 num=10, depth=1..130, filters=84388, revisions=(259955,useless=178432), ccks=252264, wck=0.61, mem=423M636 14.19/5.85 decisions=1733, wrong=432, backtracks=308, failedAssignments=181, nogoods=46 14.19/5.85 14.29/5.90 num=11, depth=1..79, filters=99382, revisions=(301690,useless=205663), ccks=291974, wck=0.663, mem=423M636 14.29/5.90 decisions=1931, wrong=498, backtracks=360, failedAssignments=209, nogoods=49 14.29/5.90 14.29/5.95 num=12, depth=1..76, filters=114953, revisions=(344353,useless=233262), ccks=331502, wck=0.715, mem=423M636 14.29/5.95 decisions=2137, wrong=571, backtracks=409, failedAssignments=240, nogoods=53 14.29/5.95 14.29/6.00 num=13, depth=10..64, filters=128445, revisions=(384412,useless=260194), ccks=371400, wck=0.768, mem=423M636 14.29/6.00 decisions=2349, wrong=650, backtracks=469, failedAssignments=274, nogoods=58 14.29/6.00 14.40/6.07 num=14, depth=1..74, filters=148316, revisions=(447309,useless=303780), ccks=427260, wck=0.835, mem=423M636 14.40/6.07 decisions=2575, wrong=731, backtracks=538, failedAssignments=311, nogoods=64 14.40/6.07 14.53/6.15 num=15, depth=1..140, filters=163860, revisions=(503361,useless=344965), ccks=470760, wck=0.914, mem=429M193 14.53/6.15 decisions=2869, wrong=820, backtracks=606, failedAssignments=352, nogoods=78 14.53/6.15 14.63/6.21 num=16, depth=65..76, filters=179434, revisions=(551802,useless=378205), ccks=515883, wck=0.976, mem=429M193 14.63/6.21 decisions=3113, wrong=908, backtracks=671, failedAssignments=397, nogoods=80 14.63/6.21 14.63/6.29 num=17, depth=9..85, filters=205461, revisions=(623999,useless=425357), ccks=580254, wck=1.05, mem=429M193 14.63/6.29 decisions=3372, wrong=1002, backtracks=735, failedAssignments=447, nogoods=92 14.63/6.29 14.73/6.36 num=18, depth=11..66, filters=227217, revisions=(688907,useless=469224), ccks=640558, wck=1.122, mem=429M193 14.73/6.36 decisions=3664, wrong=1123, backtracks=818, failedAssignments=502, nogoods=98 14.73/6.36 14.83/6.46 num=19, depth=1..79, filters=271124, revisions=(809041,useless=547145), ccks=748832, wck=1.225, mem=434M750 14.83/6.46 decisions=3969, wrong=1250, backtracks=899, failedAssignments=563, nogoods=105 14.83/6.46 14.96/6.57 num=20, depth=1..73, filters=317268, revisions=(940160,useless=634045), ccks=859462, wck=1.336, mem=434M750 14.96/6.57 decisions=4299, wrong=1386, backtracks=999, failedAssignments=630, nogoods=112 14.96/6.57 15.16/6.71 num=21, depth=1..54, filters=387790, revisions=(1113938,useless=739392), ccks=1021961, wck=1.472, mem=440M307 15.16/6.71 decisions=4650, wrong=1540, backtracks=1096, failedAssignments=704, nogoods=117 15.16/6.71 15.27/6.83 num=22, depth=0..115, filters=429008, revisions=(1245580,useless=831403), ccks=1128909, wck=1.599, mem=440M307 15.27/6.83 decisions=5057, wrong=1696, backtracks=1200, failedAssignments=785, nogoods=131 15.27/6.83 15.37/6.97 num=23, depth=35..99, filters=457864, revisions=(1383442,useless=942828), ccks=1219040, wck=1.733, mem=445M865 15.37/6.97 decisions=5655, wrong=1955, backtracks=1439, failedAssignments=874, nogoods=142 15.37/6.97 15.47/7.11 num=24, depth=18..102, filters=505850, revisions=(1534950,useless=1048357), ccks=1344809, wck=1.877, mem=445M865 15.47/7.11 decisions=6182, wrong=2187, backtracks=1606, failedAssignments=972, nogoods=149 15.47/7.11 15.77/7.26 num=25, depth=23..72, filters=563621, revisions=(1697769,useless=1155324), ccks=1493061, wck=2.029, mem=451M422 15.77/7.26 decisions=6727, wrong=2436, backtracks=1817, failedAssignments=1080, nogoods=155 15.77/7.26 15.97/7.45 num=26, depth=36..58, filters=638942, revisions=(1906210,useless=1290899), ccks=1675856, wck=2.215, mem=451M422 15.97/7.45 decisions=7356, wrong=2727, backtracks=2042, failedAssignments=1199, nogoods=158 15.97/7.45 16.26/7.64 num=27, depth=0..104, filters=700640, revisions=(2121067,useless=1447193), ccks=1832914, wck=2.403, mem=456M979 16.26/7.64 decisions=8023, wrong=3020, backtracks=2270, failedAssignments=1330, nogoods=174 16.26/7.64 16.47/7.82 num=28, depth=32..109, filters=760870, revisions=(2332523,useless=1601810), ccks=1979851, wck=2.581, mem=462M536 16.47/7.82 decisions=8733, wrong=3332, backtracks=2505, failedAssignments=1474, nogoods=192 16.47/7.82 16.57/7.98 num=29, depth=28..107, filters=813097, revisions=(2493996,useless=1713515), ccks=2116766, wck=2.746, mem=462M536 16.57/7.98 decisions=9479, wrong=3661, backtracks=2757, failedAssignments=1632, nogoods=205 16.57/7.98 16.90/8.17 num=30, depth=6..104, filters=852087, revisions=(2692262,useless=1876591), ccks=2226106, wck=2.937, mem=468M93 16.90/8.17 decisions=10459, wrong=4109, backtracks=3148, failedAssignments=1806, nogoods=216 16.90/8.17 17.13/8.37 num=31, depth=7..144, filters=899315, revisions=(2894447,useless=2034328), ccks=2358860, wck=3.132, mem=468M93 17.13/8.37 decisions=11430, wrong=4541, backtracks=3498, failedAssignments=1997, nogoods=235 17.13/8.37 17.34/8.58 num=32, depth=11..115, filters=955946, revisions=(3129607,useless=2216946), ccks=2518369, wck=3.341, mem=473M651 17.34/8.58 decisions=12504, wrong=5034, backtracks=3864, failedAssignments=2208, nogoods=246 17.34/8.58 17.54/8.78 num=33, depth=16..113, filters=995876, revisions=(3352601,useless=2404386), ccks=2637290, wck=3.545, mem=473M651 17.54/8.78 decisions=13540, wrong=5507, backtracks=4275, failedAssignments=2440, nogoods=257 17.54/8.78 17.81/8.95 num=34, depth=17..101, filters=1018473, revisions=(3544812,useless=2577722), ccks=2716435, wck=3.717, mem=473M651 17.81/8.95 decisions=14630, wrong=6020, backtracks=4725, failedAssignments=2695, nogoods=265 17.81/8.95 18.02/9.20 num=35, depth=15..128, filters=1071918, revisions=(3786914,useless=2769620), ccks=2877478, wck=3.961, mem=479M208 18.02/9.20 decisions=16003, wrong=6660, backtracks=5239, failedAssignments=2976, nogoods=278 18.02/9.20 18.31/9.45 num=36, depth=20..64, filters=1117822, revisions=(4063067,useless=3005083), ccks=3022179, wck=4.209, mem=484M765 18.31/9.45 decisions=17549, wrong=7414, backtracks=5845, failedAssignments=3285, nogoods=286 18.31/9.45 18.61/9.71 num=37, depth=31..53, filters=1173351, revisions=(4432916,useless=3325980), ccks=3169655, wck=4.476, mem=484M765 18.61/9.71 decisions=18909, wrong=8077, backtracks=6426, failedAssignments=3625, nogoods=289 18.61/9.71 18.93/10.09 num=38, depth=28..53, filters=1272664, revisions=(4959018,useless=3763069), ccks=3462119, wck=4.858, mem=490M322 18.93/10.09 decisions=20627, wrong=8921, backtracks=7198, failedAssignments=3999, nogoods=293 18.93/10.09 19.32/10.50 num=39, depth=20..56, filters=1374202, revisions=(5488418,useless=4200681), ccks=3760881, wck=5.26, mem=495M879 19.32/10.50 decisions=22576, wrong=9876, backtracks=7958, failedAssignments=4410, nogoods=301 19.32/10.50 19.84/10.91 num=40, depth=4..88, filters=1460554, revisions=(5986255,useless=4620396), ccks=4017054, wck=5.676, mem=501M436 19.84/10.91 decisions=24787, wrong=10951, backtracks=8916, failedAssignments=4862, nogoods=322 19.84/10.91 20.24/11.39 num=41, depth=5..79, filters=1564121, revisions=(6565958,useless=5106494), ccks=4317217, wck=6.152, mem=512M551 20.24/11.39 decisions=27425, wrong=12252, backtracks=9978, failedAssignments=5359, nogoods=330 20.24/11.39 20.84/11.97 num=42, depth=15..65, filters=1729789, revisions=(7315532,useless=5701428), ccks=4752631, wck=6.73, mem=518M108 20.84/11.97 decisions=30007, wrong=13524, backtracks=11047, failedAssignments=5906, nogoods=336 20.84/11.97 21.34/12.43 num=43, depth=16..92, filters=1834811, revisions=(7879382,useless=6168176), ccks=5068048, wck=7.19, mem=529M222 21.34/12.43 decisions=32484, wrong=14739, backtracks=12006, failedAssignments=6508, nogoods=347 21.34/12.43 21.85/12.92 num=44, depth=2..70, filters=1956687, revisions=(8477344,useless=6653959), ccks=5427468, wck=7.68, mem=534M779 21.85/12.92 decisions=35112, wrong=16039, backtracks=13020, failedAssignments=7170, nogoods=357 21.85/12.92 22.45/13.57 num=45, depth=6..108, filters=2095336, revisions=(9305048,useless=7354269), ccks=5830114, wck=8.339, mem=545M894 22.45/13.57 decisions=38853, wrong=17884, backtracks=14677, failedAssignments=7898, nogoods=370 22.45/13.57 23.74/14.51 num=46, depth=16..150, filters=2289798, revisions=(10383402,useless=8250093), ccks=6355384, wck=9.274, mem=410M80 23.74/14.51 decisions=43074, wrong=19948, backtracks=16451, failedAssignments=8699, nogoods=394 23.74/14.51 24.44/15.28 num=47, depth=2..152, filters=2449964, revisions=(11247001,useless=8963403), ccks=6836880, wck=10.044, mem=421M173 24.44/15.28 decisions=47508, wrong=22118, backtracks=18182, failedAssignments=9580, nogoods=424 24.44/15.28 25.35/16.14 num=48, depth=1..72, filters=2612402, revisions=(12424631,useless=9998676), ccks=7348369, wck=10.91, mem=432M265 25.35/16.14 decisions=52242, wrong=24464, backtracks=20089, failedAssignments=10550, nogoods=435 25.35/16.14 26.25/17.01 num=49, depth=1..137, filters=2805614, revisions=(13456459,useless=10850716), ccks=7889773, wck=11.774, mem=443M358 26.25/17.01 decisions=57221, wrong=26928, backtracks=22046, failedAssignments=11617, nogoods=453 26.25/17.01 27.25/18.02 num=50, depth=1..126, filters=3010013, revisions=(14648610,useless=11855387), ccks=8486418, wck=12.787, mem=459M998 27.25/18.02 decisions=63127, wrong=29851, backtracks=24578, failedAssignments=12790, nogoods=473 27.25/18.02 28.14/18.95 num=51, depth=1..78, filters=3205861, revisions=(15901306,useless=12933466), ccks=9084748, wck=13.717, mem=471M91 28.14/18.95 decisions=68422, wrong=32478, backtracks=26634, failedAssignments=14081, nogoods=484 28.14/18.95 29.54/20.31 num=52, depth=1..157, filters=3484284, revisions=(17617904,useless=14391575), ccks=9849374, wck=15.076, mem=487M730 29.54/20.31 decisions=76696, wrong=36576, backtracks=30382, failedAssignments=15501, nogoods=512 29.54/20.31 30.84/21.66 num=53, depth=1..120, filters=3708073, revisions=(19260582,useless=15834919), ccks=10555298, wck=16.421, mem=504M369 30.84/21.66 decisions=85110, wrong=40753, backtracks=34256, failedAssignments=17063, nogoods=534 30.84/21.66 32.55/23.31 num=54, depth=2..93, filters=4053942, revisions=(21400030,useless=17658583), ccks=11520731, wck=18.071, mem=526M555 32.55/23.31 decisions=93452, wrong=44895, backtracks=38022, failedAssignments=18781, nogoods=550 32.55/23.31 34.08/24.85 num=55, depth=3..91, filters=4428781, revisions=(23517241,useless=19433005), ccks=12522413, wck=19.614, mem=548M741 34.08/24.85 decisions=101471, wrong=48884, backtracks=40745, failedAssignments=20671, nogoods=556 34.08/24.85 35.59/26.40 num=56, depth=3..76, filters=4777831, revisions=(25552468,useless=21151457), ccks=13532654, wck=21.161, mem=570M927 35.59/26.40 decisions=110375, wrong=53320, backtracks=43883, failedAssignments=22750, nogoods=567 35.59/26.40 37.59/28.37 num=57, depth=5..116, filters=5233170, revisions=(28089928,useless=23271995), ccks=14796458, wck=23.132, mem=598M659 37.59/28.37 decisions=121089, wrong=58639, backtracks=48075, failedAssignments=25037, nogoods=591 37.59/28.37 39.71/30.41 num=58, depth=14..104, filters=5563078, revisions=(30345566,useless=25241720), ccks=15898046, wck=25.17, mem=620M845 39.71/30.41 decisions=133530, wrong=64832, backtracks=53680, failedAssignments=27553, nogoods=603 39.71/30.41 42.42/33.16 num=59, depth=10..83, filters=6205694, revisions=(33786124,useless=28106624), ccks=17710705, wck=27.924, mem=659M670 42.42/33.16 decisions=148366, wrong=72229, backtracks=60090, failedAssignments=30321, nogoods=617 42.42/33.16 45.42/35.88 num=60, depth=25..171, filters=6709744, revisions=(36950398,useless=30807447), ccks=19207694, wck=30.645, mem=414M87 45.42/35.88 decisions=164986, wrong=80485, backtracks=67497, failedAssignments=33365, nogoods=642 45.42/35.88 48.44/38.83 num=61, depth=2..124, filters=7274308, revisions=(40589644,useless=33928214), ccks=20822848, wck=33.599, mem=452M38 48.44/38.83 decisions=182299, wrong=89110, backtracks=75300, failedAssignments=36714, nogoods=665 48.44/38.83 51.66/42.05 num=62, depth=2..102, filters=8005652, revisions=(44808787,useless=37474506), ccks=22747249, wck=36.817, mem=499M477 51.66/42.05 decisions=199366, wrong=97612, backtracks=81990, failedAssignments=40398, nogoods=678 51.66/42.05 55.66/46.04 num=63, depth=2..126, filters=8915847, revisions=(50279383,useless=42121708), ccks=25271383, wck=40.805, mem=556M404 55.66/46.04 decisions=219612, wrong=107700, backtracks=90718, failedAssignments=44450, nogoods=687 55.66/46.04 58.66/49.07 num=64, depth=9..137, filters=9423300, revisions=(53972383,useless=45371119), ccks=26833631, wck=43.837, mem=584M868 58.66/49.07 decisions=240465, wrong=118081, backtracks=99937, failedAssignments=48907, nogoods=710 58.66/49.07 62.36/52.72 num=65, depth=35..98, filters=10087427, revisions=(58700116,useless=49509820), ccks=28831759, wck=47.487, mem=632M307 62.36/52.72 decisions=263149, wrong=129390, backtracks=109091, failedAssignments=53810, nogoods=720 62.36/52.72 66.96/57.32 num=66, depth=18..108, filters=11186389, revisions=(65206613,useless=55010307), ccks=31716994, wck=52.083, mem=689M234 66.96/57.32 decisions=286928, wrong=141245, backtracks=118271, failedAssignments=59204, nogoods=738 66.96/57.32 72.46/62.81 num=67, depth=26..117, filters=12342509, revisions=(72771167,useless=61526488), ccks=34928003, wck=57.575, mem=765M137 72.46/62.81 decisions=316783, wrong=156145, backtracks=131350, failedAssignments=65137, nogoods=749 72.46/62.81 77.27/67.65 num=68, depth=27..101, filters=13251727, revisions=(79378801,useless=67329256), ccks=37651049, wck=62.411, mem=822M64 77.27/67.65 decisions=347293, wrong=171376, backtracks=143451, failedAssignments=71663, nogoods=756 77.27/67.65 83.50/73.62 num=69, depth=5..85, filters=14469923, revisions=(88110279,useless=74984346), ccks=41160323, wck=68.386, mem=423M698 83.50/73.62 decisions=378233, wrong=186817, backtracks=156193, failedAssignments=78842, nogoods=775 83.50/73.62 90.30/80.42 num=70, depth=49..113, filters=15712533, revisions=(97072492,useless=82861559), ccks=44829704, wck=75.188, mem=509M127 90.30/80.42 decisions=417347, wrong=206326, backtracks=173436, failedAssignments=86739, nogoods=791 90.30/80.42 96.60/86.78 num=71, depth=30..122, filters=16952579, revisions=(105593058,useless=90309668), ccks=48429630, wck=81.547, mem=585M64 96.60/86.78 decisions=455517, wrong=225367, backtracks=189281, failedAssignments=95426, nogoods=802 96.60/86.78 109.11/99.20 num=72, depth=29..101, filters=19515315, revisions=(126880851,useless=109390476), ccks=54710041, wck=93.962, mem=727M446 109.11/99.20 decisions=498618, wrong=246884, backtracks=208968, failedAssignments=104981, nogoods=816 109.11/99.20 117.81/107.94 num=73, depth=49..108, filters=21191859, revisions=(138736326,useless=119773459), ccks=59466801, wck=102.702, mem=831M860 117.81/107.94 decisions=550439, wrong=272762, backtracks=231464, failedAssignments=115492, nogoods=824 117.81/107.94 131.15/121.02 num=74, depth=35..102, filters=23205307, revisions=(161787604,useless=141254434), ccks=65301094, wck=115.782, mem=496M145 131.15/121.02 decisions=603327, wrong=299171, backtracks=255517, failedAssignments=127054, nogoods=835 131.15/121.02 140.15/130.11 num=75, depth=51..113, filters=24911157, revisions=(175056897,useless=153057964), ccks=70075203, wck=124.871, mem=600M610 140.15/130.11 decisions=659392, wrong=327168, backtracks=277189, failedAssignments=139772, nogoods=845 140.15/130.11 156.85/146.70 num=76, depth=38..95, filters=27584817, revisions=(204071475,useless=179938144), ccks=77514184, wck=141.469, mem=770M366 156.85/146.70 decisions=724366, wrong=359622, backtracks=306297, failedAssignments=153762, nogoods=859 156.85/146.70 171.46/161.36 num=77, depth=41..108, filters=30269613, revisions=(223977668,useless=197491238), ccks=85131638, wck=156.12, mem=940M121 171.46/161.36 decisions=810420, wrong=402610, backtracks=342736, failedAssignments=169151, nogoods=872 171.46/161.36 185.78/175.62 num=78, depth=46..96, filters=32402736, revisions=(245839761,useless=217604644), ccks=91737116, wck=170.387, mem=417M848 185.78/175.62 decisions=891835, wrong=443285, backtracks=376276, failedAssignments=186079, nogoods=883 185.78/175.62 198.99/188.83 num=79, depth=47..119, filters=34517374, revisions=(261868542,useless=231834516), ccks=98092811, wck=183.593, mem=561M515 198.99/188.83 decisions=977347, wrong=486005, backtracks=414753, failedAssignments=204700, nogoods=895 198.99/188.83 213.31/203.15 num=80, depth=40..95, filters=36959358, revisions=(280637211,useless=248516679), ccks=105431956, wck=197.919, mem=718M242 213.31/203.15 decisions=1069526, wrong=532064, backtracks=449983, failedAssignments=225184, nogoods=907 213.31/203.15 229.81/219.61 num=81, depth=38..93, filters=39846421, revisions=(304418011,useless=269833417), ccks=114001844, wck=214.378, mem=901M91 229.81/219.61 decisions=1164351, wrong=579445, backtracks=486508, failedAssignments=247716, nogoods=920 229.81/219.61 250.73/240.57 num=82, depth=36..88, filters=44715186, revisions=(331315119,useless=292363321), ccks=126842432, wck=235.332, mem=539M678 250.73/240.57 decisions=1276633, wrong=635558, backtracks=528559, failedAssignments=272501, nogoods=929 250.73/240.57 271.93/261.78 num=83, depth=32..86, filters=48022552, revisions=(362587473,useless=320869151), ccks=136837168, wck=256.542, mem=758M821 271.93/261.78 decisions=1405165, wrong=699796, backtracks=583898, failedAssignments=299765, nogoods=940 271.93/261.78 295.94/285.79 num=84, depth=53..143, filters=52252132, revisions=(396240757,useless=350751241), ccks=149300440, wck=280.559, mem=1028M537 295.94/285.79 decisions=1555599, wrong=774973, backtracks=651018, failedAssignments=329755, nogoods=962 295.94/285.79 321.57/311.36 num=85, depth=50..124, filters=56633533, revisions=(430849114,useless=381524464), ccks=162299434, wck=306.129, mem=472M287 321.57/311.36 decisions=1716523, wrong=855386, backtracks=715430, failedAssignments=362744, nogoods=984 321.57/311.36 352.58/342.33 num=86, depth=47..128, filters=61451235, revisions=(474213004,useless=420836751), ccks=176291133, wck=337.098, mem=775M741 352.58/342.33 decisions=1891636, wrong=942910, backtracks=794458, failedAssignments=399032, nogoods=994 352.58/342.33 386.99/376.72 num=87, depth=56..137, filters=68462971, revisions=(521562102,useless=461984599), ccks=195145287, wck=371.48, mem=1214M64 386.99/376.72 decisions=2084124, wrong=1039118, backtracks=877610, failedAssignments=438949, nogoods=1003 386.99/376.72 424.13/413.88 num=88, depth=61..172, filters=76309161, revisions=(573911582,useless=507431065), ccks=216059244, wck=408.64, mem=832M441 424.13/413.88 decisions=2287139, wrong=1140584, backtracks=963420, failedAssignments=482858, nogoods=1026 424.13/413.88 463.94/453.64 num=89, depth=44..129, filters=84607354, revisions=(628855892,useless=555105902), ccks=238726735, wck=448.409, mem=1321M114 463.94/453.64 decisions=2497705, wrong=1245827, backtracks=1051402, failedAssignments=531158, nogoods=1048 463.94/453.64 506.49/496.15 num=90, depth=39..140, filters=92122532, revisions=(689298080,useless=608950976), ccks=260337481, wck=490.915, mem=791M732 506.49/496.15 decisions=2752097, wrong=1372981, backtracks=1158631, failedAssignments=584288, nogoods=1071 506.49/496.15 552.39/542.10 num=91, depth=28..178, filters=100130649, revisions=(749133502,useless=661621880), ccks=284302194, wck=536.862, mem=1341M507 552.39/542.10 decisions=3059973, wrong=1526875, backtracks=1295254, failedAssignments=642731, nogoods=1091 552.39/542.10 605.92/595.50 num=92, depth=53..134, filters=108836528, revisions=(826315066,useless=731312175), ccks=310511776, wck=590.264, mem=891M509 605.92/595.50 decisions=3377949, wrong=1685824, backtracks=1436737, failedAssignments=707018, nogoods=1105 605.92/595.50 658.95/648.56 num=93, depth=55..136, filters=119709951, revisions=(900105493,useless=795563786), ccks=342465242, wck=643.322, mem=427M82 658.95/648.56 decisions=3682795, wrong=1838206, backtracks=1555835, failedAssignments=777734, nogoods=1123 658.95/648.56 715.58/705.18 num=94, depth=54..122, filters=130695933, revisions=(982753336,useless=868709680), ccks=373874453, wck=699.948, mem=1116M187 715.58/705.18 decisions=4002386, wrong=1997961, backtracks=1680138, failedAssignments=855521, nogoods=1142 715.58/705.18 783.52/773.03 num=95, depth=54..117, filters=144092544, revisions=(1076418024,useless=950783027), ccks=411070612, wck=767.798, mem=831M714 783.52/773.03 decisions=4375072, wrong=2184263, backtracks=1835653, failedAssignments=941087, nogoods=1153 783.52/773.03 868.76/858.22 num=96, depth=43..176, filters=159078981, revisions=(1184732526,useless=1045682446), ccks=455818572, wck=852.981, mem=753M230 868.76/858.22 decisions=4916891, wrong=2455118, backtracks=2091520, failedAssignments=1035210, nogoods=1188 868.76/858.22 957.01/946.44 num=97, depth=29..119, filters=173982518, revisions=(1309229871,useless=1157110439), ccks=498199726, wck=941.206, mem=660M812 957.01/946.44 decisions=5407182, wrong=2700230, backtracks=2314462, failedAssignments=1138745, nogoods=1210 957.01/946.44 1064.57/1053.98 num=98, depth=23..105, filters=193789976, revisions=(1462362046,useless=1292943512), ccks=553456308, wck=1048.741, mem=934M279 1064.57/1053.98 decisions=5965295, wrong=2979266, backtracks=2566424, failedAssignments=1252634, nogoods=1227 1064.57/1053.98 1174.25/1163.59 num=99, depth=37..115, filters=221017149, revisions=(1605296733,useless=1411058912), ccks=619164759, wck=1158.356, mem=614M582 1174.25/1163.59 decisions=6543324, wrong=3268241, backtracks=2822285, failedAssignments=1377912, nogoods=1245 1174.25/1163.59 1296.10/1285.31 num=100, depth=38..100, filters=242937813, revisions=(1791888563,useless=1578716719), ccks=679170788, wck=1280.077, mem=1110M441 1296.10/1285.31 decisions=7156733, wrong=3574912, backtracks=3096901, failedAssignments=1515718, nogoods=1254 1296.10/1285.31 1419.79/1408.94 num=101, depth=48..104, filters=274203581, revisions=(1954086064,useless=1712153161), ccks=765411198, wck=1403.701, mem=554M688 1419.79/1408.94 decisions=7801939, wrong=3897480, backtracks=3349865, failedAssignments=1667304, nogoods=1271 1419.79/1408.94 1556.98/1546.09 num=102, depth=13..93, filters=300463218, revisions=(2152890031,useless=1887968569), ccks=840202111, wck=1540.851, mem=724M778 1556.98/1546.09 decisions=8531377, wrong=4262179, backtracks=3645571, failedAssignments=1834049, nogoods=1281 1556.98/1546.09 1704.75/1693.74 num=103, depth=0..107, filters=329590058, revisions=(2340252706,useless=2048983027), ccks=927247190, wck=1688.509, mem=604M674 1704.75/1693.74 decisions=9425287, wrong=4709103, backtracks=4029415, failedAssignments=2017468, nogoods=1307 1704.75/1693.74 1891.37/1880.27 num=104, depth=4..161, filters=360405639, revisions=(2575445278,useless=2256419990), ccks=1016842714, wck=1875.035, mem=843M54 1891.37/1880.27 decisions=10662869, wrong=5327857, backtracks=4633346, failedAssignments=2219229, nogoods=1321 1891.37/1880.27 2126.56/2115.21 num=105, depth=2..121, filters=415219847, revisions=(2903273323,useless=2534521713), ccks=1154677346, wck=2109.971, mem=485M474 2126.56/2115.21 decisions=11729735, wrong=5861259, backtracks=5094699, failedAssignments=2441167, nogoods=1337 2126.56/2115.21 2331.69/2320.22 num=106, depth=6..141, filters=451524999, revisions=(3169425043,useless=2768243563), ccks=1259409370, wck=2314.989, mem=757M807 2331.69/2320.22 decisions=13073512, wrong=6533104, backtracks=5716879, failedAssignments=2685298, nogoods=1365 2331.69/2320.22
One s line expected
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: 16375 MiB (13273 MiB free)
memory of node 1: 16384 MiB (13551 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390564-1568380608/watcher-4390564-1568380608 -o /tmp/evaluation-result-4390564-1568380608/solver-4390564-1568380608 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323894939-836 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390564-1568380608.xml -cm
running on 4 cores: 4-7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=971, runsolver pid=968
[startup+0.100159 s]*
/proc/loadavg: 1.65 0.58 0.25 5/228 986
/proc/meminfo: memFree=27453540/32770688 swapFree=66919992/67108860
[pid=971] ppid=968 vsize=10659884 memory=27180 CPUtime=0.12 cores=4-7
/proc/971/stat : 971 (java) S 968 971 804 0 -1 1077944320 5291 0 0 0 11 1 0 0 20 0 15 0 414067105 10915721216 6795 33554432000 4194304 4196468 140729027094720 140729027077264 139807154560759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
/proc/971/statm: 2664971 6795 2841 1 0 2627468 0
[pid=971/tid=973] ppid=968 vsize=10659884 memory=8389772277269004345 CPUtime=0.09 cores=4-7
/proc/971/task/973/stat : 973 (java) R 968 971 804 0 -1 4202560 3182 0 0 0 8 1 0 0 20 0 15 0 414067106 10915721216 6795 33554432000 4194304 4196468 140729027094720 139807158789072 139807146797886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=974] ppid=968 vsize=10659884 memory=288292155783643159 CPUtime=0 cores=4-7
/proc/971/task/974/stat : 974 (java) S 968 971 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414067107 10915721216 6795 33554432000 4194304 4196468 140729027094720 139806761675536 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=975] ppid=968 vsize=10659884 memory=139752302849894 CPUtime=0 cores=4-7
/proc/971/task/975/stat : 975 (java) S 968 971 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414067107 10915721216 6795 33554432000 4194304 4196468 140729027094720 139806760622992 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=976] ppid=968 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/971/task/976/stat : 976 (java) S 968 971 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414067107 10915721216 6795 33554432000 4194304 4196468 140729027094720 139806759570448 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=977] ppid=968 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/971/task/977/stat : 977 (java) S 968 971 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414067107 10915721216 6795 33554432000 4194304 4196468 140729027094720 139806758517904 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=978] ppid=968 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/971/task/978/stat : 978 (java) S 968 971 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414067108 10915721216 6795 33554432000 4194304 4196468 140729027094720 139806190233584 139807154571906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=979] ppid=968 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/971/task/979/stat : 979 (java) S 968 971 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414067109 10915721216 6795 33554432000 4194304 4196468 140729027094720 139806189179808 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=980] ppid=968 vsize=10659884 memory=139752302823040 CPUtime=0 cores=4-7
/proc/971/task/980/stat : 980 (java) S 968 971 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414067109 10915721216 6795 33554432000 4194304 4196468 140729027094720 139806188127216 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=981] ppid=968 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/971/task/981/stat : 981 (java) S 968 971 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414067111 10915721216 6795 33554432000 4194304 4196468 140729027094720 139806187075792 139807154579355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=982] ppid=968 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/971/task/982/stat : 982 (java) S 968 971 804 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 414067111 10915721216 6795 33554432000 4194304 4196468 140729027094720 139806186023408 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=983] ppid=968 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/971/task/983/stat : 983 (java) S 968 971 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414067111 10915721216 6795 33554432000 4194304 4196468 140729027094720 139806184970864 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=984] ppid=968 vsize=10659884 memory=0 CPUtime=0.02 cores=4-7
/proc/971/task/984/stat : 984 (java) R 968 971 804 0 -1 4202560 328 0 0 0 2 0 0 0 20 0 15 0 414067111 10915721216 6795 33554432000 4194304 4196468 140729027094720 139806183918320 139807132727944 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=985] ppid=968 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/971/task/985/stat : 985 (java) S 968 971 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414067112 10915721216 6795 33554432000 4194304 4196468 140729027094720 139806182866016 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=986] ppid=968 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/971/task/986/stat : 986 (java) S 968 971 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414067112 10915721216 6795 33554432000 4194304 4196468 140729027094720 139806181812528 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27180 KiB
[startup+0.211503 s]*
/proc/loadavg: 1.65 0.58 0.25 5/228 986
/proc/meminfo: memFree=27441800/32770688 swapFree=66919992/67108860
[pid=971] ppid=968 vsize=10659884 memory=36956 CPUtime=0.32 cores=4-7
/proc/971/stat : 971 (java) S 968 971 804 0 -1 1077944320 8991 0 0 0 29 3 0 0 20 0 15 0 414067105 10915721216 9239 33554432000 4194304 4196468 140729027094720 140729027077264 139807154560759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
/proc/971/statm: 2664971 9239 2979 1 0 2627468 0
[pid=971/tid=973] ppid=968 vsize=10659884 memory=8389772277269004345 CPUtime=0.2 cores=4-7
/proc/971/task/973/stat : 973 (java) R 968 971 804 0 -1 4202560 6085 0 0 0 18 2 0 0 20 0 15 0 414067106 10915721216 9305 33554432000 4194304 4196468 140729027094720 139807158792368 139807154582685 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=974] ppid=968 vsize=10659884 memory=288292155783643159 CPUtime=0 cores=4-7
/proc/971/task/974/stat : 974 (java) S 968 971 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414067107 10915721216 9305 33554432000 4194304 4196468 140729027094720 139806761675536 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=975] ppid=968 vsize=10659884 memory=139752302849894 CPUtime=0 cores=4-7
/proc/971/task/975/stat : 975 (java) S 968 971 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414067107 10915721216 9305 33554432000 4194304 4196468 140729027094720 139806760622992 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=976] ppid=968 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/971/task/976/stat : 976 (java) S 968 971 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414067107 10915721216 9305 33554432000 4194304 4196468 140729027094720 139806759570448 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=977] ppid=968 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/971/task/977/stat : 977 (java) S 968 971 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414067107 10915721216 9305 33554432000 4194304 4196468 140729027094720 139806758517904 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=978] ppid=968 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/971/task/978/stat : 978 (java) S 968 971 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414067108 10915721216 9305 33554432000 4194304 4196468 140729027094720 139806190233584 139807154571906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=979] ppid=968 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/971/task/979/stat : 979 (java) S 968 971 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414067109 10915721216 9305 33554432000 4194304 4196468 140729027094720 139806189179808 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=980] ppid=968 vsize=10659884 memory=139752302823040 CPUtime=0 cores=4-7
/proc/971/task/980/stat : 980 (java) S 968 971 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414067109 10915721216 9305 33554432000 4194304 4196468 140729027094720 139806188127216 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=981] ppid=968 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/971/task/981/stat : 981 (java) S 968 971 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414067111 10915721216 9305 33554432000 4194304 4196468 140729027094720 139806187075792 139807154579355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=982] ppid=968 vsize=10659884 memory=0 CPUtime=0.02 cores=4-7
/proc/971/task/982/stat : 982 (java) R 968 971 804 0 -1 4202560 653 0 0 0 2 0 0 0 20 0 15 0 414067111 10915721216 9305 33554432000 4194304 4196468 140729027094720 139806186023408 139807134216449 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=983] ppid=968 vsize=10659884 memory=-1 CPUtime=0.02 cores=4-7
/proc/971/task/983/stat : 983 (java) R 968 971 804 0 -1 4202560 209 0 0 0 2 0 0 0 20 0 15 0 414067111 10915721216 9305 33554432000 4194304 4196468 140729027094720 139806184970864 139807139482541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=984] ppid=968 vsize=10659884 memory=0 CPUtime=0.06 cores=4-7
/proc/971/task/984/stat : 984 (java) S 968 971 804 0 -1 1077944384 745 0 0 0 6 0 0 0 20 0 15 0 414067111 10915721216 9305 33554432000 4194304 4196468 140729027094720 139806183918320 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=985] ppid=968 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/971/task/985/stat : 985 (java) S 968 971 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414067112 10915721216 9305 33554432000 4194304 4196468 140729027094720 139806182866016 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=986] ppid=968 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/971/task/986/stat : 986 (java) R 968 971 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414067112 10915721216 9305 33554432000 4194304 4196468 140729027094720 139806181812528 139807154571906 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 36956 KiB
[startup+0.311513 s]*
/proc/loadavg: 1.65 0.58 0.25 3/228 986
/proc/meminfo: memFree=27441428/32770688 swapFree=66919992/67108860
[pid=971] ppid=968 vsize=10659884 memory=39532 CPUtime=0.45 cores=4-7
/proc/971/stat : 971 (java) S 968 971 804 0 -1 1077944320 9139 0 0 0 42 3 0 0 20 0 15 0 414067105 10915721216 9883 33554432000 4194304 4196468 140729027094720 140729027077264 139807154560759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
/proc/971/statm: 2664971 9883 2989 1 0 2627468 0
[pid=971/tid=973] ppid=968 vsize=10659884 memory=1398722017469774279 CPUtime=0.31 cores=4-7
/proc/971/task/973/stat : 973 (java) R 968 971 804 0 -1 4202560 6129 0 0 0 28 3 0 0 20 0 15 0 414067106 10915721216 9883 33554432000 4194304 4196468 140729027094720 139807158792400 139807154582685 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=974] ppid=968 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/971/task/974/stat : 974 (java) S 968 971 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414067107 10915721216 9883 33554432000 4194304 4196468 140729027094720 139806761675536 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=975] ppid=968 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/971/task/975/stat : 975 (java) S 968 971 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414067107 10915721216 9883 33554432000 4194304 4196468 140729027094720 139806760622992 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=976] ppid=968 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/971/task/976/stat : 976 (java) S 968 971 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414067107 10915721216 9883 33554432000 4194304 4196468 140729027094720 139806759570448 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=977] ppid=968 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/971/task/977/stat : 977 (java) S 968 971 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414067107 10915721216 9883 33554432000 4194304 4196468 140729027094720 139806758517904 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=978] ppid=968 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/971/task/978/stat : 978 (java) S 968 971 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414067108 10915721216 9883 33554432000 4194304 4196468 140729027094720 139806190233584 139807154571906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=979] ppid=968 vsize=10659884 memory=67 CPUtime=0 cores=4-7
/proc/971/task/979/stat : 979 (java) S 968 971 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414067109 10915721216 9883 33554432000 4194304 4196468 140729027094720 139806189179808 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=980] ppid=968 vsize=10659884 memory=139752302823040 CPUtime=0 cores=4-7
/proc/971/task/980/stat : 980 (java) S 968 971 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414067109 10915721216 9883 33554432000 4194304 4196468 140729027094720 139806188127216 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=981] ppid=968 vsize=10659884 memory=67 CPUtime=0 cores=4-7
/proc/971/task/981/stat : 981 (java) S 968 971 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414067111 10915721216 9883 33554432000 4194304 4196468 140729027094720 139806187075792 139807154579355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=982] ppid=968 vsize=10659884 memory=0 CPUtime=0.03 cores=4-7
/proc/971/task/982/stat : 982 (java) R 968 971 804 0 -1 1077944384 688 0 0 0 3 0 0 0 20 0 15 0 414067111 10915721216 9883 33554432000 4194304 4196468 140729027094720 139806186023408 139807154571906 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=983] ppid=968 vsize=10659884 memory=139752196016591 CPUtime=0.04 cores=4-7
/proc/971/task/983/stat : 983 (java) R 968 971 804 0 -1 4202560 235 0 0 0 4 0 0 0 20 0 15 0 414067111 10915721216 9883 33554432000 4194304 4196468 140729027094720 139806184970864 139807136104935 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=984] ppid=968 vsize=10659884 memory=279504392137424 CPUtime=0.06 cores=4-7
/proc/971/task/984/stat : 984 (java) S 968 971 804 0 -1 1077944384 749 0 0 0 6 0 0 0 20 0 15 0 414067111 10915721216 9883 33554432000 4194304 4196468 140729027094720 139806183918320 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=985] ppid=968 vsize=10659884 memory=279504392044072 CPUtime=0 cores=4-7
/proc/971/task/985/stat : 985 (java) S 968 971 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414067112 10915721216 9883 33554432000 4194304 4196468 140729027094720 139806182866016 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=986] ppid=968 vsize=10659884 memory=12 CPUtime=0 cores=4-7
/proc/971/task/986/stat : 986 (java) S 968 971 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414067112 10915721216 9883 33554432000 4194304 4196468 140729027094720 139806181812528 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39532 KiB
[startup+0.700815 s]
/proc/loadavg: 1.65 0.58 0.25 3/228 986
/proc/meminfo: memFree=27431416/32770688 swapFree=66919992/67108860
[pid=971] ppid=968 vsize=10661932 memory=58636 CPUtime=1.11 cores=4-7
/proc/971/stat : 971 (java) S 968 971 804 0 -1 1077944320 12719 0 0 0 105 6 0 0 20 0 15 0 414067105 10917818368 14659 33554432000 4194304 4196468 140729027094720 140729027077264 139807154560759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
/proc/971/statm: 2665483 14659 3060 1 0 2627980 0
[pid=971/tid=973] ppid=968 vsize=10661932 memory=46292 CPUtime=0.68 cores=4-7
/proc/971/task/973/stat : 973 (java) R 968 971 804 0 -1 4202560 8554 0 0 0 63 5 0 0 20 0 15 0 414067106 10917818368 14659 33554432000 4194304 4196468 140729027094720 139807158792704 139807154582685 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=974] ppid=968 vsize=10661932 memory=984 CPUtime=0 cores=4-7
/proc/971/task/974/stat : 974 (java) S 968 971 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414067107 10917818368 14659 33554432000 4194304 4196468 140729027094720 139806761675536 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=975] ppid=968 vsize=10661932 memory=59 CPUtime=0 cores=4-7
/proc/971/task/975/stat : 975 (java) S 968 971 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414067107 10917818368 14659 33554432000 4194304 4196468 140729027094720 139806760622992 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=976] ppid=968 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/971/task/976/stat : 976 (java) S 968 971 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414067107 10917818368 14659 33554432000 4194304 4196468 140729027094720 139806759570448 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=977] ppid=968 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/971/task/977/stat : 977 (java) S 968 971 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414067107 10917818368 14659 33554432000 4194304 4196468 140729027094720 139806758517904 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=978] ppid=968 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/971/task/978/stat : 978 (java) S 968 971 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414067108 10917818368 14659 33554432000 4194304 4196468 140729027094720 139806190233584 139807154571906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=979] ppid=968 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/971/task/979/stat : 979 (java) S 968 971 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414067109 10917818368 14659 33554432000 4194304 4196468 140729027094720 139806189179808 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=980] ppid=968 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/971/task/980/stat : 980 (java) S 968 971 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414067109 10917818368 14659 33554432000 4194304 4196468 140729027094720 139806188127216 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=981] ppid=968 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/971/task/981/stat : 981 (java) S 968 971 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414067111 10917818368 14659 33554432000 4194304 4196468 140729027094720 139806187075792 139807154579355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=982] ppid=968 vsize=10661932 memory=0 CPUtime=0.1 cores=4-7
/proc/971/task/982/stat : 982 (java) S 968 971 804 0 -1 1077944384 968 0 0 0 10 0 0 0 20 0 15 0 414067111 10917818368 14659 33554432000 4194304 4196468 140729027094720 139806186023408 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=983] ppid=968 vsize=10661932 memory=110 CPUtime=0.12 cores=4-7
/proc/971/task/983/stat : 983 (java) S 968 971 804 0 -1 1077944384 615 0 0 0 12 0 0 0 20 0 15 0 414067111 10917818368 14659 33554432000 4194304 4196468 140729027094720 139806184970864 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=984] ppid=968 vsize=10661932 memory=0 CPUtime=0.19 cores=4-7
/proc/971/task/984/stat : 984 (java) S 968 971 804 0 -1 1077944384 1223 0 0 0 19 0 0 0 20 0 15 0 414067111 10917818368 14659 33554432000 4194304 4196468 140729027094720 139806183918320 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=985] ppid=968 vsize=10661932 memory=1 CPUtime=0 cores=4-7
/proc/971/task/985/stat : 985 (java) S 968 971 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414067112 10917818368 14659 33554432000 4194304 4196468 140729027094720 139806182866016 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=986] ppid=968 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/971/task/986/stat : 986 (java) S 968 971 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414067112 10917818368 14659 33554432000 4194304 4196468 140729027094720 139806181812528 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 58636 KiB
[startup+1.50079 s]
/proc/loadavg: 1.65 0.58 0.25 3/230 990
/proc/meminfo: memFree=27412632/32770688 swapFree=66919992/67108860
[pid=971] ppid=968 vsize=10663980 memory=72212 CPUtime=1.97 cores=4-7
/proc/971/stat : 971 (java) S 968 971 804 0 -1 1077944320 16037 0 0 0 191 6 0 0 20 0 15 0 414067105 10919915520 18053 33554432000 4194304 4196468 140729027094720 140729027077264 139807154560759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
/proc/971/statm: 2665995 18053 3084 1 0 2628492 0
[pid=971/tid=973] ppid=968 vsize=10663980 memory=143987033773993 CPUtime=1.48 cores=4-7
/proc/971/task/973/stat : 973 (java) R 968 971 804 0 -1 4202560 11471 0 0 0 143 5 0 0 20 0 15 0 414067106 10919915520 18053 33554432000 4194304 4196468 140729027094720 139807158793120 139807137753483 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=974] ppid=968 vsize=10663980 memory=1918103 CPUtime=0 cores=4-7
/proc/971/task/974/stat : 974 (java) S 968 971 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414067107 10919915520 18053 33554432000 4194304 4196468 140729027094720 139806761675536 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=975] ppid=968 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/971/task/975/stat : 975 (java) S 968 971 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414067107 10919915520 18053 33554432000 4194304 4196468 140729027094720 139806760622992 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=976] ppid=968 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/971/task/976/stat : 976 (java) S 968 971 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414067107 10919915520 18053 33554432000 4194304 4196468 140729027094720 139806759570448 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=977] ppid=968 vsize=10663980 memory=279504392028400 CPUtime=0 cores=4-7
/proc/971/task/977/stat : 977 (java) S 968 971 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414067107 10919915520 18053 33554432000 4194304 4196468 140729027094720 139806758517904 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=978] ppid=968 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/971/task/978/stat : 978 (java) S 968 971 804 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 414067108 10919915520 18053 33554432000 4194304 4196468 140729027094720 139806190233584 139807154571906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
################
# More data... #
################
/proc/971/task/977/stat : 977 (java) S 968 971 804 0 -1 1077944384 11906 0 0 0 55 28 0 0 20 0 16 0 414067107 11006283776 233037 33554432000 4194304 4196468 140729027094720 139806758517904 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=978] ppid=968 vsize=10748324 memory=932148 CPUtime=0.12 cores=4-7
/proc/971/task/978/stat : 978 (java) S 968 971 804 0 -1 1077944384 10082 0 0 0 9 3 0 0 20 0 16 0 414067108 11006283776 233037 33554432000 4194304 4196468 140729027094720 139806190233584 139807154571906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=979] ppid=968 vsize=10748324 memory=932148 CPUtime=0 cores=4-7
/proc/971/task/979/stat : 979 (java) S 968 971 804 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414067109 11006283776 233037 33554432000 4194304 4196468 140729027094720 139806189179872 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=980] ppid=968 vsize=10748324 memory=932148 CPUtime=0 cores=4-7
/proc/971/task/980/stat : 980 (java) S 968 971 804 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414067109 11006283776 233037 33554432000 4194304 4196468 140729027094720 139806188127232 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=981] ppid=968 vsize=10748324 memory=660 CPUtime=0 cores=4-7
/proc/971/task/981/stat : 981 (java) S 968 971 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414067111 11006283776 233037 33554432000 4194304 4196468 140729027094720 139806187075792 139807154579355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=982] ppid=968 vsize=10748324 memory=951132 CPUtime=3.44 cores=4-7
/proc/971/task/982/stat : 982 (java) S 968 971 804 0 -1 1077944384 9063 0 0 0 343 1 0 0 20 0 16 0 414067111 11006283776 233037 33554432000 4194304 4196468 140729027094720 139806186023408 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=983] ppid=968 vsize=10748324 memory=2776 CPUtime=3.59 cores=4-7
/proc/971/task/983/stat : 983 (java) S 968 971 804 0 -1 1077944384 14401 0 0 0 357 2 0 0 20 0 16 0 414067111 11006283776 233037 33554432000 4194304 4196468 140729027094720 139806184970864 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=984] ppid=968 vsize=10748324 memory=3624 CPUtime=1.15 cores=4-7
/proc/971/task/984/stat : 984 (java) S 968 971 804 0 -1 1077944384 12467 0 0 0 113 2 0 0 20 0 16 0 414067111 11006283776 233037 33554432000 4194304 4196468 140729027094720 139806183918320 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=985] ppid=968 vsize=10748324 memory=46424 CPUtime=0 cores=4-7
/proc/971/task/985/stat : 985 (java) S 968 971 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414067112 11006283776 233037 33554432000 4194304 4196468 140729027094720 139806182866016 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=986] ppid=968 vsize=10748324 memory=951132 CPUtime=0.96 cores=4-7
/proc/971/task/986/stat : 986 (java) S 968 971 804 0 -1 1077944384 1819 0 0 0 40 56 0 0 20 0 16 0 414067112 11006283776 233037 33554432000 4194304 4196468 140729027094720 139806181812528 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=991] ppid=968 vsize=10748324 memory=1432 CPUtime=2379.06 cores=4-7
/proc/971/task/991/stat : 991 (java) R 968 971 804 0 -1 4202560 49026 0 0 0 237885 21 0 0 20 0 16 0 414067317 11006283776 233037 33554432000 4194304 4196468 140729027094720 139806164925664 139806782538147 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
Current children cumulated CPU time: 2393.85 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 932148 KiB
[startup+2442.3 s]
/proc/loadavg: 2.03 1.98 1.88 3/229 1355
/proc/meminfo: memFree=26672672/32770688 swapFree=66919992/67108860
[pid=971] ppid=968 vsize=10748324 memory=916248 CPUtime=2453.91 cores=4-7
/proc/971/stat : 971 (java) S 968 971 804 0 -1 1077944320 158742 0 0 0 245196 195 0 0 20 0 16 0 414067105 11006283776 229062 33554432000 4194304 4196468 140729027094720 140729027077264 139807154560759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
/proc/971/statm: 2687081 229062 3386 1 0 2647217 0
[pid=971/tid=973] ppid=968 vsize=10748324 memory=916248 CPUtime=2.09 cores=4-7
/proc/971/task/973/stat : 973 (java) S 968 971 804 0 -1 1077944384 15164 0 0 0 202 7 0 0 20 0 16 0 414067106 11006283776 229062 33554432000 4194304 4196468 140729027094720 139807158803632 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=974] ppid=968 vsize=10748324 memory=916248 CPUtime=0.86 cores=4-7
/proc/971/task/974/stat : 974 (java) S 968 971 804 0 -1 1077944384 6358 0 0 0 60 26 0 0 20 0 16 0 414067107 11006283776 229062 33554432000 4194304 4196468 140729027094720 139806761675536 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=975] ppid=968 vsize=10748324 memory=916248 CPUtime=0.87 cores=4-7
/proc/971/task/975/stat : 975 (java) S 968 971 804 0 -1 1077944384 11816 0 0 0 60 27 0 0 20 0 16 0 414067107 11006283776 229062 33554432000 4194304 4196468 140729027094720 139806760622992 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=976] ppid=968 vsize=10748324 memory=0 CPUtime=0.82 cores=4-7
/proc/971/task/976/stat : 976 (java) S 968 971 804 0 -1 1077944384 14449 0 0 0 58 24 0 0 20 0 16 0 414067107 11006283776 229062 33554432000 4194304 4196468 140729027094720 139806759570448 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=977] ppid=968 vsize=10748324 memory=916248 CPUtime=0.84 cores=4-7
/proc/971/task/977/stat : 977 (java) S 968 971 804 0 -1 1077944384 12164 0 0 0 56 28 0 0 20 0 16 0 414067107 11006283776 229062 33554432000 4194304 4196468 140729027094720 139806758517904 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=978] ppid=968 vsize=10748324 memory=916248 CPUtime=0.12 cores=4-7
/proc/971/task/978/stat : 978 (java) S 968 971 804 0 -1 1077944384 10107 0 0 0 9 3 0 0 20 0 16 0 414067108 11006283776 229062 33554432000 4194304 4196468 140729027094720 139806190233584 139807154571906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=979] ppid=968 vsize=10748324 memory=916248 CPUtime=0 cores=4-7
/proc/971/task/979/stat : 979 (java) S 968 971 804 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414067109 11006283776 229062 33554432000 4194304 4196468 140729027094720 139806189179872 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=980] ppid=968 vsize=10748324 memory=916248 CPUtime=0 cores=4-7
/proc/971/task/980/stat : 980 (java) S 968 971 804 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414067109 11006283776 229062 33554432000 4194304 4196468 140729027094720 139806188127232 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=981] ppid=968 vsize=10748324 memory=916248 CPUtime=0 cores=4-7
/proc/971/task/981/stat : 981 (java) S 968 971 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414067111 11006283776 229062 33554432000 4194304 4196468 140729027094720 139806187075792 139807154579355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=982] ppid=968 vsize=10748324 memory=2828 CPUtime=3.44 cores=4-7
/proc/971/task/982/stat : 982 (java) S 968 971 804 0 -1 1077944384 9065 0 0 0 343 1 0 0 20 0 16 0 414067111 11006283776 229062 33554432000 4194304 4196468 140729027094720 139806186023408 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=983] ppid=968 vsize=10748324 memory=916248 CPUtime=3.59 cores=4-7
/proc/971/task/983/stat : 983 (java) S 968 971 804 0 -1 1077944384 14404 0 0 0 357 2 0 0 20 0 16 0 414067111 11006283776 229062 33554432000 4194304 4196468 140729027094720 139806184970864 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=984] ppid=968 vsize=10748324 memory=916248 CPUtime=1.15 cores=4-7
/proc/971/task/984/stat : 984 (java) S 968 971 804 0 -1 1077944384 12469 0 0 0 113 2 0 0 20 0 16 0 414067111 11006283776 229062 33554432000 4194304 4196468 140729027094720 139806183918320 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=985] ppid=968 vsize=10748324 memory=916248 CPUtime=0 cores=4-7
/proc/971/task/985/stat : 985 (java) S 968 971 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414067112 11006283776 229062 33554432000 4194304 4196468 140729027094720 139806182866016 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=986] ppid=968 vsize=10748324 memory=916248 CPUtime=0.99 cores=4-7
/proc/971/task/986/stat : 986 (java) S 968 971 804 0 -1 1077944384 1847 0 0 0 41 58 0 0 20 0 16 0 414067112 11006283776 229062 33554432000 4194304 4196468 140729027094720 139806181812528 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=991] ppid=968 vsize=10748324 memory=6947385649911455296 CPUtime=2439.05 cores=4-7
/proc/971/task/991/stat : 991 (java) R 968 971 804 0 -1 4202560 49463 0 0 0 243884 21 0 0 20 0 16 0 414067317 11006283776 229062 33554432000 4194304 4196468 140729027094720 139806164925616 139806782674368 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
Current children cumulated CPU time: 2453.91 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 916248 KiB
[startup+2502.3 s]
/proc/loadavg: 1.75 1.92 1.86 3/229 1359
/proc/meminfo: memFree=26615808/32770688 swapFree=66919992/67108860
[pid=971] ppid=968 vsize=10748324 memory=902908 CPUtime=2513.96 cores=4-7
/proc/971/stat : 971 (java) S 968 971 804 0 -1 1077944320 159963 0 0 0 251200 196 0 0 20 0 16 0 414067105 11006283776 225727 33554432000 4194304 4196468 140729027094720 140729027077264 139807154560759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
/proc/971/statm: 2687081 225727 3386 1 0 2647217 0
[pid=971/tid=973] ppid=968 vsize=10748324 memory=902908 CPUtime=2.09 cores=4-7
/proc/971/task/973/stat : 973 (java) S 968 971 804 0 -1 1077944384 15164 0 0 0 202 7 0 0 20 0 16 0 414067106 11006283776 225727 33554432000 4194304 4196468 140729027094720 139807158803632 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=974] ppid=968 vsize=10748324 memory=902908 CPUtime=0.87 cores=4-7
/proc/971/task/974/stat : 974 (java) S 968 971 804 0 -1 1077944384 6372 0 0 0 61 26 0 0 20 0 16 0 414067107 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806761675536 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=975] ppid=968 vsize=10748324 memory=902908 CPUtime=0.88 cores=4-7
/proc/971/task/975/stat : 975 (java) S 968 971 804 0 -1 1077944384 11990 0 0 0 61 27 0 0 20 0 16 0 414067107 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806760622992 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=976] ppid=968 vsize=10748324 memory=902908 CPUtime=0.83 cores=4-7
/proc/971/task/976/stat : 976 (java) S 968 971 804 0 -1 1077944384 14686 0 0 0 59 24 0 0 20 0 16 0 414067107 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806759570448 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=977] ppid=968 vsize=10748324 memory=902908 CPUtime=0.85 cores=4-7
/proc/971/task/977/stat : 977 (java) S 968 971 804 0 -1 1077944384 12301 0 0 0 57 28 0 0 20 0 16 0 414067107 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806758517904 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=978] ppid=968 vsize=10748324 memory=902908 CPUtime=0.12 cores=4-7
/proc/971/task/978/stat : 978 (java) S 968 971 804 0 -1 1077944384 10276 0 0 0 9 3 0 0 20 0 16 0 414067108 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806190233584 139807154571906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=979] ppid=968 vsize=10748324 memory=916248 CPUtime=0 cores=4-7
/proc/971/task/979/stat : 979 (java) S 968 971 804 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414067109 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806189179872 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=980] ppid=968 vsize=10748324 memory=902908 CPUtime=0 cores=4-7
/proc/971/task/980/stat : 980 (java) S 968 971 804 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414067109 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806188127232 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=981] ppid=968 vsize=10748324 memory=902908 CPUtime=0 cores=4-7
/proc/971/task/981/stat : 981 (java) S 968 971 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414067111 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806187075792 139807154579355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=982] ppid=968 vsize=10748324 memory=902908 CPUtime=3.44 cores=4-7
/proc/971/task/982/stat : 982 (java) S 968 971 804 0 -1 1077944384 9067 0 0 0 343 1 0 0 20 0 16 0 414067111 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806186023408 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=983] ppid=968 vsize=10748324 memory=902908 CPUtime=3.59 cores=4-7
/proc/971/task/983/stat : 983 (java) S 968 971 804 0 -1 1077944384 14406 0 0 0 357 2 0 0 20 0 16 0 414067111 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806184970864 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=984] ppid=968 vsize=10748324 memory=902908 CPUtime=1.15 cores=4-7
/proc/971/task/984/stat : 984 (java) S 968 971 804 0 -1 1077944384 12471 0 0 0 113 2 0 0 20 0 16 0 414067111 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806183918320 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=985] ppid=968 vsize=10748324 memory=902908 CPUtime=0 cores=4-7
/proc/971/task/985/stat : 985 (java) S 968 971 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414067112 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806182866016 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=986] ppid=968 vsize=10748324 memory=46424 CPUtime=1.01 cores=4-7
/proc/971/task/986/stat : 986 (java) S 968 971 804 0 -1 1077944384 1855 0 0 0 42 59 0 0 20 0 16 0 414067112 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806181812528 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=991] ppid=968 vsize=10748324 memory=902908 CPUtime=2499.03 cores=4-7
/proc/971/task/991/stat : 991 (java) R 968 971 804 0 -1 4202560 49939 0 0 0 249881 22 0 0 20 0 16 0 414067317 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806164925632 139806782593171 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
Current children cumulated CPU time: 2513.96 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 902908 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2508.4 s]
/proc/loadavg: 1.79 1.92 1.86 3/229 1359
/proc/meminfo: memFree=26618600/32770688 swapFree=66919992/67108860
[pid=971] ppid=968 vsize=10748324 memory=902908 CPUtime=2520.08 cores=4-7
/proc/971/stat : 971 (java) S 968 971 804 0 -1 1077944320 160307 0 0 0 251811 197 0 0 20 0 16 0 414067105 11006283776 225727 33554432000 4194304 4196468 140729027094720 140729027077264 139807154560759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
/proc/971/statm: 2687081 225727 3386 1 0 2647217 0
[pid=971/tid=973] ppid=968 vsize=10748324 memory=279504392629088 CPUtime=2.09 cores=4-7
/proc/971/task/973/stat : 973 (java) S 968 971 804 0 -1 1077944384 15164 0 0 0 202 7 0 0 20 0 16 0 414067106 11006283776 225727 33554432000 4194304 4196468 140729027094720 139807158803632 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=974] ppid=968 vsize=10748324 memory=139752196318052 CPUtime=0.87 cores=4-7
/proc/971/task/974/stat : 974 (java) S 968 971 804 0 -1 1077944384 6397 0 0 0 61 26 0 0 20 0 16 0 414067107 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806761675536 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=975] ppid=968 vsize=10748324 memory=279504392637856 CPUtime=0.89 cores=4-7
/proc/971/task/975/stat : 975 (java) S 968 971 804 0 -1 1077944384 11990 0 0 0 62 27 0 0 20 0 16 0 414067107 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806760622992 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=976] ppid=968 vsize=10748324 memory=279504392642304 CPUtime=0.83 cores=4-7
/proc/971/task/976/stat : 976 (java) S 968 971 804 0 -1 1077944384 14952 0 0 0 59 24 0 0 20 0 16 0 414067107 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806759570448 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=977] ppid=968 vsize=10748324 memory=1268 CPUtime=0.86 cores=4-7
/proc/971/task/977/stat : 977 (java) S 968 971 804 0 -1 1077944384 12304 0 0 0 58 28 0 0 20 0 16 0 414067107 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806758517904 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=978] ppid=968 vsize=10748324 memory=2672 CPUtime=0.12 cores=4-7
/proc/971/task/978/stat : 978 (java) R 968 971 804 0 -1 4202560 10294 0 0 0 9 3 0 0 20 0 16 0 414067108 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806190232096 139807140251945 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=979] ppid=968 vsize=10748324 memory=2616 CPUtime=0 cores=4-7
/proc/971/task/979/stat : 979 (java) S 968 971 804 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414067109 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806189179872 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=980] ppid=968 vsize=10748324 memory=12028 CPUtime=0 cores=4-7
/proc/971/task/980/stat : 980 (java) S 968 971 804 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414067109 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806188127232 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=981] ppid=968 vsize=10748324 memory=25032 CPUtime=0 cores=4-7
/proc/971/task/981/stat : 981 (java) S 968 971 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414067111 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806187075792 139807154579355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=982] ppid=968 vsize=10748324 memory=2120 CPUtime=3.44 cores=4-7
/proc/971/task/982/stat : 982 (java) S 968 971 804 0 -1 1077944384 9067 0 0 0 343 1 0 0 20 0 16 0 414067111 11006283776 225727 33554432000 4194304 4196468 140729027094720 139806186023408 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=983] ppid=968 vsize=10748324 memory=1408 CPUtime=3.59 cores=4-7
/proc/971/task/983/stat : 983 (java) S 968 971 804 0 -1 1077944384 14406 0 0 0 357 2 0 0 20 0 16 0 414067111 11006283776 223295 33554432000 4194304 4196468 140729027094720 139806184970864 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=984] ppid=968 vsize=10748324 memory=3240 CPUtime=1.15 cores=4-7
/proc/971/task/984/stat : 984 (java) S 968 971 804 0 -1 1077944384 12471 0 0 0 113 2 0 0 20 0 16 0 414067111 11006283776 222911 33554432000 4194304 4196468 140729027094720 139806183918320 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=985] ppid=968 vsize=10748324 memory=902908 CPUtime=0 cores=4-7
/proc/971/task/985/stat : 985 (java) S 968 971 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414067112 11006283776 222911 33554432000 4194304 4196468 140729027094720 139806182866016 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=986] ppid=968 vsize=10748324 memory=496 CPUtime=1.01 cores=4-7
/proc/971/task/986/stat : 986 (java) S 968 971 804 0 -1 1077944384 1855 0 0 0 42 59 0 0 20 0 16 0 414067112 11006283776 222911 33554432000 4194304 4196468 140729027094720 139806181812528 139807154571906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
[pid=971/tid=991] ppid=968 vsize=10748324 memory=1560 CPUtime=2505.12 cores=4-7
/proc/971/task/991/stat : 991 (java) S 968 971 804 0 -1 1077944384 49971 0 0 0 250490 22 0 0 20 0 16 0 414067317 11006283776 222911 33554432000 4194304 4196468 140729027094720 139806164925776 139807154570965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29315072 140729027101707 140729027101810 140729027101810 140729027104719 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 902908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2508.42 s]
# the end of solver process 971 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.12 s, system=1.97614 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2508.42
CPU time (s): 2520.1
CPU user time (s): 2518.12
CPU system time (s): 1.97614
CPU usage (%): 100.466
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 1664512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.13
system time used= 1.97614
maximum resident set size= 1664628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160608
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58597
involuntary context switches= 1305
# summary of solver processes directly reported to runsolver:
# pid: 971
# total CPU time (s): 2520.1
# total CPU user time (s): 2518.12
# total CPU system time (s): 1.97614
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3549 second user time and 26.5996 second system time
The end
Begin job on node120 at 2011-12-14 21:37:10 IDJOB=4390564 IDBENCH=123897 IDSOLVER=2832 FILE ID=node120/4390564-1568380608 RUNJOBID= node120-1323894939-836 PBS_JOBID= 21701843 Free space on /tmp= 59144 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/Bibd/Bibd-sc-stab1/Bibd-sc-25-05-01.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390564-1568380608/watcher-4390564-1568380608 -o /tmp/evaluation-result-4390564-1568380608/solver-4390564-1568380608 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323894939-836 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390564-1568380608.xml -cm TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9fe6d89f0071d5e4c6195eb6e45e1a5a RANDOM SEED=1895445107 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 27468884 kB MemAvailable: 31530832 kB Buffers: 168968 kB Cached: 4186372 kB SwapCached: 77548 kB Active: 1561228 kB Inactive: 3162260 kB Active(anon): 290952 kB Inactive(anon): 126960 kB Active(file): 1270276 kB Inactive(file): 3035300 kB Unevictable: 108228 kB Mlocked: 108228 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 9104 kB Writeback: 0 kB AnonPages: 352920 kB Mapped: 60380 kB Shmem: 41008 kB Slab: 173048 kB SReclaimable: 144412 kB SUnreclaim: 28636 kB KernelStack: 4000 kB PageTables: 6712 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 1379100 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 233472 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 59136 MiB End job on node120 at 2011-12-14 22:18:59