Trace number 4387510

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.10? (TO) 2520.06 2462.73

General information on the benchmark

NameNurseRostering/
NurseRostering-18_c18.xml
MD5SUM2080050c46f9199df44cd86a0d29de9d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark48151
Best CPU time to get the best result obtained on this benchmark2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables3286
Number of constraints8967
Number of domains16
Minimum domain size1
Maximum domain size85
Distribution of domain sizes[{"size":1,"count":96},{"size":2,"count":678},{"size":4,"count":1848},{"size":23,"count":588},{"size":41,"count":2},{"size":44,"count":16},{"size":85,"count":58}]
Minimum variable degree2
Maximum variable degree23
Distribution of variable degrees[{"degree":2,"count":1174},{"degree":3,"count":264},{"degree":13,"count":19},{"degree":14,"count":23},{"degree":15,"count":2},{"degree":16,"count":17},{"degree":17,"count":24},{"degree":18,"count":38},{"degree":19,"count":38},{"degree":20,"count":189},{"degree":21,"count":776},{"degree":22,"count":573},{"degree":23,"count":149}]
Minimum constraint arity2
Maximum constraint arity176
Distribution of constraint arities[{"arity":2,"count":3148},{"arity":3,"count":3608},{"arity":4,"count":22},{"arity":5,"count":320},{"arity":6,"count":1422},{"arity":12,"count":22},{"arity":23,"count":336},{"arity":85,"count":88},{"arity":176,"count":1}]
Number of extensional constraints2162
Number of intensional constraints986
Distribution of constraint types[{"type":"extension","count":2162},{"type":"intension","count":986},{"type":"regular","count":3608},{"type":"sum","count":44},{"type":"count","count":2166},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.72/0.55	c Concrete v3.10.1560635388952 running
14.89/5.77	c 19:09:57.556 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16340. extension(x[1][7]=[0‥3], 3) :: init: true :: relation: MDD 990413155, 5 edges, 4 vertices, 3 tuples
14.89/5.77	c 19:09:57.560 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16379. extension(3, x[5][7]=[0‥3]) :: init: true :: relation: MDD 990413155, 5 edges, 4 vertices, 3 tuples
14.89/5.77	c 19:09:57.561 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16400. extension(x[3][9]=[0‥3], 3) :: init: true :: relation: MDD 589489519, 5 edges, 4 vertices, 3 tuples
14.89/5.78	c 19:09:57.562 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16421. extension(3, wk[9][0]=[0‥1]) :: init: true :: relation: MDD 1422140849, 4 edges, 3 vertices, 3 tuples
14.89/5.78	c 19:09:57.563 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16444. extension(3, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 901614537, 4 edges, 3 vertices, 3 tuples
14.89/5.78	c 19:09:57.563 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16445. extension(x[4][14]=[0‥3], 3) :: init: true :: relation: MDD 1383031847, 5 edges, 4 vertices, 3 tuples
14.89/5.78	c 19:09:57.564 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16446. extension(3, x[6][14]=[0‥3]) :: init: true :: relation: MDD 1383031847, 5 edges, 4 vertices, 3 tuples
14.89/5.78	c 19:09:57.564 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16467. extension(3, wk[9][0]=[0‥1]) :: init: true :: relation: MDD 658824366, 4 edges, 3 vertices, 3 tuples
14.89/5.78	c 19:09:57.564 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16534. extension(x[7][13]=[0‥3], 3) :: init: true :: relation: MDD 1500020749, 5 edges, 4 vertices, 3 tuples
14.89/5.78	c 19:09:57.565 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16535. extension(3, x[9][13]=[0‥3]) :: init: true :: relation: MDD 1500020749, 5 edges, 4 vertices, 3 tuples
14.89/5.78	c 19:09:57.565 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16578. extension(x[8][20]=[0‥3], 3) :: init: true :: relation: MDD 1119920494, 5 edges, 4 vertices, 3 tuples
14.89/5.78	c 19:09:57.566 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16599. extension(3, x[11][9]=[0‥3]) :: init: true :: relation: MDD 589489519, 5 edges, 4 vertices, 3 tuples
14.89/5.78	c 19:09:57.566 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16642. extension(x[10][7]=[0‥3], 3) :: init: true :: relation: MDD 990413155, 5 edges, 4 vertices, 3 tuples
14.89/5.78	c 19:09:57.567 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16643. extension(3, x[12][7]=[0‥3]) :: init: true :: relation: MDD 990413155, 5 edges, 4 vertices, 3 tuples
14.89/5.78	c 19:09:57.567 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16685. extension(3, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 1132189701, 4 edges, 3 vertices, 3 tuples
14.89/5.78	c 19:09:57.567 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16686. extension(x[11][6]=[0‥3], 3) :: init: true :: relation: MDD 1071522313, 5 edges, 4 vertices, 3 tuples
14.89/5.78	c 19:09:57.568 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16708. extension(3, wk[20][1]=[0‥1]) :: init: true :: relation: MDD 895280806, 4 edges, 3 vertices, 3 tuples
14.89/5.78	c 19:09:57.568 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16730. extension(3, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 1872767282, 4 edges, 3 vertices, 3 tuples
14.89/5.78	c 19:09:57.568 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16753. extension(3, wk[20][1]=[0‥1]) :: init: true :: relation: MDD 507479765, 4 edges, 3 vertices, 3 tuples
14.89/5.78	c 19:09:57.569 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16754. extension(3, x[14][20]=[0‥3]) :: init: true :: relation: MDD 1119920494, 5 edges, 4 vertices, 3 tuples
14.89/5.78	c 19:09:57.569 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16797. extension(x[13][9]=[0‥3], 3) :: init: true :: relation: MDD 589489519, 5 edges, 4 vertices, 3 tuples
14.89/5.78	c 19:09:57.570 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16798. extension(3, x[15][9]=[0‥3]) :: init: true :: relation: MDD 589489519, 5 edges, 4 vertices, 3 tuples
14.89/5.78	c 19:09:57.570 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16819. extension(x[14][3]=[0‥3], 3) :: init: true :: relation: MDD 1526901124, 5 edges, 4 vertices, 3 tuples
14.89/5.78	c 19:09:57.571 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16907. extension(x[15][21]=[0‥3], 3) :: init: true :: relation: MDD 1798299644, 5 edges, 4 vertices, 3 tuples
14.89/5.78	c 19:09:57.571 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16908. extension(3, x[17][21]=[0‥3]) :: init: true :: relation: MDD 1798299644, 5 edges, 4 vertices, 3 tuples
14.89/5.78	c 19:09:57.571 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16950. extension(x[16][5]=[0‥3], 3) :: init: true :: relation: MDD 1835638995, 5 edges, 4 vertices, 3 tuples
14.89/5.79	c 19:09:57.572 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17016. extension(3, x[19][5]=[0‥3]) :: init: true :: relation: MDD 1835638995, 5 edges, 4 vertices, 3 tuples
14.89/5.79	c 19:09:57.572 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17038. extension(3, x[19][6]=[0‥3]) :: init: true :: relation: MDD 1071522313, 5 edges, 4 vertices, 3 tuples
14.89/5.79	c 19:09:57.573 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17060. extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 584643821, 4 edges, 3 vertices, 3 tuples
14.89/5.79	c 19:09:57.573 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17083. extension(3, wk[12][2]=[0‥1]) :: init: true :: relation: MDD 1015552283, 4 edges, 3 vertices, 3 tuples
14.89/5.79	c 19:09:57.573 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17084. extension(x[18][12]=[0‥3], 3) :: init: true :: relation: MDD 1046211253, 5 edges, 4 vertices, 3 tuples
14.89/5.79	c 19:09:57.574 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17106. extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 2041553769, 4 edges, 3 vertices, 3 tuples
14.89/5.79	c 19:09:57.574 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17129. extension(3, wk[11][2]=[0‥1]) :: init: true :: relation: MDD 1593722877, 4 edges, 3 vertices, 3 tuples
14.89/5.79	c 19:09:57.574 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17130. extension(x[19][11]=[0‥3], 3) :: init: true :: relation: MDD 1324451332, 5 edges, 4 vertices, 3 tuples
14.89/5.79	c 19:09:57.575 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17152. extension(3, wk[12][2]=[0‥1]) :: init: true :: relation: MDD 1073862849, 4 edges, 3 vertices, 3 tuples
14.89/5.79	c 19:09:57.575 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17153. extension(3, x[21][12]=[0‥3]) :: init: true :: relation: MDD 1046211253, 5 edges, 4 vertices, 3 tuples
14.89/5.79	c 19:09:57.575 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17219. extension(3, x[23][3]=[0‥3]) :: init: true :: relation: MDD 1526901124, 5 edges, 4 vertices, 3 tuples
14.89/5.79	c 19:09:57.576 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17241. extension(3, x[23][11]=[0‥3]) :: init: true :: relation: MDD 1324451332, 5 edges, 4 vertices, 3 tuples
14.89/5.79	c 19:09:57.576 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17263. extension(x[22][1]=[0‥3], 3) :: init: true :: relation: MDD 286840121, 5 edges, 4 vertices, 3 tuples
14.89/5.79	c 19:09:57.577 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17264. extension(3, x[24][1]=[0‥3]) :: init: true :: relation: MDD 286840121, 5 edges, 4 vertices, 3 tuples
14.89/5.79	c 19:09:57.577 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17285. extension(x[22][4]=[0‥3], 3) :: init: true :: relation: MDD 1727096642, 5 edges, 4 vertices, 3 tuples
14.89/5.79	c 19:09:57.577 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17351. extension(x[24][14]=[0‥3], 3) :: init: true :: relation: MDD 1383031847, 5 edges, 4 vertices, 3 tuples
14.89/5.79	c 19:09:57.578 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17352. extension(3, x[26][14]=[0‥3]) :: init: true :: relation: MDD 1383031847, 5 edges, 4 vertices, 3 tuples
14.89/5.79	c 19:09:57.578 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17373. extension(3, wk[4][3]=[0‥1]) :: init: true :: relation: MDD 1899351562, 4 edges, 3 vertices, 3 tuples
14.89/5.79	c 19:09:57.578 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17374. extension(3, x[27][4]=[0‥3]) :: init: true :: relation: MDD 1727096642, 5 edges, 4 vertices, 3 tuples
14.89/5.79	c 19:09:57.579 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17396. extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 1403325194, 4 edges, 3 vertices, 3 tuples
14.89/5.79	c 19:09:57.579 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17397. extension(x[25][17]=[0‥3], 3) :: init: true :: relation: MDD 705400860, 5 edges, 4 vertices, 3 tuples
14.89/5.79	c 19:09:57.580 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17419. extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 962548461, 4 edges, 3 vertices, 3 tuples
14.89/5.79	c 19:09:57.580 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17486. extension(x[29][7]=[0‥3], 3) :: init: true :: relation: MDD 990413155, 5 edges, 4 vertices, 3 tuples
14.89/5.79	c 19:09:57.580 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17487. extension(3, x[31][7]=[0‥3]) :: init: true :: relation: MDD 990413155, 5 edges, 4 vertices, 3 tuples
14.89/5.79	c 19:09:57.581 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17508. extension(x[29][8]=[0‥3], 3) :: init: true :: relation: MDD 1633615132, 5 edges, 4 vertices, 3 tuples
14.89/5.79	c 19:09:57.581 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17552. extension(x[30][0]=[0‥3], 3) :: init: true :: relation: MDD 51325109, 5 edges, 4 vertices, 3 tuples
14.89/5.79	c 19:09:57.581 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17574. extension(x[30][6]=[0‥3], 3) :: init: true :: relation: MDD 1071522313, 5 edges, 4 vertices, 3 tuples
14.89/5.79	c 19:09:57.582 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17575. extension(3, x[32][6]=[0‥3]) :: init: true :: relation: MDD 1071522313, 5 edges, 4 vertices, 3 tuples
14.89/5.80	c 19:09:57.582 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17640. extension(x[30][18]=[0‥3], 3) :: init: true :: relation: MDD 1839548688, 5 edges, 4 vertices, 3 tuples
14.89/5.80	c 19:09:57.582 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17705. extension(x[31][15]=[0‥3], 3) :: init: true :: relation: MDD 1144653485, 5 edges, 4 vertices, 3 tuples
14.89/5.80	c 19:09:57.583 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17706. extension(3, x[33][15]=[0‥3]) :: init: true :: relation: MDD 1144653485, 5 edges, 4 vertices, 3 tuples
14.89/5.80	c 19:09:57.583 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17770. extension(x[31][19]=[0‥3], 3) :: init: true :: relation: MDD 1708786164, 5 edges, 4 vertices, 3 tuples
14.89/5.80	c 19:09:57.583 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17771. extension(3, x[33][19]=[0‥3]) :: init: true :: relation: MDD 1708786164, 5 edges, 4 vertices, 3 tuples
14.89/5.80	c 19:09:57.584 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17791. extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 1411119464, 4 edges, 3 vertices, 3 tuples
14.89/5.80	c 19:09:57.584 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17814. extension(3, wk[1][4]=[0‥1]) :: init: true :: relation: MDD 1009111009, 4 edges, 3 vertices, 3 tuples
15.21/5.80	c 19:09:57.584 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17815. extension(x[32][1]=[0‥3], 3) :: init: true :: relation: MDD 286840121, 5 edges, 4 vertices, 3 tuples
15.21/5.80	c 19:09:57.584 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17816. extension(3, x[34][1]=[0‥3]) :: init: true :: relation: MDD 286840121, 5 edges, 4 vertices, 3 tuples
15.21/5.80	c 19:09:57.585 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17837. extension(3, wk[8][4]=[0‥1]) :: init: true :: relation: MDD 1756333997, 4 edges, 3 vertices, 3 tuples
15.21/5.80	c 19:09:57.585 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17860. extension(3, wk[17][4]=[0‥1]) :: init: true :: relation: MDD 16957838, 4 edges, 3 vertices, 3 tuples
15.21/5.80	c 19:09:57.585 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17861. extension(3, x[34][17]=[0‥3]) :: init: true :: relation: MDD 705400860, 5 edges, 4 vertices, 3 tuples
15.21/5.80	c 19:09:57.586 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17883. extension(3, wk[18][4]=[0‥1]) :: init: true :: relation: MDD 146842175, 4 edges, 3 vertices, 3 tuples
15.21/5.80	c 19:09:57.586 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17905. extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 1491779598, 4 edges, 3 vertices, 3 tuples
15.21/5.80	c 19:09:57.586 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17928. extension(3, wk[8][4]=[0‥1]) :: init: true :: relation: MDD 10288247, 4 edges, 3 vertices, 3 tuples
15.21/5.80	c 19:09:57.587 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 17951. extension(3, wk[18][4]=[0‥1]) :: init: true :: relation: MDD 650687126, 4 edges, 3 vertices, 3 tuples
15.21/5.80	c 19:09:57.587 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18125. extension(x[36][5]=[0‥3], 3) :: init: true :: relation: MDD 1835638995, 5 edges, 4 vertices, 3 tuples
15.21/5.80	c 19:09:57.587 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18147. extension(3, x[38][8]=[0‥3]) :: init: true :: relation: MDD 1633615132, 5 edges, 4 vertices, 3 tuples
15.21/5.80	c 19:09:57.587 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18169. extension(x[36][10]=[0‥3], 3) :: init: true :: relation: MDD 2087758561, 5 edges, 4 vertices, 3 tuples
15.21/5.80	c 19:09:57.588 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18212. extension(3, x[39][0]=[0‥3]) :: init: true :: relation: MDD 51325109, 5 edges, 4 vertices, 3 tuples
15.21/5.80	c 19:09:57.588 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18234. extension(x[37][1]=[0‥3], 3) :: init: true :: relation: MDD 286840121, 5 edges, 4 vertices, 3 tuples
15.21/5.80	c 19:09:57.588 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18300. extension(x[37][12]=[0‥3], 3) :: init: true :: relation: MDD 1046211253, 5 edges, 4 vertices, 3 tuples
15.21/5.80	c 19:09:57.589 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18322. extension(3, x[39][18]=[0‥3]) :: init: true :: relation: MDD 1839548688, 5 edges, 4 vertices, 3 tuples
15.21/5.80	c 19:09:57.589 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18431. extension(x[38][19]=[0‥3], 3) :: init: true :: relation: MDD 1708786164, 5 edges, 4 vertices, 3 tuples
15.21/5.80	c 19:09:57.589 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18452. extension(3, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 230266757, 4 edges, 3 vertices, 3 tuples
15.21/5.80	c 19:09:57.590 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18475. extension(3, wk[5][5]=[0‥1]) :: init: true :: relation: MDD 1545131732, 4 edges, 3 vertices, 3 tuples
15.21/5.80	c 19:09:57.590 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18476. extension(3, x[41][5]=[0‥3]) :: init: true :: relation: MDD 1835638995, 5 edges, 4 vertices, 3 tuples
15.21/5.80	c 19:09:57.590 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18498. extension(3, wk[10][5]=[0‥1]) :: init: true :: relation: MDD 298287232, 4 edges, 3 vertices, 3 tuples
15.21/5.80	c 19:09:57.590 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18521. extension(3, wk[12][5]=[0‥1]) :: init: true :: relation: MDD 2000856156, 4 edges, 3 vertices, 3 tuples
15.21/5.80	c 19:09:57.591 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18522. extension(3, x[41][12]=[0‥3]) :: init: true :: relation: MDD 1046211253, 5 edges, 4 vertices, 3 tuples
15.21/5.80	c 19:09:57.591 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18544. extension(3, wk[19][5]=[0‥1]) :: init: true :: relation: MDD 170611939, 4 edges, 3 vertices, 3 tuples
15.21/5.80	c 19:09:57.591 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18566. extension(3, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 2047359894, 4 edges, 3 vertices, 3 tuples
15.21/5.80	c 19:09:57.592 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18567. extension(3, x[42][1]=[0‥3]) :: init: true :: relation: MDD 286840121, 5 edges, 4 vertices, 3 tuples
15.21/5.81	c 19:09:57.592 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18589. extension(3, wk[10][5]=[0‥1]) :: init: true :: relation: MDD 1231205406, 4 edges, 3 vertices, 3 tuples
15.21/5.81	c 19:09:57.592 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18590. extension(3, x[42][10]=[0‥3]) :: init: true :: relation: MDD 2087758561, 5 edges, 4 vertices, 3 tuples
15.21/5.81	c 19:09:57.592 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18612. extension(3, wk[19][5]=[0‥1]) :: init: true :: relation: MDD 569894199, 4 edges, 3 vertices, 3 tuples
15.21/5.81	c 19:09:57.593 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18613. extension(3, x[42][19]=[0‥3]) :: init: true :: relation: MDD 1708786164, 5 edges, 4 vertices, 3 tuples
15.21/5.81	c 19:09:57.593 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18634. extension(x[41][11]=[0‥3], 3) :: init: true :: relation: MDD 1324451332, 5 edges, 4 vertices, 3 tuples
15.21/5.81	c 19:09:57.593 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18722. extension(3, x[47][11]=[0‥3]) :: init: true :: relation: MDD 1324451332, 5 edges, 4 vertices, 3 tuples
15.21/5.81	c 19:09:57.594 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18744. extension(x[45][21]=[0‥3], 3) :: init: true :: relation: MDD 1798299644, 5 edges, 4 vertices, 3 tuples
15.21/5.81	c 19:09:57.594 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18765. extension(3, wk[21][6]=[0‥1]) :: init: true :: relation: MDD 605472344, 4 edges, 3 vertices, 3 tuples
15.21/5.81	c 19:09:57.594 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18787. extension(3, wk[20][6]=[0‥1]) :: init: true :: relation: MDD 2053491093, 4 edges, 3 vertices, 3 tuples
15.21/5.81	c 19:09:57.595 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18788. extension(x[47][20]=[0‥3], 3) :: init: true :: relation: MDD 1119920494, 5 edges, 4 vertices, 3 tuples
15.21/5.81	c 19:09:57.595 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18809. extension(3, wk[21][6]=[0‥1]) :: init: true :: relation: MDD 507575219, 4 edges, 3 vertices, 3 tuples
15.21/5.82	c 19:09:57.595 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18831. extension(x[48][7]=[0‥3], 3) :: init: true :: relation: MDD 990413155, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.595 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18853. extension(x[48][14]=[0‥3], 3) :: init: true :: relation: MDD 1383031847, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.596 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18961. extension(3, x[51][20]=[0‥3]) :: init: true :: relation: MDD 1119920494, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.596 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19003. extension(3, x[52][7]=[0‥3]) :: init: true :: relation: MDD 990413155, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.596 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19068. extension(x[51][12]=[0‥3], 3) :: init: true :: relation: MDD 1046211253, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.597 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19090. extension(x[51][13]=[0‥3], 3) :: init: true :: relation: MDD 1500020749, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.597 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19134. extension(x[51][19]=[0‥3], 3) :: init: true :: relation: MDD 1708786164, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.597 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19155. extension(3, x[53][21]=[0‥3]) :: init: true :: relation: MDD 1798299644, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.597 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19242. extension(x[52][16]=[0‥3], 3) :: init: true :: relation: MDD 358636931, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.598 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19285. extension(3, wk[12][7]=[0‥1]) :: init: true :: relation: MDD 1215208733, 4 edges, 3 vertices, 3 tuples
15.21/5.82	c 19:09:57.598 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19286. extension(3, x[55][12]=[0‥3]) :: init: true :: relation: MDD 1046211253, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.598 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19308. extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 705602706, 4 edges, 3 vertices, 3 tuples
15.21/5.82	c 19:09:57.598 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19331. extension(3, wk[14][7]=[0‥1]) :: init: true :: relation: MDD 1529580934, 4 edges, 3 vertices, 3 tuples
15.21/5.82	c 19:09:57.599 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19332. extension(3, x[55][14]=[0‥3]) :: init: true :: relation: MDD 1383031847, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.599 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19354. extension(3, wk[16][7]=[0‥1]) :: init: true :: relation: MDD 1248079435, 4 edges, 3 vertices, 3 tuples
15.21/5.82	c 19:09:57.599 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19377. extension(3, wk[19][7]=[0‥1]) :: init: true :: relation: MDD 1886350630, 4 edges, 3 vertices, 3 tuples
15.21/5.82	c 19:09:57.599 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19399. extension(3, wk[2][7]=[0‥1]) :: init: true :: relation: MDD 1389426051, 4 edges, 3 vertices, 3 tuples
15.21/5.82	c 19:09:57.600 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19400. extension(x[54][2]=[0‥3], 3) :: init: true :: relation: MDD 2061424899, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.600 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19422. extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 48589645, 4 edges, 3 vertices, 3 tuples
15.21/5.82	c 19:09:57.600 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19423. extension(3, x[56][13]=[0‥3]) :: init: true :: relation: MDD 1500020749, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.600 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19445. extension(3, wk[16][7]=[0‥1]) :: init: true :: relation: MDD 994084545, 4 edges, 3 vertices, 3 tuples
15.21/5.82	c 19:09:57.601 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19468. extension(3, wk[19][7]=[0‥1]) :: init: true :: relation: MDD 1794531113, 4 edges, 3 vertices, 3 tuples
15.21/5.82	c 19:09:57.601 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19469. extension(3, x[56][19]=[0‥3]) :: init: true :: relation: MDD 1708786164, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.601 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19490. extension(x[55][1]=[0‥3], 3) :: init: true :: relation: MDD 286840121, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.602 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19491. extension(3, x[57][1]=[0‥3]) :: init: true :: relation: MDD 286840121, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.602 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19578. extension(x[56][15]=[0‥3], 3) :: init: true :: relation: MDD 1144653485, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.602 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19600. extension(3, x[58][16]=[0‥3]) :: init: true :: relation: MDD 358636931, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.602 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19688. extension(3, x[60][15]=[0‥3]) :: init: true :: relation: MDD 1144653485, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.603 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19732. extension(x[59][5]=[0‥3], 3) :: init: true :: relation: MDD 1835638995, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.603 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19733. extension(3, x[61][5]=[0‥3]) :: init: true :: relation: MDD 1835638995, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.603 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19754. extension(3, wk[1][8]=[0‥1]) :: init: true :: relation: MDD 1308491389, 4 edges, 3 vertices, 3 tuples
15.21/5.82	c 19:09:57.604 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19755. extension(x[60][1]=[0‥3], 3) :: init: true :: relation: MDD 286840121, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.604 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19756. extension(3, x[62][1]=[0‥3]) :: init: true :: relation: MDD 286840121, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.604 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19777. extension(3, wk[2][8]=[0‥1]) :: init: true :: relation: MDD 315885065, 4 edges, 3 vertices, 3 tuples
15.21/5.82	c 19:09:57.604 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19778. extension(3, x[62][2]=[0‥3]) :: init: true :: relation: MDD 2061424899, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.605 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19800. extension(x[62][4]=[0‥3], 3) :: init: true :: relation: MDD 1727096642, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.605 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19801. extension(3, x[64][4]=[0‥3]) :: init: true :: relation: MDD 1727096642, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.605 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19822. extension(x[65][16]=[0‥3], 3) :: init: true :: relation: MDD 358636931, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.605 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19823. extension(3, x[67][16]=[0‥3]) :: init: true :: relation: MDD 358636931, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.605 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19844. extension(x[66][4]=[0‥3], 3) :: init: true :: relation: MDD 1727096642, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.606 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19866. extension(3, wk[4][9]=[0‥1]) :: init: true :: relation: MDD 1187053699, 4 edges, 3 vertices, 3 tuples
15.21/5.82	c 19:09:57.606 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19867. extension(3, x[69][4]=[0‥3]) :: init: true :: relation: MDD 1727096642, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.606 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19889. extension(3, wk[13][9]=[0‥1]) :: init: true :: relation: MDD 1231493271, 4 edges, 3 vertices, 3 tuples
15.21/5.82	c 19:09:57.606 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19890. extension(x[68][13]=[0‥3], 3) :: init: true :: relation: MDD 1500020749, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.607 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19934. extension(x[69][15]=[0‥3], 3) :: init: true :: relation: MDD 1144653485, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.607 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19956. extension(3, x[72][13]=[0‥3]) :: init: true :: relation: MDD 1500020749, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.607 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20022. extension(3, x[74][15]=[0‥3]) :: init: true :: relation: MDD 1144653485, 5 edges, 4 vertices, 3 tuples
15.21/5.82	c 19:09:57.607 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20044. extension(3, wk[10][10]=[0‥1]) :: init: true :: relation: MDD 1538855361, 4 edges, 3 vertices, 3 tuples
15.21/5.82	c 19:09:57.608 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20045. extension(x[74][10]=[0‥3], 3) :: init: true :: relation: MDD 2087758561, 5 edges, 4 vertices, 3 tuples
15.21/5.83	c 19:09:57.620 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20067. extension(3, wk[2][10]=[0‥1]) :: init: true :: relation: MDD 2062594042, 4 edges, 3 vertices, 3 tuples
15.21/5.83	c 19:09:57.620 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20068. extension(x[75][2]=[0‥3], 3) :: init: true :: relation: MDD 2061424899, 5 edges, 4 vertices, 3 tuples
15.21/5.83	c 19:09:57.621 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20069. extension(3, x[77][2]=[0‥3]) :: init: true :: relation: MDD 2061424899, 5 edges, 4 vertices, 3 tuples
15.21/5.83	c 19:09:57.621 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20090. extension(3, wk[10][10]=[0‥1]) :: init: true :: relation: MDD 1663774813, 4 edges, 3 vertices, 3 tuples
15.21/5.83	c 19:09:57.621 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20113. extension(3, x[78][10]=[0‥3]) :: init: true :: relation: MDD 2087758561, 5 edges, 4 vertices, 3 tuples
15.21/5.83	c 19:09:57.621 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20135. extension(x[77][4]=[0‥3], 3) :: init: true :: relation: MDD 1727096642, 5 edges, 4 vertices, 3 tuples
15.21/5.83	c 19:09:57.621 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20136. extension(3, x[79][4]=[0‥3]) :: init: true :: relation: MDD 1727096642, 5 edges, 4 vertices, 3 tuples
15.21/5.83	c 19:09:57.622 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20157. extension(x[77][16]=[0‥3], 3) :: init: true :: relation: MDD 358636931, 5 edges, 4 vertices, 3 tuples
15.21/5.84	c 19:09:57.622 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20179. extension(3, x[80][16]=[0‥3]) :: init: true :: relation: MDD 358636931, 5 edges, 4 vertices, 3 tuples
15.21/5.84	c 19:09:57.622 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20200. extension(x[80][5]=[0‥3], 3) :: init: true :: relation: MDD 1835638995, 5 edges, 4 vertices, 3 tuples
15.21/5.84	c 19:09:57.622 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20201. extension(3, x[82][5]=[0‥3]) :: init: true :: relation: MDD 1835638995, 5 edges, 4 vertices, 3 tuples
15.21/5.84	c 19:09:57.623 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20220. extension(3) :: init: true :: relation: MDD 498884733, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.624 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20222. extension(3) :: init: true :: relation: MDD 1056204617, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.624 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20224. extension(3) :: init: true :: relation: MDD 1085622114, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.624 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20226. extension(3) :: init: true :: relation: MDD 56807270, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.624 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20228. extension(3) :: init: true :: relation: MDD 2013901882, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.625 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20230. extension(3) :: init: true :: relation: MDD 1708804701, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.625 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20232. extension(3) :: init: true :: relation: MDD 264146899, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.625 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20234. extension(3) :: init: true :: relation: MDD 447899837, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.625 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20236. extension(3) :: init: true :: relation: MDD 800040885, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.625 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20238. extension(3) :: init: true :: relation: MDD 403740863, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.625 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20240. extension(3) :: init: true :: relation: MDD 1663786105, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.626 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20242. extension(3) :: init: true :: relation: MDD 1783965473, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.626 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20244. extension(3) :: init: true :: relation: MDD 940943313, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.626 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20246. extension(3) :: init: true :: relation: MDD 618403084, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.626 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20248. extension(3) :: init: true :: relation: MDD 489508218, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.626 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20250. extension(3) :: init: true :: relation: MDD 1577192913, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.626 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20252. extension(3) :: init: true :: relation: MDD 1270612719, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.626 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20254. extension(3) :: init: true :: relation: MDD 252451553, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.627 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20256. extension(3) :: init: true :: relation: MDD 2017312999, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.627 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20258. extension(3) :: init: true :: relation: MDD 908011188, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.627 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20260. extension(3) :: init: true :: relation: MDD 497021410, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.627 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20262. extension(3) :: init: true :: relation: MDD 1915435938, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.627 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20264. extension(3) :: init: true :: relation: MDD 1686632440, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.627 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20266. extension(3) :: init: true :: relation: MDD 727861082, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.627 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20268. extension(3) :: init: true :: relation: MDD 1234219829, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.628 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20270. extension(3) :: init: true :: relation: MDD 1649244046, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.628 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20272. extension(3) :: init: true :: relation: MDD 967730184, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.628 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20274. extension(3) :: init: true :: relation: MDD 13610224, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.628 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20276. extension(3) :: init: true :: relation: MDD 1284161223, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.628 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20278. extension(3) :: init: true :: relation: MDD 1173504479, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.628 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20280. extension(3) :: init: true :: relation: MDD 255259469, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.628 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20282. extension(3) :: init: true :: relation: MDD 1927505527, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.629 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20284. extension(3) :: init: true :: relation: MDD 1803977322, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.629 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20286. extension(3) :: init: true :: relation: MDD 1009638012, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.629 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20288. extension(3) :: init: true :: relation: MDD 79297071, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.629 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20290. extension(3) :: init: true :: relation: MDD 1837163537, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.629 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20292. extension(3) :: init: true :: relation: MDD 852143641, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.629 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20294. extension(3) :: init: true :: relation: MDD 1625717766, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.630 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20296. extension(3) :: init: true :: relation: MDD 734370487, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.630 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20298. extension(3) :: init: true :: relation: MDD 1091523506, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.630 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20300. extension(3) :: init: true :: relation: MDD 642942956, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.630 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20302. extension(3) :: init: true :: relation: MDD 1963448684, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.630 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20304. extension(3) :: init: true :: relation: MDD 1913714009, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.630 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20306. extension(3) :: init: true :: relation: MDD 1236908650, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.630 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20308. extension(3) :: init: true :: relation: MDD 2078681430, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.631 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20310. extension(3) :: init: true :: relation: MDD 820069375, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.631 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20312. extension(3) :: init: true :: relation: MDD 1160692359, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.631 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20314. extension(3) :: init: true :: relation: MDD 1094732450, 2 edges, 2 vertices, 0 tuples
15.21/5.84	c 19:09:57.631 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20316. extension(3) :: init: true :: relation: MDD 187070277, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.631 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20318. extension(3) :: init: true :: relation: MDD 836903781, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.631 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20320. extension(3) :: init: true :: relation: MDD 49018148, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.631 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20322. extension(3) :: init: true :: relation: MDD 1102948993, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.632 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20324. extension(3) :: init: true :: relation: MDD 2040099244, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.632 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20326. extension(3) :: init: true :: relation: MDD 1505791217, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.632 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20328. extension(3) :: init: true :: relation: MDD 73334840, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.632 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20330. extension(3) :: init: true :: relation: MDD 681200528, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.632 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20332. extension(3) :: init: true :: relation: MDD 440159038, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.632 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20334. extension(3) :: init: true :: relation: MDD 1195834252, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.632 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20336. extension(3) :: init: true :: relation: MDD 1004826012, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.632 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20338. extension(3) :: init: true :: relation: MDD 1104705467, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.633 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20340. extension(3) :: init: true :: relation: MDD 969253125, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.633 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20342. extension(3) :: init: true :: relation: MDD 1227859754, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.633 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20344. extension(3) :: init: true :: relation: MDD 1363127070, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.633 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20346. extension(3) :: init: true :: relation: MDD 1406696237, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.633 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20348. extension(3) :: init: true :: relation: MDD 1191261658, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.633 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20350. extension(3) :: init: true :: relation: MDD 1931730151, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.633 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20352. extension(3) :: init: true :: relation: MDD 1600712390, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.633 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20354. extension(3) :: init: true :: relation: MDD 1341781781, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.634 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20356. extension(3) :: init: true :: relation: MDD 18392277, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.634 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20358. extension(3) :: init: true :: relation: MDD 1823577333, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.634 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20360. extension(3) :: init: true :: relation: MDD 1958168955, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.634 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20362. extension(3) :: init: true :: relation: MDD 1962297767, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.634 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20364. extension(3) :: init: true :: relation: MDD 814507488, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.634 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20366. extension(3) :: init: true :: relation: MDD 1358584120, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.634 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20368. extension(3) :: init: true :: relation: MDD 508047053, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.634 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20370. extension(3) :: init: true :: relation: MDD 1488320466, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.635 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20372. extension(3) :: init: true :: relation: MDD 197470785, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.635 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20374. extension(3) :: init: true :: relation: MDD 167018904, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.635 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20376. extension(3) :: init: true :: relation: MDD 1444280365, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.635 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20378. extension(3) :: init: true :: relation: MDD 560565850, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.635 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20380. extension(3) :: init: true :: relation: MDD 64761620, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.635 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20382. extension(3) :: init: true :: relation: MDD 780764854, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.635 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20384. extension(3) :: init: true :: relation: MDD 1462028250, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.635 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20386. extension(3) :: init: true :: relation: MDD 986875962, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.636 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20388. extension(3) :: init: true :: relation: MDD 1477752059, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.636 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20390. extension(3) :: init: true :: relation: MDD 986326393, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.636 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20392. extension(3) :: init: true :: relation: MDD 1268858861, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.636 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20394. extension(3) :: init: true :: relation: MDD 1696394747, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.636 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20396. extension(3) :: init: true :: relation: MDD 416427727, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.636 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20398. extension(3) :: init: true :: relation: MDD 1943548225, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.636 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20400. extension(3) :: init: true :: relation: MDD 826553984, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.636 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20402. extension(3) :: init: true :: relation: MDD 859137638, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.637 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20404. extension(3) :: init: true :: relation: MDD 983073433, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.637 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20406. extension(3) :: init: true :: relation: MDD 142147250, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.637 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20408. extension(3) :: init: true :: relation: MDD 404240651, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.637 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20410. extension(3) :: init: true :: relation: MDD 424504, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.637 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20412. extension(3) :: init: true :: relation: MDD 2129964267, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.637 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20414. extension(3) :: init: true :: relation: MDD 834031849, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.637 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20416. extension(3) :: init: true :: relation: MDD 1749018549, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.638 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20418. extension(3) :: init: true :: relation: MDD 1532725040, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.638 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20420. extension(3) :: init: true :: relation: MDD 9698116, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.638 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20422. extension(3) :: init: true :: relation: MDD 52544167, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.638 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20424. extension(3) :: init: true :: relation: MDD 347377465, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.638 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20426. extension(3) :: init: true :: relation: MDD 332527768, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.638 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20428. extension(3) :: init: true :: relation: MDD 210204797, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.638 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20430. extension(3) :: init: true :: relation: MDD 29271984, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.638 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20432. extension(3) :: init: true :: relation: MDD 826490361, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.639 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20434. extension(3) :: init: true :: relation: MDD 759826033, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.639 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20436. extension(3) :: init: true :: relation: MDD 448382773, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.639 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20438. extension(3) :: init: true :: relation: MDD 1850630389, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.639 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20440. extension(3) :: init: true :: relation: MDD 1179268144, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.639 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20442. extension(3) :: init: true :: relation: MDD 1003412230, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.639 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20444. extension(3) :: init: true :: relation: MDD 1872376613, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.639 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20446. extension(3) :: init: true :: relation: MDD 1926148075, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.639 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20448. extension(3) :: init: true :: relation: MDD 1706225206, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.640 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20450. extension(3) :: init: true :: relation: MDD 686366573, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.640 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20452. extension(3) :: init: true :: relation: MDD 382992974, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.640 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20454. extension(3) :: init: true :: relation: MDD 300041864, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.640 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20456. extension(3) :: init: true :: relation: MDD 1674824156, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.640 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20458. extension(3) :: init: true :: relation: MDD 60924092, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.640 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20460. extension(3) :: init: true :: relation: MDD 902894836, 2 edges, 2 vertices, 0 tuples
15.21/5.85	c 19:09:57.640 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20462. extension(3) :: init: true :: relation: MDD 914674368, 2 edges, 2 vertices, 0 tuples
15.84/6.04	c 19:09:57.827 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29508. extension(x[1][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.827 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29510. extension(x[5][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.827 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29512. extension(x[3][9]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.827 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29514. extension(wk[9][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.827 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29516. extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.827 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29518. extension(x[4][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.827 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29520. extension(x[6][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.827 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29522. extension(wk[9][0]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.828 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29524. extension(x[7][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.828 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29526. extension(x[9][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.828 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29528. extension(x[8][20]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.828 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29530. extension(x[11][9]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.828 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29532. extension(x[10][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.828 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29534. extension(x[12][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.828 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29536. extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.828 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29538. extension(x[11][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.828 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29540. extension(wk[20][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.829 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29542. extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.829 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29544. extension(wk[20][1]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.829 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29546. extension(x[14][20]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.829 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29548. extension(x[13][9]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.829 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29550. extension(x[15][9]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.829 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29552. extension(x[14][3]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.829 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29554. extension(x[15][21]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.829 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29556. extension(x[17][21]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.829 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29558. extension(x[16][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.830 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29560. extension(x[19][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.830 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29562. extension(x[19][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.830 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29564. extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.830 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29566. extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.830 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29568. extension(x[18][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.830 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29570. extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.830 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29572. extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.830 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29574. extension(x[19][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.831 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29576. extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.831 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29578. extension(x[21][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.831 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29580. extension(x[23][3]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.831 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29582. extension(x[23][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.831 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29584. extension(x[22][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.04	c 19:09:57.831 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29586. extension(x[24][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.831 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29588. extension(x[22][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.831 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29590. extension(x[24][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.831 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29592. extension(x[26][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.832 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29594. extension(wk[4][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.832 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29596. extension(x[27][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.832 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29598. extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.832 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29600. extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.832 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29602. extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.832 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29604. extension(x[29][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.832 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29606. extension(x[31][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.832 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29608. extension(x[29][8]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.832 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29610. extension(x[30][0]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.833 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29612. extension(x[30][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.833 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29614. extension(x[32][6]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.833 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29616. extension(x[30][18]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.833 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29618. extension(x[31][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.833 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29620. extension(x[33][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.833 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29622. extension(x[31][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.833 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29624. extension(x[33][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.833 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29626. extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.833 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29628. extension(wk[1][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.834 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29630. extension(x[32][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.834 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29632. extension(x[34][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.834 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29634. extension(wk[8][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.834 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29636. extension(wk[17][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.834 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29638. extension(x[34][17]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.834 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29640. extension(wk[18][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.834 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29642. extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.834 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29644. extension(wk[8][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.835 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29646. extension(wk[18][4]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.835 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29648. extension(x[36][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.835 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29650. extension(x[38][8]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.835 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29652. extension(x[36][10]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.835 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29654. extension(x[39][0]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.835 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29656. extension(x[37][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.835 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29658. extension(x[37][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.835 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29660. extension(x[39][18]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.835 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29662. extension(x[38][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29664. extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29666. extension(wk[5][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29668. extension(x[41][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29670. extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29672. extension(wk[12][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29674. extension(x[41][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29676. extension(wk[19][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29678. extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29680. extension(x[42][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29682. extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.837 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29684. extension(x[42][10]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.837 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29686. extension(wk[19][5]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.837 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29688. extension(x[42][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.837 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29690. extension(x[41][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.837 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29692. extension(x[47][11]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.837 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29694. extension(x[45][21]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.837 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29696. extension(wk[21][6]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.837 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29698. extension(wk[20][6]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.837 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29700. extension(x[47][20]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.838 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29702. extension(wk[21][6]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.838 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29704. extension(x[48][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.838 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29706. extension(x[48][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.838 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29708. extension(x[51][20]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.838 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29710. extension(x[52][7]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.838 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29712. extension(x[51][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.838 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29714. extension(x[51][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29716. extension(x[51][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29718. extension(x[53][21]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29720. extension(x[52][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29722. extension(wk[12][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29724. extension(x[55][12]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29726. extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29728. extension(wk[14][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29730. extension(x[55][14]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29732. extension(wk[16][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29734. extension(wk[19][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29736. extension(wk[2][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29738. extension(x[54][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29740. extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29742. extension(x[56][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29744. extension(wk[16][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29746. extension(wk[19][7]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29748. extension(x[56][19]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29750. extension(x[55][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29752. extension(x[57][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.841 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29754. extension(x[56][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.841 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29756. extension(x[58][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.841 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29758. extension(x[60][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.841 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29760. extension(x[59][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.841 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29762. extension(x[61][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.841 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29764. extension(wk[1][8]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.841 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29766. extension(x[60][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.841 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29768. extension(x[62][1]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.841 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29770. extension(wk[2][8]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.841 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29772. extension(x[62][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29774. extension(x[62][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.05	c 19:09:57.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29776. extension(x[64][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29778. extension(x[65][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29780. extension(x[67][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29782. extension(x[66][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29784. extension(wk[4][9]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29786. extension(x[69][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29788. extension(wk[13][9]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29790. extension(x[68][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29792. extension(x[69][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29794. extension(x[72][13]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29796. extension(x[74][15]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29798. extension(wk[10][10]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29800. extension(x[74][10]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29802. extension(wk[2][10]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29804. extension(x[75][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29806. extension(x[77][2]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29808. extension(wk[10][10]=[0‥1]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29810. extension(x[78][10]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29812. extension(x[77][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.844 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29814. extension(x[79][4]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.844 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29816. extension(x[77][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.844 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29818. extension(x[80][16]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.844 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29820. extension(x[80][5]=[0‥3]) :: init: true :: relation: Empty MDD
15.84/6.06	c 19:09:57.844 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29822. extension(x[82][5]=[0‥3]) :: init: true :: relation: Empty MDD
2520.01/2462.71	Exception in thread "main" java.util.concurrent.TimeoutException
2520.01/2462.71		at concrete.MAC.mac(MAC.scala:189)
2520.01/2462.71		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:253)
2520.01/2462.71		at scala.util.Try$.apply(Try.scala:212)
2520.01/2462.71		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.01/2462.71		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.01/2462.71		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.01/2462.71		at concrete.MAC.oneRun(MAC.scala:253)
2520.01/2462.71		at concrete.MAC.nextSolution(MAC.scala:272)
2520.01/2462.71		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.01/2462.71		at concrete.ProblemState.map(ProblemState.scala:228)
2520.01/2462.71		at concrete.ProblemState.map(ProblemState.scala:210)
2520.01/2462.71		at concrete.MAC.nextSolution(MAC.scala:334)
2520.01/2462.71		at concrete.Solver.hasNext(Solver.scala:160)
2520.01/2462.71		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.01/2462.71		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.01/2462.71		at concrete.Solver.foreach(Solver.scala:67)
2520.01/2462.71		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:72)
2520.01/2462.71		at scala.util.Success.map(Try.scala:264)
2520.01/2462.71		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:67)
2520.01/2462.71		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.01/2462.71		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.01/2462.71		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.01/2462.71		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.01/2462.71		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.01/2462.71		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.01/2462.71		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.01/2462.71		at scala.App.$anonfun$main$1(App.scala:75)
2520.01/2462.71		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.01/2462.71		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.01/2462.71		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.01/2462.71		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.01/2462.71		at scala.App.main(App.scala:75)
2520.01/2462.71		at scala.App.main$(App.scala:73)
2520.01/2462.71		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.01/2462.71		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.01/2462.71	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 (8619 MiB free)
  memory of node 1: 16384 MiB (10684 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387510-1568308233/watcher-4387510-1568308233 -o /tmp/evaluation-result-4387510-1568308233/solver-4387510-1568308233 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568286041-32306 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=732274163 HOME/instance-4387510-1568308233.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=6588, runsolver pid=6585

[startup+0.100153 s]*
/proc/loadavg: 1.49 1.37 1.36 3/218 6645
/proc/meminfo: memFree=19757212/32770624 swapFree=66939720/67108860
[pid=6588] ppid=6585 vsize=9972712 memory=17076 CPUtime=0.1 cores=0,2,4,6
/proc/6588/stat : 6588 (java) S 6585 6588 31346 0 -1 1077944320 4490 13006 0 0 1 1 5 3 20 0 6 0 407090193 10212057088 4203 33554432000 4194304 4196468 140728954618224 140728954600768 139901284179703 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
/proc/6588/statm: 2493178 4269 1935 1 0 2481616 0
[pid=6588/tid=6641] ppid=6585 vsize=9972712 memory=-8171376296011865461 CPUtime=0.09 cores=0,2,4,6
/proc/6588/task/6641/stat : 6641 (java) R 6585 6588 31346 0 -1 4202560 2329 13006 0 0 1 0 5 3 20 0 6 0 407090202 10212057088 4269 33554432000 4194304 4196468 140728954618224 139901256016464 139901267372423 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6642] ppid=6585 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6642/stat : 6642 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 6 0 407090202 10212057088 4269 33554432000 4194304 4196468 140728954618224 139901288422032 139901284189909 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6643] ppid=6585 vsize=9972712 memory=140135323383424 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6643/stat : 6643 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 6 0 407090202 10212057088 4269 33554432000 4194304 4196468 140728954618224 139901187312144 139901284189909 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6644] ppid=6585 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6644/stat : 6644 (java) S 6585 6588 31346 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 6 0 407090202 10212057088 4269 33554432000 4194304 4196468 140728954618224 139901186259344 139901284189909 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6645] ppid=6585 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6645/stat : 6645 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 6 0 407090202 10212057088 4269 33554432000 4194304 4196468 140728954618224 139901185206544 139901284189909 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB

[startup+0.209936 s]*
/proc/loadavg: 1.49 1.37 1.36 5/227 6654
/proc/meminfo: memFree=19737764/32770624 swapFree=66939720/67108860
[pid=6588] ppid=6585 vsize=10818940 memory=40704 CPUtime=0.27 cores=0,2,4,6
/proc/6588/stat : 6588 (java) S 6585 6588 31346 0 -1 1077944320 7065 13006 0 0 17 2 5 3 20 0 15 0 407090193 11078594560 10176 33554432000 4194304 4196468 140728954618224 140728954600768 139901284179703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
/proc/6588/statm: 2704735 10176 2958 1 0 2667149 0
[pid=6588/tid=6641] ppid=6585 vsize=10818940 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/6588/task/6641/stat : 6641 (java) R 6585 6588 31346 0 -1 4202560 3560 13006 0 0 10 1 5 3 20 0 15 0 407090202 11078594560 10176 33554432000 4194304 4196468 140728954618224 139901255967488 139901268260190 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6642] ppid=6585 vsize=10818940 memory=4294967660 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6642/stat : 6642 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090202 11078594560 10176 33554432000 4194304 4196468 140728954618224 139901288422032 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6643] ppid=6585 vsize=10818940 memory=140135325421318 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6643/stat : 6643 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090202 11078594560 10176 33554432000 4194304 4196468 140728954618224 139901187312144 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6644] ppid=6585 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6644/stat : 6644 (java) S 6585 6588 31346 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407090202 11078594560 10176 33554432000 4194304 4196468 140728954618224 139901186259344 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6645] ppid=6585 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6645/stat : 6645 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090202 11078594560 10176 33554432000 4194304 4196468 140728954618224 139901185206544 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6646] ppid=6585 vsize=10818940 memory=140135323383424 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6646/stat : 6646 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090204 11078594560 10176 33554432000 4194304 4196468 140728954618224 139900743351152 139901284190850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6647] ppid=6585 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6647/stat : 6647 (java) S 6585 6588 31346 0 -1 1077944384 33 13006 0 0 0 0 5 3 20 0 15 0 407090204 11078594560 10176 33554432000 4194304 4196468 140728954618224 139900742297120 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6648] ppid=6585 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6648/stat : 6648 (java) S 6585 6588 31346 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407090205 11078594560 10176 33554432000 4194304 4196468 140728954618224 139900640814448 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6649] ppid=6585 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6649/stat : 6649 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090207 11078594560 10176 33554432000 4194304 4196468 140728954618224 139900036835664 139901284198299 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6650] ppid=6585 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6588/task/6650/stat : 6650 (java) S 6585 6588 31346 0 -1 1077944384 442 13006 0 0 1 0 5 3 20 0 15 0 407090207 11078594560 10176 33554432000 4194304 4196468 140728954618224 139900607256944 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6651] ppid=6585 vsize=10818940 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/6588/task/6651/stat : 6651 (java) S 6585 6588 31346 0 -1 1077944384 177 13006 0 0 1 0 5 3 20 0 15 0 407090207 11078594560 10176 33554432000 4194304 4196468 140728954618224 139900606204144 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6652] ppid=6585 vsize=10818940 memory=140135323383424 CPUtime=0.11 cores=0,2,4,6
/proc/6588/task/6652/stat : 6652 (java) R 6585 6588 31346 0 -1 4202560 644 13006 0 0 3 0 5 3 20 0 15 0 407090207 11078594560 10176 33554432000 4194304 4196468 140728954618224 139900605151344 140728954730905 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6653] ppid=6585 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6653/stat : 6653 (java) S 6585 6588 31346 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407090208 11078594560 10176 33554432000 4194304 4196468 140728954618224 139899567073504 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6654] ppid=6585 vsize=10818940 memory=140135323383424 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6654/stat : 6654 (java) S 6585 6588 31346 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407090208 11078594560 10176 33554432000 4194304 4196468 140728954618224 139900604099760 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 40704 KiB

[startup+0.310361 s]*
/proc/loadavg: 1.49 1.37 1.36 4/227 6654
/proc/meminfo: memFree=19726664/32770624 swapFree=66939720/67108860
[pid=6588] ppid=6585 vsize=10820096 memory=49812 CPUtime=0.41 cores=0,2,4,6
/proc/6588/stat : 6588 (java) S 6585 6588 31346 0 -1 1077944320 10768 13006 0 0 29 4 5 3 20 0 15 0 407090193 11079778304 12453 33554432000 4194304 4196468 140728954618224 140728954600768 139901284179703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
/proc/6588/statm: 2705024 12453 3212 1 0 2667149 0
[pid=6588/tid=6641] ppid=6585 vsize=10820096 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/6588/task/6641/stat : 6641 (java) R 6585 6588 31346 0 -1 4202560 7236 13006 0 0 18 3 5 3 20 0 15 0 407090202 11079778304 12965 33554432000 4194304 4196468 140728954618224 139901255990816 139901284201629 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6642] ppid=6585 vsize=10820096 memory=-8813974798734826869 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6642/stat : 6642 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090202 11079778304 12965 33554432000 4194304 4196468 140728954618224 139901288422032 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6643] ppid=6585 vsize=10820096 memory=-2843869629661168798 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6643/stat : 6643 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090202 11079778304 12965 33554432000 4194304 4196468 140728954618224 139901187312144 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6644] ppid=6585 vsize=10820096 memory=-8412656567334364540 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6644/stat : 6644 (java) S 6585 6588 31346 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407090202 11079778304 12965 33554432000 4194304 4196468 140728954618224 139901186259344 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6645] ppid=6585 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6645/stat : 6645 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090202 11079778304 12965 33554432000 4194304 4196468 140728954618224 139901185206544 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6646] ppid=6585 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6646/stat : 6646 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090204 11079778304 12965 33554432000 4194304 4196468 140728954618224 139900743351152 139901284190850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6647] ppid=6585 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6647/stat : 6647 (java) S 6585 6588 31346 0 -1 1077944384 33 13006 0 0 0 0 5 3 20 0 15 0 407090204 11079778304 12965 33554432000 4194304 4196468 140728954618224 139900742297120 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6648] ppid=6585 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6648/stat : 6648 (java) S 6585 6588 31346 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407090205 11079778304 12965 33554432000 4194304 4196468 140728954618224 139900640814448 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6649] ppid=6585 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6649/stat : 6649 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090207 11079778304 12965 33554432000 4194304 4196468 140728954618224 139900036835664 139901284198299 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6650] ppid=6585 vsize=10820096 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6588/task/6650/stat : 6650 (java) S 6585 6588 31346 0 -1 1077944384 443 13006 0 0 2 0 5 3 20 0 15 0 407090207 11079778304 12965 33554432000 4194304 4196468 140728954618224 139900607256944 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6651] ppid=6585 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6588/task/6651/stat : 6651 (java) S 6585 6588 31346 0 -1 1077944384 178 13006 0 0 1 0 5 3 20 0 15 0 407090207 11079778304 12965 33554432000 4194304 4196468 140728954618224 139900606204144 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6652] ppid=6585 vsize=10820096 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/6588/task/6652/stat : 6652 (java) S 6585 6588 31346 0 -1 1077944384 653 13006 0 0 5 0 5 3 20 0 15 0 407090207 11079778304 12965 33554432000 4194304 4196468 140728954618224 139900605151344 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6653] ppid=6585 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6653/stat : 6653 (java) S 6585 6588 31346 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407090208 11079778304 12965 33554432000 4194304 4196468 140728954618224 139899567073504 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6654] ppid=6585 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6654/stat : 6654 (java) S 6585 6588 31346 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407090208 11079778304 12965 33554432000 4194304 4196468 140728954618224 139900604099760 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 49812 KiB

[startup+0.700774 s]
/proc/loadavg: 1.49 1.37 1.36 5/227 6654
/proc/meminfo: memFree=19713752/32770624 swapFree=66939720/67108860
[pid=6588] ppid=6585 vsize=10824340 memory=82220 CPUtime=1.15 cores=0,2,4,6
/proc/6588/stat : 6588 (java) S 6585 6588 31346 0 -1 1077944320 14856 13006 0 0 101 6 5 3 20 0 15 0 407090193 11084124160 20555 33554432000 4194304 4196468 140728954618224 140728954600768 139901284179703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
/proc/6588/statm: 2706085 20555 3496 1 0 2668173 0
[pid=6588/tid=6641] ppid=6585 vsize=10824340 memory=2438534792961 CPUtime=0.68 cores=0,2,4,6
/proc/6588/task/6641/stat : 6641 (java) R 6585 6588 31346 0 -1 4202560 10507 13006 0 0 55 5 5 3 20 0 15 0 407090202 11084124160 20555 33554432000 4194304 4196468 140728954618224 139901256001840 139901265573437 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6642] ppid=6585 vsize=10824340 memory=2451419694849 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6642/stat : 6642 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090202 11084124160 20555 33554432000 4194304 4196468 140728954618224 139901288422032 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6643] ppid=6585 vsize=10824340 memory=2472894531329 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6643/stat : 6643 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090202 11084124160 20555 33554432000 4194304 4196468 140728954618224 139901187312144 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6644] ppid=6585 vsize=10824340 memory=2477189498625 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6644/stat : 6644 (java) S 6585 6588 31346 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407090202 11084124160 20555 33554432000 4194304 4196468 140728954618224 139901186259344 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6645] ppid=6585 vsize=10824340 memory=8730425 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6645/stat : 6645 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090202 11084124160 20555 33554432000 4194304 4196468 140728954618224 139901185206544 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6646] ppid=6585 vsize=10824340 memory=4639649383340284835 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6646/stat : 6646 (java) S 6585 6588 31346 0 -1 1077944384 5 13006 0 0 0 0 5 3 20 0 15 0 407090204 11084124160 20555 33554432000 4194304 4196468 140728954618224 139900743351152 139901284190850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6647] ppid=6585 vsize=10824340 memory=5861826720752095312 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6647/stat : 6647 (java) S 6585 6588 31346 0 -1 1077944384 33 13006 0 0 0 0 5 3 20 0 15 0 407090204 11084124160 20555 33554432000 4194304 4196468 140728954618224 139900742297120 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6648] ppid=6585 vsize=10824340 memory=7013340846366745708 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6648/stat : 6648 (java) S 6585 6588 31346 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407090205 11084124160 20555 33554432000 4194304 4196468 140728954618224 139900640814448 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6649] ppid=6585 vsize=10824340 memory=280270373168704 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6649/stat : 6649 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090207 11084124160 20555 33554432000 4194304 4196468 140728954618224 139900036835664 139901284198299 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6650] ppid=6585 vsize=10824340 memory=140136192934497 CPUtime=0.24 cores=0,2,4,6
/proc/6588/task/6650/stat : 6650 (java) S 6585 6588 31346 0 -1 1077944384 799 13006 0 0 16 0 5 3 20 0 15 0 407090207 11084124160 20555 33554432000 4194304 4196468 140728954618224 139900607256944 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6651] ppid=6585 vsize=10824340 memory=142601504162442 CPUtime=0.2 cores=0,2,4,6
/proc/6588/task/6651/stat : 6651 (java) S 6585 6588 31346 0 -1 1077944384 452 13006 0 0 12 0 5 3 20 0 15 0 407090207 11084124160 20555 33554432000 4194304 4196468 140728954618224 139900606204144 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6652] ppid=6585 vsize=10824340 memory=140136192934777 CPUtime=0.25 cores=0,2,4,6
/proc/6588/task/6652/stat : 6652 (java) S 6585 6588 31346 0 -1 1077944384 837 13006 0 0 17 0 5 3 20 0 15 0 407090207 11084124160 20555 33554432000 4194304 4196468 140728954618224 139900605151344 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6653] ppid=6585 vsize=10824340 memory=140136192934779 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6653/stat : 6653 (java) S 6585 6588 31346 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407090208 11084124160 20609 33554432000 4194304 4196468 140728954618224 139899567073504 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6654] ppid=6585 vsize=10824340 memory=140136192934809 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6654/stat : 6654 (java) S 6585 6588 31346 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407090208 11084124160 20609 33554432000 4194304 4196468 140728954618224 139900604099760 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 82220 KiB

[startup+1.50072 s]
/proc/loadavg: 1.49 1.37 1.36 5/227 6654
/proc/meminfo: memFree=19655616/32770624 swapFree=66939720/67108860
[pid=6588] ppid=6585 vsize=10830560 memory=203332 CPUtime=3.51 cores=0,2,4,6
/proc/6588/stat : 6588 (java) S 6585 6588 31346 0 -1 1077944320 29555 13006 0 0 333 10 5 3 20 0 15 0 407090193 11090493440 50833 33554432000 4194304 4196468 140728954618224 140728954600768 139901284179703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
/proc/6588/statm: 2707640 50833 3543 1 0 2669709 0
[pid=6588/tid=6641] ppid=6585 vsize=10830560 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/6588/task/6641/stat : 6641 (java) R 6585 6588 31346 0 -1 4202560 13594 13006 0 0 132 7 5 3 20 0 15 0 407090202 11090493440 50833 33554432000 4194304 4196468 140728954618224 139901256007840 139901268260190 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6642] ppid=6585 vsize=10830560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6642/stat : 6642 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090202 11090493440 50833 33554432000 4194304 4196468 140728954618224 139901288422032 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6643] ppid=6585 vsize=10830560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6643/stat : 6643 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090202 11090493440 50833 33554432000 4194304 4196468 140728954618224 139901187312144 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6644] ppid=6585 vsize=10830560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6644/stat : 6644 (java) S 6585 6588 31346 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407090202 11090493440 50833 33554432000 4194304 4196468 140728954618224 139901186259344 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6645] ppid=6585 vsize=10830560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6645/stat : 6645 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090202 11090493440 50833 33554432000 4194304 4196468 140728954618224 139901185206544 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6646] ppid=6585 vsize=10830560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6646/stat : 6646 (java) S 6585 6588 31346 0 -1 1077944384 5 13006 0 0 0 0 5 3 20 0 15 0 407090204 11090493440 50833 33554432000 4194304 4196468 140728954618224 139900743351152 139901284190850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6647] ppid=6585 vsize=10830560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6647/stat : 6647 (java) S 6585 6588 31346 0 -1 1077944384 33 13006 0 0 0 0 5 3 20 0 15 0 407090204 11090493440 50833 33554432000 4194304 4196468 140728954618224 139900742297120 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6648] ppid=6585 vsize=10830560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6648/stat : 6648 (java) S 6585 6588 31346 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407090205 11090493440 50833 33554432000 4194304 4196468 140728954618224 139900640814448 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6649] ppid=6585 vsize=10830560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6649/stat : 6649 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090207 11090493440 50833 33554432000 4194304 4196468 140728954618224 139900036835664 139901284198299 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6650] ppid=6585 vsize=10830560 memory=0 CPUtime=0.86 cores=0,2,4,6
/proc/6588/task/6650/stat : 6650 (java) S 6585 6588 31346 0 -1 1077944384 4891 13006 0 0 77 1 5 3 20 0 15 0 407090207 11090493440 50833 33554432000 4194304 4196468 140728954618224 139900607256944 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6651] ppid=6585 vsize=10830560 memory=-7966001967407402336 CPUtime=0.81 cores=0,2,4,6
/proc/6588/task/6651/stat : 6651 (java) R 6585 6588 31346 0 -1 4202560 5857 13006 0 0 73 0 5 3 20 0 15 0 407090207 11090493440 50833 33554432000 4194304 4196468 140728954618224 139900606204144 139901263835024 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6652] ppid=6585 vsize=10830560 memory=6944938067432061290 CPUtime=0.57 cores=0,2,4,6
/proc/6588/task/6652/stat : 6652 (java) S 6585 6588 31346 0 -1 1077944384 2953 13006 0 0 49 0 5 3 20 0 15 0 407090207 11090493440 50833 33554432000 4194304 4196468 140728954618224 139900605151344 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6653] ppid=6585 vsize=10830560 memory=7100839870102598768 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6653/stat : 6653 (java) S 6585 6588 31346 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407090208 11090493440 50842 33554432000 4194304 4196468 140728954618224 139899567073504 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6654] ppid=6585 vsize=10830560 memory=4627829655977429107 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6654/stat : 6654 (java) S 6585 6588 31346 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407090208 11090493440 50842 33554432000 4194304 4196468 140728954618224 139900604099760 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
Current children cumulated CPU time: 3.51 s
Current children cumulated vsize: 10830560 KiB

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

/proc/6588/task/6641/stat : 6641 (java) R 6585 6588 31346 0 -1 4202560 80372 13006 0 0 236394 46 5 3 20 0 15 0 407090202 11111485440 299985 33554432000 4194304 4196468 140728954618224 139901256014864 139901266699946 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6642] ppid=6585 vsize=10851060 memory=36576 CPUtime=9.01 cores=0,2,4,6
/proc/6588/task/6642/stat : 6642 (java) S 6585 6588 31346 0 -1 1077944384 14881 13006 0 0 847 46 5 3 20 0 15 0 407090202 11111485440 299985 33554432000 4194304 4196468 140728954618224 139901288422032 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6643] ppid=6585 vsize=10851060 memory=1199940 CPUtime=8.97 cores=0,2,4,6
/proc/6588/task/6643/stat : 6643 (java) S 6585 6588 31346 0 -1 1077944384 21774 13006 0 0 846 43 5 3 20 0 15 0 407090202 11111485440 299985 33554432000 4194304 4196468 140728954618224 139901187312144 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6644] ppid=6585 vsize=10851060 memory=1199908 CPUtime=9.02 cores=0,2,4,6
/proc/6588/task/6644/stat : 6644 (java) S 6585 6588 31346 0 -1 1077944384 13905 13006 0 0 851 43 5 3 20 0 15 0 407090202 11111485440 299985 33554432000 4194304 4196468 140728954618224 139901186259344 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6645] ppid=6585 vsize=10851060 memory=1199940 CPUtime=9.06 cores=0,2,4,6
/proc/6588/task/6645/stat : 6645 (java) S 6585 6588 31346 0 -1 1077944384 21481 13006 0 0 852 46 5 3 20 0 15 0 407090202 11111485440 299985 33554432000 4194304 4196468 140728954618224 139901185206544 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6646] ppid=6585 vsize=10851060 memory=1199940 CPUtime=6.94 cores=0,2,4,6
/proc/6588/task/6646/stat : 6646 (java) S 6585 6588 31346 0 -1 1077944384 17793 13006 0 0 647 39 5 3 20 0 15 0 407090204 11111485440 299985 33554432000 4194304 4196468 140728954618224 139900743351152 139901284190850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6647] ppid=6585 vsize=10851060 memory=1199908 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6647/stat : 6647 (java) S 6585 6588 31346 0 -1 1077944384 45 13006 0 0 0 0 5 3 20 0 15 0 407090204 11111485440 299985 33554432000 4194304 4196468 140728954618224 139900742297184 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6648] ppid=6585 vsize=10851060 memory=1199908 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6648/stat : 6648 (java) S 6585 6588 31346 0 -1 1077944384 13 13006 0 0 0 0 5 3 20 0 15 0 407090205 11111485440 299985 33554432000 4194304 4196468 140728954618224 139900640814464 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6649] ppid=6585 vsize=10851060 memory=1199940 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6649/stat : 6649 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090207 11111485440 299985 33554432000 4194304 4196468 140728954618224 139900036835664 139901284198299 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6650] ppid=6585 vsize=10851060 memory=1199940 CPUtime=12.17 cores=0,2,4,6
/proc/6588/task/6650/stat : 6650 (java) S 6585 6588 31346 0 -1 1077944384 72613 13006 0 0 1199 10 5 3 20 0 15 0 407090207 11111485440 299985 33554432000 4194304 4196468 140728954618224 139900607256944 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6651] ppid=6585 vsize=10851060 memory=1199940 CPUtime=12.14 cores=0,2,4,6
/proc/6588/task/6651/stat : 6651 (java) S 6585 6588 31346 0 -1 1077944384 77188 13006 0 0 1195 11 5 3 20 0 15 0 407090207 11111485440 299985 33554432000 4194304 4196468 140728954618224 139900606204144 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6652] ppid=6585 vsize=10851060 memory=1199940 CPUtime=6.18 cores=0,2,4,6
/proc/6588/task/6652/stat : 6652 (java) S 6585 6588 31346 0 -1 1077944384 80877 13006 0 0 598 12 5 3 20 0 15 0 407090207 11111485440 299985 33554432000 4194304 4196468 140728954618224 139900605151344 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6653] ppid=6585 vsize=10851060 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6653/stat : 6653 (java) S 6585 6588 31346 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407090208 11111485440 299985 33554432000 4194304 4196468 140728954618224 139899567073504 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6654] ppid=6585 vsize=10851060 memory=1199940 CPUtime=1.41 cores=0,2,4,6
/proc/6588/task/6654/stat : 6654 (java) S 6585 6588 31346 0 -1 1077944384 1599 13006 0 0 66 67 5 3 20 0 15 0 407090208 11111485440 299985 33554432000 4194304 4196468 140728954618224 139900604099760 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
Current children cumulated CPU time: 2438.76 s
Current children cumulated vsize: 10851060 KiB
Current children cumulated memory: 1199940 KiB

[startup+2442.3 s]
/proc/loadavg: 0.72 0.82 1.10 2/207 6937
/proc/meminfo: memFree=19608008/32770624 swapFree=66939724/67108860
[pid=6588] ppid=6585 vsize=10851060 memory=1199960 CPUtime=2499.4 cores=0,2,4,6
/proc/6588/stat : 6588 (java) S 6585 6588 31346 0 -1 1077944320 406540 13006 0 0 249607 325 5 3 20 0 15 0 407090193 11111485440 299990 33554432000 4194304 4196468 140728954618224 140728954600768 139901284179703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
/proc/6588/statm: 2712765 299990 3631 1 0 2674829 0
[pid=6588/tid=6641] ppid=6585 vsize=10851060 memory=1199956 CPUtime=2424.08 cores=0,2,4,6
/proc/6588/task/6641/stat : 6641 (java) R 6585 6588 31346 0 -1 4202560 80997 13006 0 0 242354 46 5 3 20 0 15 0 407090202 11111485440 299990 33554432000 4194304 4196468 140728954618224 139901256015360 139900866034555 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6642] ppid=6585 vsize=10851060 memory=1199956 CPUtime=9.21 cores=0,2,4,6
/proc/6588/task/6642/stat : 6642 (java) S 6585 6588 31346 0 -1 1077944384 15032 13006 0 0 867 46 5 3 20 0 15 0 407090202 11111485440 299990 33554432000 4194304 4196468 140728954618224 139901288422032 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6643] ppid=6585 vsize=10851060 memory=1199956 CPUtime=9.18 cores=0,2,4,6
/proc/6588/task/6643/stat : 6643 (java) S 6585 6588 31346 0 -1 1077944384 21820 13006 0 0 866 44 5 3 20 0 15 0 407090202 11111485440 299990 33554432000 4194304 4196468 140728954618224 139901187312144 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6644] ppid=6585 vsize=10851060 memory=1552 CPUtime=9.23 cores=0,2,4,6
/proc/6588/task/6644/stat : 6644 (java) S 6585 6588 31346 0 -1 1077944384 14029 13006 0 0 872 43 5 3 20 0 15 0 407090202 11111485440 299990 33554432000 4194304 4196468 140728954618224 139901186259344 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6645] ppid=6585 vsize=10851060 memory=1199956 CPUtime=9.26 cores=0,2,4,6
/proc/6588/task/6645/stat : 6645 (java) S 6585 6588 31346 0 -1 1077944384 21885 13006 0 0 871 47 5 3 20 0 15 0 407090202 11111485440 299990 33554432000 4194304 4196468 140728954618224 139901185206544 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6646] ppid=6585 vsize=10851060 memory=1199960 CPUtime=7.11 cores=0,2,4,6
/proc/6588/task/6646/stat : 6646 (java) S 6585 6588 31346 0 -1 1077944384 18193 13006 0 0 663 40 5 3 20 0 15 0 407090204 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900743351152 139901284190850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6647] ppid=6585 vsize=10851060 memory=18208 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6647/stat : 6647 (java) S 6585 6588 31346 0 -1 1077944384 45 13006 0 0 0 0 5 3 20 0 15 0 407090204 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900742297184 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6648] ppid=6585 vsize=10851060 memory=136 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6648/stat : 6648 (java) S 6585 6588 31346 0 -1 1077944384 13 13006 0 0 0 0 5 3 20 0 15 0 407090205 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900640814464 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6649] ppid=6585 vsize=10851060 memory=1199960 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6649/stat : 6649 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090207 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900036835664 139901284198299 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6650] ppid=6585 vsize=10851060 memory=1199960 CPUtime=12.18 cores=0,2,4,6
/proc/6588/task/6650/stat : 6650 (java) S 6585 6588 31346 0 -1 1077944384 72615 13006 0 0 1200 10 5 3 20 0 15 0 407090207 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900607256944 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6651] ppid=6585 vsize=10851060 memory=1199960 CPUtime=12.14 cores=0,2,4,6
/proc/6588/task/6651/stat : 6651 (java) S 6585 6588 31346 0 -1 1077944384 77190 13006 0 0 1195 11 5 3 20 0 15 0 407090207 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900606204144 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6652] ppid=6585 vsize=10851060 memory=1432 CPUtime=6.18 cores=0,2,4,6
/proc/6588/task/6652/stat : 6652 (java) S 6585 6588 31346 0 -1 1077944384 80880 13006 0 0 598 12 5 3 20 0 15 0 407090207 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900605151344 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6653] ppid=6585 vsize=10851060 memory=1199960 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6653/stat : 6653 (java) S 6585 6588 31346 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407090208 11111485440 299990 33554432000 4194304 4196468 140728954618224 139899567073504 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6654] ppid=6585 vsize=10851060 memory=1199960 CPUtime=1.44 cores=0,2,4,6
/proc/6588/task/6654/stat : 6654 (java) S 6585 6588 31346 0 -1 1077944384 1626 13006 0 0 68 68 5 3 20 0 15 0 407090208 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900604099760 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
Current children cumulated CPU time: 2499.4 s
Current children cumulated vsize: 10851060 KiB
Current children cumulated memory: 1199960 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2462.7 s]
/proc/loadavg: 0.72 0.82 1.09 2/207 6938
/proc/meminfo: memFree=19607792/32770624 swapFree=66939724/67108860
[pid=6588] ppid=6585 vsize=10851060 memory=1199960 CPUtime=2520.01 cores=0,2,4,6
/proc/6588/stat : 6588 (java) S 6585 6588 31346 0 -1 1077944320 406725 13006 0 0 251667 326 5 3 20 0 15 0 407090193 11111485440 299990 33554432000 4194304 4196468 140728954618224 140728954600768 139901284179703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
/proc/6588/statm: 2712765 299990 3631 1 0 2674829 0
[pid=6588/tid=6641] ppid=6585 vsize=10851060 memory=1199960 CPUtime=2444.34 cores=0,2,4,6
/proc/6588/task/6641/stat : 6641 (java) R 6585 6588 31346 0 -1 4202560 81140 13006 0 0 244380 46 5 3 20 0 15 0 407090202 11111485440 299990 33554432000 4194304 4196468 140728954618224 139901256014896 139900873794929 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6642] ppid=6585 vsize=10851060 memory=1199960 CPUtime=9.28 cores=0,2,4,6
/proc/6588/task/6642/stat : 6642 (java) S 6585 6588 31346 0 -1 1077944384 15039 13006 0 0 874 46 5 3 20 0 15 0 407090202 11111485440 299990 33554432000 4194304 4196468 140728954618224 139901288422032 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6643] ppid=6585 vsize=10851060 memory=1199960 CPUtime=9.25 cores=0,2,4,6
/proc/6588/task/6643/stat : 6643 (java) S 6585 6588 31346 0 -1 1077944384 21836 13006 0 0 873 44 5 3 20 0 15 0 407090202 11111485440 299990 33554432000 4194304 4196468 140728954618224 139901187312144 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6644] ppid=6585 vsize=10851060 memory=1199960 CPUtime=9.3 cores=0,2,4,6
/proc/6588/task/6644/stat : 6644 (java) S 6585 6588 31346 0 -1 1077944384 14032 13006 0 0 879 43 5 3 20 0 15 0 407090202 11111485440 299990 33554432000 4194304 4196468 140728954618224 139901186259344 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6645] ppid=6585 vsize=10851060 memory=1199960 CPUtime=9.33 cores=0,2,4,6
/proc/6588/task/6645/stat : 6645 (java) S 6585 6588 31346 0 -1 1077944384 21889 13006 0 0 878 47 5 3 20 0 15 0 407090202 11111485440 299990 33554432000 4194304 4196468 140728954618224 139901185206544 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6646] ppid=6585 vsize=10851060 memory=1199960 CPUtime=7.16 cores=0,2,4,6
/proc/6588/task/6646/stat : 6646 (java) S 6585 6588 31346 0 -1 1077944384 18203 13006 0 0 668 40 5 3 20 0 15 0 407090204 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900743351152 139901284190850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6647] ppid=6585 vsize=10851060 memory=1199960 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6647/stat : 6647 (java) S 6585 6588 31346 0 -1 1077944384 45 13006 0 0 0 0 5 3 20 0 15 0 407090204 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900742297184 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6648] ppid=6585 vsize=10851060 memory=1199960 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6648/stat : 6648 (java) S 6585 6588 31346 0 -1 1077944384 13 13006 0 0 0 0 5 3 20 0 15 0 407090205 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900640814464 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6649] ppid=6585 vsize=10851060 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6649/stat : 6649 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090207 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900036835664 139901284198299 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6650] ppid=6585 vsize=10851060 memory=280270373862576 CPUtime=12.18 cores=0,2,4,6
/proc/6588/task/6650/stat : 6650 (java) S 6585 6588 31346 0 -1 1077944384 72615 13006 0 0 1200 10 5 3 20 0 15 0 407090207 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900607256944 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6651] ppid=6585 vsize=10851060 memory=1199960 CPUtime=12.14 cores=0,2,4,6
/proc/6588/task/6651/stat : 6651 (java) S 6585 6588 31346 0 -1 1077944384 77190 13006 0 0 1195 11 5 3 20 0 15 0 407090207 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900606204144 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6652] ppid=6585 vsize=10851060 memory=1199960 CPUtime=6.18 cores=0,2,4,6
/proc/6588/task/6652/stat : 6652 (java) S 6585 6588 31346 0 -1 1077944384 80880 13006 0 0 598 12 5 3 20 0 15 0 407090207 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900605151344 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6653] ppid=6585 vsize=10851060 memory=1980 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6653/stat : 6653 (java) S 6585 6588 31346 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407090208 11111485440 299990 33554432000 4194304 4196468 140728954618224 139899567073504 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6654] ppid=6585 vsize=10851060 memory=2460 CPUtime=1.45 cores=0,2,4,6
/proc/6588/task/6654/stat : 6654 (java) S 6585 6588 31346 0 -1 1077944384 1628 13006 0 0 69 68 5 3 20 0 15 0 407090208 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900604099760 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10851060 KiB
Current children cumulated memory: 1199960 KiB

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

[startup+2462.73 s]
# the end of solver process 6588 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.75 s, system=3.30749 s

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

[startup+2462.7 s]
/proc/loadavg: 0.72 0.82 1.09 2/207 6938
/proc/meminfo: memFree=19607792/32770624 swapFree=66939724/67108860
[pid=6588] ppid=6585 vsize=10851060 memory=1199960 CPUtime=2520.01 cores=0,2,4,6
/proc/6588/stat : 6588 (java) S 6585 6588 31346 0 -1 1077944320 406725 13006 0 0 251667 326 5 3 20 0 15 0 407090193 11111485440 299990 33554432000 4194304 4196468 140728954618224 140728954600768 139901284179703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
/proc/6588/statm: 2712765 299990 3631 1 0 2674829 0
[pid=6588/tid=6641] ppid=6585 vsize=10851060 memory=1199960 CPUtime=2444.34 cores=0,2,4,6
/proc/6588/task/6641/stat : 6641 (java) R 6585 6588 31346 0 -1 4202560 81140 13006 0 0 244380 46 5 3 20 0 15 0 407090202 11111485440 299990 33554432000 4194304 4196468 140728954618224 139901256014896 139900873794929 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6642] ppid=6585 vsize=10851060 memory=1199960 CPUtime=9.28 cores=0,2,4,6
/proc/6588/task/6642/stat : 6642 (java) S 6585 6588 31346 0 -1 1077944384 15039 13006 0 0 874 46 5 3 20 0 15 0 407090202 11111485440 299990 33554432000 4194304 4196468 140728954618224 139901288422032 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6643] ppid=6585 vsize=10851060 memory=1199960 CPUtime=9.25 cores=0,2,4,6
/proc/6588/task/6643/stat : 6643 (java) S 6585 6588 31346 0 -1 1077944384 21836 13006 0 0 873 44 5 3 20 0 15 0 407090202 11111485440 299990 33554432000 4194304 4196468 140728954618224 139901187312144 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6644] ppid=6585 vsize=10851060 memory=1199960 CPUtime=9.3 cores=0,2,4,6
/proc/6588/task/6644/stat : 6644 (java) S 6585 6588 31346 0 -1 1077944384 14032 13006 0 0 879 43 5 3 20 0 15 0 407090202 11111485440 299990 33554432000 4194304 4196468 140728954618224 139901186259344 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6645] ppid=6585 vsize=10851060 memory=1199960 CPUtime=9.33 cores=0,2,4,6
/proc/6588/task/6645/stat : 6645 (java) S 6585 6588 31346 0 -1 1077944384 21889 13006 0 0 878 47 5 3 20 0 15 0 407090202 11111485440 299990 33554432000 4194304 4196468 140728954618224 139901185206544 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6646] ppid=6585 vsize=10851060 memory=1199960 CPUtime=7.16 cores=0,2,4,6
/proc/6588/task/6646/stat : 6646 (java) S 6585 6588 31346 0 -1 1077944384 18203 13006 0 0 668 40 5 3 20 0 15 0 407090204 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900743351152 139901284190850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6647] ppid=6585 vsize=10851060 memory=1199960 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6647/stat : 6647 (java) S 6585 6588 31346 0 -1 1077944384 45 13006 0 0 0 0 5 3 20 0 15 0 407090204 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900742297184 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6648] ppid=6585 vsize=10851060 memory=1199960 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6648/stat : 6648 (java) S 6585 6588 31346 0 -1 1077944384 13 13006 0 0 0 0 5 3 20 0 15 0 407090205 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900640814464 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6649] ppid=6585 vsize=10851060 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6649/stat : 6649 (java) S 6585 6588 31346 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407090207 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900036835664 139901284198299 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6650] ppid=6585 vsize=10851060 memory=280270373862576 CPUtime=12.18 cores=0,2,4,6
/proc/6588/task/6650/stat : 6650 (java) S 6585 6588 31346 0 -1 1077944384 72615 13006 0 0 1200 10 5 3 20 0 15 0 407090207 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900607256944 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6651] ppid=6585 vsize=10851060 memory=1199960 CPUtime=12.14 cores=0,2,4,6
/proc/6588/task/6651/stat : 6651 (java) S 6585 6588 31346 0 -1 1077944384 77190 13006 0 0 1195 11 5 3 20 0 15 0 407090207 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900606204144 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6652] ppid=6585 vsize=10851060 memory=1199960 CPUtime=6.18 cores=0,2,4,6
/proc/6588/task/6652/stat : 6652 (java) S 6585 6588 31346 0 -1 1077944384 80880 13006 0 0 598 12 5 3 20 0 15 0 407090207 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900605151344 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6653] ppid=6585 vsize=10851060 memory=1980 CPUtime=0.08 cores=0,2,4,6
/proc/6588/task/6653/stat : 6653 (java) S 6585 6588 31346 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407090208 11111485440 299990 33554432000 4194304 4196468 140728954618224 139899567073504 139901284189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
[pid=6588/tid=6654] ppid=6585 vsize=10851060 memory=2460 CPUtime=1.45 cores=0,2,4,6
/proc/6588/task/6654/stat : 6654 (java) S 6585 6588 31346 0 -1 1077944384 1628 13006 0 0 69 68 5 3 20 0 15 0 407090208 11111485440 299990 33554432000 4194304 4196468 140728954618224 139900604099760 139901284190850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 23007232 140728954620662 140728954623173 140728954623173 140728954625999 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10851060 KiB
Current children cumulated memory: 1199960 KiB

Child status: 143
Real time (s): 2462.73
CPU time (s): 2520.06
CPU user time (s): 2516.75
CPU system time (s): 3.30749
CPU usage (%): 102.328
Max. virtual memory (cumulated for all children) (KiB): 10852312
Max. memory (cumulated for all children) (KiB): 1414700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.75
system time used= 3.30748
maximum resident set size= 1416748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 420995
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 221526
involuntary context switches= 6008


# summary of solver processes directly reported to runsolver:
#   pid: 6588
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2516.75
#   total CPU system time (s): 3.30749

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8602 second user time and 20.5466 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-12 19:09:51
IDJOB=4387510
IDBENCH=141053
IDSOLVER=2823
FILE ID=node125/4387510-1568308233
RUNJOBID= node125-1568286041-32306
PBS_JOBID= 21701079
Free space on /tmp= 57344 MiB

SOLVER NAME= Concrete 3.10
BENCH NAME= XCSP18/NurseRostering/NurseRostering-18_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387510-1568308233/watcher-4387510-1568308233 -o /tmp/evaluation-result-4387510-1568308233/solver-4387510-1568308233 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568286041-32306 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=732274163 HOME/instance-4387510-1568308233.xml

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

MD5SUM BENCH= 2080050c46f9199df44cd86a0d29de9d
RANDOM SEED=732274163

node125.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.29
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.29
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.29
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.29
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:        19767708 kB
MemAvailable:   30802064 kB
Buffers:          178176 kB
Cached:         11044552 kB
SwapCached:        66664 kB
Active:          2010648 kB
Inactive:       10278244 kB
Active(anon):    1003936 kB
Inactive(anon):   103312 kB
Active(file):    1006712 kB
Inactive(file): 10174932 kB
Unevictable:      108816 kB
Mlocked:          108816 kB
SwapTotal:      67108860 kB
SwapFree:       66939720 kB
Dirty:             35376 kB
Writeback:             0 kB
AnonPages:       1110632 kB
Mapped:            55588 kB
Shmem:             32140 kB
Slab:             309944 kB
SReclaimable:     281172 kB
SUnreclaim:        28772 kB
KernelStack:        3696 kB
PageTables:         7312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2236716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    907264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 57344 MiB
End job on node125 at 2019-09-12 19:50:54