Trace number 4304171

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2? (TO) 2520.13 2454.04

General information on the benchmark

NameNurseRostering/
NurseRostering-10_c18.xml
MD5SUM8e8c57bbf90dbce08cf7a3cf301ec8dd
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10181
Best CPU time to get the best result obtained on this benchmark2520.06
Satisfiable
(Un)Satisfiability was proved
Number of variables2140
Number of constraints5421
Number of domains18
Minimum domain size1
Maximum domain size41
Distribution of domain sizes[{"size":1,"count":94},{"size":2,"count":444},{"size":6,"count":1141},{"size":9,"count":7},{"size":10,"count":18},{"size":29,"count":128},{"size":41,"count":308}]
Minimum variable degree2
Maximum variable degree27
Distribution of variable degrees[{"degree":2,"count":860},{"degree":3,"count":160},{"degree":17,"count":33},{"degree":18,"count":41},{"degree":19,"count":6},{"degree":20,"count":31},{"degree":21,"count":40},{"degree":22,"count":67},{"degree":23,"count":71},{"degree":24,"count":80},{"degree":25,"count":360},{"degree":26,"count":293},{"degree":27,"count":98}]
Minimum constraint arity2
Maximum constraint arity80
Distribution of constraint arities[{"arity":2,"count":1932},{"arity":3,"count":2080},{"arity":4,"count":40},{"arity":6,"count":960},{"arity":29,"count":240},{"arity":41,"count":168},{"arity":80,"count":1}]
Number of extensional constraints1248
Number of intensional constraints684
Distribution of constraint types[{"type":"extension","count":1248},{"type":"intension","count":684},{"type":"regular","count":2080},{"type":"sum","count":80},{"type":"count","count":1328},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.98/0.75	c Concrete v3.9.2.1532736233296 running
16.38/6.26	c 05:22:13.576 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15786. 'extension(5, x[1][29]=[0‥5]) :: init: true :: relation: MDD 270313690, 12 edges, 5 vertices, 9 tuples
16.38/6.26	c 05:22:13.581 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15787. 'extension(5, x[1][29]=[0‥5]) :: init: true :: relation: MDD 1573349881, 6 edges, 3 vertices, 5 tuples
16.38/6.27	c 05:22:13.586 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15815. 'extension(5, x[1][38]=[0‥5]) :: init: true :: relation: MDD 851116146, 12 edges, 5 vertices, 9 tuples
16.38/6.27	c 05:22:13.586 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15816. 'extension(5, x[1][38]=[0‥5]) :: init: true :: relation: MDD 800990938, 6 edges, 3 vertices, 5 tuples
16.38/6.27	c 05:22:13.588 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15844. 'extension(x[0][6]=[0‥5], 5) :: init: true :: relation: MDD 972404515, 12 edges, 5 vertices, 9 tuples
16.38/6.27	c 05:22:13.589 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15845. 'extension(5, x[2][6]=[0‥5]) :: init: true :: relation: MDD 972404515, 12 edges, 5 vertices, 9 tuples
16.38/6.28	c 05:22:13.591 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15877. 'extension(x[0][15]=[0‥5], 5) :: init: true :: relation: MDD 1780306540, 12 edges, 5 vertices, 9 tuples
16.38/6.28	c 05:22:13.592 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15910. 'extension(x[0][25]=[0‥5], 5) :: init: true :: relation: MDD 873002645, 12 edges, 5 vertices, 9 tuples
16.38/6.28	c 05:22:13.593 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15911. 'extension(5, x[2][25]=[0‥5]) :: init: true :: relation: MDD 873002645, 12 edges, 5 vertices, 9 tuples
16.38/6.28	c 05:22:13.595 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15943. 'extension(x[1][5]=[0‥5], 5) :: init: true :: relation: MDD 879924346, 12 edges, 5 vertices, 9 tuples
16.38/6.28	c 05:22:13.597 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15978. 'extension(5, x[3][15]=[0‥5]) :: init: true :: relation: MDD 1780306540, 12 edges, 5 vertices, 9 tuples
16.38/6.28	c 05:22:13.598 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15981. 'extension(5, 5) :: init: true :: relation: MDD 1780306540, 12 edges, 5 vertices, 9 tuples
16.38/6.28	c 05:22:13.600 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16013. 'extension(x[1][20]=[0‥5], 5) :: init: true :: relation: MDD 1531409183, 12 edges, 5 vertices, 9 tuples
16.38/6.28	c 05:22:13.601 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16014. 'extension(5, x[3][20]=[0‥5]) :: init: true :: relation: MDD 1531409183, 12 edges, 5 vertices, 9 tuples
16.38/6.29	c 05:22:13.603 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16048. 'extension(x[1][36]=[0‥5], 5) :: init: true :: relation: MDD 1909367224, 12 edges, 5 vertices, 9 tuples
16.38/6.29	c 05:22:13.604 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16049. 'extension(5, x[3][36]=[0‥5]) :: init: true :: relation: MDD 1909367224, 12 edges, 5 vertices, 9 tuples
16.38/6.29	c 05:22:13.607 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16083. 'extension(x[2][0]=[0‥5], 5) :: init: true :: relation: MDD 242762528, 12 edges, 5 vertices, 9 tuples
16.38/6.29	c 05:22:13.608 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16084. 'extension(5, x[4][0]=[0‥5]) :: init: true :: relation: MDD 242762528, 12 edges, 5 vertices, 9 tuples
16.38/6.29	c 05:22:13.610 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16119. 'extension(5, x[4][5]=[0‥5]) :: init: true :: relation: MDD 879924346, 12 edges, 5 vertices, 9 tuples
16.38/6.29	c 05:22:13.611 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16122. 'extension(5, 5) :: init: true :: relation: MDD 879924346, 12 edges, 5 vertices, 9 tuples
16.71/6.30	c 05:22:13.613 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16155. 'extension(x[2][10]=[0‥5], 5) :: init: true :: relation: MDD 1336210565, 12 edges, 5 vertices, 9 tuples
16.71/6.30	c 05:22:13.614 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16156. 'extension(5, x[4][10]=[0‥5]) :: init: true :: relation: MDD 1336210565, 12 edges, 5 vertices, 9 tuples
16.71/6.30	c 05:22:13.616 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16191. 'extension(x[2][12]=[0‥5], 5) :: init: true :: relation: MDD 1259065345, 12 edges, 5 vertices, 9 tuples
16.71/6.30	c 05:22:13.617 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16227. 'extension(x[2][18]=[0‥5], 5) :: init: true :: relation: MDD 1835878412, 12 edges, 5 vertices, 9 tuples
16.71/6.30	c 05:22:13.618 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16228. 'extension(5, x[4][18]=[0‥5]) :: init: true :: relation: MDD 1835878412, 12 edges, 5 vertices, 9 tuples
16.71/6.30	c 05:22:13.620 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16263. 'extension(x[2][37]=[0‥5], 5) :: init: true :: relation: MDD 917190676, 12 edges, 5 vertices, 9 tuples
16.71/6.30	c 05:22:13.621 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16264. 'extension(5, x[4][37]=[0‥5]) :: init: true :: relation: MDD 917190676, 12 edges, 5 vertices, 9 tuples
16.71/6.31	c 05:22:13.623 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16299. 'extension(5, x[5][12]=[0‥5]) :: init: true :: relation: MDD 1259065345, 12 edges, 5 vertices, 9 tuples
16.71/6.31	c 05:22:13.624 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16302. 'extension(5, 5) :: init: true :: relation: MDD 1259065345, 12 edges, 5 vertices, 9 tuples
16.71/6.31	c 05:22:13.626 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16336. 'extension(x[3][17]=[0‥5], 5) :: init: true :: relation: MDD 1784551034, 12 edges, 5 vertices, 9 tuples
16.71/6.31	c 05:22:13.628 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16373. 'extension(5, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 155829656, 6 edges, 3 vertices, 5 tuples
16.71/6.31	c 05:22:13.628 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16374. 'extension(x[4][14]=[0‥5], 5) :: init: true :: relation: MDD 854255346, 12 edges, 5 vertices, 9 tuples
16.71/6.31	c 05:22:13.629 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16375. 'extension(5, x[6][14]=[0‥5]) :: init: true :: relation: MDD 854255346, 12 edges, 5 vertices, 9 tuples
16.71/6.32	c 05:22:13.631 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16412. 'extension(5, wk[17][0]=[0‥1]) :: init: true :: relation: MDD 722378544, 6 edges, 3 vertices, 5 tuples
16.71/6.32	c 05:22:13.631 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16413. 'extension(5, x[6][17]=[0‥5]) :: init: true :: relation: MDD 1784551034, 12 edges, 5 vertices, 9 tuples
16.71/6.32	c 05:22:13.632 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16416. 'extension(5, 5) :: init: true :: relation: MDD 1784551034, 12 edges, 5 vertices, 9 tuples
16.71/6.32	c 05:22:13.634 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16451. 'extension(5, wk[32][0]=[0‥1]) :: init: true :: relation: MDD 1301763240, 6 edges, 3 vertices, 5 tuples
16.71/6.32	c 05:22:13.635 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16452. 'extension(x[4][32]=[0‥5], 5) :: init: true :: relation: MDD 1952473604, 12 edges, 5 vertices, 9 tuples
16.71/6.32	c 05:22:13.635 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16453. 'extension(5, x[6][32]=[0‥5]) :: init: true :: relation: MDD 1952473604, 12 edges, 5 vertices, 9 tuples
16.71/6.32	c 05:22:13.637 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16490. 'extension(5, wk[31][0]=[0‥1]) :: init: true :: relation: MDD 222250245, 6 edges, 3 vertices, 5 tuples
16.71/6.32	c 05:22:13.638 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16491. 'extension(x[5][31]=[0‥5], 5) :: init: true :: relation: MDD 1628252344, 12 edges, 5 vertices, 9 tuples
16.71/6.32	c 05:22:13.640 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16529. 'extension(x[6][0]=[0‥5], 5) :: init: true :: relation: MDD 242762528, 12 edges, 5 vertices, 9 tuples
16.71/6.32	c 05:22:13.640 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16530. 'extension(5, x[8][0]=[0‥5]) :: init: true :: relation: MDD 242762528, 12 edges, 5 vertices, 9 tuples
16.71/6.33	c 05:22:13.642 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16567. 'extension(x[6][8]=[0‥5], 5) :: init: true :: relation: MDD 1645557354, 12 edges, 5 vertices, 9 tuples
16.71/6.33	c 05:22:13.643 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16568. 'extension(5, x[8][8]=[0‥5]) :: init: true :: relation: MDD 1645557354, 12 edges, 5 vertices, 9 tuples
16.71/6.33	c 05:22:13.645 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16605. 'extension(x[6][11]=[0‥5], 5) :: init: true :: relation: MDD 134943275, 12 edges, 5 vertices, 9 tuples
16.71/6.33	c 05:22:13.646 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16643. 'extension(5, x[8][31]=[0‥5]) :: init: true :: relation: MDD 1628252344, 12 edges, 5 vertices, 9 tuples
16.71/6.33	c 05:22:13.646 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16646. 'extension(5, 5) :: init: true :: relation: MDD 1628252344, 12 edges, 5 vertices, 9 tuples
16.71/6.33	c 05:22:13.648 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16681. 'extension(x[6][39]=[0‥5], 5) :: init: true :: relation: MDD 184017782, 12 edges, 5 vertices, 9 tuples
16.71/6.33	c 05:22:13.649 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16682. 'extension(5, x[8][39]=[0‥5]) :: init: true :: relation: MDD 184017782, 12 edges, 5 vertices, 9 tuples
16.71/6.34	c 05:22:13.651 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16719. 'extension(5, x[9][11]=[0‥5]) :: init: true :: relation: MDD 134943275, 12 edges, 5 vertices, 9 tuples
16.71/6.34	c 05:22:13.652 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16722. 'extension(5, 5) :: init: true :: relation: MDD 134943275, 12 edges, 5 vertices, 9 tuples
16.71/6.34	c 05:22:13.654 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16757. 'extension(x[7][14]=[0‥5], 5) :: init: true :: relation: MDD 854255346, 12 edges, 5 vertices, 9 tuples
16.71/6.34	c 05:22:13.654 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16758. 'extension(5, x[9][14]=[0‥5]) :: init: true :: relation: MDD 854255346, 12 edges, 5 vertices, 9 tuples
16.71/6.34	c 05:22:13.657 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16795. 'extension(x[7][19]=[0‥5], 5) :: init: true :: relation: MDD 2037343019, 12 edges, 5 vertices, 9 tuples
16.71/6.34	c 05:22:13.658 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16833. 'extension(x[7][32]=[0‥5], 5) :: init: true :: relation: MDD 1952473604, 12 edges, 5 vertices, 9 tuples
16.71/6.34	c 05:22:13.658 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16834. 'extension(5, x[9][32]=[0‥5]) :: init: true :: relation: MDD 1952473604, 12 edges, 5 vertices, 9 tuples
16.71/6.34	c 05:22:13.660 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16871. 'extension(x[7][33]=[0‥5], 5) :: init: true :: relation: MDD 233300371, 12 edges, 5 vertices, 9 tuples
16.71/6.35	c 05:22:13.662 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16909. 'extension(5, x[10][19]=[0‥5]) :: init: true :: relation: MDD 2037343019, 12 edges, 5 vertices, 9 tuples
16.71/6.35	c 05:22:13.662 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16912. 'extension(5, 5) :: init: true :: relation: MDD 2037343019, 12 edges, 5 vertices, 9 tuples
16.71/6.35	c 05:22:13.664 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16947. 'extension(5, x[10][33]=[0‥5]) :: init: true :: relation: MDD 233300371, 12 edges, 5 vertices, 9 tuples
16.71/6.35	c 05:22:13.665 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16950. 'extension(5, 5) :: init: true :: relation: MDD 233300371, 12 edges, 5 vertices, 9 tuples
16.71/6.35	c 05:22:13.667 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16985. 'extension(x[8][38]=[0‥5], 5) :: init: true :: relation: MDD 851116146, 12 edges, 5 vertices, 9 tuples
16.71/6.35	c 05:22:13.667 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16986. 'extension(5, x[10][38]=[0‥5]) :: init: true :: relation: MDD 851116146, 12 edges, 5 vertices, 9 tuples
16.71/6.35	c 05:22:13.670 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17023. 'extension(x[9][7]=[0‥5], 5) :: init: true :: relation: MDD 783117220, 12 edges, 5 vertices, 9 tuples
16.71/6.36	c 05:22:13.671 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17061. 'extension(x[10][3]=[0‥5], 5) :: init: true :: relation: MDD 2096808863, 12 edges, 5 vertices, 9 tuples
16.71/6.36	c 05:22:13.672 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17099. 'extension(x[10][6]=[0‥5], 5) :: init: true :: relation: MDD 972404515, 12 edges, 5 vertices, 9 tuples
16.71/6.36	c 05:22:13.672 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17100. 'extension(5, x[12][6]=[0‥5]) :: init: true :: relation: MDD 972404515, 12 edges, 5 vertices, 9 tuples
16.71/6.36	c 05:22:13.675 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17137. 'extension(5, x[12][7]=[0‥5]) :: init: true :: relation: MDD 783117220, 12 edges, 5 vertices, 9 tuples
16.71/6.36	c 05:22:13.675 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17140. 'extension(5, 5) :: init: true :: relation: MDD 783117220, 12 edges, 5 vertices, 9 tuples
16.71/6.36	c 05:22:13.677 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17175. 'extension(x[10][18]=[0‥5], 5) :: init: true :: relation: MDD 1835878412, 12 edges, 5 vertices, 9 tuples
16.71/6.36	c 05:22:13.677 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17176. 'extension(5, x[12][18]=[0‥5]) :: init: true :: relation: MDD 1835878412, 12 edges, 5 vertices, 9 tuples
16.71/6.36	c 05:22:13.680 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17213. 'extension(x[10][22]=[0‥5], 5) :: init: true :: relation: MDD 1651795723, 12 edges, 5 vertices, 9 tuples
16.71/6.36	c 05:22:13.680 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17214. 'extension(5, x[12][22]=[0‥5]) :: init: true :: relation: MDD 1651795723, 12 edges, 5 vertices, 9 tuples
16.71/6.37	c 05:22:13.682 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17251. 'extension(5, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 185209393, 6 edges, 3 vertices, 5 tuples
16.71/6.37	c 05:22:13.683 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17252. 'extension(5, x[13][3]=[0‥5]) :: init: true :: relation: MDD 2096808863, 12 edges, 5 vertices, 9 tuples
16.71/6.37	c 05:22:13.683 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17255. 'extension(5, 5) :: init: true :: relation: MDD 2096808863, 12 edges, 5 vertices, 9 tuples
16.71/6.37	c 05:22:13.685 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17290. 'extension(5, wk[4][1]=[0‥1]) :: init: true :: relation: MDD 823405912, 6 edges, 3 vertices, 5 tuples
16.71/6.37	c 05:22:13.685 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17291. 'extension(x[11][4]=[0‥5], 5) :: init: true :: relation: MDD 812229472, 12 edges, 5 vertices, 9 tuples
16.71/6.37	c 05:22:13.686 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17329. 'extension(5, wk[21][1]=[0‥1]) :: init: true :: relation: MDD 129958347, 6 edges, 3 vertices, 5 tuples
16.71/6.37	c 05:22:13.686 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17330. 'extension(x[11][21]=[0‥5], 5) :: init: true :: relation: MDD 1621615881, 12 edges, 5 vertices, 9 tuples
16.71/6.37	c 05:22:13.687 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17331. 'extension(5, x[13][21]=[0‥5]) :: init: true :: relation: MDD 1621615881, 12 edges, 5 vertices, 9 tuples
16.71/6.37	c 05:22:13.688 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17368. 'extension(5, wk[25][1]=[0‥1]) :: init: true :: relation: MDD 431097582, 6 edges, 3 vertices, 5 tuples
16.71/6.37	c 05:22:13.689 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17369. 'extension(x[11][25]=[0‥5], 5) :: init: true :: relation: MDD 873002645, 12 edges, 5 vertices, 9 tuples
16.71/6.38	c 05:22:13.689 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17370. 'extension(5, x[13][25]=[0‥5]) :: init: true :: relation: MDD 873002645, 12 edges, 5 vertices, 9 tuples
16.71/6.38	c 05:22:13.692 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17407. 'extension(5, wk[4][1]=[0‥1]) :: init: true :: relation: MDD 294827406, 6 edges, 3 vertices, 5 tuples
16.71/6.38	c 05:22:13.692 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17408. 'extension(5, x[14][4]=[0‥5]) :: init: true :: relation: MDD 812229472, 12 edges, 5 vertices, 9 tuples
16.71/6.38	c 05:22:13.693 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17411. 'extension(5, 5) :: init: true :: relation: MDD 812229472, 12 edges, 5 vertices, 9 tuples
16.71/6.38	c 05:22:13.695 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17446. 'extension(5, wk[28][1]=[0‥1]) :: init: true :: relation: MDD 902096996, 6 edges, 3 vertices, 5 tuples
16.71/6.38	c 05:22:13.695 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17447. 'extension(x[12][28]=[0‥5], 5) :: init: true :: relation: MDD 1037793103, 12 edges, 5 vertices, 9 tuples
16.71/6.38	c 05:22:13.695 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17448. 'extension(5, x[14][28]=[0‥5]) :: init: true :: relation: MDD 1037793103, 12 edges, 5 vertices, 9 tuples
16.71/6.38	c 05:22:13.698 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17485. 'extension(x[13][1]=[0‥5], 5) :: init: true :: relation: MDD 1286437308, 12 edges, 5 vertices, 9 tuples
16.71/6.38	c 05:22:13.698 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17523. 'extension(x[13][20]=[0‥5], 5) :: init: true :: relation: MDD 1531409183, 12 edges, 5 vertices, 9 tuples
16.71/6.38	c 05:22:13.699 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17524. 'extension(5, x[15][20]=[0‥5]) :: init: true :: relation: MDD 1531409183, 12 edges, 5 vertices, 9 tuples
16.71/6.38	c 05:22:13.701 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17561. 'extension(x[13][30]=[0‥5], 5) :: init: true :: relation: MDD 495289088, 12 edges, 5 vertices, 9 tuples
16.71/6.39	c 05:22:13.702 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17599. 'extension(x[13][35]=[0‥5], 5) :: init: true :: relation: MDD 2009196049, 12 edges, 5 vertices, 9 tuples
16.71/6.39	c 05:22:13.703 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17637. 'extension(5, x[16][1]=[0‥5]) :: init: true :: relation: MDD 1286437308, 12 edges, 5 vertices, 9 tuples
16.71/6.39	c 05:22:13.704 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17640. 'extension(5, 5) :: init: true :: relation: MDD 1286437308, 12 edges, 5 vertices, 9 tuples
16.71/6.39	c 05:22:13.706 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17675. 'extension(5, x[16][30]=[0‥5]) :: init: true :: relation: MDD 495289088, 12 edges, 5 vertices, 9 tuples
16.71/6.39	c 05:22:13.706 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17678. 'extension(5, 5) :: init: true :: relation: MDD 495289088, 12 edges, 5 vertices, 9 tuples
16.71/6.39	c 05:22:13.708 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17713. 'extension(5, x[16][35]=[0‥5]) :: init: true :: relation: MDD 2009196049, 12 edges, 5 vertices, 9 tuples
16.71/6.39	c 05:22:13.708 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17716. 'extension(5, 5) :: init: true :: relation: MDD 2009196049, 12 edges, 5 vertices, 9 tuples
16.71/6.39	c 05:22:13.711 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17751. 'extension(x[15][24]=[0‥5], 5) :: init: true :: relation: MDD 1007550632, 12 edges, 5 vertices, 9 tuples
16.71/6.39	c 05:22:13.711 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17752. 'extension(5, x[17][24]=[0‥5]) :: init: true :: relation: MDD 1007550632, 12 edges, 5 vertices, 9 tuples
16.71/6.40	c 05:22:13.713 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17789. 'extension(x[17][36]=[0‥5], 5) :: init: true :: relation: MDD 1909367224, 12 edges, 5 vertices, 9 tuples
16.71/6.40	c 05:22:13.713 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17790. 'extension(5, x[19][36]=[0‥5]) :: init: true :: relation: MDD 1909367224, 12 edges, 5 vertices, 9 tuples
16.71/6.40	c 05:22:13.716 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17827. 'extension(5, wk[21][2]=[0‥1]) :: init: true :: relation: MDD 752148842, 6 edges, 3 vertices, 5 tuples
16.71/6.40	c 05:22:13.716 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17828. 'extension(x[18][21]=[0‥5], 5) :: init: true :: relation: MDD 1621615881, 12 edges, 5 vertices, 9 tuples
16.71/6.40	c 05:22:13.717 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17829. 'extension(5, x[20][21]=[0‥5]) :: init: true :: relation: MDD 1621615881, 12 edges, 5 vertices, 9 tuples
16.71/6.40	c 05:22:13.719 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17866. 'extension(5, wk[39][2]=[0‥1]) :: init: true :: relation: MDD 1768473046, 6 edges, 3 vertices, 5 tuples
16.71/6.40	c 05:22:13.719 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17867. 'extension(x[18][39]=[0‥5], 5) :: init: true :: relation: MDD 184017782, 12 edges, 5 vertices, 9 tuples
16.71/6.40	c 05:22:13.720 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17868. 'extension(5, x[20][39]=[0‥5]) :: init: true :: relation: MDD 184017782, 12 edges, 5 vertices, 9 tuples
17.07/6.41	c 05:22:13.723 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17905. 'extension(5, wk[26][2]=[0‥1]) :: init: true :: relation: MDD 658135690, 6 edges, 3 vertices, 5 tuples
17.07/6.41	c 05:22:13.723 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17906. 'extension(x[19][26]=[0‥5], 5) :: init: true :: relation: MDD 994584048, 12 edges, 5 vertices, 9 tuples
17.07/6.41	c 05:22:13.724 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17944. 'extension(x[20][10]=[0‥5], 5) :: init: true :: relation: MDD 1336210565, 12 edges, 5 vertices, 9 tuples
17.07/6.41	c 05:22:13.725 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17945. 'extension(5, x[22][10]=[0‥5]) :: init: true :: relation: MDD 1336210565, 12 edges, 5 vertices, 9 tuples
17.07/6.41	c 05:22:13.727 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17982. 'extension(x[20][16]=[0‥5], 5) :: init: true :: relation: MDD 1752220610, 12 edges, 5 vertices, 9 tuples
17.07/6.41	c 05:22:13.727 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17983. 'extension(5, x[22][16]=[0‥5]) :: init: true :: relation: MDD 1752220610, 12 edges, 5 vertices, 9 tuples
17.07/6.41	c 05:22:13.729 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18020. 'extension(5, x[22][26]=[0‥5]) :: init: true :: relation: MDD 994584048, 12 edges, 5 vertices, 9 tuples
17.07/6.41	c 05:22:13.729 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18023. 'extension(5, 5) :: init: true :: relation: MDD 994584048, 12 edges, 5 vertices, 9 tuples
17.07/6.42	c 05:22:13.732 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18058. 'extension(x[21][8]=[0‥5], 5) :: init: true :: relation: MDD 1645557354, 12 edges, 5 vertices, 9 tuples
17.07/6.42	c 05:22:13.732 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18059. 'extension(5, x[23][8]=[0‥5]) :: init: true :: relation: MDD 1645557354, 12 edges, 5 vertices, 9 tuples
17.07/6.42	c 05:22:13.734 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18096. 'extension(x[21][9]=[0‥5], 5) :: init: true :: relation: MDD 1589745212, 12 edges, 5 vertices, 9 tuples
17.07/6.42	c 05:22:13.734 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18097. 'extension(5, x[23][9]=[0‥5]) :: init: true :: relation: MDD 1589745212, 12 edges, 5 vertices, 9 tuples
17.07/6.42	c 05:22:13.736 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18134. 'extension(x[21][13]=[0‥5], 5) :: init: true :: relation: MDD 376660032, 12 edges, 5 vertices, 9 tuples
17.07/6.42	c 05:22:13.737 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18172. 'extension(x[21][24]=[0‥5], 5) :: init: true :: relation: MDD 1007550632, 12 edges, 5 vertices, 9 tuples
17.07/6.42	c 05:22:13.737 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18173. 'extension(5, x[23][24]=[0‥5]) :: init: true :: relation: MDD 1007550632, 12 edges, 5 vertices, 9 tuples
17.07/6.42	c 05:22:13.740 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18210. 'extension(x[22][2]=[0‥5], 5) :: init: true :: relation: MDD 1594214614, 12 edges, 5 vertices, 9 tuples
17.07/6.42	c 05:22:13.741 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18247. 'extension(5, x[24][13]=[0‥5]) :: init: true :: relation: MDD 376660032, 12 edges, 5 vertices, 9 tuples
17.07/6.42	c 05:22:13.741 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18250. 'extension(5, 5) :: init: true :: relation: MDD 376660032, 12 edges, 5 vertices, 9 tuples
17.07/6.43	c 05:22:13.743 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18284. 'extension(x[22][23]=[0‥5], 5) :: init: true :: relation: MDD 1561005241, 12 edges, 5 vertices, 9 tuples
17.07/6.43	c 05:22:13.743 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18285. 'extension(5, x[24][23]=[0‥5]) :: init: true :: relation: MDD 1561005241, 12 edges, 5 vertices, 9 tuples
17.07/6.43	c 05:22:13.745 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18321. 'extension(x[22][29]=[0‥5], 5) :: init: true :: relation: MDD 270313690, 12 edges, 5 vertices, 9 tuples
17.07/6.43	c 05:22:13.745 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18322. 'extension(5, x[24][29]=[0‥5]) :: init: true :: relation: MDD 270313690, 12 edges, 5 vertices, 9 tuples
17.07/6.43	c 05:22:13.747 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18358. 'extension(x[22][37]=[0‥5], 5) :: init: true :: relation: MDD 917190676, 12 edges, 5 vertices, 9 tuples
17.07/6.43	c 05:22:13.747 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18359. 'extension(5, x[24][37]=[0‥5]) :: init: true :: relation: MDD 917190676, 12 edges, 5 vertices, 9 tuples
17.07/6.44	c 05:22:13.750 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18395. 'extension(5, x[25][2]=[0‥5]) :: init: true :: relation: MDD 1594214614, 12 edges, 5 vertices, 9 tuples
17.07/6.44	c 05:22:13.751 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18398. 'extension(5, 5) :: init: true :: relation: MDD 1594214614, 12 edges, 5 vertices, 9 tuples
17.07/6.44	c 05:22:13.752 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18431. 'extension(x[23][16]=[0‥5], 5) :: init: true :: relation: MDD 1752220610, 12 edges, 5 vertices, 9 tuples
17.07/6.44	c 05:22:13.752 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18432. 'extension(5, x[25][16]=[0‥5]) :: init: true :: relation: MDD 1752220610, 12 edges, 5 vertices, 9 tuples
17.07/6.44	c 05:22:13.755 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18467. 'extension(x[24][27]=[0‥5], 5) :: init: true :: relation: MDD 1973281540, 12 edges, 5 vertices, 9 tuples
17.07/6.44	c 05:22:13.756 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18502. 'extension(5, wk[22][3]=[0‥1]) :: init: true :: relation: MDD 521985523, 6 edges, 3 vertices, 5 tuples
17.07/6.44	c 05:22:13.757 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18503. 'extension(x[25][22]=[0‥5], 5) :: init: true :: relation: MDD 1651795723, 12 edges, 5 vertices, 9 tuples
17.07/6.44	c 05:22:13.757 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18504. 'extension(5, x[27][22]=[0‥5]) :: init: true :: relation: MDD 1651795723, 12 edges, 5 vertices, 9 tuples
17.07/6.44	c 05:22:13.759 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18536. 'extension(5, wk[27][3]=[0‥1]) :: init: true :: relation: MDD 1829313709, 6 edges, 3 vertices, 5 tuples
17.07/6.44	c 05:22:13.759 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18537. 'extension(5, x[27][27]=[0‥5]) :: init: true :: relation: MDD 1973281540, 12 edges, 5 vertices, 9 tuples
17.07/6.44	c 05:22:13.759 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18539. 'extension(5, 5) :: init: true :: relation: MDD 1973281540, 12 edges, 5 vertices, 9 tuples
17.07/6.44	c 05:22:13.761 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18570. 'extension(5, wk[34][3]=[0‥1]) :: init: true :: relation: MDD 556151572, 6 edges, 3 vertices, 5 tuples
17.07/6.44	c 05:22:13.761 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18571. 'extension(x[25][34]=[0‥5], 5) :: init: true :: relation: MDD 2077150966, 12 edges, 5 vertices, 9 tuples
17.07/6.45	c 05:22:13.762 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18604. 'extension(5, wk[9][3]=[0‥1]) :: init: true :: relation: MDD 540876179, 6 edges, 3 vertices, 5 tuples
17.07/6.45	c 05:22:13.763 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18605. 'extension(x[26][9]=[0‥5], 5) :: init: true :: relation: MDD 1589745212, 12 edges, 5 vertices, 9 tuples
17.07/6.45	c 05:22:13.763 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18606. 'extension(5, x[26][9]=[0‥5]) :: init: true :: relation: MDD 1406763631, 6 edges, 3 vertices, 5 tuples
17.07/6.45	c 05:22:13.764 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18634. 'extension(5, wk[23][3]=[0‥1]) :: init: true :: relation: MDD 1246238504, 6 edges, 3 vertices, 5 tuples
17.07/6.45	c 05:22:13.764 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18635. 'extension(x[26][23]=[0‥5], 5) :: init: true :: relation: MDD 1561005241, 12 edges, 5 vertices, 9 tuples
17.07/6.45	c 05:22:13.765 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18636. 'extension(5, x[26][23]=[0‥5]) :: init: true :: relation: MDD 1437977899, 6 edges, 3 vertices, 5 tuples
17.07/6.45	c 05:22:13.766 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18664. 'extension(5, wk[28][3]=[0‥1]) :: init: true :: relation: MDD 1829496747, 6 edges, 3 vertices, 5 tuples
17.07/6.45	c 05:22:13.766 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18665. 'extension(x[26][28]=[0‥5], 5) :: init: true :: relation: MDD 1037793103, 12 edges, 5 vertices, 9 tuples
17.07/6.45	c 05:22:13.766 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18666. 'extension(5, x[26][28]=[0‥5]) :: init: true :: relation: MDD 1730062079, 6 edges, 3 vertices, 5 tuples
17.07/6.45	c 05:22:13.768 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18694. 'extension(5, wk[34][3]=[0‥1]) :: init: true :: relation: MDD 1251133097, 6 edges, 3 vertices, 5 tuples
17.07/6.45	c 05:22:13.768 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18695. 'extension(5, 5) :: init: true :: relation: MDD 2077150966, 12 edges, 5 vertices, 9 tuples
17.07/6.45	c 05:22:13.768 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18696. 'extension(5, 5) :: init: true :: relation: MDD 2010426450, 6 edges, 3 vertices, 5 tuples
17.07/6.47	c 05:22:13.782 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18805. 'extension(x[1][29]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.47	c 05:22:13.782 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18807. 'extension(x[1][29]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.47	c 05:22:13.782 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18813. 'extension(x[1][38]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.47	c 05:22:13.783 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18815. 'extension(x[1][38]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.47	c 05:22:13.783 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18821. 'extension(x[0][6]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.47	c 05:22:13.783 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18823. 'extension(x[2][6]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.47	c 05:22:13.784 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18835. 'extension(x[0][15]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.47	c 05:22:13.784 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18839. 'extension(x[0][25]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.47	c 05:22:13.784 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18841. 'extension(x[2][25]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.47	c 05:22:13.785 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18853. 'extension(x[1][5]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.47	c 05:22:13.786 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18859. 'extension(x[3][15]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.47	c 05:22:13.786 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18873. 'extension(x[1][20]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.47	c 05:22:13.787 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18875. 'extension(x[3][20]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.47	c 05:22:13.788 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18889. 'extension(x[1][36]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.47	c 05:22:13.788 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18891. 'extension(x[3][36]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.47	c 05:22:13.789 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18905. 'extension(x[2][0]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.47	c 05:22:13.789 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18907. 'extension(x[4][0]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.47	c 05:22:13.790 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18921. 'extension(x[4][5]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.47	c 05:22:13.790 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18935. 'extension(x[2][10]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.47	c 05:22:13.791 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18937. 'extension(x[4][10]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.48	c 05:22:13.791 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18951. 'extension(x[2][12]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.48	c 05:22:13.792 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18957. 'extension(x[2][18]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.48	c 05:22:13.792 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18959. 'extension(x[4][18]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.48	c 05:22:13.793 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18973. 'extension(x[2][37]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.48	c 05:22:13.793 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18975. 'extension(x[4][37]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.48	c 05:22:13.794 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18989. 'extension(x[5][12]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.48	c 05:22:13.795 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19003. 'extension(x[3][17]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.48	c 05:22:13.795 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19009. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
17.07/6.48	c 05:22:13.795 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19011. 'extension(x[4][14]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.48	c 05:22:13.796 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19013. 'extension(x[6][14]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.48	c 05:22:13.796 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19027. 'extension(wk[17][0]=[0‥1]) :: init: true :: relation: Empty MDD
17.07/6.48	c 05:22:13.797 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19029. 'extension(x[6][17]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.48	c 05:22:13.798 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19043. 'extension(wk[32][0]=[0‥1]) :: init: true :: relation: Empty MDD
17.07/6.48	c 05:22:13.798 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19045. 'extension(x[4][32]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.48	c 05:22:13.798 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19047. 'extension(x[6][32]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.48	c 05:22:13.799 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19061. 'extension(wk[31][0]=[0‥1]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.799 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19063. 'extension(x[5][31]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.799 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19069. 'extension(x[6][0]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.800 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19071. 'extension(x[8][0]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.801 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19085. 'extension(x[6][8]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.801 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19087. 'extension(x[8][8]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.802 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19101. 'extension(x[6][11]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.802 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19107. 'extension(x[8][31]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.803 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19121. 'extension(x[6][39]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.803 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19123. 'extension(x[8][39]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.804 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19137. 'extension(x[9][11]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.805 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19151. 'extension(x[7][14]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.805 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19153. 'extension(x[9][14]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.806 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19167. 'extension(x[7][19]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.806 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19173. 'extension(x[7][32]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.806 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19175. 'extension(x[9][32]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.807 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19189. 'extension(x[7][33]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.808 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19195. 'extension(x[10][19]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.809 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19209. 'extension(x[10][33]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.809 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19223. 'extension(x[8][38]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.810 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19225. 'extension(x[10][38]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.810 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19239. 'extension(x[9][7]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.811 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19245. 'extension(x[10][3]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.811 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19251. 'extension(x[10][6]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.49	c 05:22:13.811 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19253. 'extension(x[12][6]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.50	c 05:22:13.812 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19267. 'extension(x[12][7]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.50	c 05:22:13.813 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19281. 'extension(x[10][18]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.50	c 05:22:13.813 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19283. 'extension(x[12][18]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.50	c 05:22:13.814 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19297. 'extension(x[10][22]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.50	c 05:22:13.814 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19299. 'extension(x[12][22]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.50	c 05:22:13.815 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19313. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.07/6.50	c 05:22:13.815 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19315. 'extension(x[13][3]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.50	c 05:22:13.816 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19329. 'extension(wk[4][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.07/6.50	c 05:22:13.816 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19331. 'extension(x[11][4]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.50	c 05:22:13.817 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19337. 'extension(wk[21][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.07/6.50	c 05:22:13.817 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19339. 'extension(x[11][21]=[0‥5]) :: init: true :: relation: Empty MDD
17.07/6.50	c 05:22:13.817 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19341. 'extension(x[13][21]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.50	c 05:22:13.819 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19355. 'extension(wk[25][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.39/6.50	c 05:22:13.819 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19357. 'extension(x[11][25]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.50	c 05:22:13.819 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19359. 'extension(x[13][25]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.50	c 05:22:13.820 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19373. 'extension(wk[4][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.39/6.50	c 05:22:13.820 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19375. 'extension(x[14][4]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.50	c 05:22:13.821 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19389. 'extension(wk[28][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.39/6.50	c 05:22:13.821 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19391. 'extension(x[12][28]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.50	c 05:22:13.821 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19393. 'extension(x[14][28]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.51	c 05:22:13.822 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19407. 'extension(x[13][1]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.51	c 05:22:13.822 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19413. 'extension(x[13][20]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.51	c 05:22:13.823 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19415. 'extension(x[15][20]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.51	c 05:22:13.824 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19429. 'extension(x[13][30]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.51	c 05:22:13.824 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19435. 'extension(x[13][35]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.51	c 05:22:13.824 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19441. 'extension(x[16][1]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.51	c 05:22:13.825 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19455. 'extension(x[16][30]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.51	c 05:22:13.826 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19469. 'extension(x[16][35]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.51	c 05:22:13.827 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19483. 'extension(x[15][24]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.51	c 05:22:13.827 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19485. 'extension(x[17][24]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.51	c 05:22:13.828 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19499. 'extension(x[17][36]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.51	c 05:22:13.828 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19501. 'extension(x[19][36]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.51	c 05:22:13.829 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19515. 'extension(wk[21][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.39/6.51	c 05:22:13.829 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19517. 'extension(x[18][21]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.51	c 05:22:13.829 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19519. 'extension(x[20][21]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.51	c 05:22:13.830 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19533. 'extension(wk[39][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.39/6.51	c 05:22:13.831 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19535. 'extension(x[18][39]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.51	c 05:22:13.831 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19537. 'extension(x[20][39]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.52	c 05:22:13.835 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19551. 'extension(wk[26][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.39/6.52	c 05:22:13.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19553. 'extension(x[19][26]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.52	c 05:22:13.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19559. 'extension(x[20][10]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.52	c 05:22:13.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19561. 'extension(x[22][10]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.52	c 05:22:13.837 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19575. 'extension(x[20][16]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.52	c 05:22:13.838 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19577. 'extension(x[22][16]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.52	c 05:22:13.838 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19591. 'extension(x[22][26]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.52	c 05:22:13.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19605. 'extension(x[21][8]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.52	c 05:22:13.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19607. 'extension(x[23][8]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.52	c 05:22:13.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19621. 'extension(x[21][9]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.52	c 05:22:13.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19623. 'extension(x[23][9]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.52	c 05:22:13.841 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19637. 'extension(x[21][13]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.53	c 05:22:13.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19643. 'extension(x[21][24]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.53	c 05:22:13.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19645. 'extension(x[23][24]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.53	c 05:22:13.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19659. 'extension(x[22][2]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.53	c 05:22:13.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19665. 'extension(x[24][13]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.53	c 05:22:13.844 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19679. 'extension(x[22][23]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.53	c 05:22:13.844 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19681. 'extension(x[24][23]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.53	c 05:22:13.845 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19695. 'extension(x[22][29]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.53	c 05:22:13.845 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19697. 'extension(x[24][29]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.53	c 05:22:13.846 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19711. 'extension(x[22][37]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.53	c 05:22:13.846 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19713. 'extension(x[24][37]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.53	c 05:22:13.847 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19727. 'extension(x[25][2]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.53	c 05:22:13.848 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19741. 'extension(x[23][16]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.53	c 05:22:13.848 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19743. 'extension(x[25][16]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.53	c 05:22:13.849 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19757. 'extension(x[24][27]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.53	c 05:22:13.849 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19763. 'extension(wk[22][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.39/6.53	c 05:22:13.849 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19765. 'extension(x[25][22]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.53	c 05:22:13.850 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19767. 'extension(x[27][22]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.53	c 05:22:13.850 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19779. 'extension(wk[27][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.39/6.53	c 05:22:13.851 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19781. 'extension(x[27][27]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.53	c 05:22:13.851 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19793. 'extension(wk[34][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.39/6.54	c 05:22:13.851 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19795. 'extension(x[25][34]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.54	c 05:22:13.852 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19801. 'extension(wk[9][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.39/6.54	c 05:22:13.852 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19803. 'extension(x[26][9]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.54	c 05:22:13.852 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19805. 'extension(x[26][9]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.54	c 05:22:13.853 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19811. 'extension(wk[23][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.39/6.54	c 05:22:13.853 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19813. 'extension(x[26][23]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.54	c 05:22:13.853 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19815. 'extension(x[26][23]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.54	c 05:22:13.853 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19821. 'extension(wk[28][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.39/6.54	c 05:22:13.854 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19823. 'extension(x[26][28]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.54	c 05:22:13.854 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19825. 'extension(x[26][28]=[0‥5]) :: init: true :: relation: Empty MDD
17.39/6.54	c 05:22:13.854 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19831. 'extension(wk[34][3]=[0‥1]) :: init: true :: relation: Empty MDD
2520.07/2454.01	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.07/2454.01		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.07/2454.01		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.07/2454.01		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.07/2454.01		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.07/2454.01		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.07/2454.01		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.07/2454.01		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.07/2454.01		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.07/2454.01		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.07/2454.01		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.07/2454.01		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.07/2454.01		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.07/2454.01		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.07/2454.01		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.07/2454.01		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.07/2454.01		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.07/2454.01		at scala.Option.map(Option.scala:146)
2520.07/2454.01		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.07/2454.01		at concrete.MAC.mac(MAC.scala:203)
2520.07/2454.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.07/2454.01		at scala.util.Try$.apply(Try.scala:209)
2520.07/2454.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.07/2454.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.07/2454.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.07/2454.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.07/2454.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.07/2454.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.07/2454.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.07/2454.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.07/2454.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.07/2454.01		at concrete.MAC.oneRun(MAC.scala:253)
2520.07/2454.01		at concrete.MAC.nextSolution(MAC.scala:272)
2520.07/2454.01		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.07/2454.01		at concrete.ProblemState.map(ProblemState.scala:221)
2520.07/2454.01		at concrete.ProblemState.map(ProblemState.scala:204)
2520.07/2454.01		at concrete.MAC.nextSolution(MAC.scala:334)
2520.07/2454.01		at concrete.Solver.hasNext(Solver.scala:166)
2520.07/2454.01		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.07/2454.01		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.07/2454.01		at concrete.Solver.foreach(Solver.scala:68)
2520.07/2454.01		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.07/2454.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.07/2454.01		at scala.util.Success.map(Try.scala:209)
2520.07/2454.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.07/2454.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.07/2454.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.07/2454.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.07/2454.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.07/2454.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.07/2454.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.07/2454.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.07/2454.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.07/2454.01		at scala.collection.immutable.List.foreach(List.scala:389)
2520.07/2454.01		at scala.App.main(App.scala:76)
2520.07/2454.01		at scala.App.main$(App.scala:74)
2520.07/2454.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.07/2454.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2454.03	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10269 MiB free)
  memory of node 1: 16384 MiB (5273 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304171-1534044127/watcher-4304171-1534044127 -o /tmp/evaluation-result-4304171-1534044127/solver-4304171-1534044127 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534039158-26715 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1356772043 HOME/instance-4304171-1534044127.xml 

running on 4 cores: 0,2,4,6

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=27655, runsolver pid=27652

[startup+0.101768 s]*
/proc/loadavg: 1.41 1.42 1.41 3/206 27712
/proc/meminfo: memFree=15908132/32770624 swapFree=67108844/67108860
[pid=27655] ppid=27652 vsize=10005480 memory=16692 CPUtime=0.08 cores=0,2,4,6
/proc/27655/stat : 27655 (java) S 27652 27655 25584 0 -1 1077944320 4311 13086 0 0 1 0 5 2 20 0 6 0 221975846 10245611520 4173 33554432000 4194304 4196468 140727034645968 140727034628512 139670152429303 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
/proc/27655/statm: 2501370 4173 1934 1 0 2489808 0
[pid=27655/tid=27708] ppid=27652 vsize=10005480 memory=4279135703946986381 CPUtime=0.08 cores=0,2,4,6
/proc/27655/task/27708/stat : 27708 (java) R 27652 27655 25584 0 -1 4202560 2114 13086 0 0 1 0 5 2 20 0 6 0 221975856 10245611520 4173 33554432000 4194304 4196468 140727034645968 139670124266064 139670137552240 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27709] ppid=27652 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27709/stat : 27709 (java) S 27652 27655 25584 0 -1 1077944384 1 13086 0 0 0 0 5 2 20 0 6 0 221975856 10245611520 4173 33554432000 4194304 4196468 140727034645968 139670156671248 139670152439509 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27710] ppid=27652 vsize=10005480 memory=139939842905728 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27710/stat : 27710 (java) S 27652 27655 25584 0 -1 1077944384 1 13086 0 0 0 0 5 2 20 0 6 0 221975856 10245611520 4173 33554432000 4194304 4196468 140727034645968 139669692352912 139670152439509 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27711] ppid=27652 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27711/stat : 27711 (java) S 27652 27655 25584 0 -1 1077944384 2 13086 0 0 0 0 5 2 20 0 6 0 221975856 10245611520 4173 33554432000 4194304 4196468 140727034645968 139669691300368 139670152439509 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27712] ppid=27652 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27712/stat : 27712 (java) S 27652 27655 25584 0 -1 1077944384 2 13086 0 0 0 0 5 2 20 0 6 0 221975856 10245611520 4173 33554432000 4194304 4196468 140727034645968 139669690247824 139670152439509 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16692 KiB

[startup+0.210954 s]*
/proc/loadavg: 1.41 1.42 1.41 2/215 27721
/proc/meminfo: memFree=15887468/32770624 swapFree=67108844/67108860
[pid=27655] ppid=27652 vsize=10982696 memory=43724 CPUtime=0.26 cores=0,2,4,6
/proc/27655/stat : 27655 (java) S 27652 27655 25584 0 -1 1077944320 8340 13086 0 0 17 2 5 2 20 0 15 0 221975846 11246280704 10931 33554432000 4194304 4196468 140727034645968 140727034628512 139670152429303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
/proc/27655/statm: 2745674 10931 2934 1 0 2708109 0
[pid=27655/tid=27708] ppid=27652 vsize=10982696 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/27655/task/27708/stat : 27708 (java) R 27652 27655 25584 0 -1 4202560 4794 13086 0 0 10 1 5 2 20 0 15 0 221975856 11246280704 10931 33554432000 4194304 4196468 140727034645968 139670124226432 139670135616129 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27709] ppid=27652 vsize=10982696 memory=342 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27709/stat : 27709 (java) S 27652 27655 25584 0 -1 1077944384 1 13086 0 0 0 0 5 2 20 0 15 0 221975856 11246280704 10931 33554432000 4194304 4196468 140727034645968 139670156671248 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27710] ppid=27652 vsize=10982696 memory=288370315994617472 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27710/stat : 27710 (java) S 27652 27655 25584 0 -1 1077944384 1 13086 0 0 0 0 5 2 20 0 15 0 221975856 11246280704 10931 33554432000 4194304 4196468 140727034645968 139669692352912 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27711] ppid=27652 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27711/stat : 27711 (java) S 27652 27655 25584 0 -1 1077944384 2 13086 0 0 0 0 5 2 20 0 15 0 221975856 11246280704 10931 33554432000 4194304 4196468 140727034645968 139669691300368 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27712] ppid=27652 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27712/stat : 27712 (java) S 27652 27655 25584 0 -1 1077944384 2 13086 0 0 0 0 5 2 20 0 15 0 221975856 11246280704 10931 33554432000 4194304 4196468 140727034645968 139669690247824 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27713] ppid=27652 vsize=10982696 memory=139939842905728 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27713/stat : 27713 (java) S 27652 27655 25584 0 -1 1077944384 2 13086 0 0 0 0 5 2 20 0 15 0 221975858 11246280704 10931 33554432000 4194304 4196468 140727034645968 139669578410480 139670152440450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27714] ppid=27652 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27714/stat : 27714 (java) S 27652 27655 25584 0 -1 1077944384 13 13086 0 0 0 0 5 2 20 0 15 0 221975858 11246280704 10931 33554432000 4194304 4196468 140727034645968 139668981015968 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27715] ppid=27652 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27715/stat : 27715 (java) S 27652 27655 25584 0 -1 1077944384 1 13086 0 0 0 0 5 2 20 0 15 0 221975858 11246280704 10931 33554432000 4194304 4196468 140727034645968 139668779689456 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27716] ppid=27652 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27716/stat : 27716 (java) S 27652 27655 25584 0 -1 1077944384 3 13086 0 0 0 0 5 2 20 0 15 0 221975861 11246280704 10931 33554432000 4194304 4196468 140727034645968 139668472290000 139670152447899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27717] ppid=27652 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27655/task/27717/stat : 27717 (java) S 27652 27655 25584 0 -1 1077944384 441 13086 0 0 1 0 5 2 20 0 15 0 221975861 11246280704 10931 33554432000 4194304 4196468 140727034645968 139669577357296 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27718] ppid=27652 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27655/task/27718/stat : 27718 (java) S 27652 27655 25584 0 -1 1077944384 197 13086 0 0 1 0 5 2 20 0 15 0 221975861 11246280704 10931 33554432000 4194304 4196468 140727034645968 139669576304752 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27719] ppid=27652 vsize=10982696 memory=139939842905728 CPUtime=0.1 cores=0,2,4,6
/proc/27655/task/27719/stat : 27719 (java) S 27652 27655 25584 0 -1 1077944384 688 13086 0 0 3 0 5 2 20 0 15 0 221975861 11246280704 10931 33554432000 4194304 4196468 140727034645968 139669575252208 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27720] ppid=27652 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27720/stat : 27720 (java) S 27652 27655 25584 0 -1 1077944384 3 13086 0 0 0 0 5 2 20 0 15 0 221975861 11246280704 10931 33554432000 4194304 4196468 140727034645968 139668041493088 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27721] ppid=27652 vsize=10982696 memory=139939842905728 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27721/stat : 27721 (java) S 27652 27655 25584 0 -1 1077944384 1 13086 0 0 0 0 5 2 20 0 15 0 221975862 11246280704 10931 33554432000 4194304 4196468 140727034645968 139669574200112 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 43724 KiB

[startup+0.310529 s]*
/proc/loadavg: 1.41 1.42 1.41 3/215 27721
/proc/meminfo: memFree=15876320/32770624 swapFree=67108844/67108860
[pid=27655] ppid=27652 vsize=10983192 memory=55156 CPUtime=0.38 cores=0,2,4,6
/proc/27655/stat : 27655 (java) S 27652 27655 25584 0 -1 1077944320 10337 13086 0 0 29 2 5 2 20 0 15 0 221975846 11246788608 13789 33554432000 4194304 4196468 140727034645968 140727034628512 139670152429303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
/proc/27655/statm: 2745798 13789 3095 1 0 2708109 0
[pid=27655/tid=27708] ppid=27652 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/27655/task/27708/stat : 27708 (java) R 27652 27655 25584 0 -1 4202560 6777 13086 0 0 19 2 5 2 20 0 15 0 221975856 11246788608 13789 33554432000 4194304 4196468 140727034645968 139670124241312 139670132705052 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27709] ppid=27652 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27709/stat : 27709 (java) S 27652 27655 25584 0 -1 1077944384 1 13086 0 0 0 0 5 2 20 0 15 0 221975856 11246788608 13789 33554432000 4194304 4196468 140727034645968 139670156671248 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27710] ppid=27652 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27710/stat : 27710 (java) S 27652 27655 25584 0 -1 1077944384 1 13086 0 0 0 0 5 2 20 0 15 0 221975856 11246788608 13789 33554432000 4194304 4196468 140727034645968 139669692352912 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27711] ppid=27652 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27711/stat : 27711 (java) S 27652 27655 25584 0 -1 1077944384 2 13086 0 0 0 0 5 2 20 0 15 0 221975856 11246788608 13789 33554432000 4194304 4196468 140727034645968 139669691300368 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27712] ppid=27652 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27712/stat : 27712 (java) S 27652 27655 25584 0 -1 1077944384 2 13086 0 0 0 0 5 2 20 0 15 0 221975856 11246788608 13789 33554432000 4194304 4196468 140727034645968 139669690247824 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27713] ppid=27652 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27713/stat : 27713 (java) S 27652 27655 25584 0 -1 1077944384 2 13086 0 0 0 0 5 2 20 0 15 0 221975858 11246788608 13789 33554432000 4194304 4196468 140727034645968 139669578410480 139670152440450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27714] ppid=27652 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27714/stat : 27714 (java) S 27652 27655 25584 0 -1 1077944384 13 13086 0 0 0 0 5 2 20 0 15 0 221975858 11246788608 13789 33554432000 4194304 4196468 140727034645968 139668981015968 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27715] ppid=27652 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27715/stat : 27715 (java) S 27652 27655 25584 0 -1 1077944384 1 13086 0 0 0 0 5 2 20 0 15 0 221975858 11246788608 13789 33554432000 4194304 4196468 140727034645968 139668779689456 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27716] ppid=27652 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27716/stat : 27716 (java) S 27652 27655 25584 0 -1 1077944384 3 13086 0 0 0 0 5 2 20 0 15 0 221975861 11246788608 13789 33554432000 4194304 4196468 140727034645968 139668472290000 139670152447899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27717] ppid=27652 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27655/task/27717/stat : 27717 (java) S 27652 27655 25584 0 -1 1077944384 442 13086 0 0 1 0 5 2 20 0 15 0 221975861 11246788608 13789 33554432000 4194304 4196468 140727034645968 139669577357296 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27718] ppid=27652 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27655/task/27718/stat : 27718 (java) S 27652 27655 25584 0 -1 1077944384 203 13086 0 0 1 0 5 2 20 0 15 0 221975861 11246788608 13789 33554432000 4194304 4196468 140727034645968 139669576304752 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27719] ppid=27652 vsize=10983192 memory=139939842905728 CPUtime=0.12 cores=0,2,4,6
/proc/27655/task/27719/stat : 27719 (java) S 27652 27655 25584 0 -1 1077944384 716 13086 0 0 5 0 5 2 20 0 15 0 221975861 11246788608 13789 33554432000 4194304 4196468 140727034645968 139669575252208 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27720] ppid=27652 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27720/stat : 27720 (java) S 27652 27655 25584 0 -1 1077944384 3 13086 0 0 0 0 5 2 20 0 15 0 221975861 11246788608 13789 33554432000 4194304 4196468 140727034645968 139668041493088 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27721] ppid=27652 vsize=10983192 memory=139939842905728 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27721/stat : 27721 (java) S 27652 27655 25584 0 -1 1077944384 1 13086 0 0 0 0 5 2 20 0 15 0 221975862 11246788608 13789 33554432000 4194304 4196468 140727034645968 139669574200112 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55156 KiB

[startup+0.700805 s]
/proc/loadavg: 1.38 1.41 1.41 3/215 27721
/proc/meminfo: memFree=15865280/32770624 swapFree=67108844/67108860
[pid=27655] ppid=27652 vsize=10983192 memory=88400 CPUtime=0.98 cores=0,2,4,6
/proc/27655/stat : 27655 (java) S 27652 27655 25584 0 -1 1077944320 16737 13086 0 0 87 4 5 2 20 0 15 0 221975846 11246788608 22100 33554432000 4194304 4196468 140727034645968 140727034628512 139670152429303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
/proc/27655/statm: 2745798 22100 3246 1 0 2708109 0
[pid=27655/tid=27708] ppid=27652 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/27655/task/27708/stat : 27708 (java) R 27652 27655 25584 0 -1 4202560 12071 13086 0 0 56 3 5 2 20 0 15 0 221975856 11246788608 22100 33554432000 4194304 4196468 140727034645968 139670124224088 139670136509790 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27709] ppid=27652 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27709/stat : 27709 (java) S 27652 27655 25584 0 -1 1077944384 1 13086 0 0 0 0 5 2 20 0 15 0 221975856 11246788608 22100 33554432000 4194304 4196468 140727034645968 139670156671248 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27710] ppid=27652 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27710/stat : 27710 (java) S 27652 27655 25584 0 -1 1077944384 1 13086 0 0 0 0 5 2 20 0 15 0 221975856 11246788608 22100 33554432000 4194304 4196468 140727034645968 139669692352912 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27711] ppid=27652 vsize=10983192 memory=139939698324240 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27711/stat : 27711 (java) S 27652 27655 25584 0 -1 1077944384 2 13086 0 0 0 0 5 2 20 0 15 0 221975856 11246788608 22100 33554432000 4194304 4196468 140727034645968 139669691300368 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27712] ppid=27652 vsize=10983192 memory=139942919406164 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27712/stat : 27712 (java) S 27652 27655 25584 0 -1 1077944384 2 13086 0 0 0 0 5 2 20 0 15 0 221975856 11246788608 22100 33554432000 4194304 4196468 140727034645968 139669690247824 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27713] ppid=27652 vsize=10983192 memory=5776 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27713/stat : 27713 (java) S 27652 27655 25584 0 -1 1077944384 5 13086 0 0 0 0 5 2 20 0 15 0 221975858 11246788608 22100 33554432000 4194304 4196468 140727034645968 139669578410480 139670152440450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27714] ppid=27652 vsize=10983192 memory=7662705889289527641 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27714/stat : 27714 (java) S 27652 27655 25584 0 -1 1077944384 13 13086 0 0 0 0 5 2 20 0 15 0 221975858 11246788608 22100 33554432000 4194304 4196468 140727034645968 139668981015968 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27715] ppid=27652 vsize=10983192 memory=6082220498109623144 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27715/stat : 27715 (java) S 27652 27655 25584 0 -1 1077944384 1 13086 0 0 0 0 5 2 20 0 15 0 221975858 11246788608 22100 33554432000 4194304 4196468 140727034645968 139668779689456 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27716] ppid=27652 vsize=10983192 memory=12708 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27716/stat : 27716 (java) S 27652 27655 25584 0 -1 1077944384 3 13086 0 0 0 0 5 2 20 0 15 0 221975861 11246788608 22100 33554432000 4194304 4196468 140727034645968 139668472290000 139670152447899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27717] ppid=27652 vsize=10983192 memory=33216 CPUtime=0.14 cores=0,2,4,6
/proc/27655/task/27717/stat : 27717 (java) S 27652 27655 25584 0 -1 1077944384 730 13086 0 0 7 0 5 2 20 0 15 0 221975861 11246788608 22100 33554432000 4194304 4196468 140727034645968 139669577357296 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27718] ppid=27652 vsize=10983192 memory=2324 CPUtime=0.16 cores=0,2,4,6
/proc/27655/task/27718/stat : 27718 (java) S 27652 27655 25584 0 -1 1077944384 841 13086 0 0 9 0 5 2 20 0 15 0 221975861 11246788608 22100 33554432000 4194304 4196468 140727034645968 139669576304752 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27719] ppid=27652 vsize=10983192 memory=1584 CPUtime=0.2 cores=0,2,4,6
/proc/27655/task/27719/stat : 27719 (java) S 27652 27655 25584 0 -1 1077944384 873 13086 0 0 13 0 5 2 20 0 15 0 221975861 11246788608 22100 33554432000 4194304 4196468 140727034645968 139669575252208 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27720] ppid=27652 vsize=10983192 memory=496 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27720/stat : 27720 (java) S 27652 27655 25584 0 -1 1077944384 3 13086 0 0 0 0 5 2 20 0 15 0 221975861 11246788608 22100 33554432000 4194304 4196468 140727034645968 139668041493088 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27721] ppid=27652 vsize=10983192 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27721/stat : 27721 (java) S 27652 27655 25584 0 -1 1077944384 1 13086 0 0 0 0 5 2 20 0 15 0 221975862 11246788608 22100 33554432000 4194304 4196468 140727034645968 139669574200112 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88400 KiB

[startup+1.50125 s]
/proc/loadavg: 1.38 1.41 1.41 3/215 27721
/proc/meminfo: memFree=15815968/32770624 swapFree=67108844/67108860
[pid=27655] ppid=27652 vsize=10991948 memory=167648 CPUtime=3.2 cores=0,2,4,6
/proc/27655/stat : 27655 (java) S 27652 27655 25584 0 -1 1077944320 24351 13086 0 0 304 9 5 2 20 0 15 0 221975846 11255754752 41912 33554432000 4194304 4196468 140727034645968 140727034628512 139670152429303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
/proc/27655/statm: 2747987 41912 3450 1 0 2709645 0
[pid=27655/tid=27708] ppid=27652 vsize=10991948 memory=64504 CPUtime=1.45 cores=0,2,4,6
/proc/27655/task/27708/stat : 27708 (java) R 27652 27655 25584 0 -1 4202560 14807 13086 0 0 133 5 5 2 20 0 15 0 221975856 11255754752 41912 33554432000 4194304 4196468 140727034645968 139670124254688 139670134836319 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27709] ppid=27652 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27709/stat : 27709 (java) S 27652 27655 25584 0 -1 1077944384 1 13086 0 0 0 0 5 2 20 0 15 0 221975856 11255754752 41912 33554432000 4194304 4196468 140727034645968 139670156671248 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27710] ppid=27652 vsize=10991948 memory=279879396679840 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27710/stat : 27710 (java) S 27652 27655 25584 0 -1 1077944384 1 13086 0 0 0 0 5 2 20 0 15 0 221975856 11255754752 41912 33554432000 4194304 4196468 140727034645968 139669692352912 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27711] ppid=27652 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27711/stat : 27711 (java) S 27652 27655 25584 0 -1 1077944384 2 13086 0 0 0 0 5 2 20 0 15 0 221975856 11255754752 41912 33554432000 4194304 4196468 140727034645968 139669691300368 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27712] ppid=27652 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27712/stat : 27712 (java) S 27652 27655 25584 0 -1 1077944384 2 13086 0 0 0 0 5 2 20 0 15 0 221975856 11255754752 41912 33554432000 4194304 4196468 140727034645968 139669690247824 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27713] ppid=27652 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27713/stat : 27713 (java) S 27652 27655 25584 0 -1 1077944384 6 13086 0 0 0 0 5 2 20 0 15 0 221975858 11255754752 41912 33554432000 4194304 4196468 140727034645968 139669578410480 139670152440450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27714] ppid=27652 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27714/stat : 27714 (java) S 27652 27655 25584 0 -1 1077944384 13 13086 0 0 0 0 5 2 20 0 15 0 221975858 11255754752 41912 33554432000 4194304 4196468 140727034645968 139668981015968 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27715] ppid=27652 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27715/stat : 27715 (java) S 27652 27655 25584 0 -1 1077944384 1 13086 0 0 0 0 5 2 20 0 15 0 221975858 11255754752 41912 33554432000 4194304 4196468 140727034645968 139668779689456 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27716] ppid=27652 vsize=10991948 memory=-2746958450906831424 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27716/stat : 27716 (java) S 27652 27655 25584 0 -1 1077944384 3 13086 0 0 0 0 5 2 20 0 15 0 221975861 11255754752 41912 33554432000 4194304 4196468 140727034645968 139668472290000 139670152447899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27717] ppid=27652 vsize=10991948 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/27655/task/27717/stat : 27717 (java) R 27652 27655 25584 0 -1 4202560 2187 13086 0 0 58 0 5 2 20 0 15 0 221975861 11255754752 41912 33554432000 4194304 4196468 140727034645968 139669577343936 139670136719289 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27718] ppid=27652 vsize=10991948 memory=10 CPUtime=0.67 cores=0,2,4,6
/proc/27655/task/27718/stat : 27718 (java) R 27652 27655 25584 0 -1 4202560 3001 13086 0 0 59 1 5 2 20 0 15 0 221975861 11255754752 41912 33554432000 4194304 4196468 140727034645968 139669576289792 139670138443627 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27719] ppid=27652 vsize=10991948 memory=6791534058613427641 CPUtime=0.6 cores=0,2,4,6
/proc/27655/task/27719/stat : 27719 (java) S 27652 27655 25584 0 -1 1077944384 2132 13086 0 0 52 1 5 2 20 0 15 0 221975861 11255754752 41912 33554432000 4194304 4196468 140727034645968 139669575252208 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27720] ppid=27652 vsize=10991948 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27720/stat : 27720 (java) S 27652 27655 25584 0 -1 1077944384 3 13086 0 0 0 0 5 2 20 0 15 0 221975861 11255754752 41912 33554432000 4194304 4196468 140727034645968 139668041493088 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27721] ppid=27652 vsize=10991948 memory=279879396924288 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27721/stat : 27721 (java) S 27652 27655 25584 0 -1 1077944384 1 13086 0 0 0 0 5 2 20 0 15 0 221975862 11255754752 41912 33554432000 4194304 4196468 140727034645968 139669574200112 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
Current children cumulated CPU time: 3.2 s
Current children cumulated vsize: 10991948 KiB

################
# More data... #
################

/proc/27655/task/27708/stat : 27708 (java) R 27652 27655 25584 0 -1 4202560 92832 13086 0 0 229866 51 5 2 20 0 15 0 221975856 11280941056 328565 33554432000 4194304 4196468 140727034645968 139670124263696 139669748635339 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27709] ppid=27652 vsize=11016544 memory=1314260 CPUtime=11.77 cores=0,2,4,6
/proc/27655/task/27709/stat : 27709 (java) S 27652 27655 25584 0 -1 1077944384 14565 13086 0 0 1114 56 5 2 20 0 15 0 221975856 11280941056 328565 33554432000 4194304 4196468 140727034645968 139670156671248 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27710] ppid=27652 vsize=11016544 memory=1314260 CPUtime=11.8 cores=0,2,4,6
/proc/27655/task/27710/stat : 27710 (java) S 27652 27655 25584 0 -1 1077944384 24025 13086 0 0 1121 52 5 2 20 0 15 0 221975856 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669692352912 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27711] ppid=27652 vsize=11016544 memory=1314260 CPUtime=11.83 cores=0,2,4,6
/proc/27655/task/27711/stat : 27711 (java) S 27652 27655 25584 0 -1 1077944384 20496 13086 0 0 1119 57 5 2 20 0 15 0 221975856 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669691300368 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27712] ppid=27652 vsize=11016544 memory=1314260 CPUtime=11.78 cores=0,2,4,6
/proc/27655/task/27712/stat : 27712 (java) S 27652 27655 25584 0 -1 1077944384 17571 13086 0 0 1117 54 5 2 20 0 15 0 221975856 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669690247824 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27713] ppid=27652 vsize=11016544 memory=1314260 CPUtime=8.84 cores=0,2,4,6
/proc/27655/task/27713/stat : 27713 (java) S 27652 27655 25584 0 -1 1077944384 20838 13086 0 0 831 46 5 2 20 0 15 0 221975858 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669578410480 139670152440450 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27714] ppid=27652 vsize=11016544 memory=1314260 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27714/stat : 27714 (java) S 27652 27655 25584 0 -1 1077944384 16 13086 0 0 0 0 5 2 20 0 15 0 221975858 11280941056 328565 33554432000 4194304 4196468 140727034645968 139668981016032 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27715] ppid=27652 vsize=11016544 memory=288285580272612187 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27715/stat : 27715 (java) S 27652 27655 25584 0 -1 1077944384 4 13086 0 0 0 0 5 2 20 0 15 0 221975858 11280941056 328565 33554432000 4194304 4196468 140727034645968 139668779689472 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27716] ppid=27652 vsize=11016544 memory=288285580272612187 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27716/stat : 27716 (java) S 27652 27655 25584 0 -1 1077944384 3 13086 0 0 0 0 5 2 20 0 15 0 221975861 11280941056 328565 33554432000 4194304 4196468 140727034645968 139668472290000 139670152447899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27717] ppid=27652 vsize=11016544 memory=1314260 CPUtime=12.84 cores=0,2,4,6
/proc/27655/task/27717/stat : 27717 (java) S 27652 27655 25584 0 -1 1077944384 74154 13086 0 0 1269 8 5 2 20 0 15 0 221975861 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669577357296 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27718] ppid=27652 vsize=11016544 memory=1314260 CPUtime=12.44 cores=0,2,4,6
/proc/27655/task/27718/stat : 27718 (java) S 27652 27655 25584 0 -1 1077944384 72023 13086 0 0 1230 7 5 2 20 0 15 0 221975861 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669576304752 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27719] ppid=27652 vsize=11016544 memory=1314260 CPUtime=4.98 cores=0,2,4,6
/proc/27655/task/27719/stat : 27719 (java) S 27652 27655 25584 0 -1 1077944384 72101 13086 0 0 479 12 5 2 20 0 15 0 221975861 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669575252208 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27720] ppid=27652 vsize=11016544 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27720/stat : 27720 (java) S 27652 27655 25584 0 -1 1077944384 3 13086 0 0 0 0 5 2 20 0 15 0 221975861 11280941056 328565 33554432000 4194304 4196468 140727034645968 139668041493088 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27721] ppid=27652 vsize=11016544 memory=1314260 CPUtime=1.4 cores=0,2,4,6
/proc/27655/task/27721/stat : 27721 (java) S 27652 27655 25584 0 -1 1077944384 1947 13086 0 0 65 68 5 2 20 0 15 0 221975862 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669574200112 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
Current children cumulated CPU time: 2386.41 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1314260 KiB

[startup+2382.3 s]
/proc/loadavg: 1.25 1.22 1.28 3/217 27950
/proc/meminfo: memFree=14205308/32770624 swapFree=67108844/67108860
[pid=27655] ppid=27652 vsize=11016544 memory=1314260 CPUtime=2447.31 cores=0,2,4,6
/proc/27655/stat : 27655 (java) S 27652 27655 25584 0 -1 1077944320 413984 13086 0 0 244358 366 5 2 20 0 15 0 221975846 11280941056 328565 33554432000 4194304 4196468 140727034645968 140727034628512 139670152429303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
/proc/27655/statm: 2754136 328565 3535 1 0 2715789 0
[pid=27655/tid=27708] ppid=27652 vsize=11016544 memory=1314260 CPUtime=2358.67 cores=0,2,4,6
/proc/27655/task/27708/stat : 27708 (java) R 27652 27655 25584 0 -1 4202560 93418 13086 0 0 235809 51 5 2 20 0 15 0 221975856 11280941056 328565 33554432000 4194304 4196468 140727034645968 139670124263680 139669748634500 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27709] ppid=27652 vsize=11016544 memory=56 CPUtime=12.08 cores=0,2,4,6
/proc/27655/task/27709/stat : 27709 (java) S 27652 27655 25584 0 -1 1077944384 14637 13086 0 0 1143 58 5 2 20 0 15 0 221975856 11280941056 328565 33554432000 4194304 4196468 140727034645968 139670156671248 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27710] ppid=27652 vsize=11016544 memory=1314260 CPUtime=12.11 cores=0,2,4,6
/proc/27655/task/27710/stat : 27710 (java) S 27652 27655 25584 0 -1 1077944384 24104 13086 0 0 1151 53 5 2 20 0 15 0 221975856 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669692352912 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27711] ppid=27652 vsize=11016544 memory=1314260 CPUtime=12.14 cores=0,2,4,6
/proc/27655/task/27711/stat : 27711 (java) S 27652 27655 25584 0 -1 1077944384 20551 13086 0 0 1149 58 5 2 20 0 15 0 221975856 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669691300368 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27712] ppid=27652 vsize=11016544 memory=1314260 CPUtime=12.08 cores=0,2,4,6
/proc/27655/task/27712/stat : 27712 (java) S 27652 27655 25584 0 -1 1077944384 17743 13086 0 0 1147 54 5 2 20 0 15 0 221975856 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669690247824 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27713] ppid=27652 vsize=11016544 memory=1314260 CPUtime=9.06 cores=0,2,4,6
/proc/27655/task/27713/stat : 27713 (java) S 27652 27655 25584 0 -1 1077944384 21066 13086 0 0 852 47 5 2 20 0 15 0 221975858 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669578410480 139670152440450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27714] ppid=27652 vsize=11016544 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27714/stat : 27714 (java) S 27652 27655 25584 0 -1 1077944384 16 13086 0 0 0 0 5 2 20 0 15 0 221975858 11280941056 328565 33554432000 4194304 4196468 140727034645968 139668981016032 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27715] ppid=27652 vsize=11016544 memory=1314260 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27715/stat : 27715 (java) S 27652 27655 25584 0 -1 1077944384 4 13086 0 0 0 0 5 2 20 0 15 0 221975858 11280941056 328565 33554432000 4194304 4196468 140727034645968 139668779689472 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27716] ppid=27652 vsize=11016544 memory=1314260 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27716/stat : 27716 (java) S 27652 27655 25584 0 -1 1077944384 3 13086 0 0 0 0 5 2 20 0 15 0 221975861 11280941056 328565 33554432000 4194304 4196468 140727034645968 139668472290000 139670152447899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27717] ppid=27652 vsize=11016544 memory=1314260 CPUtime=12.84 cores=0,2,4,6
/proc/27655/task/27717/stat : 27717 (java) S 27652 27655 25584 0 -1 1077944384 74156 13086 0 0 1269 8 5 2 20 0 15 0 221975861 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669577357296 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27718] ppid=27652 vsize=11016544 memory=1314260 CPUtime=12.44 cores=0,2,4,6
/proc/27655/task/27718/stat : 27718 (java) S 27652 27655 25584 0 -1 1077944384 72025 13086 0 0 1230 7 5 2 20 0 15 0 221975861 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669576304752 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27719] ppid=27652 vsize=11016544 memory=1314260 CPUtime=4.98 cores=0,2,4,6
/proc/27655/task/27719/stat : 27719 (java) S 27652 27655 25584 0 -1 1077944384 72103 13086 0 0 479 12 5 2 20 0 15 0 221975861 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669575252208 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27720] ppid=27652 vsize=11016544 memory=1314260 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27720/stat : 27720 (java) S 27652 27655 25584 0 -1 1077944384 3 13086 0 0 0 0 5 2 20 0 15 0 221975861 11280941056 328565 33554432000 4194304 4196468 140727034645968 139668041493088 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27721] ppid=27652 vsize=11016544 memory=4140 CPUtime=1.44 cores=0,2,4,6
/proc/27655/task/27721/stat : 27721 (java) S 27652 27655 25584 0 -1 1077944384 1964 13086 0 0 67 70 5 2 20 0 15 0 221975862 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669574200112 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
Current children cumulated CPU time: 2447.31 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1314260 KiB

[startup+2442.3 s]
/proc/loadavg: 1.20 1.21 1.27 3/217 27951
/proc/meminfo: memFree=14253852/32770624 swapFree=67108844/67108860
[pid=27655] ppid=27652 vsize=11016544 memory=1314260 CPUtime=2508.2 cores=0,2,4,6
/proc/27655/stat : 27655 (java) S 27652 27655 25584 0 -1 1077944320 415631 13086 0 0 250441 372 5 2 20 0 15 0 221975846 11280941056 328565 33554432000 4194304 4196468 140727034645968 140727034628512 139670152429303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
/proc/27655/statm: 2754136 328565 3535 1 0 2715789 0
[pid=27655/tid=27708] ppid=27652 vsize=11016544 memory=1314260 CPUtime=2418.07 cores=0,2,4,6
/proc/27655/task/27708/stat : 27708 (java) R 27652 27655 25584 0 -1 4202560 94125 13086 0 0 241748 52 5 2 20 0 15 0 221975856 11280941056 328565 33554432000 4194304 4196468 140727034645968 139670124264352 139669723951871 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27709] ppid=27652 vsize=11016544 memory=1314260 CPUtime=12.39 cores=0,2,4,6
/proc/27655/task/27709/stat : 27709 (java) S 27652 27655 25584 0 -1 1077944384 14795 13086 0 0 1173 59 5 2 20 0 15 0 221975856 11280941056 328565 33554432000 4194304 4196468 140727034645968 139670156671248 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27710] ppid=27652 vsize=11016544 memory=844 CPUtime=12.42 cores=0,2,4,6
/proc/27655/task/27710/stat : 27710 (java) S 27652 27655 25584 0 -1 1077944384 24194 13086 0 0 1180 55 5 2 20 0 15 0 221975856 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669692352912 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27711] ppid=27652 vsize=11016544 memory=1314260 CPUtime=12.44 cores=0,2,4,6
/proc/27655/task/27711/stat : 27711 (java) S 27652 27655 25584 0 -1 1077944384 20624 13086 0 0 1179 58 5 2 20 0 15 0 221975856 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669691300368 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27712] ppid=27652 vsize=11016544 memory=1314260 CPUtime=12.39 cores=0,2,4,6
/proc/27655/task/27712/stat : 27712 (java) S 27652 27655 25584 0 -1 1077944384 17944 13086 0 0 1176 56 5 2 20 0 15 0 221975856 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669690247824 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27713] ppid=27652 vsize=11016544 memory=1314260 CPUtime=9.3 cores=0,2,4,6
/proc/27655/task/27713/stat : 27713 (java) S 27652 27655 25584 0 -1 1077944384 21462 13086 0 0 875 48 5 2 20 0 15 0 221975858 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669578410480 139670152440450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27714] ppid=27652 vsize=11016544 memory=1314260 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27714/stat : 27714 (java) S 27652 27655 25584 0 -1 1077944384 16 13086 0 0 0 0 5 2 20 0 15 0 221975858 11280941056 328565 33554432000 4194304 4196468 140727034645968 139668981016032 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27715] ppid=27652 vsize=11016544 memory=1314260 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27715/stat : 27715 (java) S 27652 27655 25584 0 -1 1077944384 4 13086 0 0 0 0 5 2 20 0 15 0 221975858 11280941056 328565 33554432000 4194304 4196468 140727034645968 139668779689472 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27716] ppid=27652 vsize=11016544 memory=1314260 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27716/stat : 27716 (java) S 27652 27655 25584 0 -1 1077944384 3 13086 0 0 0 0 5 2 20 0 15 0 221975861 11280941056 328565 33554432000 4194304 4196468 140727034645968 139668472290000 139670152447899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27717] ppid=27652 vsize=11016544 memory=1314260 CPUtime=12.84 cores=0,2,4,6
/proc/27655/task/27717/stat : 27717 (java) S 27652 27655 25584 0 -1 1077944384 74160 13086 0 0 1269 8 5 2 20 0 15 0 221975861 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669577357296 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27718] ppid=27652 vsize=11016544 memory=1314260 CPUtime=12.44 cores=0,2,4,6
/proc/27655/task/27718/stat : 27718 (java) S 27652 27655 25584 0 -1 1077944384 72029 13086 0 0 1230 7 5 2 20 0 15 0 221975861 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669576304752 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27719] ppid=27652 vsize=11016544 memory=33256 CPUtime=4.98 cores=0,2,4,6
/proc/27655/task/27719/stat : 27719 (java) S 27652 27655 25584 0 -1 1077944384 72107 13086 0 0 479 12 5 2 20 0 15 0 221975861 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669575252208 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27720] ppid=27652 vsize=11016544 memory=1314260 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27720/stat : 27720 (java) S 27652 27655 25584 0 -1 1077944384 3 13086 0 0 0 0 5 2 20 0 15 0 221975861 11280941056 328565 33554432000 4194304 4196468 140727034645968 139668041493088 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27721] ppid=27652 vsize=11016544 memory=4140 CPUtime=1.47 cores=0,2,4,6
/proc/27655/task/27721/stat : 27721 (java) S 27652 27655 25584 0 -1 1077944384 1974 13086 0 0 68 72 5 2 20 0 15 0 221975862 11280941056 328565 33554432000 4194304 4196468 140727034645968 139669574200112 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
Current children cumulated CPU time: 2508.2 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1314260 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2454 s]*
/proc/loadavg: 1.25 1.22 1.28 3/217 27951
/proc/meminfo: memFree=14256540/32770624 swapFree=67108844/67108860
[pid=27655] ppid=27652 vsize=11016544 memory=1316308 CPUtime=2520.07 cores=0,2,4,6
/proc/27655/stat : 27655 (java) S 27652 27655 25584 0 -1 1077944320 415813 13086 0 0 251627 373 5 2 20 0 15 0 221975846 11280941056 329077 33554432000 4194304 4196468 140727034645968 140727034628512 139670152429303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
/proc/27655/statm: 2754136 329077 3535 1 0 2715789 0
[pid=27655/tid=27708] ppid=27652 vsize=11016544 memory=1398720917958146503 CPUtime=2429.66 cores=0,2,4,6
/proc/27655/task/27708/stat : 27708 (java) R 27652 27655 25584 0 -1 4202560 94223 13086 0 0 242907 52 5 2 20 0 15 0 221975856 11280941056 329077 33554432000 4194304 4196468 140727034645968 139670124263616 139669749114249 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27709] ppid=27652 vsize=11016544 memory=4126316290023845779 CPUtime=12.44 cores=0,2,4,6
/proc/27655/task/27709/stat : 27709 (java) S 27652 27655 25584 0 -1 1077944384 14800 13086 0 0 1178 59 5 2 20 0 15 0 221975856 11280941056 329077 33554432000 4194304 4196468 140727034645968 139670156671248 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27710] ppid=27652 vsize=11016544 memory=1584 CPUtime=12.47 cores=0,2,4,6
/proc/27655/task/27710/stat : 27710 (java) S 27652 27655 25584 0 -1 1077944384 24197 13086 0 0 1185 55 5 2 20 0 15 0 221975856 11280941056 329077 33554432000 4194304 4196468 140727034645968 139669692352912 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27711] ppid=27652 vsize=11016544 memory=496 CPUtime=12.51 cores=0,2,4,6
/proc/27655/task/27711/stat : 27711 (java) S 27652 27655 25584 0 -1 1077944384 20633 13086 0 0 1185 59 5 2 20 0 15 0 221975856 11280941056 329077 33554432000 4194304 4196468 140727034645968 139669691300368 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27712] ppid=27652 vsize=11016544 memory=928 CPUtime=12.45 cores=0,2,4,6
/proc/27655/task/27712/stat : 27712 (java) S 27652 27655 25584 0 -1 1077944384 17962 13086 0 0 1182 56 5 2 20 0 15 0 221975856 11280941056 329077 33554432000 4194304 4196468 140727034645968 139669690247824 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27713] ppid=27652 vsize=11016544 memory=1172 CPUtime=9.34 cores=0,2,4,6
/proc/27655/task/27713/stat : 27713 (java) S 27652 27655 25584 0 -1 1077944384 21506 13086 0 0 879 48 5 2 20 0 15 0 221975858 11280941056 329077 33554432000 4194304 4196468 140727034645968 139669578410480 139670152440450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27714] ppid=27652 vsize=11016544 memory=2096 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27714/stat : 27714 (java) S 27652 27655 25584 0 -1 1077944384 16 13086 0 0 0 0 5 2 20 0 15 0 221975858 11280941056 329077 33554432000 4194304 4196468 140727034645968 139668981016032 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27715] ppid=27652 vsize=11016544 memory=1572 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27715/stat : 27715 (java) S 27652 27655 25584 0 -1 1077944384 4 13086 0 0 0 0 5 2 20 0 15 0 221975858 11280941056 329077 33554432000 4194304 4196468 140727034645968 139668779689472 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27716] ppid=27652 vsize=11016544 memory=924 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27716/stat : 27716 (java) S 27652 27655 25584 0 -1 1077944384 3 13086 0 0 0 0 5 2 20 0 15 0 221975861 11280941056 329077 33554432000 4194304 4196468 140727034645968 139668472290000 139670152447899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27717] ppid=27652 vsize=11016544 memory=1992 CPUtime=12.84 cores=0,2,4,6
/proc/27655/task/27717/stat : 27717 (java) S 27652 27655 25584 0 -1 1077944384 74160 13086 0 0 1269 8 5 2 20 0 15 0 221975861 11280941056 329077 33554432000 4194304 4196468 140727034645968 139669577357296 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27718] ppid=27652 vsize=11016544 memory=1316308 CPUtime=12.44 cores=0,2,4,6
/proc/27655/task/27718/stat : 27718 (java) S 27652 27655 25584 0 -1 1077944384 72029 13086 0 0 1230 7 5 2 20 0 15 0 221975861 11280941056 329077 33554432000 4194304 4196468 140727034645968 139669576304752 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27719] ppid=27652 vsize=11016544 memory=1404 CPUtime=4.98 cores=0,2,4,6
/proc/27655/task/27719/stat : 27719 (java) S 27652 27655 25584 0 -1 1077944384 72107 13086 0 0 479 12 5 2 20 0 15 0 221975861 11280941056 329077 33554432000 4194304 4196468 140727034645968 139669575252208 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27720] ppid=27652 vsize=11016544 memory=3200 CPUtime=0.07 cores=0,2,4,6
/proc/27655/task/27720/stat : 27720 (java) S 27652 27655 25584 0 -1 1077944384 3 13086 0 0 0 0 5 2 20 0 15 0 221975861 11280941056 329077 33554432000 4194304 4196468 140727034645968 139668041493088 139670152439509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
[pid=27655/tid=27721] ppid=27652 vsize=11016544 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/27655/task/27721/stat : 27721 (java) S 27652 27655 25584 0 -1 1077944384 1979 13086 0 0 68 72 5 2 20 0 15 0 221975862 11280941056 329077 33554432000 4194304 4196468 140727034645968 139669574200112 139670152440450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11132928 140727034653292 140727034656092 140727034656092 140727034658767 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1316308 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2454.04 s]
# the end of solver process 27655 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.35 s, system=3.78524 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2454.04
CPU time (s): 2520.13
CPU user time (s): 2516.35
CPU system time (s): 3.78524
CPU usage (%): 102.693
Max. virtual memory (cumulated for all children) (KiB): 11016544
Max. memory (cumulated for all children) (KiB): 1640876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.35
system time used= 3.78524
maximum resident set size= 1640876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 430342
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 251473
involuntary context switches= 8604


# summary of solver processes directly reported to runsolver:
#   pid: 27655
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2516.35
#   total CPU system time (s): 3.78524

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2872 second user time and 21.7364 second system time

The end

Launcher Data 

Begin job on node136 at 2018-08-12 05:22:07
IDJOB=4304171
IDBENCH=141049
IDSOLVER=2780
FILE ID=node136/4304171-1534044127
RUNJOBID= node136-1534039158-26715
PBS_JOBID= 21036973
Free space on /tmp= 35308 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/NurseRostering/NurseRostering-10_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304171-1534044127/watcher-4304171-1534044127 -o /tmp/evaluation-result-4304171-1534044127/solver-4304171-1534044127 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534039158-26715 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1356772043 HOME/instance-4304171-1534044127.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 8e8c57bbf90dbce08cf7a3cf301ec8dd
RANDOM SEED=1356772043

node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        15916160 kB
MemAvailable:   30947004 kB
Buffers:          238684 kB
Cached:         14888596 kB
SwapCached:            8 kB
Active:          8215404 kB
Inactive:        7923144 kB
Active(anon):     962128 kB
Inactive(anon):   101656 kB
Active(file):    7253276 kB
Inactive(file):  7821488 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108844 kB
Dirty:             26512 kB
Writeback:             0 kB
AnonPages:       1030756 kB
Mapped:            65516 kB
Shmem:             49788 kB
Slab:             412480 kB
SReclaimable:     384540 kB
SUnreclaim:        27940 kB
KernelStack:        3792 kB
PageTables:         7788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2148640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    839680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 35280 MiB
End job on node136 at 2018-08-12 06:03:01